Skip to content

policy: remove the spent cli/tri/src/gates.rs foreign exception - #10182

Merged
gHashTag merged 1 commit into
masterfrom
chore/remove-spent-gates-exception
Oct 18, 2026
Merged

gHashTag merged 1 commit into
masterfrom
chore/remove-spent-gates-exception

Conversation

@gHashTag

Copy link
Copy Markdown
Owner

Refs #9634

Removes the exception entry added by #10089 for cli/tri/src/gates.rs. The one change it authorized (#10111, deleting the stale test of the deleted brain-seal-refresh.yml) has merged, and the entry's own text says to remove it once that change has merged. Leaving it would keep a standing permission to edit gates.rs that nobody intends.

Only change: 8 lines deleted from tools/policy/foreign-exceptions.txt. No code added.

Owner authorization 2026-10-18 for the owner-approved-foreign label: "do everything yourself", "merge autonomously yourself, I allow everything" (translated).

🤖 Generated with Claude Code

…9634)

The single change it authorized (#10111, deleting a stale include_str! test)
has merged, and the entry's own text says to remove it once that happens.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@gHashTag gHashTag added the owner-approved-foreign Owner-approved exception to the only-t27 rule: hand-written foreign code allowed in this PR label Oct 18, 2026
@gHashTag
gHashTag enabled auto-merge (squash) October 18, 2026 03:35
@github-actions

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-18 03:35:26 UTC

Summary

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

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=0f8c66b9ed0e != 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 92178c8 into master Oct 18, 2026
24 of 28 checks passed
@gHashTag gHashTag removed the owner-approved-foreign Owner-approved exception to the only-t27 rule: hand-written foreign code allowed in this PR label Oct 18, 2026
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