.gitignore

node_modules/
.DS_Store
.env
.env.*
.npmrc
.vscode/
TO-DOS.md

*.pem
*.key
*.p12
*.pfx
*.jks
certs/
secrets/
.sentryclirc

/research.claude/
commands.html

# Local test installs — ignore .claude/ contents except rules/
.claude/*
!.claude/rules/
.claude/circuit-breaker-state.json

# Build artifacts (committed to npm, not git)
hooks/dist/

# Animation assets
animation/
*.gif

# MCP server local data
.playwright-mcp/

# Compiled TypeScript machine artifacts
dist/machines/

# Conformance event log — per-user runtime artifact (legacy + new paths)
.planning/conformance-events.jsonl
.planning/telemetry/conformance-events.jsonl

# Runtime token usage and correlation data (legacy + new paths)
.planning/token-usage.jsonl
.planning/telemetry/token-usage.jsonl
.planning/quorum-slot-corr-*.json
.planning/quorum/correlations/

# Internal planning documents
reports/
RAILROAD_ARCHITECTURE.md
.planning/quorum-scoreboard.md
.planning/quorum-scoreboard.json
.planning/quorum-failures.json
.planning/quorum/scoreboard.json
.planning/quorum/failures.json
.planning/maintain-tests-state.json
.planning/oscillation-log.json
.planning/telemetry/

# Alloy 6 JAR (large binary — download separately, see VERIFICATION_TOOLS.md)
.planning/formal/alloy/org.alloytools.alloy.dist.jar

# PRISM-generated constants file (generated by bin/export-prism-constants.cjs)
.planning/formal/prism/rates.const

# NDJSON verdict stream — runtime artifact generated by bin/run-formal-verify.cjs
.planning/formal/check-results.ndjson

# TLA+ JAR (large binary — download separately, see VERIFICATION_TOOLS.md)
.planning/formal/tla/tla2tools.jar

# TLA+ runtime artifacts (trace files, state dumps)
.planning/formal/tla/*_TTrace_*.bin
.planning/formal/tla/*_TTrace_*.tla
# Guard mapping JSON is tracked (manually maintained, required by check-spec-sync.cjs)
# .planning/formal/tla/guards/  — DO NOT ignore
.planning/formal/tla/states/

# Petri Net generated outputs (generated by bin/generate-petri-net.cjs)
.planning/formal/petri/quorum-petri-net.dot
.planning/formal/petri/quorum-petri-net.svg

# XState runtime artifacts (state dumps, snapshots)
states/

# Secret scanning report artifacts (local only)
.gitleaks-report.json
.trufflehog-report.json

# Alloy solver output directories (receipt.json, solution-*.md)
.planning/formal/alloy/*/

# Solve session summaries (local diagnostic artifacts, pruned to 20)
.planning/formal/solve-sessions/

# Generated formal-test-sync stubs (regenerated on demand)
.planning/formal/generated-stubs/

# Git heatmap evidence — regenerated every solve run, 100K+ lines of churn
.planning/formal/evidence/git-heatmap.json

# Generated reports (regenerated by solve/sync scripts)
.planning/formal/formal-test-sync-report.json
.planning/formal/state-space-report.json
.planning/formal/code-trace-index.json
.planning/formal/coverage-gaps.md
.planning/formal/assumption-gaps.md

# Formal verification run artifacts (regenerated every verify cycle)
.planning/formal/diff-report.md
.planning/formal/gates/
.planning/formal/promotion-changelog.json
.planning/formal/suspects.md

# Agent memory logs (runtime artifacts)
.planning/memory/

# Nested planning artifacts in .formal
.planning/formal/alloy/.planning/

# Quorum round session logs (legacy + new paths)
.planning/quorum-rounds-session-*.jsonl
.planning/quorum/rounds/

# Task classification (ephemeral, written by nf-prompt.js per quorum dispatch)
.planning/task-classification.json

# Execution progress (ephemeral, written by execute-plan workflow per plan execution)
.planning/execution-progress.json

# Quorum cache (ephemeral, per-session)
.planning/.quorum-cache/

# Planning migration marker
.planning/.migrated

# Screenshots / images (keep in docs/assets/ instead)
*.png
!docs/assets/*.png

# VHS SVG byproducts (keep PNGs in docs/assets/ instead)
tui-*.svg

# STATE.md backups (legacy + new paths)
.planning/STATE.md.bak-*
.planning/archive/state-backups/

# Worktree isolation (parallel execution)
.claude/worktrees/

# Solve agent debris (cwd bugs — subagents writing to wrong directories)
/=
/1
/readme-structure/
bin/.planning/

# Session artifacts from cycle2 simulations (route to os.tmpdir() instead)
.planning/formal/cycle2-simulations/
.planning/quorum/slot-results/

# Routing policy runtime state (learned bandit data)
.nf-routing-rewards.jsonl
.nf-river-state.json

# Repowise caches (co-change graph, hotspot risk) — regenerated on demand
.planning/repowise/

# Benchmark run results (local artifacts, CI uploads them as artifacts)
nf-benchmark/results/
nf-benchmark/baseline.json

# Generated petri net files (PNML)
.planning/formal/petri/*.pnml