{
 "commit": "f8696dff26684b60f465be69a533336bd56e62a6",
 "verdict": "APPLY",
 "run_refusal": 0,
 "counts": {
  "refused": 0,
  "applied": 12,
  "new_not_pass": 2,
  "stale": 0
 },
 "findings": [
  {
   "kind": "UNLISTED",
   "path": "specs/analog/bench.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/linear.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/linear_zoh.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: ExprCall(@sin))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/analog/mos_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/analog/sar_cdac.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/automation/app-tabs.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/fpga/systolic.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/igla/coder/kill_rule.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: ExprCall(undeclared fn))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/igla/coder/preflight.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/port/trios-railway/crates/trios-igla-race/src/bin/reset_queue.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/t27mcp/visual_output.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/tools/t27o/spice_convert.t27",
   "what": "the reference passes it and the ledger does not name it (t27b pass)",
   "t27b": "pass",
   "action": "ADD",
   "refusal_reason": 0
  }
 ]
}