system-et/.gitignore at main · hyperpolymath/system-et · 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
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
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
# SPDX-License-Identifier: MPL-2.0
# RSR-compliant .gitignore

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

# Agent / local session artifacts (Claude Code worktrees, scratch) — never commit
.claude/

# Build
target/
_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.*

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

# Test/Coverage
/coverage/
htmlcov/

# Logs
*.log
/logs/

# Maintenance local artifacts
.maintenance-perms-state.tsv
docs/reports/maintenance/*.json

# Machine-readable locks
.machine_readable/.locks/

# Temp
/tmp/
*.tmp
*.bak

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

# KDE metadata
.directory

# Sync artifacts
sync_report*.txt

# Hypatia scan cache (local-only)
.hypatia/
.zig-cache/
target/
node_modules/
_build/
deps/
.elixir_ls/
.cache/
build/
dist/

# Root-level /build/ is exempt from the blanket `build/` ignore above so that
# tracked task-runner modules (e.g. build/just/proofs.just) stay tracked. The
# Guix/contractile scaffolding that used to live here was removed; nested
# build/ directories (e.g. Rust crate target/build/) remain ignored.
!/build/
!/build/**

# ...but never track prover build output under it.
/build/ttc/

# Arrival-pack build artifact (regenerated from a2ml)
.machine_readable/arrival-pack/claude-md-data.json

# Coaptation atomiser artifacts (regenerated from contractiles + descriptiles);
# the receipt itself (receipts/latest.a2ml) IS committed as the drift baseline.
.machine_readable/coaptation/clauses.json
.machine_readable/coaptation/facts.json

# Coaptation Idris2 core typecheck artifacts
.machine_readable/coaptation/core/build/

# Coaptation re-anchor basis (occasional, generated on --reanchor when red; not a baseline)
.machine_readable/coaptation/receipts/reanchor-basis.a2ml

# Lean 4 / lake build artifacts (proofs are rebuilt by the gate, never committed)
verification/proofs/lean4/.lake/