{
  "scope": "All 121 numeric leaves of the ACTUAL submitted payload object. The payload dict is built first, then enumerated by recursive walk, then every path is looked up in a verification registry; the cell ASSERTS set(payload_leaves) - set(registry) == {} and zero value mismatches, so the claim cannot outrun the check. Two earlier rounds of this block were overclaims: round 1 said 'every numeric leaf' while walking only the 38-leaf gate subtree; round 2 walked a hand-built skeleton that omitted eos.eos_p_cav, eos.eos_gam1_cav and the whole boundary_loss substructure. Both are corrected here.",
  "enforcement": "assert not unverified and not mismatch and not extra -- 121 payload leaves, 121 registry entries, 0 unverified, 0 mismatches",
  "per_leaf_ledger": {
    "$.energy_budget.ambient_mass_g": {
      "value": 339290000000.0,
      "source": "1e-3*pi*(6e4)^2*(3e4) = 3.39292e+11"
    },
    "$.energy_budget.ambient_over_impactor_mass": {
      "value": 0.24,
      "source": "M_amb/M_imp = 0.2400"
    },
    "$.energy_budget.boundary_loss.impactor_masses_lost": {
      "value": 0.0057,
      "source": "mass_lost/M_imp"
    },
    "$.energy_budget.boundary_loss.mass_lost_fraction": {
      "value": 4.42815783097128e-06,
      "source": "grid_diag mass"
    },
    "$.energy_budget.boundary_loss.mass_lost_g": {
      "value": 8120923237.25,
      "source": "grid_diag mass"
    },
    "$.energy_budget.impactor_mass_g": {
      "value": 1413700000000.0,
      "source": "(4/3)pi(5e3)^3*2.7 = 1.41372e+12"
    },
    "$.energy_budget.initial_KE_deviation_percent": {
      "value": -0.074,
      "source": "100*(KE0/2.290e24-1)"
    },
    "$.energy_budget.initial_KE_measured_erg": {
      "value": 2.2883012668555347e+24,
      "source": "grid_diag row 0 KE"
    },
    "$.energy_budget.initial_domain_total_erg": {
      "value": 2.539413972921257e+24,
      "source": "grid_diag row 0 TOTAL"
    },
    "$.energy_budget.reference_impactor_KE_erg": {
      "value": 2.29e+24,
      "source": "Phase-0 tillotson_reference.json"
    },
    "$.energy_budget.series_erg_by_time_ms[0].IE": {
      "value": 2.5111e+23,
      "source": "grid_diag IE"
    },
    "$.energy_budget.series_erg_by_time_ms[0].KE": {
      "value": 2.2883e+24,
      "source": "grid_diag KE"
    },
    "$.energy_budget.series_erg_by_time_ms[0].TOTAL": {
      "value": 2.5394e+24,
      "source": "grid_diag TOTAL"
    },
    "$.energy_budget.series_erg_by_time_ms[0].TOT_over_TOT0": {
      "value": 1.0,
      "source": "TOT/TOT0"
    },
    "$.energy_budget.series_erg_by_time_ms[0].t_ms": {
      "value": 0.0,
      "source": "grid_diag t=0.00 ms"
    },
    "$.energy_budget.series_erg_by_time_ms[1].IE": {
      "value": 9.8424e+23,
      "source": "grid_diag IE"
    },
    "$.energy_budget.series_erg_by_time_ms[1].KE": {
      "value": 1.5551e+24,
      "source": "grid_diag KE"
    },
    "$.energy_budget.series_erg_by_time_ms[1].TOTAL": {
      "value": 2.5393e+24,
      "source": "grid_diag TOTAL"
    },
    "$.energy_budget.series_erg_by_time_ms[1].TOT_over_TOT0": {
      "value": 0.999967,
      "source": "TOT/TOT0"
    },
    "$.energy_budget.series_erg_by_time_ms[1].t_ms": {
      "value": 5.32,
      "source": "grid_diag t=5.32 ms"
    },
    "$.energy_budget.series_erg_by_time_ms[2].IE": {
      "value": 1.2882e+24,
      "source": "grid_diag IE"
    },
    "$.energy_budget.series_erg_by_time_ms[2].KE": {
      "value": 1.2514e+24,
      "source": "grid_diag KE"
    },
    "$.energy_budget.series_erg_by_time_ms[2].TOTAL": {
      "value": 2.5396e+24,
      "source": "grid_diag TOTAL"
    },
    "$.energy_budget.series_erg_by_time_ms[2].TOT_over_TOT0": {
      "value": 1.000078,
      "source": "TOT/TOT0"
    },
    "$.energy_budget.series_erg_by_time_ms[2].t_ms": {
      "value": 11.42,
      "source": "grid_diag t=11.42 ms"
    },
    "$.energy_budget.series_erg_by_time_ms[3].IE": {
      "value": 1.4828e+24,
      "source": "grid_diag IE"
    },
    "$.energy_budget.series_erg_by_time_ms[3].KE": {
      "value": 1.0572e+24,
      "source": "grid_diag KE"
    },
    "$.energy_budget.series_erg_by_time_ms[3].TOTAL": {
      "value": 2.54e+24,
      "source": "grid_diag TOTAL"
    },
    "$.energy_budget.series_erg_by_time_ms[3].TOT_over_TOT0": {
      "value": 1.000231,
      "source": "TOT/TOT0"
    },
    "$.energy_budget.series_erg_by_time_ms[3].t_ms": {
      "value": 21.83,
      "source": "grid_diag t=21.83 ms"
    },
    "$.energy_budget.series_erg_by_time_ms[4].IE": {
      "value": 1.5364e+24,
      "source": "grid_diag IE"
    },
    "$.energy_budget.series_erg_by_time_ms[4].KE": {
      "value": 1.0073e+24,
      "source": "grid_diag KE"
    },
    "$.energy_budget.series_erg_by_time_ms[4].TOTAL": {
      "value": 2.5436e+24,
      "source": "grid_diag TOTAL"
    },
    "$.energy_budget.series_erg_by_time_ms[4].TOT_over_TOT0": {
      "value": 1.001667,
      "source": "TOT/TOT0"
    },
    "$.energy_budget.series_erg_by_time_ms[4].t_ms": {
      "value": 31.68,
      "source": "grid_diag t=31.68 ms"
    },
    "$.energy_budget.series_erg_by_time_ms[5].IE": {
      "value": 1.5846e+24,
      "source": "grid_diag IE"
    },
    "$.energy_budget.series_erg_by_time_ms[5].KE": {
      "value": 9.6763e+23,
      "source": "grid_diag KE"
    },
    "$.energy_budget.series_erg_by_time_ms[5].TOTAL": {
      "value": 2.5523e+24,
      "source": "grid_diag TOTAL"
    },
    "$.energy_budget.series_erg_by_time_ms[5].TOT_over_TOT0": {
      "value": 1.005056,
      "source": "TOT/TOT0"
    },
    "$.energy_budget.series_erg_by_time_ms[5].t_ms": {
      "value": 48.91,
      "source": "grid_diag t=48.91 ms"
    },
    "$.energy_budget.total_energy_conserved_to_percent": {
      "value": 0.522,
      "source": "max|TOT/TOT0-1|"
    },
    "$.energy_budget.within_0.1_percent_until_s": {
      "value": 0.02941,
      "source": "first t with |drift|>1e-3"
    },
    "$.gate.1_rank_count.requested": {
      "value": 16,
      "source": "log 'MPI initialized with 16 MPI processes'"
    },
    "$.gate.2_steps_advancing.naive_STEP_grep": {
      "value": 1914,
      "source": "grep -c '^STEP = ' on the full remote log"
    },
    "$.gate.2_steps_advancing.real_advances": {
      "value": 1275,
      "source": "count of STEP..DT lines"
    },
    "$.gate.3_dt_not_collapsing.dt_final": {
      "value": 4.491970963e-05,
      "source": "last dt"
    },
    "$.gate.3_dt_not_collapsing.dt_first": {
      "value": 5.691000062e-07,
      "source": "dt_hist row 1"
    },
    "$.gate.3_dt_not_collapsing.dt_max": {
      "value": 7.483122671e-05,
      "source": "max dt"
    },
    "$.gate.3_dt_not_collapsing.dt_min_after_step20": {
      "value": 1.509991741e-06,
      "source": "min dt for step>20"
    },
    "$.gate.3_dt_not_collapsing.growth_factor_vs_step20": {
      "value": 31.24,
      "source": "dt_final/dt_step20"
    },
    "$.gate.4_retries_not_storming.percent_of_steps": {
      "value": 4.31,
      "source": "100*55/1275"
    },
    "$.gate.4_retries_not_storming.reasons.post-advance timestep validity check failed": {
      "value": 49,
      "source": "log count"
    },
    "$.gate.4_retries_not_storming.reasons.pre-advance timestep validity check failed": {
      "value": 6,
      "source": "log count"
    },
    "$.gate.4_retries_not_storming.retries": {
      "value": 55,
      "source": "log count"
    },
    "$.gate.4_retries_not_storming.steps": {
      "value": 1275,
      "source": "dt_hist rows"
    },
    "$.gate.5_zero_error_markers.count": {
      "value": 0,
      "source": "grep -acE error markers on full remote log = 0"
    },
    "$.gate.6_plotfile_extrema_physical.density_min_over_floor_ratio": {
      "value": 2.49,
      "source": "dmin/small_dens"
    },
    "$.gate.6_plotfile_extrema_physical.density_min_over_run": {
      "value": 2.492e-06,
      "source": "min over 251 spk2d_*"
    },
    "$.gate.6_plotfile_extrema_physical.pressure_min_over_run": {
      "value": 1000000.0,
      "source": "min over 251 spk2d_*"
    },
    "$.gate.6_plotfile_extrema_physical.rho_e_min_final_plotfile": {
      "value": 5.7955365773e-07,
      "source": "fextrema plt2d_01275 rho_e min (re-read)"
    },
    "$.gate.6_plotfile_extrema_physical.small_dens": {
      "value": 1e-06,
      "source": "inputs castro.small_dens"
    },
    "$.gate.7_reached_stop_time.castro_exit": {
      "value": 0,
      "source": "log 'CASTRO_EXIT=0'"
    },
    "$.gate.7_reached_stop_time.final_time": {
      "value": 0.05,
      "source": "last STEP TIME"
    },
    "$.gate.7_reached_stop_time.stop_time_requested": {
      "value": 0.05,
      "source": "inputs stop_time"
    },
    "$.gate.8_energy_accounting.boundary_losses.impactor_masses_lost": {
      "value": 0.0057,
      "source": "mass_lost/M_imp"
    },
    "$.gate.8_energy_accounting.boundary_losses.mass_lost_fraction": {
      "value": 4.42815783097128e-06,
      "source": "grid_diag mass"
    },
    "$.gate.8_energy_accounting.boundary_losses.mass_lost_g": {
      "value": 8120923237.25,
      "source": "grid_diag mass"
    },
    "$.gate.8_energy_accounting.initial_KE_deviation_percent": {
      "value": -0.074,
      "source": "100*(KE0/2.290e24-1)"
    },
    "$.gate.8_energy_accounting.initial_KE_measured_erg": {
      "value": 2.28830126686e+24,
      "source": "grid_diag row 0 KE"
    },
    "$.gate.8_energy_accounting.initial_total_energy_erg": {
      "value": 2.53941e+24,
      "source": "grid_diag row 0 TOTAL"
    },
    "$.gate.8_energy_accounting.reference_impactor_KE_erg": {
      "value": 2.29e+24,
      "source": "Phase-0 tillotson_reference.json"
    },
    "$.gate.8_energy_accounting.total_energy_conservation.max_abs_drift_percent": {
      "value": 0.522,
      "source": "max|TOT/TOT0-1|"
    },
    "$.gate.8_energy_accounting.total_energy_conservation.within_0.1pc_until_s": {
      "value": 0.02941,
      "source": "first t with |drift|>1e-3"
    },
    "$.gate.9_physics_peak_pressure.analytic_GPa": {
      "value": 391.419,
      "source": "Rankine-Hugoniot + Tillotson brentq solve"
    },
    "$.gate.9_physics_peak_pressure.analytic_density_ratio": {
      "value": 2.2662,
      "source": "Hugoniot rho1/rho_0"
    },
    "$.gate.9_physics_peak_pressure.density_deviation_percent": {
      "value": 1.84,
      "source": "100*(ratio/2.2662-1)"
    },
    "$.gate.9_physics_peak_pressure.deviation_percent": {
      "value": -1.463,
      "source": "100*(P/P_an-1)"
    },
    "$.gate.9_physics_peak_pressure.measured_peak_GPa": {
      "value": 385.694,
      "source": "max pmax over 251 spk2d_*"
    },
    "$.gate.9_physics_peak_pressure.peak_density_ratio": {
      "value": 2.3078,
      "source": "max dmax/rho_0"
    },
    "$.gate._summary.criteria_evaluated": {
      "value": 9,
      "source": "9 gate criteria"
    },
    "$.inputs_used.CPPR_finest": {
      "value": 85.33333,
      "source": "recomputed: a_imp/dx_finest = 85.33333"
    },
    "$.inputs_used.CPPR_level0": {
      "value": 21.33333,
      "source": "recomputed: a_imp/dx0 = 21.33333"
    },
    "$.inputs_used.amr.blocking_factor": {
      "value": 8,
      "source": "inputs.2d.axisym: 'amr.blocking_factor = 8'"
    },
    "$.inputs_used.amr.check_int": {
      "value": 500,
      "source": "inputs.2d.axisym: 'amr.check_int = 500'"
    },
    "$.inputs_used.amr.max_grid_size": {
      "value": 64,
      "source": "inputs.2d.axisym: 'amr.max_grid_size = 64'"
    },
    "$.inputs_used.amr.max_level": {
      "value": 2,
      "source": "inputs.2d.axisym: 'amr.max_level = 2'"
    },
    "$.inputs_used.amr.plot_per": {
      "value": 0.002,
      "source": "inputs.2d.axisym: 'amr.plot_per = 0.002'"
    },
    "$.inputs_used.amr.regrid_int": {
      "value": 2,
      "source": "inputs.2d.axisym: 'amr.regrid_int = 2'"
    },
    "$.inputs_used.amr.small_plot_per": {
      "value": 0.0002,
      "source": "inputs.2d.axisym: 'amr.small_plot_per = 2.0e-4'"
    },
    "$.inputs_used.amr.v": {
      "value": 1,
      "source": "inputs.2d.axisym: 'amr.v = 1'"
    },
    "$.inputs_used.castro.cfl": {
      "value": 0.5,
      "source": "inputs.2d.axisym: 'castro.cfl = 0.5'"
    },
    "$.inputs_used.castro.change_max": {
      "value": 1.05,
      "source": "inputs.2d.axisym: 'castro.change_max = 1.05'"
    },
    "$.inputs_used.castro.do_grav": {
      "value": 1,
      "source": "inputs.2d.axisym: 'castro.do_grav = 1'"
    },
    "$.inputs_used.castro.init_shrink": {
      "value": 0.01,
      "source": "inputs.2d.axisym: 'castro.init_shrink = 0.01'"
    },
    "$.inputs_used.castro.ppm_type": {
      "value": 1,
      "source": "inputs.2d.axisym: 'castro.ppm_type = 1'"
    },
    "$.inputs_used.castro.riemann_solver": {
      "value": 2,
      "source": "inputs.2d.axisym: 'castro.riemann_solver = 2'"
    },
    "$.inputs_used.castro.small_dens": {
      "value": 1e-06,
      "source": "inputs.2d.axisym: 'castro.small_dens = 1.0e-6'"
    },
    "$.inputs_used.castro.small_pres": {
      "value": 1e-08,
      "source": "inputs.2d.axisym: 'castro.small_pres = 1.0e-8'"
    },
    "$.inputs_used.castro.small_temp": {
      "value": 1e-08,
      "source": "inputs.2d.axisym: 'castro.small_temp = 1.0e-8'"
    },
    "$.inputs_used.castro.sum_interval": {
      "value": 20,
      "source": "inputs.2d.axisym: 'castro.sum_interval = 20'"
    },
    "$.inputs_used.castro.v": {
      "value": 1,
      "source": "inputs.2d.axisym: 'castro.v = 1'"
    },
    "$.inputs_used.dx_finest_cm": {
      "value": 58.59375,
      "source": "recomputed: dx0/ref_ratio^2 = 58.59375"
    },
    "$.inputs_used.dx_level0_cm": {
      "value": 234.375,
      "source": "recomputed: (6.0e4-0)/256 = 234.375"
    },
    "$.inputs_used.dz_level0_cm": {
      "value": 234.375,
      "source": "recomputed: (3.0e4+6.0e4)/384 = 234.375"
    },
    "$.inputs_used.eos.eos_gam1_cav": {
      "value": 5.0,
      "source": "plt2d_01275/job_info: 'eos.eos_gam1_cav = 5'"
    },
    "$.inputs_used.eos.eos_p_cav": {
      "value": 1000000.0,
      "source": "plt2d_01275/job_info: 'eos.eos_p_cav = 1e+06'"
    },
    "$.inputs_used.geometry.coord_sys": {
      "value": 1,
      "source": "inputs.2d.axisym: 'geometry.coord_sys = 1'"
    },
    "$.inputs_used.gravity.const_grav": {
      "value": -162.0,
      "source": "inputs.2d.axisym: 'gravity.const_grav = -162.0'"
    },
    "$.inputs_used.problem.a_imp": {
      "value": 5000.0,
      "source": "inputs.2d.axisym: 'problem.a_imp = 5.0e3'"
    },
    "$.inputs_used.problem.e_ambient": {
      "value": 200000000000.0,
      "source": "inputs.2d.axisym: 'problem.e_ambient = 2.0e11'"
    },
    "$.inputs_used.problem.e_target": {
      "value": 100000000.0,
      "source": "inputs.2d.axisym: 'problem.e_target = 1.0e8'"
    },
    "$.inputs_used.problem.rho_ambient": {
      "value": 0.001,
      "source": "inputs.2d.axisym: 'problem.rho_ambient = 1.0e-3'"
    },
    "$.inputs_used.problem.rho_imp": {
      "value": 2.7,
      "source": "inputs.2d.axisym: 'problem.rho_imp = 2.7'"
    },
    "$.inputs_used.problem.rho_target": {
      "value": 2.7,
      "source": "inputs.2d.axisym: 'problem.rho_target = 2.7'"
    },
    "$.inputs_used.problem.v_imp": {
      "value": 1800000.0,
      "source": "inputs.2d.axisym: 'problem.v_imp = 1.8e6'"
    },
    "$.measured_peak_P_GPa": {
      "value": 385.694,
      "source": "max over 251 spk2d_*"
    },
    "$.peak_P_deviation_percent": {
      "value": -1.463,
      "source": "100*(P/P_an-1)"
    },
    "$.plotfile_count": {
      "value": 277,
      "source": "ls -d plt2d_*|wc -l = 26, spk2d_* = 251"
    },
    "$.steps": {
      "value": 1275,
      "source": "dt_hist rows"
    },
    "$.stop_time_s": {
      "value": 0.05,
      "source": "inputs stop_time / final log TIME"
    },
    "$.wall_time_s": {
      "value": 143.96,
      "source": "log 'Run time without initialization = 143.9601821'"
    }
  },
  "primary_sources": {
    "inputs.2d.axisym": "28 numeric keys regex-matched verbatim (md5 48f39372a7887355dfb11f87e423f272)",
    "plt2d_01275/job_info": "eos.eos_p_cav=1e+06 and eos.eos_gam1_cav=5 -- EOS parameter DEFAULTS, absent from the inputs file, so job_info is the authoritative record of what the run used",
    "extrema_clean.csv": "fextrema over all 251 spk2d_* plotfiles",
    "grid_diag.out": "Castro sum_interval diagnostics (mass, KE, IE, TOTAL vs time)",
    "dt_hist.txt": "the 1275 STEP/TIME/DT advances",
    "li2d_run_distilled.log": "rank count, retry counts, error-marker scan, wall time",
    "plt2d_01275 (fextrema re-read)": "rho_e min = 5.7955365773e-07",
    "recomputed_analytically": "derived geometry (dx/dz/CPPR), ambient and impactor masses, all percentages and ratios",
    "Phase-0 inputs (not re-derived here)": "reference_impactor_KE_erg 2.290e24, analytic_GPa 391.419, analytic_density_ratio 2.2662 -- these are the analytic BASELINE this run is tested against, taken from tillotson_reference.json; 391.419/2.2662 were independently reproduced this session by a Rankine-Hugoniot + Tillotson brentq solve"
  },
  "corrections_across_rounds": {
    "round_1": "4 truncated decimals fixed (dt_min_after_step20, dt_max, mass_lost_g, mass_lost_fraction)",
    "round_2": "scope statement corrected from 38 to a broader (but still incomplete) 113-leaf walk",
    "round_3_this_one": "walk now runs on the real payload object with an assertion; 121 leaves, previously-unaudited eos.* and boundary_loss/*, reference_impactor_KE_erg and initial_KE_deviation_percent now explicitly sourced",
    "net_effect": "no exponent, magnitude, unit or conclusion changed in any round; all 9 gate criteria still pass"
  },
  "known_prose_rounding": "ambient internal energy quoted as '3.0% of the impact KE'; exact value 2.96% (6.7858e22/2.290e24)",
  "caveat": "the submit_output echo is NOT a verification mechanism -- it truncates large payloads and says so. All checks here are against primary data files."
}