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
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
# Rust build artifacts
/target/
**/*.rs.bk
# IDE and editor files
.idea/
.vscode/
*.swp
*.swo
*~
.DS_Store
# Perf profiling artifacts (DO NOT COMMIT)
perf.data
perf.data.old
*.perf
perf-*.txt
perf-*.data
# Valgrind / massif profiling artifacts
massif.out.*
massif-*.txt
callgrind.out.*
cachegrind.out.*
# Criterion benchmark artifacts
target/criterion/
# Flamegraph artifacts (if generated)
*.svg
flamegraph*.html
# Coverage artifacts
*.profraw
*.profdata
lcov.info
coverage/
tarpaulin-report.html
# proptest regression files (optional - can commit for reproducibility)
# proptest-regressions/
# Temporary files
*.tmp
*.temp
*.log
# Documentation build artifacts
docs/_build/
docs/optimization/*.txt
# Claude temporary files
.claude/plans/*.bak
# Trained model files (user-generated, not test fixtures)
*.bin
!test_data/**/*.bin
# Dictionary files
*.dict
*.dict.bin
# Checkpoint files
checkpoints/
wal_archive/
*.artrie
*.idx
*.wal
*.checkpoint.json
global_checkpoint.json
*_ckpt_*.bin
*_latest.bin
embedding_latest.bin
# BPE tokenizer outputs
tokenizer.json
# GPU shader cache
.wgpu/
# =============================================================================
# Formal Verification Artifacts
# =============================================================================
# Rocq/Coq compiled objects and build artifacts
formal/rocq/*.vo
formal/rocq/*.vos
formal/rocq/*.vok
formal/rocq/*.glob
formal/rocq/.*.aux
formal/rocq/.lia.cache
formal/rocq/.nra.cache
.nra.cache
formal/rocq/CoqMakefile
formal/rocq/CoqMakefile.conf
formal/rocq/.CoqMakefile.d
# TLA+ model checker state files
formal/tla/states/
formal/tla/.tlacache/
.aider*
.pgmcp.toml
!docs/diagrams/*.svg