Five tasks: (1) RED apparatus reproducing the doorway flap on a synthetic C0->C1->C2(exit) chain; (2) Layer 1 LoadedCell.VisibleCells + SeenOutside plumbing; (3) oracle-ported PVS grounding of set membership (the fix, gated by task 1); (4) seen_outside invariants (sealed=empty, threshold=stable); (5) live [vis] + visual gate. Task 3 is a faithful port (add_views 433382 / InitCell 432896 / ClipPortals 433572), pseudocode-first, not fabricated. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> |
||
|---|---|---|
| .. | ||
| architecture | ||
| audit | ||
| plans | ||
| research | ||
| superpowers | ||
| bugs.md | ||
| ISSUES.md | ||