.gitignore

# SPDX-License-Identifier: PMPL-1.0-or-later
# RSR-compliant .gitignore

# OS & Editor
.DS_Store
Thumbs.db
*.swp
*.swo
*~
.idea/

# Training data scripts (one-off analysis, not part of build)
training_data/scripts/
.vscode/

# Build
/target/
/_build/
/build/
/dist/
/out/

# Dependencies
/node_modules/
/vendor/
/deps/
/.elixir_ls/

# Rust
# Cargo.lock  # Keep for binaries

# Elixir
/cover/
/doc/
*.ez
erl_crash.dump

# Julia
*.jl.cov
*.jl.mem
/Manifest.toml

# ReScript
/lib/bs/
/.bsb.lock

# Python (SaltStack only)
__pycache__/
*.py[cod]
.venv/

# Ada/SPARK
*.ali
/obj/
/bin/

# Haskell
/.stack-work/
/dist-newstyle/

# Chapel
*.chpl.tmp.*

# Zig
.zig-cache/
zig-out/
zig-cache/

# Idris2
src/abi/build/

# Secrets
.env
.env.*
*.pem
*.key
secrets/

# Test/Coverage
/coverage/
htmlcov/

# Logs
*.log
/logs/

# Temp
/tmp/
*.tmp
*.bak

# Local prover artifacts
/HOL/
/proofs/mizar/*.aco
/proofs/mizar/*.ano
/proofs/mizar/*.atr
/proofs/mizar/*.cho
/proofs/mizar/*.dct
/proofs/mizar/*.dcx
/proofs/mizar/*.ecl
/proofs/mizar/*.eno
/proofs/mizar/*.ere
/proofs/mizar/*.err
/proofs/mizar/*.evl
/proofs/mizar/*.fil
/proofs/mizar/*.frm
/proofs/mizar/*.frx
/proofs/mizar/*.idx
/proofs/mizar/*.msx
/proofs/mizar/*.nol
/proofs/mizar/*.par
/proofs/mizar/*.prf
/proofs/mizar/*.ref
/proofs/mizar/*.sgl
/proofs/mizar/*.vcl
/proofs/mizar/*.wsx
/proofs/mizar/*.xml

# Hypatia scan cache
.hypatia/

# Crash recovery artifacts
ai-cli-crash-capture/

# External corpora (large, downloadable separately)
external_corpora/

# Large/intermediate training data (corpus-specific extracts, merged files)
# Keep base training_data/{premises,proof_states,tactics,stats}.jsonl and dated snapshots
training_data/*_max.jsonl
training_data/*_COMPLETE.jsonl
training_data/*_ABSOLUTE*.jsonl
training_data/*_ULTIMATE.jsonl
training_data/*_FINAL*.jsonl
training_data/*_BALANCED.jsonl
training_data/*_all.jsonl
training_data/*_coqgym.jsonl
training_data/*_mathlib4.jsonl
training_data/*_metamath.jsonl
training_data/stats_*.json
!training_data/stats.json
!training_data/stats_UNIFIED.json
training_data/vocabulary_*.txt
!training_data/vocabulary_UNIFIED.txt

# Large unified/merged JSONL files (exceed GitHub 100MB limit)
training_data/proof_states_UNIFIED.jsonl
training_data/proof_states_smtlib.jsonl
training_data/tactics_smtlib.jsonl
# TPTP full-share output exceeds 100MB (reproducible via scripts/extract_tptp.jl)
training_data/proof_states_tptp.a2ml
# KeY output exceeds 100MB (reproducible via scripts/extract_key.jl)
training_data/proof_states_key.jsonl

# Root-level merged artifacts
premises_merged.jsonl
proof_states_merged.jsonl
tactics_merged.jsonl
stats_merged.json

# Generated corpus reports (not source documentation)
COMPLETE_CORPUS_SUMMARY.md
CORPUS_EXPANSION_PLAN.md
CORPUS_MAXIMIZATION_REPORT.md
FINAL_CORPUS_COMPLETENESS_REPORT.md
PROVER_EXPANSION_ROADMAP.md
models/neural/

# Per-epoch training checkpoints (regenerated; only models/ root kept)
models/e*/
/models_e*/

# Zig FFI build output (regenerated by `zig build`)
src/zig_ffi/zig-out/
src/zig_ffi/.zig-cache/

# asdf version manager
.tool-versions

# Prover build artifacts (added 2026-04-05)
proofs/coq/**/*.vo
proofs/coq/**/*.vos
proofs/coq/**/*.vok
proofs/coq/**/*.glob
proofs/coq/**/.*.aux
proofs/agda/**/*.agdai
proofs/metamath/.metamath*
target/
node_modules/
_build/
deps/
.elixir_ls/
.cache/
build/
dist/

# Subagent worktrees (isolation mode)
.claude/worktrees/

# Generated corpus indices (rebuilt with `echidna corpus ingest`)
data/corpus/*.json
data/corpus/*.octads.jsonl