Title here
Summary here
| ADR | Decision | Status | Date |
|---|---|---|---|
| 0001 | MCP Server with STDIO Transport via mcp.zig | Accepted | 2026-04-09 |
| 0002 | Scryer-Prolog Integration via Rust FFI Static Library | Superseded by 0004 | 2026-04-10 |
| 0003 | Knowledge Base Persistence via Write-Ahead Journal and Snapshots | Accepted | 2026-04-13 |
| 0004 | Trealla Prolog via C FFI Replacing Scryer-Prolog | Accepted | 2026-04-19 |
| 0005 | Reclaim zig-cli for All Argv Parsing | Accepted | 2026-04-28 |
This directory contains the Architecture Decision Records (ADRs) for this project.
Each ADR follows this structure:
# NNNN: Title
**Status**: Proposed | Accepted | Superseded | Deprecated
**Date**: YYYY-MM-DD
## Context — What is the issue motivating this decision?
## Candidates — Options considered with trade-offs
## Decision — What we chose and why
## Consequences — What becomes easier/harder
## Constitution Compliance — Mapping to project principlesADRs are numbered sequentially: 0001, 0002, etc.
Numbers are never reused. If a decision is reversed, the original ADR is marked “Superseded” and a new ADR is created with a reference.
| ADR | Title | Status |
|---|---|---|
| 0001 | MCP Server with STDIO Transport via mcp.zig | Accepted |
| 0002 | Scryer-Prolog Integration via Rust FFI Static Library | Superseded by 0004 |
| 0003 | Knowledge Base Persistence via Write-Ahead Journal and Snapshots | Accepted |
| 0004 | Trealla Prolog via C FFI Replacing Scryer-Prolog | Accepted |
| 0005 | Reclaim zig-cli for All Argv Parsing | Accepted |
ls docs/ADR/ | grep -oP '^\d+' | sort -n | tail -1 + 1cp docs/ADR/.template.md docs/ADR/NNNN-short-name.mdBefore merging any new or modified ADR:
[ADR-NNNN] links resolve to existing filesSupersedes/Superseded by metadata