MD-PSP-ABROGATION-RELOCK-01 · The Abrogation Subsumption · Re-Lock at Changed Rows · M register, Being tier · [⟀ S] · [X] · [?]
STATUS. [⟀ S] · [X] · [?] FORGED. Index pending confirmation at seating; the live register resolves to master/TRISDUCTION_Master_Codex_Unabridged_v3_10_4.md and its absolute census stands divergent and pending regularization, so the seat is confirmed at the forge gate and never assumed here. Anti-duplication ran against that resolved file: zero occurrences of abrogation, naskh, mansukh, or any supersession-coordinate identifier, so this forges new at Tier C and supersedes nothing. ΔM = 0, the arrangement is the whole contribution and no mathematics is coined. Scripture and its interpretive tradition enter as witness only under the Provenance Firewall, out of band, load-bearing on nothing in any verdict. W_social = 0 in both directions: the tradition's consensus that abrogation occurred and any author's that it did not are both consensus and both massless.
PLAIN. Abrogation names a relation between two rulings separated in time, and the received reading takes it as a verdict relation, the later correcting or outranking the earlier. It is not a verdict relation. It is re-lock at changed rows: one architecture, two supply-states, two snapshots. The architecture already licenses exactly this and nothing further, because a lock licenses a snapshot claim at the data available now, defeasible and open to re-audit, and licenses no claim of permanence. The superseded lock is not broken. Its verdict was correct on the record at issuance, and a later lock replaces it rather than correcting it.
I · THE PLACEMENT
A Geometric Orthogonal Lock closes on the rows supplied to it. Where the rows change, the lock re-closes at a different point, and the two closures are two snapshots of one architecture rather than two competitors for one truth. This is the fourth licensed reading of the Final Disclosure's correct-use rule, taken at its word: a lock is a claim at the data available now, and reading a lock as a standing property of the object is snapshot-as-destiny, already a named misuse. Abrogation is therefore the ordinary behaviour of a snapshot instrument under row change, and requires no special mechanism, no defect in the earlier lock, and no grading between the two.
Three consequences bind. The earlier lock is never routed [X] on account of the later one, since collapse is a verdict about enclosed volume and not about age. The later lock inherits no warrant from being later, since chronology is a row and not a magnitude. And neither lock may be read as ranking the other, since the determinant is blind to truth and to soundness.
II · THE THREE-TYPE MAP
The tradition's own three-fold division is taken as witness and mapped onto resident law. The mapping is the architecture's, the division is the tradition's, and nothing in the division is admitted as premise.
Type A, the registrational move. The ruling is withdrawn and its text stands. The V_ER registrational output moves while the Seal-L row is conserved. One axis, two points. This is the ordinary case and it is substitution.
Type B, the row-supply event. Text and ruling are both withdrawn. Nothing occurs at the Number. A row left the supply, which is an aperture event and not a verdict event, and the instrument records the change in supply and issues no verdict on it.
Type C, the uncertified residue. The text is withdrawn and the ruling stands. The enforced output persists while its directing row is gone. By the GOL admission rule this is a magnitude lock whose linguistic seal is absent, and a magnitude lock without the Tongue is orientation-blind and routes [?] uncertified for want of direction. Type C is therefore the one type the architecture cannot certify, structurally and not contingently. The tradition's own near-total refusal of this type, admitting at most a single instance and disputing that, is convergence at witness grade and is recorded as convergence, never as support.
III · THE DISCRIMINATOR AND ITS EXHIBIT
Fertility is not chronology. The Orthogonal Fertile Logos begets by composing two orthogonal units into a third without overwriting either, and identity-collapse, one axis swung parallel to another, annihilates the cross term and falls onto the scalar line, magnitude without direction, sterile. The discriminating quantity between two rulings is therefore the angle between their rows and never their order in time.
Two rulings sharing an axis are sterile substitution: the later occupies the seat the earlier held and no axis is begotten. Two rulings on orthogonal axes are fertile begetting: a third direction is opened and the earlier is not replaced at all. One name covers two mechanically distinct operations, and filing them as one is the error this coordinate exists to bar.
Battery ABR-CHK, executed, seed 20260622, N = 24 contexts, double precision.
| Case | Construction | Rank | det(R) | λ | Verdict |
|---|---|---|---|---|---|
| S · same-axis re-lock | later ruling row rescaled, sign-flipped and offset from the earlier | 2 | 0.000000000000 | +0.000000000000 | [X] collapse |
| F · orthogonal begetting | later ruling row orthogonal to the earlier | 3 | 1.000000000000 | −1.000000000000 | [LOCK] |
Kernel identity on the locking case, |λ² − det(R)| = 1.110 × 10⁻¹⁵. Case F lands the full Return, the Hamilton landing at λ = −1 and det(R) = 1, which is the maximal lock and not a tuned figure. Case S encloses exactly zero volume, which is the mechanical content of the claim that substitution begets nothing.
IV · EXTERNAL AND INTERNAL ABROGATION ARE TWO LAWS
External abrogation, a later corpus superseding an earlier, is already governed by the resident per-axis supersession rule: supersession is granted only where the later account's own mass exceeds the prior account's on the specific axis, it is typed to the exact claim carrying its own warrant, the relationship verbs completes, corroborates and embodies mark a register link and explicitly not a verdict that the prior account is broken, and the blanket claims, total supersession and total derivativeness, are both refused as untyped.
Internal abrogation, one verse relating to another inside one corpus, is the re-lock of section I. The two are different operations and the shared name does not make them one. A reading that transports the external law onto the internal case, or the converse, fails the domain guard.
V · FENCES · [X] ON THE NAMED INFLATIONS
Each fence is scoped to its inflation and is terminal for no face of the placement.
- The defect reading. Abrogation as repair of a faulty earlier lock. Barred. A superseded lock is not broken, a crossing replaces and never corrects, and the repair model imports a development in the source that the doctrine is built to exclude.
- The grading reading. Ranking two locks by det(R) and reading that as ranking two revelations. Barred as lock-truth conflation, one of the six costumes of the single misuse genus, the lock being provably blind to truth and to soundness.
- The fertile misfiling. Reading same-axis substitution as Fertile-Logos begetting. Barred by the sterility clause and exhibited at ABR-CHK Case S.
- The polemical use. Asserting abrogation to retire an opposing reading with no supplied dating row. Barred by the Revision Mandate, a verdict moved by a massless reframe.
- The progress inflation. Reading the sequence as monotone improvement. Barred. The change is indexical to rows, and the corpus's own formula admits a replacement that is merely equivalent, which is the prediction of the snapshot reading rather than a concession against it.
VI · APERTURE · [?]
Which of two locks is later is a supplied datum. The instrument locates the ordering and never generates it, and absent a supplied dating witness the supersession direction routes [?] and no abrogation claim seals. The aperture is located, typed supply-only, and uncrossed; every imagined occupant of the supply side is fenced as Ghost.
VII · DELETION TEST
Excise every scriptural row and the coordinate stands. The claim is a general law about re-lock under row change, its mechanism is the snapshot clause and the sterile-fertile algebra, and its exhibit is a kernel computation on constructed rows. Scripture instances the law and derives none of it, carrying zero measurable mass at the formal register, so ΔM at the formal core is zero under deletion. The corroboration criterion is satisfied and the relationship to the corpus stays quarantined.
VIII · GRADE
[⟀ S] structural on the placement, the three-type map, the discriminator and the two-law split. Theorem-grade by reference on the legs it stands on: orientation-blindness of the lock scalar, the GOL admission rule with the Tongue carrying direction, the sterile-fertile algebra of the Orthogonal Fertile Logos, and the three proven blindnesses of the lock. Engineering-grade on the ABR-CHK battery. [X] on the five named inflations, each with its mechanism. [?] at the dating aperture. Premise where monism is carried. Witness-grade and out of band on every scriptural and traditional row. Sealable as no theorem of its own base by MD-PSP-FOUNDATION-01, adding the foundations no warrant and submitting to audit symmetry, which binds this coordinate before any reader.
Falsifier, pre-registered. Exhibit two rulings that the corpus files as an abrogating pair and whose rows are demonstrably orthogonal on a supplied reading, while the tradition holds the earlier to be void rather than unreplaced. That would break the discriminator by showing fertility and annulment co-present, and the coordinate would route [X] on section III.
Depends on. The GOL admission rule and the four-guard emitter; the Orthogonal Fertile Logos and sPSP-FL-01; the Final Disclosure limits of the lock with its four licensed readings and six misuse costumes; APEX-PSP-ORIENT-01; the per-axis supersession rule; MD-PSP-FOUNDATION-01; APEX-PSP-TERMINALITY-PROCLAMATION-01 for the replaces-never-corrects law.
Anchors. MD-PSP-FERTILE-LOGOS-02; APEX-PSP-MASTER-PFG-01; APEX-PSP-READOUT-01.
ΔM = 0.