ClaimGate
Interactive labExtracts claims from AI or scientific output and routes each one to the deterministic gate that can settle it.
What it checks
- Claim extraction from prose
- Routing to the correct verifier
- Sealed evidence for each verdict
What it does not check
- It does not judge claims it has no gate for. Those are returned as unverifiable.
Where it sits
DTL
ClaimGate runs inside 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. |
Other gates in DTL
UnitGate
Dimensional-analysis checker for physics equations. Catches equations that can…
ElementGate
Chemistry validator covering formula parsing, molar mass and reaction balancin…
StatsGate
Detects impossible or internally inconsistent statistics using GRIM and p-valu…
TheoryGate
Determinizer for mathematics and physics theory claims, returning exact verdic…
ChipGate
Structural sanity checker for Verilog RTL. Finds undriven outputs, multi-drive…
MedGate
Clinical decision-support checks covering dose binding, oncology dosing limits…
ClaimLint
Lints documentation for unsupported AI and science claims. Runs as a CLI or a …
MathGate
Exact-arithmetic engine producing replayable certificates. 1,116 of 1,116 Proo…
Security Lanes
Reproducible test cases across CWE and OWASP weakness families with transparen…
Run it against your own cases
The audit protocol is public. You do not need our permission, our source or our involvement to test a gate and publish what you find.