Exact relations, finite witnesses, and typed comparison
The formal core uses ordered prime words, exact matrix identities, finite graph structure, and deterministic verification. The current release exposes its paper, LaTeX source, verifier, output receipt, checksum ledger, and K8 check together.
- Jurisdiction
- Defined algebraic objects, stated hypotheses, and finite or exact calculations.
- Identity
- Typed expression, address, graph, carrier, proof step, or computation state.
- Contact
- Exact evaluation plus an appendable receipt that keeps the calculation addressable.
- Adapters
- Euclid, Brahmagupta, Fibonacci, Euler, Noether, and Turing appear in the cited historical lineage.