From f2798730a104cbc3d651f32979377d7176b610ae Mon Sep 17 00:00:00 2001 From: Allaun Silverfox <28494262+allaunthefox@users.noreply.github.com> Date: Thu, 2 Jul 2026 03:31:53 +0200 Subject: [PATCH] Remove research_stack_porting_candidates.md --- docs/research_stack_porting_candidates.md | 234 ---------------------- 1 file changed, 234 deletions(-) delete mode 100644 docs/research_stack_porting_candidates.md diff --git a/docs/research_stack_porting_candidates.md b/docs/research_stack_porting_candidates.md deleted file mode 100644 index e34d17d1..00000000 --- a/docs/research_stack_porting_candidates.md +++ /dev/null @@ -1,234 +0,0 @@ -# Research Stack → SilverSight Porting Candidates - -Generated from `research_stack_usage_graph.json`. Scores reward theorem count, -in-degree (foundational), and definitions; penalize sorries. Filtered to -SilverSight-relevant math kinds with ≤5 sorries. - -## Top 50 candidates - -| Module | Kind | Theorems | Defs | Sorries | In-degree | Score | -|--------|------|----------|------|---------|-----------|-------| -| `FixedPoint` | fixedpoint | 62 | 99 | 0 | 97 | 514 | -| `EntropyMeasures` | fixedpoint | 4 | 456 | 0 | 0 | 464 | -| `i` | algebra | 107 | 7 | 0 | 0 | 221 | -| `green_57` | algebra | 69 | 34 | 0 | 0 | 172 | -| `DeltaGCLCompression` | algebra | 62 | 37 | 0 | 0 | 161 | -| `SidonSets` | number_theory | 68 | 17 | 0 | 0 | 153 | -| `PistSimulation` | fixedpoint | 16 | 111 | 0 | 0 | 143 | -| `i` | number_theory | 68 | 1 | 0 | 0 | 137 | -| `bipartite_reconstruction` | algebra | 52 | 14 | 0 | 0 | 118 | -| `tenenbaum` | number_theory | 54 | 8 | 0 | 0 | 116 | -| `Law15_Field` | fixedpoint | 27 | 58 | 0 | 0 | 112 | -| `SpherionTwinPrime` | number_theory | 41 | 28 | 0 | 0 | 110 | -| `NBody` | fixedpoint | 13 | 83 | 0 | 0 | 109 | -| `HachimojiPipeline` | fixedpoint | 0 | 105 | 0 | 0 | 105 | -| `SSMS` | fixedpoint | 14 | 67 | 0 | 3 | 104 | -| `erdos_846` | number_theory | 47 | 5 | 0 | 0 | 99 | -| `Q16InverseProof` | fixedpoint | 44 | 10 | 0 | 0 | 98 | -| `Tests` | algebra | 39 | 20 | 0 | 0 | 98 | -| `erdos_152` | number_theory | 45 | 7 | 0 | 0 | 97 | -| `E8Sidon` | number_theory | 60 | 23 | 5 | 0 | 93 | -| `SpatialHashCodec` | rrc | 36 | 19 | 0 | 0 | 91 | -| `ExtendedManifoldEncoding` | rrc | 23 | 42 | 0 | 0 | 88 | -| `MassNumberPreSlots` | algebra | 0 | 82 | 0 | 0 | 82 | -| `F01_Q16_16_FixedPoint` | fixedpoint | 27 | 19 | 0 | 0 | 73 | -| `UniversalBridge` | fixedpoint | 26 | 20 | 0 | 0 | 72 | -| `UnifiedConvictionFlow` | algebra | 17 | 38 | 0 | 0 | 72 | -| `EntropyPhaseEngine` | fixedpoint | 10 | 51 | 0 | 0 | 71 | -| `PhysicsScalarBridge` | fixedpoint | 0 | 41 | 0 | 10 | 71 | -| `FoldedPointManifold` | avm | 21 | 28 | 0 | 0 | 70 | -| `BurgersPDE` | fixedpoint | 20 | 29 | 0 | 0 | 69 | -| `DomainDetector` | rrc | 31 | 7 | 0 | 0 | 69 | -| `PreRegisteredPredictions` | algebra | 21 | 26 | 0 | 0 | 68 | -| `AdjugateMatrix` | fixedpoint | 20 | 27 | 0 | 0 | 67 | -| `SDPVerify` | algebra | 23 | 30 | 1 | 0 | 66 | -| `ExtremeParameterTest` | algebra | 0 | 39 | 0 | 9 | 66 | -| `TransportTheory` | fixedpoint | 26 | 14 | 0 | 0 | 66 | -| `RustOISCDecompressor` | avm | 14 | 36 | 0 | 0 | 64 | -| `DynamicCanal` | fixedpoint | 8 | 44 | 0 | 1 | 63 | -| `graph_conjecture2` | algebra | 30 | 2 | 0 | 0 | 62 | -| `HumanNeuralCompression` | fixedpoint | 15 | 32 | 0 | 0 | 62 | -| `ii` | number_theory | 26 | 9 | 0 | 0 | 61 | -| `ii` | number_theory | 28 | 3 | 0 | 0 | 59 | -| `BraidSpherionBridge` | fixedpoint | 25 | 9 | 0 | 0 | 59 | -| `ParameterSensitivity` | avm | 16 | 27 | 0 | 0 | 59 | -| `HutterPrizeFlow` | algebra | 14 | 30 | 0 | 0 | 58 | -| `Bind` | algebra | 6 | 21 | 3 | 18 | 57 | -| `Classify` | algebra | 12 | 32 | 0 | 0 | 56 | -| `CayleyFibergraph` | rrc | 24 | 8 | 0 | 0 | 56 | -| `BaselineComparison` | braid | 15 | 24 | 0 | 0 | 54 | -| `BraidEigensolid` | braid | 16 | 19 | 0 | 1 | 54 | - -## 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 -- `ThresholdVector` — th=15 def=17 sorry=0 in=0 -- `BraidDiatCodec` — th=13 def=19 sorry=0 in=0 -- `MOIMBenchmark` — th=5 def=33 sorry=0 in=0 -- `BraidSerial` — th=8 def=26 sorry=0 in=0 -- `EntropyCollapseDetector` — th=6 def=28 sorry=0 in=0 -- `TopologicalBraidAdapter` — th=8 def=23 sorry=0 in=0 -- `CalibratedKernel` — th=1 def=32 sorry=0 in=0 -- `DimensionalConsistency` — th=7 def=18 sorry=0 in=0 -- `Toolkit` — th=9 def=14 sorry=0 in=0 -- `ASICTopology` — th=5 def=21 sorry=0 in=0 -- `LogogramRotationLoop` — th=9 def=13 sorry=0 in=0 -- `BraidedField` — th=4 def=20 sorry=0 in=0 -- `MereotopologicalSheafHypergraph` — th=6 def=15 sorry=0 in=0 - -### rrc -- `SpatialHashCodec` — th=36 def=19 sorry=0 in=0 -- `ExtendedManifoldEncoding` — th=23 def=42 sorry=0 in=0 -- `DomainDetector` — th=31 def=7 sorry=0 in=0 -- `CayleyFibergraph` — th=24 def=8 sorry=0 in=0 -- `Prohibited` — th=10 def=30 sorry=0 in=0 -- `TreeDIATKruskal` — th=16 def=13 sorry=0 in=0 -- `PIST` — th=11 def=21 sorry=0 in=0 -- `ErdosHarness` — th=5 def=29 sorry=0 in=1 -- `ManifoldBoundaryAtlas` — th=9 def=15 sorry=0 in=0 -- `BraidTreeDIATPIST` — th=9 def=11 sorry=0 in=0 -- `Witness` — th=10 def=5 sorry=0 in=1 -- `GeometricCompressionWorkspace` — th=3 def=20 sorry=0 in=0 -- `Emit` — th=0 def=26 sorry=0 in=0 -- `RRCLogogramProjection` — th=7 def=8 sorry=0 in=1 -- `Verification` — th=5 def=13 sorry=0 in=0 - -### geometry -- `ManifoldNetworking` — th=8 def=14 sorry=0 in=6 -- `TriangleManifold` — th=10 def=20 sorry=0 in=0 -- `BlitterPolymorphism` — th=5 def=26 sorry=0 in=0 -- `PathEpigeneticManifold` — th=7 def=21 sorry=0 in=0 -- `S3CProjectedGeodesicResolution` — th=10 def=15 sorry=0 in=0 -- `S3C` — th=11 def=9 sorry=0 in=0 -- `TopologicalStateMachine` — th=7 def=15 sorry=0 in=0 -- `BraidField` — th=0 def=23 sorry=0 in=1 -- `ManifoldBlit` — th=4 def=17 sorry=0 in=0 -- `InformationConservation` — th=8 def=5 sorry=0 in=0 -- `PhiShellEncoding` — th=4 def=10 sorry=0 in=0 -- `UniversalCoupling` — th=1 def=13 sorry=0 in=1 -- `GoldenSpiralNavigation` — th=1 def=14 sorry=0 in=0 -- `NS_MD` — th=0 def=16 sorry=0 in=0 -- `CollectiveManifoldInterface` — th=3 def=9 sorry=0 in=0 - -## Zero-sorry foundation modules - -Modules with 0 sorries that are imported by at least 3 other modules: - -- `FixedPoint` (fixedpoint) — imported by 97, th=62 -- `PhysicsScalarBridge` (fixedpoint) — imported by 10, th=0 -- `ExtremeParameterTest` (algebra) — imported by 9, th=0 -- `ManifoldNetworking` (geometry) — imported by 6, th=8 -- `Atoms` (fixedpoint) — imported by 4, th=0 -- `PBACSSignal` (fixedpoint) — imported by 4, th=0 -- `Quaternion` (fixedpoint) — imported by 4, th=1 -- `FAMM` (fixedpoint) — imported by 3, th=0 -- `Boundary` (quantum) — imported by 3, th=0 -- `SSMS` (fixedpoint) — imported by 3, th=14 -- `Core` (algebra) — imported by 3, th=0 - -## Most referenced concepts by script - -- `alphaproof_loop.py` → `ene` -- `arxiv_crossref_stream.py` → `arxiv` -- `arxiv_crossref_stream.py` → `ene` -- `arxiv_oaipmh_harvest.py` → `arxiv` -- `bao_peak_shift.py` → `ene` -- `batch_embed_artifacts.py` → `ene` -- `beaver_mask_freshness_negative_controls.py` → `ene` -- `benchmark_finsler_qaoa.py` → `ene` -- `benchmark_finsler_qap.py` → `ene` -- `braid_diat_codec.py` → `ene` -- `braid_mutation_optimizer.py` → `ene` -- `braid_search.py` → `ene` -- `braid_vcn_encoder.py` → `ene` -- `build_manifold.py` → `arxiv` -- `build_manifold.py` → `ene` -- `build_math_symbols_db.py` → `ene` -- `build_pist_matrices_250.py` → `ene` -- `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 |