AILANG Roadmap
This page is automatically generated from the design_docs/planned directory. Each item represents a planned feature or improvement with a detailed design document.
For completed features, see Design Documents.
Planned for v1.1.0
- Global Collaboration Hub - Cross-Computer Agent Collaboration
- M-AGENT-LOOP-ARCHITECTURE: Where Should the Multi-Turn Agent Loop Live?
- M-AGENT: std/agent Module for AI Agent Orchestration
- M-AGENT-SAFE-RUNNER: Turnkey Sandboxed Execution for AI-Authored AILANG Programs
- M-AI-EFFECT-MODES-FOLLOWUPS: Close the Loose Ends from v0.15.0 AI Modes
- M-CALL-SUGAR: Optional Parenthesized Call Syntax
- M-CSP-SESSION-TYPES: CSP Concurrency with Session Types
- M-D4: Design-Doc-Driven Development (D4)
- M-EFFECT-HANDLERS: User-Definable Effect Handlers
- M-ENTROPY: Semantic Entropy Budgets
- M-ERROR-PROP: Error Propagation Operator (
?) - M-EU-COMPLIANCE-EFFECTS: Regulatory Trigger Effects for Agentic Systems
- M-EVAL-FINETUNING-DATA-PIPELINE: Capture-to-QLoRA on the Local Rig
- M-EVAL-TRUST-SIGNALS: External Trust Signals for AILANG Eval Results
- M-FORALL-PROPERTIES: Direct-Core Evaluation for
properties [forall(...) => ...]Blocks - M-GAME-ENGINE-EFFECTS: the game engine as typed effects — Stapledon's Voyage revived as v1.1's flagship
- M-ORACLE-ADEQUACY: Convergence Oracles and Evidence Bundles for the Eval Harness
- M-PERF4: Bytecode Interpreter (Stretch Goal)
- M-PIPE-OPERATOR: Pipe operator and Option chaining
- M-PKG-INFLIGHT: Package-in-Flight Tracking for Registry Workflows
- M-PROCESS-MODES: Replay-Contract Modes for the Process Effect
- M-QUASI: Typed Quasiquotes (String Templates)
- M-REFLECT: Structural Reflection & User-Defined Type Classes
- M-TRACE-FEEDBACK: Execution-Trace Feedback Loop for Harness Diagnostics
- M-ZERO-LANGUAGE-LEARNINGS: Borrowed Ideas from Vercel Labs' Zero
Planned for v1.0.0
- M-BYTECODE-PATTERN-ARITY-FIX — fixed-length list patterns match longer lists under
--bytecode(silent wrong result) - M-BYTECODE-VM-PARITY-BUGS — Three VM soundness bugs surfaced as "output divergences" (Lanes A + B, scope FROZEN)
- Sprint Plan: Cost-Per-Verified-Success KPI — M4a (Cohort Freeze Mechanism)
- Sprint Plan: Cost-Per-Verified-Success KPI (M1–M3)
- Cost-Per-Verified-Success KPI
- M-EFFECT-CLOCK-NET-FS-MODES: Port Clock, Net, FS to Parameterised Modes
- M-EFFECT-REFINEMENT: Parameterised Effects and Unified Replay Contracts
- Sprint Plan: M-EFFECT-REPLAY-SUBSUMPTION
- M-EFFECT-SCOPE-PARAMS: Capability-Scoping Parameters on Effects
- Sprint Plan — M-MCP-EXACT-TOOL-SURFACE-LANE-B
- M-MCP Exact Tool Surface Lane B: Embeddable Session-Owned Protocol Surface
- Sprint Plan: M-NIGHTLY-RUN-VALIDITY-GATE
- Sprint Plan: M-NIGHTLY-SUSTAINED-FAILURE-LABEL
- Sprint Plan: M-NIGHTLY-UNMEASURED-CATEGORY-GATE
Planned for v0.33.1
- Sprint Plan: M-CI-FLAKE-SYSTEMIC-FIX
- M-CI-FLAKE-SYSTEMIC-FIX: One Gating Convention, Bounded Waits, a Default-Deny Egress Boundary, and a Known-Offender Lint for the Go Test Suite
- M-EVAL-STANDARD-MODE-INPUT-FILES-GAP: gate multi-file grading benchmarks out of standard mode
- M-PARSER-RESERVED-KEYWORD-DIAGNOSTICS: catch
as-as-identifier before it cascades - M-TYPECLASS-INT-FRACTIONAL-DICTIONARY-GAP: catch missing Fractional[Int] at compile time
Planned for v0.32.0
- PRE-READ: m-recorded-stream-api (ailang#546) — attended evaluation of the offered implementation
- Sprint Plan — M-RECORDED-STREAM-API (sprint 1 of 2)
- M-RECORDED-STREAM-API — Productionize the offered recorded
std/aistream
Planned for v0.31.0
- M-AI-STRUCTURED-STEP — Sprint Plan
- M-AI-STRUCTURED-STEP — Structured output as an orthogonal option on
step - Sprint Plan: M-ANTHROPIC-CACHE-HIT-RATE
- M-ANTHROPIC-CACHE-HIT-RATE: Close the prompt-cache gap on the
Generatepath - M-COMMENTS-FOR-AI-AUTHORS: measured comment semantics for an AI-first language — style guidance, first-class doc-comments, contracts-as-documentation
- M-DECISION-ENTROPY-MONITOR — Per-Step Decision-Weight Grading for AI Code-Generation Monitoring
- M-EVAL-EXPERIMENT-REGISTRY: Preregistration You Can Execute
- M-EVAL-FMT-WEAKMODEL-AB — M5 (hard-set re-run) preregistration
- M-EVAL-FMT-WEAKMODEL-AB — M5 (hard-set re-run) results
- M-EVAL-FMT-WEAKMODEL-AB — M6:
motoko_ext_fmt, a profile-scoped AILANG extension - M-EVAL-KIMI-K3-AGENTIC: onboard Kimi K3 as an agentic suite model (OpenRouter × motoko/pi harnesses)
- M-EVAL-TOKEN-HEADROOM: Equal Headroom, Visible Truncation, Labelled Thinking State
- M-FMT-DETERMINISTIC-FEEDBACK:
motoko_ext_fmtTeaches, Instead of Tidying in Secret - M-MANAGED-AGENTS-MODEL-EVAL — Managed Agents as a Gemini agent-mode eval vessel
- M-MCP-2026-07-28: Adopt the stateless MCP spec (go-sdk v1.6.1 → v1.7.0) without breaking our own client
- M-MEM-BUDGET-RUNTIME: Memory as a Budgeted Resource in the AILANG Runtime
- Sprint Plan — M-PROPERTY-GENERATOR-COVERAGE Lane A only
- M-PROPERTY-GENERATOR-COVERAGE: Vacuous-Pass Honesty + Structural Generator Derivation for Contract Property Tests
- Sprint Plan: M-PROPERTY-TEST-TRUST (#547 + #535)
- M-PROPERTY-TEST-TRUST: Deterministic and Sound Contract Verdicts
- Sprint Plan —
m-strip-decl-aware(declaration-aware source stripping ininternal/testing)
Planned for v0.30.0
- M-ARCH-BOUNDARIES-EVAL-EXCLUSION-TIGHTEN: scope the
evalbridge exception file-level - M-DIAG-PRIMITIVE-FIELD-SUGGESTIONS: Symbol-Specific Enrichment of the Primitive-Field-Access Diagnostic
- M-MISSION-ADAPTIVE-MULTIPROVIDER-ROUTING: the heterogeneous model fleet — quota-aware selection, design quorums, cross-provider executors, local-GPU lane
- M-PARMAP-EFFECTFUL: Concurrent Map over Effectful Functions (
parMap/gather) - M-PARSER-BLOCK-LET-SEPARATOR: Consistent statement-separator handling after block-RHS
let
Planned for v0.29.0
- m agent step cancellation
- M-AILANG-SEMANTIC-CONTEXT: Typed, Semantic Context Minimization for the Agent Loop
- M-ANTHROPIC-SANDBOX: Anthropic Self-Hosted Sandbox Executor
- M-APPLE-CONTAINER-LOCAL-EVAL-SANDBOX
- M-BUDGET-SCOPING-BUG — Sprint Plan
- M-CASCADE-OBSERVABILITY: Surface Cascade AI Conversation History
- M-CONCURRENCY-LEVERAGE: Leverage Fork() Across All Execution Modes
- Sprint Plan: M-DEONTIC-PKG — sunholo/deontic extension package
- M-CONTRACTS-AS-CODE: The Verified Deontic Engine — AILANG's Flagship Vertical Example
- M-COORD-THINKING: Extended Thinking Levels for Coordinator Skills
- M-COORDINATOR-INBOX-WILDCARDS: glob-based inbox routing in the agent registry
- M-DX27: GitHub Repository Search Fallback for
ailang docs search - M-EVAL-OPENROUTER-BASELINE-ROTATION: Cloud Baseline Three Candidate Models
- M-EVAL-RESULTS-FOLDER-STRUCTURE: Model-First Eval Results Layout
- M-EVAL-RIG-RELIABILITY — post-mortem + remediation plan
- M-EVAL-SLIM-PROMPT-SELF-DISCOVERY
- M-EVAL-STREAM-HEALTH-RETRY: Mid-stream death detection + fast retry for the streaming executor
- Sprint Plan: M-MOTOKO-EXT-PER-TASK
- M-MOTOKO-EXT-PER-TASK: Per-Invocation motoko Extension Configuration
- Sprint Plan: M-PKG-FEEDBACK-LOOP (Test + activate per-package feedback + macOS notifier)
- M-PKG-FEEDBACK-LOOP: Validate the per-package feedback loop end-to-end
- m pure prng
- Sprint Plan: M-RIG-RELIABILITY — make the rig catch breaks + measure docx
- M-SERVE-API-LIVE-TOOL-REGISTRY: Live Tool Registry for Agentic Sessions
- m stdlib html streaming
- m verify stdlib stale path
Planned for docparse-billing
- DX Improvements Discovered During Billing Package Creation
- M-BILLING: DocParse Billing and Agent-Assisted Payment
- M-BILLING: DocParse Responsibility
- M-BILLING: ailang-multivac Responsibility
- M-BILLING: ailang-packages Responsibility
Long-term Vision
AILANG is designed as a deterministic language for autonomous AI code synthesis. The long-term roadmap includes:
- Structural Reflection - Typed quasiquotes and AST manipulation
- Schema Registry - Machine-readable type and effect definitions
- Capability Budgets - Resource-bounded effects
- Training Data Export - Execution traces for AI self-training
For the complete vision, see Why AILANG and Vision.
Generated at build time. 104 planned features across 8 upcoming versions.