# SpecVerse Documentation

## Top Level

| Document | Purpose |
|----------|---------|
| [GOLDEN-RULES.md](GOLDEN-RULES.md) | 27 permanent guiding principles for SpecVerse development |

## Guides

| Document | Purpose |
|----------|---------|
| [SPECVERSE-USER-GUIDE.md](guides/SPECVERSE-USER-GUIDE.md) | Complete user guide — syntax, toolchain, extension (1,200 lines) |
| [SPECVERSE-ARCHITECTURE-GUIDE.md](guides/SPECVERSE-ARCHITECTURE-GUIDE.md) | Internal system architecture for contributors |
| [SPECVERSE-INTRODUCTION-V5.md](guides/SPECVERSE-INTRODUCTION-V5.md) | Philosophy, ecosystem, self-hosting proof, status (944 lines) |
| [SPECVERSE-ECOSYSTEM-SUMMARIES.md](guides/SPECVERSE-ECOSYSTEM-SUMMARIES.md) | Ecosystem repository summaries |
| [ADDING-AN-ENTITY-TYPE.md](guides/ADDING-AN-ENTITY-TYPE.md) | 11-step entity creation guide |
| [ADDING-AN-ENGINE.md](guides/ADDING-AN-ENGINE.md) | Engine package creation guide |
| [archive/](guides/archive/) | Earlier versions (V1-V4) and historical drafts |

## Plans

Dated plans tracking implementation phases:

| Document | Purpose |
|----------|---------|
| [2026-03-CURRENT-STATE-AND-PLAN.md](plans/2026-03-CURRENT-STATE-AND-PLAN.md) | Phase tracker and gap analysis |
| [2026-03-RELEASE-AUDIT-ACTIONS.md](plans/2026-03-RELEASE-AUDIT-ACTIONS.md) | 53 audit items, all resolved |
| [2026-03-RELEASE-AUDIT-PLAN.md](plans/2026-03-RELEASE-AUDIT-PLAN.md) | 10-step audit process |
| [2026-03-L3-BEHAVIOR-GENERATION-PLAN.md](plans/2026-03-L3-BEHAVIOR-GENERATION-PLAN.md) | L3 convention patterns + Quint actions (complete) |
| [2026-03-TEST-MIGRATION-PLAN.md](plans/2026-03-TEST-MIGRATION-PLAN.md) | Test migration strategy |
| [2026-02-ENTITY-MODULE-IMPLEMENTATION-PLAN.md](plans/2026-02-ENTITY-MODULE-IMPLEMENTATION-PLAN.md) | Entity module system implementation |

## Landscape

External technology analysis and research:

| Document | Subject |
|----------|---------|
| [2026-05-06-SDD-LANDSCAPE-ANALYSIS.md](landscape/2026-05-06-SDD-LANDSCAPE-ANALYSIS.md) | Specification-driven development landscape (OpenSpec, Spec Kit, GSD, acai, Quint) |
| [2026-05-06-ACAI-ANALYSIS.md](landscape/2026-05-06-ACAI-ANALYSIS.md) | acai.sh deep-dive — feature.yaml schema, ACIDs, components/constraints split |
| [2026-03-01-QUINT-ANALYSIS.md](landscape/2026-03-01-QUINT-ANALYSIS.md) | Quint formal specification language |
| [2026-03-17-QUINT-PROGRAMMATIC-API.md](landscape/2026-03-17-QUINT-PROGRAMMATIC-API.md) | Quint programmatic API for build-time transpilation |
| [2026-03-01-LEAN-DEMOURA-ANALYSIS.md](landscape/2026-03-01-LEAN-DEMOURA-ANALYSIS.md) | Lean theorem prover |
| [2026-03-08-OPENSPEC-ANALYSIS.md](landscape/2026-03-08-OPENSPEC-ANALYSIS.md) | OpenSpec format analysis |
| [2026-03-01-VSDD-ANALYSIS.md](landscape/2026-03-01-VSDD-ANALYSIS.md) | VSDD analysis |
| [2026-02-01-WOLFRAM-ANALYSIS.md](landscape/2026-02-01-WOLFRAM-ANALYSIS.md) | Wolfram Language analysis |
| [PAI-SpecVerse-Lang-Deep-Dive-v3-2026-02-19.md](landscape/PAI-SpecVerse-Lang-Deep-Dive-v3-2026-02-19.md) | Deep dive analysis |

## Proposals

Design proposals and critiques:

| Document | Subject |
|----------|---------|
| [2026-03-23-ENTITY-MODULE-ARCHITECTURE.md](proposals/implemented/2026-03-23-ENTITY-MODULE-ARCHITECTURE.md) | Entity module system design |
| [2026-02-01-META-SPECIFICATION-PROPOSAL.md](proposals/in-progress/2026-02-01-META-SPECIFICATION-PROPOSAL.md) | Meta-specification platform direction |
| [2026-03-23-DOGFOOD-ANALYSIS-V2.md](proposals/implemented/2026-03-23-DOGFOOD-ANALYSIS-V2.md) | Self-hosting gap analysis (17 gaps identified) |
| [2026-02-01-SPECVERSE-CRITIQUE.md](proposals/in-progress/2026-02-01-SPECVERSE-CRITIQUE.md) | External critique and response |

## Strategy

| Document | Purpose |
|----------|---------|
| [NEXT-STEPS.md](strategy/NEXT-STEPS.md) | Outstanding work items |
| [TEST-STRATEGY.md](strategy/TEST-STRATEGY.md) | Testing approach |