Design Documents

This page is automatically generated from the design_docs/implemented directory. Each design document describes a feature, bug fix, or architectural decision that has been implemented.

v0.6.0

• DX-15: Shared Memory + Near-Duplicate Caching MVP
• DX-16: SharedIndex — Deterministic Semantic Retrieval for SharedMem
• Sprint Completion Report: DX-16 SharedIndex — Deterministic Semantic Retrieval
• DX-17: TList/TApp Type Unification - Sprint Plan
• DX-17: TList/TApp Type Unification Bug (Phase 1)
• M-CODEGEN-UNIFIED-SLICE-CONVERTERS: Complete Typed Slice Conversion
• M-DOC-SEM: Lazy Embeddings for Neural Doc Search
• Sprint Plan: M-DOC-SEM Lazy Embeddings for Neural Doc Search
• M-DOCS-ACCURACY: Website Documentation Accuracy Update
• Sprint Plan: M-DX11-DEBUG-TYPES-CLI (Type Inference Debug CLI)
• M-DX11-DEBUG-TYPES-CLI: Type Inference Debug CLI
• Sprint Plan: M-DX11-TYPE-PROVENANCE
• M-DX11-TYPE-PROVENANCE: Type Origin Tracking
• M-DX27: Fix Invalid Bool Type Assertion in Nested Match
• M-DX29: Fix Nested ADT Type in Option Pattern Match
• M-DX30: Add Missing EqString Runtime Helper
• M-JSON-ACCESSORS: Enable JSON Accessor Functions
• M-MSG-SEMANTIC: Semantic Search + Safe Deduplication for AILANG Messages
• M-MSG-SEMANTIC Sprint Plan: Semantic Search for AILANG Messages
• M-RT1: List Pattern Match Return Value Bug
• Sprint Plan: M-TYPENAME-NESTED-PROPAGATION
• M-TYPENAME-NESTED-PROPAGATION: TypeName Propagation to Nested Record Literals
• Semantic Caching: Implementation Status (v0.5.11)

v0.5.10

• Codegen Bug Pattern Analysis: v0.5.10
• M-CODEGEN-ADT-TYPE-ASSERT: Fix Invalid Type Assertions on ADT Constructor Results
• M-CODEGEN-CROSS-MODULE: Cross-Module Function Calls Use _impl
• M-CODEGEN-LIST: Flatten List Literals and Bool Matches
• Sprint Plan: M-CODEGEN-LIST - Flatten List Literals and Bool Matches
• M-CODEGEN-NESTED-RECORD-TYPE: Fix Nested Record Type Selection
• M-CODEGEN-RECORD-TYPENAME-PRESERVATION: Fix TypeName Loss During Substitution
• M-CODEGEN-TUPLE: Tuple Pattern Matching in Go Codegen
• M-CROSS-MODULE-RECORD-UNIFICATION: Fix Type Unification for Cross-Module Nested Record Fields
• Sprint Plan: M-DX11-CYCLES (Type Graph Cycle Detection)
• M-DX11-CYCLES: Type Graph Cycle Detection Command
• M-DX11: Type Inference Debugging Tools
• Sprint Plan: M-DX11-TYPE-REPORT (Type Inference Debug Primitive)
• M-FIX-FLOAT-OP: Float Operator Dispatch in Pure Functions
• Fix Type Application in Return Type Annotations (Option[T])
• String Conversion Functions (floatToStr, intToStr)
• M-UNIFIED-AI-PROVIDERS: Unified AI Provider Architecture
• Sprint Plan: M-UNIFIED-AI-PROVIDERS

v0.5.9

• M-CODEGEN-FLAT-IF-ELSE: Flatten Nested Closure Chains in If-Else Codegen
• M-CODEGEN: Array Runtime Typed Slice Support
• M-CODEGEN-OPTION-RUNTIME-HELPERS: Fix GetOpt to Return *Option Instead of Map
• M-CODEGEN-POINTER-RETURN-TYPES: Fix Type Assertion Failures for Record Returns
• M-CODEGEN-STDLIB-MATH: Go Codegen Missing std/math Function Definitions
• M-CODEGEN-V2: Flat Go Code Generation
• Sprint Plan: M-CODEGEN-V2 - Flat Go Code Generation
• M-DX11: Cyclic Type Diagnostics & Hang Prevention
• Sprint Plan: M-DX11 Cyclic Type Diagnostics
• Sprint Plan: M-DX11-TRAVERSE - Safe Type Traversal Library
• M-DX11-TRAVERSE: Safe Type Traversal Library
• M-FIX-FLOAT-OP: Complete Fix Summary
• M-FIX-IF-ELSE-LET: Better Error for Let in If-Else Branches
• M-FIX-NESTED-RECORD-LIST: Nested Record List Type Inference Bug
• M-MSG-GITHUB: GitHub Issues Backend for Messaging System
• Sprint Plan: M-MSG-GITHUB - GitHub Issues Backend

v0.5.8

• Sprint Plan: M-BUGFIX v0.5.8 Bug Fix Sprint
• M-CODEGEN-BLANK: Fix Blank Identifier and Return Type Codegen Bugs
• M-CODEGEN-BOOL-SLICE: Add Bool Slice Converter
• M-CODEGEN-LIST-CONCAT: Add List Concatenation Runtime Helper
• M-CODEGEN-TYPE-ASSERTIONS: Fix _impl Functions Calling Typed Exports
• M-CODEGEN-TYPED-PARAMS: Fix Typed Parameters Becoming interface
• M-CODEGEN-ZERO-ARG: Fix Zero-Arg Function Code Generation
• M-PERF1: Effect Checker Performance for Large Array Literals
• M-PERF2: Cyclic Type Traversal Hang - Post-Mortem Analysis
• M-PERF2: Operator Lowering Hang on Complex Modules
• M-TYPE-ALIAS: Type Alias Expansion in ADT Variant Parameters

v0.5.7

• M-CODEGEN-TYPED-SLICES: Runtime List Functions for Typed Slices
• M-DX11: Better Stdlib Discovery for AI Agents
• typesIdentical Performance Bug (Large Records)

v0.5.6

• M-EVAL-GUARD: Eval Process Guardrails & Orphan Detection
• M-MSG: Agent Messaging System Improvements
• M-MSG Sprint Plan: Agent Messaging System Rewrite
• M-TYPE1: Array/TArray Type Unification Bug
• M-TYPE1 Sprint Plan: Array/TArray Type Unification Bug Fix

v0.5.5

• M-DX23: Typed Function Signatures
• M-DX24: Typed Function Bodies
• M-DX25: Typed Let Bindings
• M-DX26: Typed Wrapper Architecture

v0.5.4

• M-DX17: Integer Literals Generated as int Instead of int64
• M-DX18: RecordAccess Uses Map Syntax on Typed Structs
• M-DX22: Auto-Generate ADT Slice Converters

v0.5.3

• M-DX11: Named ADT Constructor Fields for Go Codegen
• Sprint Plan: M-DX11 Relaxed Module Matching
• Sprint Plan: M-DX12 Typed World Boundary Marshalling
• M-DX12: Typed World Boundary Marshalling

v0.5.2

• M-DX11: Relaxed Module Matching
• M-GAME-B Phase 2: Complete Go Codegen for Game Modules
• M-GAME-B Phase 2 Sprint Plan

v0.5.0

• M-GAME-A: Go Codegen Foundation
• M-GAME-B: Effects for Games
• M-GAME-C: Compiler UX & Extern Functions
• M-GAME-D: Sim Example & Integration
• M-GAME-E1: Debug Effect (Foundational Trace Substrate)
• M-GAME-E2: AI Effect (General-Purpose AI Oracle)
• Sprint Plan: M-GAME-ENGINE - Game Support Enablement
• AILANG Consumer Contract v0.5.x
• Consumer Contract Gap Analysis
• gameengine
• Sprint Plan: M-BUG-FIXES (TVar2 List Pattern + ADT Test Harness)
• M-BUG-NESTED-RECORD-ANF: ANF Completion for Let RHS

v0.4.8

• Sprint Plan: M-BUG-LOCAL-IMPORTS - Fix Local Module Import Resolution
• M-BUG-LOCAL-IMPORTS: Fix Local Module Import Resolution
• Sprint Plan: M-BUG-RECORD-UPDATE-INFERENCE
• M-BUG-RECORD-UPDATE-INFERENCE: Fix Record Update Type Inference
• Sprint Plan: M-BUG-RECURSION-DEPTH
• M-BUG-RECURSION-DEPTH: Fix Unexpected Recursion Depth Overflow
• M-IMPORT-ALIASING: Module and Symbol Aliasing

v0.4.7

• Core Program Evaluation for Inline Tests
• M-TESTING-INLINE: Core Evaluation Fix - Sprint Plan

v0.4.6

• String split() Implementation Summary (v0.4.6)
• M-LANG-CLI-ARGS Sprint Completion Report
• Sprint Plan: M-LANG-CLI-ARGS (v0.4.6)
• M-LANG-CLI-ARGS: Command-Line Arguments Access
• M-DX10: Complete S-CALL0 and Unit-Argument Model
• M-DX11: String Split Builtin
• UI Collaboration Hub - Human-AI Orchestration Interface

v0.4.5

• Sprint Plan: M-BUG-NULLARY - Nullary Constructor Pattern Matching Fix
• Agent Execution Integration
• String Concatenation Operator (++) Type Inference Bug
• Nullary Constructor Pattern Matching Bug

v0.4.3

• M-SOUNDNESS Effect Checking Implementation - Completion Report
• Sprint Plan: M-SOUNDNESS Effect Checking Implementation
• M-SOUNDNESS: Effect Checking for Entry Module Prelude

v0.4.0

• monomorphization

v0.3.25

• M-BUG: stdlib uses reserved keyword exists as function name

v0.3.23

• M-JSON-ENCODE: Implement Missing JSON Encode Builtin
• M-JSON-ENCODE Sprint Plan

v0.3.22

• Sprint Plan: M-EVAL-HTTP - Fix HTTP/JSON Syntax Errors (75% AILANG Failure Rate)

v0.3.20

• M-CLAUDE-CODE-HEADLESS Sprint Plan
• M-CLAUDE-CODE-INTEGRATION: Hooks & Inbox (Phases 1-2)
• M-CLAUDE-CODE-INTEGRATION: Document Split

v0.3.18

• M-DX4 Sprint Plan: CoreTypeInfo Completeness (REFINED)
• Sprint Plan: M-DX4 CoreTypeInfo Population Gaps
• M-DX4: CoreTypeInfo Completeness & Type-Guided Lowering

v0.3.17

• AILANG: Compilation Failures
• Sprint Plan: M-COMPILE-ERROR - Enhanced Error Messages for AI Code Generation

v0.3.16

• M-DX2: Operator Development Experience Improvements - COMPLETE ✅
• M-DX2 Milestone 1: Type-Guided Lowering - COMPLETE ✅
• M-DX2 Milestone 2: Core IR Helpers - COMPLETE ✅
• M-DX2 Milestone 3: Debug CLI - COMPLETE ✅
• M-DX2 Milestone 4: Better Runtime Errors - COMPLETE ✅
• Lambda Expressions Example Refactor
• List Concatenation Operator Fix
• M-EVAL Round-Robin: Better Parallel Distribution Across Model Providers

v0.3.15

• M-DX9: Parser Developer Experience Improvements

v0.3.14

• 🛡️ Bulletproof Regression Guard System - COMPLETE
• M-LANG: JSON Decode Implementation (v0.3.14)
• Agent Inbox - Quick Reference
• Agent Inbox Message Acknowledgment System
• SessionStart Hook for Agent Inbox
• List Pattern Spread Syntax
• Tier 0 Completion Summary - v0.3.14

v0.3.10

• M-DASH: Eval Dashboard Reliability
• M-DX1: Developer Experience Improvements
• M-EVAL-LOOP: Self-Improving AI Feedback Loop
• 1. Rebuild (every time)
• M-DX1 Day 3: Polish & Migration (v0.3.10+)
• M-DX1 Future Polish (v0.3.15+)
• M-LANG: Implement show() Builtin Function

v0.3.9

• AI Agent Calls: HTTP Headers + JSON Support
• M-JSON: JSON Convenience Builders

v0.3.6

• Design Doc Deduplication: Implementation Summary
• Enhancement: Design Doc Deduplication & Merging
• AI Eval → Design Doc Generation: Implementation Summary
• Prompt suggested:

v0.3.5

• AI Usability Assessment: Is AILANG "The Language AIs Prefer"?
• v0.3.5: Functional Completeness Sprint

v0.3.2

• 3 2 roadmap
• design 3 2
• AILANG v3.2 Phase 1 Implementation Report

v0.3.0

• M-R4: Recursion Support
• M-R5: Records & Row Polymorphism
• M-R7: Type System Fixes (Integral & Float Comparison)
• M-R8: Block Expressions
• M-EVAL-CAPS: Capability Specification in Benchmark YAML
• M-EVAL: AI Usability Benchmarking Harness
• v0.3.0 Implementation Plan

v0.3

• AILANG v0.3.3: Float Equality OpLowering Fix
• Add letrec Syntax for Recursive Lambdas
• AILANG v0.3.4+ Strategic Direction - Implementation Audit
• Audit Report: 20251013_next_steps_audit.md Status
• Numeric Coercion for Mixed-Type Arithmetic
• v0.3.11 Critical Regression Fix Summary
• Float Equality Bug - Investigation & Resolution Report
• M-R5b: Record Extension & Update Syntax
• M-R6: Clock & Net Effects
• M-REPL0: REPL Basic Stabilization
• Dashboard Workflow Improvements (v0.3.12)
• PYTHON: Runtime Errors [RESOLVED]

v0.2.0

• M-P1: Parser Baseline - COMPLETED ✅
• M-P2 Implementation Progress Report
• M-P2: ADT Syntax + Tuples - 5-Day Plan
• M-P3: Pattern Matching Foundation (Phase 3.0)
• M-P4: Effect System (Type-Level Only) - 4 Days
• M-P5: Pattern Matching in Function Bodies - Sprint Plan
• M-S1B: Fix Export System & Builtin Visibility
• M-S1 Polish: Ship v0.1.0 in 72 Hours
• M-S1: Stdlib Implementation Sprint Plan
• M-S1 Current Status - Stdlib Implementation
• M-S1: Stdlib Implementation Status
• Parser Next Steps: Pattern Matching in Function Bodies
• AILANG v4.0: The AI-Enhanced Design
• emits main.airun (signed), main.sbom.json, main.ledger.min.json
• M-R1: Module Execution Runtime (v0.2.0)
• M-R2: Minimal Effect Runtime
• M-R3: Pattern Matching Polish
• M-R3: Pattern Matching Polish
• milestonea2
• self improvement goal
• Sprint Plan: M-R1 Phase 5 - Function Invocation & stdlib Support
• Sprint Plan: M-R1 Phase 5 - Function Invocation & stdlib Support (REFINED)
• AILANG v0.1.0 MVP Roadmap
• AILANG v0.2.0 Implementation Plan
• when to switch from go

v0.0.12

• Function Body Block Expressions

v0.0.4

• AILANG v0.0.4 Implementation Report

v0.0.3

• V0 0 3 IMPLEMENTATION REPORT
• gpt 5 appendix
• gpt5 reference code
• AILANG: The AI-First Programming Language

---

Generated at build time. 222 design documents across 37 versions.