From 0921847a12df984b08447ef99727e2bfd058c4af Mon Sep 17 00:00:00 2001
From: Allaun Silverfox <28494262+allaunthefox@users.noreply.github.com>
Date: Thu, 2 Jul 2026 03:31:49 +0200
Subject: [PATCH] Archive research_stack_porting_candidates.md

---
 .../docs/research_stack_porting_candidates.md | 234 ++++++++++++++++++
 1 file changed, 234 insertions(+)
 create mode 100644 archive/2026-07-02/docs/research_stack_porting_candidates.md

diff --git a/archive/2026-07-02/docs/research_stack_porting_candidates.md b/archive/2026-07-02/docs/research_stack_porting_candidates.md
new file mode 100644
index 00000000..e34d17d1
--- /dev/null
+++ b/archive/2026-07-02/docs/research_stack_porting_candidates.md
@@ -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 |