# AGLA Natural-Language Compilation Contract

Version: `0.1.0-M2M-COMPILER-01`
Date: `2026-08-22`
Status: `CANDIDATE / RUNTIME-NEUTRAL / NON-RUNTIME / NO-AUTHORITY-EFFECT`

This package defines a source-authoritative compilation interface from
controlled natural-language preparation to runtime-neutral IR and target
adapters. It is a bounded candidate, not a universal compiler and not a new
root law.

```text
P0 ORIGINAL HUMAN INTENT
  -> P1 EXPLICIT INTERPRETATION
  -> DIFFERENTIATED DESIGN STATE
  -> MEDIATED CONTROLLED-LANGUAGE SPECIFICATION
  -> RUNTIME-NEUTRAL IR
  -> CAPABILITY NEGOTIATION
  -> TARGET ADAPTER
  -> TEST / PLAYTEST EVIDENCE
  -> UPWARD REVISIT PROPOSAL
```

P0, P1, and P2 remain separately addressable, hash-traceable, and recoverable.
P2 is an operational rewrite and may never be reported as human-authored.
Precision, machine validity, target compatibility, or test success never
upgrade authority.

Implemented reference adapters:

- `adapters/Convert-AGLAIRToControlledText.ps1` — mandatory lean text profile;
- `adapters/Convert-AGLAControlledTextToIR.ps1` — controlled-text round-trip
  parser for the required semantic carrier;
- `adapters/Convert-AGLAIRToDeterministicJson.ps1` — deterministic structured
  profile with explicit semantic ordering.

The multi-agent, graph-engine, and game-engine profiles are negotiation
records only. Unsupported features contract, suspend, fall back, or reject;
the adapters never invent emulation.

The governing optimization is controlled, reproducible, traceable
state-space reduction for stochastic processes. It may constrain a next move,
but may not erase live ambiguity, conceal loss, or prematurely close a source
question.