$ phaseprobe perturb --example scipy-lorenz
FINITE-TIME TRAJECTORY DIVERGENCE FOUND

Model: lorenz-scipy
Evidence: finite-time-divergence
Search dimension: x
Stable bracket: 3.25e-06 .. 3.390625e-06
Smallest reproducible change found: 3.390625e-06
Baseline regime: bounded-finite-window
Changed regime: bounded-finite-window
Invariant violations: 0
Repeatable: true
Replay: <repository>/.cache/phaseprobe-scipy-demo-4sai_vv1/runs/lorenz/20260831T174342Z-7fcc5f8d/replay.json

Scope: Smallest reproducible perturbation found within the declared finite search; not a proof of global minimality.
HTML report: <repository>/.cache/phaseprobe-scipy-demo-4sai_vv1/runs/lorenz/20260831T174342Z-7fcc5f8d/report.html

$ phaseprobe check --example scipy-predator-prey
CHECK POLICY PASSED

Model: predator-prey-scipy
Baseline regime: positive-oscillation
Changed regime: n/a
Invariant violations: 0
Repeatable: true
Replay: <repository>/.cache/phaseprobe-scipy-demo-4sai_vv1/runs/predator-prey/20260831T174343Z-38b5e8de/replay.json
HTML report: <repository>/.cache/phaseprobe-scipy-demo-4sai_vv1/runs/predator-prey/20260831T174343Z-38b5e8de/report.html

$ phaseprobe replay .phaseprobe/runs/<run-id>/replay.json
REPLAY VERIFIED

Model: predator-prey-scipy
Comparison mode: tolerance
baseline: declared tolerances=True

$ phaseprobe generate-test .phaseprobe/runs/<run-id>/replay.json
PYTEST REGRESSION GENERATED

Test: <repository>/.cache/phaseprobe-scipy-demo-4sai_vv1/generated/test_predator_prey_scipy_transition.py
Replay fixture: <repository>/.cache/phaseprobe-scipy-demo-4sai_vv1/generated/fixtures/predator_prey_scipy-replay.json

$ python -m pytest -q tests/generated
.                                                                        [100%]
1 passed in 1.08s

Measured demo run: lorenz=6.285s, predator-prey=1.409s, replay=1.336s, generate=1.340s, pytest=1.814s.
