amadan
spec: host lifecycle claim rev 6.26, joint round 17 R17-2 (clean round)
The whole-host staging scope moves/<host> is used by a delete's staging park as well as the at-rest sweep.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
1 file changed,
+6
−4
docs/superpowers/specs/2026-10-02-host-lifecycle-claim-design.md+6 −4
CI passed — run details
diff --git a/docs/superpowers/specs/2026-10-02-host-lifecycle-claim-design.md b/docs/superpowers/specs/2026-10-02-host-lifecycle-claim-design.md| index a7ca54c6b..9f9ab1088 100644 |
| --- a/docs/superpowers/specs/2026-10-02-host-lifecycle-claim-design.md |
| +++ b/docs/superpowers/specs/2026-10-02-host-lifecycle-claim-design.md |
| @@ -1,6 +1,6 @@ |
| # The host lifecycle claim |
| -Design, 2026-10-06, **rev 6.25**. Joint rounds 6 and 7 judged the claim ready for primitive planning. Rev |
| +Design, 2026-10-06, **rev 6.26**. Joint rounds 6 and 7 judged the claim ready for primitive planning. Rev |
| 6.5 added the R6-4 rule. Rev 6.6 added writer epochs (R7-1, amadan #225). |
| Rev 6.7 answered the moves session's notes on §6.4a. Rev 6.8 rewrote §6.4a |
| around writer sessions, for joint round 8. Rev 6.10 answers joint round 10 |
| @@ -25,7 +25,8 @@ states the rev 7.14 sweep notes (joining, the horizon). Rev 6.24 answers |
| joint round 16 (R16-1 scope namespaces, R16-3 the legacy loss identity) |
| and states the narrowed born-covered rule. Rev 6.25 answers the moves |
| spec's rev 7.17 notes (a delete's parks are scoped; a create's first |
| -admission declares nothing). Rev 6.9 answered |
| +admission declares nothing). Rev 6.26 answers joint round 17's R17-2 (a |
| +delete may use the whole-host staging scope). Joint round 17 was CLEAN. Rev 6.9 answered |
| joint round 9 |
| (R9-1 to R9-4) and takes **Paul's ruling R6 (2026-10-04): a box never |
| reuses its local database. Every writer start restores from the |
| @@ -249,8 +250,9 @@ Field rules: |
| - `moves/<host>/<op id>`: one operation's staging prefix (a move's |
| staging, or a rollback's return lane), `<op id>` an opaque operation |
| id containing no `/`; |
| - - `moves/<host>`: the whole staging prefix, only for an at-rest sweep |
| - while no operation stages there. |
| + - `moves/<host>`: the whole staging prefix, used only by a delete's |
| + staging park (§5.2) and by an at-rest sweep, each while no operation |
| + stages there (R17-2). |
| Nothing else, and no trailing `/`. **A scope covers only its own |
| namespace (R16-1):** an `instances/...` scope never lists or parks |