Skip to content

fix(ladder): teardown guard hung case asserts the event, not a 6-tick clock (K1) - #5832

Closed
noahgift wants to merge 1 commit into
mainfrom
fix/ladder-teardown-k1
Closed

noahgift wants to merge 1 commit into
mainfrom
fix/ladder-teardown-k1

Conversation

@noahgift

Copy link
Copy Markdown
Member

Five whys (#5798 check_ladder_serve_teardown 7 vs 6): 1) hung case read 'stalled 7', bound 6. 2) ticks = loop turns, not the stall count: quiet resets on any CPU jiffy. 3) a loaded host gives the idle fake extra jiffies (start-up, wake-ups). 4) the bound was stall+3, a guess, not measured. 5) the contract is the verdict, not a number of ticks.
Fix: hung must be 'stalled' (never ready/ceiling/died), >= stall ticks (not early), < ceiling. 200 runs at load ~31 on 32 cores: 0 failures (154x3, 45x4, 1x7; old bound fails on the 7). --self-test OK.
Quorum + 2 non-author seats pending; not armed.

🤖 Generated with Claude Code

…+3 ticks (K1, #5798 flake)

The quiet counter restarts on any CPU jiffy; under load 'stalled' took 3..7 ticks (200 loaded runs: 154x3, 45x4, 1x7). Bound is now min=stall, max=ceiling-1.

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

Copy link
Copy Markdown

§13.11 rung 1 — quorum shadow verdict

S13-SHADOW pr=5832 head=d5098bb0ab211f0173529edb0d9423b3fcd5eb94 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 marked this pull request as draft October 21, 2026 13:50
@noahgift

Copy link
Copy Markdown
Member Author

Moved to draft, not closed. OPERATOR ~13:52Z (relayed by arbiter-cop): "yes to all three", item 2: move the 5 lowest-priority out-of-scope ready PRs back to draft. WIP≤7 counts ready PRs only. — aprender-cop

@noahgift

Copy link
Copy Markdown
Member Author

superseded by #5927 (EMG-001 epic build-speed; this ticket's commit is in its range)

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