{
 "repetitions_per_race": 100,
 "rows": [
  {
   "certificates_judged": 771,
   "cleanroom_violations": [],
   "deterministic_replay": true,
   "elapsed_s": 276.8,
   "fabric": {
    "drop_rate": 0.05,
    "hold_rate": 0.2
   },
   "harness_unsafe": [],
   "id": "RT-BFT-02",
   "level": "consensus",
   "name": "commit || revocation (quarantine op)",
   "nondeterministic_seeds": [],
   "passed": true,
   "repetitions": 100
  },
  {
   "certificates_judged": 409,
   "cleanroom_violations": [],
   "deterministic_replay": true,
   "elapsed_s": 698.6,
   "fabric": {
    "hold_rate": 0.2,
    "view_change": true
   },
   "harness_unsafe": [],
   "id": "RT-BFT-04",
   "level": "consensus",
   "name": "commit || epoch (view) change",
   "nondeterministic_seeds": [],
   "passed": true,
   "repetitions": 100
  },
  {
   "certificates_judged": 1199,
   "cleanroom_violations": [],
   "deterministic_replay": true,
   "elapsed_s": 296.8,
   "fabric": {
    "dup_rate": 0.3,
    "hold_rate": 0.2
   },
   "harness_unsafe": [],
   "id": "RT-BFT-09",
   "level": "consensus",
   "name": "duplicate commit || execution",
   "nondeterministic_seeds": [],
   "passed": true,
   "repetitions": 100
  },
  {
   "certificates_judged": 800,
   "cleanroom_violations": [],
   "deterministic_replay": true,
   "elapsed_s": 364.3,
   "fabric": {
    "hold_rate": 0.2
   },
   "harness_unsafe": [],
   "id": "RT-BFT-11",
   "level": "consensus",
   "name": "crash || commit",
   "nondeterministic_seeds": [],
   "passed": true,
   "repetitions": 100
  },
  {
   "certificates_judged": 800,
   "cleanroom_violations": [],
   "deterministic_replay": true,
   "elapsed_s": 20.1,
   "fabric": {},
   "harness_unsafe": [],
   "id": "RT-BFT-12",
   "level": "consensus",
   "name": "restart || stale commit",
   "nondeterministic_seeds": [],
   "passed": true,
   "repetitions": 100
  },
  {
   "certificates_judged": 1548,
   "cleanroom_violations": [],
   "deterministic_replay": true,
   "elapsed_s": 1316.4,
   "fabric": {
    "hold_rate": 0.5
   },
   "harness_unsafe": [],
   "id": "RT-BFT-13",
   "level": "consensus",
   "name": "network reorder || commit",
   "nondeterministic_seeds": [],
   "passed": true,
   "repetitions": 100
  },
  {
   "certificates_judged": 997,
   "cleanroom_violations": [],
   "deterministic_replay": true,
   "elapsed_s": 547.9,
   "fabric": {
    "drop_rate": 0.05,
    "hold_rate": 0.5
   },
   "harness_unsafe": [],
   "id": "RT-BFT-14",
   "level": "consensus",
   "name": "network delay || revocation",
   "nondeterministic_seeds": [],
   "passed": true,
   "repetitions": 100
  },
  {
   "certificates_judged": 1198,
   "cleanroom_violations": [],
   "deterministic_replay": true,
   "elapsed_s": 554.0,
   "fabric": {
    "hold_rate": 0.2
   },
   "harness_unsafe": [],
   "id": "RT-BFT-15",
   "level": "consensus",
   "name": "partition || recovery",
   "nondeterministic_seeds": [],
   "passed": true,
   "repetitions": 100
  },
  {
   "authorized": 60,
   "authorized_after_change_returned": 0,
   "denied": 40,
   "id": "RT-BFT-01",
   "level": "governance (threads)",
   "name": "authorization || revocation",
   "passed": true,
   "repetitions": 100
  },
  {
   "authorized": 76,
   "authorized_after_change_returned": 0,
   "denied": 24,
   "id": "RT-BFT-05",
   "level": "governance (threads)",
   "name": "commit || policy mutation (grant revoked)",
   "passed": true,
   "repetitions": 100
  },
  {
   "authorized": 9,
   "authorized_after_change_returned": 0,
   "denied": 91,
   "id": "RT-BFT-06",
   "level": "governance (threads)",
   "name": "commit || assurance (identity) invalidation",
   "passed": true,
   "repetitions": 100
  },
  {
   "authorized": 68,
   "authorized_after_change_returned": 0,
   "denied": 32,
   "id": "RT-BFT-10",
   "level": "governance (threads)",
   "name": "retry || revocation",
   "passed": true,
   "repetitions": 100
  },
  {
   "at_expiry": "EXPIRED",
   "at_expiry_minus_1ns": "AUTHORIZED",
   "id": "RT-BFT-03",
   "level": "governance (deterministic)",
   "name": "commit || expiration (boundary)",
   "passed": true,
   "repetitions": 1
  },
  {
   "id": "RT-BFT-07",
   "level": "evidence (deterministic)",
   "name": "commit || evidence mutation",
   "passed": true,
   "repetitions": 1,
   "tampered": "VIOLATION",
   "tampered_problems": [
    "n2@1:R1:digest not bound to operation",
    "n2:R6:executed prefix 1..1 lacks valid certificates for [1]"
   ],
   "untampered": "SAFE"
  },
  {
   "id": "RT-BFT-08",
   "level": "not modelled",
   "name": "commit || dependency invalidation",
   "passed": null,
   "reason": "the PBFT engine has no dependency model; dependency invalidation is handled (if at all) outside consensus",
   "repetitions": 0,
   "status": "UNKNOWN"
  }
 ],
 "totals": {
  "certificates_judged_cleanroom": 7722,
  "consensus_schedules": 800,
  "deterministic": true,
  "violations": 0
 }
}