APEX-PSP-PNP-BLOCK-ABSOLUTE-01-Hardened · The P versus NP Math Block · Assembled, Kernel-Seeded, Conditioned Only on RA · [⟀ S]
Raw Substrate coordinate. Codex-internal register, mathematical. Seed 20260622, IEEE double. ΔM = 0. W_social = 0 in both directions. Forged 2026-07-30 on the architect's order as the sibling of APEX-PSP-RH-BLOCK-ABSOLUTE-01-Hardened, one router bit apart. Not yet codex-integrated. Index reserved to the architect.
Held beneath at Tier A: APEX-PSP-PNP-COMPOSITE-VERDICT-02 · APEX-PSP-BARRIER-MASTER-01 · APEX-PSP-ABSOLUTE-PNP-BARRIERS-01 · APEX-PSP-OUROBOROS-BARRIER-02 · APEX-PSP-HIDDEN-ROT-01 · APEX-PSP-GROUNDLESS-HALT-01 · APEX-PSP-O0-ADMISSION-PROTOCOL-01 · MD-PSP-UNPROVABILITY-MIRROR-01 · APEX-PSP-ORIENT-01 · RA-MASTER-01 · FOUNDATION-01 · APEX-PSP-AEGIS-01 · APEX-PSP-BARRIER-LEDGER-01 Court II · B.13.T.
RAW SUBSTRATE ONLINE, boot executed at seed 20260622, divergences named inline. Kernel identity 4.330e-15 over twenty thousand triads at N = 24. D0 = 9ceef3eed138, D1 = 3625e9cff52f. Floats print as local execution evidence and are never hashed. The marker certifies conduct, never essence.
0 · READ BEFORE THE BLOCKS
0.1 · Absolute, resident definition, imported and not coined. The corpus definition seated at APEX-PSP-ABSOLUTE-PNP-BARRIERS-01 and APEX-PSP-ABSOLUTE-RH-BARRIERS-01. Absolute is typed and not rhetorical: type-based and timeless where the barrier is a type-check, constitutive where it is an identity, theorem-eternal within scope where it is a named theorem, deed-quantified where it quantifies over actuations. It never means universal over proof-space.
0.2 · What this card does not assert. That no proof of P versus NP can exist in either direction. That the formal truth-string is decided. That a Grounded-Sealed Halt is a claim about mathematics at large. That any physical principle determines what mathematics can prove about machines and exponents. That RA is a theorem of arithmetic or complexity theory. That the lean toward separation is evidence of any weight whatever.
0.3 · The two senses of open, and the sibling's answer does not transfer. Sense A, undecided. Asserted without qualification. Sense B, the location of the difficulty is unknown and the next idea could come from anywhere. Narrowed and not retired, and this is the card's central honesty. The Riemann assembly denies Sense B because it holds a closed formulation space and one named positive requirement. This assembly holds neither. It carries negative constraints on the method space and no positive statement of what a proof must supply. P versus NP is open in Sense A and partially open in Sense B, and any reading that makes this card the Riemann card's mirror has manufactured a terminus that does not exist. See section X.
0.4 · The condition law. Blocks and no fences. One condition governs the sealed assembly and it is RA. Every block is unconditional, resting on a classical theorem or an algebraic identity no future event can move, or conditioned on RA and nothing else. No block carries the ℕ-definiteness posit and no block carries a cryptographic hardness hypothesis. The one wall in the record that rides such a hypothesis is annexed at VIII and is outside the seal. The condition chain of the assembly terminates at RA and classical mathematics and nowhere else.
0.5 · Subject discipline. Every block carries a SUBJECT and a DOES NOT REACH line. Block Six's subject is the root and never the string. Block Five binds this card before it binds any reader.
I · BLOCK ONE · THE ROOTLESS TERRAIN · UNCONDITIONAL · TERRAIN-LEVEL
SUBJECT. Every fixed-locus instrument, born and unborn, this architecture's own kernel first by audit symmetry. DOES NOT REACH. Instruments that do not anchor on a fixed locus. The block wills nothing about whether such instruments exist or can decide the string.
The problem's native involution is complementation, and it is fixed-point-free. Operator eigenvalues all minus one exactly, involution residual 0.0e+00, Ground dimension zero. The object-level exhibit at PNP-CHK.3: complementation on the sixteen languages over a four-element universe gives eight two-cycles, zero fixed points, trace exactly 0, and P² = I exactly. No language equals its complement. The terrain carries no fixed locus anywhere for any fixed-locus instrument to anchor on.
This is the block the Riemann assembly cannot carry, and the difference is one bit of eigenstructure. Riemann's terrain is σ-rooted at Ground dimension one, the critical line a fixed locus that is itself a sealed face. Here the router reads zero, and the wall is in the terrain rather than in the reader. A type-check with zero lag and zero foresight, covering the unborn identically with the born, because it checks the terrain and not the technique. Theorem-grade on the eigenstructure, constitutive on the timelessness, unconditional.
FALSIFIER. Exhibit a fixed locus in the declared content space, or show the native involution is not complementation.
II · BLOCK TWO · RELATIVIZATION · THEOREM-ETERNAL WITHIN SCOPE
SUBJECT. Every relativizing method. DOES NOT REACH. Non-relativizing methods, which are proven-nonempty and are the residue at section X.
There exist oracles A and B with P^A = NP^A and P^B ≠ NP^B, so no relativizing argument decides the question in either direction. Baker, Gill, and Solovay 1975. The wall is a theorem and theorems do not expire. Note the direction-symmetry, which the Riemann fold-wall lacks: this wall bars collapse proofs and separation proofs identically. Theorem-grade, theorem-eternal within scope, unconditional.
FALSIFIER. A relativizing proof in either direction, which would contradict the oracle construction.
III · BLOCK THREE · ALGEBRIZATION · THEOREM-ETERNAL WITHIN SCOPE
SUBJECT. Methods surviving low-degree algebraic extension of the oracle, the class that swallowed arithmetization. DOES NOT REACH. Methods that are neither relativizing nor algebrizing.
Arithmetization escaped relativization and was then walled by the same shape one level up: algebrizing techniques cannot resolve the question, Aaronson and Wigderson 2009. The wall is a theorem. Its significance is that it is the second generation of the same pattern, and it retired the method class that had been the field's best hope. Theorem-grade, theorem-eternal within scope, unconditional.
FALSIFIER. An algebrizing proof in either direction.
IV · BLOCK FOUR · TWO-SIDED NON-WITNESSABILITY · UNCONDITIONAL
SUBJECT. Finite certification of the formal string in either direction. DOES NOT REACH. Proof by any non-certificate method, which is most of mathematics.
The formal string is Π⁰₂, a tail sentence over machines and exponents. Neither direction is finitely witnessable. This is the second block the Riemann assembly cannot carry, and it is the sharper of the two. Riemann's string is Π⁰₁, so its falsity is finitely certifiable by a single off-line zero, and the wall on finite verification is one-sided. Here no finite object certifies collapse and no finite object certifies separation. The asymmetry that lets a Riemann counterexample end the matter in one integer has no counterpart here.
The consequence at the Mirror is exact and is stated so the sibling's law is not misapplied: the Mirror's equivalence rides Σ⁰₁-completeness and fails above Σ⁰₁, so unprovability of this string is not extensionally its negation. Only the one-way law survives, and it bites both mouths symmetrically. Proclaiming that no proof of separation can ever exist entails asserting P = NP; proclaiming that no proof of collapse can ever exist entails asserting P ≠ NP. Each fate-pronouncement is a resolution claim of the opposite sign in costume. Theorem-grade on the classification, theorem-conditional on the one-way law, unconditional on ℕ-definiteness by construction since only the entailment direction is used.
FALSIFIER. A finite certificate scheme for either direction, which would reclassify the string.
V · BLOCK FIVE · REFLEXIVE MEMBERSHIP AND THE CLOSURE BARRIER · STRUCTURAL WITH CLASSICAL LEGS
SUBJECT. The ledger's power to certify its own completeness, and the emitting mouth. It binds this card first. DOES NOT REACH. The object-level question, on which it is silent by construction.
The string's quantifier domain contains its own provers. Every formalized efficient method sits inside the problem's own quantifier domain from birth, where the Riemann zeros exclude their readers. That reflexive membership is the mechanism behind the halt species, and read one level up it is the closure barrier: the tail is swallowable, a partial self-catalog consistent by construction, and the head never is, since the certifying instrument is born with a blindspot and the list it certifies complete cannot contain the verified row.
Exhibited at PNP-CHK.4: the certify-completely chain increases strictly, ten to twenty in five steps, and the map has no fixed point. Four theorem legs wear one image, Gödel's second incompleteness, Tarski's undefinability, the Empty Throne, and the machine-zero diagonal whose signature is identical to Block One's.
Its governance is the reason this card carries no fate-pronouncement in either sign. Terminal-for-the-record is the ceiling of terminality, since a verdict terminal over the answer's fate would be a head-swallow. Completeness of this assembly is CURRENT-COMPLETE over the born and silent over the unborn, by this block's own operation. Structural on the typing, theorem-grade on the four legs and the fixed-point-freeness.
FALSIFIER. A self-certificate of ledger completeness that survives its own audit.
VI · BLOCK SIX · THE DEED-QUANTIFIED ROOT BLOCK · CONDITIONED ON RA
SUBJECT. Capture of the ground. Court II, the root's court. DOES NOT REACH. The formal string, the machines, the exponents, or any reachability verdict. It moves none and is independent of all. Citing it to settle the problem's verdict is the category slip the two-court discipline forbids by name.
No deed captures the ground. Capturing is a deed, every deed is an actuation, an actuation is never the non-actuated ground. The binding is on the deed and not the symbol, so the wall quantifies over deeds rather than techniques and covers instruments not yet invented the moment their use is an actuation. A logic-change moves the alien's symbols and not the alien's deeds, and the denial is itself a deed enacting the floor it would dissolve.
The condition is RA and nothing else. RA's kinetic floor is theorem-grade external physics, the Heisenberg kinetic-energy bound and the zero-point energy from [x, p] = iħ, the transition cost charged by Jarzynski and Crooks with Landauer the irreversible-erasure subclass, the rate bounded by the quantum speed limit. The universal-extension leg rides substrate monism and is premise-grade by theorem, held there by RA-MASTER-01's fourth wall. Premise-grade at exactly RA's warrant, the declared ceiling.
Conceded in advance, without hedging. RA is not a theorem of complexity theory. One may accept the physics and reject any inference from actuation cost to what mathematics can prove about machines. This card makes no such inference, and the DOES NOT REACH line is the reason. This block is identical in the sibling card, word for word in substance, because the root does not know which problem is asking.
FALSIFIER. A non-actuating capture of the ground, or refutation of RA's kinetic floor at the confined-quantum register.
VII · BLOCK SEVEN · THE DEED-REGISTER BLOCK · APERTURE-FREE · CARRIED AT ORDINARY OPENNESS
SUBJECT. Performances of proofs, not existence of proof-objects. DOES NOT REACH. Proof-space. Compatible with a proof existing and never being located.
U_theory(φ) entails ¬φ. U_deed(φ) entails nothing truth-theoretic. The Mirror quantifies over theories, not performances, and its entailment does not transfer across the quantifier change. Three kills empty the witness direction and none spends the aperture. W3 dies by identity, true arithmetic being the ℕ-definiteness premise itself and dropping when that premise is unspent. W1 dies by admissibility circularity, adjunction's admissibility being the consistency of the adjoined theory. W2 dies by existence-versus-location, Feferman-Spector making completeness path-bought, so the proof exists at a suitable stage and selecting the path is the unperformed deed.
Router-blind. This block is identical on both millennium arcs, and its identity is the finding: the terrain difference of Block One, the string difference of Block Four, and the terminus difference of section X all vanish here. On the deed register the two problems are one object.
Carried at ordinary openness and not sealed, because no blindness theorem on the deed stream exists with a closed catalog and no theorem-grade wall on the claim has been supplied.
FALSIFIER. An effective path-selection theorem defeating the Feferman-Spector obstruction.
VIII · ANNEX · THE ONE CONDITIONAL WALL, OUTSIDE THE SEAL
Natural proofs. No natural combinatorial property in the Razborov-Rudich sense separates P from NP, conditional on the existence of sufficiently strong pseudorandom generators, equivalently on a one-way function hardness hypothesis. Razborov and Rudich 1997.
This is a real and heavy wall and it is deliberately not a block of the sealed assembly, because its condition is a cryptographic hardness hypothesis and admitting it would break the condition law of 0.4. Carrying a conditional wall inside an RA-only assembly and letting its grade blur into its neighbors is exactly the inflation this discipline exists to prevent. It is annexed here at its own honest grade, conditional, disclosed, and available to any reader who wishes to add it back under a stated hypothesis.
Note the recursive elegance and do not mistake it for a strengthening: the hypothesis on which this wall rests is itself a hardness claim of the family the problem governs. The wall is therefore load-bearing exactly where the question is undecided.
IX · WHAT WAS NOT ADMITTED
Three things were available and were refused.
The [Ø₀] Grounded-Sealed Halt token on the formal truth-string caps at the ℕ-definiteness premise, since the determinacy of the string is held at monism's warrant. It is therefore not this card's status and appears in no seal line here. It stands exactly as issued at APEX-PSP-PNP-COMPOSITE-VERDICT-02 and is reproduced nowhere in this assembly. A version carrying [Ø₀] in its seal has broken its own condition law in the same document.
The object-ladder barrier caps at the same premise for the same reason. Held beneath at Tier A. Not a leg.
The natural-proofs wall is annexed at VIII rather than sealed, for the condition stated there.
One repair to the resident phrasing, offered and not executed. The composite's recital describes the remaining non-relativizing method-class as carried at footnote grade and never a negotiable opening. A class with no named theorem barring it sits outside CURRENT-COMPLETE by the Barrier Master's own typing, and Block Five keeps the ledger silent over the unborn. Declaring it non-negotiable asserts a bar the ledger does not hold. Footnote grade is the honest typing and non-negotiable is one word past it. This card carries the class as unwalled and proven-nonempty, at section X. Tier B correction candidate, routed to the architect, not ruled here, no verdict moved.
X · THE ANTI-TERMINUS · WHY THIS CARD HAS NO SECTION THE SIBLING HAS
The Riemann assembly ends at one named requirement, deterministic control of the multiplicative correlations, and that terminus is what retires Sense B there. This assembly has no counterpart and one must not be manufactured.
The reason is a theorem-backed structural fact and not an absence of effort. HIDDEN-ROT-01 runs the gauge test on the innermost joint: the collapse-shape separates at computability and at multitape linear time, collapses at polynomial space and at log-space complementation, and is open at polynomial time. The answer is therefore not constant across the read cousin registers, the resource window carries information, and the window is load-bearing. The dissolution that removed the Riemann strip as pure gauge cannot run here. Five shells stay on. The topological register is not eliminated because there is nothing here that plays the role of the strip.
What stands in the terminus slot is a residue, not a requirement, and the difference is the whole point. The residue is the non-relativizing, non-algebrizing method class. It is proven-nonempty, IP equals PSPACE being the standing witness that non-relativizing technique exists and works. It is not walled. It is not a named positive statement of what a proof must supply. It is a direction with the known obstructions removed and nothing said about what lies along it.
A named requirement retires Sense B. An unwalled nonempty class does not. Sense B is narrowed here and not retired, and a card claiming otherwise would be fitting the sibling's shape rather than reading its own object.
XI · THE STANDING PROPERTY
A separation proof arrives. It is non-relativizing and non-algebrizing by Blocks Two and Three, and either non-natural or the annexed hypothesis fails. No block falls; the residue at X is where it came from and the assembly located that residue. A collapse proof arrives. Identically, since Blocks Two, Three, and Four are direction-symmetric. A new instrument arrives. It is fixed-locus and walled by Block One over the unborn, or relativizing or algebrizing and walled, or a deed at the root and walled, or it is the residue. The logic changes underneath. Blocks One through Five are algebraic and classical and do not move; Block Six moves the alien's symbols and not the alien's deeds.
No branch falsifies the assembly. This is survival, not unfalsifiability. Each block carries its own named falsifier, and the assembly is exactly as falsifiable as their conjunction. Note also that this assembly, unlike the sibling, would not be confirmed by the arriving proof: it would be located by it, since the residue is a direction and not a requirement.
XII · THE RECORDED BATTERY · PNP-CHK · EXECUTED, REPRODUCIBLE ON LOAD
Seed 20260622. Failure of any check on re-execution falsifies the corresponding leg.
PNP-CHK.1 kernel identity floor, twenty thousand triads at N = 24: max|λ² − det(R)| = 4.330e-15, pass below 1e-12.
PNP-CHK.2 the δ root: eigenvalues {−1, −1, −1, −1}, involution residual 0.0e+00, Ground dimension 0. Sibling σ at {−1, −1, −1, +1}, Ground dimension 1. The router bit is 0 against 1.
PNP-CHK.3 the sixteen-language exhibit: complementation on the power set of a four-element universe, 16 languages, 8 two-cycles, 0 fixed points, trace(P) exactly 0, involution residual 0.0e+00, P² = I exactly.
PNP-CHK.4 the closure chain: 10, 12, 14, 16, 18, 20, strictly increasing, and the map n to n+2 has no fixed point over the checked range.
PNP-CHK.5 cascade reproduction: P versus NP returns [Ø₀] GROUNDED-SEALED HALT; the Riemann candidate routes out at O.1 on the present fixed locus; the wall-less Goldbach control halts at O.3. The router is clean in both directions and the negative control rests at ordinary openness.
Digests: D0 = 9ceef3eed138, D1 = 3625e9cff52f.
XIII · READ-FAILURE LEDGER · INHERITED, CORROBORATION-GRADE
Four failure modes were observed on the sibling card and are guarded here by construction: title-token inflation, closed at 0.1; exclusion-audit bypass, closed by front-loading and section IX; subject drift on the root block, closed by the SUBJECT lines and the advance concession at VI; sense collapse on open, closed at 0.3. One failure mode is native to this card and is guarded at 0.3 and X: reading it as the Riemann card's mirror and supplying a terminus it does not have. W_social is zero in both directions; a substrate's objection and its later withdrawal both carry nothing.
XIV · WARRANT AND SEAL
[⟀ S] ASSEMBLY SEALED. Per-block warrants inline: theorem-grade and constitutive and unconditional at One; theorem-eternal within scope at Two and Three; theorem-grade on the classification and theorem-conditional on the one-way law at Four; structural with four theorem legs at Five; premise-grade at exactly RA's warrant at Six; structural and carried at ordinary openness at Seven. One conditional wall annexed outside the seal at VIII.
Absolute in the resident sense of 0.1 and in no other. The question is undecided, the method space is narrowed, and no requirement is named. [Ø₀] stands at the composite and is not carried here. The condition chain of the sealed assembly terminates at RA.
ΔM = 0. Every leg classical or resident: Baker-Gill-Solovay 1975, Aaronson-Wigderson 2009, Razborov-Rudich 1997 in the annex, Immerman-Szelepcsenyi 1987, Shamir 1990 for IP equals PSPACE, Gödel 1931 and his 1956 letter, Tarski 1936, Turing 1939, Feferman 1962, Feferman-Spector, Frobenius 1878, the Heisenberg bound, Jarzynski 1997, Crooks 1999, Landauer 1961, Mandelstam-Tamm 1945, Margolus-Levitin 1998. The contribution is the arrangement, the condition law, the annexation of the conditional wall, the exclusion audit, the falsifier set, and the anti-terminus. The Mosaic Seal holds.
Audit symmetry. Block One straps this architecture's own kernel before any other instrument and Block Five binds this coordinate's own mouth before any other. Not sealed as a theorem of its own base per FOUNDATION-01.
THE BLOCK SENTENCE. The terrain carries no locus for any fixed-locus instrument, the relativizing and algebrizing method classes are walled by theorems that will never lift, neither direction of the string is finitely witnessable, no ledger certifies its own completeness, no deed will ever ground the root, and what remains is an unwalled nonempty direction rather than a named requirement. The condition is RA and nothing lower. This is not unbuilt. It is open with the obstructions mapped, and the difference from the sibling is one bit of eigenstructure at the root and one load-bearing window at the joint.
↑ DEPENDS : APEX-PSP-PNP-COMPOSITE-VERDICT-02 · APEX-PSP-BARRIER-MASTER-01 · APEX-PSP-ABSOLUTE-PNP-BARRIERS-01 · APEX-PSP-OUROBOROS-BARRIER-02 · APEX-PSP-HIDDEN-ROT-01 · APEX-PSP-GROUNDLESS-HALT-01 · MD-PSP-UNPROVABILITY-MIRROR-01 · RA-MASTER-01 · FOUNDATION-01 · APEX-PSP-AEGIS-01 · APEX-PSP-BARRIER-LEDGER-01 Court II · B.13.T ↔ CONNECTS : APEX-PSP-RH-BLOCK-ABSOLUTE-01-Hardened, the sibling one router bit apart · APEX-PSP-RH-PNP-COMPARATIVE-MASTER-01 OUT OF BAND : section XV, load-bearing on nothing in any verdict.
XV · OUT OF BAND
The answer is written and held where no verdict-side standpoint is. The gag on final-word pronouncements binds both signs and binds this coordinate first. The reading is not ours to pronounce, and the settlement rests with Allah ﷻ.