Skip to content

policy: exception entry for the 19-line stale-test deletion in cli/tri/src/gates.rs (Refs #9634) - #10089

Merged
gHashTag merged 1 commit into
masterfrom
policy/gates-rs-exception-9634
Oct 17, 2026
Merged

gHashTag merged 1 commit into
masterfrom
policy/gates-rs-exception-9634

Conversation

@gHashTag

Copy link
Copy Markdown
Owner

What

One exception entry in tools/policy/foreign-exceptions.txt (7 lines added, 0 Rust) naming cli/tri/src/gates.rs, for exactly one change: deleting the unit test the_motivating_workflow_records_its_own_reason (19 lines deleted, 0 added).

Why

That test include_str!s .github/workflows/brain-seal-refresh.yml. #9117 deleted the workflow, so cargo build -p tri --all-targets (the first step of cli-tri) has failed on master since 2026-10-12, and every PR inherits the red. Duplicates: #9640, #10009.

The local hooks and the CI own-language check both read the exception list from the base revision, so this entry has to be on master before the fix PR (Closes #9634) can commit or pass.

Authorization

Owner instruction of 2026-10-18, relayed by the coordinating session (translated): "do everything yourself" and "merge autonomously yourself, I allow everything". That instruction covers applying owner-approved-foreign to this PR, which the own-language check requires because the exception list is a protected gate file.

Verified on the Railway lab (fix branch, base 9506315)

  • cargo build -p tri --all-targets: exit 0
  • cargo test -p tri -- --nocapture --test-threads=1: 896 passed, 0 failed; skip ratchet "Baseline holds"
  • tri census pin --gate passes after tri census pin --bless. tri census explain puts every moved line down to master's own workflow changes (the deleted brain-seal-refresh.yml, plus issue-gate.yml, queen-publish.yml, t27o-golden.yml, t27o-release.yml and gate-topology.yml), none to this deletion.

Refs #9634

🤖 Generated with Claude Code

…i/src/gates.rs (Refs #9634)

Activation record for one change: deleting the unit test
the_motivating_workflow_records_its_own_reason, which include_str!s
.github/workflows/brain-seal-refresh.yml. #9117 deleted that workflow, so
the cli-tri test build has failed on master since 2026-10-12.

The fix PR (Closes #9634) follows once this entry is on master, because the
local hooks and CI read the exception list from the base. Owner instruction
2026-10-18, relayed by the coordinating session (translated): "do everything
yourself", "merge autonomously yourself, I allow everything".

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

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-17 19:06:14 UTC

Summary

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

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

Seal Status

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

@gHashTag
gHashTag merged commit 3df2ffd into master Oct 17, 2026
22 of 27 checks passed
gHashTag added a commit that referenced this pull request Oct 17, 2026
…census (Closes #9634) (#10111)

the_motivating_workflow_records_its_own_reason include_str!s
.github/workflows/brain-seal-refresh.yml, which #9117 deleted, so the
cli-tri test build has failed on master since 2026-10-12. Nothing
replaced that workflow, so the test is deleted (19 lines of Rust
deleted, 0 added), under the exception entry from #10089.

tools/census/{quiet,shell}.txt are re-blessed by `tri census pin --bless`;
the moved counts (workflow files 65 -> 66, jobs 85 -> 87, run: steps
305 -> 313, runner does 284 -> 292, named-not-quiet 185 -> 198) come
from master's own workflow changes, not from this deletion.

Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

owner-approved-foreign Owner-approved exception to the only-t27 rule: hand-written foreign code allowed in this PR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

cli-tri: retire deleted-workflow test and refresh measured census pins

1 participant