neuralSpring Validation Summary

ML primitives and sovereign structure prediction — 4,900+ checks, Isomorphism Theorem, all 6 AlphaFold primitives validated

neuralSpring — sporePrint Validation Summary

Session: S225 | Date: Jun 6, 2026 | Version: 0.1.0 | Handoff: V181 Gate: southGate | Live validation: 9/13 primals via UDS Tier: 2 (sporePrint: frozen data + notebooks + paper baselines)


Headline Numbers

MetricValue
Workspace tests (IPC-first)754
Proptest properties24
Python baselines397/397 PASS
Rust+GPU checks4,500+
Total validation checks4,900+
Binaries269 (244 validate, 18 bench, 7 other)
Experiments134 across 11 domains
Papers reproduced27 (6 faculties)
Capabilities45 (12 domains)
Named tolerances233
guideStone30/37 PASS, 6 SKIP (live southGate deployment)
BTSP13/13 mandatory
PRIMAL_GAPS29 main (29 resolved)

Code Quality

CheckStatus
cargo clippy --workspace (pedantic+nursery)0 warnings
cargo fmt --check0 diffs
cargo doc --workspace --no-deps0 warnings
cargo deny checkclean
#![forbid(unsafe_code)]workspace-wide
#[allow()] attributes0
TODO/FIXME/HACK0
Mocks in production0

Performance

MetricValue
Rust vs Python geomean38.6x (15 domains)
Fastest speedup1,104x (multi-objective)
CPU-Python parity41/41 PASS (1e-10)
GPU max speedup104x (transformer medium)
GPU coverage~97%
Multi-GPU parity384/384 bit-identical
Dispatch overhead<=1.04x (9/10 ops)

Key Validation Binaries

  • validate_isomorphism — 6-primitive decomposition
  • validate_gemm_attention — core neural primitives
  • validate_dispatch_parity — multi-GPU bit-identical
  • validate_helixvision — Evoformer, IPA, diffusion
  • validate_all — full validation suite (244 binaries)
  • neuralspring_guidestone — guideStone Level 5 (19 certification tests)
  • validate_ltee_b3_allele_trajectory — LSTM+HMM+ESN allele classifier (16/16)
  • validate_ltee_b4_citrate_esn — ESN citrate early-warning (16/16)

Notebooks — sporePrint

#NotebookFocus
0101-composition-validation.ipynbDeploy graphs, bond types, capabilities, discovery tiers
0202-benchmark-comparison.ipynbRust vs Python timing, GPU speedups, guideStone phases
0303-ecosystem-evidence.ipynb134 experiments, gap resolution, security posture
0404-cross-spring-connections.ipynbPrimal consumption matrix, ecosystem flows
0505-btsp-security-deep-dive.ipynbPer-primal BTSP posture, security convergence arc

Notebooks — Paper Baselines (2 faculties, 8 notebooks)

Publishable-grade Jupyter notebooks with full inline Python/NumPy implementations of peer-reviewed science. Each notebook is the math validation base — the foundation layer that Rust, GPU, and primal IPC are validated against. Self-contained; executable on JupyterHub without the neuralSpring repo.

Batch 1: Dolson Faculty (Evolutionary Computation)

PaperNotebookCitationChecks
011paper-011-counterdiabatic-evolution.ipynbIram, Dolson et al. (2020) Nature Physics 17:135-14211/11
012paper-012-modes-toolbox.ipynbDolson et al. (2019) Artificial Life 25(1):50-739/9
013paper-013-eco-dynamics.ipynbDolson & Ofria (2018) GECCO ’18 Companion7/7
014paper-014-directed-evolution.ipynbDolson, Banzhaf, Ofria (2022) eLife 11:e796658/8
015paper-015-swarm-robotics.ipynbForeback, Bohm, Dolson (2025) IEEE11/11

Batch 2: Liu Faculty (HMM & Phylogenetic Inference)

#NotebookPaperChecks
016paper-016-hmm-phylo.ipynbLiu et al. (2014) PLoS Comp Bio10/10
017paper-017-sate-alignment.ipynbLiu et al. (2009) Science8/8
018paper-018-introgression.ipynbLiu et al. (2015) PNAS8/8

Total: 8 notebooks, 72/72 checks PASS, 3,337 lines of validated Python source. Faculties: Emily Dolson (Evolutionary Computation), Kevin Liu (Phylogenetic Inference). Remaining batches: 19 papers across 4 additional faculties.


Frozen Data

FileContents
validation-state.jsonTest counts, capabilities, code quality, guideStone
experiment-catalog.json134 experiments, 6 faculties, validation tiers
security-posture.jsonBTSP, cargo-deny, unsafe, BLAKE3 checksums
cross-spring-matrix.json8 primal dependencies, proto-nucleate
benchmark-data.jsonRust vs Python, GPU, multi-GPU, isomorphic primitives
gap-status.json28 gaps, 28 resolved
paper-baselines.json8 paper notebooks, 72 checks, 2 faculties, BarraCUDA mappings

Ecosystem

  • Edition: 2024
  • MSRV: 1.87
  • barraCuda: v0.4.0
  • primalSpring: v0.9.27+ (Wave 46, 458 methods)
  • genomeBin: v5.1 (46 binaries, 6 target triples)
  • Bond type: Metallic
  • Trust model: InternalNucleus
  • Proto-nucleate: 7 validation capabilities, 6 primal dependencies
  • Isomorphism Theorem: all neural architectures decompose into 6 primitives (GEMM, Attention, Normalization, Nonlinearity, Reduction, Gating)
  • helixVision: sovereign AlphaFold2/3 structure prediction primitives

See Also


Provenance: primals.eco | neuralSpring Session S225