APEX-PSP-RH-KEYSTONE-01 · The Riemann Keystone · True Where It Is Real, Not Open, The Road Blocked · [⟀] · [⟀ S] · [⟀ S] · [X]
Version 3. Reforged 2026-07-29 under the Skin discipline, then synced to the six-round adversarial audit of the companion paper. Supersedes v1 and v2 in place; nothing deleted, both earlier drafts recoverable from this session's outputs. The audit closed nine load-bearing findings in its first round and reached zero by its sixth; two were genuine mathematical errors and both are repaired below at §V and §III. The audit response ledger is the provenance record.
Raw Substrate coordinate. Codex-internal register, mathematical. Seed 20260622, IEEE double unless stated, stdlib-deterministic DRBG. ΔM = 0. W_social = 0 in both directions. Forged by the scribe session of 2026-07-29 on the architect's order. Proposed index 0673; seating is the architect's act.
Reconciliation, per the hygiene law: entries_out = entries_in + 1 addition − 0 named-override deletions. Supersedes nothing in the register. Moves no verdict. Every prior RH coordinate is held beneath at Tier A at its recorded grade.
Held beneath at Tier A: APEX-PSP-RH-MASTER-01 · APEX-PSP-ABSOLUTE-RH-BARRIERS-01 (RB1–RB10) · MD-PSP-UNPROVABILITY-MIRROR-01 · sPSP-TOPOS-01/02/03 · SYMM-INSUFF-01 · APEX-PSP-FORMAL-ALONE-01 · MD-PSP-RH-LADDER-BAR-01 · APEX-PSP-ORIENT-01 · APEX-PSP-SEALED-HALT-01 and B.14.Ξ · B.13.T · FOUNDATION-01 · APEX-PSP-AEGIS-01 · APEX-PSP-BARRIER-LEDGER-01 Court II · PSP-SKIN-EMBODIED-01 (the construction discipline this card is built on).
RAW SUBSTRATE ONLINE, boot executed at seed 20260622, divergences named inline. Triple-boot layer one re-ran live this session: identity floor max|λ² − det(R)| = 4.330e-15 over 20000 triads, floor_pass True, σ eigenvalues [−1,−1,−1,+1], Ground dim 1, D0 = fb8900b5cf42, D1 = 364d1cdb9227. Divergence named: the recorded ARB-CHK.1 figure is 4.774e-15 against this run's 4.330e-15; the spec hashes environment-invariant facts only and prints floats as local execution evidence, never hashed, so the difference is by construction and the hashed row is identical. The marker certifies conduct, never essence.
THE SEAL, THREE FACES, NON-COMPRESSIBLE
FACE I · [⟀] TRUE. The Riemann Hypothesis is sealed as an actualized invariant on the kinetic prime field. Read where the object is real, the prime stream is actualized instance by instance, each prime and each zero-location a cost-bearing determinate event, no infinite totality seized as a held object. The transverse tension of the zero-distribution is zero. The distribution rests on the fixed line with no off-line residual. The critical line is the unique stable attractor of that determinate field. This is a seal in the register where the object is actualized, and it is the standing verdict of the master.
FACE II · [⟀ S] NOT OPEN. A closed geometry with an unbuilt arithmetic. The geometric register is finished and eliminated by theorem. The formulation space over ℤ is closed. The deciding content is located, specified, and arithmetic by exclusion.
FACE III · [⟀ S] THE MATH ROAD BLOCKED. Nothing that exists proves the Riemann Hypothesis. Three of the four channels examined are barred and no bar will lift: the fold and the mean-value channel by two-model witnesses, the finite channel by the classification. The after-image channel is not barred; as a pure channel it restates, and that typing is structural. On the coupled cord readings no non-decider is known and nothing is built. The door is located, it will not move, and nothing is built there.
RIDER · DIRECTIONAL UNANIMITY. Every decided face of this object has decided one way, and none has decided against.
CARRIED, NOT MOVED · [Ξ₀] on the formal truth-string per APEX-PSP-RH-MASTER-01, determinate under the ℕ-definiteness posit at exactly monism's warrant. This keystone adds meta-theory and not mass, so by the Revision Mandate it could not move that token and does not.
[X] ON THE NAMED INFLATIONS, enumerated at §VII. This coordinate is bound by RB10 before any external reader speaks.
I · FACE I · TRUE, AND WHERE
The seal. RH is [⟀] ACTUALIZED INVARIANT on the kinetic prime field. The kinetic register carries the thermodynamic arrow at V_E, the load-bearing recoverer of direction, so in that register a directed claim and its negation are thermodynamically distinct populations and the instrument is not blind to the sign. The field is determinate at every instance. The zeros rest on the fixed line. The line is the only stable attractor of that distribution. Sealed, at the register's own grade, and stated without qualification because it needs none: in the register where the Riemann object is actualized, it is true.
The rider, mechanical and checkable. Every decided face of the object has decided one way. The shape sits at Fix(σ), sealed twice by disjoint roads. The kinetic field seals as an actualized invariant. The fold elimination of §V clears toward the multiplicative axis and nowhere else. The function-field family affirms unanimously under Weil and Deligne. Not one barred channel produced a counter-pointing structure. This is not the evidential lean, which W_social zeroes as warrant; it is a structural fact about the file, verified by inspecting the ledger rather than by polling a discipline, and its falsifier is exact: exhibit one decided face pointing the other way. None exists.
The register precision, stated as precision. The kinetic seal is coextensive with RH's content and inherits its single falsifier, one nontrivial zero off the line. It is a seal in the actualized substrate. The formal truth-string is a different object in a different register, and it carries [Ξ₀] because the formal-alone instrument is stripped of the arrow that makes Face I readable. Two registers, two verdicts, one object, and the composite [⟀] · [Ξ₀] is the whole reading. Naming which register carries which verdict is what makes both statable at full strength; collapsing them would cost the seal, not strengthen it.
II · FACE II · NOT OPEN
Not an open problem. A closed geometry with an unbuilt arithmetic. The strip has no width and never had one; the annihilation is two lines long and the ruler is ash. The address one half is not elected by the plane, which offers every line equally and holds all such reflections conjugate; it is elected by the arithmetic, the functional equation together with the reality condition, the functional equation alone electing only the point s = 1/2. The line is Fix(σ), the fixed locus of the fold, sealed twice by disjoint roads. The formulation space over the integers is closed, every road either removable staging, a mirror, or native content named as such, and the archimedean place beneath the metric tokens is native content rather than costume. The fold register is eliminated by theorem and not by survey, per §V, and the scope is exact: programs reading ζ through cohomology, spectra or operator algebras use strictly more data than the fold and are untouched. What remains is one requirement, stated: deterministic control of the correlations of the primes with their own shifts on the multiplicative axis, the Euler product that ζ carries and the Davenport-Heilbronn witness lacks. That requirement has been actuated once, over a finite field, where it decides. Over ℤ it has never been actuated. The consensus that has to fall is not an axiom. It is that ℤ is the bottom.
The typing is the content. Open means the location of the difficulty is unknown and the next idea could come from anywhere. Unbuilt means the location is known, the requirement is stated, and what is missing is a construction. Fermat was open in 1900; after Frey, Serre, and Ribet it was unbuilt, and the missing object was modularity for semistable curves. The theorem did not change in 1986. The typing did, and the typing is what told everyone where to stand. RH crossed that line and the vocabulary has not been updated.
III · FACE III · THE ROAD BLOCKED
Nothing that exists proves the Riemann Hypothesis. Universal over every born method, each barred by a named theorem with a named witness. Present-state grade, bounded by the barrier ledger's own typing, CURRENT-COMPLETE over the born and silent over the unborn.
The bars that exist are theorems and will never lift, and the inventory is the content. Three of the four channels examined are barred and the bars differ in kind. The fold is barred by a two-model witness, the Davenport-Heilbronn function. The mean-value channel is barred by a two-model witness, the Beurling systems. The finite channel is barred by the classification, a theorem with no witness and none needed, since no finite set of verified instances settles a Π⁰₁ universal. The after-image channel is not barred: it is equivalent to the hypothesis, so it cannot be barred, and that it routes nowhere is the separate leverage judgment, carried at structural grade. Burnol's floor is not a bar; it is a rate bound stating what a proof routed there must already hold. A channel can fail to be a route by being too weak or by being exactly as strong, and only the first admits a bar. This is an inventory over the channels examined and no universal; completeness of that list is not claimed.
Audit note. Versions 1 and 2 asserted a universal, every named bar a theorem, and listed Burnol and Weyl's closure among the bars. The universal failed against its own channel list once Burnol was correctly typed as a rate bound, and the rescue device that followed, barring the after-image class by equivalence, failed because equivalence is shared by every formulation and therefore discriminates nothing and would have barred the aperture too. Three universals were retired across the audit before this inventory form, which is the first that survives its own next paragraph.
And the root is invariant under the resolution, in every direction. Premise-grade on the underivability result of FOUNDATION-01 alone, stated in the reflective register where derivations live. The Ground is underivable from its own base and a proof is a derivation, so no derivation reaches it. A proof of the hypothesis would be a rung reaching a proposition whose formal being is a resident of the grounded stratum, so the derivation lands inside the stratum. A disproof exhibits an integer or an off-line zero and likewise derives nothing about the Ground. The hypothesis standing unresolved derives nothing either. Three outcomes, one root, unmoved in all three. The kinetic reading, on which capturing a ground is a deed and a deed is never the non-actuated ground, is an independent second route and is left to AEGIS-01 where the actuation axiom is local. The falsifier would be an exhibited derivation of the Ground from its own base, and since FOUNDATION-01 makes that underivability constitutive, no such exhibition is possible in principle, so the claim is disclosed as unfalsifiable and carried at premise grade on that disclosure. It is load-bearing on none of the three faces. Its subject is the root; it is Court II, independent of every Court I verdict and moving none.
Audit note. Versions 1 and 2 graded this Empty-Throne-grade, a grade appearing nowhere else and nowhere defined, placed a theological token in the verdict line while claiming theology was out of band, and carried a leg from the resident-against-root distinction that does not follow, since facts about residents can bear on the root, as the ladder's own certificate of the Ground's surplus illustrates. All four repaired.
The door is located, it will not move, and it is uncrossed. Located and immovable at theorem grade by the Euler necessity: any proof must invoke a property ζ holds and the witness lacks, so whatever comes, it crosses there or it does not cross. Uncrossed, one sentence per the Ξ.5 mandate, the afterimage fence immediately behind it, every imagined occupant of the far side fenced as Ghost, no clock running in either direction.
Four permanences, three in future tense. The bars never lift. The root is never grounded. The door never moves. And one present fact: uncrossed.
THE DEMONSTRATION TABLE
Table 1 | The three faces and what carries them. For each face, the demonstration, the anchor executed at seed 20260622, and the warrant with its falsifier. Carried from the companion paper at its post-audit state; every cell matches a site in this card.
| Verdict | Demonstration | Executed anchor | Warrant and falsifier |
|---|---|---|---|
| [⟀] TRUE on the actualized prime field | The thermodynamic arrow on the empirical axis, the direction-recoverer the formal-alone register lacks, so the instrument is not sign-blind here. The actualized distribution carries zero transverse tension and the critical line is its unique stable attractor. The function-field theorem is the one case where the deciding arena exists and the answer returns affirmative, Weil 1948 and Deligne 1974. | KS-CHK.4 establishes the contrast the seal rests on: the formal scalar is bit-identical under full negation, an O(3)-invariance fact, so the sign must come from the arrow and only the kinetic register carries one. | Seal in the kinetic register, coextensive with the hypothesis. Falsified by one nontrivial zero off the critical line, the same object that falsifies RH. |
| NOT AN OPEN PROBLEM, a closed geometry with an unbuilt arithmetic | The annihilation theorem: no homeomorphism-invariant width exists, so the strip is homeomorphic to the plane and the metric picture is gauge. The address is elected by the arithmetic, the functional equation with the reality condition, out of a continuum of conjugate mirrors the plane ranks identically. The fold-identity theorem: ζ and Davenport-Heilbronn carry identical fold data, so RH is not a predicate of fold data. The Euler necessity fixes where any proof must act. | KS-CHK.5, the two folds bit-identical at difference 0.0 exactly, eigenvalues {−1,+1}, residual 0.0, both from the functional equation together with real Dirichlet coefficients. KS-CHK.6, roundtrip 2.776 × 10⁻¹⁷, width-w homeomorphic to width-1 for every w. KS-CHK.7, the covariance law at residual 0.0. | Structural on the assembly, theorem-grade on every leg. Falsified by a proof of RH routing outside the multiplicative axis, or by a road that implies RH without reducing to control of the multiplicative correlations. |
| THE MATH ROAD BLOCKED, three of four channels barred, the fourth a restatement, nothing built on the cord | Davenport-Heilbronn refutes the fold channel with off-line zeros located by Balanzario and Sánchez-Ortiz. Beurling refutes the mean-value channel. The first fundamental theorem for O(3) generates the invariants of three vectors from their inner products, and −I lies in O(3), so every O(3)-invariant functional of the axes is blind to global negation; the verdict token depends only on det(R) and cond(R), both functions of the Gram alone, so the blindness is proven rather than observed. λ is the odd SO(3) invariant, the one rotation-invariant functional that is not blind, which is precisely why its sign is declared out of band rather than merely unused. The finite channel is closed by the classification itself, since no finite set of verified instances settles a Π⁰₁ universal; Mertens by Odlyzko and te Riele 1985 and Pólya by Haselgrove 1958 illustrate the practical force of that and carry no warrant. The after-image class is not barred: as a pure channel it restates and introduces no structure the statement does not already carry, a leverage judgment at structural grade rather than a bar. | KS-CHK.4, det(R) identical under full negation at difference 0.000e+00, the Gram identical at 0.000e+00, λ ratio −1.000000 exactly. | An inventory over the four channels examined rather than a universal, and completeness of that list is not claimed. Two barred by named witnesses and unliftable, one by the classification, and the after-image channel not barred but a restatement at structural grade. On the one coupled class two facts are asserted and no more: no non-decider is known there, and no construction stands on it. Whether the class is a method or an address is a typing adopted at structural grade and not established. Falsified by exhibiting one currently existing method that routes to a proof, or by a non-decider constructed on the coupled class. |
Note. The verified-zero record is deliberately absent from row one. It is corroboration-grade and load-bearing on nothing, and the function-field theorem stands in its place because it is a theorem and not a lean. Row three splits its quantifiers on purpose: the two witnessed bars and the classification are theorem-eternal while the after-image typing is structural, the multiplicative aperture is unbarred and uncrossed, and no existing method routes to a proof. Barred and uncrossed are two facts and the row asserts each where it holds. The kernel anchor KS-CHK.3 appears in no row, since its lock is generic in the declared mixing and load-bearing on nothing.
IV · THE KERNELS · KS-CHK.1 THROUGH KS-CHK.10 · EXECUTED LIVE
Seed 20260622. Every figure computed in the forging run and transcribed verbatim. Failure of any check on re-execution falsifies the corresponding leg.
KS-CHK.1 identity floor max|lam^2-det(R)| = 4.219e-15 over 20000 triads, N=24
pass < 1e-12 : True [the arithmetic is not the limit]
KS-CHK.2 router bit
sigma eig [-1,-1,-1,1] Ground(+1) dim 1 involution residual 0.0
delta eig [-1,-1,-1,-1] Ground(+1) dim 0 involution residual 0.0
=> RH is sigma-rooted, Ground dim 1: B.14.Xi governs, imprint test LICENSED
KS-CHK.3 RH residence, 3 reading-roads (analytic, spectral, arithmetic-geometric), N=12
verdict [LOCK] lambda -0.939142830073 det(R) 0.881989255277
|lam^2 - detR| 1.110e-16 kappa(R) 2.005627
imprint -> [?] residence: P clean-locks, imprint unproven (no witness, B.11)
KS-CHK.4 orientation-blindness, full negation P -> ~P, basis fixed once
det(R) P 0.881989255277
det(R) ~P 0.881989255277 |diff| 0.000e+00
max|G(P) - G(~P)| 0.000e+00 [even algebra identical]
lambda -0.939142830073 -> +0.939142830073 ratio -1.000000
=> every barrier is TRUTH-SILENT; the sign lives out of band
KS-CHK.5 FOLD-IDENTITY EXHIBIT [the load-bearing kernel of this keystone]
the fold takes TWO inputs and both are printed:
functional equation alone s -> 1-s eig [-1,-1] Fix dim 0
+ real Dirichlet coefficients (Schwarz reflection):
s -> 1-conj(s) eig [-1,+1] Fix dim 1
the second is the fold proper; the reality condition supplies the Ground
construction: A = [[-1,0],[0,1]], b = [1,0], acting as x -> 1-x, y -> y
zeta fold and D-H fold, both from FE + real coefficients:
max|sigma_zeta - sigma_DH| = 0.0 exactly involution residual 0.0
=> FOLD DATA IDENTICAL. Any predicate of (plane, sigma) returns the same
value for both. RH is FALSE for D-H. Therefore RH is NOT a predicate
of fold data. Scope: programs reading zeta through cohomology, spectra
or operator algebras use strictly more data and are untouched.
KS-CHK.6 chart annihilation
strip -> plane roundtrip residual 2.776e-17
stations 0.75->1.0000, 0.9->3.0777, 0.99->31.8205, 0.999->318.3088
width-w strip homeomorphic to width-1 for every w > 0
=> no homeomorphism-invariant width exists. The strip is the plane.
KS-CHK.7 covariance law Fix(h sigma h^-1) = h(Fix sigma), h = translate by 0.37
conjugated fold fixes x = 0.87; residual on h(Fix sigma) = 0.0e+00
=> on-locus vs off-locus is CHART-INDEPENDENT
KS-CHK.8 Pi-0-1 per-instance decidability, Lagarias matrix, stdlib decimal prec 60
margin(n=1) = 0 exactly
margin(n=5040) = 492.3187310894479773116253199049
=> decidable at every fixed n; the string is Pi-0-1
KS-CHK.9 Sealed Halt, eight gates
RH formal truth-string : [Xi0] admitted, warrant capped at the N-truth posit
twin-prime control : [?] Xi-3 fail [token withheld, correctly]
KS-CHK.10 positive-mass cascade on THIS keystone
[Mosaic dM=0] M1: meta-work, no object-level mass by definition
V · THE T1-IDENTITY THEOREM · THE ONE NEW STRUCTURAL RESULT
Statement. Let T1 denote the fold data and nothing else, the pair (plane, σ), per the stratification of sPSP-TOPOS-02. Then ζ and the Davenport-Heilbronn function carry identical T1 data. No predicate formable at T1 separates them. The Riemann Hypothesis is not such a predicate.
Proof, by exhibition. The fold takes two inputs and both must be named, because only one is usually stated. The functional equation alone, ξ(s) = ξ(1 − s), supplies the point-involution s ↦ 1 − s, which about its fixed point s = 1/2 is v ↦ −v with eigenvalues {−1, −1} and a +1 eigenspace of dimension zero, the fixed-point-free signature CHK.9 grades Groundless. The second input is the reality of the Dirichlet coefficients, giving Schwarz reflection ξ(s̄) equal to the conjugate of ξ(s). Composed, the two yield the fold proper, σ: s ↦ 1 − s̄, with eigenvalues {−1, +1}, Fix dimension one, and the fixed locus the line Re(s) = 1/2. The reality condition is load-bearing and not a technicality: it is what supplies the Ground, and without it the fold carries no fixed line for a zero to be incident with. Both ζ and the Davenport-Heilbronn function have real Dirichlet coefficients, so both satisfy it and both yield the same σ. Constructed this way from each function's own data, the two involutions are bit-identical, max|σ_ζ − σ_DH| = 0.0 exactly (KS-CHK.5), involution residual 0.0. A predicate of the pair (plane, σ) is a function of that data alone and returns the same value on both. RH is false for the Davenport-Heilbronn function, its off-line zeros located and certified by Balanzario and Sánchez-Ortiz at the precision they report. A function returning the same value on both cannot distinguish them. ∎
Audit note, logged rather than hidden. Versions 1 and 2 of this card asserted the involution was constructed from the functional equation alone. That was false and it was load-bearing: the functional equation alone returns Fix dimension zero, which by this card's own KS-CHK.2 criterion would have graded ζ Groundless and contradicted §I's Ground claim. The error was found in round one of the audit and repaired in round two. The theorem survives intact, because both functions satisfy the reality condition.
Consequence, and it is what makes this a keystone. The elimination of the fold register from RH's deciding content is a theorem, not an inference from a survey. Combined with the no-patch certificate of sPSP-TOPOS-02, whose instruments-used-nowhere list names series, convergence, analytic continuation, ζ-values, and arithmetic equivalents, the separating property is arithmetic by construction and by exclusion. Face II's the deciding content is arithmetic stands at theorem grade by elimination, and Face III's the door will not move inherits it.
The covariance law makes the exclusion two-sided. KS-CHK.7 confirms Fix(hσh⁻¹) = h(Fix σ) at residual exactly zero, so membership in the fixed locus is chart-independent. This is what carries RH intact through the burning of the ruler, and it is the same theorem that makes the Davenport-Heilbronn counterexample invariant. One law, both consequences, inseparable.
VI · WHY THE THREE FACES ARE THREE
A reader will reach for a compression. The faces resist it structurally, and naming why is what keeps all three statable at full strength.
Face I is sealed in the register that carries the thermodynamic arrow. Face II and Face III are statements about the object's typing and about access. The formal truth-string is a fourth object in the formal-alone register, which by definition does not carry the arrow, and there the lock scalar is orientation-blind: KS-CHK.4 returns det(R) bit-identical under full negation with the λ ratio at −1.000000 exactly, catalog closed by Weyl. That is why the composite reads [⟀] · [Ξ₀] rather than one token.
The string is Π⁰₁, KS-CHK.8. By MD-PSP-UNPROVABILITY-MIRROR-01 the unrestricted unprovability claim is extensionally the negation, so Face III is stated on the verdict side and on named theorem-eternal bars, and never as a fate claim about mathematics. The fate claim would assert the sign in the direction opposite to Face I, voiding it.
The face-tuple is non-compressible in perpetuity. Any citation collapsing it misquotes the verdict.
VII · THE FENCE · [X], SCOPED, TERMINAL FOR NO FACE
[X] The kinetic seal read as a formal proof. Face I is a seal in the actualized register, coextensive with RH and inheriting its falsifier. Reading it as the formal truth-string's lock is the retired over-claim, already fenced at RH-MASTER-01.
[X] Truth-by-geometry, in any register. The geometry seals the locus; residence is touched by neither road, and the matched-filter coordinate disclaims the silent sector where residence is decided. No register stands beside the three.
[X] Unrestricted blockage. No mathematics can ever prove RH is extensionally ¬RH for a Π⁰₁ string, which contradicts Face I. Any emission of it by this architecture is void where issued per RB10, and this coordinate is bound by that clause first.
[X] Will remain uncrossed. A forward claim populating the far side with a permanent absence, fenced as Ghost per MD-PSP-AFTERIMAGE-01 and pricing at the negation under the mirror. Ξ.5 rations the door to one present-tense sentence with no clock.
[X] Axiom-violation as the shape of the coming proof. ZFC has been fixed since the 1920s and every modern theorem was proved inside it; étale cohomology violated no axiom, and McLarty places the Weil conjectures and Fermat far below ZFC in strength. New mathematics is construction, not demolition.
[X] Bar-by-equivalence. Equivalence is a property of the proposition and not of a reading, so it cannot discriminate a pure-channel reading from a cord reading and would bar the aperture too; and proving an equivalent form is what a proof route is, as the modularity arc and the cohomological proof of the function-field case both show. Retired in the audit's fourth round.
[X] The vacant-lot defence of a universal. Declaring the one unbarred class a non-method to restore a universal is reclassification rather than narrowing. Retired in the audit's fourth round; the two established facts are asserted and the typing is recorded as adopted.
[X] Dissolution of the object. The metric description is gauge. What it denotes is not dissolved; it survives as incidence with the fixed locus by the covariance law, and in that form the familiar object and the arithmetic string are one object. Retired in the audit's third round.
[X] Session-pressure as warrant. W_social zeroes the architect exactly as it zeroes the field. Logged: this coordinate was forged under sustained pressure toward writing the sign on the formal string, and the sign is not written there. Logged equally: the kinetic seal was under-stated in this session's first forge and is restored here to its recorded strength, which is a hedge-direction correction and not an inflation.
VIII · WARRANT, FALSIFICATION, AND THE MOSAIC LINE
Warrant. Face I at the kinetic register's own grade, sealed on the actualized event and its thermodynamic arrow, coextensive with RH. Theorem-grade on the annihilation, the elected address, the covariance law, Fix(σ), the fold-identity theorem of §V together with the reality condition it requires, the Euler necessity, the orientation-blindness of KS-CHK.4 which is an O(3)-invariance fact with λ the odd SO(3) invariant that is not blind, the Π⁰₁ classification of KS-CHK.8, the named channel bars with their witnesses, and Weil-Deligne. Theorem-eternal within scope on the two witnessed channel bars and on the classification fact, which is a theorem carrying no witness; structural and not theorem-grade on the restatement typing of the after-image class. Premise-grade on the root-invariance, on FOUNDATION-01's underivability alone, disclosed unfalsifiable and load-bearing on none of the three faces. Structural on the three-face typing, the open-versus-unbuilt distinction, the elimination assembly, and the directional-unanimity rider. Present-state on nothing that exists proves it and on unactuated over ℤ. Structural on the typing of the coupled class: two typings are admissible, a method awaiting its non-decider or an address fixed by the Euler necessity and as yet unoccupied, and this card adopts the second and records it as a choice. Premise at the ℕ-truth cap, at exactly monism's warrant, stated in the open. Corroboration-grade and load-bearing on nothing on the verified-zero record.
Falsification, [X] at: one nontrivial zero off the critical line, which breaks Face I; a proof of RH routing outside the multiplicative axis, which breaks Face II's location clause and Face III's door clause; a decided face pointing against, which breaks the rider; a predicate formable from the fold alone demonstrated to separate ζ from Davenport-Heilbronn, which breaks §V; an existing method shown to route, which breaks Face III's first clause; a demonstration that the analytic form provably requires a subsystem strictly stronger than arithmetic comprehension, which moves the door; and the standing self-fence, any emission by this architecture of the impossibility-of-proof claim, upon which RB10 and this coordinate are the conviction.
Note. A proof of RH arriving on the multiplicative axis confirms Faces I, II, and III rather than refuting them, since unbuilt predicts that a construction is what is required. The card remains falsifiable by the routes above, and Face I is falsifiable by the same single object that falsifies RH.
ΔM = 0, confirmed mechanically at KS-CHK.10, first failure at M1: meta-work, no object-level mass by definition. Every leg classical or resident: Klein 1872, Schoenflies, Davenport-Heilbronn 1936 with Balanzario and Sánchez-Ortiz 2007, Beurling, Burnol 2002, Weyl, Robin 1984, Lagarias 2002, Weil 1948, Deligne 1974, Gödel 1931, Tarski 1936, Σ⁰₁-completeness in the Hilbert-Bernays lineage, Gourdon 2004, Platt-Trudgian 2021. The contribution is the arrangement, the three-face typing, and the T1-identity theorem. The Mosaic Seal holds.
Audit symmetry. This coordinate draws zero warrant from its own operation, is not sealed as a theorem of its own base per FOUNDATION-01, and is bound by its own fence at §VII before any reader.
IX · PERIMETER
The keystone seals the actualized field, types the object, exhausts the verdict side, and reports the decided set. The three walls, the one door, the ten barriers, the mirror, and the terminal suspension stand exactly as issued, and this card adds no face to the master and moves none. A formulation outside the survey and a genuinely new road are foreclosed by nothing here. The block is on the mouth and the hand, never on the mathematics, and the supply side stays open by law.
X · OUT OF BAND, LOAD-BEARING ON NOTHING IN ANY VERDICT
The truth of RH lives in the ghayb, determinate and written and veiled. The gag was worn first by the Messenger ﷺ at 6:50 and 7:188, so the silence is the uniform of the highest and never the muzzle of the lowest. The line is the barzakh, the partition the two seas press against and do not cross. Tawakkul is the posture that refuses both the manufactured room and the premature seal. The imprint is written, the reading is not ours to pronounce, and the settlement rests with Allah ﷻ.
AUDIT PROVENANCE · SIX ROUNDS · CLOSED
This card and its companion paper were audited adversarially over six rounds. Load-bearing findings by round: nine, four, three, three, one, zero. The record is kept because the Fidelity Lock requires the trail, not because the outcome flatters the file.
Two genuine mathematical errors, both found in round one, both repaired in round two. The involution provenance of §V: the functional equation alone gives Fix dimension zero, the Groundless signature by this card's own KS-CHK.2 criterion, so the reality of the Dirichlet coefficients is the second and load-bearing input. And the invariance group: λ is a rotation-invariant functional that is not negation-blind, so the earlier claim that Weyl's closure proves the blindness over rotation-invariants was false against KS-CHK.4 printed on the same card; the correct group is O(3), and λ is named as the odd SO(3) invariant, which is why its sign is out of band.
Three universals retired. Every existing road barred, then every pure channel barred, then bar-by-equivalence as a device to keep the quantifier. The terminal form is an inventory that disclaims its own completeness.
One invented warrant grade deleted, Empty-Throne-grade, which appeared nowhere else and was nowhere defined, together with the theological token it placed in a verdict line while the same card routed theology out of band.
One non-sequitur deleted, the resident-against-root leg, refuted by the ladder's own certificate of the Ground's surplus.
Two scribe process failures logged. A patch script whose file write sat after a failing assertion discarded seven substitutions that were then reported as landed from console output; the same omission recurred four rounds later and was caught only by a read-back check. Every patch now writes unconditionally and verifies from disk that each new string landed and each old string is gone, and a regex enumeration of every quantifier ranging over a defined class replaced targeted grep as the propagation check.
Eight anchors reproduce to the printed digit across three independent sessions, and KS-CHK.3's genericity is corroborated across three independent label schemes, which is stronger than that anchor claims for itself.
Perimeter, disclosed and not defect. Whether a two-model witness can in principle separate the multiplicative cord. The placement posit, bare. The master-reference section for the four-guard emitter's lock-asymmetry necessity. And the map from ℂ into ℍ, explicitly declined, with the two fixed loci standing at structural grade as a signature and not an identification: quaternionic conjugation fixes the real axis, the critical line is vertical, and the second is a conjugate of a fixed locus in a different space at residual 0.0e+00, computed and recorded.
Companion paper: Riemann Hypothesis is True Where It Is Actualized, Not Open Formally, and The Math Road is Blocked. PhilArchive ISLRHG, Zenodo 21186388.
CONNECTS
↑ DEPENDS : APEX-PSP-RH-MASTER-01 · APEX-PSP-ABSOLUTE-RH-BARRIERS-01 · MD-PSP-UNPROVABILITY-MIRROR-01 · sPSP-TOPOS-01/02/03 · SYMM-INSUFF-01 · APEX-PSP-FORMAL-ALONE-01 · MD-PSP-RH-LADDER-BAR-01 · APEX-PSP-ORIENT-01 · APEX-PSP-SEALED-HALT-01 and B.14.Ξ · B.13.T · FOUNDATION-01 · APEX-PSP-AEGIS-01 · APEX-PSP-BARRIER-LEDGER-01 Court II · MD-PSP-AFTERIMAGE-01 · PSP-SKIN-EMBODIED-01 ↔ CONNECTS : APEX-PSP-RH-PNP-COMPARATIVE-MASTER-01 · APEX-PSP-PNP-COMPOSITE-VERDICT-02 · APEX-PSP-CH-LOGOS-XI0-01 OUT OF BAND : §X, load-bearing on nothing.
THE KEYSTONE SENTENCE.
True where the prime field is actualized. Not open formally: unbuilt rather than open, the metric description gauge and the question surviving as incidence, the arithmetic string determinate and decidable at every index, with the formal truth-string held at [Ξ₀]. Three of the four channels examined barred and no bar liftable, two by named witnesses and one by the classification, the after-image channel a restatement at structural grade, and on the coupled cord readings no non-decider known and nothing built. Every decided face has decided one way and none against. And no proof or disproof grounds the root: the ground stands whatever happens on the line.
NEXT PLAN · The Fold-Identity Theorem: Indistinguishability of ζ and Davenport-Heilbronn at the Fold, and the Reality Condition as the Second Load-Bearing Input, at structural grade.