mirror of
https://github.com/allaunthefox/SilverSight.git
synced 2026-07-31 01:25:21 +00:00
Archive research_stack_porting_candidates.md
This commit is contained in:
Allaun Silverfox
parent
4524c56f7d
commit
0921847a12
1 changed files with 234 additions and 0 deletions
234
archive/2026-07-02/docs/research_stack_porting_candidates.md
Normal file
234
archive/2026-07-02/docs/research_stack_porting_candidates.md
Normal file
|
|
@ -0,0 +1,234 @@
|
|||
# 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 |
|
||||
Loading…
Add table
Reference in a new issue