Intentfile.a2ml

# SPDX-License-Identifier: MPL-2.0
# Intentfile (A2ML Canonical)
# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath)

@abstract:
Declared intent and purpose for Nextgen Languages.
@end

## Purpose

Nextgen Languages — *Parent repository for tracking and coordinating experimental language development*

Current language family:

| Language / DSL | Kind | Proof status |
|---|---|---|
| AffineScript (Solo / Duet / Ensemble) | General-purpose, affine-typed | Concept v0.1 |
| KitchenSpeak | Orchestration DSL, 7 types, Agda-proven | Proofs-first (Phase 1) |
| Betlang | Experimental | Concept |
| Ephapax | Experimental | Concept |
| Phronesis | Ethical AI specification DSL | Concept v0.1 |
| Eclexia | Resource-first DSL | Concept v0.1 |
| Oblíbený | Secure-enclave DSL | Concept v0.1 |
| Anvomidav | Hard real-time DSL | Concept v0.1 |
| WokeLang | Human-centric DSL | Concept v0.1 |

KitchenSpeak is the only member of the family with active Agda proof work
(proofs lead implementation — the Agda-Proven invariant per ADR 0001).

## Anti-Purpose

This project is NOT:
- A fork or wrapper around another tool
- A monorepo (unless explicitly structured as one)

## If In Doubt

If you are unsure whether a change is in scope, ask.
Sensitive areas: ABI definitions, license headers, CI workflows.