The #5480 reviewer lane shipped (#5485 implementation, #5515 ledger-sync fix proven by the #5511 Spin model, #5588 adjudication audit events) and is live on a hosted spoke. Deferred items from the delivery, none blocking:
- G2 — pending-wipe: escalation.Sweep treats CI-pending as not-red and deletes ledger entries, making the distinct-SHA breaker probabilistic. Remains the one pinned expected-fail in src/formal/escalation (witness at 7,706 states). Fix + flip the model expectation.
- Embedded kick template: reviewer lane uses the hardcoded builder fallback; ship a reviewer-lane.md template per the Phase-4 template plan.
- Structured hand-off notes: post-reviewer re-escalations go to a human with only labels as context; add a structured note (what the reviewer tried, why it failed).
- True creation-time ordering: work list orders escalated PRs by PR number as an age proxy; thread real timestamps through ci-failing.json rows.
Refs #5480
The #5480 reviewer lane shipped (#5485 implementation, #5515 ledger-sync fix proven by the #5511 Spin model, #5588 adjudication audit events) and is live on a hosted spoke. Deferred items from the delivery, none blocking:
Refs #5480