diff --git a/docs/reports/t27b_expectations.json b/docs/reports/t27b_expectations.json index 6e4b977d5f..3a41a7364c 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,11 @@ {"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/analog/sar_cdac.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 +66,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 +370,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 +444,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 +1111,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"}, @@ -1475,6 +1485,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"}, @@ -1559,6 +1570,7 @@ {"path": "specs/tools/t27o/rust_convert.t27", "t27b": "pass"}, {"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/tri/abandoned.t27", "t27b": "pass"}, {"path": "specs/tools/tri/cell.t27", "t27b": "pass"}, {"path": "specs/tools/tri/census.t27", "t27b": "pass"},