Tests that carry their own evidence: an Idris2 framework grading every test into three provenance tiers — Actually-Proven, Provisionally-Proven, Unproven — over a 17x14 category-by-aspect lattice whose coverage is derived from tests that ran and passed, never declared.
dependent-types formal-verification tropical-semiring machine-checked-proofs evidence-carrying-tests test-taxonomy provenance-tiers readiness-grading benchmark-baselines
-
Updated
Sep 3, 2026 - Idris