{
 "commit": "380a81f249234a0b2cdf2668d8e35e606371e87e",
 "verdict": "APPLY",
 "run_refusal": 0,
 "counts": {
  "refused": 0,
  "applied": 171,
  "new_not_pass": 61,
  "stale": 0
 },
 "findings": [
  {
   "kind": "UNLISTED",
   "path": "specs/ar/asp_solver.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/ar/coa_planning.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/ar/datalog_engine.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/ar/proof_trace.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/ar/ternary_logic.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/owner_voice_reel.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/base/ternary_memory.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: type mismatch)",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/bus/schema.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: ExprArrayLiteral)",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/claw/github_surface.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/claw/preview.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/claw/sarif.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/claw/sarif_feed.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/claw/sarif_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/claw/suggest.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/claw/suggest_feed.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/claw/t27f_gate.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/claw/t27f_gate_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/claw/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/compiler/linker.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/compiler/parser.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: ExprCall(method))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/config/migrate.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: ExprIdentifier(undeclared))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/config/paths.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: type mismatch)",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/config/schema.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: ExprIdentifier(undeclared))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/crons/t27-own-model-board.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/file/schema.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/testbench/bootrom_tb.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/vcd_conformance_compare.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: ExprArrayLiteral)",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/igla/coder/ternary_gemm_gpu.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/evaluation/multi_lang_harness.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/race/ternary_gemm.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/race/ternary_mac.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/training/low_bit_ternary.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/isa/registers.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: ExprArrayLiteral(text element))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/isa/ternary_arithmetic.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/isa/ternary_bitwise.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/isa/ternary_control_flow.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: FnDecl(reference var param))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/isa/ternary_deque.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: FnDecl(reference var param))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/isa/ternary_hash.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: FnDecl(reference var param))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/isa/ternary_memory.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: FnDecl(reference var param))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/isa/ternary_pattern_matching.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/isa/ternary_search.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/isa/ternary_set.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: FnDecl(reference var param))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/isa/ternary_shift.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: InvariantBlock)",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/isa/ternary_sorting.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: type mismatch)",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/isa/ternary_tree.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/lsp/protocol.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/lsp/schema.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: type mismatch)",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/math/property_test_template.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/memory/memory_primitives.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/memory/notebooklm.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: type mismatch)",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/memory/tmem/bridge.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/memory/tmem/conformance.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/memory/tmem/edge_demo.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/memory/tmem/stream_compute.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/memory/tmem/tensorpack.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/ml/optimizer/sgd_momentum.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: ExprIdentifier(undeclared))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/ml/recurrent/seq2seq.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/ml/rl/ppo_actor.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/ml/rl/sac_actor.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/ml/transformer/norm.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/ml/transformer/positional_enc.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/nn/gla.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/numeric/lucas_accumulator.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: ExprCall(std.math.pow))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/numeric/paper_claims.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/numeric/posit_ladder_control.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: ExprCall(std.math.pow))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/numeric/tf3.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: ExprCall(std.*))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/physics/formula_discovery.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: ConstDecl)",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/physics/physical_limits.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/physics/sacred_lattice.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: ExprCall(@mod))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/pipeline/benchmarks.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/pipeline/e2e_test.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: FnDecl(reference var param))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/pipeline/experience_save.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/browseros/trios/agent-server/apps/server/src/api/routes/queen-public-leaderboard.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/browseros/trios/agent-server/apps/server/src/api/utils/security.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/tools/builtin_parity_table.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: StmtAssign(undeclared))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/port/tools/dedupe_identical_tests.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/tools/gft_deep_demo.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/tools/gft_generalize_demo.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/tools/published_figures.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/tools/queen/feed_untested.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/tools/trinity_fpga_adapter.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/tools/verify_trainer_c.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/portable/relay_observer.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/provider/schema.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/runtime/execute.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: type (alias))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/runtime/process.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: ExprTuple)",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/server/http.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: ExprIdentifier(undeclared))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/server/mdns.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: ExprIdentifier(undeclared))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/server/project.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: ExprArrayLiteral(text element))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/server/provider.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/server/router.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: type (alias))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/server/session.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/server/sse.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: type (alias))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/sync/schema.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: ExprIdentifier(undeclared))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/t27f/frame_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/t27f/outfit_atlas.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/particle_engine.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: ExprCall(@mod))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/t27f/particle_field.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: ExprCall(@ceil))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/t27f/reel_particles.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: ExprCall(@mod))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/t27f/reel_particles_mux.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: ExprCall(@mod))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/t27f/token_floor.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: type [N]T)",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/t27f/token_floor_mux.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: ExprCall(std.*))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/t27mcp/seal_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/test_framework/core.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: ExprCall(std.*))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/tri/collections/array.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/collections/bitmap.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/collections/bitvector.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/collections/circular_buffer.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/collections/deque.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/collections/linked_list.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/collections/lockfree_stack.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/collections/lru.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/collections/lru_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/tri/collections/priority_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/tri/collections/skip_list.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/collections/stack.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/collections/variant.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/crypto/base32.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/crypto/base64.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/encoding/bson.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: ExprArrayLiteral)",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/tri/encoding/csv.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: ExprArrayLiteral)",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/tri/encoding/html.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/encoding/markup.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: ExprArrayLiteral)",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/tri/encoding/msgpack.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: ExprArrayLiteral)",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/tri/encoding/xml.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/fmt_source.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/graph/dijkstra.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/graph/disjoint_set.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/graph/graph_bfs.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: ExprCall(std.*))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/tri/graph/prims_mst.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/io/filesystem.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/io/fs.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/math/matrix.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/math/statistics.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: ExprCall(@floor))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/tri/net/async_stream.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/net/http.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/net/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/tri/net/url.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/pipeline/builder.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: ExprCall(@constCast))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/tri/search/aho_corasick.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/search/bloom_filter.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/search/boyer_moore.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/search/knuth_morris_pratt.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/search/match.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/search/rabin_karp.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/search/regex_advanced.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/search/search.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/sort/heap_sort.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/sort/quick_sort.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/sort/radix_sort.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/sort/shell_sort.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/sort/sort.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/trees/avl_tree.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/trees/b_tree.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/tri/trees/fenwick_tree.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/trees/kd_tree.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: FnDecl(reference var param))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/tri/trees/quadtree.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: FnDecl(reference var param))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/tri/trees/red_black_tree.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/trees/rtree.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: FnDecl(reference var param))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/tri/trees/segment_tree.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/trees/trie.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: FnDecl(reference var param))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/tri/utils/config.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: ExprIdentifier(undeclared))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/tri/utils/logger.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/utils/random.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/utils/terminal.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: ExprCall(@import))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/tri/utils/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/tri/utils/time.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: ExprCall(@divFloor))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/tri/utils/utf8.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: ExprCall(@truncate))",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  },
  {
   "kind": "UNLISTED",
   "path": "specs/tri/utils/version.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/vsa/ops.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/vsa/vsa_core.t27",
   "what": "the reference passes it and the ledger does not name it (t27b blocked: ExprArrayLiteral)",
   "t27b": "blocked",
   "action": "ADD",
   "refusal_reason": 0
  }
 ]
}