Skip to content

fix(t27os): rename the LIVE MYCELIUM band qy so glass_window seals again (Refs #12972) - #12993

Merged
gHashTag merged 2 commits into
masterfrom
claude/epic-nobel-875cf6
Oct 31, 2026
Merged

gHashTag merged 2 commits into
masterfrom
claude/epic-nobel-875cf6

Conversation

@gHashTag

Copy link
Copy Markdown
Collaborator

Refs #12972

What

draw_qdash in specs/t27os/glass_window.t27 declared two const qy in one scope since #12791: the LIVE MYCELIUM band (qlg_qy(gy), line 10022) and the queue row (qd_queue_row_y(...), line 10137). The generated Zig failed with "local constant 'qy' shadows local constant from outer scope", so t27c seal specs/t27os/glass_window.t27 --save refused and t27os_T27osGlassWindow stayed in the coverage FAIL list.

Change

Seal comparison (old to new)

  • spec_hash: 49e6ab00... to a74aa51f... (changed, as it must).
  • tests: 92 total, 92 passed, 0 failed, 0 vacuous before and after (no regression).
  • closure: queen_live_graph.t27 is now listed; keys.t27 and queen_dash.t27 hashes refreshed. gen_hash_* refreshed.

Not in this PR

Checks

coverage on this head should no longer name t27os_T27osGlassWindow in its FAIL list.

🤖 Generated with Claude Code

…ow seals again (Refs #12972)

draw_qdash declared two const qy in one scope since #12791 (the band qy = qlg_qy(gy) and the queue row qy = qd_queue_row_y(...)), so the generated Zig failed with a shadowing error and t27c seal refused to save. Only the band constant and its two uses are renamed; the queue row keeps qy. Seal re-saved with a post-12824 t27c: spec_hash changes, tests stay 92/92 pass, 0 vacuous.

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

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-31 08:44:16 UTC

Summary

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

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

Seal Status

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

@github-actions

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-31 08:53:14 UTC

Summary

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

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

Seal Status

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

1 participant