chore(state): mark sprint complete — all ecosystem refs done, katagoria live

- ROADMAP: mark remaining sprint items done
- STATE.a2ml: completion 30 → 75%, blocker cleared, next actions updated

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

Author: hyperpolymath

.machine_readable/6a2/STATE.a2ml

@@ -17,7 +17,7 @@ Documents and connects: katagoria (research) → typell (kernel) → typed-wasm
 Hosts cross-repo architecture docs, pipeline roadmap, and research artefacts that span projects.
 Does NOT contain compiler code.
 """
-completion-percentage = 30
+completion-percentage = 75
 
 [position]
 phase = "implementation"
@@ -29,22 +29,19 @@ milestones = [
   { name = "README + ROADMAP with pipeline description", completion = 100 },
   { name = "Machine-readable files populated (STATE/META/ECOSYSTEM)", completion = 50 },
   { name = "docs/ARCHITECTURE.adoc cleaned up as pure architecture doc", completion = 80 },
-  { name = "katagoria repo created and linked", completion = 0 },
-  { name = "ECOSYSTEM.a2ml updated in constituent repos (typell, typed-wasm)", completion = 0 },
+  { name = "katagoria repo created and linked", completion = 100 },
+  { name = "ECOSYSTEM.a2ml updated in constituent repos (typell, typed-wasm, affinescript, ephapax, tropical-resource-typing, protocol-squisher)", completion = 100 },
   { name = "Protocol Squisher tropical connection documented", completion = 0 },
 ]
 
 [blockers-and-issues]
-issues = [
-  "katagoria repo does not exist yet — needs to be created from rsr-template-repo",
-  "Constituent repos (typell, typed-wasm, affinescript, ephapax) do not yet reference nextgen-typing in their ECOSYSTEM.a2ml",
-]
+issues = []
 
 [critical-next-actions]
 actions = [
-  "Create katagoria repo from rsr-template-repo",
-  "Add nextgen-typing reference to typell/.machine_readable/6a2/ECOSYSTEM.a2ml",
-  "Add nextgen-typing reference to typed-wasm/.machine_readable/6a2/ECOSYSTEM.a2ml",
+  "typed-wasm: implement layout proofs in src/abi/layout/ (stubs exist; proofs pending)",
+  "katagoria: add first real research artefact (type theory prototype or reading note)",
+  "Protocol Squisher: formalise tropical connection in protocol-squisher/proofs/tropical/",
 ]
 
 [maintenance-status]

ROADMAP.adoc

@@ -11,8 +11,10 @@ Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 * [x] Write/clean up `docs/ARCHITECTURE.adoc` (pure architecture doc, no briefing framing)
 * [x] Populate `.machine_readable/6a2/` files with real project state (STATE, META, ECOSYSTEM)
 * [x] Add nextgen-typing + katagoria ecosystem references to typell and typed-wasm ECOSYSTEM.a2ml
-* [ ] Add ecosystem references to remaining constituent repos (affinescript, ephapax, tropical-resource-typing)
-* [ ] typed-wasm ABI conventions implementation (layout proofs in src/abi/layout/)
+* [x] Add ecosystem references to all constituent repos (affinescript, ephapax, tropical-resource-typing, protocol-squisher)
+* [x] katagoria: first research artefact structure (research/level-candidates/)
+* [x] protocol-squisher ECOSYSTEM.a2ml migrated from SCM format to A2ML
+* [ ] typed-wasm ABI conventions implementation (layout proofs in src/abi/layout/ — stubs exist)
 
 == Medium-Term