Skip to content

t27b ledger: name specs/queen/keyed_guard.t27, so the master ratchet stops reporting it UNLISTED (Closes #8664) - #8665

Merged
gHashTag merged 1 commit into
masterfrom
t27b-ledger-keyed-guard
Oct 10, 2026
Merged

gHashTag merged 1 commit into
masterfrom
t27b-ledger-keyed-guard

Conversation

@gHashTag

Copy link
Copy Markdown
Owner

Closes #8664.

#8634 (keyed-actor hardening, actors night loop gHashTag/trios#1729) added specs/queen/keyed_guard.t27 without its row in docs/reports/t27b_expectations.json. Master's t27b native run 38061038225 then went red on it:

UNLISTED  specs/queen/keyed_guard.t27: the reference passes it and the ledger does not name it (t27b pass)

This adds that one row, "t27b": "pass", in path order after keyed.t27. Nothing else changes: the ledger now has 1311 entries, one more than before.

The same run has a MOVED entry for specs/compiler/lexer.t27. It is not from this PR's work and is left to the t27b lane.

🤖 Generated with Claude Code

…stops reporting it UNLISTED (Closes #8664)

#8634 added specs/queen/keyed_guard.t27 without its row. Master's t27b native
run 38061038225 says the reference and t27b both pass it and the ledger does
not name it. One row, "t27b": "pass", in path order after keyed.t27.

The MOVED row for specs/compiler/lexer.t27 in the same run is a separate
matter and is not touched here.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@gHashTag
gHashTag enabled auto-merge (squash) October 10, 2026 15:11
@github-actions

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-10 15:12:20 UTC

Summary

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

Seal Status

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

t27b ledger: specs/queen/keyed_guard.t27 is UNLISTED, so the master ratchet is red

2 participants