Skip to content

ci(seals): re-stamp the two tuple seals master left stale (Refs #11912 #11840) - #11939

Merged
gHashTag merged 1 commit into
masterfrom
fix/tuple-seal-restamp
Oct 24, 2026
Merged

gHashTag merged 1 commit into
masterfrom
fix/tuple-seal-restamp

Conversation

@gHashTag

Copy link
Copy Markdown
Collaborator

What

#11930 rendered parameterised const structs as Zig generic fns but missed tuple.t27 in its seal re-stamp sweep: the audit grep used [A-Za-z_]+ for the declaration name, and Tuple2/Tuple3 carry a digit, so pub const Tuple2(A, B) = struct { never matched. Master inherited two stale seals:

  • .trinity/seals/TriTuple.json
  • .trinity/seals/collections_TriTuple.json

(gen_hash_zig f49f77e5 -> a87c06f1)

Fix

Re-stamped with t27c seal --save specs/tri/collections/tuple.t27. tools/check_seal_currency.py: STALE generated-code hash 2 -> 0, exit 0.

The grep defect is recorded: a character class that rejects digits in declaration names silently narrows an audit's corpus. Tuple2/Tuple3 themselves emit correctly since #11930 -- pub fn Tuple2(comptime A: type, comptime B: type) type { return struct { first: A, second: B, }; }; the module's remaining BLOCK is the fn-level generic layer (fn pair(a: A, b: B)), the slice #11930 filed as follow-up.

Also observed on master (not this PR's scope)

…#11840)

#11930 rendered parameterised const structs as Zig generic fns but
missed tuple.t27 in its seal re-stamp sweep: the audit grep used
[A-Za-z_]+ for the declaration name, and `Tuple2`/`Tuple3` carry a
digit, so `pub const Tuple2(A, B) = struct {` never matched. Master
inherited two stale seals (TriTuple.json, collections_TriTuple.json;
gen_hash_zig f49f77e5 -> a87c06f1).

Re-stamped with `t27c seal --save specs/tri/collections/tuple.t27`.
check_seal_currency: STALE generated-code hash 2 -> 0, exit 0.

Tuple2/Tuple3 now emit `pub fn Tuple2(comptime A: type, comptime
B: type) type { return struct { first: A, second: B, }; }` (verified:
fields carry A/B inside the generic fn); the module's own remaining
BLOCK is the fn-level generic layer (`fn pair(a: A, b: B)`), the
slice #11930 filed as follow-up -- not this seal repair.
@gHashTag
gHashTag enabled auto-merge October 24, 2026 01:49
@github-actions

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-24 01:49:57 UTC

Summary

Status Count
Total Open PRs 44
PRs with Failing Checks 37
PRs with All Checks Green 7
READY 6
FAILING 37
PENDING 0
NO CHECKS YET 0

These columns do not partition: 6 + 37 + 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)=182a47746c33 != 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