6fd03ae045b8bb85f2311651eac7bfa3d1fc37c584091a29e757b3050e866230  BOUNDARY_VERDICT_CERTIFICATE.json
df9522b6b61a5e71a020c658685284e31cf0a108185205fe3da19a669de082f4  CONSEQUENCE_GRAPH.json
e6c516e6837bd280ba50ad853906905cf4dc74ea4a8f40169f7844e2624eff55  CONSEQUENCE_UNIT_LEDGER.jsonl
9a7c88d5e66fa113304d89bae92b2de54c18e1067744480a75b9c994b75fbbdc  EXTERNAL_VERIFY_REPORT.json
cb4ecf7eca345ea443f784b534aa8b1e983f2484d7ed476768e9bc098097f04d  LIMITS_AND_SCOPE.md
fc818e881ba5ff9ffc8acffe8a0610a657898fcb05e213bbd5c1e6ae3b7d3895  PROOF_SUFFICIENCY_MATRIX.json
53d9a922771ef81286501a5d2119ae7750185fe9489c1a017bb2da4c76eaf7ec  README.md
c87f9d5de3f4c4ed013dbf5e8a7cf6ba971cda9cd948abd015d70f6b53fba8d6  verify.sh
