{
 "checked_at_utc": "2026-10-04T12:54:20Z",
 "explanation": "Artifacts were computed by `contract_assurance_check.py run` in a clean worktree of the committed code. If another session's uncommitted edit to a dependency is present in the working tree, the artifacts read STALE and dependants DEGRADED here -- by design: an old verification never stays VALID for changed code. Re-run the gate once that edit is committed.",
 "graph": {
  "AUTHORIZATION_DECISION": "VALID",
  "DECIDE_CONFORMS_TO_ORDERED_GUARD_MODEL": "VALID",
  "DELEGATION_SCOPE_ATTENUATION": "VALID",
  "LIFECYCLE_MODEL": "VALID",
  "REVOCATION_NEVER_OPTIONAL": "VALID",
  "TEMPORAL_TRACE_PROPERTIES": "VALID",
  "Z3_ENCODING_FAITHFUL": "VALID"
 },
 "per_property": {
  "DECIDE_CONFORMS_TO_ORDERED_GUARD_MODEL": {
   "status": "VALID",
   "why": []
  },
  "DELEGATION_SCOPE_ATTENUATION": {
   "status": "VALID",
   "why": []
  },
  "LIFECYCLE_MODEL": {
   "status": "VALID",
   "why": []
  },
  "TEMPORAL_TRACE_PROPERTIES": {
   "status": "VALID",
   "why": []
  },
  "Z3_ENCODING_FAITHFUL": {
   "status": "VALID",
   "why": []
  }
 }
}