From 93f91720e67dffd632c105ec936f15fde0f20388 Mon Sep 17 00:00:00 2001 From: Dmitrii Vasilev Date: Mon, 19 Oct 2026 15:32:55 +0700 Subject: [PATCH 1/3] ledger: five t27b rows master lacks -- raw_writer, hslm_bwd_ptx, zig_convert, hslm_f32_study pass, eval_hslm blocked; cap 129 -> 130 (Closes #10951) Co-Authored-By: Claude Opus 5.5 --- docs/reports/t27b_expectations.json | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/docs/reports/t27b_expectations.json b/docs/reports/t27b_expectations.json index cd6a794ab0..530c82ae12 100644 --- a/docs/reports/t27b_expectations.json +++ b/docs/reports/t27b_expectations.json @@ -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": 129, + "max_not_pass": 130, "entries": [ {"path": "specs/a/b_c.t27", "t27b": "pass"}, {"path": "specs/a_b/c.t27", "t27b": "pass"}, @@ -50,6 +50,7 @@ {"path": "specs/analog/mos_psp103_50c_data.t27", "t27b": "pass"}, {"path": "specs/analog/mos_psp103_data.t27", "t27b": "pass"}, {"path": "specs/analog/mos_table.t27", "t27b": "pass"}, + {"path": "specs/analog/raw_writer.t27", "t27b": "pass"}, {"path": "specs/analog/sar_adc.t27", "t27b": "pass"}, {"path": "specs/analog/sar_cdac.t27", "t27b": "pass"}, {"path": "specs/analog/sar_comparator.t27", "t27b": "pass"}, @@ -477,6 +478,7 @@ {"path": "specs/igla/coder/benchmark.t27", "t27b": "blocked", "blocker": "ExprIdentifier(undeclared)", "reason": "unimplemented"}, {"path": "specs/igla/coder/dataset.t27", "t27b": "blocked", "blocker": "ExprIdentifier(undeclared)", "reason": "unimplemented"}, {"path": "specs/igla/coder/eval.t27", "t27b": "blocked", "blocker": "ExprIdentifier(undeclared)", "reason": "unimplemented"}, + {"path": "specs/igla/coder/hslm_bwd_ptx.t27", "t27b": "pass"}, {"path": "specs/igla/coder/kill_rule.t27", "t27b": "pass"}, {"path": "specs/igla/coder/pipeline.t27", "t27b": "blocked", "blocker": "ConstDecl(slice)", "reason": "unimplemented"}, {"path": "specs/igla/coder/preflight.t27", "t27b": "pass"}, @@ -555,9 +557,11 @@ {"path": "specs/ml/activation/softmax.t27", "t27b": "blocked", "blocker": "ExprCall(undeclared fn)", "reason": "unimplemented"}, {"path": "specs/ml/activation/tanh_activation.t27", "t27b": "blocked", "blocker": "ExprCall(undeclared fn)", "reason": "unimplemented"}, {"path": "specs/ml/arena_heap.t27", "t27b": "pass"}, + {"path": "specs/ml/eval_hslm.t27", "t27b": "blocked", "blocker": "ExprCall(undeclared fn)", "reason": "unimplemented"}, {"path": "specs/ml/file_io_contract.t27", "t27b": "pass"}, {"path": "specs/ml/host_io_model.t27", "t27b": "blocked", "blocker": "ExprCall(undeclared fn)", "reason": "unimplemented"}, {"path": "specs/ml/hslm_corpus.t27", "t27b": "blocked", "blocker": "ExprCall(undeclared fn)", "reason": "unimplemented"}, + {"path": "specs/ml/hslm_f32_study.t27", "t27b": "pass"}, {"path": "specs/ml/igla_champion_capsule.t27", "t27b": "blocked", "blocker": "ExprIdentifier(undeclared)", "reason": "unimplemented"}, {"path": "specs/ml/layers/avgpool2d_layer.t27", "t27b": "pass"}, {"path": "specs/ml/layers/batchnorm_layer.t27", "t27b": "pass"}, @@ -1670,6 +1674,7 @@ {"path": "specs/tools/t27o/rust_std.t27", "t27b": "pass"}, {"path": "specs/tools/t27o/service.t27", "t27b": "pass"}, {"path": "specs/tools/t27o/spice_convert.t27", "t27b": "pass"}, + {"path": "specs/tools/t27o/zig_convert.t27", "t27b": "pass"}, {"path": "specs/tools/tri/abandoned.t27", "t27b": "pass"}, {"path": "specs/tools/tri/cell.t27", "t27b": "pass"}, {"path": "specs/tools/tri/census.t27", "t27b": "pass"}, From 2e8d38dc905887fb9d46197da8241ab6383dcd98 Mon Sep 17 00:00:00 2001 From: Dmitrii Vasilev Date: Mon, 19 Oct 2026 15:52:09 +0700 Subject: [PATCH 2/3] ledger: seven passing t27b rows master lacks -- sar_adc_ax7203, ptx_emit, widget_factory, four widgets specs (Closes #10951) Co-Authored-By: Claude Sonnet 5.5 --- docs/reports/t27b_expectations.json | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/docs/reports/t27b_expectations.json b/docs/reports/t27b_expectations.json index 530c82ae12..9326431cf2 100644 --- a/docs/reports/t27b_expectations.json +++ b/docs/reports/t27b_expectations.json @@ -400,6 +400,7 @@ {"path": "specs/fpga/rgmii_sniff.t27", "t27b": "pass"}, {"path": "specs/fpga/ro_race.t27", "t27b": "pass"}, {"path": "specs/fpga/router.t27", "t27b": "pass"}, + {"path": "specs/fpga/sar_adc_ax7203.t27", "t27b": "pass"}, {"path": "specs/fpga/secded.t27", "t27b": "pass"}, {"path": "specs/fpga/simulator.t27", "t27b": "pass"}, {"path": "specs/fpga/stdlib.t27", "t27b": "pass"}, @@ -483,6 +484,7 @@ {"path": "specs/igla/coder/pipeline.t27", "t27b": "blocked", "blocker": "ConstDecl(slice)", "reason": "unimplemented"}, {"path": "specs/igla/coder/preflight.t27", "t27b": "pass"}, {"path": "specs/igla/coder/prm.t27", "t27b": "pass"}, + {"path": "specs/igla/coder/ptx_emit.t27", "t27b": "pass"}, {"path": "specs/igla/coder/ternary_gemm_gpu.t27", "t27b": "pass"}, {"path": "specs/igla/coder/ternary_gemm_ptx.t27", "t27b": "pass"}, {"path": "specs/igla/coder/tokenizer.t27", "t27b": "pass"}, @@ -1578,6 +1580,7 @@ {"path": "specs/t27f/topic_reel.t27", "t27b": "pass"}, {"path": "specs/t27f/ui_plan.t27", "t27b": "pass"}, {"path": "specs/t27f/why_card.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, + {"path": "specs/t27f/widget_factory.t27", "t27b": "pass"}, {"path": "specs/t27mcp/check_hints.t27", "t27b": "pass"}, {"path": "specs/t27mcp/dashboard.t27", "t27b": "pass"}, {"path": "specs/t27mcp/examples.t27", "t27b": "pass"}, @@ -2131,6 +2134,10 @@ {"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/catalog.t27", "t27b": "pass"}, + {"path": "specs/widgets/gallery_rules.t27", "t27b": "pass"}, + {"path": "specs/widgets/gatle_rule.t27", "t27b": "pass"}, + {"path": "specs/widgets/page_reader.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"}, From 1680e238e3c39752c5836b2218b772637b8eb9e4 Mon Sep 17 00:00:00 2001 From: Dmitrii Vasilev Date: Mon, 19 Oct 2026 16:06:21 +0700 Subject: [PATCH 3/3] ledger: specs/tools/t27o/zig_std.t27 pass (Closes #10951) Co-Authored-By: Claude Sonnet 5.5 --- docs/reports/t27b_expectations.json | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/reports/t27b_expectations.json b/docs/reports/t27b_expectations.json index 9326431cf2..4ec002cd4e 100644 --- a/docs/reports/t27b_expectations.json +++ b/docs/reports/t27b_expectations.json @@ -1678,6 +1678,7 @@ {"path": "specs/tools/t27o/service.t27", "t27b": "pass"}, {"path": "specs/tools/t27o/spice_convert.t27", "t27b": "pass"}, {"path": "specs/tools/t27o/zig_convert.t27", "t27b": "pass"}, + {"path": "specs/tools/t27o/zig_std.t27", "t27b": "pass"}, {"path": "specs/tools/tri/abandoned.t27", "t27b": "pass"}, {"path": "specs/tools/tri/cell.t27", "t27b": "pass"}, {"path": "specs/tools/tri/census.t27", "t27b": "pass"},