Skip to content

seal: re-seal GlassWindow/HotReload/PtySys/Release from current master t27c - #13115

Merged
gHashTag merged 1 commit into
masterfrom
fix/seal-hashes-v2
Nov 2, 2026
Merged

gHashTag merged 1 commit into
masterfrom
fix/seal-hashes-v2

Conversation

@gHashTag

@gHashTag gHashTag commented Nov 2, 2026

Copy link
Copy Markdown
Collaborator

What

Spec Guards still red: 4 gen_hash mismatches (zig/verilog) — the #13112 reseal used a stale t27c (t27-build at 05b6448, an old master), whose gen output differs from CI's.

Fix

Updated t27-build to master (be7934), rebuilt t27c, re-saved the four seals. GlassWindow/PtySys remain --force (@extern specs: t27c cannot compile them by design, per CLAUDE.md; seals record the t27b-verified state).

…r t27c

The previous reseal (#13112) used a stale t27c (t27-build at 05b6448,
an old master) whose gen output differs from CI's for zig/verilog:
4 gen_hash mismatches kept Spec Guards red.

Rebuilt t27c at master be7934 and re-saved the four seals. GlassWindow
and PtySys remain --force (@extern specs, t27c cannot compile them by
design; seals record the t27b-verified state).
@gHashTag
gHashTag merged commit 494d9d8 into master Nov 2, 2026
26 of 30 checks passed
@gHashTag
gHashTag deleted the fix/seal-hashes-v2 branch November 2, 2026 11:35
@github-actions

github-actions Bot commented Nov 2, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-11-02 11:41:38 UTC

Summary

Status Count
Total Open PRs 45
PRs with Failing Checks 42
PRs with All Checks Green 3
READY 2
FAILING 42
PENDING 0
NO CHECKS YET 0

These columns do not partition: 2 + 42 + 0 + 0 = 44, and there are 45 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