007/.gitignore at main · hyperpolymath/007 · 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
# SPDX-License-Identifier: MPL-2.0

# Build artifacts
target/
*.o
*.so
*.dylib

# IDE
.idea/
.vscode/
*.swp
*.swo
*~

# OS
.DS_Store
Thumbs.db

# Rust

# BEAM
_build/
deps/
*.beam
*.ez

# WASM
pkg/
*.wasm

# Zig
.zig-cache/
zig-out/

# Compiled binaries
daemon-mk2/daemon-mk2
interpreter-mk2/libc.a
oo7-control-plane/oo7-control-plane
oo7-control-plane/src/main
oo7-control-plane/oo7_interpreter.h

# Runtime logs (never commit)
**/*.log

# Scratch test files (belong in crates/*/tests/ or tests/)
/test_*.rs

# Session debris (one-off reports, scripts)
/*_SUMMARY.md
/*_REPORT.md
/*-REPORT.adoc
/*_COMPLETE.md
/apply_grammar_changes*.sh

# asdf version manager
.tool-versions
proofs/idris2/build/
crates/oo7-core/erl_crash.dump
*.agdai

# Rocq / Coq compiled artifacts (per-proof build outputs)
*.vo
*.vok
*.vos
*.glob
.*.aux

node_modules/
.elixir_ls/
.cache/
*.log
*.tmp
build/
dist/
.nra.cache

# Coq lia tactic cache (appears at repo root and under proofs/)
.lia.cache

# Zig build artefacts (007-mcp cartridge FFI + adapter)
zig-cache/
.zig-cache/
zig-out/