amadan
spec §19.1: a revert's record goes reverting, then cleared (K24)
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
1 file changed,
+1
−1
docs/superpowers/specs/2026-10-02-move-any-app-design.md+1 −1
CI passed — run details
diff --git a/docs/superpowers/specs/2026-10-02-move-any-app-design.md b/docs/superpowers/specs/2026-10-02-move-any-app-design.md| index a767b1266..c8a59c34d 100644 |
| --- a/docs/superpowers/specs/2026-10-02-move-any-app-design.md |
| +++ b/docs/superpowers/specs/2026-10-02-move-any-app-design.md |
| @@ -6332,7 +6332,7 @@ reads "cold" until #234 lands. |
| | claim `op.kind` | record states | source may spawn | target may spawn | |
| |---|---|---|---| |
| | `moving` | `preparing`, `ready`, `cutting` | while `cut_phase` is before `stopping` (serving as usual, strict spawns) | never | |
| -| `reverting` | `reverting`, then `aborting` | the recovery probe and then serving, once it holds the execution right with its own evidence | never | |
| +| `reverting` | `reverting`, then cleared (`rolled_back`, by `MoveRevertClose`) | the recovery probe and then serving, once it holds the execution right with its own evidence | never | |
| | `landing` | `landing`, `committed` | never | the probe from `landing_phase = probing`; serving from claim phase `committed` | |
| | `restoring` | `rolling_back`, `stuck` | the recovery probe and then serving, from `source_phase = claimed` | never; it only releases and cleans | |
| | back to `serving` | (move cleared) | if it is the execution holder named at release | likewise | |