Skip to content

data(t27b): bless master run 13e212a5a (26 new specs, 8 up, cap 44 -> 67) - #6598

Merged
gHashTag merged 3 commits into
masterfrom
t27b-bless-6063
Oct 5, 2026
Merged

data(t27b): bless master run 13e212a5a (26 new specs, 8 up, cap 44 -> 67)#6598
gHashTag merged 3 commits into
masterfrom
t27b-bless-6063

Conversation

@gHashTag

@gHashTag gHashTag commented Oct 5, 2026 •
edited
Loading

Copy link
Copy Markdown
Owner

Closes #6597
Refs #6063

This is tool-written data only: docs/reports/t27b_expectations.json was rewritten by python3 scripts/tri_loop/t27b.py ratchet --run <lab run> --bless --accept-new.

  • Source: the lab run of master 13e212a (finished 2026-10-05T19:26:14Z), which is master's tip at the time of the bless. The first commit blessed from 1f9b370; the second re-blessed from the newer run.
  • The cap rises: max_not_pass goes from 44 to 67. The +23 is exactly the 23 non-pass specs that are new to the ledger (bless accounting, t27b: bless accounts for a cap rise, doctor stops alarming on a fail the reference shares #6237). 0 named entries regressed and 0 entries were removed.
  • 8 entries move up, from pass_vacuous to pass (runtime asserts now counted): specs/crons/trinity-site-live-gate.t27 and specs/tools/tri/{elab,emit,experience,fleet,fmt,fpga,gates}.t27. 0 entries move down.
  • Counts: pass 428 -> 439, pass_vacuous 283 -> 275, not_pass 44 -> 67.
  • Ratchet against that run after the bless: green (UNEXPECTED FAILURE 0, UNEXPECTED PASS 0, UNLISTED 0, STALE 0, OVER CAP 0, BAD REASON 0, MOVED 0, UNJUDGED 0, VACUITY MEASURED 0). Before the bless it was red: 8 UNEXPECTED PASS and 26 UNLISTED.

Specs added (26), each with t27b's first blocker:

spec t27b reason blocker
specs/api/c_abi.t27 blocked unimplemented ExprBinary(value ignored) statement
specs/api/tri_api_context.t27 blocked unimplemented ExprBinary(value ignored) statement
specs/api/tri_api_loop.t27 blocked unimplemented ExprBinary(value ignored) statement
specs/api/tri_api_permissions.t27 blocked unimplemented ExprBinary(value ignored) statement
specs/compiler/rust_tail_returns.t27 blocked unimplemented ExprLiteral(value ignored) statement
specs/compiler/verilog_branch_context.t27 blocked unimplemented ExprLiteral(value ignored) statement
specs/compiler/zig_field_syntax.t27 blocked unimplemented ExprStructLit(zig keyword field)
specs/compiler/zig_test_shadowing.t27 blocked unimplemented StmtAssign(reference redeclares)
specs/compiler/zig_value_ignored.t27 blocked unimplemented ExprBinary(value ignored) statement
specs/fpga/bpsk.t27 blocked unimplemented ExprCall(value ignored) statement
specs/fpga/linker.t27 blocked unimplemented ExprStructLit(zig keyword field)
specs/fpga/testbench/formal_tb.t27 blocked unimplemented StmtAssign(module var in test)
specs/fpga/testbench/vcd_trace_tb.t27 blocked unimplemented StmtAssign(module var in test)
specs/isa/ternary_encoding.t27 blocked unimplemented ExprBinary(value ignored) statement
specs/isa/ternary_graph.t27 blocked unimplemented ExprLiteral(value ignored) statement
specs/isa/tri27_bytecode.t27 blocked unimplemented ExprBinary(value ignored) statement
specs/port/fpga/verilog/ternary_mac_synth.t27 blocked unimplemented ExprArrayLiteral(reference empty typed)
specs/port/trinity/fpga/openxc7-synth/definitive_diagnostic_inv.t27 pass - -
specs/port/trinity/src/tri/string_dualities.t27 blocked unimplemented ExprFieldAccess
specs/port/trios/crates/trios-scarab-types/rings/SR-03/src/lib.t27 pass - -
specs/port/trios/crates/trios-scarab-types/rings/SR-04/src/lib.t27 pass - -
specs/tools/catalog.t27 blocked unimplemented ExprBinary(value ignored) statement
specs/tools/mcp_protocol.t27 blocked unimplemented ExprBinary(value ignored) statement
specs/tri/crypto/hex.t27 blocked unimplemented ExprStructLit(value ignored) statement
specs/vm/trinity_vm.t27 blocked unimplemented ExprBinary(value ignored) statement
specs/vsa/trinity_compat.t27 blocked unimplemented ExprBinary(value ignored) statement

🤖 Generated with Claude Code

@gHashTag @claude
data(t27b): bless 18 new blocked specs from master run 1f9b370
84f2406 
tri t27b ratchet --bless --accept-new; cap 44 -> 62, covered exactly by
the 18 non-pass specs new to the ledger; 0 entries moved down.

Closes #6597
Refs #6063

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@github-actions

github-actions Bot commented Oct 5, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-05 19:11:19 UTC

Summary

Status Count
Total Open PRs 44
PRs with Failing Checks 31
PRs with All Checks Green 13
READY 12
FAILING 31
PENDING 0
NO CHECKS YET 0

These columns do not partition: 12 + 31 + 0 + 0 = 43, and there are 44 open PRs. A PR is being counted twice or not at all.

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=ab873301be9c != 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
@gHashTag

gHashTag commented Oct 5, 2026

Copy link
Copy Markdown
Owner Author

Not merging yet: the required check Corpus ratchet (expected-failure ledger) is red because of tri types ratchet: + GateScarab NEW conflict (ledger 84 names, observed 85). Master 13e212a is red on the same step. GateScarab is defined both in specs/port/trios/crates/trios-scarab-types/rings/SR-03/src/lib.t27 (#6214, merged in #6238) and in SR-04/src/lib.t27 (#6264). This PR only changes docs/reports/t27b_expectations.json. validate, check-linked-issue, parse-ratchet, own-language and cli-tri are green. It can merge once master's Corpus ratchet is green again.

@github-actions github-actions Bot mentioned this pull request Oct 5, 2026
Merged
@gHashTag @claude
data(t27b): re-bless from master run 13e212a (now equal to master)
54a4f21 
26 new specs (23 blocked, 3 pass), 8 pass_vacuous -> pass, 0 down;
cap 44 -> 67, covered exactly by the 23 non-pass specs new to the ledger.

Closes #6597
Refs #6063

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@gHashTag gHashTag changed the title data(t27b): bless 18 new blocked specs from master run 1f9b3706a (cap 44 -> 62) data(t27b): bless master run 13e212a5a (26 new specs, 8 up, cap 44 -> 67) Oct 5, 2026
This was referenced Oct 5, 2026
Merged
Merged
Merged
Open
Closed
Merged
Merged
Merged
@github-actions

github-actions Bot commented Oct 5, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-05 21:34:01 UTC

Summary

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

These columns do not partition: 9 + 39 + 0 + 0 = 48, and there are 50 open PRs. A PR is being counted twice or not at all.

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=ab873301be9c != 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
@github-actions

github-actions Bot commented Oct 5, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-05 21:55:53 UTC

Summary

Status Count
Total Open PRs 50
PRs with Failing Checks 38
PRs with All Checks Green 12
READY 11
FAILING 38
PENDING 0
NO CHECKS YET 0

These columns do not partition: 11 + 38 + 0 + 0 = 49, and there are 50 open PRs. A PR is being counted twice or not at all.

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=ab873301be9c != 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).

@gHashTag
gHashTag merged commit b732090 into master Oct 5, 2026
25 of 26 checks passed
This was referenced Oct 6, 2026
Closed
Merged
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

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

t27b ratchet: bless master run 13e212a5a (26 new specs, 8 up-moves)

1 participant

@gHashTag