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

Record Q11 (muninn-contracts) and Q12 (fold Move evidence in)

Browse source 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This commit is contained in:
Meta Vens 2026-09-29 19:58:10 +02:00
commit 83b3947a8f
1 changed files with 7 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -68,6 +68,13 @@ the ruled design. The earlier options survive only in git (`e70db69`).
and Sleipnir requests it the way Ratatoskr requests video. The HID cuts H0-H5 need re-mapping to this
shape before Hands.
**Rulings, 2026-09-30 (operator), pass 3 forks:**
- **Q11 (a): the input-stream records live in `muninn-contracts` as `muninn.input_stream_*`.** The input track
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.
## Target: ends and invariants
**End.** A Muninn stream that loses packets degrades by what each signal class