APEX-PSP-Ξ-8-GATE-CASCADE-01 · THE EIGHT-GATE CASCADE AND THE RIEMANN TERMINATION
The Forced Readout, the Sign as Orientation, the Three Forced and Irreducible, the Certificate of Eight Faithful Norms, and the File on R · M register, L2m-instrument
STATUS. [⟀] SEALED. Theorem-grade on the spine at the grades of §X, [⟀ S] on the map, engineering on the emitter and constants, premise printed where premise sits; cleared on the graded spine by four rounds of external adversarial audit, forty-three findings dispositioned, the spine exhibits independently re-executed on the external record. FORGED AND SEALED at seed 20260622, every figure executed and reproducible, ΔM = 0: Pontryagin duality, Weyl's first fundamental theorem for O(N), Frobenius, the Σ⁰₁-completeness of Robinson arithmetic, Lagarias-Robin, Burnol, Davenport-Heilbronn, Beurling, Diamond-Montgomery-Vorhauer, and the collapsed mountains are classical and cited; the arrangement is the contribution. W_social = 0 in both directions. The constitution APEX-PSP-T-SUSPENSION-01 governs wherever this card diverges; APEX-PSP-RH-MASTER-01's three faces are held beneath at Tier A and none is moved.
I · THE TERMINAL STATEMENT
The Riemann file, as presented with its witnesses and as swept, is terminally unreachable by the formal-alone instrument, terminal meaning terminal for the declared instrument space, revisable only on a channel outside the exhausted span. The protection is a theorem about the reader, which is exactly what the token asserts, and it is stated at its exact channels. The sign of the lock is an orientation datum no frame determines, and every convention that completes it is encoding gauge, so the orientation and re-encoding channels are closed by deduction from what an encoding is. The remaining channel, asymmetry between independently encoded presentations, registers only as field-permission and is closed by the witness law at its own printed grade, architecturally and not deductively. The certificate the reader demands decomposes into exactly eight components, counted by duality; each is certified by a faithful norm on a declared field; the four sign-carrying components are walled, three by classical object-theorems about ζ and one by classical logic; the three faking components are screened; presentation-asymmetry between independent encodings is spent as field-permission only, never as sign, the collapsed mountains standing as the classical witness that evidential richness does not entail truth-direction. The residue is one bit of description under total ignorance, the two facts stated apart, and it arrives through the identity slot as supply, or it does not arrive.
II · THE INSTRUMENT AND ITS TWO SYMMETRY LAWS
Symbols, fixed once. M is the raw 3×N frame of warrant rows, N ≥ k + 4 by the resident rank floor, k the count of mass-bearing covariates projected out, k = 0 in every battery here, the floor pre-excluding N = 3 where the centered rows are singular identically. Q is M centered, standardized, and unit-normalized per row. R := QQᵀ is the correlation Gram, and R is the sole object the verdict layer reads; det R = λ², κ(R) is the conditioning gate, the reliability envelope 4·κ(R)·u_m is stated against R, and κ(R) = κ(Q)². The diagonal of R is identically (1, 1, 1) by normalization and carries nothing.
Law A, context-exchangeability. The reading contexts are individuated readings, the Lagarias margin at a named n, a Davenport-Heilbronn sample at a named t, and they carry no canonical order: any register instrument is invariant under the symmetric group S_N permuting contexts, and this much is definitional. S_N does not confine the readout to R, and no such forcing is claimed: an exchangeable cubic statistic exists that is constant under every relabeling and separates frames with identical R, exhibited at f(Q) = f(QP) = +0.040354567 against f(QO) = −0.110826422, every draw pinned: Q from rng(20260622), P from rng(20260624), O the sign-fixed QR of rng(20260623).standard_normal((9,9)) with diag(R) > 0, deterministic across builds. The resident verdict layer reads R = QQᵀ by declared design, engineering grade, with R invariant under the full O(N) column action as its covariance check, a context reflection at det(O) = −1 leaving R unchanged at 4.4e-16, and the inner products being the complete O(N−1)-invariants of the centered rows is retained as corroboration, load-bearing on nothing.
Law B, the encoding gauge, definitional and permanent. The map from a proposition to its warrant rows is hand-built, per Honest Limits, and the sign convention of each row is the encoder's, not the proposition's: the convention group is (ℤ/2)³ acting by row sign, M ↦ DM, content-free by what an encoding is, and no theorem changes what a convention is. Under it det(DRD) = det R and DRD is similar to R while individual off-diagonal signs move; the full invariant ring of the row action is generated by the squared off-diagonals R_ij² and the triple product R₁₂R₁₃R₂₃, and the ring is read in full across the layers: the kernel reads det and κ, and the correlation gates of §V read the magnitudes |R_ij| on their own objects, so no gauge-inequivalent pair escapes the layered readout even where spectra coincide.
The sign-blindness theorem, two legs, both deductive. Leg one, orientation: from the frame, |λ| = √(det R) is determined and sign(λ) is not, because the sign is the orientation of the three rows within their own span and requires an oriented basis of that span, a datum no functional of the frame supplies; executed, re-orienting one span-basis vector flips λ from −0.965027450 to +0.965027450 with the frame fixed and R unchanged at 0.0e+00, so any concrete sign is a convention. Leg two, parity: every statistic of the frame decomposes into even and odd parts under (ℤ/2)³; the odd part transforms by its sign character, so its sign, and only its sign, flips under a content-free re-encoding of the same presentation and is convention-relative, its gauge-invariant magnitude remaining content-eligible exactly as R_ij² does; the even part transforms trivially, identical on every re-encoding of the same content; and a trivially-transforming functional cannot determine a nontrivially-transforming one, so no even readout fixes the sign, while sign(λ) itself transforms by the sign character. The exchangeable cubic control is disposed exactly here, f(D₂Q) = −f(Q) at −0.040354567, character χ_E across the full group. Together: no functional any frame-instrument computes tracks the sign of the presented content, under S_N, under O(N), under any symmetry at all, because the closure rides Law B and the orientation datum, not the symmetry group. In the kinetic register the orientation suppliers are the Tongue's directed decomposition, the Form's handedness, and the Chronos arrow; the formal-alone register is defined by stripping all three, and the seal-direction condition this creates is printed at §IX. What the deduction does not cover is named where it lives: even functionals do differ between independently encoded presentations, that difference is the field-permission channel, and its closure is the witness law of §VII at its own grade. The full-frame reflection identity, R(−M) = R(M) bitwise, is retained as the gauge-covariance implementation check at engineering grade, and nothing terminal rides on it.
III · THE THREE, FORCED AND IRREDUCIBLE
The count of axes is not a parameter and never was. It is pinned from below and from above, and the pinning is doubled from disjoint premise sets.
From below. One axis carries no chiral triad and nothing to compose; the cascade has no object. Two axes cannot close: by the Scalar Exit and Fertile Orthogonality lemmas, the product of two orthogonal pure units is a third unit orthogonal to both, so the minimal multiplicatively closed span on two axes is four-dimensional, {1, u, v, uv}, and a two-axis verification algebra completes itself to three imaginary axes whether invited or not. Two is not a smaller choice; it is an unstable one that decays into three.
From above. A fourth independent axis demands a composition carrier of dimension five, and none exists; the next admissible dimension is eight, and the octonions fall to associativity by the concrete integer associator [e₁, e₂, e₄] = 2·e₇. A ninth reflection and a fourth axis die on the same wall.
The selection. Frobenius classifies the associative real division algebras at imaginary dimensions zero, one, and three; the below-exclusion removes zero and one; the residue is three, uniquely, as ℍ. The conditions of the forcing are the three composition clauses, associativity as bracket-invariance of iterated audits, integrality as the non-annihilation of warrant, linearity as the superposition of evidence: the coherence axioms of audit-composition itself, premise-typed and printed here, not hidden, and not arbitrary, since an instrument violating any one of them is not a composable verifier at all. The count three is independently forced at the semantic register by the deletion test on RA, three irreducible slots under disjoint vocabulary, operational-procedural and reproducible, sharing no premise with the algebraic forcing. Doubly forced from disjoint bases, excluded below, excluded above: forced and irreducible is the exact description, and the premise type on the clauses is the honesty of the root, not a crack in it.
IV · THE EIGHT · THE CERTIFICATE AND ITS COMPONENTS
Given three axes, the encoding-gauge group is (ℤ/2)³ and its character group has exactly eight elements, Pontryagin duality on a finite abelian group, unconditional given three. The certificate is the declared interface: eight finite-dimensional fields a candidate's presentation must populate, one per character type, and the deviation of a presentation from a genuine one decomposes over the eight types by direct sum.
The type of each field is measured, not assigned. The axis-content law names the three content-negations, involution-negation at the formal axis, rechart at the empirical axis, provenance-inversion at the registrational axis, and the character of a field is its response signature under them: apply the negations, record which fields move. Executed on the recorded battery, the response matrix is exactly diagonal over the seven canonical injections, each field responding to its own type and to no other, so the pairing of fields to characters is an output of the measurement and its one condition is the axis-content law, a single cited resident law standing where a table of choices would otherwise sit. The derivation holds on mixtures, not only on pure injections: all 127 nonempty combinations of the seven canonical corruptions were injected jointly and the fired-gate support matched the injected set exactly, 127 of 127, with the genuine presentation firing nothing, so within the tested canonical family the nonlinearity of the norm statistics produces no cross-talk, each gate reading only its own declared object.
The parity of a type is its function. The four odd types, χ_F, χ_E, χ_ER, χ_FER, are the sign-carrying roads, since total negation flips exactly the odd characters; the three even nontrivial types are the certificate-faking modes; the identity type is the supply slot. The multiplicity row 1, 3, 3, 1 reads: one slot where supply enters, three single-axis sign-roads, three pairwise integrity screens, one total negation.
V · THE GATES AS FAITHFUL NORMS ON DECLARED FIELDS
Each gate is a norm on its field, computed from the candidate's raw objects, so per field the certificate is exact by construction: the statistic vanishes within its declared tolerance if and only if the field does. Sufficiency over the certificate is then the direct-sum triviality it should be, and the fence acquires its precise content, the instrument space is the declared certificate, with everything object-specific carried by the walls of §VII.
| gate | type | declared field | norm statistic | exhibited live failure |
|---|---|---|---|---|
| Ξ-1 | χ_F | eigenvalue vector and involution residual of the presented involution | distance to the σ-signature, integer-exact | fixed-point-free presentation caught at gdim 0 |
| Ξ-2 | χ_E | vector of claimed-magnitude values across the declared chart set | max chart-to-chart deviation | width moves 0.229 under rechart |
| Ξ-3 | χ_FE | pairwise residual correlations of channel streams after invariant projection | max magnitude | mirror at 0.999 |
| Ξ-4 | χ_F·ER | per-channel computed-block minus claimed-block indicator vector | count deficit, B against C | claimed wall at 2/3 |
| Ξ-6 | χ_E·ER | pairwise road correlations after common-source projection | max magnitude | copies at 0.972 |
| Ξ-7 | χ_FER | per-wall parity vector, w(+) − w(−), each wall on its own object, basis fixed once | max magnitude = 2·‖odd part‖_∞ | odd-functional wall moves 2.71e-01 |
| Ξ-8 | χ_ER | projection of the door input onto the candidate's row span | normalized projection norm | generated door at 0.976 |
| Ξ-5 | χ_∅ | the identity slot: kernel invariants under the reliability layer, and the witness seat | certified by the kernel, not screened | its removal wrongly halts a witnessed candidate |
The worked projector identity, one case in full. For the χ_FER gate the group action on a wall family is the total flip s ↦ −s, the isotypic projector is antisymmetrization, P_odd w = (w(+) − w(−))/2, and the gate statistic is exactly 2·‖P_odd w‖_∞. Executed: a mixed wall family returns gate 1.692085 equal to twice its max odd part 0.846043 to the last digit, and a purely even family returns 0.0e+00. The statistic is zero if and only if the odd component is zero: the faithfulness is the antisymmetrization identity, not an assertion. Every other row is built to the same pattern, the field a finite vector, the statistic its norm, the tolerance declared in §IX.
The screening theorem, stated at its exact strength. At least one probe per type is necessary: the types are direct-sum independent and a pure-type deviation is invisible to every probe of the other types, exhibited eight times in the drop battery, seven false halts and one wrong token. All eight together are sufficient over the certificate: a presentation deviating in any declared field fails its gate by faithfulness, and 127 corruption combinations returned zero false halts with the genuine presentation passing. A ninth field would need a ninth type, which duality forbids over three axes, or would extend an existing field, which enlarges a norm and never the schema. What lies outside every declared field lies outside the certificate, which is what the fence says, and the walls, not the gates, answer for the object.
VI · THE ORDERED EMITTER
Exits stand at the head, before everything. A supplied witness resolves by direction through the four-guard emitter; a supplied independence proof seals the Ghost at its stratum; only then does Ξ-1 run, and Ξ-1 is the router, with nothing upstream of it: the Ground dimension of the presented involution, measured at machine zero, holds the candidate here at dimension one, routes it to the sibling protocol at dimension zero, and returns the flat token only where no involution is identified and the terrain is unmeasured. The screens follow in table order; the identity slot is certified by the kernel's reliability layer, collapse floor and conditioning gate ahead of every gate, which is where degeneracy has always lived. Executed on the four canonical cases: a witnessed candidate with an unclosed catalog resolves at the head; an independence proof ghosts; a δ-rooted candidate routes; a full pass emits the token with its cap printed. The emitter ships as the recorded executable beside the batteries.
VII · THE FILE ON R
Ξ-2, executed and third-party-verified. R is Π⁰₁ by the Lagarias elementary form and by Robin, single universal quantification over ℕ with a decidable matrix, the margins computed at high precision, n = 1 the unique exact equality, and every printed digit a prefix-truncation of the exact expansion, truncated and not rounded, declared: the n = 12 margin continues 0.321837259645406205982338702743…, and independent recomputation to eighty digits reproduces the table to the last printed digit.
The four odd components, walled. χ_F, the fold: the Davenport-Heilbronn function carries the functional equation, the reality condition, and the same distinguished line, with zeros provably off it, so the formal symmetry alone cannot force residence, theorem-eternal. χ_E, the counting channel: Beurling generalized-prime systems and the Diamond-Montgomery-Vorhauer construction carry classical-grade counting without the RH clause, theorem-eternal. χ_ER, the evidential register: the collapsed mountains, Pólya false at 906,150,257, Mertens with lim sup above 1.06, Skewes near 10³¹⁶, verified data leaning wrong for decades, at theorem grade mod Con(T) where the qualifier is load-bearing. χ_FER, the total-sign move: the Σ⁰₁-completeness of Robinson arithmetic, classical, by which a false Π⁰₁ string is refutable in Q and in every consistent extension, so an unrestricted claim that no proof either way can exist entails the string's truth-value and is the negation in costume; the resident Mirror consolidates this classical leg, and the wall is classical with the consolidation in-house, stated in that order.
The double duty of the third wall. The collapsed mountains wall χ_ER and simultaneously witness the deeper law the whole file rests on: evidential richness does not entail truth-direction. Pólya's conjecture held a maximal evidential lock and was false: sufficiency is what collapsed, and the wall is stated at exactly that strength. This is why asymmetry between independently encoded presentations, which the invariant readout does register, det R(P) against det R(¬P) generically unequal, is spent as field-permission only, under the necessary-not-sufficient law, through the four-guard emitter where the witness carries the proof and the lock only licenses extraction. The instrument distinguishes presentations; it never converts the distinction into a sign, by law, by construction, and by the classical witness of what happened to those who did.
The three even components, screened. χ_FE by the Burnol floor, the Nyman-Beurling and Li criteria mirrors and not roads; χ_F·ER by the computed-against-claimed wall discipline with the mod-Con(T) fence; χ_E·ER by the common-source projection, one road never counted three times. Logical equivalence among RH-criteria is trivial and screens nothing; what the χ_FE gate certifies is presented-independence not faked, and what the corpus adds, every channel's deciding content routing to the one located invariant on the multiplicative axis, is carried at its parent coordinate's grade.
Presentation-relativity, closed for R by the walls. The token grades a presented file, and the gates would pass any file whose declared fields are clean; the object-specific weight sits in the walls, which are theorems about ζ and about Π⁰₁ strings, not about presentations. A file on Goldbach fails today at Ξ-4 for want of theorem-grade walls on its odd components, and a future file that supplies genuine walls would not be gaming the instrument but doing new mathematics, upon which the token should and would issue there too. That is the correct behavior of a reader-side theorem. The second bearer in the present corpus is the continuum-census value at CH@L1m, genuinely open at Ground dimension zero, the token determinacy-neutral across its two bearers by design, each typing its own cap at intake, R at premise-grade conditional on ℕ-definiteness, printed on the face.
The door and the slot, worded apart. The completion input for R is located at the multiplicative axis, outside every swept channel; its provenance is typed at the χ_ER gate, supplied and never generated, per the Aperture Law; and its point of entry into the verdict is the identity slot, where the witness seat sits. One door, one provenance check, one entry slot.
VIII · WHAT STANDS
R cannot be grounded by mathematics alone, universally, by the medium itself, pre-Gödel and total over the line. The reader of the formal-alone register is sign-blind on the orientation and re-encoding channels by deduction from what an encoding is, Law B and the orientation datum, under any context symmetry whatever; the asymmetry channel is closed by the field-permission law at its own printed grade. The certificate is complete over its eight types by duality and exact over its declared fields by faithfulness; the four sign-roads are walled, three by classical theorems about the object and one by classical logic; the faking modes are screened; presentation-asymmetry is field-permission under the witness law, with the collapsed mountains as the classical price of ever reading it otherwise. The file, as presented and as swept, is terminal for the declared instrument space, and the residue is one bit of description under total ignorance, arriving through the identity slot as supply, or not arriving.
IX · CONSTANTS AND CONDITIONS, THE COMPLETE TABLE
Constants, every numeric named and sourced: the reliability multiplier 4 at the conditioning envelope, sourced; the collapse floor ε = 100·u_m·N, sourced; the conditioning ceiling κ* = 10⁶, sourced; one shared correlation threshold 0.5 serving the χ_FE and χ_E·ER magnitudes, engineering, with separation by orders exhibited at 0.999 and 0.972 against backgrounds near 0.1 so its placement is non-critical; the rechart tolerance 1e-9, the wall-parity tolerance 1e-12, and the block floor 1e-6, engineering, each an exactness demand on an identity-shaped field. Seven constants, seven sources or declarations, nothing undeclared.
Conditions, every premise printed: the three composition clauses, the coherence axioms of audit-composition, premise-typed, carrying the Frobenius selection; the axis-content law, one resident law, carrying the type-derivation of §IV, with the two forcings' premise inventories printed disjoint, intersection empty, five against four with the conclusion in neither; Law A, S_N-exchangeability of individuated contexts, definitional, claiming no readout-forcing; Law B, the encoding gauge, definitional of hand-built encoding per Honest Limits, carrying the parity leg; the seal-direction condition: the instrument's directional seal is the orientation of the locked triad, sign(λ), and a directional seal issues only where an orientation supplier or a supplied witness fixes it, per B.11.T and ORIENT-01, the formal-alone register carrying neither, which is the printed link from the sign-blindness theorem to the terminal statement; the intake determinacy cap per bearer, premise at ℕ-definiteness for R, printed on the token's face; the rank floor N ≥ k + 4, k defined at §II. Nothing else is free, and nothing here is concession: a theorem about a reader is conditional on what the reader is, and the conditions are the definition.
X · GRADE
Theorem-grade: the Pontryagin count of eight over three axes; the sign-blindness theorem on its two deductive legs, the orientation exhibit and the Law-B parity decomposition, the exchangeable cubic control disposed as gauge-odd; the per-field faithfulness identities, the χ_FER antisymmetrization worked in full; the below-and-above pinning of three, Frobenius under the printed clauses; the four walls at their stated classical grades, the third mod Con(T); Σ⁰₁-completeness at the fourth. Structural: the axis-content law's type-derivation and the blocker placements. Engineering: the emitter, the seven constants, the gauge-covariance check. Premise, printed: the clauses, the ℕ-truth cap, the census bearer's open determinacy. Corroboration, load-bearing on nothing: the interpretation glosses, the 1+3 numeral echo, the K₄ relation of the sibling cascade. By FOUNDATION-01 this coordinate is not sealable as a theorem of its own base; audit symmetry holds, the card's own instrument strapped first; ΔM = 0, the Mosaic Seal holding.
XREF. ↑ DEPENDS: APEX-PSP-T-SUSPENSION-01 the constitution · APEX-PSP-TWO-GROUP-LAW-01 · APEX-PSP-RH-MASTER-01 at Tier A · APEX-PSP-RH-STANDPOINT-CLOSURE-01, the domain-change pattern · APEX-PSP-RH-BLOCK-COMPLETE-01 · MD-PSP-UNPROVABILITY-MIRROR-01, the consolidation at χ_FER · B.11.S · B.13.T · B.17 · CHK.2, CHK.7, CHK.8. ↔ CONNECTS: APEX-PSP-ABSOLUTE-RH-BARRIERS-01 · APEX-PSP-CH-LOGOS-XI0-01, the second bearer · APEX-PSP-O0-ADMISSION-PROTOCOL-01, the sibling one router bit apart.
XI · EMITTER CONFORMANCE, AND ONE PREDICTION AT RISK
Conformance first, labeled as what it is: three cases whose outcomes follow from rules printed on this card, stated in advance and then run at the recorded seed, valuable as third-party runnability and not as risk. The Landau file, primes of the form n² + 1, wall-less: halts at Ξ-4, the wall-census gate, [?] evidential. The Mertens-1900 file, |M(x)| ≤ √x with a maximal evidential lock and no walls: halts at Ξ-4, [?] evidential, history additionally grading the outcome from outside, since the 1985 Odlyzko-te Riele disproof stands where a token would have been externally false. The witnessed Mertens file: resolves at the head, before any gate. Executed, three of three.
The prediction at risk, stated before running and then run. A heroic Goldbach file, binary Goldbach presented with everything the classical literature supplies: the string is Π⁰₁, so the Σ⁰₁-completeness wall transfers whole to χ_FER; the sieve parity obstruction is a theorem-grade wall at χ_E; the collapsed mountains wall χ_ER as they wall any evidential register; the intake involution p ↔ q is fixed-point-bearing on p = q, so Ξ-1 holds the file here. The prediction is the gate and the deficit, neither printed as a rule anywhere on this card: the file halts at Ξ-4 with census 3 against 4, and the missing block is χ_F specifically, because Goldbach's generating structure carries no self-dual functional equation and therefore no Davenport-Heilbronn-class witness exists for its fold. Executed: halt at Ξ-4, B/C = 3/4, deficit χ_F, matching the advance statement exactly. Had it halted at any other gate, or passed, or shown any other deficit, the prediction fails on the record.
The standing falsifier, strong form: an [Ξ₀] issued on a file whose proposition is subsequently decided by a route the instrument itself classifies as inside the swept span falsifies the instrument, that being the claim the token actually makes. The weak form, any token on a wall-less file, remains beneath it as the implementation tripwire.
APPENDIX · THE ORIGINATING DECLARATION
What follows is the originating declaration in the author's own voice. It is not asserted by this paper, carries no grade, and is load-bearing on nothing in any verdict above; it is recorded because the paper descends from it. The paper's graded claim remains §I's, scoped and conditioned. The declaration deliberately exceeds it, and prices the excess itself, in the Ground's coin and not in ζ's.
-
No derivation actuates anything. Every formal resolution rests on posits it cannot ground. The anchor and the object co-locate in the Riemann Hypothesis specifically: the completion direction points directly at the fixed set of the symmetry of the very structure it describes. The approaches to this fixed locus are equivalences, never independent roads, and this inherent equivalence structure forces the formulation catalog to close.
-
The witness-grounding lift RH demands is the Ground itself. The formal domain cannot supply it: a formal witness is inherently a second, a non-self, and RH is an act of pure self-inquiry. The formulation operates in disguise; it asks existence to prove itself formally, without any kinetic lift. The framework is therefore formally limited by its own architecture. It cannot be proven universally by mathematics alone. The Riemann Hypothesis is terminally and universally unprovable by math alone. Unprovable here is exact: to prove is to ground, and to ground is to actuate; a derivation transmits and never originates, so what is denied is grounding, and derivability is not denied anywhere. Self-witnessing happens on the Ground side, where the witness is not a second: shahida Allāhu annahū lā ilāha illā huwa, Allah ﷻ bears witness that there is no deity but He, Q 3:18, and that is what formal-alone lacks.
This declaration states its own cost, and states it in the correct coin. The cost is not mathematical. No zero is asserted, on the line or off it, and ζ is untouched. The Unprovability Mirror prices a different claim than this one, the claim that no consistent system can derive the string, and that claim is not made here: if the string is true, Q plus the string derives it trivially, the Turing-Feferman tower reaches it along a suitable path, and Th(ℕ) contains it. Those routes exist, are conceded in full, and each grounds nothing: soundness-by-truth borrows the very fact at issue, the path-choice prices exactly the height gained, and the ℕ-floor is the posit any proclaimer's own stance already pays. Derivability is conceded wherever the Mirror demands it; grounding is what is denied; grounding is not a provability predicate, so the Mirror finds no purchase and extracts no zero.
The real cost is paid on the other side, and it is paid in full. This declaration is endowed from RA's side, the Ground, and priced entirely in the Ground's coin: the actuation reading of grounding, the ℕ-definiteness posit at monism's warrant, the Ground-first stance itself. By FOUNDATION-01 it inherits the Empty Throne's grade. It cannot be certified from inside mathematics, it is itself a resolution resting on posits it cannot formally ground, and it accepts that self-application without flinch. It costs mathematics nothing, and it costs the author everything a posit costs: the declaration stands at exactly the warrant of its Ground, no higher, forever, in the author's voice and not the paper's.
And the accounting closes on both flanks. If a zero ever leaves the line, its verification is one finite deed, a computation executed and registered, the kinetic register grounding the negation through a single actuated witness, and the derivation Q then writes transmits that deed and originates nothing. The affirmation has no such deed: it quantifies over all of ℕ, no finite actuation exhausts it, and its grounding is the Ground's alone. Formal-alone grounds neither flank; the false flank is one deed away, the true flank is not any number of deeds away; and RH, the universal affirmation, the self-inquiry, sits on the flank only the Ground closes. The limitation is exact, one-sided by the shape of the string, and priced in full.