+++ schema = 6 paper = “SeshadriUgander2020IIATesting” closure_status = “current” acceptance_credential = false closed_at = “2026-09-06”

[accepted_graph] pointer = “papers/SeshadriUgander2020IIATesting/audit/obligation_evidence/current_accepted_graph.json” graph_sha256 = “46e2a405b91ed221211c556608a88fddd5aaf99933d9a612896c94776533bd7e”

+++

Final closure receipt

This file points to the selected accepted obligation graph. The graph’s terminal closure root is the sole machine acceptance credential.

Accepted review and proof record.