{
 "failed": [],
 "note": "machine-checkable properties; a FAIL is reported, never hidden",
 "passed": 20,
 "properties": 20,
 "results": [
  {
   "detail": "child exceeds parent",
   "property": "P1",
   "result": "PASS"
  },
  {
   "detail": "revocation refuses after the effective time",
   "property": "P2",
   "result": "PASS"
  },
  {
   "detail": "expired state is not VALID",
   "property": "P3",
   "result": "PASS"
  },
  {
   "detail": "missing dimensions -> INCONCLUSIVE",
   "property": "P4",
   "result": "PASS"
  },
  {
   "detail": "expansion classified",
   "property": "P5",
   "result": "PASS"
  },
  {
   "detail": "model change needs recertification",
   "property": "P6",
   "result": "PASS"
  },
  {
   "detail": "skill change needs recertification",
   "property": "P7",
   "result": "PASS"
  },
  {
   "detail": "memory change needs recertification",
   "property": "P8",
   "result": "PASS"
  },
  {
   "detail": "tool substitution revokes",
   "property": "P9",
   "result": "PASS"
  },
  {
   "detail": "out-of-context refused",
   "property": "P10",
   "result": "PASS"
  },
  {
   "detail": "emergency auto-expires",
   "property": "P11",
   "result": "PASS"
  },
  {
   "detail": "fork detected",
   "property": "P12",
   "result": "PASS"
  },
  {
   "detail": "replay refused",
   "property": "P13",
   "result": "PASS"
  },
  {
   "detail": "drift fails closed",
   "property": "P14",
   "result": "PASS"
  },
  {
   "detail": "capability change revokes authority",
   "property": "P15",
   "result": "PASS"
  },
  {
   "detail": "budget exceeded",
   "property": "P16",
   "result": "PASS"
  },
  {
   "detail": "revoked credential refused",
   "property": "P17",
   "result": "PASS"
  },
  {
   "detail": "stale epoch superseded",
   "property": "P18",
   "result": "PASS"
  },
  {
   "detail": "broken provenance refused",
   "property": "P19",
   "result": "PASS"
  },
  {
   "detail": "unverified trust upgrade detected",
   "property": "P20",
   "result": "PASS"
  }
 ],
 "schema": "cain.legion.formal-properties.v1"
}