Medical capabilities
Five capabilities. Every dead zone documented.
Noise-immune solvers, deterministic arithmetic, and audit-grade evidence across physiological simulation, bioprocess, spectral analysis, and regulatory traceability.
Noise-robust integration for cardiac and neural tissue models
Standard implicit solvers depend on converged Jacobian estimates. When the right-hand side includes stochastic terms — channel noise in cardiac tissue, synaptic noise in neural networks — the Jacobian becomes noisy and convergence fails. SolvSRK uses a proprietary noise-conditioning architecture that tolerates stochastic function evaluations natively. In dedicated medtech validation (450 runs), SolvSRK achieved 100% survival on all five medtech problems — cardiovascular Windkessel-3, 100-neuron FHN network, 11-compartment PBPK, bioreactor, and single FHN neuron — while BDF and Radau achieved 0% across all problems at sigma=0.001. CONFIRMED with Grade A evidence.
SolvSRK
Same solver on the bioreactor controller and the cloud twin
Bioreactor digital twins fail for the same reason factory twins fail: the on-device model and the cloud model run different solvers on different hardware. A metabolite divergence alert could mean a real process deviation or a numerical artifact. SolvSRK runs the same native binary on both sides, so divergence means a real change in the culture. In dedicated medtech validation, the bioreactor metabolic ODE (S1, dim=4) achieved 100% SolvSRK survival across 30 seeds (median 20ms, 974 nfev) while BDF crashed in <200ms and Radau timed out at 10s. CONFIRMED with Grade A evidence.
SolvSRKSolvNum
Bit-identical arithmetic across hospital hardware for FDA/IEC 62304 traceability
A clinical AI model that produces different last digits on the CT workstation vs the cloud inference server vs the edge gateway is a regulatory risk under FDA guidance and IEC 62304. SolvNum produces bit-identical arithmetic across x86, ARM, GPU, and WebAssembly. One SHA-256 receipt proves every deployment agrees. This is a computational infrastructure capability — it does not constitute FDA clearance, CE marking, or any regulatory approval.
SolvNum
Pick the right solver for your computational biology model — with evidence
Every simulation package ships with a default solver, and most researchers never change it. When a physiological model fails to converge or produces suspicious results, the first question is whether the solver was appropriate for the system's stiffness profile. SolvScout fingerprints the ODE system. SolvTune benchmarks every candidate solver on it — dead zones included, not hidden. SolvBench archives the decision for regulatory or peer review.
SolvScout & SolvTuneSolvBench
CMS/X12-aligned bounded-signal enrichment for clinical claims
MoridainHIPAA is an in-path bounded-signal enrichment layer for CMS-aligned health claims (X12 837). It applies deterministic fraud and anomaly signals to each claim in transit — with signed provenance on every enrichment decision. The enrichment is bounded: every signal has a documented upper bound on false-positive rate, and every decision is attestable. This is claims-processing infrastructure, not a clinical decision tool.
Moridain
