UnitGate
Interactive labChecks whether a quantity can be what it says it is, then converts it exactly into the units you need. 118 units, from mg/kg and mL/h to concentrations, pressure, temperature and device telemetry.
What it checks
- Units that cannot agree, whatever the number is
- Exact conversion, held as ratios rather than decimals
- Two quantities that share a dimension but are not the same thing
What it does not check
- Units agreeing is necessary, not sufficient. A quantity whose units agree can still be clinically wrong, and a unit it does not know is abstained rather than passed.
Where it sits
DTL
UnitGate runs inside DTL
Deterministic Taxonomy Lanes
Is this output or decision allowed?
Checks a decision against the rules that apply to it and returns one answer: yes, no, send it to a person, or cannot tell. It does not score confidence. It decides, or it declines to decide, and records why either way.
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
ClaimGate
Extracts claims from AI or scientific output and routes each one to the determ…
ElementGate
Chemistry validator covering formula parsing, molar mass and reaction balancin…
AMLGate
Aggregation gate for cash structuring. Across 26,521 synthetic customer-days i…
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
A research prototype for governed pilot validation. Checks dose binding, oncol…
ClaimLint
Lints documentation for unsupported AI and science claims. Runs as a CLI or a …
MathGate
Exact-arithmetic engine producing replayable certificates. Of 1,116 ProofBench…
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.