.env
.claude/
optimized_basis_v3.bin
4-Infrastructure/deploy/

# Virtual environments (root-level)
.venv/
.venv-*/

# Third-party research repos (vendored, not authored here)
ai-math-discovery-systems/

# Scratch tests at root
Agda_Test.agda
test.lean

**/node_modules/
**/__pycache__/
*.db
*.log
.DS_Store
.windsurf/
__pycache__/
*.pyc
*.pyo
*.bak
*.tmp
*.old
*.pid

# Local-only generated/refill artifacts
artifacts/
Obdisidan connector/
String-Star-Manifold/
String-Star-Manifold-*.zip
CompressionApproachViaTopology/
*.perfect_balance_backup_*.gz

# Large binary/tool installations
**/ComfyUI/
**/searxng/
**/ObsidianConnector/
**/mcp-researcher/
tools/bin/
tools/build/
tools/search/
**/archive/temp_junk/
scripts/venv_unsloth/

# Virtual environments (should never be committed)
**/hutter_venv/
**/venv_proxy/
**/venv_wgpu/
**/*.venv/
**/venv/
.venv-science/

# API Keys and credentials (NEVER track in git)
API KEYS/
Security\ &\ Passwords/

# Large data files (exceed GitHub 100MB limit)
data/germane/research/*.zip
data/germane/research/SOVEREIGN_MATH_MODEL_DATABASE_ITD.jsonl
data/germane/research/SOVEREIGN_MATH_MODEL_DATABASE.jsonl
data/germane/research/SOVEREIGN_MATH_MODEL_DATABASE_V2.json
data/germane/research/SOVEREIGN_ITD_MANIFOLD.jsonl
data/germane/research/MATHLIB_NLAB_MANIFOLD.jsonl
data/manifest_selective_v5_xeno.jsonl
data/manifest_selective_v5_xeno_FLAGGED.jsonl
data/manifest.jsonl
data/manifest_FLAGGED.jsonl
data/s3c_sine_440Hz_1.0s_results.json
data/*.iso

# Lean build artifacts
**/.lake/
*.trace
.changes/
**/_build/
**/__pycache__/

# Rust build artifacts
**/target/
**/*.rs.bk

# Agda build artifacts
*.agdai

# Local formal scratch/WIP that is not part of the clean build surface.
0-Core-Formalism/Agda_Test.agda
0-Core-Formalism/lean/Semantics/Ancillary/LegacyQuarantine/
0-Core-Formalism/otom/tools/
2-Search-Space/FAMM/FAMM_FSDU.lean
2-Search-Space/FAMM/FAMM_hyperheuristic.lean
2-Search-Space/FAMM/FAMM_minimal.lean
4-Infrastructure/hardware/test.lean

# Hardware/FPGA build artifacts
**/obj_dir/
**/hardware/sparkle/tangnano9k/*.fs
**/hardware/sparkle/tangnano9k/*.pnr.json
**/hardware/sparkle/tangnano9k/*.history
**/hardware/sparkle/tangnano9k/sparkle_tangnano9k.json
4-Infrastructure/hardware/tangnano9k/
4-Infrastructure/hardware/tangnano9k_*.fs
4-Infrastructure/hardware/tangnano9k_*.json
4-Infrastructure/hardware/tangnano9k_*_pnr.json
*.vcd
*_tb.v
*_test_vectors.json

# Large data and archives (Offloaded to Gdrive via rclone)
shared-data/
6-Documentation/archive/
5-Applications/out/
5-Applications/scripts/models/
**/shared-data/
**/archive/
*.zip
*.tar.gz
*.parquet

# Rust build artifacts
**/target/
tools/servo-fetch/

# Local runtime sandboxes
**/.sandbox-home/
**/.sandbox-tmp/

# JavaScript build artifacts
**/node_modules/

# Downloaded external tool caches
5-Applications/tools-scripts/external/openclaw/
5-Applications/tools-scripts/external/mcp/
5-Applications/tools-scripts/external/quantum/
5-Applications/tools-scripts/external/typst-cli/

# Local/generated mirrors that should not be ordinary staging surfaces.
# Force-add a specific artifact when it is promoted into repository evidence.
extensions/
6-Documentation/typst/
6-Documentation/tiddlywiki-local/wiki/tiddlers/*.tid
6-Documentation/wiki/Obsidian-connector/Connector Gap Fill *.md

# Downloaded third-party research trees and paper caches.
2-Search-Space/AI-Feynman/
2-Search-Space/AI-Newton/
2-Search-Space/Goedel-Prover-V2/
2-Search-Space/PINNs/
2-Search-Space/alphageometry/
2-Search-Space/neural-conservation-law/
2-Search-Space/search/stract/crates/optics/testcases/samples/
6-Documentation/papers/Downloads_from_internet/
6-Documentation/papers/downloads/
6-Documentation/papers/facebook_pdfs/
6-Documentation/papers/literature/
6-Documentation/papers/supporting-materials/

# Generated benchmark corpora and run outputs.
3-Mathematical-Models/dna_benchmark/**/corpus/
3-Mathematical-Models/dna_benchmark/results/
3-Mathematical-Models/dna_benchmark/**/compressor_manifold.json
3-Mathematical-Models/dna_benchmark/**/eigenvalue_survey.json
3-Mathematical-Models/equations_parquet_tagged/*_curriculum.jsonl
3-Mathematical-Models/equations_parquet_tagged/*_receipt.json
3-Mathematical-Models/equations_parquet_tagged/*_table.csv
3-Mathematical-Models/unified_surface/cache/

# Generated shim/app run bundles.
4-Infrastructure/shim/erdos_surface_orchestrator/out/
4-Infrastructure/shim/*_after.json
4-Infrastructure/shim/*_benchmarks.csv
4-Infrastructure/shim/*_before.json
4-Infrastructure/shim/*_bit.json
4-Infrastructure/shim/*_checkpoint.json
4-Infrastructure/shim/*_compression.json
4-Infrastructure/shim/*_curriculum.jsonl
4-Infrastructure/shim/*_eigenvectors.json
4-Infrastructure/shim/*_lut.json
4-Infrastructure/shim/*_manifest.jsonl
4-Infrastructure/shim/*_packages.json
4-Infrastructure/shim/*_packets.jsonl
4-Infrastructure/shim/*_pull.json
4-Infrastructure/shim/*_receipt.json
4-Infrastructure/shim/*_receipt_*.json
4-Infrastructure/shim/*_report.json
4-Infrastructure/shim/*_responses.jsonl
4-Infrastructure/shim/*_results.json
4-Infrastructure/shim/*_sft.jsonl
4-Infrastructure/shim/*_smoke.json
4-Infrastructure/shim/*_stream.bin
4-Infrastructure/shim/finance_claim_remote_bundle/
4-Infrastructure/shim/finance_claim_lut_fixtures/claim-*/
4-Infrastructure/shim/finance_claim_lut_fixtures/*.pdf
4-Infrastructure/shim/full_gambit_runs/
4-Infrastructure/shim/h200_encode_dry_run/
4-Infrastructure/shim/offload_receipts/
4-Infrastructure/shim/parallel_metaprobe_runs/
4-Infrastructure/shim/tang9k_pbacs_receipts/
5-Applications/linear-native-tauri/gen/

# AI tool editor hooks (generated, not authored)
.cursor/
.devin/
.kilocode/
.roo/

# Scratch experiments and exploration
scratch/
woo.md
find_minimum_energy.py
verify_math_wolfram.py

# Scratch Lean files (not part of the build surface)
0-Core-Formalism/lean/Semantics/Semantics/Scratch.lean
0-Core-Formalism/lean/Semantics/Semantics/Test.lean
0-Core-Formalism/lean/Semantics/scratch_cofactor.lean

# Shim scripts (not yet part of the clean surface)
4-Infrastructure/shim/arxiv_crossref_stream.py
4-Infrastructure/shim/default.nix
4-Infrastructure/shim/Dockerfile.lean-corpus
4-Infrastructure/shim/download_lean_corpus.py
4-Infrastructure/shim/eigensolid_lean_bridge.py
4-Infrastructure/shim/erdos_discrepancy_probe_simd.py
4-Infrastructure/shim/erdos_e8_rrc_projection.py
4-Infrastructure/shim/erdos_e8_rrc_refined.py
4-Infrastructure/shim/q16_16_optimization_core.py
4-Infrastructure/shim/Q16_16_OPTIMIZATION_DOCUMENTATION.md
4-Infrastructure/shim/shell.nix
4-Infrastructure/shim/verify_optimization_core.py

# Downloaded lean corpus (third-party, not authored)
4-Infrastructure/shim/lean_corpus/

# Exploration docs (not part of the clean surface)
docs/conjectures/
0-Core-Formalism/otom/docs/conjectures/

# Exploration prompt docs
6-Documentation/docs/NUTBREAKER_*.md

# Generated receipts
pyrochlore_sidon_receipt.json

# Generated hardware probe products.
4-Infrastructure/hardware/batch_results/
4-Infrastructure/hardware/*_receipt.json
4-Infrastructure/hardware/*.png
4-Infrastructure/hardware/*.pdf
4-Infrastructure/hardware/metamanifold_prover.json

# Local documentation exports and downloaded references.
6-Documentation/chat-log-dumps/
6-Documentation/docs/reference-videos/
6-Documentation/docs/x86_64_specs/*.pdf
6-Documentation/docs/x86_64_specs/*.txt
6-Documentation/reports/jupyter-books/
6-Documentation/reports/typst/*.pdf
5-Applications/text-to-cad/models/.*/

# Kernel module build artifacts
*.ko
*.mod
*.mod.c
*.order
*.symvers
Module.symvers

# Symlinks for local dev convenience
5-Applications/scripts/config/
data
result

# Rust build artifacts
**/target/

# Recovery secrets backup - DO NOT COMMIT
4-Infrastructure/infra/secrets/