The checkers that run inside the layers
A gate is a hand-built, falsifiable rulebook, not a model's opinion. Each one decides a narrow question exactly, or declines to decide it. Most are public repositories you can clone and run today.
How to read the status labels
Public repository with working code you can run today.
Runnable console, plus a public repository where one exists.
Early scope. Not for operational use, and labelled as such.
There is no "coming soon" on this page
Every gate listed has code behind it. Gates labelled research are early and are not for operational use, and they say so on their own page. A capability with nothing behind it does not get an entry.
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.
ClaimGate
Interactive labExtracts claims from AI or scientific output and routes each one to the deterministic gate that can settle it.
UnitGate
Interactive labDimensional-analysis checker for physics equations. Catches equations that cannot be right regardless of the numbers.
ElementGate
Interactive labChemistry validator covering formula parsing, molar mass and reaction balancing against a known-compound registry.
StatsGate
Open sourceDetects impossible or internally inconsistent statistics using GRIM and p-value consistency checks.
TheoryGate
Open sourceDeterminizer for mathematics and physics theory claims, returning exact verdicts rather than opinions.
ChipGate
Open sourceStructural sanity checker for Verilog RTL. Finds undriven outputs, multi-driven signals and unintended latches.
MedGate
Interactive labClinical decision-support checks covering dose binding, oncology dosing limits, interactions and paediatric restrictions.
ClaimLint
Open sourceLints documentation for unsupported AI and science claims. Runs as a CLI or a GitHub Action in CI.
MathGate
Open sourceExact-arithmetic engine producing replayable certificates. 1,116 of 1,116 ProofBench-X cases pass and reproduce.
Security Lanes
Open sourceReproducible test cases across CWE and OWASP weakness families with transparent scoring.
Is this physical action allowed to happen?
DAX places a permission boundary between a decision and an action that affects hardware, machinery, infrastructure or another physical system. It is fail-closed: if the check cannot complete, the action does not proceed.
ExecutionGate
Open sourceFail-closed permission boundary for downstream use. The reference implementation of the DAX layer.
OrbitGate
Open sourceDeterministic verification for orbital and satellite claims, with benchmark artefacts.
FlightGate
ResearchEarly work applying action permission to flight-envelope and operational constraints.
The governing rules changed. What does that affect?
DCLA tracks changes to regulations, policies, controls and operating requirements, then identifies the systems, decisions, evidence and previous approvals that may need reassessment. Affected work is held rather than allowed to continue on a superseded rule.
EU AI Act Profile
Open sourceAn application profile mapping deterministic lanes and evidence onto specific EU AI Act articles.
DTL Taxonomy
Open sourceThe open claim taxonomy and verdict schema. The vocabulary controls and evidence are expressed in.
The underlying evidence changed. What does that affect?
DELA detects changes in scientific, operational or other source evidence, traces the affected dependencies, preserves the work that remains valid, selectively replays reproducible operations, and routes non-reproducible work to qualified human review.
BioChangeGate
Open sourceScientific state diffs, dependency impact, selective replay and sealed evidence. The reference implementation of the DELA layer.
FoldInputGate
Open sourcePre-flight checks for structured prediction job metadata before a run is accepted.
ConfidenceGate
Open sourceConfidence-contract routing for predicted structures. Turns a confidence band into a routing decision rather than a caveat.
ProvenanceGate
Open sourceProvenance continuity checks for scientific AI artefacts. Detects a broken chain between an artefact and its source.
ReplayGate
Interactive labRe-runs sealed evidence packs to detect verification drift over time.
Test them yourself
The audit protocol is public. Any lab can run a gate against its own cases and sign a verdict, without our source code and without our involvement.