Profile README — map of the deterministic verification-gate ecosystem

Deterministic pre-flight checks for structured AlphaFold job metadata

A deterministic aggregation gate for cash structuring - and an honest measurement of what the rule costs. Zero dependencies.

Public DTL evidence board with explicit benchmark and holdout claim boundaries.

Strict ProgramBench cleanroom submission for Jarvi3: Themis-G: 2/200 resolved, 2 clean archives.

Local demo for deterministic verification of orbital/satellite claims, with replayable benchmark artifacts. Research software, not flight software.

Fail-closed permission boundary for downstream scientific workflow use

Scientific state diffs, dependency impact, selective replay and sealed evidence

Deterministic confidence-contract routing for predicted structures

Deterministic provenance continuity checks for scientific AI artifacts

EcoKure DTL pilot: deterministic assurance for AI-assisted enterprise client work

EcoKure DTL: deterministic verification infrastructure for AI-enabled operations, with an EU AI Act application profile.

Jarvi3: Themis-G cleanroom ProgramBench submission with DTL/SuperMath verification rails and failure-to-next-action methodology.

Public-safe synthetic demo of FinanceGate decision verification, evidence packs, and replay.

Independently test DTL and sign your verdict — a public registry of cryptographically-signed audits. Reference implementation of the SVR-1 open standard.

DTL MathGate — deterministic exact-arithmetic engine with replayable certificates, stdlib-only, MIT

Open claim taxonomy + verdict schema for deterministic AI-output verification (DTL). PR-extensible; engines stay separate.

A deterministic determinizer for math/physics theory claims: exact verdicts, refuses to guess. Pure stdlib.

Deterministic structural sanity checker for Verilog RTL — undriven outputs, multi-driven signals, latch-inference risks, blocking/nonblocking misuse. Pure Python stdlib.

Paste an AI science claim; ClaimGate extracts each claim, routes it to a deterministic gate, and seals a replayable evidence pack.

Deterministic dimensional-analysis checker for physics equations. E=ma fails, F=ma passes. Pure Python stdlib.

End-to-end demo: route a written claim to a gate, check it, seal a receipt, replay it. Ties UnitGate + EvidencePack + ReplayGate + ClaimLint together.

Deterministic chemistry validator — formula parsing, molar mass, reaction balance (atoms + charge). Pure Python stdlib.

Catch impossible or inconsistent reported statistics (GRIM, SD-range, t/p-value checks). Pure Python stdlib.

Re-run sealed evidence packs and detect verification drift. Allowlisted, sandboxed replay commands.

Reproducible receipts for claim checks: seal what was checked, by which tool, with what verdict, into hash-stamped JSON.

Lint READMEs and docs for unsupported AI/science/benchmark claims. CLI + GitHub Action.