edict-compiler-dev

Edict Compiler Development

Edict is a programming language designed exclusively for AI agents. Agents produce JSON AST, the compiler validates and returns structured errors, the agent self-repairs. No human in the loop.

Critical Philosophy — The North Star

"If no human ever saw this, would I still build it this way?"

Edict's moat is the bet that a language designed for agent cognition beats any language designed for human cognition. Every human-centric feature erodes this moat.

Never build: text syntax/parser, human-readable error messages, CLI for human use, pretty-printer, IDE/LSP integration, comments in AST, web playground/REPL.

Priority order: (1) minimize agent-compiler round-trips, (2) error actionability, (3) token efficiency, (4) correctness surface.

Read .agent/rules/criticalrules.md for the full set of hard boundaries.

---

Architecture

src/
├── ast/           # TypeScript interfaces for every AST node (nodes.ts, types.ts)
├── validator/     # Phase 1: Schema validation (structural correctness)
├── resolver/      # Phase 2a: Name resolution (scope-aware, Levenshtein suggestions)
├── checker/       # Phase 2b: Type checking (bidirectional, unit types)
├── effects/       # Phase 3: Effect checking (call-graph propagation)
├── contracts/     # Phase 4: Contract verification (Z3/SMT integration)
├── codegen/       # Phase 5: WASM code generation (pure-JS encoder)
│   ├── codegen.ts    # AST → WASM compilation
│   ├── runner.ts     # WASM execution (Node.js WebAssembly API)
│   ├── builtins.ts   # Built-in functions (print, string ops)
│   └── string-table.ts  # String interning for WASM memory
├── mcp/           # Phase 6: MCP server (tools + resources)
│   ├── create-server.ts  # Tool/resource registration
│   ├── handlers.ts       # Tool handler implementations
│   └── server.ts         # Entry point (stdio + HTTP/SSE transports)
├── errors/        # Structured error types and constructors
│   └── structured-errors.ts
├── check.ts       # Full pipeline orchestrator (validate → resolve → check → effects → contracts)
├── compile.ts     # Compile + run convenience wrapper
└── index.ts       # Public API exports