# cache and other artifacts produced by Lean's Lake build tool
.lake/

# Python environments, caches, and build artifacts
.venv/
__pycache__/
*.py[cod]
.pytest_cache/
.mypy_cache/
.ruff_cache/
.hypothesis/
dist/
build/
*.egg-info/
kernelgecp/_native*.so
kernelgecp/_native*.pyd
native/target/
native/vendor/

# Local research scratch output (canonical data is explicitly unignored)
experiments/scratch/
experiments/data/*
!experiments/data/.gitkeep
!experiments/data/gecp_census.jsonl
!experiments/data/gecp_census.png
!experiments/data/gecp_census_v2.jsonl
!experiments/data/gecp_census_v2.png
!experiments/data/gecp_census_normalized.png
!experiments/data/gecp_census_checks.json
!experiments/data/gecp_census_resolution.jsonl
!experiments/data/exact_surrogates.json
!experiments/data/synthetic_applications.json
!experiments/data/synthetic_applications.png
!experiments/data/spectral_comparison.json
!experiments/data/spectral_comparison.png
!experiments/data/adaptive_census.json
!experiments/data/adaptive_census_checks.json
!experiments/data/adaptive_census.png
!experiments/data/rust_reference_benchmark.json.gz
!experiments/data/rust_native_build_failure.json


# Editors and operating systems
.DS_Store
.idea/
.vscode/
