.gitignore

# build output
.zig-cache/
zig-out/
zig-pkg/
target/
node_modules/

# local runtime state / secrets (never commit)
harness.trace.jsonl
harness.trajectory.jsonl
.harness/
.graff/
.claude/scheduled_tasks.lock
*.session.json
.mcp.json
.simple-harness-keys.json
.simple-harness-codegraff.json

# tooling artifacts
.zigrep_archive
codedb.snapshot
.DS_Store
__pycache__/
*.pyc
.simple-harness-history
.simple-harness-model
.wrangler/

# local social drafts
tweet.md

# local agent/IDE config (not project source)
.codex/
.devin/

# release artifacts
dist/

# surfer lives in its own repo (~/surfer, github.com/justrach/surfer) — never track it here
surfer/
# codedb lives in its own repo (github.com/justrach/codedb) — local checkout only
codedb/
graff-evals/results/
graff-evals/.sandboxes/

# optional Lean build (lean-proofs is source; lake is not required)
lean-proofs/.lake/
lean-proofs/lake-manifest.json
spec/lean/.lake/
spec/lean/lake-manifest.json

# session-local stores
.engram/