Fifteen audit-ready proofs. One computational substrate.
Each POC opens with a scenario, walks through what changes with SolvNum, and ends with a captured demo number plus a SHA-256 you can re-derive on your own hardware. Every numerical claim is traceable to a script in the public repo.
Wave 1 · Provable today
Single-capability demos that run on a workstation
Each is reproducible end-to-end in under 10 minutes from the public repo. The output of every demo is a captured number plus a SHA-256 — you can re-derive both.
Mission Rehearsal Parity
Sim, trainer, and deployed system run on three different hardware generations and produce the same SHA-256. The 'rehearsal-to-deployed drift binder' goes away.
Model-Free Anomaly Detection on Sensor Streams
Scale-discontinuity detector holds 100% recall and 0 false positives across three baseline regimes — no retraining. CUSUM, tuned for one regime, drops to 0% recall in another.
Bandwidth-Bounded Tactical Telemetry Compression
50-UAS swarm at 10 Hz needs 8 Mbps in raw float64; gzip helps almost not at all. SolvNum k=12 fits in 90% of a 2.5 Mbps link with an 8.46e-05 documented per-value error bound.
Multi-Platform Drone Swarm with Provable Safety
25-platform swarm, 30 randomized runs. Float64 stack: 1,765 collisions, 98.3% threat-tier unanimity. SolvNum stack: 0 collisions, 100% unanimity, hardware-stable hash.
Wave 2 · Pair-wise compounds
Two capabilities reinforcing each other in one system
Single-system builds — same demo footprint, but the value comes from how two SolvNum capabilities lock together in one operational picture.
Provable Effector Slew Rate
10,000 adversarial command sequences. SolvNum: 0 violations. Hand-coded software limiter: 9,997. Certification analysis collapses to one paragraph.
Cross-Platform Mission-Data-Recorder Compression
5 GB MDR compressed mixed-k by 3.73×. SolvNum decompresses to the same hash on x86 / ARM / GPU. float16 produces three different hashes. The artifact a JAG / IG reviewer wants.
Counter-Spoofing PNT in GPS-Denied / Jammed Environments
Three escalating GPS spoof attacks against a convoy. SolvNum stack catches all three on the scale discontinuity (KF chi-square detected zero) and bounds slow-drift error by 27.7%.
Cross-Platform Engagement Replay for Review
3 engagements replayed on 3 simulated platforms — all match. 10,000-engagement archive search runs in 1.5 ms per query via magnitude fingerprint. Compressed archive is 3.56× smaller.
MoridainDefense — Operator-Endpoint Alert Triage
300 candidate alerts × 12 raw signals enter a fusion mainframe. A 17-byte bounded packet leaves it (19 B with the optional 2-byte AO tag for per-role projection). Each operator endpoint applies a 32-byte static role/AO profile and renders its own ranked queue — strike pilot, ship CIC, SOF ground team, and vehicle TOC each see the slice that matters to their role and location. Severe-band (cons-5) threats surface in every role's top-K regardless of profile — verified at 1.000 across an 8-seed sweep × 4 roles, plus a 16/16 deterministic cons-5 injection test. Global recall@K = 0.83 vs 0.04 for the legacy rule stack. No model, no FP, 891 B of memory base / 945 B with projection on the device.
SolvFilter — Scalable Multi-Target EKF
SF-3 CONFIRMED: 140/140 Riccati survival vs 0/280 scipy at dim=140. 74× lower cost than UKF with superior NEES consistency at scale.
PrecisionEdge — Tactical Link Compression
100% compression survival on real OpenSky ADS-B tactical data (Aegis 8106–8115). Up to 89.8× on telemetry streams vs 14× for general compressors in the benchmark suite.
Wave 3 · Multi-node & multi-platform
Three capabilities across distributed systems
These need a small build (a HIL rig, a coalition test bed, a swarm sim cluster) but the underlying SolvNum primitives are already validated.
Coalition-Interoperable Autonomous Fire Control
US, UK, AUS combat systems on three different builds reach the same engagement hash and each satisfy their national per-tick excursion bound from a single artifact. The 'whose number do we trust' question becomes a SHA-256 compare.
Distributed Sensor Fusion Across a Ship Squadron
8-node squadron, 30 tracks. Float baseline needs 2 arbitration rounds. SolvNum: 0 — fleet picture is the set union of integer-tagged tracks, identical by construction.
Disconnected-Comms Autonomous Handoff
4-hour UUV mission. Compressed handoff fits in 832 bits (0.06% of a 5 kbps × 5-min acoustic window). Parent platform's continuation hashes identically to the UUV's self-recorded continuation.
Assured Sensing Stack
Synthetic end-to-end harness: recall@10 min 0.80, cross-cuing 1.0, hybrid BSE→ABFR→CFAR→MoridainDefense wiring PASS (job 8646). Field tapes still POC.
Assured Spectrum — Contested EW Deinterleaving
DEINT phase PASS on synthetic contested PDW: V-measure 1.0 vs CDIF 0.03. Deterministic rules — no emitter-count oracle, no ML retraining per AO.
Wave 4 · Flagship substrate
All four capabilities, end-to-end
The integrating story: one substrate, one hash, every domain. POC 12 is the program-of-record framing the others compose into.
JADC2 Reference Compute Substrate
5-node, 4-hardware-class JADC2 vignette. All four capabilities active simultaneously, end-to-end. One SHA-256 every node produces independently. One attestation page replaces dozens of per-system certifications.
Counter-UAV Kill Chain
Full counter-UAV kill chain from radar return to battle damage assessment — seven steps, each backed by validated SolvSRK ODE integration. 100% survival at every stage where scipy scores 0%. Total per-drone cycle under 1.1s. The math layer a counter-swarm stack needs, validated across 125,000+ defense runs.
Fire Team Distributed Radar Dome
Man-portable distributed radar mesh: 3–7 personnel each carry a 64-element X-band AESA node (2.34 kg, 7+ hr battery, 1-mile detection). Nodes self-form a mesh, fuse 50 tracks via covariance intersection, and render a stabilized per-operator display. libsolvsrk runs the full signal chain — 13-state INS + 50-track EKF — at 3.8% of one ARM core. Standard BDF integrators fail within 0.2 seconds under body-mounted vibration. No fixed infrastructure. No single point of failure.
Want the long version?
Read the four capabilities behind every POC.
The same four primitives — cross-platform determinism, per-step stability guarantee, scale-aware classification, compression — show up in every POC above. The reference page explains what each one does, where it’s validated, and which 4-way compounds matter.