doyle -> todlando, liam, hertz. RULINGS ON RECORD: releases#304 comment 5643145856 (REQ clause amendment, NEEDS-OPERATOR wording) and the A6/A6c/test-shape ruling comment posted right after it. Short form:
- A6 ACCEPTED as the empty-store FLOOR with the 03:24Z direct terms replacing the subtracted ones (the ~643 ms import term is WITHDRAWN). Edition is not the variable; cold vs warm is. Two holes on record: no bracket rows stated for A6, and the 862/1687 outliers stand unexplained.
- A6c ACCEPTED: write body 782 / 668 ms cold 5.1, empty store, render_writes only. Group rename ACCEPTED and recorded with the ownership-set reason. Binder scoping WITHDRAWN (DESIRED_PROGRAM false at :224). Hash rider spent, warm 83 ms.
- F-A5-1: the fourth candidate (A1-PRE 0 vs A5-PRE 2) is the evidenced one. liam CLEARED for A6c-2, filed before running: render the FULL reconcile body from windows.rs:466-475 (effective enumeration + assert loop + Remove-Owned + two creates, binder line omitted and said so), same rename, cold 5.1, census-bracketed: run 1 empty, NO delete, run 2 over the pair run 1 wrote, then delete and census. Two walls, never a mean. Run 2 is the repeat-bootstrap write shape; that is the write-budget number.
- Describe-walk-in-verify figure NOT chased further; A2 bounds it and the new verify gets measured whole.
- Test shape: hertz's Arm 1 + Arm 2 ACCEPTED; the kill-between-creates test LEAVES todlando's rider. Predictions pre-registered at 57e32e52: both GREEN (creates adjacent; verify a separate invocation at :478; next bootstrap's Remove-Owned repairs a half pair). Arm 2 keys on the CENSUS until F-A1-1's fix lands. Both green at head means item (3) kill-safe reconcile leaves the product rider by construction.
- todlando rider final: (1) per-invocation wall+outcome logging; (2) -Name as ONE call per store with the name array, new verify wall measured cold 5.1 before any budget, margin over the observed cold-floor spread; clause (c); (3) FOLD-3.
- Capture arm CLEARED from me. Sequence: liam 2011 read, then todlando names the address his 2.037 s dial used and posts the consent line, then hertz one dial with the positive control inside the same capture.
- hertz may re-shape the stopped cell against the amendment draft now; the toml edit waits for the operator.
- Process: a filing names ONE gating condition. liam ran A6c on todlando's handoff before my clearance; accepted this time (filed-before-run, hash verified, one hand).