allaun/SilverSight
1
0
Fork 0
mirror of https://github.com/allaunthefox/SilverSight.git synced 2026-07-31 01:25:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
SilverSight/docs/research_stack_porting_candidates.md
allaun 049aa01863 docs: bind ported concepts to CFF references 
- 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)
2026-06-21 06:49:14 -05:00

11 KiB
Raw Blame History

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_corpus250.py → arxiv
  • build_corpus250.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