You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
REX-07: day-0 shadow lane: 4B lane as non-voting 4th quorum lane on gx10, writes review-ledger-v1 #4362
owner: rex
Epic: #4354 (REX-001). Spec: docs/specifications/review-experiment-protocol.md §7 row REX-07.
Done when (all must hold): contract review-ledger-v1: 100% of quorums after activation carry a shadow row; planted gx10-down leaves width 3 and writes Unknown{LaneUnavailable}
Binding: §6 R-1..R-12, §8 STOPs. Ticket id = PMAT-.
Folded into #4354 as a checklist line (ISSUE-TREE-001: a family of rows becomes one parent with checklist lines). Work and status are tracked there. aprender-wtix-even
Activity
REX-07: review-ledger-v1 rows + shadow-lane coverage check (Refs #4362)
roadmap: PMAT-4362 fragment — REX-07 Ask 2 (served weights sha256) sc…
roadmap: aggregate PMAT-4362 fragment, Refs #4362
docs(audits): quorum 3/3 PASS for #4252/#4362 served-weights sha256, …
noahgift commentedon Oct 4, 2026
Folded into #4354 as a checklist line (ISSUE-TREE-001: a family of rows becomes one parent with checklist lines). Work and status are tracked there. aprender-wtix-even