m26

Prompt

RESEARCH QUESTION (plane continua / order theory and dynamics on the folded two-page host; BESIDE-OUT (the BESIDE half of DRY_0, chart branch of RIG-THICK, Route I): every local law and Fact D are blind to transported two-level adjacency; does a GLOBAL law of the host (h^2 continuum-minimal, no periodic point, the doubling D(2N) = sigma D(N) at every octave) exclude it?). 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 notes D2603, D2607, D2609 and the lanes b_opus_dry0_prove, a_fable_dtower; DERIVED-U there, unaudited here; lines marked (INFERRED) are my bridging). - Zhat := the profinite integers. E is a Cantor set, sigma: E -> E a fixed-point-free homeomorphism, D: Zhat \ {0} -> E continuous and even with D(2N) = sigma D(N). Fibre points p_m(e) (m in Z, e in E), fibres P_m := {p_m(e)}, K := the closure of the regular points g(z) = (z, (D(z - j))_j), z in Zhat \ Z (K is totally disconnected), X := K x {0,1} (two levels), pi(p_m(e)) = m, pi(g(z)) = z. The host Y := ([0,1/2] x K)/folds is a planar continuum, dynamics H[t,x] = [2t,2x] has no periodic point, h := H^-1, m_1 := min d(y, h y) > 0. - Two-page picture (SOURCE-lab, D1535). P: X -> S^1 is a continuous injection (a 2PAGE order). Fence chords F join (m,0) to (m,1), same label, and are noncrossing in the OUTER page. Fold chords are noncrossing in the INNER page: iota_0 at level 0 sends p_m(e) to p_{-m}(e) (extended continuously to K), iota_1 at level 1 sends p_m(e) to p_{-1-m}(e). Chords of different pages never cross. iota_0 is a continuous involution of X^0 := K x {0} whose fixed set is exactly the tip fibre P_0^0 (lab), iota_1 has no fixed point. A chord {x, iota x} is also called an arch; a tip is a degenerate arch. - Hulls. For |n| >= M_0 (far), Hull(P_n^0) is the smallest closed arc of S^1 containing P(P_n x {0}). (S): every far turn q is non-interleaving, i.e. Hull(P_q^0) and Hull(P_{-q}^0) are disjoint. For such q, A_q is the SHORT open arc between the two hulls and [b, a'] its closed hull (b the last point of Hull(P_q^0), a' the first point of Hull(P_{-q}^0), a' = iota_0 b by the lab's Lemma A); X^0 cap [b, a'] is iota_0-invariant (noncrossing). - Tips and gaps. P(P_0^0) is a Cantor set in S^1; a gap G is a component of its complement and its two end labels are walls. A wall w is wet if points of X outside P_0^0 lying in G accumulate at the tip p_0(w), dry otherwise. DRY_0 (= ALL-DRY) := every wall of every gap is dry. - Lemma TG (lab, from D2601 Lemma SC+, needs m_1 > 0): for far m, Hull(P_m^0) contains no tip, so it lies in one gap G(m). Fact D (lab, elementary): every nonempty open subset of X^0 contains a whole fibre P_m with |m| arbitrarily large. - Proposition BA2 (lab, from TG and (S)): let w be a wet wall with free gap G and m_i far with P_{m_i}^0 in G, P_{m_i}^0 -> p_0(w), m_i -> 0 in Zhat. After passing to a subsequence exactly one holds. (BESIDE) Hull(P_{-m_i}^0) lies in G too, so the arc A_{m_i} lies in G and contains no tip. (AROUND) Hull(P_{-m_i}^0) lies in another gap on the fibre side, A_{m_i} contains the tip p_0(w) and an infinite clopen interval T_i of tips shrinking to {w}. - cm: h^2 is continuum-minimal on the host (no nonempty proper subcontinuum K with h^2(K) inside K), h := H^-1. B. LEMMAS (status; where used) Known (all UNAUDITED). - D2607 / dry0_prove: DRY_0 = (no BESIDE-wet wall) and (no AROUND-wet wall); TRAP-type compactness at the tip fibre, accessibility counts, Moore/Bing decompositions and COLLAR separation each fail at a named step. The h-free control: a fibre-0 germ (Cantor tip set, a gap, reflected Cantor pairs accumulating at one wall, matched by a noncrossing continuous involution fixing the tips) realises both shapes, so noncrossing at fibre 0 alone decides nothing. - MICROEVAL m19 + Arena A174 (UNAUDITED; three models agree): Lemma CG holds; the asymptotic parallel-fence lemma PF holds; eventual two-level adjacency (full gaps near w^0 matching gaps near w^1) follows from compact level separation; L1-SEP implies BESIDE-OUT, so L1-SEP is a RESTATEMENT. The residual is exactly the prohibition of TRANSPORTED adjacency. - A177 (Arena): a finite 28-point germ with transported two-level adjacency satisfies every LOCAL standing law. A182: its all-scales order-skeleton extension (isolated points; Fact D fails for singleton fibres). A186: a Cantor thickening of the skeleton (fibres near the wall are Cantor sets, gaps empty and noncrossing) in which Fact D holds and the adjacency persists; a free-API check says Fact D is proved there only under a recursive-thickening hypothesis. None of these is a host with dynamics. C. THE TARGET BESIDE-OUT: no BESIDE-wet wall exists in a host satisfying (S), TG and BA2. D. ASK Part 1 (transport under dynamics). The doubling D(2N) = sigma D(N) and H[t,x] = [2t,2x] act on fibres: P_m goes to P_{2m}. Track a BESIDE witness sequence m_i -> 0 at a wet wall w under m -> 2m and under sigma on E. Decide whether transported adjacency at w forces adjacency at the walls sigma^k(w) for all k, and at which octaves. Part 2 (global exclusion). Using Part 1, attack BESIDE-OUT with ONE global law: (a) cm of h^2: the closure of the union of the transported adjacent gaps (or of the fibres P_{2^k m_i}) is a proper subcontinuum K with h^2(K) inside K; (b) no periodic point / sigma fixed-point free: the orbit of the wet wall under sigma must be infinite, and infinitely many wet walls each carrying a free gap violate noncrossing or Fact D; (c) compactness at the tip fibre across all octaves. Prove one exclusion or say exactly where it stops. Part 3 (builder). Otherwise extend the A186 Cantor thickening to all octaves equivariantly (D(2N) = sigma D(N)) and list every law checked; name the first property you cannot verify. Each claim labelled PROVED, SOURCE (exact reference), LAB, DERIVED, CONJECTURE, OPEN or RESTATEMENT. UNKNOWN if unsure a cited result exists. E. CONTROLS (all must hold) (C1) The h-free fibre-0 germ (D2607) realises both BESIDE and AROUND shapes; any proof must use the dynamics at a named line. (C2) Construction R (D2609) has a wall wet at every fibre; an exclusion argument must say why it does not apply to Construction R or which host law Construction R violates. (C3) A finite octave range is not a host. F. DEAD ENDS (not progress) (1) Local laws, Fact D, L1-SEP (A174, A177, A182, A186). (2) TRAP-type compactness at the tip fibre, accessibility counts, Moore/Bing decompositions, COLLAR separation (D2607). (3) Noncrossing at fibre 0 alone (h-free germ). 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: BESIDE-OUT PROVED (a named global law excludes transported adjacency at every BESIDE-wet wall; proof) | BESIDE-WET CONSISTENT (explicit host 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) | PARTIAL (one named sub-claim settled) | 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 the minimal arch as a gap of P(X) (it is a gap of the LEVEL-0 set only); assuming iota_0 order-reversing on all of X^0; using a finite germ or a single octave as a host; treating Fact D as excluding Cantor fibres (A186: it does not); claiming RIG-THICK, L2 or PER