ADRDecisionStatusDate
0001MCP Server with STDIO Transport via mcp.zigAccepted2026-04-09
0002Scryer-Prolog Integration via Rust FFI Static LibrarySuperseded by 00042026-04-10
0003Knowledge Base Persistence via Write-Ahead Journal and SnapshotsAccepted2026-04-13
0004Trealla Prolog via C FFI Replacing Scryer-PrologAccepted2026-04-19
0005Reclaim zig-cli for All Argv ParsingAccepted2026-04-28

This directory contains the Architecture Decision Records (ADRs) for this project.

Format

Each ADR follows this structure:

markdown
# 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 principles

Numbering Convention

ADRs 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.

Index

ADRTitleStatus
0001MCP Server with STDIO Transport via mcp.zigAccepted
0002Scryer-Prolog Integration via Rust FFI Static LibrarySuperseded by 0004
0003Knowledge Base Persistence via Write-Ahead Journal and SnapshotsAccepted
0004Trealla Prolog via C FFI Replacing Scryer-PrologAccepted
0005Reclaim zig-cli for All Argv ParsingAccepted

Creating a New ADR

  1. Find the next number: ls docs/ADR/ | grep -oP '^\d+' | sort -n | tail -1 + 1
  2. Copy the template: cp docs/ADR/.template.md docs/ADR/NNNN-short-name.md
  3. Fill in all sections
  4. Update this index
  5. Submit for review

Pre-Merge Checklist

Before merging any new or modified ADR:

  • Cross-references: All [ADR-NNNN] links resolve to existing files
  • Supersession: If changing a prior decision, both ADRs have Supersedes/Superseded by metadata
  • Constitution: Compliance section maps to current constitution version
  • Candidates: At least 2 alternatives documented with trade-offs