Twelve 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.
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.
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.
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.