# Astra: L18 joint round, round 2 (stage B Task 11)

Your round 1 (`CODEX-REVIEW-L18-JOINT-ROUND-FINAL.md`) found four P2s. This round reviews the model on `region-ha-two-box-build` at ded69314 against the built code on `region-ha-1b-next-build` at ca282378.

**Finding 1** (moves' `restoring` loses source files protection) has been asked of the moves session on #236 and is not fixed yet. Re-judge it only to confirm it is still the only open item.

**Finding 2, the completion protocol.** The model now has eleven new rules covering:
- the probe stop under an owned fence;
- C10 discharge first and the mark last, retried from the claim;
- the completion barrier for successors, including drain, move and push;
- the completion pass in claim mode with region HA off (ruling 82);
- N6's handover.

Crash and refusal witnesses exist for each (commits 52ab8507, 363055fe, d2e97bf1).

**Finding 3, delayed source.**
- Built: catch-up hold after completion (ruling 85, a092ddc2, b1aacf79).
- Modelled: rule `reloc-completed-catchup-hold`, witness `wDelayedSourceHoldsItsRow`.
- The residual is modelled as built: after a successor op replaces the serving op, the row stays ready until park-local.

**Finding 4, C1/C11 fallbacks.** These are modelled as current behaviour (`reloc-c1-failed-release-refused`, `reloc-c11-later-attempt-refused`), with switches `claimC1` and `claimC11`.

**New since round 1.** The model found a deadlock in the built code. A completion box was terminated before discharge while a purge held admission closed. The fix, ruling 86 (ca282378, model ded69314): a purge or delete passes the barrier when the completion box's termination fence verifies. `StartGuard` gains `fencedCompletion`.

**Modelling assumptions to check against the code.** The model's report is `.superpowers/sdd/2026-10-07-region-ha-hostlife-two-box/l18-f2f4-report.md` on the two-box worktree.
- (a) The probe stop is a clean close that certifies the session, so N6's wake continues the prepared generation. If root's stop does not certify, that wake is cold and declares writes lost.
- (b) The source's admission fence closes at the stop, earlier than ruling 28's end of release.
- (c) Rev 7.20's `opened` phase and settle window are gone.

**Judge:**
1. Are findings 2–4 closed?
2. Is ruling 86 sound? Can the exemption admit a successor while a live box still holds participation?
3. Do assumptions (a)–(c) match the built code? If not, which side is wrong?
4. Is the ruling-85 residual acceptable while dormant?
5. Anything new?

Give findings P1/P2/P3 with file:line. End with a verdict: may relocation merge dormant once finding 1 lands?