From 574444bbc438d6358c8b0d1ba7cbc2e159e1afa6 Mon Sep 17 00:00:00 2001 From: "queen-publisher[bot]" Date: Sun, 18 Oct 2026 18:24:36 +0000 Subject: [PATCH] ledger: re-derive from master 90f62487604b, as its lab verdict APPLY says (Closes #10594) --- docs/reports/t27b_expectations.json | 18 ++++++++++++++---- 1 file changed, 14 insertions(+), 4 deletions(-) diff --git a/docs/reports/t27b_expectations.json b/docs/reports/t27b_expectations.json index 09b79809ce..8ee938da20 100644 --- a/docs/reports/t27b_expectations.json +++ b/docs/reports/t27b_expectations.json @@ -1,10 +1,10 @@ { "schema_version": 1, - "generated_by": "tri t27b ratchet --bless (scripts/tri_loop/t27b.py), #6115", + "generated_by": "t27b ledger steward (specs/jobs/t27b_ledger_steward.t27), #8654", "source": { - "commit": "1ef60ae3486bd83404e398d59fe5b286c1636a19", + "commit": "90f62487604b13246438c75d69631ad765cdc8b7", "ref": "master", - "finished": null, + "finished": "2026-10-18T18:08:49Z", "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": 134, + "max_not_pass": 136, "entries": [ {"path": "specs/a/b_c.t27", "t27b": "pass"}, {"path": "specs/a_b/c.t27", "t27b": "pass"}, @@ -43,6 +43,10 @@ {"path": "specs/agents/x.t27", "t27b": "pass"}, {"path": "specs/agents/y.t27", "t27b": "pass"}, {"path": "specs/agents/z.t27", "t27b": "pass"}, + {"path": "specs/analog/bench.t27", "t27b": "pass"}, + {"path": "specs/analog/linear.t27", "t27b": "pass"}, + {"path": "specs/analog/linear_zoh.t27", "t27b": "blocked", "blocker": "ExprCall(@sin)", "reason": "unimplemented"}, + {"path": "specs/analog/mos_table.t27", "t27b": "pass"}, {"path": "specs/api/c_abi.t27", "t27b": "pass"}, {"path": "specs/api/tri_api_context.t27", "t27b": "pass"}, {"path": "specs/api/tri_api_loop.t27", "t27b": "pass"}, @@ -61,6 +65,7 @@ {"path": "specs/automation/agent-neuro-kie.t27", "t27b": "pass"}, {"path": "specs/automation/agent-provider-chain.t27", "t27b": "pass"}, {"path": "specs/automation/agent-spec-bank.t27", "t27b": "pass"}, + {"path": "specs/automation/app-tabs.t27", "t27b": "pass"}, {"path": "specs/automation/ball-board.t27", "t27b": "pass"}, {"path": "specs/automation/ball-grants.t27", "t27b": "pass"}, {"path": "specs/automation/blog-share.t27", "t27b": "pass"}, @@ -364,6 +369,7 @@ {"path": "specs/fpga/secded.t27", "t27b": "pass"}, {"path": "specs/fpga/simulator.t27", "t27b": "pass"}, {"path": "specs/fpga/stdlib.t27", "t27b": "pass"}, + {"path": "specs/fpga/systolic.t27", "t27b": "pass"}, {"path": "specs/fpga/ternary_isa.t27", "t27b": "pass"}, {"path": "specs/fpga/ternary_link.t27", "t27b": "pass"}, {"path": "specs/fpga/testbench/assembler_tb.t27", "t27b": "pass"}, @@ -437,7 +443,9 @@ {"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/kill_rule.t27", "t27b": "blocked", "blocker": "ExprCall(undeclared fn)", "reason": "unimplemented"}, {"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/ternary_gemm_gpu.t27", "t27b": "pass"}, {"path": "specs/igla/coder/tokenizer.t27", "t27b": "pass"}, @@ -1102,6 +1110,7 @@ {"path": "specs/port/trinity/src/wasm_stubs/auto_shard_stub.t27", "t27b": "pass"}, {"path": "specs/port/trios-railway/bin/seed-agent/src/main.t27", "t27b": "pass"}, {"path": "specs/port/trios-railway/crates/trios-igla-race/src/asha.t27", "t27b": "pass"}, + {"path": "specs/port/trios-railway/crates/trios-igla-race/src/bin/reset_queue.t27", "t27b": "pass"}, {"path": "specs/port/trios-railway/crates/trios-igla-race/src/ema.t27", "t27b": "pass"}, {"path": "specs/port/trios-railway/crates/trios-igla-race/src/invariants.t27", "t27b": "pass"}, {"path": "specs/port/trios-railway/crates/trios-igla-race/src/race.t27", "t27b": "pass"}, @@ -1474,6 +1483,7 @@ {"path": "specs/t27mcp/spec_brief.t27", "t27b": "pass"}, {"path": "specs/t27mcp/telegram.t27", "t27b": "pass"}, {"path": "specs/t27mcp/tool_schema.t27", "t27b": "codegen", "blocker": "t27b: unsupported construct FnDecl(frame or branch range) at line 0 (fn the round trip fixtures: a tuple, arrays, a boolean, nested objects: conditional branch out of range (function too large))", "reason": "unimplemented"}, + {"path": "specs/t27mcp/visual_output.t27", "t27b": "pass"}, {"path": "specs/ternary/activation_quantizer.t27", "t27b": "pass"}, {"path": "specs/ternary/bitnet_layer.t27", "t27b": "pass"}, {"path": "specs/ternary/bitnet_majority.t27", "t27b": "pass"},