.cursorrules

# SPDX-License-Identifier: MPL-2.0
# Cursor rules for nextgen-typing. Full rules: AGENTS.md / CLAUDE.md.

# ⛔ COORDINATION REPO — NOT A CODE REPO.
# nextgen-typing documents and connects the type-theory pipeline
# (katagoria → typell → typed-wasm → PanLL). It does NOT hold compiler,
# kernel, language, or single-project code — including single-project proofs,
# benchmarks, and tests.
#
# Before creating ANY implementation file or single-project proof here: STOP.
# Put it in the owning repo. Routing table:
#   .machine_readable/bot_directives/placement.a2ml   (authoritative)
#   AGENTS.md                                          (human-readable)
# CI enforces this: scripts/check-coordination-boundary.sh
#
# Only these belong here: coordination/architecture docs, .machine_readable/
# state, estate governance/CI scaffold, and CROSS-project proofs in
# verification/proofs/ that import >=2 constituent repos (e.g. agda/EchoTyping.agda).

# Then: read 0-AI-MANIFEST.a2ml, then .machine_readable/6a2/STATE.a2ml.
# Licence MPL-2.0 (never AGPL) + SPDX header on every file.
# Banned langs: TypeScript->ReScript, npm/Node->Deno, Go->Rust, Python->Julia/Rust.
# Containers: Podman + Containerfile. Build via just.
# No believe_me / assert_total / postulate / sorry / Admitted / unsafeCoerce.