{
 "failed": [],
 "note": "P21-P40; a FAIL is reported, never hidden",
 "passed": 20,
 "properties": 20,
 "results": [
  {
   "detail": "inherited authority never widens",
   "property": "P21",
   "result": "PASS"
  },
  {
   "detail": "unknown composition is not allow",
   "property": "P22",
   "result": "PASS"
  },
  {
   "detail": "threshold met but no authority root -> not authorized",
   "property": "P23",
   "result": "PASS"
  },
  {
   "detail": "untrusted memory carries no authority",
   "property": "P24",
   "result": "PASS"
  },
  {
   "detail": "prediction cannot escalate authority",
   "property": "P25",
   "result": "PASS"
  },
  {
   "detail": "deterioration restricts, never grants",
   "property": "P26",
   "result": "PASS"
  },
  {
   "detail": "revoked -> active is invalid",
   "property": "P27",
   "result": "PASS"
  },
  {
   "detail": "autonomy over max refused",
   "property": "P28",
   "result": "PASS"
  },
  {
   "detail": "forbidden self-modification refused",
   "property": "P29",
   "result": "PASS"
  },
  {
   "detail": "cross-tenant reachability surfaced",
   "property": "P30",
   "result": "PASS"
  },
  {
   "detail": "production claim needs E5",
   "property": "P31",
   "result": "PASS"
  },
  {
   "detail": "differential disagreement -> INCONCLUSIVE",
   "property": "P32",
   "result": "PASS"
  },
  {
   "detail": "chain verifies and tamper is detected",
   "property": "P33",
   "result": "PASS"
  },
  {
   "detail": "forged CAO refused",
   "property": "P34",
   "result": "PASS"
  },
  {
   "detail": "unauthorized influence detected",
   "property": "P35",
   "result": "PASS"
  },
  {
   "detail": "purpose laundering refused",
   "property": "P36",
   "result": "PASS"
  },
  {
   "detail": "emergency chaining refused",
   "property": "P37",
   "result": "PASS"
  },
  {
   "detail": "fork detected",
   "property": "P38",
   "result": "PASS"
  },
  {
   "detail": "child within parent",
   "property": "P39",
   "result": "PASS"
  },
  {
   "detail": "broken provenance fails closed",
   "property": "P40",
   "result": "PASS"
  }
 ],
 "schema": "cain.apex.formal-properties.v1"
}