1  # Rust
 2  /target/
 3  target/
 4  /traces
 5  **/*.rs.bk
 6  *.pdb
 7  Cargo.lock
 8  
 9  # Local binary symlinks
10  /bin/
11  
12  # Documentation builds
13  docs/book/
14  
15  # WASM artifacts
16  pkg/
17  dist/
18  *.wasm
19  *_bg.wasm.d.ts
20  
21  # Stylance generated CSS modules
22  console/styles/*.rs
23  
24  # IDE
25  .vscode/
26  .idea/
27  *.swp
28  *.swo
29  *~
30  .DS_Store
31  .claude/
32  GEMINI.md
33  
34  # Aura data directories (mode-specific)
35  # All data (leakage/, secure_store/, etc.) is now inside these directories
36  .aura/
37  aura-data/
38  .aura-demo/
39  .aura-test/
40  *.sealed
41  *.dat
42  outcomes/
43  *.txt
44  secure_store/
45  
46  # Nix
47  result
48  result-*
49  .direnv/
50  
51  # Logs
52  *.log
53  logs/
54  
55  # Environment
56  .env
57  .env.local
58  
59  # Temporary files
60  *.tmp
61  *.temp
62  
63  # Working
64  work/
65  ext/
66  mermaid.min.js
67  mermaid-init.js
68  
69  # Lean build artifacts
70  verification/lean/.lake/
71  verification/lean/build/
72  verification/lean/Generated/
73  verification/lean/.lean_build/
74  
75  # Quint ITF trace outputs (generated, but keep .gitkeep)
76  verification/quint/traces/*.itf.json
77  verification/quint/traces/*.json
78  
79  # Apalache model checker artifacts
80  _apalache-out/