Task · SKT-0156

Diagnose bounded HA helper HTTP readiness failure under the full race gate

Description

A documentation-only candidate failed TestHACoordinatorRenewalLossSuppressesCleanup/partial at the initial /control/state readiness wait before lease acquisition. The full remote race gate reported the six-second observation deadline, but did not retain child startup output or HTTP diagnostics. All runtime Go inputs are identical to base; one bounded local focused base race test passed, so the remote failure is not yet reproduced or attributed. This blocks trustworthy gate classification independently of the documentation change.

Acceptance Criteria

Definition of Done

Implementation Notes

loop52 BATCH2: landed e2cea58 (pushed 45ff131). Cause 1 (reserve-and-close port race) fixed in ha_loss_test.go; failures now report helper exit/output or a SIGQUIT dump. Cause 2 unfixed: under gate CPU starvation the helper misses its 100ms startup Lease lookup or the 300ms renew deadline (65/130 under 256-hog load on gate-1); removing it needs a bound or production change. Parked pending owner ruling Q05 (park / isolated race tier / bound change). Evidence: codex/loop52/lha/return.md (machine-local). Sibling port pattern: SKT-0161.

Loop54 authorized bounded remote measurement at source8f5a75e (runtime source unchanged from a0554b6), run20261023T194726Z-synthkit-f2a5755f. One quiet-host race job ran HA then Fleet sequentially: 10 top-level HA iterations/40 scenario subtests and 10 Fleet iterations/20 restart-teardown subtests all passed, zero skipped. The same 40 HA cases cover helper readiness, not an extra independent sample. Bounds/source/assertions/isolation unchanged. No reproduction, repair, cleared full-gate failure, loaded A/B or measured isolation benefit established; retain Parked pending naturally failing same-context request/startup/scheduler evidence.

Loop54 closeout: remains Parked after quiet-host measurements showed no attributable readiness defect or isolation benefit. Resume only on fresh reproducible evidence; no bound/helper policy weakened.

No new timing measurement ran: the documented runner exposes free slots but no guaranteed idle or preemptible gate-host route. Existing quiet results do not clear the park; request/startup/scheduling attribution remains required. No timeout or test was weakened.

Closeout defect park retained: no new helper-readiness measurement ran because the required nonblocking idle/preemptible route was unavailable. Resume on compliant measurement or fresh attributed reproduction; preserve bounds and existing proof.

The same fresh forty HA scenario passes include the helper-readiness phases, not forty additional independent observations. No attributed readiness failure or correction was established; retain Parked, deadlines and assertions unchanged.

loop57 closeout: parked/open, see codex/closeout-2026-10-24-loop57.md.

Owner closeout: No new readiness attribution; unchanged bounds and diagnostic park retained.

View the source file on GitHub