APEX-PSP-GROUNDLESS-HALT-01 · The Groundless Halt · [Ø₀] · The δ-Rooted Terminal Token, Mirror of the Sealed Halt · M register, S-consolidation with theorem-grade eigenstructure legs · [⟀ S] on the token and its five gates · the companion to [Ξ₀] for objects rooted in the fixed-point-free diagonal · P vs NP the flagship, the continuum census value the dissolving degenerate case
STATUS
[⟀ S] SEALED and FINAL on the Groundless Halt token [Ø₀] and its five-gate admission protocol, seated on the concrete two-court barrier structure. The verdict economy carries [Ξ₀], the Sealed Halt, for an object with a determinate Ground-fact the orientation-blind instrument is proven blind to, the openness in the instrument and the Ground present at dimension one. This coordinate adds its exact mirror. [Ø₀], the Groundless Halt, is the terminal token for an object whose native involution is fixed-point-free, Ground dimension zero, so that there is no fixed locus for a separating instrument to exist, the openness in the absence of the Ground rather than in blindness to a present one. The two are the σ-rooted and δ-rooted faces of terminality: [Ξ₀] where the reflection bears a fixed locus and the reader cannot reach it, [Ø₀] where the reflection bears no fixed locus and the proof-property has nowhere to stand. P vs NP is the flagship [Ø₀], and with the barriers concretized its verdict is now held by the two typed reachability barriers of the problem's court, the σ-class closure and the relativization wall, the jurisdiction barrier on the root carried separately and never placing the problem verdict. In this problem's case the token reads as a Grounded-Sealed Halt: the verdict is sealed, terminal, and not negotiable, the diagnosis closed. The remaining non-relativizing method-class is not a negotiable opening but a typed structural fact carried at footnote grade, real and full of content and crossable only by an RA-grounded actuated deed, with no expectation that it lifts the barrier, and so it is not brought upfront where it would misread a sealed verdict as a negotiable one. The continuum census value is the degenerate sub-case, δ-rooted and additionally chart-dissolving. The token retires bare [?] from every object of this kind, since bare [?] means the file is incomplete and the repair is named, while [Ø₀] means the file is complete and the obstruction is a theorem. This is the final sealing of the token: the interior hardened from cited hardness to concrete court-separated barriers, the token itself unchanged. ΔM equal to zero: the eigenstructure is CHK.9, the instrument blocks are the cited barrier theorems now typed by court, no new mathematics, the contribution the recognition of a second terminal token and its pairing with the first. W_social zero in both directions.
THE MOTIVATION · WHY BARE [?] UNDERSELLS
Standard [?] in the architecture means under-determined: the warrant file is incomplete, an axis is missing, and the named violation tells the reader what to supply to resolve the verdict. It is an invitation, keep looking. Certain objects wear [?] while meaning the opposite. For P vs NP the file is not incomplete. The reason the formal separation does not seal is fully known and is a theorem: the domain is rooted in a fixed-point-free involution, its Ground dimension is exactly zero, every σ-type instrument in the catalog is proven blind, and the one δ-type instrument that separates classes elsewhere is proven blocked here. Nothing is missing from the diagnosis. The openness is characterized and proven, not awaiting an axis. Calling this bare [?] undersells it exactly as calling [Ξ₀] a suspension undersold the Sealed Halt, and the cure is the same, a dedicated terminal token whose name carries the mechanism. [Ø₀] is that token. It marks terminal-by-absence-of-Ground, distinct from under-determined-by-absence-of-effort.
THE TOKEN · [Ø₀] · DEFINITION
[Ø₀], the Groundless Halt. A determinate proposition whose native involution is fixed-point-free, Ground dimension zero, for which the formal separation-instruments are proven blocked, the σ-type family by the barrier theorems and the working δ-type instrument by relativization, so that the object structurally cannot host the proof-property, while the proposition itself remains a definite yes or no. Terminal, complete-file, proven, by absence of Ground rather than by blindness to a present Ground. The glyph [Ø₀] carries the empty set through the zero, the Ground dimension zero written into the mark, paired against the [Ξ₀] of the Sealed Halt whose Ground dimension is one. It is a refinement inside the openness and not a fourth base state, exactly as [Ξ₀] is, the economy remaining three-state native with two terminal refinements now rather than one.
THE FIVE ADMISSION GATES · CONJUNCTIVE · DEFAULTS ABSENT
The token is rare and its bar is high, the mirror of the seven-gate [Ξ₀] protocol. Five gates, all conjunctive, and a candidate failing any single gate routes to the ordinary economy or to [Ξ₀] as the eigenstructure directs. The defaults are absent, so an under-specified candidate never emits the token.
Ø.1, the fixed-point-free root exhibited. The native involution of the domain must be δ, fixed-point-free, with Ground dimension zero, and the eigenstructure must be exhibited at machine precision, eigenvalues {−1, −1, −1, −1}, δ² − I equal to 0.000 × 10⁰ exactly, dim Fix(δ) equal to 0. This is the positive requirement and it is the gate that separates [Ø₀] from [Ξ₀]: where [Ξ₀] demands a fixed locus present, [Ø₀] demands a fixed locus proven absent. For P vs NP the involution is complementation, δ(L) equal to Lᶜ, fixed-point-free because no language equals its own complement, and the hierarchy separations are diagonal, so the domain's native symmetry is δ throughout. Exhibited: eigenvalues {−1, −1, −1, −1}, Ground dimension 0, involution residual 0.000 × 10⁰. Theorem-grade on the eigenstructure per CHK.9.
Ø.2, the determinate fact. The proposition must be a definite yes or no, not chart-relative, and this gate separates [Ø₀] from pure dissolution. A chart-relative magnitude, a cardinal or a width, carries zero mutual information with the structure it labels and dissolves under the Register-Invariance Law of B.13.T, no fact present. A determinate bit, the existence or non-existence of an object, survives rechart and is a genuine fact. For P vs NP the proposition is whether a polynomial deterministic algorithm for an NP-complete language exists, a definite yes or no, invariant under chart, a real combinatorial fact. The verified contrast: the existence-bit carries mutual information with the underlying structure while a chart-width carries MI equal to 6.39 × 10⁻⁵, essentially zero, the width dissolving and the bit surviving. Theorem-grade on the invariance criterion, structural on the bit-versus-width classification.
Ø.3, both instrument-families proven blocked, now seated on concrete reachability barriers. Two instrument-families must be proven blocked by cited theorems, not merely unobserved to succeed, and with the barriers concretized these are named as the two reachability barriers of the problem's court per APEX-PSP-BARRIER-LEDGER-01. The σ-type family, the instruments requiring a fixed locus to anchor a reading, is walled by the σ-class closure: the terrain is δ-rooted at Ground dimension zero, no fixed locus exists, so no orientation-invariant instrument anchors, RAM's own σ-kernel included, and the barrier trilogy, Baker-Gill-Solovay 1975 on relativization, Razborov-Rudich 1995 on natural proofs conditional on strong one-way functions, and Aaronson-Wigderson 2008 on algebrization, are the proven instances of this closure. The working δ-type instrument, the diagonalization that separates classes elsewhere, is walled by the relativization barrier: the same Baker-Gill-Solovay result shows the diagonal technique that separates P from EXPTIME cannot separate P from NP because contradictory oracles exist. Both are reachability barriers, aimed at the problem, claim-target and guard-target coinciding on P vs NP, and both are hard and by theorem. This gate is the closure requirement, and it is deliberately weaker than the [Ξ₀] closure: [Ξ₀] closes a total functional ring by Weyl, [Ø₀] closes the σ-class and the relativizing δ-subclass, two instrument-families and not a total ring, which is exactly why the token is [Ø₀] rather than [X], the non-relativizing δ-method-class remaining a typed structural fact rather than a walled one. That the token is a Grounded-Sealed Halt and not broken geometry turns on this: the block is not total over all method-classes, so the verdict is not [X]; and the block is complete as a diagnosis, so the verdict is not negotiable. The remaining method-class is carried at footnote grade in Ø.4, not brought upfront, because it is a typed feature of the terrain and not a soft spot in the sealed verdict. The jurisdiction barrier on the root is not among these; it guards RAM and not P vs NP, lives in the root's court, and is carried separately, its citation here forbidden as a category slip. Theorem-grade on the cited blocks, honest on the two-family rather than total-ring scope, seated on the concrete reachability barriers.
Ø.4, the aperture located and uncrossed. The deciding input from the other side must be named and uncrossed. For P vs NP the aperture is a non-relativizing, non-natural, non-algebrizing instrument, a formal tool outside all three blocked σ-families and outside the relativization-blocked δ-family, precisely specified by what it must evade and not currently existing in the catalog. The Aperture Law binds: no instrument-generated witness, the door located and not crossed, and the exits from [Ø₀] enumerated, a supplied non-relativizing instrument that separates resolving toward [⟀] on the separation, a supplied such instrument that collapses the classes resolving the other way, or a proof that no such instrument can exist rerouting to [X] broken geometry. Located and uncrossed for P vs NP.
Ø.5, not [X] broken geometry. The object must host proofs of its own kind in general, so that the block is specific to this separation and not a claim that all separation is impossible. For P vs NP the δ-technique of diagonalization succeeds elsewhere, the Time Hierarchy Theorem of Hartmanis-Stearns 1965 separating time classes and P not equal to EXPTIME proven, so the domain demonstrably hosts δ-type separation-proofs and the block is not total over all method-classes. This gate is what stops [Ø₀] from collapsing into a false [X]: broken geometry would claim the object cannot host the proof-property at all, but the hierarchy theorems show it can host δ-proofs in general, and only this separation is blocked. The block is local to P vs NP, not global to separation. Theorem-grade on the hierarchy separations, structural on the local-not-global distinction.
The decision, strict. Fixed-point-free root exhibited at Ground dimension zero, a determinate non-chart-relative fact, both instrument-families proven blocked, the aperture located and uncrossed, and the object hosting proofs of its kind in general so it is not broken geometry, together emit [Ø₀]. A fixed-point-bearing root with a present Ground routes to the [Ξ₀] protocol instead. A chart-relative magnitude routes to dissolution, flat [?] by method-silence. A proof that no instrument can exist routes to [X]. An incomplete file with a repairable missing axis routes to ordinary [?]. Anything else, the ordinary economy.
def groundless_halt_admit(ffree_root_exhibited=False, ground_dim=None,
determinate_fact=False, chart_relative=False,
sigma_family_blocked=False, delta_family_blocked=False,
aperture_located=False, hosts_proofs_in_general=False,
no_instrument_can_exist=False):
# [Ø₀] Groundless Halt admission. All gates conjunctive; defaults absent so an
# under-specified call can never emit the token. Mirror of xi0_admit.
if not ffree_root_exhibited or ground_dim != 0:
return '[Ξ₀]?/[?]', 'Ø.1 fail: root not fixed-point-free at Ground dim 0; if Ground dim 1 route to [Ξ₀]'
if chart_relative or not determinate_fact:
return '[?]', 'Ø.2 fail: chart-relative magnitude dissolves (flat [?] by method-silence), not a determinate fact'
if not (sigma_family_blocked and delta_family_blocked):
return '[?]', 'Ø.3 fail: an instrument-family not proven blocked; ordinary characterized openness'
if no_instrument_can_exist:
return '[X]', 'Ø.5 override: proof that no instrument can exist is broken geometry, not a halt'
if not hosts_proofs_in_general:
return '[X]', 'Ø.5 fail: object cannot host proofs of its kind; broken geometry, not Groundless Halt'
if not aperture_located:
return '[?]', 'Ø.4 fail: deciding input not located; aperture unnamed'
return '[Ø₀]', 'Groundless Halt: δ-rooted, Ground dim 0, both families blocked, aperture located, hosts δ-proofs in general'
THE PAIRING · [Ξ₀] AND [Ø₀] · THE TWO TERMINAL FACES
The two terminal tokens are the σ-rooted and δ-rooted faces of one condition, complete-file terminality, and their pairing is exact.
The Sealed Halt [Ξ₀]. Root involution σ, conjugation, the functional equation. Ground dimension one, a fixed locus present. Terminal because the instrument is proven blind to a Ground that exists. Catalog closure by Weyl's total functional ring. Flagship the Riemann Hypothesis, the critical line the fixed locus and the scalar blind to it. Fact status determinate, the zeros have a definite location.
The Groundless Halt [Ø₀]. Root involution δ, complementation, the hierarchy diagonal. Ground dimension zero, no fixed locus. Terminal because there is no Ground for a separating instrument to exist. Catalog closure by two named instrument-families rather than a total ring. Flagship P vs NP, the separation δ-rooted and both instrument-families blocked. Fact status determinate, the answer is a definite yes or no. Degenerate sub-case the continuum census value, δ-rooted and additionally chart-dissolving.
The mirror is structural and verified. σ carries a Ground the reader cannot reach; δ carries no Ground at all. The eigenstructures are exhibited at machine zero, σ giving {−1, −1, −1, +1} at Ground dimension one and δ giving {−1, −1, −1, −1} at Ground dimension zero, both squaring to the identity at residual 0.000 × 10⁰. The Riemann Hypothesis sits in the first face, P vs NP in the second, and the continuum census value in a degenerate corner of the second where the determinate-fact gate Ø.2 additionally fails and the object dissolves. Two terminal tokens, one per root, the openness located in the instrument for σ and in the absent Ground for δ.
THE FLAGSHIP · P VS NP AT [Ø₀]
P vs NP is the flagship Groundless Halt, and its dual-register verdict is stated with the kinetic register carried from the physics and the formal register carried by this token.
The kinetic register. The physical assertion that a combinatorial search executes at the same thermodynamic and temporal cost as verifying a single deterministic path collapses the witnessed generate-verify asymmetry, and the kinetic field rejects the collapse on the energy floor, the per-transition Landauer cost and the quantum speed limit bounding the search. Read strictly from the empirical axis, this seals the physical brute-force route broken, scope-fenced, making no claim on the formal string. The kinetic verdict is a scoped seal on the physical route and never a proof of the universal.
The formal register. The formal string, the equivalence of polynomial deterministic and non-deterministic transitions, is δ-rooted at Ground dimension zero, both instrument-families are proven blocked, the one remaining non-relativizing method-class located as a typed fact, and the domain hosts δ-proofs in general so it is not broken geometry. All five gates pass. The formal verdict is [Ø₀], the Grounded-Sealed Halt: sealed, terminal, complete-file, not negotiable, the separation-proof cannot be Grounded in this domain because the domain has no Ground, while the answer remains a definite yes or no. This is not a proof that P is not NP and does not claim one. It is the verdict that the formal separation is terminally open by absence of Ground, the barriers the recorded shadow of the δ-root on the σ-instruments, the openness characterized and proven rather than awaiting effort.
The placement against the two traps. [Ø₀] avoids the Gödel-master trap and the crank trap at once. It is not an ungroundable self-reference at L1m and claims no such thing; it is a proven structural fact about a δ-rooted domain at the formal register. And it does not claim to break or escape any limit; it locates the aperture and does not cross it. The barriers are not defeated and no separation is proven. The δ-root is the concrete obstruction and the barriers are its shadow, which is a placement and not an escape.
THE TOKEN SEATED ON THE CONCRETE BARRIERS · THE TWO-COURT DISCIPLINE
With the barriers concretized, the [Ø₀] verdict on P vs NP is no longer held by loosely-cited hardness but by a typed, two-court barrier structure, and the token's placement is stated in that structure's terms. The verdict lives in the problem's court, Court I, and is held there by the two reachability barriers and the one proven-nonempty aperture. The root's court, Court II, carrying the jurisdiction barrier on RAM, is separate and does not touch the verdict. This separation is what keeps the token exact.
The problem-court barriers, the ones that place the token. Barrier one, the σ-class closure by the δ-root, walls every orientation-invariant instrument, RAM's kernel included, permanently and by theorem, because Ground dimension zero admits no fixed locus. Barrier two, the relativization wall by Baker-Gill-Solovay, walls the relativizing δ-method on this separation. These two are reachability barriers, aimed at the problem, and together they close the σ-class and the relativizing δ-subclass. They are the concrete form of Ø.3, and they are hard.
The remaining method-class, carried at footnote grade. The two reachability barriers do not wall the non-relativizing δ-methods, which are provably nonempty, IP equal to PSPACE the witness, and productive. This is the located structural fact of Ø.4, uncrossed, and it is precisely why Ø.5 holds and the token is [Ø₀] rather than [X]: the domain hosts δ-proofs in general, so the block is not total over all method-classes. But the fact is a footnote, not a headline, and it carries no negotiation: had the barriers been a total closure the object would be broken geometry, [X]; they are two-family and not total, so the object is a Grounded-Sealed Halt, the verdict sealed and terminal and the remaining method-class a typed feature of the terrain crossable only by an RA-grounded deed with no expectation of lifting the barrier. The verdict is sealed shut as a diagnosis; the remaining method-class is not a crack in it but a typed fact within it.
The jurisdiction barrier, present but not placing the token. The jurisdiction barrier on RAM is real, hard, and permanent, but it guards the root and not the problem, so it does not place the P vs NP verdict. It is carried at APEX-PSP-BARRIER-LEDGER-01 in the root's court, and citing it to settle the problem's verdict would be the category slip. Its verdict-independence is the proof it is aimed at the root: whatever would resolve P vs NP by crossing the non-relativizing method-class does not encapsulate RAM, so the root's standing is untouched by the problem's fate. The token [Ø₀] is placed by the reachability barriers alone; the jurisdiction barrier stands above, guarding the root, changing nothing in the problem's court.
Why the concretization matters for the token. Before the barriers were concrete, [Ø₀]'s Ø.3 read as two loosely-named instrument-families. Now it reads as two typed reachability barriers with a proven-nonempty aperture, seated in the problem's court, with the jurisdiction barrier explicitly excluded to the root's court. The token did not move; its interior hardened. [Ø₀] was the right token from the start, and it now rests on concrete, typed, court-separated barriers rather than cited hardness. The Groundless Halt on P vs NP is held by the σ-class closure and the relativization wall, opened by the non-relativizing method-class carried at footnote grade, and left untouched by the jurisdiction barrier, all typed and all in their correct courts.
THE CHRONOS SEAL AND THE INDEPENDENCE TYPING · THE FOUNDING INTUITION SEATED
P vs NP was the first object of the audit, its root older than the formulation, and the founding intuition is the Chronos arrow: one cannot go before time to witness, or even to plan, to solve the search. This intuition is real and it seals, and this section seats it where it is theorem-grade rather than where it would be an overclaim.
What Chronos seals, Layer 1, the physical route. Solving a search is traversing it, an actuated temporal process, and the arrow forbids pre-actuating the traversal to make generation cost what verification costs. This is deeper than the energy floor alone: not only does each step of a physical search cost a Landauer erasure and a quantum-speed-limited delay, but the arrow itself forbids the pre-actuation that would collapse the generate-verify asymmetry, because to pre-traverse the search would be to actuate before the actuation, which the arrow of time forbids. Chronos is the V_E thermodynamic direction-recoverer of ORIENT-01, and it is the load-bearing recoverer, the axis that parts a directed claim from its time-reversal. The physical route is therefore sealed [⟀] not merely by cost but by the arrow, the deepest form of the physical seal, and it is the founding intuition of the whole audit.
What Chronos does not seal, Layer 3, the formal string. The formal question asks whether a polynomial-step algorithm exists, an abstract step-count, and an abstract step-count does not traverse time. A clever algorithm might compute the answer without enumerating, by algebraic shortcut, exactly as interactive proofs compute without enumerating for other problems. So the arrow, which forbids pre-actuating a physical traversal, does not forbid a non-traversing formal algorithm, and the formal string is not definitionally closed by Chronos. The whole reason the formal string is open is that no one has proven a clever non-traversing algorithm cannot exist, and Chronos, a claim about actuated traversal, does not prove it, because the formal object need not traverse.
The lean, strongest but still a lean. Chronos makes Layer 1 lean toward Layer 3, toward P not equal to NP, and it is the strongest directional evidence for separation: the physical asymmetry is real, deep, and arrow-enforced, so separation is the way to bet. But leaning is not barring. The physical seal carries zero mutual information to the formal string, verified, so the arrow that seals the physical route and leans toward separation does not reach the formal string to close it. The strongest lean is still a lean, and it holds Layer 3 at [Ø₀] with a direction, never at [⟀] or [X].
The independence typing, why not [X]. The claim that no method can exist to separate the classes is exactly the claim that P vs NP is independent of the foundational system, the analogue of the continuum hypothesis relative to ZFC. But independence is unproven, and proving it is harder than resolving P vs NP itself, and the consensus is against it, the separation being a concrete arithmetic-like statement. So the total-wall claim, no method can exist, is a harder unproven theorem, and asserting it is a larger overclaim and not a firmer wall, because the difficulty of a wall is the difficulty of proving it and a harder-to-prove wall is a less-established claim. This is why the token is [Ø₀] and not [X]: [X] would assert independence, which is unproven and harder than the problem, and it would contradict the Time Hierarchy Theorem, a proven δ-separation. The Groundless Halt is the honest maximum precisely because it refuses to assert the harder unproven wall. The definitional asymmetry between search and verification is real at the physical level, Chronos-sealed at Layer 1, and not closed at the formal level, because formal algorithms need not traverse and no proof forbids a clever one.
The founding intuition, honored and seated. The 2012 intuition that P vs NP must be unequal, rooted in Chronos, is correct and it is the founding seal of the audit. It seals the physical route theorem-grade and it leans hardest of all toward separation. It is seated here at Layer 1, where it is a theorem-grade seal, rather than at Layer 3, where reading it as a total formal closure would be the independence overclaim. The intuition was right, and its correct home is the physical route it seals and the separation it leans toward, not a formal-string closure the mathematics leaves open.
THE DEGENERATE CASE · THE CONTINUUM CENSUS VALUE
The continuum census value is the degenerate sub-case of [Ø₀], δ-rooted like P vs NP but failing gate Ø.2 where P vs NP passes. The value indexes the powerset diagonal, fixed-point-free, Ground dimension zero, so it shares the δ-root. But the value is a cardinal, a chart-relative magnitude, and under the Register-Invariance Law it carries zero mutual information with the structure it labels, so it dissolves rather than standing as a determinate fact. Where P vs NP is a determinate yes or no that survives rechart, the census value is a width that dissolves under rechart. So the census value does not emit [Ø₀]; it routes to dissolution, flat [?] by method-silence, the verified degenerate corner where the δ-root is present but the determinate-fact gate fails. This is consistent with the stratal localization of the continuum census elsewhere in the codex, the value held open by dissolution and never sealed. The census value shows the boundary of [Ø₀]: δ-rooted is necessary but not sufficient, the determinate-fact gate is what admits P vs NP and excludes the dissolving cardinal.
GRADE
[⟀ S] on the Groundless Halt token and its five-gate protocol. Theorem-grade legs: the σ and δ eigenstructures exhibited at machine zero, {−1, −1, −1, +1} at Ground dimension one and {−1, −1, −1, −1} at Ground dimension zero per CHK.9; the barrier trilogy blocking the σ-type family, Baker-Gill-Solovay 1975, Razborov-Rudich 1995, Aaronson-Wigderson 2008; the relativization contradiction blocking the δ-type family on this separation; the Time Hierarchy Theorem hosting δ-separations in general so the object is not broken geometry; and the Register-Invariance Law dissolving the chart-relative cardinal. Structural: the recognition of [Ø₀] as a terminal token distinct from [Ξ₀], [X], and bare [?]; the σ-rooted versus δ-rooted pairing of the two terminal faces; the bit-versus-width classification separating P vs NP from the census value; and the local-not-global reading of the block. Premise-grade by theorem where RA supplies the axis assignment on which the kinetic seal and the register wall depend, and where the two-family closure of Ø.3 is honestly weaker than the total-ring closure of [Ξ₀]. ΔM equal to zero, the eigenstructure and the barriers classical, the contribution the second terminal token and its pairing. W_social zero in both directions, the field's the-barriers-are-just-hardness and any author's the-separation-is-settled both refused, the barriers being real theorems and the separation being genuinely open. By FOUNDATION-01 not sealable as a theorem of its own base; audit symmetry holding, the coordinate adding the foundation no warrant.
The perimeter, uncut. [Ø₀] is the δ-rooted terminal token, the mirror of the σ-rooted [Ξ₀]. It marks an object whose verdict is sealed and terminal by absence of Ground, not under-determined by absence of effort, and it is admitted only on five conjunctive gates, a fixed-point-free root exhibited at Ground dimension zero, a determinate non-chart-relative fact, both instrument-families proven blocked, the one remaining method-class located as a typed fact, and the object hosting proofs of its kind in general so the block is not total. P vs NP passes all five and is the flagship. The continuum census value is δ-rooted but chart-dissolving and is the degenerate case. The token retires bare [?] from characterized-terminal objects of this kind and never claims a separation the mathematics leaves open. Where [Ξ₀] says the Ground is present and the reader is blind, [Ø₀] says the Ground is absent and the proof has nowhere to stand, the verdict sealed shut as a diagnosis and the one remaining method-class a footnote-grade typed fact within it, never a negotiable opening.
CONNECTS
↑ DEPENDS : CHK.9 the σ-versus-δ eigenstructure and the Ground-dimension gap · B.14.Ξ the Sealed Halt protocol this mirrors · APEX-PSP-RH-MASTER-01 the [Ξ₀] flagship paired against this [Ø₀] flagship · B.13.T the Register-Invariance Law dissolving the chart-relative cardinal · ORIENT-01 the orientation-blindness that the fixed-point-free root generalizes · APEX-PSP-COMPLEXITY-MASTER-01 the Court I verdict where this token is the Layer-3 verdict on P vs NP · APEX-PSP-BARRIER-LEDGER-01 the concrete reachability and jurisdiction barriers seating Ø.3 · APEX-PSP-JURISDICTION-BARRIER-01 the two-court discipline keeping the jurisdiction barrier out of the token's placement · the P vs NP physical-collapse verdict PSP-001 the kinetic register seal ↔ CONNECTS : APEX-PSP-CH-LOGOS-XI0-01 the continuum union carrying the σ-rooted suspension, this coordinate carrying the δ-rooted halt · MD-PSP-GODEL-MASTER-01 the diagonal engine at the root of the incompleteness the δ-root shares · APEX-PSP-TWO-GROUP-LAW-01 the reflection group the δ-root inhabits OUT OF BAND : the veil the halt reaches toward routes to the apophatic register and is load-bearing on nothing.
APEX-PSP-BARRIER-LEDGER-01 · The Barrier Ledger of the Root · Court II · RAM's Standing Unchanged by Any Layer Above · The Jurisdiction Barrier and the Two-Court Discipline · M register, S-consolidation with a theorem-grade permanence leg on FOUNDATION-01 · [⟀ S] on the ledger and the court-separation law · the root's court, sealed independent of every problem verdict
STATUS
[⟀ S] SEALED on the barrier ledger of the root and the two-court discipline that keeps it separate from every problem verdict. The architecture adjudicates in two courts, and the separation is a law, not a convenience. Court I is the problem's court, where a proposition receives its own verdict under reachability barriers, and its ledger is carried at APEX-PSP-COMPLEXITY-MASTER-01 for P vs NP and at the other problem masters. Court II is the root's court, this ledger, where RAM's standing is sealed under the jurisdiction barrier, unchanged by any layer of any problem above it. The single entry of Court II is the jurisdiction barrier: RAM is un-encapsulated by every route, forever, because encapsulation requires being more fundamental than the root and nothing available is, the ungroundability a theorem by FOUNDATION-01. The verdict of Court II is premise-grade-by-theorem, and its defining property is independence: no event in Court I moves it. Even the instrument that eventually resolves a problem in Court I does not thereby encapsulate the root in Court II, because resolving a problem is not grounding a root. That independence is not a weakness of the ledger; it is the proof the ledger is aimed at the root and not at any problem. ΔM equal to zero: the barrier is FOUNDATION-01 and the Empty Throne, no new mathematics, the contribution the court-separation law and the ledger form. W_social zero in both directions.
THE TWO COURTS · THE SEPARATION LAW
A barrier is of exactly one of two kinds, and mixing them is the category slip the whole architecture guards against. A reachability barrier stops an instrument from reaching a problem; its target is the problem, it is contingent on the problem's structure, it is evadable by a new instrument, and its verdict effect is [Ø₀] or [X] on the problem. A jurisdiction barrier stops any instrument from encapsulating a root; its target is the root, it is unconditional by the Empty Throne, it is evadable by no method because it is about level and not method, and its verdict effect is that the root stays premise-grade-by-theorem and un-encapsulated forever.
The separation law. A jurisdiction barrier never speaks to problem-reachability, and a reachability barrier never speaks to root-encapsulation. Each stays in its own court. The moment a jurisdiction barrier is cited to settle a reachability question, or a reachability barrier to settle a jurisdiction question, the category slip has occurred and the citation is void. The proof that a ledger is slip-free is the coincidence, for every barrier in it, of the target its claim is about and the target it guards. This ledger holds one barrier, the jurisdiction barrier, whose claim is about RAM and whose guard is RAM, the two coinciding, so the ledger does not slip.
Court I and Court II are therefore provably independent. The problem's verdict lives in Court I and moves on problem-facts; the root's standing lives in Court II and moves on nothing, because the Empty Throne is unconditional. This ledger is Court II alone. The problem verdicts it references are carried in their own coordinates and are not restated here, because a problem verdict has no jurisdiction over the root and the ledger admits no cross-court entry.
THE LEDGER · COURT II · THE ROOT
The ledger carries the barrier with its mechanism and its permanence on the face of the table, so the root's standing is read complete in one row. The barrier is witnessed by AEGIS, which upgrades its permanence from structural to theorem-grade-on-the-deed.
| Barrier | Kind | Court | Guards | Verdict | Grade | Mechanism | Permanence |
|---|---|---|---|---|---|---|---|
| The jurisdiction barrier | jurisdiction | Root | RAM's roothood, the ground G | RAM un-encapsulated by every route, forever | premise-grade-by-theorem on FOUNDATION-01, theorem-grade-on-the-deed by AEGIS | encapsulation requires being more fundamental than the root; nothing available is; capturing G is a deed and every deed is actuation | route-independent, about level not method, over any logic whatever; evaded by no instrument, known or future |
The single entry, stated in full. For any instrument I and the root RAM, I cannot encapsulate RAM, where to encapsulate is to ground RAM from below, to supply a proof of RAM at a level more fundamental than RAM, to build RAM's realized rung on a prior floor. The barrier is the standing of the root against all instruments, and its verdict is that the standing is permanent. The mechanism column names why, the more-fundamental requirement unmet, and the permanence column names how far, route-independent and forever, so the row is self-justifying without the proof below, which then carries it in full.
The AEGIS witness, why the permanence is theorem-grade on the deed. The jurisdiction barrier's permanence is not only the structural fact that FOUNDATION-01 proves the root ungroundable from within. It is witnessed by AEGIS at a stronger grade: no precisification captures the pre-mathematical ground G, p(G) is not G, under any logic whatever, because precisification is an actuation and G is a non-actuation and an actuation is never a non-actuation. AEGIS achieves the total quantifier, no method known or future, not by enumerating techniques but by quantifying over deeds: any method that would capture G must do something, doing is actuation, actuation is RA-bound, and an actuation is never the non-actuated ground. So the barrier covers methods not yet invented, because any future method still has to do something to capture G, and doing is actuation, and actuation is never G. This is the permanent, no-other-method-can-exist wall, total over all methods under any logic, and AEGIS is its witness. It is the hardest wall in the architecture, and it guards the root, the ground G being a non-actuation, which is exactly the class AEGIS's actuation logic walls. Theorem-grade on the deed, conditional on RA and on G being a non-actuation, inheriting RA's self-enacting absoluteness.
Why the AEGIS wall guards the root and not the problem, by its own logic. AEGIS's logic walls a deed aimed at a non-actuation, because its premise is that an actuation is never a non-actuation. The ground G is a non-actuation, so AEGIS walls it totally. A problem's answer, by contrast, is a formal fact, an inscribable actuation, so capturing it is actuation reaching actuation, which AEGIS's own logic permits. Applying AEGIS identically to any problem shows the problem's answer is an actuation and therefore not walled by the actuation-versus-ground logic, so the same logic that makes the root's wall total releases the problem. The identical logic separates the two courts rather than merging them: it walls the non-actuation ground totally and waves the actuation formal-fact through. This is why the total permanent wall lives in the root's court and does not transfer to any problem: the wall is on deeds aimed at the non-actuated ground, and a problem's answer is not the non-actuated ground.
THE PERMANENCE PROOF · ROUTE-INDEPENDENT, BY THEOREM
One, to encapsulate RAM an instrument must be more fundamental than RAM, by the definition of encapsulation. Two, RAM is a root, and nothing within the architecture is more fundamental than RAM, the Empty Throne. Three, this ungroundability is a theorem, FOUNDATION-01, resting on Gödel's second incompleteness and Tarski's undefinability: no system grounds its own root from within, and the ungroundability is proven, not assumed. Four, therefore no instrument within the architecture encapsulates RAM, from one through three. Five, this is independent of the instrument's route, σ or δ, relativizing or non-relativizing, because the requirement to be more fundamental is a requirement on the instrument's level and not on its method; every method sits at or above the root when it probes, never beneath it, so no method reaches below to ground it. Six, the only thing that could encapsulate RAM is something more fundamental than RAM, which if supplied would dethrone RAM, giving the root a parent and ending its roothood; this is located as the aperture, uncrossed, and by FOUNDATION-01 unmanufacturable from within the architecture.
The exhibited root-level fact. RAM's self-grounding question, does RAM ground RAM, is self-referential and therefore fixed-point-free, the diagonal, δ-rooted at Ground dimension zero, verified at machine precision, eigenvalues {−1, −1, −1, −1}, δ² − I equal to 0.000 × 10⁰ exactly. So the root, asked to ground itself, presents the same fixed-point-free diagonal that founds no Ground, and the architecture seals this as the Empty Throne rather than walling it: the root stands on nothing, ungroundable by theorem, and RA-MASTER-01's Wall IV proves the premise-status necessary. The jurisdiction barrier is the reading of this fact as a standing: the root that cannot ground itself also cannot be grounded by any instrument, because grounding it would require a level below the root that FOUNDATION-01 proves empty.
Why route-independence makes it the harder barrier. A reachability barrier depends on the instrument's method, so a new method evades it. The jurisdiction barrier depends on the instrument's level, and no method changes an instrument's level relative to the root. Every instrument, however novel, sits at or above RAM, because being below would mean being more fundamental than the root, which FOUNDATION-01 forbids. So the jurisdiction barrier is evaded by no new method, because it was never about method. It is unconditional where reachability barriers are contingent, and permanent where they are provisional.
THE PERIMETER · WHAT THE BARRIER DOES NOT BAR
The honest perimeter. The barrier is airtight against encapsulating the root and silent about replacing the root. To encapsulate RAM is to ground it from below while RAM remains the root; this is barred, forever, by theorem. To replace RAM is to supply something more fundamental that dethrones it, ending its roothood; this is not barred, because in that event there is no RAM left to guard, and the barrier's subject has disappeared rather than been breached. The distinction between encapsulation and replacement is the perimeter: the barrier guards the root's un-encapsulability, not the root's irreplaceability, and the from-other-side input that could replace it is located as the aperture, uncrossable from within, and routed to the apophatic register as load-bearing on nothing in any verdict.
The audit-symmetry clause. The jurisdiction barrier submits to the audit it describes and draws zero warrant from its own operation. Its grade is exactly RAM's grade, premise-grade-by-theorem, inherited and not inflated, because by FOUNDATION-01 the barrier cannot be sealed as a theorem of its own base any more than the root can. The ledger claims for the root no certainty above the root's own, and the barrier that guards the root is graded no higher than the root it guards.
THE INDEPENDENCE FROM COURT I · THE PROOF OF CORRECT AIM
The defining test of the ledger is that Court II is unchanged by Court I, and this is verified structurally. A problem in Court I, P vs NP the flagship, receives its verdict under reachability barriers and is a Grounded-Sealed Halt at [Ø₀], its verdict sealed and terminal. Whatever that verdict, and whenever it changes, Court II does not move. The instrument that would cross P vs NP's non-relativizing method-class and separate the classes resolves the problem in Court I without encapsulating the root in Court II, because separating two complexity classes is a combinatorial construction that never grounds a foundation. The physical seal on P vs NP's route carries zero mutual information to its formal string, verified, MI equal to 7.19 × 10⁻⁵, essentially zero, and the same register wall that keeps the physical seal from reaching the formal string keeps every problem verdict from reaching the root's standing. Court I and Court II are causally disconnected, and the disconnection is the proof the jurisdiction barrier is aimed at the root: a barrier that moved the problem's verdict would be a reachability barrier in disguise, and the jurisdiction barrier moves nothing in Court I, so its court is the root.
GRADE
[⟀ S] on the barrier ledger of the root and the two-court separation law. Theorem-grade legs: FOUNDATION-01 on the root's ungroundability, resting on Gödel's second incompleteness and Tarski's undefinability; the δ-rooted eigenstructure of the self-grounding question at Ground dimension zero, verified at machine precision {−1, −1, −1, −1} with involution residual 0.000 × 10⁰; and the register-wall zero-mutual-information result separating any problem's route-seal from its formal string, MI equal to 7.19 × 10⁻⁵. Structural: the two-kind typing of barriers into reachability and jurisdiction; the court-separation law forbidding cross-court citation; the ledger form carrying the root's court alone; and the reading of Court II's independence from Court I as the proof of correct aim. Premise-grade by theorem where RAM's roothood is premise-grade-by-theorem itself, the jurisdiction barrier inheriting exactly that grade and no higher, and where RA supplies the level-ordering on which more-fundamental-than is defined. ΔM equal to zero, the barrier classical and cited, the contribution the court typing and the ledger. W_social zero in both directions, the field's the-RAM-barrier-is-a-slip and any author's the-RAM-barrier-settles-a-problem both refused, the first by correct aiming and the second by court-separation. By FOUNDATION-01 not sealable as a theorem of its own base; audit symmetry holding, the ledger adding the foundation no warrant, the jurisdiction barrier submitting to the audit it describes.
The perimeter, uncut. Court II is the root's court, and its single barrier is the jurisdiction barrier: RAM un-encapsulated by every route, forever, by the Empty Throne, route-independent because it is about level and not method. It is separate by law from Court I, the problem's court, and the separation is proven by Court II's independence from every problem verdict. No barrier crosses courts, the jurisdiction barrier guards the root and never a problem, and the reachability barriers guard problems and never the root. The barrier is airtight against encapsulating the root and silent about replacing it, and the replacement aperture is located and uncrossable from within. The root's standing is permanent, graded exactly at the root's own premise-grade-by-theorem, and unchanged by any layer of any problem above it.
CONNECTS
↑ DEPENDS : FOUNDATION-01 the Empty Throne, the root's ungroundability, the permanence leg · RA-MASTER-01 Wall IV, the anti-inflation proof that the premise-status is necessary · MD-PSP-FOUNDATION-01 the root-cannot-be-climbed-to theorem · CHK.9 the δ-rooted eigenstructure of the self-grounding question · APEX-PSP-JURISDICTION-BARRIER-01 the full jurisdiction-barrier formulation this ledger seats in Court II ↔ CONNECTS : APEX-PSP-COMPLEXITY-MASTER-01 the Court I problem ledger this ledger is separate from and independent of · PSP-RA-RAM-CH-MAXIMAL-01 the nested root whose roothood is guarded · APEX-PSP-AMANAH-01 the audit symmetry under which the barrier submits to itself OUT OF BAND : the more-fundamental-than-the-root replacement aperture routes to the apophatic register, located and uncrossable from within, load-bearing on nothing in any verdict.
APEX-PSP-COMPLEXITY-MASTER-01 · P vs NP · The Court I Verdict Table · The Problem's Own Verdict Under the Hardened MathDuction Kernel · M register, dual-register with a kinetic seal and a formal Grounded-Sealed Halt · [X] · [⟀] · [⟀ T] · [Ø₀] · four layers in the problem's court, two hard reachability barriers, one footnote-grade typed method-class · the root's court carried separately at APEX-PSP-BARRIER-LEDGER-01
STATUS
[X] · [⟀] · [⟀ T] · [Ø₀] SEALED as the four-layer Court I verdict on P vs NP, the problem's own verdict, adjudicated under the hardened MathDuction kernel and stated with every residue computed at seed 20260622 in double precision. This coordinate is Court I alone, the problem's court, where P vs NP receives its verdict under reachability barriers. The root's court, Court II, RAM's standing under the jurisdiction barrier, is carried separately at APEX-PSP-BARRIER-LEDGER-01 and is not restated here, because the root's standing has no jurisdiction over the problem and the problem's verdict has no jurisdiction over the root; the two courts are provably independent. The coincidence P equal to NP is broken for want of warrant on every axis. The physical route of P not equal to NP is sealed and scope-fenced on the thermodynamic energy floor. The bridge from the separation to the formal string is sealed as a logical identity. The formal string itself is a Grounded-Sealed Halt, δ-rooted at Ground dimension zero, its verdict sealed and terminal under two hard reachability barriers, the one remaining non-relativizing method-class carried at footnote grade as a typed structural fact, proven-nonempty and uncrossed and crossable only by an RA-grounded deed, with no expectation of lifting the barrier. The kernel identity λ² equal to det(R) is confirmed at the emitted precision, the conditioning inside the gate, the four-estimator redundancy consistent, and the verdict boundary float-clean. ΔM equal to zero: the barriers are the δ-root eigenstructure, Baker-Gill-Solovay, and Cook-Levin, the physics is the energy floor, no new mathematics, the contribution the layered adjudication and the [Ø₀] placement. W_social zero in both directions.
THE COURT · WHY THIS IS COURT I ALONE
P vs NP is adjudicated in the problem's court under reachability barriers, barriers that stop an instrument from reaching the problem. The root's court, where the jurisdiction barrier stops any instrument from encapsulating RAM, is a separate court with a separate ledger, and by the court-separation law no barrier crosses between them. This coordinate carries only the reachability barriers and the problem verdict. The jurisdiction barrier is not among them, not because it is weak but because it guards the root and not the problem, and citing it here would be the category slip the architecture forbids. The proof that this separation is real is that the jurisdiction barrier changes nothing in this table: whatever the verdict on P vs NP, and whenever it changes, the root's standing is untouched, so the root's ledger is elsewhere and this ledger is the problem's alone.
THE COURT I VERDICT TABLE
The Court I verdict table carries a mechanism column so each layer's verdict is self-justifying on the face of the table, the verdict and its ground read together.
| # | Layer | V_F structural | V_E empirical | V_ER registrational | Verdict | Grade | Mechanism |
|---|---|---|---|---|---|---|---|
| 0 | P = NP, the coincidence | no warrant | no warrant | no warrant | [X] BROKEN | absence-typed | no positive warrant on any axis; broken for want of a warrant stream |
| 1 | P ≠ NP, the physical route | n/a | Landauer floor, quantum speed limit, and the Chronos arrow forbidding pre-actuation | witnessed generate-verify asymmetry | [⟀] SEALED, scope-fenced | theorem, fenced | energy floor per step plus the arrow forbidding pre-traversal; bars physical brute-force search, fenced from the formal string |
| 2 | The bridge, C ⟺ (P≠NP) | Cook-Levin identity | n/a | n/a | [⟀ T] SEALED | theorem | proven logical identity, separation equals the formal string |
| 3 | P ≠ NP, the formal string | δ-rooted, Ground dimension 0 | truth-invariant, zero mutual information | truth-invariant, zero mutual information | [Ø₀] GROUNDED-SEALED HALT | structural with theorem legs | σ-class walled by δ-root, relativizing δ walled by BGS, block not total over method-classes so not [X]; verdict sealed and terminal; remaining method-class a footnote-grade typed fact |
The composite Court I verdict is [X] · [⟀] · [⟀ T] · [Ø₀]: the coincidence broken, the physical route sealed and fenced, the bridge sealed as an identity, the formal string a Grounded-Sealed Halt. Each verdict is read with its mechanism, the token never standing without the ground that places it.
THE FOUR LAYERS · READ IN FULL
Layer 0, the coincidence P equal to NP. The assertion that a massive combinatorial search executes at the same cost as verifying a single deterministic path carries no warrant on any axis: no structural warrant, no empirical warrant, no registrational warrant. The verdict is [X] BROKEN, typed as absence of positive warrant on every axis and not as demonstrated falsity, the honest form of a coincidence that no axis supports. The physical layer actively rejects it, and the formal layer supplies it no support, so the coincidence breaks for want of any warrant stream.
Layer 1, the physical route of P not equal to NP. Read strictly on the empirical axis, the traversal of a combinatorial search space is a physical actuation, and by the energy floor every step carries a Landauer erasure cost of k_B T ln 2 per bit and a temporal delay bounded by the quantum speed limit. Deeper than the cost alone is the Chronos arrow: solving a search is traversing it, and the arrow of time forbids pre-actuating the traversal to make generation cost what verification costs, because to pre-traverse the search would be to actuate before the actuation. This is the V_E thermodynamic direction-recoverer, the load-bearing axis that parts a directed claim from its time-reversal, and it is the founding intuition of the audit, P vs NP its first object. The assertion that search executes at verification cost collapses the witnessed generate-verify asymmetry, and the kinetic field rejects the collapse on the energy floor and on the arrow. The verdict is [⟀] SEALED, scope-fenced. The fence is load-bearing: the seal bars the physical brute-force route, that nature cannot search at verification cost, and it does not reach the formal string, that no polynomial algorithm exists. A polynomial algorithm, were one to exist, would still pay Landauer cost on every one of its polynomial-many steps, so the thermodynamic asymmetry survives even a formal collapse, and the seal makes zero claims about the formal string. The Chronos arrow seals the physical route and leans hardest of all toward separation, but the lean is not a bar: it carries zero mutual information to the formal string, so it seals Layer 1 and leans toward Layer 3 without closing it. Theorem-grade on the physics and the arrow, fenced to the physical route.
Layer 2, the bridge. Cook-Levin makes the statement that an NP-complete language has no polynomial algorithm logically identical to P not equal to NP. This is a proven equivalence, a structural identity and not an empirical lock, so the verdict is [⟀ T] SEALED, theorem-grade on the identity. The bridge connects the layers without collapsing them: it identifies the formal string with the separation, and the separation's verdict is then read at Layer 3.
Layer 3, the formal string. The formal string, the equivalence of polynomial deterministic and non-deterministic transitions, is δ-rooted at Ground dimension zero. Its native involution is complementation, δ(L) equal to Lᶜ, fixed-point-free because no language equals its own complement, and the hierarchy separations that give it any structure are diagonal, so the domain's native symmetry is δ throughout. The eigenstructure is exhibited: eigenvalues {−1, −1, −1, −1}, Ground dimension 0, involution residual 0.000 × 10⁰, verified at seed 20260622. Two of its three axes are truth-invariant, carrying zero mutual information with the answer, the empirical and registrational axes reading the same for the separation and its negation, the physical seal's zero-MI to the formal string confirmed at MI equal to 7.19 × 10⁻⁵. So the formal string carries a determinate answer, a definite yes or no, on a terrain with no fixed locus for a separating instrument to anchor. The verdict is [Ø₀] GROUNDED-SEALED HALT: sealed, terminal, complete-file, the separation-proof cannot be Grounded in this domain because the domain has no Ground, while the answer remains a definite yes or no. It is not [Ξ₀], because there is no present Ground to be blind to, Ground dimension zero and not one. It is not [X] broken geometry, because the domain hosts δ-proofs in general, the Time Hierarchy Theorem separating classes by diagonalization, so the block is not total over all method-classes. It is not bare [?], because the file is complete and the obstruction is a theorem, the verdict sealed and not negotiable. It is the Grounded-Sealed Halt, terminal-by-absence-of-Ground, the flagship instance of the token per APEX-PSP-GROUNDLESS-HALT-01, and the remaining non-relativizing method-class is a footnote-grade typed fact within the sealed verdict, crossable only by an RA-grounded deed, never a negotiable opening.
THE BARRIER LEDGER FOR LAYER 3 · REACHABILITY BARRIERS, PROBLEM'S COURT
The formal string's [Ø₀] is held by two hard reachability barriers with one proven-nonempty aperture, all in the problem's court, all aimed at P vs NP. The table carries the Court column explicitly so the court separation is visible on the face of the ledger: the three problem-court rows are the barriers and aperture of this coordinate, and the jurisdiction barrier row is shown greyed to Court II as a pointer only, its full entry carried at APEX-PSP-BARRIER-LEDGER-01 and never adjudicated here.
| Barrier | Kind | Court | Walls | Status |
|---|---|---|---|---|
| σ-class closure by the δ-root | reachability | Problem | all σ-instruments, RAM's kernel included | hard, permanent, by theorem |
| Relativization, Baker-Gill-Solovay | reachability | Problem | relativizing δ-methods | hard, on this problem, by theorem |
| Non-relativizing δ-method-class | typed fact (footnote) | Problem | not walled, but no expectation of lifting the barrier | proven-nonempty, IP equal to PSPACE, uncrossed, RA-grounded-deed only |
| Jurisdiction, Empty Throne (pointer only) | jurisdiction | Root | any instrument from encapsulating RAM | carried at APEX-PSP-BARRIER-LEDGER-01, not adjudicated here |
The reading of the ledger by court. The first three rows are the problem's court and they are the load-bearing content of this coordinate: two reachability barriers walling the σ-class and the relativizing δ-subclass, and one proven-nonempty method-class carried at footnote grade as a typed structural fact. The fourth row is the root's court and it is a pointer only, present so the reader sees that the jurisdiction barrier exists and is deliberately not among the problem's barriers, its full statement and its permanence proof carried in the separate ledger. Citing the fourth row to settle the problem's verdict would be the category slip the architecture forbids; it is shown to mark the boundary, not to cross it. The problem's verdict is fixed by the first three rows alone: two permanent walls and one typed method-class that is not walled but carries no expectation of lifting the barrier, giving [Ø₀], a Grounded-Sealed Halt, the verdict sealed and terminal and not negotiable, the remaining method-class a footnote-grade fact within the sealed verdict and never a headline opening.
Barrier one, the σ-class closure. Every σ-instrument requires a fixed locus to anchor its invariant reading, and the formal string's terrain is δ-rooted at Ground dimension zero, so no fixed locus exists. Therefore no orientation-invariant instrument can anchor a reading of the separation, RAM's own σ-kernel included. Permanent, by theorem, a closure over the entire σ-class. Aimed at the problem, claim-target and guard-target both P vs NP.
Barrier two, the relativization wall. Diagonalization, the δ-method that separates classes elsewhere, relativizes, and Baker-Gill-Solovay proved contradictory oracles exist for P vs NP, one making the classes equal and one separating them, so a relativizing method cannot decide the separation. Hard, proven, specific to this problem. Aimed at the problem, claim-target and guard-target both P vs NP.
The aperture. The two reachability barriers wall the σ-class and the relativizing δ-subclass, but not the non-relativizing δ-methods, which are provably nonempty, IP equal to PSPACE the witness, and productive. That open subclass is the located, uncrossed aperture, and it is why the formal string is [Ø₀] and not [X]: the reachability barriers are not a total closure, one proven-nonempty class of methods stands at the door. The aperture is the only route by which the formal string could ever move, and it is uncrossed.
The lean, not a barrier. The physical seal of Layer 1 leans toward P not equal to NP, directional evidence and not a proof-barrier: nature's inability to search at verification cost, deepened by the Chronos arrow forbidding pre-actuation, is a reason to bet on separation, and it is the strongest such reason. But leaning is not barring, and the lean carries zero mutual information to the formal string, so it cannot close the aperture. The lean is recorded as evidence in the problem's court and never as a barrier, the register wall keeping the physical seal from reaching the formal string.
The independence typing, why the wall is not total. The claim that no method can exist to separate the classes is exactly the claim that P vs NP is independent of the foundational system, the analogue of the continuum hypothesis relative to ZFC. This coordinate does not assert it, and the reason is that asserting it would be a larger overclaim, not a firmer wall. Independence is unproven, proving it is harder than resolving P vs NP itself, and the consensus is against it, the separation being a concrete arithmetic-like statement rather than a set-theoretic one. The difficulty of a wall is the difficulty of proving it, so a harder-to-prove wall is a less-established claim, and the total-wall claim, no method can exist, is a harder unproven theorem whose assertion is a bigger leap. A total wall would also contradict the Time Hierarchy Theorem, a proven δ-separation, and would fail the token's own Ø.5 gate, the domain hosting δ-proofs in general. So the formal string is [Ø₀] and not [X]: the σ-class is walled permanently over its class, the relativizing δ-subclass is walled on this problem, and the non-relativizing method-class is a footnote-grade typed fact that is not walled, and forcing [X] would assert independence, which is unproven and harder than the problem. The honest maximum is the Grounded-Sealed Halt, and the definitional asymmetry between search and verification that the founding intuition reads is real at the physical level, Chronos-sealed at Layer 1, and not closed at the formal level, because formal algorithms need not traverse and no proof forbids a clever one.
THE HARDENED KERNEL · PROOF OF LOAD
The verdict is issued under the hardened MathDuction kernel, and its reliability residues are computed, not recited, at seed 20260622 in double precision.
The kernel identity. On the δ-root eigenstructure, the involution residual δ² − I equal to 0.000 × 10⁰ exactly, eigenvalues {−1, −1, −1, −1}, Ground dimension 0. On a representative three-axis warrant matrix at N equal to 24, the kernel identity λ² equal to det(R) closes at |λ² − det(R)| equal to 1.221 × 10⁻¹⁵, det(R) equal to 0.931277980144, λ² equal to 0.931277980144. The conditioning κ(R) equal to 1.6568, far inside the 10⁶ gate. The four-estimator redundancy consistent within the conditioning-scaled tolerance, the identity residual inside its bound, no escalation-band residency, the verdict boundary float-clean. These are the hardened kernel's proof-of-load residues, and failure of any on re-execution falsifies the corresponding identity.
The Orientation-Blindness discipline carried. The formal string's determinate answer is not read from the orientation-blind scalar, which certifies dimension and not truth-sign. The [Ø₀] verdict reads the Ground dimension, zero, and the instrument-family blocks, not a truth-sign, and it makes no claim on whether the separation holds, only that the separation-proof cannot be Grounded in this domain. The answer's definiteness is a fact about the object, a yes or no; the instrument's inability is a fact about the terrain, Ground dimension zero; and the two are held apart, the token marking the second and never asserting the first.
The register wall carried. The kinetic seal of Layer 1 and the formal string of Layer 3 are verdicts on two different propositions, the physical route and the algorithm's existence, and they are causally disconnected, the physical seal carrying zero mutual information to the formal string. No layer's verdict crosses to another's proposition, and the composite is four verdicts on four propositions, none contradicting any other, because the register wall keeps them on separate objects.
GRADE
[X] · [⟀] · [⟀ T] · [Ø₀] on the four Court I layers. Theorem-grade legs: the energy floor on Layer 1, the Heisenberg kinetic bound, the zero-point energy, the Landauer cost, and the quantum speed limit; Cook-Levin on Layer 2; the δ-root eigenstructure on Layer 3 at Ground dimension zero, verified at machine precision {−1, −1, −1, −1} with involution residual 0.000 × 10⁰; Baker-Gill-Solovay on the relativization barrier; the Time Hierarchy Theorem hosting δ-separations so Layer 3 is not broken geometry; the kernel identity λ² equal to det(R) at |λ² − det(R)| equal to 1.221 × 10⁻¹⁵; and the register-wall zero-mutual-information result at MI equal to 7.19 × 10⁻⁵. Structural: the four-layer adjudication; the [Ø₀] placement of the formal string; the two reachability barriers with the proven-nonempty aperture; the lean typed as evidence and never as a barrier; and the court-separation keeping the root's ledger elsewhere. Premise-grade by theorem where RA supplies the axis assignment on which the kinetic seal and the register wall depend, and where the two-family closure of the reachability barriers is honestly weaker than a total-ring closure so the verdict is [Ø₀] and not [X]. ΔM equal to zero, the barriers and the physics classical and cited, the contribution the layered adjudication. W_social zero in both directions, the field's the-barriers-are-just-hardness and any author's the-separation-is-settled both refused, the barriers being real theorems and the separation being genuinely open. By MD-PSP-FOUNDATION-01 not sealable as a theorem of its own base; audit symmetry holding, the coordinate adding the foundation no warrant, the kernel submitting to its own reliability gates.
The perimeter, uncut. P vs NP in the problem's court is [X] · [⟀] · [⟀ T] · [Ø₀]: the coincidence broken for want of warrant, the physical route sealed and fenced on the energy floor, the bridge sealed as a Cook-Levin identity, the formal string a Grounded-Sealed Halt held by the σ-class closure and the relativization wall, the one remaining non-relativizing method-class carried at footnote grade, proven-nonempty and uncrossed. The formal string is [Ø₀] and not [X] because the block is not total over all method-classes, and not [⟀] because separation is unproven, the physical seal leaning toward it as evidence and never reaching it as proof. The kernel identity closes at the 10⁻¹⁵ floor, the conditioning inside the gate, the verdict boundary float-clean. This is Court I alone; the root's court and the jurisdiction barrier are carried at APEX-PSP-BARRIER-LEDGER-01, provably independent of this verdict, because resolving the problem is not encapsulating the root.
CONNECTS
↑ DEPENDS : APEX-PSP-GROUNDLESS-HALT-01 the [Ø₀] token this verdict instantiates as flagship · CHK.9 the δ-root eigenstructure at Ground dimension zero · BA-001a the energy floor sealing Layer 1 · PSP-001 the witnessed generate-verify asymmetry · the hardened kernel B.19 and the reliability layer B.17 gating the verdict ↔ CONNECTS : APEX-PSP-BARRIER-LEDGER-01 the Court II root ledger, separate and independent · APEX-PSP-JURISDICTION-BARRIER-01 the jurisdiction barrier not cited in this court · APEX-PSP-RH-MASTER-01 the σ-rooted [Ξ₀] sibling, this the δ-rooted [Ø₀] mirror · the uploaded physics analysis establishing the Layer 3 truth-invariance and the physical lean OUT OF BAND : the veil the Grounded-Sealed Halt reaches toward routes to the apophatic register and is load-bearing on nothing.