GameCult/Idunn
Watch
9
0
Fork
You've already forked Idunn
 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

route-continuity-target invariant 5: the continuity yields to a deployment awaiting the handover

Browse source 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This commit is contained in:
Meta Vens 2026-10-19 20:11:10 +02:00
commit 81bfb03712
1 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
docs/route-continuity-target.md
View file

@ -57,7 +57,10 @@ web app and service through Idunn v2. The live evidence is on Yggdrasil:
incumbent. A continuity past its deadline is left to the operator
(operator-required incident) and retries its phase forward on a capped
backoff, because aborting it would stop the only running copy of the admitted
body (ruling post-fence-forward-retry). A stateful deployment is left to the
body (ruling post-fence-forward-retry), until a deployment awaits the
handover of its target: then it yields through its own post-fencing abort,
and the deployment fences what is admitted (ruling
continuity-yields-to-deploy). A stateful deployment is left to the
operator.
6. **The admitted receipt describes the running incarnation.** Continuity
commits update the admitted generation atomically, so the rollback path never