Skip to content

ci: master green -- re-bless the census for pr-budget.yml, drop the copied find/has in t27mcp/examples (Closes #10167) - #10168

Closed
gHashTag wants to merge 2 commits into
masterfrom
fix/census-workflow-67
Closed

ci: master green -- re-bless the census for pr-budget.yml, drop the copied find/has in t27mcp/examples (Closes #10167)#10168
gHashTag wants to merge 2 commits into
masterfrom
fix/census-workflow-67

Conversation

@gHashTag

@gHashTag gHashTag commented Oct 18, 2026 •
edited
Loading

Copy link
Copy Markdown
Owner

Closes #10167

Two of master's checks have been red since #10087 and #10157. This PR fixes both. Neither is caused by a PR branched from master.

1. cli-tri: "No census moved without saying so"

#10087 added .github/workflows/pr-budget.yml without re-blessing the census pins. Every number that moved comes from that one workflow:

census line was now
quiet workflow files read 66 67
quiet named a path but not quiet 198 200
shell workflow files read 66 67
shell jobs 87 88
shell run: steps 313 314
shell the runner names the shell 292 293

The files were written by tri census pin --bless on the Railway lab at master 45decd5. On that checkout --gate failed before the bless. The sha256 of both files here matches the lab's copy.

2. duplicate-bodies: "a body written under find / has is now copied 2 times"

#10157 landed specs/t27mcp/examples.t27 with byte-identical copies of find() and has() from specs/t27mcp/check_hints.t27. I removed the copies instead of blessing them into the ledger: examples.t27 now does use t27mcp::check_hints::{find, has};.

t27c gen and gen-c inline the imported bodies, so the exports of examples.wasm in gHashTag/t27-mcp stay the same.

Results on the lab at master 45decd5:

check result
test-report on examples.t27 8 tests, 0 fail, 0 vacuous
test-report on check_hints.t27 13 tests, 0 fail, 0 vacuous
dupe_scan "ok: no new duplicate body"

🤖 Generated with Claude Code

gHashTag and others added 2 commits October 18, 2026 09:39
@gHashTag @claude
ci(census): re-bless the census pins for pr-budget.yml, the 67th work…
ad2baaf 
…flow (Closes #10167)

#10087 added .github/workflows/pr-budget.yml and did not re-bless, so
master's cli-tri step "No census moved without saying so" fails.

Which numbers moved, all from that one workflow (one job, one run: step,
no container):
- quiet: workflow files read 66 -> 67; named a path but not quiet 198 -> 200
- shell: workflow files read 66 -> 67; jobs 87 -> 88; run: steps 313 -> 314;
  the runner names the shell 292 -> 293

Written by `tri census pin --bless` on the Railway lab at master 45decd5.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@gHashTag @claude
spec(t27mcp): examples.t27 imports find/has from check_hints.t27 inst…
85427da 
…ead of copying them (Refs #10167)

#10157 landed examples.t27 with byte-identical copies of check_hints.t27's
find() and has(), so master's duplicate-bodies ratchet fails: "a body
written under find/has is now copied 2 times and was in no ledger".

examples.t27 now has `use t27mcp::check_hints::{find, has};`. t27c gen
and gen-c inline the imported bodies, so examples.wasm in gHashTag/t27-mcp
keeps the same exports. Lab at master 45decd5: examples.t27 8 tests,
0 fail, 0 vacuous; check_hints.t27 13 tests, 0 fail, 0 vacuous;
dupe_scan "ok: no new duplicate body".

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@gHashTag gHashTag changed the title ci(census): re-bless the census pins for pr-budget.yml, the 67th workflow (Closes #10167) ci: master green -- re-bless the census for pr-budget.yml, drop the copied find/has in t27mcp/examples (Closes #10167) Oct 18, 2026
@github-actions

github-actions Bot commented Oct 18, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-18 02:54:27 UTC

Summary

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

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

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=3b53d48ddb52 != 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 github-actions Bot mentioned this pull request Oct 18, 2026
Merged
@gHashTag

gHashTag commented Oct 18, 2026

Copy link
Copy Markdown
Owner Author

Superseded by #10172, which makes the same census re-pin and the same examples.t27 dedupe and also fixes the Corpus ratchet red. Closing this one so the two do not conflict.

@gHashTag gHashTag closed this Oct 18, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

ci(census): re-bless the census pins for pr-budget.yml, the 67th workflow

1 participant

@gHashTag