SolvSRK-UQ: Examples

SolvSRK-UQ is a license entitlement on the same solvsrk wheel — enable emit_uq=True to get terminal y(T) ± σ(T) in one integration pass instead of Monte Carlo. Use it for certification evidence, real-time go/no-go, or trial evaluation.

See Overview for noise_sigma guidance, trial vs purchase, and what UQ is not.

Runnable guided tours live in the SolvSRK examples bundle. This page maps which journeys apply to UQ evaluation — follow the links below rather than duplicating content here.

Release note: SolvSRK is a production (GA) release. Examples below match the shipped wheel and C library. Activate a trial or commercial license before running — see Install and Licensing.

SolvSRK journey suite

Run journeys 01→06 in order on the solvsrk wheel. Each link opens the full walkthrough (APIs, code patterns, act-by-act narration, verified console output).

#	Journey	Relevance to UQ
01	First contact	Install, license, smallest solve — same on HIL bench and target
02	Core path	Nonlinear Rössler integration with tuned knobs
03	Stiff chemistry	Robertson kinetics, Jacobian, conservation wrappers
04	Configuration	SolvScout `recommend_product` → `run_profile` — tuned baseline before UQ runs
05	Diagnostics	Primary UQ walkthrough — `emit_uq`, `uq_sigma`, handoff trace
06	Limits	RK45 comparison, linear routing, honest refusals

Open the full SolvSRK examples index →

UQ-specific focus

Start with journey 05 Diagnostics — it walks license_has_uq(), emit_uq=True, noise_sigma, terminal uq_sigma bands, and uq_ek_handoff_trace().

Trials include UQ automatically. After you subscribe to base SolvSRK, purchase the UQ add-on and re-download your .lic — see Licensing.

API reference: Integration.

Run locally

cd python
python examples/run_examples.py --list
python examples/journeys/01_first_contact.py

Set SOLVSRK_QUIET=1 only when you want silent CLI runs (no narration).

Install Integration