{
 "commit": "9d9ddea4648d3fedf63b71ed8724898fdcabe51b",
 "verdict": "APPLY",
 "run_refusal": 0,
 "counts": {
  "refused": 1,
  "applied": 40,
  "new_not_pass": 2,
  "stale": 0
 },
 "findings": [
  {
   "kind": "UNEXPECTED FAILURE",
   "path": "specs/claw/suggest_feed.t27",
   "what": "ledger pass, now timeout: ",
   "t27b": "timeout",
   "action": "REFUSE",
   "refusal_reason": 1
  },
  {
   "kind": "UNLISTED",
   "path": "specs/analog/sar_kick_net.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/vacask_compare.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/lab/job_kind.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/lab/lab_t27b_cache.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/lab/lab_t27b_ratchet.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/lab/lab_t27b_report.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/lab/lab_t27b_run.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/lab/lab_t27b_text.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/lab/paths.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/lab/plan.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/lab/prune.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/lab/text.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/lab/verdict.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/scripts/gen_w868.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/install.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/tri/remote.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/coverage/coverage.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/land/land.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/loop/lesson.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/loop/tick.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/remote/remote_job.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/drift.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/t27b/conformance/lazy_const.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/widgets/bit_autopsy.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/widgets/bit_diff.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/widgets/canvas_out.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/widgets/cost_curves.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
  },
  {
   "kind": "UNLISTED",
   "path": "specs/widgets/fasm_skyline.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/widgets/fits_on.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/widgets/fsm_sketch.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: ExprCast(f64))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/widgets/gf16_calc.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/widgets/lut_depth.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/widgets/lut_explain.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/widgets/lut_treemap.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/widgets/pin_map.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/widgets/resource_bars.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/widgets/sha256_hex.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/widgets/stat_card.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/widgets/synth_smells.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/widgets/text_meas.t27",
   "what": "the reference passes it and the ledger does not name it (t27b pass)",
   "t27b": "pass",
   "action": "ADD",
   "refusal_reason": 0
  }
 ]
}