Journey 11 — Golden proof

solvjump run examples/brusselator_study_golden.yaml
 
# Python:
# session.golden(finalist_index=0)

Explore, then prove one finalist with full-horizon SolvSRK

-- Act 1 - The situation --
  -> You cannot ship a config based on jump alone. YAML golden.enabled: true runs a multi-seed SolvSRK proof after the sweep. The Python Session.golden() API does the same on a chosen point.

-- Act 2 - Exploration + YAML golden --
  -> Study file: brusselator_study_golden.yaml
  _section: Study definition
  model: <product-root>\python\examples\brusselator_model.py:make_rhs
  dynamics_params: a in [0.8, 1.2], b in [2.5, 3.5]
  y0: [1.0, 3.0]
  t_span: [0.0, 10.0]
  mode: auto
  calibration_seeds: 8
  _section: Operator routing, calibration & sweep (3 steps)
  model: <product-root>\python\examples\brusselator_model.py:make_rhs
  dim: 2
  stiffness_nom: S1
  horizon: [0.0, 10.0]
  problem_set_operators: 256
  -> kepler | dim=2 | stiffness=S0 | dynamics=conservative
  log: Jump recommendation: confidence=exact, cache_ref=<operator_id>, mode=auto
  seeds: 8
  reason: no exact cache match for this model
  -> Collecting trajectory training pairs: jump lag=0.25s, SolvTune arm=solvsrk, objective=balanced, target chain=4
  log: SRK collection done - 24 train pairs from 3 trajectories (0 failed, need >=8 train)
  log: Fitted nominal+guard kernels - train median SCD=2.41, holdout median SCD=2.20 (n=8/8)
  log: Rollout validation - SCD by chain depth [1:2.20, 4:1.36], max_valid_chain=4 (single_step_only)
  log: Accuracy gate passed (operator <operator_id>)
  method: grid
  grid_points: 9
  steps: 4
  dt: 0.25
  compare_brute_srk: True
  finalists: 0
  -> Sweep finished - example params {'a': 1.0, 'b': 3.0}, final state ~ [1.0753, 2.8878]
  log: SRK timing sample: 2 point(s) integrated for comparison
  log: Horizon aligned: 4 jumps x 0.25 s = 1.0 s (jump_lag matches dt)
  seeds: 3
  params: {'a': 1.0, 'b': 3.0}
  t_span: [0.0, 10.0]
  srk_sample_n: 9
  full_grid_truth: True
  min_spearman: 0.85
  -> Full-grid SRK truth: 9/9 rankable in 0.2 s
  _section: SRK ground truth (authoritative top-N)
  grid_points: 9
  srk_ranked: 9
  export: finalists_ground_truth_top9.csv
  srk_best_jump_rank: 1
  -> SRK top-10 in jump top-500: 9/9 (100% recall)
  log: SRK top-50 in jump top-500: 9/9 (100% recall)
  log: SRK top-100 in jump top-500: 9/9 (100% recall)
  _section: Rank verification (jump vs full SRK)
  verified_rows: 9/9 jump-ranked rows
  spearman_rho: 0.983 (gate >= 0.85)
  srk_verify_time: 0.2 s
  best_srk_jump_rank: #1 (regret 0)
  verdict: PASS — safe to cite finalist ranking
  -> top-10 overlap: skipped (sample size 9 < top_n 10)
  log: top-50 overlap: skipped (sample size 9 < top_n 50)
  log: top-100 overlap: skipped (sample size 9 < top_n 100)
  log: steady_ok agreement (jump vs SRK): 100%
  log: Report: <session-dir>\rank_verification_report.json
  log: SRK shortlist (verified ranking for HPC handoff): <session-dir>\srk_shortlist.csv
  log: SRK ground truth (authoritative): <session-dir>\finalists_ground_truth_top9.csv
  log: Authoritative deliverable: finalists_ground_truth_top9.csv (SRK ground truth — use this for HPC handoff)

-- Act 3 - Python golden on a mid-grid point --
  -> session.golden(params={'a': 1.0, 'b': 3.0}, seeds=3) over t=(0.0, 10.0). YAML already requested golden on a=1,b=3; this second call shows the API.
  passed: True
  median_scd: 3.00 digits
  survival_rate: 100%
  receipt: <session-dir>\golden_run_gol_e36461a79b614313.json
  decision: APPROVED for handoff to SolvSRK-Edge

-- Act 4 - Package for review --
  -> Attach calibration, sweep, and golden receipts from <session-dir>.
  _section: Why run SolvJump here?
  log: Explore the design space fast with jump; reserve full SolvSRK for sign-off only.
  log: Run multi-seed golden proof on one finalist — not on the whole grid.
  log: Package calibration + sweep + golden receipts for flight or analytical review.
  log: Golden proof passed — hand off the finalist config with integration evidence.

-- Run complete --
  session_id: <session_id>
  results_folder: <session-dir>
  points_completed: 9 ok, 0 skipped (of 9)
  fast_sweep: 0.9 ms
  timing_sample: 33.3 ms (2 full-SolvSRK spot checks)
  vs_full_SolvSRK_on_every_study_point: ~150 ms for all 9 points in this study (from 2 spot checks — not a larger search)
  speedup: ~159.9× vs full SolvSRK on every grid point
  receipt_calibration: <session-dir>\calibration_receipt.json
  receipt_sweep: <session-dir>\sweep_receipt.json
  receipt_golden: <session-dir>\golden_run_gol_b5165065d36146aa.json
  receipt_rank_verification: <session-dir>\rank_verification_report.json
  receipt_srk_shortlist: <session-dir>\srk_shortlist.csv
  receipt_finalists: <session-dir>\finalists_ground_truth_top9.csv
  -- Operator setup --
  accuracy_check: acceptable quality
  operator_id: <operator_id>
  fit_time: 697 ms (one-time before the sweep)
  -- Sweep results --
  completed: 9 parameter sets
  skipped: 0
  -- How long did this take? --
  search_method: fast jump sweep
  grid_size: 9
  operator_fit: 697 ms
  fast_sweep: 1 ms
  this_run_total: 698 ms
  vs_full_SolvSRK_on_every_study_point: ~150 ms for all 9 points in this study (extrapolated from 2 spot checks — not a larger search)
  speedup_vs_full_grid: ~159.9× (jump sweep vs brute estimate)
  -- Act 3 - Python golden on a mid-grid point --
  passed: True
  median_scd: 3.00 digits
  survival_rate: 100%
  receipt: <session-dir>\golden_run_gol_e36461a79b614313.json
  decision: APPROVED for handoff to SolvSRK-Edge
  -- Act 4 - Package for review --
  -- Why run SolvJump here? --
  -- Run complete --
  session_id: <session_id>
  results_folder: <session-dir>
  points_completed: 9 ok, 0 skipped (of 9)
  fast_sweep: 0.9 ms
  timing_sample: 33.3 ms (2 full-SolvSRK spot checks)
  vs_full_SolvSRK_on_every_study_point: ~150 ms for all 9 points in this study (from 2 spot checks — not a larger search)
  speedup: ~159.9× vs full SolvSRK on every grid point
  receipt_calibration: <session-dir>\calibration_receipt.json
  receipt_sweep: <session-dir>\sweep_receipt.json
  receipt_golden: <session-dir>\golden_run_gol_e36461a79b614313.json
  receipt_rank_verification: <session-dir>\rank_verification_report.json
  receipt_srk_shortlist: <session-dir>\srk_shortlist.csv
  receipt_finalists: <session-dir>\finalists_ground_truth_top9.csv

cd python
# Guided tour — narrated scenario walkthrough (recommended first run):
python examples/journeys/11_golden_proof.py
 
# Production one-liner — same API call you ship:
solvjump run examples/brusselator_study_golden.yaml