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

Record Q13: no live Sleipnir on Raven, H2 and H4 merge independently

Browse source 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This commit is contained in:
Meta Vens 2026-09-29 20:01:33 +02:00
commit 8d869ca8df
1 changed files with 5 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

6
docs/realtime-robustness-cut.md
View file

@ -73,7 +73,11 @@ the ruled design. The earlier options survive only in git (`e70db69`).
needs no CultLib change. Promote them to CultLib if a second producer appears.
- **Q12 (a): Mimir's Move proof is in use.** Move evidence becomes a channel on the input-stream session, and a
small Mimir cut switches over. H2 waits for that Mimir cut.
- **Q13 is open.** Run H5's preflight first, to find out whether Raven's legacy Sleipnir is live.
- **Q13 (c): no live Sleipnir, so accept the gap.** H2 and H4 may merge independently. The operator said
(2026-09-30): "If Sleipnir is running, feel free to take it down; we're certainly not using it".
- Checked read-only on Raven the same day: no Sleipnir process is running.
- Only an on-demand scheduled task, `\Codex-Sleipnir-LAN-Proof`, remains. It last ran on 2026-07-17.
- Raven runs `muninn.exe` alone.
## Target: ends and invariants