From e7daa994693302cf44c616d33c12b679d93195ef Mon Sep 17 00:00:00 2001 From: Claude Date: Mon, 19 Oct 2026 13:25:35 +0700 Subject: [PATCH 1/2] ledger(t27b): rows for six specs master carries unlisted, max_not_pass 129 -> 130 (Closes #10912) As the steward applies UNLISTED (specs/tri/t27b/ledger_steward.t27): four pass rows (mos_psp103_50c_data, sar_adc, sar_comparator_psp, tri/worktrees/reap) and two blocked rows, ExprCall(undeclared fn), reason unimplemented (eval_hslm, ngram_hslm -- the same blocker hslm_corpus already carries). Verdicts are the UNLISTED lines of the t27b runs of #10908, #10855, #10907 and #10836 on current master. Not-pass rows become 129 blocked + 1 codegen = 130, so the cap rises by one, within the two new non-pass rows. Co-Authored-By: Claude Opus 5.5 --- docs/reports/t27b_expectations.json | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/docs/reports/t27b_expectations.json b/docs/reports/t27b_expectations.json index 27e283b808..69ff7ac5e4 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"}, @@ -47,10 +47,13 @@ {"path": "specs/analog/linear.t27", "t27b": "pass"}, {"path": "specs/analog/linear_zoh.t27", "t27b": "blocked", "blocker": "ExprCall(@sin)", "reason": "unimplemented"}, {"path": "specs/analog/mos_psp103.t27", "t27b": "pass"}, + {"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/sar_adc.t27", "t27b": "pass"}, {"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_logic.t27", "t27b": "pass"}, {"path": "specs/analog/sar_switch.t27", "t27b": "pass"}, {"path": "specs/api/c_abi.t27", "t27b": "pass"}, @@ -552,6 +555,7 @@ {"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"}, @@ -572,6 +576,7 @@ {"path": "specs/ml/loss/huber_loss.t27", "t27b": "pass"}, {"path": "specs/ml/loss/kl_divergence.t27", "t27b": "pass"}, {"path": "specs/ml/loss/mse_loss.t27", "t27b": "pass"}, + {"path": "specs/ml/ngram_hslm.t27", "t27b": "blocked", "blocker": "ExprCall(undeclared fn)", "reason": "unimplemented"}, {"path": "specs/ml/optimizer/adagrad.t27", "t27b": "pass"}, {"path": "specs/ml/optimizer/adam.t27", "t27b": "pass"}, {"path": "specs/ml/optimizer/adamw.t27", "t27b": "pass"}, @@ -2001,6 +2006,7 @@ {"path": "specs/tri/utils/time.t27", "t27b": "blocked", "blocker": "ExprCall(@divFloor)", "reason": "unimplemented"}, {"path": "specs/tri/utils/utf8.t27", "t27b": "pass"}, {"path": "specs/tri/utils/version.t27", "t27b": "pass"}, + {"path": "specs/tri/worktrees/reap.t27", "t27b": "pass"}, {"path": "specs/trinet/eth_top_ax7203.t27", "t27b": "pass"}, {"path": "specs/trinet/etx.t27", "t27b": "pass"}, {"path": "specs/trinet/ledger.t27", "t27b": "pass"}, From 2d7933fc01591d0a7488a63d38d7d15fe02ae1ae Mon Sep 17 00:00:00 2001 From: Claude Date: Mon, 19 Oct 2026 13:41:35 +0700 Subject: [PATCH 2/2] ledger(t27b): drop the eval_hslm row, max_not_pass back to 129 (Closes #10912) The PR's own t27b run reported eval_hslm.t27 STALE: on current master the reference no longer compiles it (undeclared identifier 'b3_q' after a train_hslm change), and the steward lists only what the reference passes. Five rows remain (four pass, ngram_hslm blocked); not-pass rows are 128 blocked + 1 codegen = 129, the cap master had. Co-Authored-By: Claude Opus 5.5 --- docs/reports/t27b_expectations.json | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/docs/reports/t27b_expectations.json b/docs/reports/t27b_expectations.json index 69ff7ac5e4..6ca382f91b 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": 130, + "max_not_pass": 129, "entries": [ {"path": "specs/a/b_c.t27", "t27b": "pass"}, {"path": "specs/a_b/c.t27", "t27b": "pass"}, @@ -555,7 +555,6 @@ {"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"},