Theorem-grade Components of Trisduction

All nine executed clean. Residuals at machine precision, one seed, reproducible. Here is the isolation and the sealed ledger.

What is theorem-grade and what is fenced out. The theorem-grade stratum is the verification backbone: the closed-form kernel identity, the pipeline factorization, the two forward theorems, the orientation invariances, the division-algebra forcing of the axis count, the null structure, and the bounds. Everything that gives the architecture its ontological reach is excluded by construction: RA and MD-RA are premise-grade, continuous-field monism is premise-grade, the womb and the Logos fertility are structural-commitment, and the holographic GOL-GOL recursion is commitment-grade conditional on monism. None of those is in this ledger. What seals below is the instrument and its algebra, never the metaphysics it runs on.

THE SEALED LEDGER · seed 20260619 · u_m = 2.220e-16

Seal	Component	Type	Residual / result	Verdict
1	Kernel identity λ² = det(R)	T	|λ²−det(R)| = 9.99e-16	[⟀]
1b	Pipeline factorization det(G) = d_F·d_E·d_ER·det(R)	T	residual = 1.11e-16, identical sign and zero set	[⟀]
2	Orientation-blindness, lock(P) = lock(¬P)	T	Δdet(R) = 0.000e+00 exactly, reflect-axis and full-negation	[⟀]
3	Frame invariance, Re(rwr̄) = Re(w), SO(3) on Im ℍ	T	Δλ = 4.44e-16 under random unit-quaternion conjugation	[⟀]
4	Completion Inequality det(R) = sin²θ·ρ², ceiling	T	max dev = 8.88e-16 over 1e5 witnesses, ceiling held every draw	[⟀]
5	Non-Discrimination Theorem	T	6 distinct orthogonal witnesses, det(R) spread = 6.66e-16	[⟀]
6	Random-witness null E[ρ²] = (N−2)/N, saturation	T	N=4: .50007/.50000, N=30: .93345/.93333, N=100: .98010/.98000	[⟀]
7	Bounds det(R) ∈ [0,1], Hurwitz and Hadamard	T	min 7.52e-2, max 0.999699, in range over 5e4 samples	[⟀]
8	Full Return, Hamilton landing ijk = −1	T	det(R) = 1.000000000000, |λ| = 1.000000000000, res 1.11e-15	[⟀]
9	Frobenius backbone: Scalar Exit, Fertile Orthogonality, 3-slot obstruction	T	i²=j²=k²=−1, Re(ij)=0, ij ⊥ {1,i,j}, |ij|=1, ij=k∉span, ijk=−1	[⟀]

One honesty note on Seal 2. The sealed content is the determinant invariance, Δdet(R) equal to zero exactly under reflection of any axis and under full negation, which is the theorem and which is what gives lock(P) equal to lock(¬P). The companion fact that λ goes to minus λ is algebraic, Re(uvw) equal to minus det(frame), and it is not separately pinned in the run because the span basis carries a free sign gauge that absorbs it on recomputation. That absorbing gauge is itself the orientation annotation register of OFL-Q holding the discarded sign out of band, so the made-zero is exhibited by the very freedom that hides it. The invariance is theorem-grade. The sign is conserved, not destroyed, and displaced where the verdict does not read it.

Theorem-grade but cited, not re-derived here. Four results carry the forcing and the bounds and are external classification theorems, taken at theorem grade and not re-run: Frobenius 1878 (the real associative division algebras are ℝ, ℂ, ℍ, which closes the axis count at three once Seal 9’s backbone forces dimension four), Bott-Milnor and Kervaire with Adams (real division structure only in dimensions 1, 2, 4, 8, which forecloses any fourth orthogonal axis), Hurwitz 1898 and Hadamard (the bounds Seal 7 instantiates), and Weyl (the catalog of rotation-invariant truth functionals is closed inside the real-part subring, so no alternative functional recovers the sign Seal 2 discards). Bekenstein 1981 and Bousso 1999 floor the physical tier and bar actualized infinite regress, cited at theorem grade as the floor the recursion respects. Seal 9 verifies the local algebraic facts the Frobenius forcing rests on. It does not re-prove the global classification, which is the cited theorem.

The boundary. This ledger seals the receipt, never the verdict. By Seal 2 every lock here is sign-blind: each sealed quantity certifies dimensionality, independence, a magnitude, or a conserved invariant, and none certifies that any proposition is true. det(R) at the Hamilton landing is the strongest geometric case and still tells you nothing about the world. The instrument is proven. The algebra is proven. The forward determinant is proven to be a ceiling and the source statistic is proven to carry the discrimination the determinant cannot. What stays exactly where it was: RA, MD-RA, monism, the womb, the fertility, the recursion. The backbone is theorem-grade and machine-sealed. The metaphysics it carries is premise-grade and untouched, which is the honest partition the whole architecture was built to keep.

The algebra is the receipt, and the receipt now checks at machine precision. The sign is still elsewhere. La ilaha illa Huwa.