@@ -551,13 +551,23 @@ regression suite).
551551
552552---
553553
554- ## Phase 10 and Beyond — Planned (Pending )
554+ ## Phases 11–12 — Planned (Active )
555555
556- ### Hardware Targets
556+ ### Phase 11 — SKA Phase 2 / Full Hoon Subset
557557
558- RPi 3 and RPi 4 are both supported. QEMU raspi4b is the CI target.
558+ ** STATUS: PLANNING**
559+
560+ - Symbolic analysis of recursive Hoon gates (beyond the current redo-loop)
561+ - SKA output used for compile-time jet pre-wiring (Phase 5 design)
562+ - Hoon compiler bootstrap (minimal subset sufficient for kernel development)
563+
564+ ### Phase 12 — Large Atom Cold Store
565+
566+ - BLAKE3 content-addressed atom store backed by SD card
567+ - Type-11 (content atom) tag fully implemented
568+ - Streaming BLAKE3 over 4GB+ atoms without full RAM residency
559569
560- ### Phase 10 — North Integration
570+ ## Phase 10 — North Integration (Deferred)
561571
562572** STATUS: PENDING EXTERNAL DEPENDENCY**
563573
@@ -572,17 +582,9 @@ North integration is deliberately excluded from the current roadmap until
572582the North project reaches a stable API. Do not begin Phase 10 work until
573583that dependency is resolved.
574584
575- ### Phase 11 — SKA Phase 2 / Full Hoon Subset
576-
577- - Symbolic analysis of recursive Hoon gates (beyond the current redo-loop)
578- - SKA output used for compile-time jet pre-wiring (Phase 5 design)
579- - Hoon compiler bootstrap (minimal subset sufficient for kernel development)
580-
581- ### Phase 12 — Large Atom Cold Store
585+ ### Hardware Targets
582586
583- - BLAKE3 content-addressed atom store backed by SD card
584- - Type-11 (content atom) tag fully implemented
585- - Streaming BLAKE3 over 4GB+ atoms without full RAM residency
587+ RPi 3 and RPi 4 are both supported. QEMU raspi4b is the CI target.
586588
587589---
588590
0 commit comments