diff --git a/docs/reports/t27b_expectations.json b/docs/reports/t27b_expectations.json index b303d2edee..4e02858cb5 100644 --- a/docs/reports/t27b_expectations.json +++ b/docs/reports/t27b_expectations.json @@ -2,9 +2,9 @@ "schema_version": 1, "generated_by": "t27b ledger steward (specs/jobs/t27b_ledger_steward.t27), #8654", "source": { - "commit": "2520ee1a5985688b0ec2fc5c0d8867d6add1a6a9", + "commit": "76eb8f4b66f59a64f80f23fca6aebc8bca928098", "ref": "master", - "finished": "2026-10-19T01:07:28Z", + "finished": "2026-10-19T14:12:44Z", "asserts_counted": true }, "reasons": { @@ -12,7 +12,7 @@ "reference-bug": "the reference passes it for the wrong reason; t27b is right not to", "n/a": "outside what t27b is for (say why in the PR that sets it)" }, - "max_not_pass": 127, + "max_not_pass": 128, "entries": [ {"path": "specs/a/b_c.t27", "t27b": "pass"}, {"path": "specs/a_b/c.t27", "t27b": "pass"}, @@ -55,6 +55,7 @@ {"path": "specs/analog/sar_cdac.t27", "t27b": "pass"}, {"path": "specs/analog/sar_comparator.t27", "t27b": "pass"}, {"path": "specs/analog/sar_comparator_psp.t27", "t27b": "pass"}, + {"path": "specs/analog/sar_kick.t27", "t27b": "pass"}, {"path": "specs/analog/sar_logic.t27", "t27b": "pass"}, {"path": "specs/analog/sar_switch.t27", "t27b": "pass"}, {"path": "specs/api/c_abi.t27", "t27b": "pass"}, @@ -208,6 +209,7 @@ {"path": "specs/claw/lab_disk.t27", "t27b": "pass"}, {"path": "specs/claw/lab_receipt.t27", "t27b": "pass"}, {"path": "specs/claw/ledger_union.t27", "t27b": "pass"}, + {"path": "specs/claw/merge_judge.t27", "t27b": "pass"}, {"path": "specs/claw/merge_lane.t27", "t27b": "pass"}, {"path": "specs/claw/model_route.t27", "t27b": "pass"}, {"path": "specs/claw/move_gate.t27", "t27b": "pass"}, @@ -263,6 +265,7 @@ {"path": "specs/compiler/theory/vacuity_census.t27", "t27b": "pass"}, {"path": "specs/compiler/theory/warmup.t27", "t27b": "pass"}, {"path": "specs/compiler/theory/warmup_t27b.t27", "t27b": "pass"}, + {"path": "specs/compiler/use_splice.t27", "t27b": "pass"}, {"path": "specs/compiler/verilog_aos_memory.t27", "t27b": "pass"}, {"path": "specs/compiler/verilog_branch_context.t27", "t27b": "pass"}, {"path": "specs/compiler/verilog_entry_port_collision.t27", "t27b": "pass"}, @@ -610,6 +613,7 @@ {"path": "specs/ml/rl/sac_actor.t27", "t27b": "blocked", "blocker": "ExprCall(undeclared fn)", "reason": "unimplemented"}, {"path": "specs/ml/rl/sac_critic.t27", "t27b": "pass"}, {"path": "specs/ml/thread_model.t27", "t27b": "blocked", "blocker": "ExprCall(undeclared fn)", "reason": "unimplemented"}, + {"path": "specs/ml/train_hslm.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, {"path": "specs/ml/train_slice_model.t27", "t27b": "blocked", "blocker": "ExprCall(undeclared fn)", "reason": "unimplemented"}, {"path": "specs/ml/transformer/encoder_block.t27", "t27b": "blocked", "blocker": "ExprCall(undeclared fn)", "reason": "unimplemented"}, {"path": "specs/ml/transformer/feed_forward_network.t27", "t27b": "pass"}, @@ -2137,19 +2141,31 @@ {"path": "specs/vsa/similarity_search.t27", "t27b": "pass"}, {"path": "specs/vsa/trinity_compat.t27", "t27b": "pass"}, {"path": "specs/vsa/vsa_core.t27", "t27b": "blocked", "blocker": "ExprArrayLiteral", "reason": "unimplemented"}, + {"path": "specs/widgets/bit_autopsy_logic.t27", "t27b": "pass"}, + {"path": "specs/widgets/bit_diff_logic.t27", "t27b": "pass"}, + {"path": "specs/widgets/build_receipt.t27", "t27b": "pass"}, {"path": "specs/widgets/catalog.t27", "t27b": "pass"}, {"path": "specs/widgets/fasm_skyline_logic.t27", "t27b": "pass"}, + {"path": "specs/widgets/fsm_sketch_logic.t27", "t27b": "pass"}, {"path": "specs/widgets/gallery_rules.t27", "t27b": "pass"}, {"path": "specs/widgets/gatle_rule.t27", "t27b": "pass"}, {"path": "specs/widgets/html_out.t27", "t27b": "pass"}, + {"path": "specs/widgets/js_num.t27", "t27b": "pass"}, + {"path": "specs/widgets/js_val.t27", "t27b": "pass"}, {"path": "specs/widgets/json_scan.t27", "t27b": "pass"}, {"path": "specs/widgets/jtag_verdict.t27", "t27b": "pass"}, {"path": "specs/widgets/lut_depth_logic.t27", "t27b": "pass"}, {"path": "specs/widgets/lut_explain_logic.t27", "t27b": "pass"}, {"path": "specs/widgets/lut_treemap_logic.t27", "t27b": "pass"}, {"path": "specs/widgets/page_reader.t27", "t27b": "pass"}, + {"path": "specs/widgets/pin_map_logic.t27", "t27b": "pass"}, {"path": "specs/widgets/race_the_bee.t27", "t27b": "pass"}, {"path": "specs/widgets/stat_card_logic.t27", "t27b": "pass"}, + {"path": "specs/widgets/synth_smells_logic.t27", "t27b": "pass"}, + {"path": "specs/widgets/t27_cell.t27", "t27b": "pass"}, + {"path": "specs/widgets/t27_vs_nvfp4.t27", "t27b": "pass"}, + {"path": "specs/widgets/test_touch.t27", "t27b": "pass"}, + {"path": "specs/widgets/uart_bucket.t27", "t27b": "pass"}, {"path": "specs/xilinx7/bench_coverage.t27", "t27b": "pass"}, {"path": "specs/xilinx7/far.t27", "t27b": "pass"}, {"path": "specs/xilinx7/flow.t27", "t27b": "pass"},