Gates / DTL / MathGate

MathGate

Open source

Exact-arithmetic engine producing replayable certificates. 1,116 of 1,116 ProofBench-X cases pass and reproduce.

View the repository Open the lab

What it checks

Exact arithmetic with no floating-point drift
Replayable certificates
Deterministic reproduction across runs

What it does not check

It is classical computation routed well, not a novel method of calculation.

Where it sits

MathGate runs inside DTL

DTL

Deterministic Taxonomy Lanes

Is this output or decision allowed?

DTL routes an output or decision into a defined verification lane, applies machine-readable rules, and returns a categorical result with the reasoning recorded. It does not score confidence. It decides, or it declines to decide.

acceptblockreviewabstainpending evidence

Evidence

Every verdict leaves a record

Property	Behaviour
Determinism	The same input produces the same verdict. A result that does not reproduce is treated as a defect.
Signing	Verdicts are Ed25519 signed and anchored in a tamper-evident chain.
Replay	A sealed pack can be re-run later to detect verification drift.
Availability	Fail-closed. If this gate cannot be reached, the result is recorded as unavailable, never as a pass.
Independence	A third party can verify a pack without our source code and without contacting us.