0-AI-MANIFEST.a2ml

# nextgen-typing AI Manifest (Read First)
# SPDX-License-Identifier: MPL-2.0

## What This Repo Is

`nextgen-typing` is a **coordination monorepo** for the hyperpolymath type
theory pipeline.  It does NOT contain compiler code.

Pipeline:  katagoria → typell → typed-wasm → PanLL

## STOP — Placement Rule (the most common mistake here)

Before creating ANY file, confirm it belongs in a coordination repo. This repo
holds ONLY: coordination/architecture docs, `.machine_readable/` state, estate
governance/CI scaffold, and CROSS-project proofs (importing ≥2 constituent
repos) under `verification/proofs/`.

If the content implements or proves something about ONE project, it belongs in
that project's repo — NOT here. Route it with the table in
`.machine_readable/bot_directives/placement.a2ml` (authoritative; CI-enforced
by `scripts/check-coordination-boundary.sh`). Examples: TypeLL kernel →
`typell`; ABI/WasmGC → `typed-wasm`; echo-types library → `echo-types`;
research PoCs → `kategoria`; μType₀ → `typefix-zero`; choreographic types →
`choreographic-types`. When unsure, open an issue — do not commit code on spec.

## Critical Invariants

1. **TypeLL is open-ended** — never say "TypeLL is a 10-level system". The
   current initial mapping runs L1-L10; new levels are added as theory demands.
2. **typed-wasm has two roles** — (1) TypeLL type safety for WasmGC linear
   memory, (2) aggregate library for AffineScript + Ephapax binary conventions.
   See typed-wasm ADR-004.
3. **No compiler claims here** — correctness/proof/benchmark claims are made
   in constituent repos, never in this coordination layer.
4. **katagoria is the research-origination upstream** — created 2026-04-11 and
   active in the pipeline (see ECOSYSTEM.a2ml / META.a2ml / ROADMAP.adoc). This
   coordination repo documents it but does not own it.

## Canonical Locations

- Pipeline architecture: `docs/ARCHITECTURE.adoc`
- Current state + blockers: `.machine_readable/6a2/STATE.a2ml`
- ADRs: `.machine_readable/6a2/META.a2ml`
- Ecosystem relationships: `.machine_readable/6a2/ECOSYSTEM.a2ml`
- Content routing (what goes where): `.machine_readable/bot_directives/placement.a2ml`
- Human overview: `README.adoc`
- What-is-this explainer: `EXPLAINME.adoc`

## Startup Sequence For AI Agents

1. Read this manifest.
2. Read `.machine_readable/6a2/STATE.a2ml` for blockers and next actions.
3. Read `docs/ARCHITECTURE.adoc` for the full pipeline picture.
4. Read `ROADMAP.adoc` for what is and isn't done.

## Session Commands

- `intake repo <path>`
- `checkpoint change <path>`
- `verify maintenance <path>`