MathEvidence/.gitignore at main · fraware/MathEvidence · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
# Lean / Lake
.lake/
*.olean
*.ilean
*.trace
# lake-manifest.json is committed (pins Mathlib + transitive Lake deps).

# Python
__pycache__/
*.py[cod]
*$py.class
*.egg-info/
.eggs/
dist/
build/
.venv/
venv/
.mypy_cache/
.ruff_cache/
.pytest_cache/
.hypothesis/
.coverage
htmlcov/
uv.toml.local

# Editors / OS
.idea/
.vscode/
.cursor/
*.swp
*~
.DS_Store
Thumbs.db

# Secrets and local env
.env
.env.*
!.env.example
*.pem
*.key
!dev/receipt-keys/README.md
credentials.json

# Local scratch / exact-replay working dirs (never commit)
_tmp_*/

# Evidence / artifacts (large generated; committed examples stay under evidence/)
/tmp/
/artifacts/
*.wxf
*.mx

# Logs
*.log

# Just / tooling
.justfile.local

# Local Foundry capture output (never on acceptance path)
foundry/episodes/*.json
!foundry/episodes/.gitkeep

# Differential harness regenerates this each run
benchmarks/differential/manifest.json

# Local runtime evidence store (content-addressed). Tracked fixture digests under
# evidence/store remain versioned; new untracked store output stays local.
# Do not ignore evidence/examples/ or other committed fixture trees.
/evidence/store/bundles/sha256/
/evidence/store/index/by-request/
/evidence/store/sha256/
/evidence/store/certifications/