0-AI-MANIFEST.a2ml

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

## What This Repo Is

`katagoria` is the **research origination space** for the type theory pipeline.

Pipeline:  **katagoria** → typell → typed-wasm → PanLL

This repo is deliberately unstable — it is where speculative ideas live before
promotion to production.  Do not expect stability or completeness here.

## Critical Invariants

1. **Research only** — no production Rust, no compiler code. That goes in `typell`.
2. **No stability guarantees** — artefacts here may change or be discarded.
3. **Graduation path** — ideas ready for production are promoted to `typell`.
   When an artefact graduates, it is removed here and added to typell.
4. **TypeLL is open-ended** — the L1-L10 mapping in typell is the initial
   implementation. L11+ candidates originate here.

## Canonical Locations

- Pipeline architecture: see `nextgen-typing/docs/ARCHITECTURE.adoc`
- Current state: `.machine_readable/6a2/STATE.a2ml`
- Research artefacts: `research/` (to be created as needed)

## Startup Sequence For AI Agents

1. Read this manifest.
2. Read `.machine_readable/6a2/STATE.a2ml`.
3. Check `research/` for existing artefacts.
4. Any production-ready work should be proposed for promotion to `typell`.