Finite matrix root
The commutator of the stated integer matrices has the declared square, trace, and determinant under direct integer multiplication.
Public verification registry
Exact Reader
Declared inputs, deterministic procedures, outputs, receipts, and boundaries.
Each record names the source it reads and the scope its result carries. The registry has no ranking, recommendation, personalization, or inferred extension.
address → input → procedure → output → receipt → boundary
CA-ALG-001 · direct calculation
Finite matrix root
The declared 2×2 integer matrices are recomputed in the browser with ordinary integer arithmetic.
AddressCA-ALG-001InputQ and ΩProcedurecommutator and squareOutputG² = 5IReceiptdeterministic recomputationBoundarydisplayed real 2×2 data
Fixed declared input
Canonical recordCompute G = [Q, Ω]
Press the button to recompute the exact result from the matrices displayed below.
Q
[[1, 1], [1, 0]]
Ω
[[0, 1], [-1, 0]]
Boundary. This calculation verifies the stated matrix identities only. A physical application retains its own equations, parameters, observable, calibration, and evidence path.
Source-indexed records
Verified records
Each record opens the source, executable check or audit, receipt, and a declared boundary.
The Condition Of Trust
The accompanying verifier checks its displayed finite matrix, reader/decision, receipt, and stopping witnesses.
The 3 Body Mirror
Symbolic and independent checks record the stated local equal-mass Euler-model result and its nonzero fourth-order obstruction.