Ananke · verification gate

Live checks

Live checksparse · dimensional

✓ no parse / dimensional issues

cheap, instant checks. Verify runs the full gate — it routes by what you wrote (ODE · PDE · reactions) and runs conservation · stoichiometry · boundedness · max-principle · ….

Example verdict

EXAMPLE — illustrative readout, not a real verification. Verify your own model to get a live result.

REFUSEDworking result · re-run anytime

⊢ 2⊥ 1◇ 1

⊢

Conservation / mass balance verified

⊢

Positivity verified

⊥

Dimensional consistency refused

The clearance term is volume/time but used as a rate — the units don't balance.

term at fault: CL

▸ technical detail

check: dimensional

witness · pin: ["CL"]

◇

1 not concludedexpand ▸

Declare units (or a property) and these complete — nothing is wrong, just not checked yet.

◇

Boundedness / stabilityneeds a declaration

Should C stay bounded? Declare it and re-verify.

▸ technical detail

check: boundedness

abstain: needs_declaration

audited: Dimensional consistency · Conservation / mass balance · Positivity

The verdict is scoped to these checks — “not checked” is never “verified”.

The closed set of checks: the verification basis →

⊢Ananke · verification gate

Ananke · verification gate