Repository navigation
t27b ledger: batch bless from a full lab run on master (ratchet green) #7432
Description
Problem
t27b-native-ratchet is red on master. Against master's ledger, a full t27b corpus run shows 14 specs/crons/* specs and specs/tools/trinity/tri/wallet.t27 as UNEXPECTED PASS (the ledger says pass_vacuous; they now count asserts), and about 56 specs as UNLISTED (new specs that landed with no ledger row: specs/verified/verdict.t27, specs/queen/*.t27, specs/isa/*.t27, and others).
Goal
One batch bless of docs/reports/t27b_expectations.json from a fresh full lab corpus run on master, so that the ratchet run on master is green.
Method
- Full
t27b corpus specs --jobs 2 --blockerson the t27b Railway lab, at the master head, with that head'st27cas the reference. tri t27b ratchet --bless --accept-newagainst the run. Each ledger move comes from that run; a row is recorded only where the reference passes.- The cap may rise only for new specs (
--accept-new); the accounting is in the PR.
Done when
- The ratchet run on the lab against the blessed ledger is green: UNEXPECTED FAILURE 0, UNEXPECTED PASS 0, UNLISTED 0, STALE 0.
- The PR carries
Closesfor this issue andRefs #6063.
Boundary
specs/tools/trinity/tri/wallet.t27specs/verified/verdict.t27
Activity
Merge master into claude/t27b-ledger-bless (from master's side)
Merge master into claude/t27b-ledger-bless (from master's side)
gHashTag commentedon Oct 7, 2026
Reopened 2026-10-07: the bulk close of issues without a
## Boundarysection was reverted by the owner. Nothing to do here; this comment replaces the earlier close notice.Merge master into claude/t27b-ledger-bless so own-language diffs agai…
Merge master into claude/t27b-ledger-bless: take #7425's gen_w384_lea…
t27b ledger: batch bless from a full lab run on master (Closes #7432) (…