P3: prove octad-model invariants as real bijections + sidecar isolation#168

hyperpolymath merged 4 commits into

mainhyperpolymath/verisimiser:mainfrom

claude/new-session-1fphithyperpolymath/verisimiser:claude/new-session-1fphitCopy head branch name to clipboard