m29

Prompt

RESEARCH QUESTION (plane continua / planar 2-page fold orders over the profinite integers; RIG-THICK, the surviving case W2 (partial-reversing, interleaving junction with a rail chord inside a hull): every local law (CUT, Q, LL), the fixed dyadic orbit, limit rotations, sink orientation and the cm carrier are dead; which NEW global input of the host sees W2?). Self-contained. Label every claim PROVED (you prove it), SOURCE (exact reference; unchecked?), LAB (from this prompt, status as given), CONJECTURE, OPEN, or RESTATEMENT (a gap reworded). If a definition is ambiguous, state your reading in one line and continue. Say where your argument stops. A. DEFINITIONS Setting (compressed from the lab files a_fable_dtower, b_opus_signlaw_zhat, the lanes rigthick_reverse_opus_1102 and codex_w2_global, and MICROEVAL m23; single-agent claims, UNAUDITED; (INFERRED) = my bridging). - Host: Zhat := the profinite integers, D: Zhat minus {0} -> E continuous and even, D(2N) = sigma D(N), E a Cantor set of labels. Y_D := ([0,1] x K)/folds is planar iff 2PAGE holds: there is an injection P: X -> S^1 of the zero-height two-level transversal in which the fence F and the fold Phi are noncrossing matchings. H(t,x) = (2t,2x) has no periodic point, h := H^-1 (m_k > 0, hypothesis PPF). Fibre points p_m(e), fibres P_m, m in Z, e in E. - Hull(P_n^0) := the smallest closed arc of S^1 containing P(P_n x {0}); a point of the hull outside the fibre is an intruder. A turn q is the fold step P_{-q}^0 -> P_q^0 (chords {p_{-q}(f), p_q(f)}); it is interleaving if the hulls of P_{-q}^0 and P_q^0 meet, clean if non-interleaving and Phi H^0(-q) = H^0(q). Orders <_{-q}, <_q of E are induced by the points p_{-q}(e), p_q(e) on the circle. - A strip is a pair of adjacent labels (a gap of the label order); at its iota_0-turn q, in(e) = p_{-q}(e), out(e) = p_q(e), I = [in a, in b], H' = [out a, out b]. Lemma PC: the band crosses height 0 inside one product chart iff I and H' are disjoint and iota_0(I) = H'; a chart failure is an iota_0-chord with both ends in I or both in H', and (Lemma CF) happens only at an unclean turn. Theorem CUT / Lemma FOLD: the label order on the restricted label set is a cut circle order, and at two octave-clean depths whose sinks are strips the cut is the same gap. - Rail chord inside a hull (the W2 datum): at an interleaving turn whose rearrangement of the label order is the reversal, an iota_0-chord with both ends in I or both in H'. W2 := such a chart failure. Example along the circle: in(a) < out(b) < in(b) < out(a). - Facts: P and P^-1 are uniformly continuous, so delta_n := diam P^-1(Hull(P_n^0)) -> 0 as |n| -> infinity. H(p_{+-q}(e)) = p_{+-2q}(sigma e). B. LEMMAS (status; where used) What is already known about W2 (UNAUDITED; sources named; this is the list of what has FAILED and why). - m23 (5 models, ledger GATE_LEDGER_FJI "MICROEVAL m23", ~line 823): the single-turn rearrangements N_n of a noncrossing fold are classified by peeling; N_n is NOT composition-closed (it generates S_n for n >= 4); identity and global reversal preserve the cut, shifted reflections and rotations +-1 move it. Explicit W2 data: a 2- or 3-chord interleaving reversal with a rail chord inside a hull has Delta Q = 0 and satisfies CUT, Q and LL, and has a Cantor-label extension. So CUT, Proposition Q and Lemma LL are blind to W2 (they constrain a window composite, not one unclean turn). Excluding W2 by "no chain obeying CUT contains it" is a RESTATEMENT (gate G3 fails). - codex_w2_global (Codex, PARTIAL, 11-03; ledger "Surviving RIG-THICK scope" ~line 460, scope (ii)): (Lemma 1) if interleaving turns q_i -> infinity as integers then q_i -> 0 in Zhat: ||2q_i|| <= max(delta_{q_i}, delta_{-q_i}) -> 0, so eventually every d divides q_i. (Theorem 2) For a fixed integer q only finitely many of 2^j q are interleaving (the 3-adic valuation of 2^j q is constant, so 2^j q stays outside 3^{v+1} Zhat). This needs an odd prime in the base; for a Z_2 base (the planar host Y_2) the orbit 2^j q tends to 0 and nothing is excluded. (Lemma 3) a deep W2 turn q has another unclean turn u with 2q/3 < u < q (NF mechanism, carried point reflected before q). It does not bound the number of satellites or their spacing. The arithmetic schedule q_s = s!, u_s = (s-1)(s-1)! meets all of these necessary conditions. - Why the fixed-orbit argument cannot finish: H acts on endpoints, H(p_{+-q}(e)) = p_{+-2q}(sigma e), but gives NO identity H(Hull_q) = Hull_{2q} in the fixed circle order P. Any global transport theorem strong enough to copy a W2 witness to 2q would, by Theorem 2, exclude EVERY interleaving witness it covers, so it is as hard as the node. - Limit rotation: repeated reversal is compatible. R_a(i) = 2^a - 1 - i on {0..2^a-1}, bonding floor(i/2), is a coherent system of reversals in N_{2^a}; its inverse limit is the binary Cantor set with digit complement, all composites are id or reversal. So "many reversals force a rotation in lim N_n" is false (corrects an Argon claim in m23). - Sink orientation: replacing the label order L by its opposite preserves every labelled sink and source at every power k (codex_w2_global Lemma 4); the sink law cannot see a global reversal, nor an internal rail chord. - cm carrier: E_0 = Q_0(P_0) is an invariant Cantor set that is not a continuum; the closure of the bilateral h^2-orbit of a compact contact set is compact and invariant but need not be connected or proper, and cm allows it to be all of Y. No proper invariant subcontinuum is produced by a W2 witness. - Running lane (do NOT duplicate): a B-lane works on (i) defect transport W => D (does a W2 witness at q propagate to a witness at 2q) and (ii) the number and spacing of satellite turns. Your answer must use a different mechanism. C. THE TARGET W2 in the class: there is no host (profinite D, fixed 2PAGE embedding P, PPF, cm of every h^k, the quoted CUT/NF/LL/Q laws) containing a W2 chart failure at an interleaving reversing turn. Equivalently, a NEW global input that the finite W2 datum of m23 violates once extended to the host. D. ASK Part 1 (method). Name ONE method that is not CUT, Q, LL, fixed-orbit recurrence Theorem 2, limit rotation in lim N_n, sink orientation, the cm carrier, defect transport W => D, or satellite counting, and explain in a paragraph why it can see what those could not. Seeds you may use or replace (INFERRED, mine, none tested): (a) the tip-fibre limit: interleaving turns q_i -> 0 in Zhat Lemma 1; by Lemma TG (which needs only m_1 > 0, not non-interleaving) both Hull(P_{q_i}^0) and Hull(P_{-q_i}^0) lie in single gaps of the tip fibre P(P_0^0), and since they meet, in the same gap G; so W2 lives where the DRY_0 / BESIDE machinery lives (Lemma CG, minimal arch of the fixed-point-free iota_0 on the compact set X^0 meeting cl G): decide whether the overlapping-hull version of CG (a folded gap swapped by iota_0 inside Hull(q) u Hull(-q)) plus the rail chord gives a contradiction, or a new law; (b) Cech cohomology / Alexander duality: a nonseparating plane continuum has Cech H^1 = 0; test whether a chart failure at the contact creates a cycle in a finite nerve of Y_D that cannot bound; (c) Y_2 versus Zhat: Y_2 is planar and Theorem 2 is silent there, so find the property of an odd-prime coordinate (mult by 2 acting on Z_3, orbit closure of 2 in Zhat^odd) that W2 violates but the dyadic coordinate does not. Part 2 (carry it out). With your method either (i) prove W2 excluded in the class, naming each step and the hypothesis it uses (m_1 > 0 / PPF, cm, planarity = 2PAGE, evenness D(-N) = D(N), D(2N) = sigma D(N), compactness of P), or (ii) reduce W2 to ONE named lemma that is STRICTLY weaker than "no chart failure at an interleaving reversing turn" and passes G1-G4 (state the lemma, show the reduction, show the lemma is not a restatement), or (iii) show the method sees nothing and name the step where it is blind. Part 3 (builder or decisive test). Otherwise build W2 at two different octaves 2^j q and 2^{j+1} q' with all hulls drawn in one fixed circle order P (a table of intervals of S^1, chord lists, both pages, the label order, the cut), or a finite model of a fixed-point-free iota_0 on an overlapping-hull gap with a rail chord inside a hull; check TG, Fact-K type closeness, noncrossing in both pages, CUT, Q, LL; record the first law violated, or the exact list of laws checked if none. Label it Tier 0 and say what the infinite statement still needs. Each claim labelled PROVED, SOURCE (exact reference), LAB, DERIVED, COMPUTED, CONJECTURE, OPEN or RESTATEMENT. UNKNOWN if unsure a cited result exists. Take your time and be extremely meticulous: check every step, every hypothesis and every quantifier before you write it down. This is a hard open problem, and I believe in you. E. CONTROLS (all must hold) (C1) Finite-W2 control (passed by every FAILED method): the 2-chord interleaving reversal with in(a) < out(b) < in(b) < out(a), Delta Q = 0, satisfying CUT, Q, LL. A new argument must say at which line of the host this datum breaks, or show that it extends. (C2) Y_2 control: the depth-only Z_2 host is planar, H has a fixed point (m_1 = 0), the whole orbit 2^j q tends to 0, and Theorem 2 is silent; an exclusion proof must break there at PPF / TG / an odd-prime step, and say which. (C3) Pure-reversal control: the system R_a above has arbitrarily many reversals and no rotation; a rotation-based argument fails on it. (C4) Arithmetic control: q_s = s!, u_s = (s-1)(s-1)! satisfies all-prime divisibility and the 2q/3 < u < q predecessor condition, so a numerical argument alone cannot decide. (C5) Quantifier control: finite depth for every n is not one host, and one octave is not a window of octaves. F. DEAD ENDS (not progress) (1) CUT, Proposition Q, Lemma LL, FOLD on a window (blind: m23, Proposition BLIND-CUT). (2) Fixed dyadic orbit recurrence (Theorem 2 proves only finiteness per orbit; transport of a W2 witness to 2q is unproved and would be as strong as the node). (3) Limit rotation in lim N_n (R_a control). (4) Sink or source orientation at all powers (Lemma 4). (5) cm applied to a carrier built from rails, endpoints or orbit closures (no connected proper carrier). (6) Defect transport W => D and satellite spacing (running B-lane). (7) Re-proving Lemma PC, CF, NB, Z0, TL+, Theorem B+, NF (assumed as quoted). (8) Renaming W2 as "no interleaving reversal with a rail chord" (RESTATEMENT). RESTATEMENT GATE (mandatory; answered BEFORE the headline, in its own section). If your verdict reduces the node N to a residual lemma L (with or without other proved pieces), you must give ALL of: (G1) the exact statement of L and of N side by side, with the same standing hypotheses; (G2) a proof that L implies N (the reduction); (G3) a reason L is STRICTLY weaker than N: either an explicit configuration (or consistent abstract data meeting every standing law) where L holds and the conclusion of N is not yet available, or the named hypothesis of L that the negation of N does NOT supply; (G4) the line of your argument where L's own hypothesis (the defect, the witness, the scale) is actually used; if it is never used, L is a restatement. If G3 or G4 fails, the headline word is RESTATEMENT, not REDUCED, and the answer reports the proved building blocks only. A headline REDUCED without G1-G4 counts as a failed answer. G. FORMAT Line 1 exactly: VERDICT: W2 EXCLUDED (a named global law NOT on the dead list excludes a chart failure at an interleaving reversing turn in every host of the class; proof) | W2 CONSISTENT (explicit data at all octaves meeting every listed law including the global ones; first unverifiable property named) | REDUCED (to ONE named lemma, gate G1-G4 passed, not a restatement of "no W2") | PARTIAL (one named sub-claim settled, which) | OPEN. Then SUMMARY (<= 100 words), the argument (<= 2,000 words), STILL OPEN EXACTLY. Short of effort: line 1 + summary; an honest OPEN is valid. No finite computation as proof; no theorem beyond its hypotheses; UNKNOWN if unsure a cited result exists. RED FLAGS: treating a finite permutation or one fixed dyadic orbit as the host; using endpoint equivariance of H as if it transported hulls in the fixed circle order P (it does not); proving only that W2 cannot recur on one orbit 2^j q (Theorem 2 below already does that); counting satellite turns or their spacing (another lane is on that); calling a window composite a single-turn rearrangement; assuming H extends to a plane homeomorphism; claiming RIG-THICK, L2 or PER