Prove an obligation.
Pick a real framework obligation, mark the evidence you actually hold, and watch it resolve two different ways: coverage — is it mapped to controls at all — and evidence — is it satisfied by what you have. mapped ≠ satisfied, made executable in your browser.
Every obligation, addressing control, and required-evidence item below is the live Evidence Proof Map (real corpus data). Coverage is static — it comes from the published map. Evidence is computed here from the boxes you check; the platform's composeObligationProof() runs the same shape against real signed evidence artifacts. Nothing is fabricated — checking a box asserts you hold that artifact, it does not create one. Recompute the corpus hashes →
Loading the Evidence Proof Map…