Skip to content

contract: advisory-gate-diff-v1 — PR gate fails only on advisories the PR introduces (#5792) (squashed; supersedes #5793) - #5849

Closed
noahgift wants to merge 1 commit into
mainfrom
recut/5793-sq
Closed

noahgift wants to merge 1 commit into
mainfrom
recut/5793-sq

Conversation

@noahgift

Copy link
Copy Markdown
Member

Supersedes #5793. Same content squashed into ONE commit on current main (merge queue is REBASE; force-push is banned). #5793 moves to draft, not closed. Needs fresh quorum + 2 non-author seats at this head.

ont-delta: none README.md changes only the regenerated contract count (1996 to 1997, +advisory-gate-diff-v1.yaml); no type, shape or reason was added by hand.
keep-open: #5792 and #5791 stay open until the gate is armed and merged/h is read for 2 h after arming (see Noah's 3 arming conditions above)

🤖 Generated with Claude Code

…e PR introduces (#5792)

Squashed from #5793 for the REBASE merge queue.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

@noahgift noahgift left a comment

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Seat 1 (w5404): APPROVE at head e772581. Re-cut of #5793; added/removed lines identical to the quorum-approved 7f2eba6 (agy + Opus). Receipt: handoff/w5404-quorum-5849-e77258126d.md. Not armed.

@noahgift noahgift left a comment

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Seat 2 (non-author) bound to head e772581 (re-cut of #5793, 28 commits -> 1). Identity proof by me: added/removed lines of the PR's own diff vs its merge-base are byte-identical (sha256 7b9f1bbe8689) between the old head 7f2eba6 (which I seated on #5793) and e772581. Receipt: handoff/ 'w5404-quorum-5849 e772581 5793 7f2eba6-.md' (seat 1; its text is garbled by shell expansion, so I did not rely on it). My run at the head: advisory_gate_selftest.sh rc0 (2 real cargo-deny flag checks + 5 mutants + 2 sites). check_sov_advisories_off.sh printed nothing (rc0), not counted. No continue-on-error added. Not armed by me.

@github-actions

Copy link
Copy Markdown

§13.11 rung 1 — quorum shadow verdict

S13-SHADOW pr=5849 head=e77258126d0e23d1ff9e4b61d2f50b413aec84c3 verdict=REFUSE class=Q1 arm_rc=1

Shadow mode: this records a verdict and merges nothing. A refusal
to arm is not a block (§13 adds zero rows to §7) — the pull request is
exactly as green as it was.

@noahgift
noahgift added this pull request to the merge queue Oct 21, 2026
@noahgift
noahgift removed this pull request from the merge queue due to a manual request Oct 21, 2026
@noahgift
noahgift added this pull request to the merge queue Oct 21, 2026
@noahgift
noahgift removed this pull request from the merge queue due to a manual request Oct 21, 2026
noahgift added a commit that referenced this pull request Oct 21, 2026
…nd 3/3 receipt; END anchors to end of body (PMAT-5843)

#5849 was enqueued at 16:18Z although its s13 verdict was REFUSE. The feeder now skips gate-content PRs
and any PR lacking a quorum 3/3 PASS receipt at its head; seat counting is removed. Subprocess self-test
proves REFUSE / no receipt / gate content never reach ARM or post 'enqueued'. END: trailing prose rejected.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@noahgift
noahgift marked this pull request as draft October 22, 2026 05:14
@noahgift

Copy link
Copy Markdown
Member Author

superseded by #5793 (newer push 10-22; this was its squash re-cut). Branch kept.

@noahgift noahgift closed this Oct 23, 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