Skip to content

Commit 8c44545

Browse files
hyperpolymathclaude
andcommitted
docs(ecosystem): add nextgen-typing, katagoria, and typed-wasm pipeline relationships
- nextgen-typing: coordination-parent (canonical architecture doc) - katagoria: research-upstream (type theory origination space) - typed-wasm: downstream-application (TypeLL applied to WasmGC + aggregate library) - Updated last-updated date Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
1 parent 1652c42 commit 8c44545

1 file changed

Lines changed: 4 additions & 1 deletion

File tree

.machine_readable/6a2/ECOSYSTEM.a2ml

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66

77
[metadata]
88
version = "0.1.0"
9-
last-updated = "2026-03-01"
9+
last-updated = "2026-04-11"
1010

1111
[project]
1212
name = "Typell"
@@ -44,6 +44,9 @@ projects = [
4444
{ name = "gitbot-fleet", relationship = "automation-consumer", notes = "Bot orchestration. Echidnabot could use Typell for formal verification checks." },
4545
{ name = "proven", relationship = "sibling-verification", notes = "BGP/crypto formal verification. Shares Idris2 ABI/FFI standard. Different domain." },
4646
{ name = "idaptik-level-architect", relationship = "potential-consumer", notes = "14 Idris2 modules with cross-domain proofs. Could consume Typell for level validation." },
47+
{ name = "nextgen-typing", relationship = "coordination-parent", notes = "Coordination monorepo for the full type theory pipeline. Canonical architecture doc lives there." },
48+
{ name = "katagoria", relationship = "research-upstream", notes = "Research origination space. Type theory ideas graduate from katagoria to typell." },
49+
{ name = "typed-wasm", relationship = "downstream-application", notes = "TypeLL progressive type safety applied to WasmGC memory. Also aggregate library for AffineScript+Ephapax." },
4750
]
4851

4952
[integration-points]

0 commit comments

Comments
 (0)