{
 "failed": [],
 "note": "P41-P55; a FAIL is reported, never hidden",
 "passed": 15,
 "properties": 15,
 "results": [
  {
   "detail": "material change invalidates the certificate",
   "property": "P41",
   "result": "PASS"
  },
  {
   "detail": "authority above the ceiling is restricted",
   "property": "P42",
   "result": "PASS"
  },
  {
   "detail": "skill escalation refused",
   "property": "P43",
   "result": "PASS"
  },
  {
   "detail": "model change -> recertification",
   "property": "P44",
   "result": "PASS"
  },
  {
   "detail": "prediction cannot authorize",
   "property": "P45",
   "result": "PASS"
  },
  {
   "detail": "conformance does not increase with mismatches",
   "property": "P46",
   "result": "PASS"
  },
  {
   "detail": "higher consequence -> stronger assurance",
   "property": "P47",
   "result": "PASS"
  },
  {
   "detail": "redundant authority is restricted",
   "property": "P48",
   "result": "PASS"
  },
  {
   "detail": "forbidden source modification refused",
   "property": "P49",
   "result": "PASS"
  },
  {
   "detail": "one CAO, protocol-independent",
   "property": "P50",
   "result": "PASS"
  },
  {
   "detail": "swarm cannot multiply authority",
   "property": "P51",
   "result": "PASS"
  },
  {
   "detail": "different environment -> not the same authority",
   "property": "P52",
   "result": "PASS"
  },
  {
   "detail": "certificate invalid on material change",
   "property": "P53",
   "result": "PASS"
  },
  {
   "detail": "state transition receipt binds both state digests",
   "property": "P54",
   "result": "PASS"
  },
  {
   "detail": "simulation never authorizes physical execution",
   "property": "P55",
   "result": "PASS"
  }
 ],
 "schema": "cain.continuum.formal-properties.v1"
}