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>
45 lines
No EOL
2.1 KiB
Text
45 lines
No EOL
2.1 KiB
Text
digraph IterationDAG {
|
|
rankdir=TB;
|
|
node [shape=record];
|
|
n0 [label="A=[1, 2, 5, 6]\nM=12 step=0"];
|
|
n1 [label="A=[0, 1, 6, 7]\nM=10 step=1"];
|
|
n2 [style=filled, fillcolor=lightgreen, label="A=[2, 5, 9, 10]\nM=12 step=1 ★SIDON"];
|
|
n3 [style=filled, fillcolor=lightgreen, label="A=[2, 5, 9, 10]\nM=12 step=1 ★SIDON"];
|
|
n4 [label="A=[0, 1, 6, 7]\nM=10 step=1"];
|
|
n5 [label="A=[1, 2, 5, 6]\nM=10 step=2"];
|
|
n6 [style=filled, fillcolor=lightgreen, label="A=[0, 7, 8, 13]\nM=14 step=2 ★SIDON"];
|
|
n7 [label="A=[3, 4, 9, 10]\nM=12 step=2"];
|
|
n8 [label="A=[3, 4, 9, 10]\nM=12 step=2"];
|
|
n9 [label="A=[1, 2, 5, 6]\nM=10 step=2"];
|
|
n10 [style=filled, fillcolor=lightgreen, label="A=[0, 7, 8, 13]\nM=14 step=2 ★SIDON"];
|
|
n21 [style=filled, fillcolor=lightyellow, label="A=[4, 5, 10, 11]\nM=14 step=3"];
|
|
n22 [style=filled, fillcolor=lightyellow, label="A=[6, 7, 12, 13]\nM=18 step=3"];
|
|
n23 [style=filled, fillcolor=lightyellow, label="A=[0, 1, 6, 7]\nM=12 step=3"];
|
|
n24 [style=filled, fillcolor=lightyellow, label="A=[3, 7, 9, 13]\nM=15 step=3"];
|
|
n25 [style=filled, fillcolor=lightyellow, label="A=[0, 1, 6, 7]\nM=12 step=3"];
|
|
n26 [style=filled, fillcolor=lightyellow, label="A=[2, 8, 13, 19]\nM=20 step=3"];
|
|
n27 [style=filled, fillcolor=lightyellow, label="A=[0, 4, 9, 13]\nM=15 step=3"];
|
|
n28 [style=filled, fillcolor=lightgreen, label="A=[5, 8, 14, 19]\nM=20 step=3 ★SIDON"];
|
|
n29 [style=filled, fillcolor=lightyellow, label="A=[2, 3, 10, 11]\nM=14 step=3"];
|
|
n30 [style=filled, fillcolor=lightyellow, label="A=[0, 1, 12, 13]\nM=18 step=3"];
|
|
n0 -> n1 [label="[2, 5]"];
|
|
n0 -> n2 [label="[3, 4]"];
|
|
n0 -> n3 [label="[4, 3]"];
|
|
n0 -> n4 [label="[5, 2]"];
|
|
n1 -> n5 [label="[2, 5]"];
|
|
n1 -> n6 [label="[2, 7]"];
|
|
n1 -> n7 [label="[3, 4]"];
|
|
n1 -> n8 [label="[4, 3]"];
|
|
n1 -> n9 [label="[5, 2]"];
|
|
n1 -> n10 [label="[7, 2]"];
|
|
n7 -> n21 [label="[2, 7]"];
|
|
n7 -> n22 [label="[2, 9]"];
|
|
n7 -> n23 [label="[3, 4]"];
|
|
n7 -> n24 [label="[3, 5]"];
|
|
n7 -> n25 [label="[4, 3]"];
|
|
n7 -> n26 [label="[4, 5]"];
|
|
n7 -> n27 [label="[5, 3]"];
|
|
n7 -> n28 [label="[5, 4]"];
|
|
n7 -> n29 [label="[7, 2]"];
|
|
n7 -> n30 [label="[9, 2]"];
|
|
} |