feat: populate nextgen-typing with real content (placeholders → project state)

- 0-AI-MANIFEST.a2ml: project-specific invariants and startup sequence
- EXPLAINME.adoc: what this is, why it exists, key files
- docs/ARCHITECTURE.adoc: cleaned up as pure architecture doc (removed briefing framing)
- .machine_readable/6a2/STATE.a2ml: real milestones, blockers, next actions
- .machine_readable/6a2/META.a2ml: ADRs (open-ended TypeLL, dual-role typed-wasm, katagoria)
- .machine_readable/6a2/ECOSYSTEM.a2ml: all related projects with relationship types
- ROADMAP.adoc: mark sprint items done; add remaining work
- Replaced all {{PLACEHOLDER}} tokens throughout

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

Author: hyperpolymath

.devcontainer/README.adoc

@@ -1,6 +1,6 @@
 // SPDX-License-Identifier: PMPL-1.0-or-later
 = Dev Container Usage
-:author: {{AUTHOR}} <{{AUTHOR_EMAIL}}>
+:author: Jonathan D.A. Jewell <6759885+hyperpolymath@users.noreply.github.com>
 
 == Overview
 
@@ -24,4 +24,4 @@ This dev container uses `cgr.dev/chainguard/wolfi-base` with git, curl, bash, an
 
 == Customization
 
-Replace `{{PROJECT_NAME}}` placeholders in both `devcontainer.json` and `Containerfile` with your actual project name. Run `just deps` to verify the environment after first launch.
+Replace `nextgen-typing` placeholders in both `devcontainer.json` and `Containerfile` with your actual project name. Run `just deps` to verify the environment after first launch.

.machine_readable/6a2/AGENTIC.a2ml

@@ -1,12 +1,12 @@
 # SPDX-License-Identifier: PMPL-1.0-or-later
-# Copyright (c) {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
+# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <6759885+hyperpolymath@users.noreply.github.com>
 #
 # AGENTIC.a2ml — AI agent constraints and capabilities
 # Defines what AI agents can and cannot do in this repository.
 
 [metadata]
 version = "0.1.0"
-last-updated = "{{CURRENT_DATE}}"
+last-updated = "2026-04-11"
 
 [agent-permissions]
 can-edit-source = true

.machine_readable/6a2/ECOSYSTEM.a2ml

@@ -1,26 +1,37 @@
 # SPDX-License-Identifier: PMPL-1.0-or-later
-# Copyright (c) {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
+# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <6759885+hyperpolymath@users.noreply.github.com>
 #
 # ECOSYSTEM.a2ml — Project ecosystem position
 # Relationships, dependencies, integration points.
 
 [metadata]
 version = "0.1.0"
-last-updated = "{{CURRENT_DATE}}"
+last-updated = "2026-04-11"
 
 [project]
-name = "{{PROJECT_NAME}}"
-purpose = "{{PROJECT_PURPOSE}}"
-role = "{{PROJECT_ROLE}}"  # e.g. ffi-infrastructure, cli-tool, library, service
+name = "nextgen-typing"
+purpose = "Coordination monorepo for the hyperpolymath type theory pipeline (katagoria → typell → typed-wasm → PanLL)"
+role = "coordination-monorepo"  # e.g. ffi-infrastructure, cli-tool, library, service
 
 [position-in-ecosystem]
 tier = "infrastructure"  # 1 | 2 | infrastructure
 
 [related-projects]
-# relationship types: sibling-standard, dependency, dependent, inspiration, potential-consumer
-# - { name = "language-bridges", relationship = "sibling-standard" }
-# - { name = "hypatia", relationship = "potential-consumer" }
+projects = [
+  { name = "katagoria", relationship = "coordinates", notes = "Research upstream of the pipeline. Type theory prototypes before promotion to production. Does not exist yet (2026-04-11)." },
+  { name = "typell", relationship = "coordinates", notes = "TypeLL verification kernel. Open-ended progressive type safety. Powers PanLL port 7800." },
+  { name = "typed-wasm", relationship = "coordinates", notes = "TypeLL applied to WasmGC memory safety + aggregate library for AffineScript/Ephapax." },
+  { name = "panll", relationship = "downstream-consumer", notes = "eNSAID reference env. TypeLL runs inside PanLL. Not owned by nextgen-typing." },
+  { name = "nextgen-languages/affinescript", relationship = "co-product", notes = "Compiles to typed WasmGC. TypeLL grounds its type system." },
+  { name = "nextgen-languages/ephapax", relationship = "co-product", notes = "Compiles to typed WasmGC. TypeLL grounds its dyadic linear/affine system." },
+  { name = "tropical-resource-typing", relationship = "research-artefact", notes = "Isabelle/HOL + Lean 4 tropical type theory work. Feeds into protocol-squisher." },
+  { name = "protocol-squisher", relationship = "co-product", notes = "Transport semilattice; adapter path search is Dijkstra on max-plus semiring (tropical)." },
+  { name = "nextgen-languages", relationship = "sibling-standard", notes = "Sibling coordination monorepo for the language family." },
+  { name = "nextgen-databases", relationship = "sibling-standard", notes = "Sibling coordination monorepo for the database family." },
+]
 
 [integration-points]
-# External systems this project connects to
-# - { system = "gitbot-fleet", direction = "outbound", protocol = "repository_dispatch" }
+integrations = [
+  { system = "typell", direction = "outbound", protocol = "documentation-reference", notes = "nextgen-typing is the canonical source of pipeline architecture; typell links back" },
+  { system = "typed-wasm", direction = "outbound", protocol = "documentation-reference", notes = "same as typell" },
+]

.machine_readable/6a2/META.a2ml

@@ -1,28 +1,36 @@
 # SPDX-License-Identifier: PMPL-1.0-or-later
-# Copyright (c) {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
+# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <6759885+hyperpolymath@users.noreply.github.com>
 #
 # META.a2ml — Project meta-level information
 # Architecture decisions, design rationale, governance.
 
 [metadata]
 version = "0.1.0"
-last-updated = "{{CURRENT_DATE}}"
+last-updated = "2026-04-11"
 
 [project-info]
-type = "{{PROJECT_TYPE}}"  # library | binary | monorepo | service | website
+type = "monorepo"  # library | binary | monorepo | service | website
 languages = []             # e.g. ["rust", "zig", "idris2"]
 license = "PMPL-1.0-or-later"
-author = "{{AUTHOR}} ({{OWNER}})"
+author = "Jonathan D.A. Jewell (hyperpolymath)"
 
 [architecture-decisions]
-# ADR format: status = proposed | accepted | deprecated | superseded | rejected
-# - { id = "ADR-001", title = "Use Zig for FFI", status = "accepted", date = "2026-02-14" }
+adrs = [
+  { id = "ADR-001", title = "Coordination monorepo, no compiler code", status = "accepted", date = "2026-04-11",
+    rationale = "nextgen-typing documents relationships and hosts cross-cutting research artefacts. Compiler code lives in the constituent repos (typell, typed-wasm). Follows the nextgen-languages and nextgen-databases precedent." },
+  { id = "ADR-002", title = "TypeLL is open-ended progressive, not capped at 10 levels", status = "accepted", date = "2026-04-11",
+    rationale = "Earlier docs described TypeLL as a '10-level hierarchy'. This is incorrect. TypeLL progressively adds levels as the type theory demands. L1-L10 is the current initial mapping, not a ceiling. The ROADMAP.adoc in typell was updated to reflect this." },
+  { id = "ADR-003", title = "typed-wasm has dual role (ADR-004 in typed-wasm)", status = "accepted", date = "2026-04-11",
+    rationale = "typed-wasm is both the TypeLL WASM safety application AND the aggregate library for AffineScript+Ephapax cross-language binary conventions. Both roles are first-class. See typed-wasm/.machine_readable/6a2/META.a2ml#ADR-004." },
+  { id = "ADR-004", title = "katagoria is the research upstream of typell", status = "proposed", date = "2026-04-11",
+    rationale = "Type theory ideas need an origination space before promotion to production repos. katagoria is that space: Idris2/Lean proofs-of-concept, reading notes, prototype formalizations. It has not been created yet." },
+]
 
 [development-practices]
 build-tool = "just"
 container-runtime = "podman"
 ci-platform = "github-actions"
-package-manager = "guix"  # guix | nix | cargo | mix
+package-manager = "guix"
 
 [maintenance-axes]
 scoping-first = true
@@ -50,4 +58,9 @@ drift-risk-example = "single exception broadening into policy violation (e.g. Re
 effects-evidence = "benchmark execution/results and maintainer status dialogue/review"
 
 [design-rationale]
-# Key design decisions and their reasoning
+summary = [
+  "nextgen-typing is a coordination layer only — it documents, it does not implement.",
+  "The pipeline is katagoria → typell → typed-wasm → PanLL. Each constituent repo is self-contained.",
+  "Cross-cutting research (tropical types, protocol-squisher) lives here when it does not belong in one repo.",
+  "TypeLL's open-ended progressive design is the central architectural invariant: levels are added, never capped.",
+]

.machine_readable/6a2/NEUROSYM.a2ml

@@ -1,12 +1,12 @@
 # SPDX-License-Identifier: PMPL-1.0-or-later
-# Copyright (c) {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
+# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <6759885+hyperpolymath@users.noreply.github.com>
 #
 # NEUROSYM.a2ml — Neurosymbolic integration metadata
 # Configuration for Hypatia scanning and symbolic reasoning.
 
 [metadata]
 version = "0.1.0"
-last-updated = "{{CURRENT_DATE}}"
+last-updated = "2026-04-11"
 
 [hypatia-config]
 scan-enabled = true

.machine_readable/6a2/PLAYBOOK.a2ml

@@ -1,12 +1,12 @@
 # SPDX-License-Identifier: PMPL-1.0-or-later
-# Copyright (c) {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
+# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <6759885+hyperpolymath@users.noreply.github.com>
 #
 # PLAYBOOK.a2ml — Operational playbook
 # Runbooks, incident response, deployment procedures.
 
 [metadata]
 version = "0.1.0"
-last-updated = "{{CURRENT_DATE}}"
+last-updated = "2026-04-11"
 
 [deployment]
 # method = "gitops"  # gitops | manual | ci-triggered

.machine_readable/6a2/STATE.a2ml

@@ -1,64 +1,59 @@
 # SPDX-License-Identifier: PMPL-1.0-or-later
-# Copyright (c) {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
+# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <6759885+hyperpolymath@users.noreply.github.com>
 #
-# STATE.a2ml — Project state checkpoint (META-TEMPLATE)
-#
-# This is the STATE file for rsr-template-repo itself.
-# When consumed by a new project, replace {{PLACEHOLDER}} tokens
-# and customize sections below for the target project.
+# STATE.a2ml — nextgen-typing project state
 
 [metadata]
-project = "rsr-template-repo"
-version = "0.2.0"
-last-updated = "2026-02-28"
-status = "active"  # active | paused | archived
+project = "nextgen-typing"
+version = "0.1.0"
+last-updated = "2026-04-11"
+status = "active"
 
 [project-context]
-name = "rsr-template-repo"
-purpose = "Canonical RSR-compliant repository template providing scaffolding for all hyperpolymath projects — including CI/CD, AI manifests, ABI/FFI standards, container ecosystem, and governance infrastructure."
-completion-percentage = 95
+name = "nextgen-typing"
+purpose = """
+Coordination monorepo for the hyperpolymath type theory pipeline.
+Documents and connects: katagoria (research) → typell (kernel) → typed-wasm (target) → PanLL (env).
+Hosts cross-repo architecture docs, pipeline roadmap, and research artefacts that span projects.
+Does NOT contain compiler code.
+"""
+completion-percentage = 30
 
 [position]
-phase = "maintenance"      # design | implementation | testing | maintenance | archived
-maturity = "production"    # experimental | alpha | beta | production | lts
+phase = "implementation"
+maturity = "alpha"
 
 [route-to-mvp]
 milestones = [
-  { name = "Phase 0: Core scaffolding (justfile, CI/CD, .machine_readable)", completion = 100 },
-  { name = "Phase 1: ABI/FFI standard (Idris2/Zig templates)", completion = 100 },
-  { name = "Phase 1b: AI Gatekeeper Protocol (0-AI-MANIFEST.a2ml)", completion = 100 },
-  { name = "Phase 1c: TOPOLOGY.md standard and guide", completion = 100 },
-  { name = "Phase 1d: Maintenance gate (axes, checklist, approach)", completion = 100 },
-  { name = "Phase 1e: Trustfile / contractiles", completion = 100 },
-  { name = "Phase 2: Container ecosystem templates (stapeln)", completion = 100 },
-  { name = "Phase 3: Multi-forge sync hardening", completion = 0 },
-  { name = "Phase 4: Nix/Guix reproducible shells", completion = 50 },
+  { name = "Repo scaffolded and pushed to GitHub", completion = 100 },
+  { 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 = "Protocol Squisher tropical connection documented", completion = 0 },
 ]
 
 [blockers-and-issues]
-# No active blockers
+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",
+]
 
 [critical-next-actions]
 actions = [
-  "Container templates complete — test with `just container-init`",
-  "Validate container templates across wolfi-base and static Chainguard images",
-  "Harden multi-forge sync for GitLab/Bitbucket mirroring edge cases",
-  "Expand Nix/Guix development shell templates",
+  "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",
 ]
 
 [maintenance-status]
-last-run-utc = "never"
-last-report = "docs/reports/maintenance/latest.json"
-last-result = "unknown"  # unknown | pass | warn | fail
+last-run-utc = "2026-04-11T00:00:00Z"
+last-result = "unknown"
 open-warnings = 0
 open-failures = 0
 
 [ecosystem]
-part-of = ["RSR Framework", "stapeln ecosystem"]
-depends-on = ["stapeln", "selur-compose", "cerro-torre", "svalinn", "vordr", "k9-svc"]
-
-# ---------------------------------------------------------------------------
-# NOTE FOR CONSUMERS: When using this template to create a new repo, reset
-# the fields above to your project's values and replace all {{PLACEHOLDER}}
-# tokens. The milestones above describe the TEMPLATE's evolution, not yours.
-# ---------------------------------------------------------------------------
+part-of = ["hyperpolymath coordination infrastructure"]
+coordinates = ["typell", "typed-wasm", "katagoria", "tropical-resource-typing", "protocol-squisher"]
+downstream-consumers = ["panll", "nextgen-languages/affinescript", "nextgen-languages/ephapax"]

.machine_readable/ECOSYSTEM.a2ml

@@ -2,7 +2,7 @@
 ;; Ecosystem position and relationships
 (ecosystem
   (version "1.0.0")
-  (name "{{REPO}}")
+  (name "nextgen-typing")
   (type "library")
   (purpose "{{REPO_DESCRIPTION}}")
   (related-projects))

.machine_readable/ENSAID_CONFIG.a2ml

@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: PMPL-1.0-or-later
-# Copyright (c) {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
+# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <6759885+hyperpolymath@users.noreply.github.com>
 #
 # ENSAID_CONFIG.a2ml — eNSAID Environment Configuration
 # Per-repo configuration for PanLL and eNSAID-compatible tools.
@@ -89,8 +89,8 @@ version = "1.0.0"
 
 # Example: a custom portfolio for this project
 # [[portfolios.custom]]
-# id = "{{project}}-dev"
-# name = "{{PROJECT_NAME}} Development"
-# description = "Panels for {{PROJECT_NAME}} development"
+# id = "nextgen_typing-dev"
+# name = "nextgen-typing Development"
+# description = "Panels for nextgen-typing development"
 # panels = ["valence-shell", "editor-bridge", "build-dashboard"]
 # default-isolation = "native"

.machine_readable/META.a2ml

@@ -2,7 +2,7 @@
 ;; Architecture decisions and development practices
 (meta
   (version "1.0.0")
-  (project "{{REPO}}")
+  (project "nextgen-typing")
   (architecture-decisions)
   (development-practices
     (code-review "required")