Skip to content

ledger(t27b): bless t27b_expectations.json from lab run 4040407cd (Refs #6063) - #6565

Merged
gHashTag merged 1 commit into
masterfrom
claude/t27b-ledger-bless-6443
Oct 5, 2026
Merged

ledger(t27b): bless t27b_expectations.json from lab run 4040407cd (Refs #6063)#6565
gHashTag merged 1 commit into
masterfrom
claude/t27b-ledger-bless-6443

Conversation

@gHashTag

@gHashTag gHashTag commented Oct 5, 2026

Copy link
Copy Markdown
Owner

Refs #6063
Refs #6443

What

This is the owner-approved ledger move (2026-10-05, about 16:00Z). The lab's ratchet step was red with only one kind of finding: the ledger lagged behind what t27b now does. This PR blesses docs/reports/t27b_expectations.json from the first lab run on the redeployed image (#6535 and #6554 are live, deployment 9a5a133c). It uses the project's own command:

python3 scripts/tri_loop/t27b.py ratchet --run <lab latest.json of 4040407cd> --bless
  • Run 4040407 (finished 2026-10-05T17:08:41Z) against the ledger at 634b3ff:
    • UNEXPECTED FAILURE 0
    • UNEXPECTED PASS 69
    • UNLISTED 19
    • MOVED 28
    • STALE 0, OVER CAP 0, BAD REASON 0
  • Counts: pass 325 -> 402, pass_vacuous 276 -> 282, not_pass 119 -> 55, and max_not_pass 119 -> 55. The cap only moves down; --accept-new was not needed.
  • Direction check: no entry moves down. 0 specs go from pass to pass_vacuous or to a non-pass, and 0 go from pass_vacuous to a non-pass. Every UNEXPECTED PASS moves toward pass.
  • 5 of the 19 newly listed specs are not passes. They were added to master after the last bless, and each carries the blocker t27b reports (unimplemented).

This PR also removes the two tools/policy/foreign-exceptions.txt entries that #6554 added (contrib/railway/t27b-lab/lab.py and scripts/ci/test_the_t27b_lab_heals_its_clone.py), so the #6443 exception does not outlive its PRs.

The ledger is tool-written data (tri t27b ratchet --bless), so it has no hand-written code and needs no exception.

Unexpected pass, now blessed (69): every one moves toward pass

spec before after
specs/api/tri_api_session.t27 blocked ExprLiteral(negative literal) (unimplemented) pass
specs/base/seed.t27 blocked ExprLiteral(negative literal) (unimplemented) pass
specs/benchmarks/bench_nn.t27 blocked type f32 (unimplemented) pass
specs/benchmarks/ternary_vs_binary.t27 blocked StmtExpr (unimplemented) pass_vacuous
specs/brain/bus.t27 blocked ExprUnary(try) statement (unimplemented) pass
specs/brain/cognitive_loop.t27 blocked ExprUnary(try) statement (unimplemented) pass
specs/brain/phi_timing.t27 blocked ExprSwitch (unimplemented) pass
specs/brain/unified_state.t27 blocked type f32 (unimplemented) pass
specs/compiler/c_array_repeat_wrapper.t27 blocked type [N]T (unimplemented) pass
specs/fpga/bootrom.t27 blocked type [N]T (unimplemented) pass
specs/fpga/memory.t27 blocked ExprArrayLiteral (unimplemented) pass
specs/fpga/partition.t27 blocked type [N]T (unimplemented) pass
specs/fpga/router.t27 blocked type [N]T (unimplemented) pass
specs/fpga/ternary_isa.t27 blocked ExprLiteral(negative literal) (unimplemented) pass
specs/fpga/timing.t27 blocked type [N]T (unimplemented) pass
specs/lsp/language.t27 blocked StmtExpr (unimplemented) pass_vacuous
specs/memory/tmem/session.t27 blocked ExprLiteral(negative literal) (unimplemented) pass
specs/memory/tmem/types.t27 blocked ExprLiteral(negative literal) (unimplemented) pass
specs/multipath_router.t27 blocked type [N]T (unimplemented) pass_vacuous
specs/numeric/trinity_numeric_surface.t27 blocked ExprUnary(try) statement (unimplemented) pass_vacuous
specs/port/bootstrap/src/compiler/TbCheck_new.t27 blocked ExprLiteral(char literal) (unimplemented) pass
specs/port/bootstrap/src/sensitivity.t27 blocked type (tuple) (unimplemented) pass
specs/port/browseros/trios/agent-server/apps/server/src/api/routes/health.t27 blocked type ?T (unimplemented) pass
specs/port/browseros/trios/agent-server/apps/server/src/api/routes/queen-registry.t27 blocked type ?T (unimplemented) pass
specs/port/browseros/trios/agent-server/apps/server/src/browser/bookmarks.t27 blocked type ?T (unimplemented) pass
specs/port/browseros/trios/agent-server/apps/server/src/lib/port-binding.t27 blocked type ?T (unimplemented) pass
specs/port/browseros/trios/agent-server/apps/server/src/lib/provider-error-classifier.t27 blocked ExprLiteral(char literal) (unimplemented) pass
specs/port/fpga/openxc7-synth/phi_temporal/temporal_heartbeat.t27 blocked type (tuple) (unimplemented) pass
specs/port/fpga/verilog/link_node.t27 blocked type (tuple) (unimplemented) pass
specs/port/scripts/check-pagination-truncation.t27 blocked ExprLiteral(negative literal) (unimplemented) pass
specs/port/scripts/gen_w317.t27 blocked type ?T (unimplemented) pass
specs/port/scripts/gen_w378.t27 blocked type ?T (unimplemented) pass
specs/port/scripts/gen_w379.t27 blocked StmtFor(range) (unimplemented) pass
specs/port/scripts/gen_w380.t27 blocked ExprLiteral(char literal) (unimplemented) pass
specs/port/scripts/install-constitutional-hook.t27 blocked type (tuple) (unimplemented) pass
specs/port/scripts/mcp-wrapper.t27 blocked ExprLiteral(char literal) (unimplemented) pass
specs/port/scripts/tri-issue-create.t27 blocked ExprLiteral(char literal) (unimplemented) pass
specs/port/tools/ci/check_specs_still_parse.t27 blocked type ?T (unimplemented) pass
specs/port/tools/oracle/run.t27 blocked type (tuple) (unimplemented) pass
specs/port/trinity/fpga/openxc7-synth/d_simple_ff.t27 blocked type (tuple) (unimplemented) pass
specs/port/trinity/fpga/openxc7-synth/d_slow_blink.t27 blocked type (tuple) (unimplemented) pass
specs/port/trinity/fpga/openxc7-synth/d_y0_test.t27 blocked type (tuple) (unimplemented) pass
specs/port/trinity/src/cli/railway_create_project.t27 blocked ExprLiteral(char literal) (unimplemented) pass
specs/port/trinity/src/tri/gen_arithmetic.t27 blocked StmtExpr (unimplemented) pass
specs/port/trinity/src/tri/gen_cache.t27 blocked type ?T (unimplemented) pass
specs/port/trinity/src/tri/gen_caesar.t27 blocked StmtFor (unimplemented) pass
specs/port/trinity/src/tri/gen_color.t27 blocked ExprLiteral(char literal) (unimplemented) pass
specs/port/trinity/src/tri/gen_cursor.t27 blocked type ?T (unimplemented) pass
specs/port/trinity/src/tri/gen_escape.t27 blocked type ?T (unimplemented) pass
specs/port/trinity/src/tri/gen_kmeans.t27 blocked type ?T (unimplemented) pass
specs/port/trinity/src/tri/gen_matrix3x3.t27 blocked ExprArrayLiteral (unimplemented) pass
specs/port/trinity/src/tri/gen_mock.t27 blocked StmtFor(range) (unimplemented) pass
specs/port/trinity/src/tri/gen_neuron.t27 blocked StmtForRange (unimplemented) pass
specs/port/trinity/src/tri/gen_rle.t27 blocked StmtForRange (unimplemented) pass
specs/port/trinity/src/tri/gen_test_runner.t27 blocked StmtFor(range) (unimplemented) pass
specs/port/trinity/src/wasm_stubs/auto_shard_stub.t27 blocked type ?T (unimplemented) pass
specs/port/trios/crates/trios-cli/src/cmd/commit.t27 blocked type ?T (unimplemented) pass
specs/port/trios/crates/trios-doctor/rings/SILVER-RING-DR-00/src/lib.t27 blocked ExprSwitch (unimplemented) pass
specs/port/trios/crates/trios-doctor/src/main.t27 blocked StmtFor (unimplemented) pass
specs/port/trios/crates/trios-mcp/rings/SR-02/src/discovery.t27 blocked type ?T (unimplemented) pass
specs/port/trios/crates/trios-openclaw/rings/OC-01/src/lib.t27 blocked type ?T (unimplemented) pass
specs/port/trios/crates/trios-physics/src/lib.t27 blocked type ?T (unimplemented) pass
specs/port/trios/crates/trios-scarab-types/rings/SR-01/src/lib.t27 blocked ExprSwitch (unimplemented) pass
specs/port/trios/crates/trios-trinity-brain/src/phi.t27 blocked type f32 (unimplemented) pass
specs/sandbox/health.t27 blocked StmtExpr (unimplemented) pass
specs/sandbox/https_enforce.t27 blocked StmtExpr (unimplemented) pass
specs/sandbox/modules.t27 blocked StmtExpr (unimplemented) pass_vacuous
specs/sandbox/orphan_detection.t27 blocked StmtExpr (unimplemented) pass
specs/tri/agent/faculty_board.t27 frontend t27b: typecheck error in specs/tri/agent/faculty_board.t27: struct Langfieldvariantshas no type -- the parser recovered a declaration it does not implement as a field, and the backends emit it (reference-bug) pass_vacuous

Unlisted, now listed (19)

spec before after
specs/automation/agent-hive-group.t27 (absent) pass
specs/blog/t27b_progress.t27 (absent) pass
specs/compiler/theory/isa_round_trip.t27 (absent) pass
specs/compiler/theory/sieve.t27 (absent) pass
specs/compiler/theory/toolchain.t27 (absent) pass
specs/i18n/blog-ru.t27 (absent) pass
specs/ml/layers/conv2d_layer.t27 (absent) blocked ExprArrayLiteral (unimplemented)
specs/policy/own_language.t27 (absent) pass
specs/port/bootstrap/src/parse_conform.t27 (absent) blocked ConstDecl(?T) (unimplemented)
specs/port/browseros/trios/agent-server/apps/server/src/api/routes/queen-needs-you.t27 (absent) blocked ExprCast(f64) (unimplemented)
specs/port/browseros/trios/agent-server/apps/server/src/tools/filesystem/ls.t27 (absent) blocked ExprCall(std.*) (unimplemented)
specs/port/fpga/vivado/uart_detect_top.t27 (absent) pass
specs/port/scripts/gen_w384_lean.t27 (absent) blocked ExprCall(std.*) (unimplemented)
specs/port/scripts/reseal-check.t27 (absent) pass
specs/port/scripts/tri_loop/t27b_rules.t27 (absent) pass
specs/queen/priority.t27 (absent) pass
specs/tri/catalog/health.t27 (absent) pass
specs/tri/t27b/dogfood.t27 (absent) pass
specs/tri/utils/exit_codes.t27 (absent) pass

Moved: still not a pass, but the first blocker changed (28)

spec before after
specs/compiler/optimizer.t27 blocked type [N]T (unimplemented) blocked StructDecl (unimplemented)
specs/compiler/rust_value_parameters.t27 blocked type [N]T (unimplemented) blocked StmtAssign (unimplemented)
specs/compiler/zig_primitive_bindings.t27 blocked type (tuple) (unimplemented) blocked type (alias) (unimplemented)
specs/isa/ternary_gates.t27 blocked ExprLiteral(negative literal) (unimplemented) blocked ExprArrayLiteral (unimplemented)
specs/ml/activation/sigmoid_activation.t27 blocked type f32 (unimplemented) blocked ExprCall(@exp) (unimplemented)
specs/ml/layers/layernorm_layer.t27 blocked type f32 (unimplemented) blocked ExprCall(@sqrt) (unimplemented)
specs/ml/rl/dqn.t27 blocked type f32 (unimplemented) blocked StmtAssign(undeclared) (unimplemented)
specs/port/bootstrap/src/phi_f64_literals.t27 blocked type (tuple) (unimplemented) blocked type i128 (unimplemented)
specs/port/browseros/trios/agent-server/apps/server/src/api/routes/queen-rehearsal.t27 blocked type ?T (unimplemented) blocked StmtAssign(undeclared) (unimplemented)
specs/port/fpga/verilog/gft_dup2_jtag.t27 blocked type (tuple) (unimplemented) blocked literal out of range (unimplemented)
specs/port/fpga/verilog/ternary_mac_demo_top.t27 blocked type (tuple) (unimplemented) blocked ExprIf(left operand) (unimplemented)
specs/port/fpga/vivado/uart_echo_top.t27 blocked type (tuple) (unimplemented) blocked StmtAssign (unimplemented)
specs/port/tools/check_duplicate_declarations.t27 blocked type (tuple) (unimplemented) blocked ExprArrayLiteral (unimplemented)
specs/port/trinity/fpga/openxc7-synth/d_f19_test.t27 blocked StmtForRange (unimplemented) blocked ExprBinary (unimplemented)
specs/port/trinity/src/tri/gen_cross_entropy.t27 blocked StmtFor (unimplemented) blocked StmtFor(multi-object) (unimplemented)
specs/port/trinity/src/tri/gen_fuzz.t27 blocked ExprArrayLiteral (unimplemented) blocked ExprArrayLiteral(repeat) (unimplemented)
specs/port/trinity/src/tri/gen_gradient.t27 blocked ExprArrayLiteral (unimplemented) blocked StmtAssign(undeclared) (unimplemented)
specs/port/trinity/src/tri/gen_gradient_descent.t27 blocked StmtFor(range) (unimplemented) blocked ExprBinary(f64 * 2^k) (unimplemented)
specs/port/trinity/src/tri/gen_image.t27 blocked StmtExpr (unimplemented) blocked type std.mem.Allocator (unimplemented)
specs/port/trinity/src/tri/gen_linear_regression.t27 blocked StmtFor (unimplemented) blocked StmtFor(multi-object) (unimplemented)
specs/port/trinity/src/tri/gen_ray.t27 blocked type ?T (unimplemented) blocked ExprTuple (unimplemented)
specs/port/trinity/src/tri/gen_work_stealing.t27 blocked StmtExpr (unimplemented) blocked type (anonymous struct) (unimplemented)
specs/port/trios/apps/trios-macos/rings/RUST-13/trios-mesh/src/bin/smoke_m1.t27 blocked type (tuple) (unimplemented) blocked ExprCall(method) (unimplemented)
specs/port/trios/crates/trios-bridge/src/main.t27 blocked type ?T (unimplemented) blocked type undefined (unimplemented)
specs/port/trios/crates/trios-cli/src/cmd/leaderboard.t27 blocked type ?T (unimplemented) blocked StmtAssign(undeclared) (unimplemented)
specs/port/trios/crates/trios-mesh/src/packet.t27 blocked type [N]T (unimplemented) blocked type [*]T (unimplemented)
specs/port/trios/crates/trios-rainbow-bridge/src/lamport.t27 blocked type ?T (unimplemented) blocked StmtAssign (unimplemented)
specs/rings/ring_103_phi_sgd.t27 blocked type f32 (unimplemented) blocked ExprCall(undeclared fn) (unimplemented)

🤖 Generated with Claude Code

@gHashTag @claude
ledger(t27b): bless t27b_expectations.json from lab run 4040407 (owne…
f76327d 
…r-approved move)

69 unexpected passes, 19 unlisted and 28 moved blockers blessed; 0 entries move down.
Also drops the #6554 entries from tools/policy/foreign-exceptions.txt.

Refs #6063
Refs #6443

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@gHashTag gHashTag added the owner-approved-foreign Owner-approved exception to the only-t27 rule: hand-written foreign code allowed in this PR label Oct 5, 2026
@github-actions

github-actions Bot commented Oct 5, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-05 17:10:57 UTC

Summary

Status Count
Total Open PRs 50
PRs with Failing Checks 41
PRs with All Checks Green 9
READY 9
FAILING 41
PENDING 0
NO CHECKS YET 0

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=9f2c8a4829f6 != manifest seal=87e5cbd3ad94.
    The committed NMSE numbers were certified against an older compiler.rs.
    Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

This was referenced Oct 5, 2026
Merged
Merged
Merged
@gHashTag
gHashTag merged commit 2abe1a0 into master Oct 5, 2026
25 of 27 checks passed
This was referenced Oct 5, 2026
Merged
Open
Open
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

owner-approved-foreign Owner-approved exception to the only-t27 rule: hand-written foreign code allowed in this PR

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@gHashTag