Version DOI 10.5281/zenodo.21425689.
Two chapters (39-40): the mortal observer (the free shape-lock; THE EVASION FOUND — blindness is floor x instrument, closing the permission map's last open cell; the finite biography; one honest inconclusive named open) and the breathing floor with the two switches (a third rival dynamics: priced fission; PRICED REST — free/impossible/priced; THE SWITCH DECOMPOSES — exact preclusion follows return, not conservation, 112/0/196; THE LOCALITY GRADIENT — separability follows conservation graded by net drift, 12/12 / 201/215 / 0/52, with the authors' too-strong holism bet corrected in print; the two-switch assignment table; the NSIT sign table a THREE-FLOOR invariant, widening the registered actuality package's bridge target). A blind novelty sweep ran before labeling; verdict-set neighbors recorded in the register.
Three new scripts; run_all at 50. FCT-166..170, T-145..149. The ceiling grows to thirty-one lines. The README's permission-map table is rebuilt around three floors.
Finite Contact Theory is a finite reconstruction program with a scoped theorem stack on three published recovery lines — a quantum-facing axis, from one-use contact to counting, one-receiver gluing, rational Born weights, the CHSH/Pell boundary, a carrier grammar grown from one-use contact, and a behavior-conditioned contextual capacity with an exact strict preparation gap; a finite-epistemics axis, from the identifiability and debt calculus to the inquiry calculus and its second law of asking, four theorems separating the structure of time, and a measured generative floor; and a contact-interface reconstruction, in which a retained interface forces a quaternionic state/receiver cell whose self-dual closure is the 24-cell and the F_4 root system and whose finite measurement calculus forces the quadratic Born frame rule (a finite Gleason theorem) exactly where a triality Kochen-Specker obstruction forbids a global noncontextual assignment, and in which independently generated cells recover the E_8–hexacode closure spine under named receiver laws that a forcing audit shows the floor does not select over matched lawful alternatives, so the floor forces the atlas of lawful closures and the terminal self-dual class but never the specific member, and the selection of a world-phase is a conserved, received input, and in which a floor-to-interface theorem closes the chain one layer down: given a ternary contact whose order scars stay future-readable and whose retention is carried internally, exactly three mutually anticommuting involutive identity modes are forced — their oriented volume element is a central square root of minus one, their even sector is the quaternions, their reflection symmetry forces exact one-half weights, and the retained central residue forces the minimal faithful receiver to be the quaternions with the 1+3 split and the unique Euclidean form — while the residual inputs are named as received: the readability of order, the measured ternary arity, the internal-retention axiom, and one orientation bit, and in which an atlas of generative floors now classifies what any floor can carry: order-writability and residue-retention are independent, presentation-relative capabilities whose four cells are exemplified and fenced by exact theorems — lattice floors are orderless in their settled states, reversible floors write order but can never scar, commutative creation scars without order, and the marks floor carries both — with the retained contact containing an exact one-mode fermionic kernel whose complex structure is the central square root of minus one, a retention tower computed through third order (a unique first-order scar class, four second-order classes read by a gauge-invariant bracket witness, and exactly one third-order class), and the measurement obstruction relocated: no equivariant selector from the law quotient to its history space exists, the retained bit is tomographically silent at law level yet certainty-grade to a scar reader, and promoting a registration into the law-state lifts prediction from exact chance to certainty — a fourth, first-extension line that is conditional and experiment-open: an unconditional accessible-positivity theorem exhibits a three-contact sector whose every passive-linear-optical probability is nonnegative yet which lies outside the positive-semidefinite Hilbert Gram cone, and on one received apparatus anchor this predicts a possible violation of Hilbert-space positivity — a negative three-state Gram discriminant Delta_3 < 0 where ordinary quantum mechanics forces Delta_3 >= 0 — preregistered with its protocol, nulls, and kill conditions, and a clean mixed-state exclusion theorem then proves the gauge-free count witness W = P111 + D2 - 2/3 equals (2/9) det G, nonnegative for every partially-distinguishable Hilbert model whether pure or mixed, so the registered negative-Gram vector lies outside the entire clean partial-distinguishability class by the raw-count test P111 + D2 >= 2/3, closing the clean core of the exclusion while multiphoton, detector, transfer-matrix, and source-drift nuisances remain the experimental layer for an external expert — and a fifth line mapping the exact quantum count regions: for n indistinguishable bosons in the n-mode Fourier interferometer the achievable region of count statistics is an exact simplex for n <= 4 (at n = 3 the negative-Gram inequality P111 + D2 >= 2/3 is the complete boundary and the registered protocol reduces to tritter counts alone), central-projector positivity is insufficient at n = 4 with six new raw-count laws, and a structural phase transition at n = 5 produces an emergent logical qubit from permutation symmetry and counting alone, where a rebit-blindness theorem shows single-shot cyclic counts cannot expose sigma_y and a single-source real/complex/quaternionic counting no-go holds, both overcome by general passive networks, culminating in a registered, experiment-open single-source conjugation-witness protocol (gap 5 sqrt2 / 256, about 1304 trials per setting) that excludes a named real-internal-states plus mode-only-optics model class but does not falsify all real quantum mechanics — a sixth line reading the obstruction tower itself: the retention tower of the four-mark contact group is one ladder of gauge-invariant witnesses, in which the unique fourth-order class is the retention class cup-squared and is read as value one by a quadruple involutive self-contact, the involution-silent third-order class is read by an explicit twenty-five-word cycle witness, the no-global-now of the time chapter and the no-outcome-selector of the interface chapters are adjacent instances of one torsor-obstruction pattern with the arrow of time strictly below the whole tower as act-monoid non-invertibility, the retention cover itself is first-order-scar-free yet carries exactly one coherence scar whose reading requires a four-word composite cycle, and a boundary-pinning theorem shows that every Hilbert carrier with two-dimensional twisted sectors pins the odd identity-holonomy class at the trine overlap one-half exactly — explaining the r = 1/2 saturation of current photonic experiments, placing the registered r = 3/5 bet exactly one contact beyond every such carrier, and making overlap rigidity and the fourth contact count-level witnesses of the carrier grade — and a seventh line, an exact combinatorial debt ledger built from counting alone: no fixed carrier reversibly absorbs a merging act, one fresh one-use register per step always does, the minimal register alphabet is exactly the largest merge multiplicity, distinction is never destroyed unpaid — existence bits equal surviving bits plus paid bits, with waste possible and theft impossible — the n-fork's collapse cost, question depth, and record alphabet are one number log2 n, and every completion that resolves a staged fork books exactly that price, so the no-selector law is a refused debt and lawlike evolution is exactly the debt-free sector — an eighth line completing the ledger: ledger flow types the atlas cells — paid settlement (confluence is bought), flat reversibility, free creation, and the mixed marks cell where history is written free while the law quotient prices at exactly one bit, the retained central residue, so the registration promotion is a one-bit ledger transaction and the marks cell is the only floor whose ledger balances internally — deterministic multi-step one-use floors do not exist (the fork-staging half of the central law is a theorem at model scope while the no-selector half remains the named postulate), the admissible orderings of every content class equal the order-forgetting quotient fiber exactly, the law/present identification asymmetry is derived and flow-typed (the present is expensive because it is minted; paid cells erase their present at their terminals and reversible cells never grow one — the Cut is the signature of the mint), the identifiability and debt calculus instantiates on every rival floor with order bits future-inert (re-deriving the readability-of-order axiom as necessary) and its receipt bound equal to the ledger price of the floor evolution map, a constant acquires a structural definition as a fork-registration the law action inherits — underived, readable from every window at constant cost, paid once and replicated free — separating constants from laws and states in a three-column cut, and a driven floor steady-state dissipation is shown orthogonal to the ledger price, which floors the erasure bill only — and a ninth line extending the count-region hierarchy: the cyclic-multiplicity width grows 1, 1, 2, 3, 5, 12 for three through eight photons with the first emergent qutrit forced at six by pigeonhole, and the exposure law holds fiber-exhaustively at six photons — single-shot counting spans exactly the symmetric part of every emergent fiber, its orientation always and only one multiplication away — so the hidden resource of the counting grammar grows in width, never in depth — and a tenth line, hosting the observer: an exact finite theory of hosted observers whose records are floor events, in which a causally decoupled register carries zero world-information without an interpretation key, the keyless deficit is a computable floor invariant that strictly grows with inert capacity, the key suffices exactly and is underived — a constant of the hosted world in the three-column sense — the complete interpretation map is unwritable by the entire floor with no equivariant convention at any level of a record-of-record tower, a matched registrar tracks the world fork-for-fork and the hosted present has width equal to the mint since the last banked record, coupling mints new joint distinction and information is key-free exactly where the observer co-minted it (null-result information recovering interaction-free measurement exactly), participation heals what inert capacity worsens, privacy requires an unobserved pair, every observer's biography and proper time are free while the unknown is always when-relative-to-others, co-witnessed order is forced to agree, and pooled experience determines everything except what neither observer touched — and an eleventh line, completing the hosted-observer constitution: for nested observers the sub-experience is exactly the restriction of the super's and knowledge across containment is exactly asymmetric with additively telescoping inter-level ignorance (the interpreted-systems and trace-theory laws recovered from one-use counting), teaching and measurement are one boundary co-minting operation differing only in which side is called the instrument, with capacity equal to the boundary fork width and a learner's budget equal to the boundary mint, a shared sense is an automatic consensus channel and overlap does not grow the common sector but redirects agreement from facts about the pair to facts about the world while pooled coverage pays, observer membership is opaque to all experience so mutual knowledge requires a received membership key, and the ways of knowing close into a two-currency price list: every knowing is participation paid in consumed marks or convention paid in received keys — and a twelfth line, the genesis of space: a measure-free anthropic filter in which three exact observer-capability predicates (faithful biography, non-vacuous participation, internal affordability) select the mixed cell as the only asker-compatible floor, locality is the affordability condition for bounded observers (frontier width is world-size-independent exactly on bounded degree), a priced inheritance dynamics on minting floors has an exact budget theorem (intersection inheritance is always paid; union inheritance is unpaid in every contact where the parents' neighborhoods differ), total tolerance is monotone non-increasing (the sparsification arrow: a paid floor can only get sparser), reproduction is classified by the twin theorem (a contact reproduces the world iff the parents are adjacent twins; every contact reproduces iff the world is a disjoint union of cliques; wounded cliques heal only by fission; triangle-free worlds decay to dust with the triangle the minimal witnessed durable structure), and a radius-one locality lemma yields a saturated discrete light cone that exists exactly when the world is sparse (a Lieb-Robinson-shaped recovery whose speed cap is the degree geometry itself) — and a thirteenth line, the price of chance: time factors into a clock arrow and a ledger arrow with all divergence dynamics on the spend sector (the frozen-wound theorem: equilibrium contacts hand differences on pointwise unchanged), symmetry forces the counting measure on bare floors while an observer's seat un-forces it (the invariant simplex is positive-dimensional with the participation calendar as exact coordinates and a closed form on cliques), received slot-exchangeability collapses the key to interaction-type propensities, no internal filter forces the value while cross-seat agreement forces exactly the counting measure and counting is provably nonlocal, giving the measure dilemma (a weighting can be shared or affordable, never both), the dilemma dissolves on structured worlds at the price of a received field (a three-dimensional strictly local transfer recurrence carrying the shared measure with all seats' joint predictions agreeing automatically; the transfer-matrix and belief-propagation machinery classical and cited), the field's ratios converge geometrically to forced algebraic constants (the Padovan-Perrin-plastic-number laws of the maximal-matching literature, cited as recovery) with a boundary layer of chance and a bulk identity in which a boundaryless world is pure bulk and cycle branch counts are the Perrin numbers whose prime divisibility is the free action of rotation on branches (spontaneous-symmetry-breaking structure with an arithmetic witness, classical components cited), and on self-reproducing worlds the measure key becomes earnable: world size is written in the observer's waiting times, one mortal life can identify world structure but provably never the measure (an exact total-variation floor), mortal and eternal worlds assign different chances to identical events, and measure-holding closes into a three-rung ladder priced in nothing, boundary data, or time — and a fourteenth line, the decay of worlds: the genesis floor's decay physics solved exactly — recurrence is fixed-points-only (time cannot close), the class-transition operator is triangular in the tolerance grading so every decay constant is an exact rational with a closed form (the triangular-chain mechanism classical and cited), the wounded clique's decay sector is identified as the Eggenberger-Polya urn exactly (the urn laws classical and cited; the identification inverts the known growth-side urn representations of graph processes), giving uniform fission profiles, closed-form branching ratios, size-biased healthy fates, certain separation, and exact lifetimes, an observer's waiting times identify its fission fate (the clock address), self-location is mass-weighted by conservation and has zero residual freedom given any branch weighting while the weighting stays free (the Sebens-Carroll dialectic recovered as an exact finite split), and wounds breed — two disjoint wounds fission three ways with exact probability while the octahedron sector forbids isolation entirely — and a fifteenth line, the particles of the floor: the particle reading with its master calculus — genesis on the complement is a join protocol (the CRDT/gossip primitive, classical and cited, with every qualitative conservation corollary labeled lattice monotonicity and the component factorization labeled trivial rather than the Haag-Wightman cluster theorem), adjacent wounds are one composite particle (the urn entered at one-two) with profile universality and no three-way fission so interaction requires separation, the charge law P(isolation) = charge/(n-1) holds exactly on three wound topologies, only wound-founder lines can ever end isolated (the healthy floor), the octahedron's forbidden channel has an exhaustion mechanism (no line ever accumulates enough oppositions), and opposition r-cliques are r-color urns fissioning into exactly r uniformly-sized pieces — with a full sector's laws frozen from the calculus before measurement and hit exactly — and a sixteenth line, the up: the constructive sector of the genesis floor — a contact's ledger surplus equals exactly its periphery, maximal retention conserves tolerance and degrees exactly (the number-conserving frame cited), a reproducing retention choice exists for every tested world and contact (decay is always a choice; the all-n statement open by name), persistence has two axes (retention feeds the ledger, steering feeds the class), the conserved sector carries an exact rational equilibrium ensemble, diversity is maximized strictly below full retention in a razor-thin band (the edge-of-chaos and quasi-stationary phenomena, cited, recovered in an exact-rational conservative substrate), steering cost is the surprisal of the reproducing set (Landauer form, cited) with the inversion that dense structure self-maintains free while sparse structure pays a bit per contact, and lasting growth requires both received contact and retained periphery — and a seventeenth line, habitability: the locality radius of self-maintenance decisions exhaustively resolved (participants' rows are insufficient; the radius-one ball decides perfectly — the neighborhood-reconstruction and LOCAL-model frames cited), the upkeep decision is always one round of neighbor gossip from the participants and never a global map, only one contact shape needs gossip and the habitable test set needs none (the private sector is a silent zero-communication self-stabilizing regime, cited), private data is fresh by construction and the task stationary so the maintenance bootstrap closes with no channel while the gossip sector provably cannot run on memory, the conserved sector's full price list is doom-free (every class steerable at bounded bits — the priority artifact), and habitability coincides with affordable upkeep (habitable = maintainable — a convergence theorem about the shared root of sparseness, with its internal-rigor caution stated in print) — and an eighteenth line, the thermodynamics of the floor: the genesis dynamics' statistical mechanics from counting alone — the labeled contact kernel is exactly symmetric on every closed sector tested, so counting measure is invariant and the microcanonical form with detailed balance follows at this scope (a discrete Liouville-type property; the all-sector statement open by name; symmetric-kernel stationarity classical and cited), the surprisal-cost identity 2^(-cost) = class-preserving fraction holds by definition (bits as energy at kT = 1 bit; Jaynes and Landauer cited), cost is exactly additive over disjoint components so any price-only independent rate law is exponential with the temperature received (the Cauchy-equation route, classical and cited), price-weighted scheduling redistributes stationary weight by possession of a zero-cost move rather than by mean cost (the min-cost-over-mean selection of Freidlin-Wentzell and the blowtorch theorem, cited, with the exact free-move split the artifact), entropy production is zero exactly at the price-blind point and measured unimodal across the sampled couplings, and the steady current is a divergence-free cost-pump cycle (Schnakenberg-Hill cycle theory, cited) — and a nineteenth line, maintained structures: a tracked substructure's preservation calculus solved exactly, in deliberately structural language with no biological claim — external contacts never touch the interior (context preservation, standard in local rewriting and cited), the preserving assignments are exactly the stay-with-parent choices at one bit per exposed member with the witness unique on in-structure singles, fixing the boundary as well admits only the identity (boundary rigidity), the stay-with-parent strategy is control-invariant against any schedule and any environment (the safety-game frame, cited), copy-construction in the complement is blockable forever by an adversarial environment from every not-yet-copied state yet reachable in one cooperative contact (an exact instance of the constructor-theoretic asymmetry — von Neumann; Deutsch-Marletto — cited): persistence is autonomous, copy-construction requires cooperation — and preservation cost concentrates at defects (a near-complete world hosts zero-cost structures; homogeneous sparse worlds host none) — and a twentieth line, the two kinds of the given: the received-input registry classified — eleven torsor-type inputs (forced option space, refused point; the torsor gloss cited) graded on the occurrence/class/phase ladder, two dial-type inputs (forced origin, free magnitude; the ratio-scale and deformation-parameter type, cited) with the reversible point of the rate family as the origin-selection criterion, two prior inputs retired by derivation (the reference measure follows from kernel symmetry; the consent boundary reduces to membership), and the completeness of the two-species split a named conjecture with a standing falsifier (the absolute-objects tradition engaged by name) — and a twenty-first line, where i lives: the spectral home of the native complex number located by exact certificates — the price-coupled family's complex eigenvalue pairs exist only in finite windows bounded by real-eigenvalue collisions (Sturm-certified at rational couplings; the exceptional-point mechanism classical and cited) with the reversible point provably outside, the deviation-parity double cover is nonsplit and its sign sector is Sturm-certified all-real at the certified couplings even inside the base's certified complex windows, while carrying the known frustrated-sector spectral gap (2-lifts and signed-graph bounds — Bilu-Linial; Zaslavsky; Belardo; Martin — cited): a sign carries mass but cannot rotate — and the Z4 lift's quarter-turn sectors have exactly non-real characteristic polynomials at the reversible point (gain-graph and covering-character machinery classical and cited; the real-versus-complex sector dichotomy is Frobenius-Schur representation-type logic), so complex structure enters through the representation, with its conjugate twin staged and unselected (Galois conjugacy, automatic and cited) — and a twenty-second line, the reading law: an exactly solvable model in which the decoherent-histories package holds exactly rather than approximately — path contributions pair under a sign-reversing involution and the stay-with-parent assignment is the exact identity, the cycle worlds' survival amplitude is precluded exactly (the identity path and its swap-mirror in antiphase; the checkerboard's i-per-deviation mechanism and Sorkin preclusion cited), amplitude never exceeds probability entrywise and every channel is additivity-exact or strictly destructive (the consistency condition of Griffiths, Omnes, and Gell-Mann-Hartle — explicitly not Born's squared-modulus rule — with phase-purity the exception, falling with size: the Dowker-Kent genericity realized exactly), a fully-anchored structure admits only the identity (the Zeno tier, cited), a shape-locked structure's touching outcome channels are single-path so consistency holds exactly on everything it reads (records imply exact consistency, structurally), and every channel obeys one closed formula — amplitude = P x ((1+i)/2)^m x i^d — consistency at m = 0, per-unread-bit visibility decay, and the recorded phase in one law, with every constant kernel-inherited — and a twenty-third line, the coat and the count: the quarter-turn amplitude calculus at depth, exactly — the double-slit is a theorem suite (2504 constructive and 1284 destructive fringe channels with the amplitude-below-probability ceiling never violated; which-path branches partition exactly; the delayed-choice eraser is exact, with 2448 full-recovery channels: what matters is not when a deviation is read but whether the record ever determines it — the eraser phenomenology of Scully-Druhl and Kim, cited, here rational arithmetic), the one-formula reading law fails at depth precisely on channels with correlated hidden-bit support, so Feynman summation is forced exactly at path-entanglement (trajectory amplitudes are Markov over invisible worlds; the Dowker-Kent genericity realized exactly), and the coupling trichotomy closes the frequency question: the coat is empirically silent on fully-read channels (amplitude equals probability there, so the floor's Born analogue is amplitude-LINEAR — a quasiprobability reading, the Kirkwood-Dirac lineage engaged), no nonnegative path measure reproduces coat statistics under any reweighting (darkening and preclusion witnesses; the no-joint-distribution structure of Fine and the quantum-measure frame of Sorkin, cited), so coat-following frequencies require actuality at the record level — exactly the floor's founding no-selector postulate — and the choice of actuality measure is a named received input with an exact separation table, while on record-sharing run pairs the conjugate pairing is the unique positive one (verification wears the conjugate coat, its algebraic status stated honestly) — and a twenty-fourth line, the codes of the coat: path-entanglement is coding theory, exactly — every hidden-bit support in the census is a coset of a binary linear code with uniform bit marginals (relational distinction without local distinction: the program's pre-Hilbert anomaly form), the amplitude obeys the code reading law with interference corrections indexed by DUAL codewords (Poisson/MacWilliams mechanism, classical and cited; the stabilizer-amplitude echo engaged), brightness is arithmetic (coherence one iff coset weight constant mod 4), every self-dual code below length eight is perfectly dark while the extended Hamming code — the binary shadow of E8 — is the first bright self-dual class (Gleason's theorem and the Pless classification, classical and cited): worldhood's glue and path-entanglement meet at the self-dual locus, and the hunt's laws bound what records can correlate: feasibility is measurement, two witnesses at small scale annihilate the hidden sector (entanglement needs privacy; copying is social while coherence is private), THE CAP THEOREM holds at verified scope (aligned solo channels never exceed correlation distance two: alignment forces per-line position pins, duals are interval codes, weight-two words always exist — the general pin lemma a named small gap) with DUAL AUTOBIOGRAPHY (no conservation law spans two lines) and THE TILTED LIGHT (every bright channel is a sum of odd-offset pairs: unlimited quantity of entanglement, coarsest quality, every bright bond twisted) — so bright doubly-even linear structure is unreachable by aligned solo records: what binds worlds cannot be watched binding — and a twenty-fifth line, the strata and the blindness: the misaligned half of the amplitude calculus charted exactly — every misaligned channel partitions by bit-key-set into aligned strata, each with affine support, the channel amplitude the exact weighted sum of code amplitudes (no third kind of channel exists at census scope), the dual-sum reading law holds within every equal-weight stratum, the cap theorem's pin lemma is proven in general with one hypothesis killed (position autonomy plus interval duals close the aligned cap; two-spot confinement fails generically — aligned wandering — and the proof never needed it), the evasion hunt returns empty (all bright misaligned channels die to a single bit reveal: the operational blindness law at body-reading scope), darkness needs alignment (no misaligned channel is ever exactly precluded), and the modulus reading composes multiplicatively across interleaved independent sectors (the real-part composition critique does not bite), so the Sorkin grade remains the sole structural discriminator among actuality candidates — and a twenty-sixth line, the actuality protocol: the actuality-measure door built into a registered discrimination package — counting-actuality satisfies no-signaling-in-time exactly on every census channel (the macrorealist candidate: Leggett-Garg non-invasive measurability, the Kofler-Brukner NSIT formulation, and the Clemente-Kofler analysis, cited as recovery), the three candidates separate by an exact sign structure of NSIT violations (counting identically zero by additivity, the linear coat never positive by the triangle inequality — an organizing corollary, stated at its one-line altitude and disambiguated from Goldstein-Page linear positivity, with the Halliwell quasi-probability program engaged — the squared coat both-signed by constructive fringes), so one positive NSIT violation kills counting- and linear-actuality in a single measurement, the triple test separates linear from squared (squared third-order interference exactly zero — Sorkin's grade two, the Sinha-type triple-slit tests cited — while the linear coat's is witnessed nonzero), and the package freezes three exact tables with kill conditions per candidate and its bridge premises named open — no physical substrate is identified, and this is said plainly, with the registered-conditional form claimed as discipline, not contribution — and a twenty-seventh line, the alien coat: the first transport of the quantum arc to a rival generative floor — a coagulation dynamics whose merges consume both parents (mortal: rest is impossible, not forbidden) and whose labeled kernel does not preserve counting measure (microcanonicality is genesis-contingent), on which the coat construction, the amplitude ceiling, the additivity dichotomy, and the mod-4 phase-purity law all travel intact, hidden-bit supports leave the linear-code class for constant-weight slices — cardinality correlation, the Dicke-state and Johnson-scheme family (Delsarte duality, the Dicke-state literature, and the stabilizer-versus-symmetric dichotomy cited as recovery, the floor-side derivation the claim), bright distance-four channels exist where the genesis cap forbids them (the cap is floor-contingent: what one floor's records forbid, another's grant), alien bright channels are reveal-robust while genesis parity channels are reveal-fragile (the GHZ-versus-W persistency contrast — Briegel-Raussendorf, Dur, and Stockton-Geremia-Doherty-Mabuchi cited — recovered as a theorem about record grammars), the NSIT sign table transports unchanged (the actuality discriminator is coat-level, not floor-level), and no dark channel exists through depth three (exact preclusion is genesis-contingent at tested scope) — and a twenty-eighth line, the permission map: the founding question given its first full artifact — one matched instrument suite (same channel keying, same drive measure, the same code) run on the genesis and coagulation floors assembles a twelve-row map with three verdict types: generic (staging, the coat ceiling, the additivity dichotomy, phase purity, the NSIT sign table), contingent (conservation, survival, indifference, darkness, and the distance cap — live and matched: genesis bright correlation never exceeds distance two while the alien floor realizes distance four), and instrument-indexed (correlation grammar and reveal persistence flip verdict with the observable keying: a pre-Hilbert exact instantiation of observable-induced structure — Zanardi, Zanardi-Lidar-Lloyd, and Barnum-Knill-Ortiz-Viola cited — extended to the genericity verdict itself), with the comparative method the narrow claim (matched exact censuses across rival generative dynamics, where the taxonomy question itself is the reconstruction literature's, cited to Hardy, Barrett, Chiribella-D'Ariano-Perinotti, Spekkens, and Sorkin), the conservation switch recovering the stochastic-versus-unitary no-cancellation dichotomy at floor level (the one-norm/two-norm argument and the stoquasticity/positivity literature cited; the necessity converse open), genesis persistence arising only by factorization (disjoint contacts are tensor factors — a no-signaling recovery, not a new principle), and the repetition anomaly (the same contact fired twice mints the census's only support beyond the affine-and-weight grammar; the temporal-correlations genre cited) shipped as a named open stone — and a twenty-ninth line, the grammar closure and the price of separability: the correlation-grammar theory completed and priced — at single-event scope the hidden-support grammar is COMPLETE (every faithful support on an extended heterogeneous arena is exactly affine-cap-weight-union, with the orbit lemma verified: supports are edge-stabilizer orbit unions, so a single interaction can only correlate by parity and cardinality — the closure statement the v0.24 sweeps requested, census-exhaustive with the structural all-sizes proof open), grammar growth beyond the two shadows happens only through sequential dependence with a per-floor exit law (the conserving floor exits only by re-firing the same contact; the mortal floor, unable to repeat, exits only through shared neighbors — the temporal-correlations genre and the Anders-Browne adaptivity threshold cited, the per-floor carrier uniqueness the claim), an absolute factorization theorem holds on the conserving floor (disjoint-neighborhood event pairs factorize exactly in support and amplitude — the tensor-locality recovery in absolute form), and MORTAL HOLISM: on the mortal floor support factorization fails at every tested separation because a shrinking world's class record is a global quantity — even the record couples spacelike events — so separability itself is floor-contingent, purchased by conservation (preclusion, the microcanonical measure, measure locality, grammar depth, and record locality all hang from the one switch; the constraint-induced-correlation, ensemble-nonequivalence, superselection, and conditioning neighbors cited as recovery per the release's blind sweep; the model-scope claim is the exact dichotomy with its anti-deflation contrast — the conserving floor's record is equally global yet factorizes exactly, so the failure is not conditioning bookkeeping — while the measure-versus-record control and the record-choice quantifier are named open and the slogan is flagged as slogan) — and a thirtieth line, the mortal observer: body-reading built on the mortal floor — the free shape-lock (an external merge can never touch a body's interior, so shape-locking costs nothing and the mortal observer pays in lifespan where the conserving observer pays admissibility), THE EVASION FOUND (of thirty-two revealable bright body-reading channels four persist a reveal: the persistent bright channel proven absent on the conserving floor exists on the mortal one, so operational blindness is genuinely floor-by-instrument — body-reading blinds the conserving floor and only dims the mortal one; the Wigner-Araki-Yanase pattern engaged: conservation as the obstruction to clean readout, here combinatorial rather than commutator-based), the finite biography (every mortal observer reads a terminating text, with zero dark channels in reading keying), and the grammar-under-the-instrument question honestly inconclusive at tested scope (every faithful support consistent with both grammars), named open — and a thirty-first line, the breathing floor and the two switches: a third rival dynamics — fusion plus priced fission, a reversal surcharge of one deviation mark — joins the map — PRICED REST exists (class-preserving returns, every one paying at least the surcharge: the survival row's third value — free, impossible, priced — adjacent in spirit to the thermodynamics-of-computation lineage including the Landauer embedding of reversible rewriting, and explicitly not a claim of Landauer's principle: the surcharge is an exact combinatorial floor, not an asymptotically saturable bound), THE SWITCH DECOMPOSES (one hundred ninety-six dark channels on a non-conserving floor: exact preclusion — Sorkin's term, cited as throughout — follows RETURN, not conservation; path reconvergence cited as elementary and the vanishing-sums arithmetic classical, the matched-floor monotonicity contrast an enumeration with its mechanism exhibited, not a universal law about absorbing dynamics), THE LOCALITY GRADIENT (factorization twelve of twelve conserving, two hundred one of two hundred fifteen breathing, zero of fifty-two mortal: separability follows conservation and degrades with net drift, not mere fluctuation — the authors' too-strong holism bet corrected in print, and the shared-budget confound named open: a control separating common-resource bookkeeping from interference-level non-factorization is unrun, with the coalescent adjacency cited), the two-switch assignment table closes at three-floor scope, the sign table is a THREE-FLOOR invariant (the registered actuality package's bridge target widens to any of the three dynamics), and the distance cap survives non-conservation (the distance-four bond was mortality-plus-cardinality specific) — under which the quantum boundary is a floor theorem at binary-Bell finite-carrier scope, the preparation gap is an exact theorem at KCBS-pentagon scope, the interface reconstruction is a finite model-scope recovery on a real-quantum cell, the multi-floor closures are model-scope recoveries whose forcing boundary is exactly mapped, the floor-to-interface chain is an exact finite theorem conditional on its four named received inputs, the atlas capability theorems, the tower censuses, and the relocation model are exact, shipped, and presentation-relative by stated scope while the boundary-layer measurements are cited from the research corpus and nature is not claimed to realize any particular cell, the accessible-positivity and mixed-state exclusion theorems and the count-region theorems are unconditional and independently reproduced, the ladder witnesses and second-storey censuses are exact and shipped with their classical cohomology dimensions and the torsor pattern cited as known rather than claimed, the debt-ledger theorems are exact finite counting whose component results are classical and cited — with the contribution claimed only for the witness suite, the capability separation of the arrow, the pinning consequences, and the pre-probabilistic derivation route of the selection price — the ledger-completion results are exact at their stated finite model scopes with every classical component cited — the persistence/diamond lemma, trace linearization counting, sorting under partial information, and the housekeeping/excess decomposition — and the two-bills section labeled numeric discovery grade, the hierarchy extension ships its exact tableau-counting engine while the fiber-exhaustive exposure law is cited at discovery grade from the research corpus, the hosted-observer theorems are exact and exhaustive at their model scopes with the impossibility core and the intersubjectivity semantics cited as known (Breuer, Wolpert, Löfgren, Putnam, Everett, Lamport, Mazurkiewicz) and the claims confined to the price structure, the two participation theorems, the healing/worsening juxtaposition, and the new proof route to the received key, while the physical realizations — the negative-Gram prediction and the conjugation witness — are conditional, bridge-premise-gated, experiment-open registered protocols awaiting a dedicated experiment and external expert review, the observer-hierarchy, genesis-of-space, and price-of-chance theorems are exact and exhaustive at their stated finite model scopes with every classical component cited as recovery (interpreted systems and trace theory, quantum-Darwinism consensus, Gallai twin algebra and cluster graphs, Lieb-Robinson bounds, Choquet simplices, the Padovan-Perrin-plastic-number maximal-matching literature, belief propagation, Le Cam two-point bounds, the inspection paradox, and the frequentism critiques) and the claims confined to the redirection conservation, the teaching-measurement identity, the priced two-currency exhaustiveness, the inheritance budget dichotomy, the sparsification arrow, the fission-only healing, the participation-calendar coordinates, the shared-or-affordable dilemma, the mortal-eternal chance split, and the cost-structure ladder, the decay-of-worlds and particles theorems are exact and exhaustive at their stated finite model scopes with every classical component cited as known (triangular chains, the Eggenberger-Polya and multi-color urns with their Bose-Einstein/Dirichlet laws, CRDT/gossip join protocols, occupation-rate ergodics, Palm/size-biased sampling, the Sebens-Carroll self-location dialectic, and the topological-defect selection-rule template) and the claims confined to the decay-sector urn identification, the topology-to-urn dictionary with its fission-arity rules, the charge law, the exhaustion mechanism, the exact self-location split, and the opposition-calculus identity, the up and habitability theorems are exact and exhaustive at their stated finite scopes with every classical component cited as known (number-conserving automata, von Neumann-Langton self-reproduction, edge-of-chaos and quasi-stationarity, Landauer-Bennett costs, interacting-particle reinforcement, shotgun assembly, the LOCAL model, locally checkable labelings, silent self-stabilization, reliable computation, the good-regulator and requisite-variety theorems, and autopoiesis) and the claims confined to the maintenance inversion, the exact equilibrium and thin-edge quantifications, the doom-free price list, and the habitable-equals-maintainable convergence with its stated caution, the floor-thermodynamics, maintained-structures, given-classification, spectral-home, and reading-law results are exact, exhaustive, or Sturm-certified at their stated finite sector scopes with every classical component cited as recovery (symmetric-kernel stationarity, the Cauchy-equation rate form, Freidlin-Wentzell selection and the blowtorch theorem, Schnakenberg-Hill cycle theory, context preservation and safety games, the constructor-theoretic asymmetry, torsors and measurement-scale typology and the absolute-objects tradition, exceptional points, 2-lifts and signed-graph gaps, gain graphs and covering characters and Frobenius-Schur logic, sign-reversing involutions, the Feynman checkerboard, Sorkin preclusion, decoherent-histories consistency, records and environment-as-witness, visibility decay, and the quantum Zeno effect) and the claims confined to the exact state count and free-move split, the measured unimodal dissipation, the preservation-price law with its unique witness and the autonomy/cooperation dichotomy and defect concentration, the kernel-symmetry certification with its two retirements, the certified window structure with the certified real sign sector and non-real quarter-turn sectors, and the exact reading law with its closed-form constants declared kernel-inherited, the coat-and-count and codes-of-the-coat results are exact, exhaustive, or classically-certified at their stated finite sector scopes with every classical component cited as recovery (the delayed-choice eraser, decoherent-histories genericity, no-joint-distribution and quasiprobability structure, Sorkin's quantum measure, Poisson/MacWilliams duality, Gleason's self-dual-code theorem, the Pless classification, stabilizer-state amplitudes, monogamy and distillation rhymes, and interval codes) and the claims confined to the exact fringe/eraser census, the correlated-support onset of the path integral, the path-measure no-go with the actuality-measure door, the affine-support and dual-codeword laws, the E8 brightness threshold as floor-instantiation, and the cap theorem with autobiography and tilted light at verified scope with the pin lemma's general proof a named gap, the strata-and-blindness, actuality-protocol, alien-coat, and permission-map results are exact, exhaustive, or measured at their stated finite census scopes with every classical component cited as recovery (decoherent-histories strata, the macrorealism test theory of Leggett-Garg, Kofler-Brukner, and Clemente-Kofler, Sorkin's hierarchy and preclusion with the Sinha-type tests, Dicke states and Delsarte's Johnson-scheme duality with the stabilizer-versus-symmetric dichotomy, persistency of entanglement and the GHZ-versus-W contrast, observable-induced tensor product structure and generalized entanglement, the no-signaling factorization, and the stochastic-versus-unitary no-cancellation dichotomy) and the claims confined to the stratification and pin-lemma closures with the aligned-wandering correction, the sign-separation trichotomy at its stated altitude with its registered tables, the cross-floor transport results with the floor-contingency of cap, darkness, survival, and indifference, the matched-census method itself, and the instrument-relativity of the taxonomy verdict, the grammar-closure and separability results are exact and exhaustive at their stated extended-arena census scopes with the classical components cited as recovery (orbit structure from iso-invariance, tensor locality and no-signaling, constraint-induced correlations and ensemble nonequivalence, and the temporal-correlations genre) and the claims confined to the single-event completeness theorem, the per-floor exit law, the absolute factorization theorem, and the mortal-holism contrast with its conservation-switch unification, the mortal-observer and breathing-floor results are exact and exhaustive at their stated census scopes with the classical components cited as recovery (context preservation, path reconvergence as interference's precondition, and the thermodynamics-of-computation lineage held at arm's length by name) and the claims confined to the floor-by-instrument blindness table, the free-shape-lock/lifespan trade, the priced-rest theorem, the return/conservation switch decomposition with the locality gradient, and the three-floor invariance of the sign table, and every unearned generalization — complex quantum mechanics, the actuality of one outcome, the universal Born rule, whether nature realizes any of these structures, which world-phase is selected, whether nature contains the odd identity-holonomy sector, whether the apparatus nuisances close the full exclusion, whether any physical carrier realizes the pinned or the floppy grade, whether nature realizes constants as column-two registrations, whether any emergent qutrit fiber admits a practical encoding, whether nature's observers are participation-bounded in the hosted sense, and whether any experiment realizes the conjugation witness, whether nature's chance is field-carried or earned, and whether any physical observer's measure key is received in the column-two sense, whether any physical excitation is wound-like in the fate-law sense, and whether the charge-universality conjecture survives its frozen test, whether the immortality result holds at every size, and whether any physical system's persistence budget is steering-shaped, whether the kernel symmetry holds on every closed sector, whether any physical rate law is price-coupled in this sense, whether the two-species census of the given is complete, whether nature's complex structure is representation-carried in the quarter-turn sense, and whether any physical readout realizes exact rather than approximate consistency, whether the pin lemma holds beyond the verified scope, whether any protocol at any scale exceeds correlation distance two, whether the actuality measure of nature is counting or coherence-taxed, and whether the misaligned sector carries a coherence theory of its own, whether any substrate realizes either floor's dynamics so the registered actuality tables can be read against nature, whether the two-grammar census is complete beyond censused scope, whether measure uniformity is necessary for preclusion (the conservation-switch converse), whether the alien floor's positivity persists at every depth, whether the repetition anomaly's grammar has a standard-formalism translation, and whether a body-reading instrument exists on a mortal floor, whether the single-event completeness theorem admits a structural proof at all sizes, whether mortal holism persists at every depth and separation, and whether any physical dissipative system exhibits record-level nonseparability in the mortal-holism sense, whether the grammar survives reading instruments at larger bodies, whether the two-switch assignment extends to a fourth floor, and whether any physical dissipative system realizes priced rest in the breathing-floor sense — is left open by name; these chapters are an archival priority record of mathematically closed theorems and registered conditional protocols, not empirical discoveries.