mirror of
https://github.com/allaunthefox/SilverSight.git
synced 2026-07-31 01:25:21 +00:00
allaun
3362d554d1
- lakefile.lean: register SilverSight.{AngrySphinx,CollatzBraid,GoldenSpiral,GCCL}
- docs/research/: braid group action, iteration DAG/regime, Sidon
preservation/creation, unified CRT-torus DAG notes
- docs/diagrams/: DAG + heatmap + 8-strand search JSON/dot outputs
- formal/CoreFormalism/StrandCapacityBound.lean: capacity bound (passes
hardened anti-smuggle --ci)
- scripts/, python/: braid word solver, collapse/DAG search + tuning,
heatmap gen, YB search/verification, wrapping verifier
- .gitignore: exclude rust/**/target and coq compiled artifacts
(*.vo/*.vok/*.vos/*.glob/*.aux) that were polluting the tree
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
36 lines
378 B
Text
36 lines
378 B
Text
__pycache__/
|
|
*.pyc
|
|
*.o
|
|
*.so
|
|
/build/
|
|
*.egg-info/
|
|
.lean-cloud/
|
|
*.timestamp
|
|
.mcp/
|
|
env/
|
|
venv/
|
|
.venv*/
|
|
.pytest_cache/
|
|
.lake/
|
|
|
|
# Generated artifacts
|
|
.openclaw/
|
|
docs/research_stack_usage_graph.*
|
|
docs/concept_map/*.jsonl
|
|
*.svg
|
|
*.bmp
|
|
*.ppm
|
|
*.png
|
|
extraction/
|
|
scratch/
|
|
scripts/qc_flag/.backups/
|
|
.env.enc
|
|
rust/target/
|
|
rust/**/target/
|
|
|
|
# Coq compiled artifacts
|
|
*.vo
|
|
*.vok
|
|
*.vos
|
|
*.glob
|
|
*.aux
|