{
 "commit": "e6718f732c28b021d930f87db343c947997648f3",
 "verdict": "APPLY",
 "run_refusal": 0,
 "counts": {
  "refused": 3,
  "applied": 19,
  "new_not_pass": 1,
  "stale": 1
 },
 "findings": [
  {
   "kind": "UNEXPECTED FAILURE",
   "path": "specs/analog/accept_sar.t27",
   "what": "ledger pass, now timeout: ",
   "t27b": "timeout",
   "action": "REFUSE",
   "refusal_reason": 1
  },
  {
   "kind": "UNEXPECTED FAILURE",
   "path": "specs/claw/suggest_feed.t27",
   "what": "ledger pass, now timeout: ",
   "t27b": "timeout",
   "action": "REFUSE",
   "refusal_reason": 1
  },
  {
   "kind": "STALE",
   "path": "specs/t27os/fanout.t27",
   "what": "the reference does not pass it any more (blocked: does not compile: spec.zig:182:27: error: use of undeclared identifier 'heading')",
   "t27b": "blocked",
   "action": "DROP",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/analog/board/sar_cmp_qi_tab_n.t27",
   "what": "the reference passes it and the ledger does not name it (t27b pass)",
   "t27b": "pass",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/analog/board/sar_cmp_qi_tab_p.t27",
   "what": "the reference passes it and the ledger does not name it (t27b pass)",
   "t27b": "pass",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/analog/board/sar_cmp_qi_unit.t27",
   "what": "the reference passes it and the ledger does not name it (t27b pass)",
   "t27b": "pass",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/analog/board/sar_cmp_qi_unit_probe_ax7203.t27",
   "what": "the reference passes it and the ledger does not name it (t27b pass)",
   "t27b": "pass",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/analog/sar_dff_q.t27",
   "what": "the reference passes it and the ledger does not name it (t27b pass)",
   "t27b": "pass",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/ci/heavy_skip.t27",
   "what": "the reference passes it and the ledger does not name it (t27b pass)",
   "t27b": "pass",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/t27f/formula_table.t27",
   "what": "the reference passes it and the ledger does not name it (t27b pass)",
   "t27b": "pass",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/t27os/devices.t27",
   "what": "the reference passes it and the ledger does not name it (t27b pass)",
   "t27b": "pass",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/t27os/identity_table.t27",
   "what": "the reference passes it and the ledger does not name it (t27b pass)",
   "t27b": "pass",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/t27os/keysync.t27",
   "what": "the reference passes it and the ledger does not name it (t27b pass)",
   "t27b": "pass",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/t27os/keysync_rules.t27",
   "what": "the reference passes it and the ledger does not name it (t27b pass)",
   "t27b": "pass",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/t27os/lanes_view.t27",
   "what": "the reference passes it and the ledger does not name it (t27b mismatch: MISMATCH rows_are_ordered_by_importance: jit Ok(1), interpreter Err(Fault(\"1-byte read at stack+0x952 of bytes never written\")))",
   "t27b": "mismatch",
   "action": "REFUSE",
   "refusal_reason": 4
  },
  {
   "kind": "UNLISTED",
   "path": "specs/t27os/live_data.t27",
   "what": "the reference passes it and the ledger does not name it (t27b pass)",
   "t27b": "pass",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/t27os/orbit_view.t27",
   "what": "the reference passes it and the ledger does not name it (t27b pass)",
   "t27b": "pass",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/t27os/pins.t27",
   "what": "the reference passes it and the ledger does not name it (t27b pass)",
   "t27b": "pass",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/t27os/term_input.t27",
   "what": "the reference passes it and the ledger does not name it (t27b pass)",
   "t27b": "pass",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/tri/seals/merge_driver.t27",
   "what": "the reference passes it and the ledger does not name it (t27b pass)",
   "t27b": "pass",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/verified/seal_kinds.t27",
   "what": "the reference passes it and the ledger does not name it (t27b pass)",
   "t27b": "pass",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/verified/verdict_notes.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: FnDecl(reference CSE hoist))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  }
 ]
}