From 049aa0186315d45f54c8f6fbeb16fb889bc811b7 Mon Sep 17 00:00:00 2001 From: allaun Date: Sun, 21 Jun 2026 06:49:14 -0500 Subject: [PATCH] docs: bind ported concepts to CFF references MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit - Port Research Stack references with clear conceptual bindings into SilverSight CITATION.cff: - Saucedo 2019 → SidonSets / number-theory fixtures - Farr & Groot 2009, Fasolo & Sollich 2004, Baranau & Tallarek 2014, Kofke & Bolhuis 1999 → braid eigensolid / meta-solid phase models - Arrizabalaga et al. 2026 → Q16_16 fixed-point / no-Float compute - Yang et al. 2026 → recurrent search/classification loops - Add a Conceptual bindings table to the porting candidates report - Validate CFF YAML syntax Build: 2978 jobs, 0 errors (lake build) --- CITATION.cff | 96 ++++++++++++++ docs/generate_porting_candidates.py | 15 +++ docs/research_stack_porting_candidates.md | 150 ++++++++++++---------- 3 files changed, 193 insertions(+), 68 deletions(-) diff --git a/CITATION.cff b/CITATION.cff index 03457b04..f8ea1cef 100644 --- a/CITATION.cff +++ b/CITATION.cff @@ -98,3 +98,99 @@ references: title: "Single quadrature noise tomography" year: 2025 notes: "Full citation details pending DOI or arXiv ID." + + # ── Conceptual bindings ported from Research Stack ───────────────────────── + + - type: thesis + title: "Pascal's Triangle, Pascal's Pyramid, and the Trinomial Triangle" + authors: + - family-names: "Saucedo" + given-names: "Antonio Jr." + date-published: 2019-06 + institution: + name: "California State University, San Bernardino" + collection-title: "Electronic Theses, Projects, and Dissertations" + url: "https://scholarworks.lib.csusb.edu/etd/855" + notes: "Combinatorics reference for Pascal-triangle extensions and Fermat-number patterns; binds to SilverSight Sidon-set and number-theory modules (e.g., SidonSets, SpherionTwinPrime)." + + - type: article + title: "Close packing density of polydisperse hard spheres" + authors: + - family-names: "Farr" + given-names: "R." + - family-names: "Groot" + given-names: "R. D." + date-published: 2009-12 + doi: 10.1063/1.3276799 + journal: "The Journal of Chemical Physics" + notes: "Anchor paper for polydisperse close-packing theory; binds to braid-eigensolid and meta-solid phase models (BraidEigensolid, BraidSpherionBridge, BaselineComparison)." + + - type: article + title: "Fractionation effects in phase equilibria of polydisperse hard-sphere colloids" + authors: + - family-names: "Fasolo" + given-names: "M." + - family-names: "Sollich" + given-names: "P." + date-published: 2004-10 + doi: 10.1103/physreve.70.041410 + journal: "Physical Review E" + notes: "Full fractionation phase equilibria for polydisperse hard spheres; terminal polydispersity ~14% binds to the meta-solid 1/7 mixing threshold." + + - type: article + title: "Random-close packing limits for monodisperse and polydisperse hard spheres" + authors: + - family-names: "Baranau" + given-names: "V." + - family-names: "Tallarek" + given-names: "U." + date-published: 2014 + doi: 10.1039/c3sm52959b + journal: "Soft Matter" + notes: "Definitive RCP limits for monodisperse (~0.64) and polydisperse spheres; conceptual reference for eigensolid packing bounds." + + - type: article + title: "Freezing of polydisperse hard spheres" + authors: + - family-names: "Kofke" + given-names: "D." + - family-names: "Bolhuis" + given-names: "P." + date-published: 1999 + doi: 10.1103/physreve.59.618 + journal: "Physical Review E" + notes: "Fractionating phase behavior of polydisperse hard spheres; supports braid/meta-solid phase-transition fixtures." + + - type: article + title: "A Differentiable Interior-Point Method in Single Precision" + authors: + - family-names: "Arrizabalaga" + given-names: "Jon" + - family-names: "Tracy" + given-names: "Kevin" + - family-names: "Manchester" + given-names: "Zachary" + date-published: 2026-05 + url: "https://arxiv.org/abs/2605.17913" + notes: "Differentiable primal-dual IPM with bounded KKT systems for low-precision / fixed-point arithmetic; binds to SilverSight Q16_16 fixed-point computation (FixedPoint, Q16InverseProof)." + + - type: article + title: "Stabilizing Recurrent Dynamics for Test-Time Scalable Latent Reasoning in Looped Language Models" + authors: + - family-names: "Yang" + given-names: "Xiao-Wen" + - family-names: "Han" + given-names: "Ziyu" + - family-names: "Zhang" + given-names: "Xi-Hua" + - family-names: "Wei" + given-names: "Wen-Da" + - family-names: "Shao" + given-names: "Jie-Jing" + - family-names: "Guo" + given-names: "Lan-Zhe" + - family-names: "Li" + given-names: "Yu-Feng" + date-published: 2026-05 + url: "https://arxiv.org/abs/2605.26733" + notes: "STARS regularizes spectral radius of the Jacobian using power iterations with JVPs; conceptual reference for recurrent / looped dynamics in search and classification loops." diff --git a/docs/generate_porting_candidates.py b/docs/generate_porting_candidates.py index 3d1dcf0d..2b982770 100644 --- a/docs/generate_porting_candidates.py +++ b/docs/generate_porting_candidates.py @@ -92,6 +92,21 @@ for db_edge in sorted(script_edges, key=lambda x: ents.get(x["src"], {}).get("na md.append(f"- `{src.get('name','?')}` → `{dst.get('name','?')}`") md.append("") +md.append("## Conceptual bindings to CFF references") +md.append("") +md.append("When porting a module, check `CITATION.cff` for the source reference that") +md.append("supports its mathematical or physical claim.") +md.append("") +md.append("| SilverSight concept / module | Research Stack source / CFF reference |") +md.append("|------------------------------|---------------------------------------|") +md.append("| `SidonSets`, `SpherionTwinPrime`, number-theory fixtures | Saucedo 2019 — Pascal's Triangle/Pyramid/Trinomial |") +md.append("| `BraidEigensolid`, `BraidSpherionBridge`, `BaselineComparison` | Farr & Groot 2009 — polydisperse hard-sphere packing |") +md.append("| Meta-solid 1/7 mixing threshold | Fasolo & Sollich 2004 — terminal polydispersity ~14% |") +md.append("| Eigensolid packing bounds | Baranau & Tallarek 2014 — RCP limits |") +md.append("| `FixedPoint`, `Q16InverseProof`, no-Float compute | Arrizabalaga et al. 2026 — single-precision differentiable IPM |") +md.append("| Recurrent search/classification loops | Yang et al. 2026 — STARS recurrent scaling |") +md.append("") + (ROOT / "research_stack_porting_candidates.md").write_text("\n".join(md), encoding="utf-8") print(f"Wrote {ROOT / 'research_stack_porting_candidates.md'}") print(f"Total candidates: {len(candidates)}") diff --git a/docs/research_stack_porting_candidates.md b/docs/research_stack_porting_candidates.md index 1539586c..030b7b15 100644 --- a/docs/research_stack_porting_candidates.md +++ b/docs/research_stack_porting_candidates.md @@ -61,6 +61,74 @@ SilverSight-relevant math kinds with ≤5 sorries. ## Candidates by math kind +### avm +- `FoldedPointManifold` — th=21 def=28 sorry=0 in=0 +- `RustOISCDecompressor` — th=14 def=36 sorry=0 in=0 +- `ParameterSensitivity` — th=16 def=27 sorry=0 in=0 +- `CandidateDictionary` — th=14 def=20 sorry=0 in=0 +- `FractionScan` — th=17 def=14 sorry=0 in=0 +- `Omindirection` — th=12 def=21 sorry=0 in=1 +- `GCCL` — th=12 def=18 sorry=0 in=1 +- `ExperimentTracker` — th=11 def=11 sorry=0 in=0 +- `ContinuedFractionCompression` — th=10 def=12 sorry=0 in=0 +- `MinimalBitcoinL3` — th=13 def=6 sorry=0 in=0 +- `BernoulliOccupancyShockbow` — th=6 def=18 sorry=0 in=0 +- `LogogramSubstitution` — th=8 def=14 sorry=0 in=0 +- `LadderLUT` — th=8 def=13 sorry=0 in=0 +- `AntiBraidStorm` — th=9 def=7 sorry=0 in=0 +- `Surface` — th=10 def=4 sorry=0 in=0 + +### algebra +- `i` — th=107 def=7 sorry=0 in=0 +- `green_57` — th=69 def=34 sorry=0 in=0 +- `DeltaGCLCompression` — th=62 def=37 sorry=0 in=0 +- `bipartite_reconstruction` — th=52 def=14 sorry=0 in=0 +- `Tests` — th=39 def=20 sorry=0 in=0 +- `MassNumberPreSlots` — th=0 def=82 sorry=0 in=0 +- `UnifiedConvictionFlow` — th=17 def=38 sorry=0 in=0 +- `PreRegisteredPredictions` — th=21 def=26 sorry=0 in=0 +- `SDPVerify` — th=23 def=30 sorry=1 in=0 +- `ExtremeParameterTest` — th=0 def=39 sorry=0 in=9 +- `graph_conjecture2` — th=30 def=2 sorry=0 in=0 +- `HutterPrizeFlow` — th=14 def=30 sorry=0 in=0 +- `Bind` — th=6 def=21 sorry=3 in=18 +- `Classify` — th=12 def=32 sorry=0 in=0 +- `EpistemicHonesty` — th=16 def=20 sorry=0 in=0 + +### fixedpoint +- `FixedPoint` — th=62 def=99 sorry=0 in=97 +- `EntropyMeasures` — th=4 def=456 sorry=0 in=0 +- `PistSimulation` — th=16 def=111 sorry=0 in=0 +- `Law15_Field` — th=27 def=58 sorry=0 in=0 +- `NBody` — th=13 def=83 sorry=0 in=0 +- `HachimojiPipeline` — th=0 def=105 sorry=0 in=0 +- `SSMS` — th=14 def=67 sorry=0 in=3 +- `Q16InverseProof` — th=44 def=10 sorry=0 in=0 +- `F01_Q16_16_FixedPoint` — th=27 def=19 sorry=0 in=0 +- `UniversalBridge` — th=26 def=20 sorry=0 in=0 +- `EntropyPhaseEngine` — th=10 def=51 sorry=0 in=0 +- `PhysicsScalarBridge` — th=0 def=41 sorry=0 in=10 +- `BurgersPDE` — th=20 def=29 sorry=0 in=0 +- `AdjugateMatrix` — th=20 def=27 sorry=0 in=0 +- `TransportTheory` — th=26 def=14 sorry=0 in=0 + +### number_theory +- `SidonSets` — th=68 def=17 sorry=0 in=0 +- `i` — th=68 def=1 sorry=0 in=0 +- `tenenbaum` — th=54 def=8 sorry=0 in=0 +- `SpherionTwinPrime` — th=41 def=28 sorry=0 in=0 +- `erdos_846` — th=47 def=5 sorry=0 in=0 +- `erdos_152` — th=45 def=7 sorry=0 in=0 +- `E8Sidon` — th=60 def=23 sorry=5 in=0 +- `ii` — th=26 def=9 sorry=0 in=0 +- `ii` — th=28 def=3 sorry=0 in=0 +- `ImaginarySemanticTime` — th=19 def=16 sorry=0 in=0 +- `SidonAVM` — th=3 def=24 sorry=0 in=0 +- `GoormaghtighEnumeration` — th=13 def=1 sorry=0 in=0 +- `PrimeGearCache` — th=7 def=13 sorry=0 in=0 +- `AntiDiophantine` — th=10 def=6 sorry=0 in=0 +- `GoldenRatioSeparation` — th=8 def=8 sorry=0 in=0 + ### braid - `BaselineComparison` — th=15 def=24 sorry=0 in=0 - `BraidEigensolid` — th=16 def=19 sorry=0 in=1 @@ -112,74 +180,6 @@ SilverSight-relevant math kinds with ≤5 sorries. - `NS_MD` — th=0 def=16 sorry=0 in=0 - `CollectiveManifoldInterface` — th=3 def=9 sorry=0 in=0 -### algebra -- `i` — th=107 def=7 sorry=0 in=0 -- `green_57` — th=69 def=34 sorry=0 in=0 -- `DeltaGCLCompression` — th=62 def=37 sorry=0 in=0 -- `bipartite_reconstruction` — th=52 def=14 sorry=0 in=0 -- `Tests` — th=39 def=20 sorry=0 in=0 -- `MassNumberPreSlots` — th=0 def=82 sorry=0 in=0 -- `UnifiedConvictionFlow` — th=17 def=38 sorry=0 in=0 -- `PreRegisteredPredictions` — th=21 def=26 sorry=0 in=0 -- `SDPVerify` — th=23 def=30 sorry=1 in=0 -- `ExtremeParameterTest` — th=0 def=39 sorry=0 in=9 -- `graph_conjecture2` — th=30 def=2 sorry=0 in=0 -- `HutterPrizeFlow` — th=14 def=30 sorry=0 in=0 -- `Bind` — th=6 def=21 sorry=3 in=18 -- `Classify` — th=12 def=32 sorry=0 in=0 -- `EpistemicHonesty` — th=16 def=20 sorry=0 in=0 - -### avm -- `FoldedPointManifold` — th=21 def=28 sorry=0 in=0 -- `RustOISCDecompressor` — th=14 def=36 sorry=0 in=0 -- `ParameterSensitivity` — th=16 def=27 sorry=0 in=0 -- `CandidateDictionary` — th=14 def=20 sorry=0 in=0 -- `FractionScan` — th=17 def=14 sorry=0 in=0 -- `Omindirection` — th=12 def=21 sorry=0 in=1 -- `GCCL` — th=12 def=18 sorry=0 in=1 -- `ExperimentTracker` — th=11 def=11 sorry=0 in=0 -- `ContinuedFractionCompression` — th=10 def=12 sorry=0 in=0 -- `MinimalBitcoinL3` — th=13 def=6 sorry=0 in=0 -- `BernoulliOccupancyShockbow` — th=6 def=18 sorry=0 in=0 -- `LogogramSubstitution` — th=8 def=14 sorry=0 in=0 -- `LadderLUT` — th=8 def=13 sorry=0 in=0 -- `AntiBraidStorm` — th=9 def=7 sorry=0 in=0 -- `Surface` — th=10 def=4 sorry=0 in=0 - -### number_theory -- `SidonSets` — th=68 def=17 sorry=0 in=0 -- `i` — th=68 def=1 sorry=0 in=0 -- `tenenbaum` — th=54 def=8 sorry=0 in=0 -- `SpherionTwinPrime` — th=41 def=28 sorry=0 in=0 -- `erdos_846` — th=47 def=5 sorry=0 in=0 -- `erdos_152` — th=45 def=7 sorry=0 in=0 -- `E8Sidon` — th=60 def=23 sorry=5 in=0 -- `ii` — th=26 def=9 sorry=0 in=0 -- `ii` — th=28 def=3 sorry=0 in=0 -- `ImaginarySemanticTime` — th=19 def=16 sorry=0 in=0 -- `SidonAVM` — th=3 def=24 sorry=0 in=0 -- `GoormaghtighEnumeration` — th=13 def=1 sorry=0 in=0 -- `PrimeGearCache` — th=7 def=13 sorry=0 in=0 -- `AntiDiophantine` — th=10 def=6 sorry=0 in=0 -- `GoldenRatioSeparation` — th=8 def=8 sorry=0 in=0 - -### fixedpoint -- `FixedPoint` — th=62 def=99 sorry=0 in=97 -- `EntropyMeasures` — th=4 def=456 sorry=0 in=0 -- `PistSimulation` — th=16 def=111 sorry=0 in=0 -- `Law15_Field` — th=27 def=58 sorry=0 in=0 -- `NBody` — th=13 def=83 sorry=0 in=0 -- `HachimojiPipeline` — th=0 def=105 sorry=0 in=0 -- `SSMS` — th=14 def=67 sorry=0 in=3 -- `Q16InverseProof` — th=44 def=10 sorry=0 in=0 -- `F01_Q16_16_FixedPoint` — th=27 def=19 sorry=0 in=0 -- `UniversalBridge` — th=26 def=20 sorry=0 in=0 -- `EntropyPhaseEngine` — th=10 def=51 sorry=0 in=0 -- `PhysicsScalarBridge` — th=0 def=41 sorry=0 in=10 -- `BurgersPDE` — th=20 def=29 sorry=0 in=0 -- `AdjugateMatrix` — th=20 def=27 sorry=0 in=0 -- `TransportTheory` — th=26 def=14 sorry=0 in=0 - ## Zero-sorry foundation modules Modules with 0 sorries that are imported by at least 3 other modules: @@ -218,3 +218,17 @@ Modules with 0 sorries that are imported by at least 3 other modules: - `burgers_0d_braid_exact.py` → `ene` - `burgers_2d_simplification.py` → `ene` - `burgers_cfl_sweep.py` → `ene` + +## Conceptual bindings to CFF references + +When porting a module, check `CITATION.cff` for the source reference that +supports its mathematical or physical claim. + +| SilverSight concept / module | Research Stack source / CFF reference | +|------------------------------|---------------------------------------| +| `SidonSets`, `SpherionTwinPrime`, number-theory fixtures | Saucedo 2019 — Pascal's Triangle/Pyramid/Trinomial | +| `BraidEigensolid`, `BraidSpherionBridge`, `BaselineComparison` | Farr & Groot 2009 — polydisperse hard-sphere packing | +| Meta-solid 1/7 mixing threshold | Fasolo & Sollich 2004 — terminal polydispersity ~14% | +| Eigensolid packing bounds | Baranau & Tallarek 2014 — RCP limits | +| `FixedPoint`, `Q16InverseProof`, no-Float compute | Arrizabalaga et al. 2026 — single-precision differentiable IPM | +| Recurrent search/classification loops | Yang et al. 2026 — STARS recurrent scaling |