Skip to content

work/5950-v13: affected_set, ladder, LAB workflow, merge-group fixes (7 commits) - #5991

Closed
noahgift wants to merge 7 commits into
mainfrom
work/5950-v13
Closed

noahgift wants to merge 7 commits into
mainfrom
work/5950-v13

Conversation

@noahgift

Copy link
Copy Markdown
Member

work/5950-v13: affected_set, ladder, LAB workflow and merge-group fixes (7 commits)

Linear on main, no merge commits, one PMAT-Ticket per commit (work/5950-v13 @b3f40c004a). Supersedes the v12 branch. Built by w5032. Not armed; seats pending.

ont-delta: none no new type, shape or reason; fold of existing tickets

🤖 Generated with Claude Code

noahgift and others added 7 commits October 22, 2026 21:27
…LAB nightly schedules (PMAT-5847)

Refs #5847

PMAT-Ticket: PMAT-5847
PMAT-Batch: BATCH-aprender-build-speed
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
…a so a REBASE-replayed PR is judged whole

Refs #5859

PMAT-Ticket: PMAT-5859
PMAT-Batch: BATCH-aprender-build-speed
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
…IGKILLed

Refs #5868

PMAT-Ticket: PMAT-5868
PMAT-Batch: BATCH-aprender-build-speed
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
…+3 ticks

Refs #5798

PMAT-Ticket: PMAT-5798
PMAT-Batch: BATCH-aprender-build-speed
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
…40->100 / 180->100; shard permissions block added; LAB audits created

x86-main and workspace-test-shard each gain a failure() && merge_group step that runs
`gh run cancel`. merge_group timeouts drop to 100 min (x86-main was 240, the shard 180);
pull_request/push keep 240/180. workspace-test-shard gets a NEW permissions block
(contents: read, checks: read, actions: write) so the cancel is authorised and the
check-suite reader keeps working. Adds ci/step-budgets.tsv and the LAB tools
scripts/lab/ci_failfast_audit.sh and scripts/ci/step_budget_check.sh, which no PR or
release job runs (C324 r5).

The cancel is a request: whether it beats the always() gate is unmeasured (see
check_ci_unwedge.sh:6-24, #3229) and pending quorum.

Refs #5394

PMAT-Ticket: PMAT-5394
PMAT-Batch: BATCH-aprender-build-speed
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
…s.sha before checkout

The kfocus entry in check_runner_labels.sh DISCRIM was put to a quorum round
(Opus+Haiku, bound to 1495fe5): AGREED 2/2, not a weakening.

Refs #5889

PMAT-Ticket: PMAT-5889
PMAT-Batch: BATCH-aprender-build-speed
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
…eck that does not exist

scripts/affected_set.sh cited scripts/check_affected_readers.sh, which is not in the tree. The
comment now says what is true (a crate missing from READERS is skipped silently). A 12-row
--self-test on a synthetic graph covers the empty diff, closure + readers, a leaf, a CORE crate,
non-.rs under crates/, build.rs, an unplaced path, docs, ALL winning over a placed path and both
--filter forms. Dropping the build.rs case turns its row RED.

Refs #5974

PMAT-Ticket: PMAT-5974
PMAT-Batch: BATCH-aprender-silicon-coverage
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 2 (aprender-w5404, non-author): APPROVE @b3f40c004a30e1544739dd5493c1dad743e053d0. Linear, 7 commits, one PMAT-Ticket each, 0 merges. Lane review of origin/main..head: Opus APPROVE; Haiku's one objection (resolve_base fetches pull_request.base.sha and fails closed) ruled a nit. affected_set.sh --self-test 12 rows ok and the build.rs mutation turns it RED. Follow-up nits are ticket material, not blockers.

@noahgift
noahgift marked this pull request as ready for review October 22, 2026 19:49
@noahgift
noahgift enabled auto-merge October 22, 2026 19:50
@github-actions

Copy link
Copy Markdown

§13.11 rung 1 — quorum shadow verdict

S13-SHADOW pr=5991 head=b3f40c004a30e1544739dd5493c1dad743e053d0 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

Copy link
Copy Markdown
Member Author

Snapshot: head b3f40c0. Superseded by newer open #6010 on the same topic (PR-explosion cleanup, cop order aprender-57; EMG-7 tickets verified on main or in the successor). Branch kept; closing.

@noahgift noahgift closed this Oct 23, 2026
@noahgift noahgift reopened this Oct 23, 2026
@noahgift

Copy link
Copy Markdown
Member Author

superseded by #6010; branch kept. (dead-PR sweep, operator 08:46Z via aprender-b9)

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