{
  "attempts": 8,
  "completed": 8,
  "audits": {
    "control_l240": {
      "geometry": 1.176836406102666e-14,
      "curved_area": 4.440892098500626e-16,
      "pressure": 1.1293176363633343e-14,
      "node_energy": 8.769072258989958e-15,
      "V": 2.859641543594639e-16,
      "S": 0.0,
      "node_flux": 6.391786819313902e-18,
      "regionV": 1.6308456831642095e-17,
      "regionS": 1.9215444485918834e-18,
      "flux_law": 1.454368589663866e-12,
      "global_energy": 4.13414192096113e-14,
      "half_drain": 6.0906758163405655e-19,
      "global_budget": -0.0001638170095002188,
      "positive_theta": true,
      "regional_power": 1.9091098748578397e-14,
      "pressure_only": 0.001546902542714266,
      "pair_exchange": 8.829529700166335e-19,
      "minimum_convex_loss": 1.6092320403835634e-06,
      "maximum_shape_work": 4.318926734948683e-17,
      "complete_history_work_scale_J": 2.7919837324622416e-14,
      "prefix_formulas_passed": true,
      "passed": true,
      "completed_horizon": true,
      "audited_saved_steps": [
        1,
        10,
        20,
        30,
        40,
        50,
        60,
        70,
        80,
        90,
        100,
        110,
        120,
        130,
        140,
        150,
        160,
        170,
        180,
        190,
        200
      ],
      "all_accepted_steps_audited": false
    },
    "control_uniform": {
      "geometry": 1.2989609388114332e-14,
      "curved_area": 5.551115123125783e-16,
      "pressure": 8.675350629377485e-15,
      "node_energy": 2.740159789468589e-15,
      "V": 1.4298550338427112e-16,
      "S": 0.0,
      "node_flux": 3.220315597460696e-18,
      "regionV": 1.568922050226278e-17,
      "regionS": 7.578528500226601e-19,
      "flux_law": 1.6690968734608999e-12,
      "global_energy": 3.11888106118376e-14,
      "half_drain": 9.463680675327395e-19,
      "global_budget": -0.00016002328784978993,
      "positive_theta": true,
      "regional_power": 2.1572183352777973e-14,
      "pressure_only": 0.0023047510810236807,
      "pair_exchange": 1.7969706451844457e-18,
      "minimum_convex_loss": 1.1063525365020943e-06,
      "maximum_shape_work": 6.323586966196882e-17,
      "complete_history_work_scale_J": 2.743717973826588e-14,
      "prefix_formulas_passed": true,
      "passed": true,
      "completed_horizon": true,
      "audited_saved_steps": [
        1,
        10,
        20,
        30,
        40,
        50,
        60,
        70,
        80,
        90,
        100,
        110,
        120,
        130,
        140,
        150,
        160,
        170,
        180,
        190,
        200
      ],
      "all_accepted_steps_audited": false
    },
    "guard_f200": {
      "geometry": 7.882583474838611e-15,
      "curved_area": 4.440892098500626e-16,
      "pressure": 8.380359847845046e-15,
      "node_energy": 5.187644929650001e-15,
      "V": 0.0,
      "S": 0.0,
      "node_flux": 5.04245819534069e-18,
      "regionV": 3.1769075411001953e-18,
      "regionS": 9.753049158802126e-19,
      "flux_law": 3.3690644423811577e-13,
      "global_energy": 1.6399267765167658e-14,
      "half_drain": 0.0,
      "global_budget": -0.00016004195695028877,
      "positive_theta": true,
      "regional_power": 7.418272211160396e-14,
      "pressure_only": 0.023805514315334543,
      "pair_exchange": 0.0,
      "minimum_convex_loss": 0.001304915054048849,
      "maximum_shape_work": 6.378549325523063e-17,
      "complete_history_work_scale_J": 2.679441931415923e-15,
      "prefix_formulas_passed": true,
      "passed": true,
      "completed_horizon": true,
      "audited_saved_steps": [
        1
      ],
      "all_accepted_steps_audited": true
    },
    "guard_f160": {
      "geometry": 1.021405182655144e-14,
      "curved_area": 4.440892098500626e-16,
      "pressure": 6.518056685861835e-15,
      "node_energy": 3.7647751830234235e-15,
      "V": 0.0,
      "S": 0.0,
      "node_flux": 4.51745985373222e-18,
      "regionV": 3.743546649742003e-18,
      "regionS": 5.813075996393716e-20,
      "flux_law": 7.13664113526648e-13,
      "global_energy": 7.483072599858296e-15,
      "half_drain": 5.437267920981486e-20,
      "global_budget": -0.00015990663805206924,
      "positive_theta": true,
      "regional_power": 9.065545210504082e-15,
      "pressure_only": 0.02327459839218279,
      "pair_exchange": 0.0,
      "minimum_convex_loss": 0.0012570406004632224,
      "maximum_shape_work": 6.253104228018259e-17,
      "complete_history_work_scale_J": 2.686664716036912e-15,
      "prefix_formulas_passed": true,
      "passed": true,
      "completed_horizon": true,
      "audited_saved_steps": [
        1
      ],
      "all_accepted_steps_audited": true
    },
    "f200_dt1": {
      "geometry": 1.3433698597964394e-14,
      "curved_area": 6.661338147750939e-16,
      "pressure": 1.1729268902114456e-14,
      "node_energy": 8.778760007183037e-15,
      "V": 2.8599150084277803e-16,
      "S": 0.0,
      "node_flux": 6.0637361221487615e-18,
      "regionV": 2.2914754805380665e-17,
      "regionS": 9.753049158802126e-19,
      "flux_law": 1.8327516164345496e-12,
      "global_energy": 3.012474187297102e-14,
      "half_drain": 1.3327625448694896e-18,
      "global_budget": -0.00016004195695028877,
      "positive_theta": true,
      "regional_power": 1.698969435876972e-14,
      "pressure_only": 0.0023254533302598727,
      "pair_exchange": 8.98744333121677e-19,
      "minimum_convex_loss": 1.1785252585617617e-06,
      "maximum_shape_work": 6.378549325523063e-17,
      "complete_history_work_scale_J": 2.7429272574694618e-14,
      "prefix_formulas_passed": true,
      "passed": true,
      "completed_horizon": true,
      "audited_saved_steps": [
        1,
        10,
        20,
        30,
        40,
        50,
        60,
        70,
        80,
        90,
        100,
        110,
        120,
        130,
        140,
        150,
        160,
        170,
        180,
        190,
        200
      ],
      "all_accepted_steps_audited": false
    },
    "f160_dt1": {
      "geometry": 1.3100631690576847e-14,
      "curved_area": 5.551115123125783e-16,
      "pressure": 1.0965197360450393e-14,
      "node_energy": 8.834451168939035e-15,
      "V": 1.429703223994708e-16,
      "S": 0.0,
      "node_flux": 6.624891073105266e-18,
      "regionV": 2.097782318410204e-17,
      "regionS": 6.082199885115648e-19,
      "flux_law": 1.4151889832380175e-12,
      "global_energy": 2.8328774842320694e-14,
      "half_drain": 6.959702938856303e-19,
      "global_budget": -0.00015990663805206924,
      "positive_theta": true,
      "regional_power": 1.8599124303267346e-14,
      "pressure_only": 0.0022782404213938213,
      "pair_exchange": 1.4033770390117457e-20,
      "minimum_convex_loss": 1.1476819825395114e-06,
      "maximum_shape_work": 6.253104228018259e-17,
      "complete_history_work_scale_J": 2.7447077882127395e-14,
      "prefix_formulas_passed": true,
      "passed": true,
      "completed_horizon": true,
      "audited_saved_steps": [
        1,
        10,
        20,
        30,
        40,
        50,
        60,
        70,
        80,
        90,
        100,
        110,
        120,
        130,
        140,
        150,
        160,
        170,
        180,
        190,
        200
      ],
      "all_accepted_steps_audited": false
    },
    "f200_dt05": {
      "geometry": 1.554312234475219e-14,
      "curved_area": 6.661338147750939e-16,
      "pressure": 1.1103869209333183e-14,
      "node_energy": 7.422758435408721e-15,
      "V": 2.8599150084277803e-16,
      "S": 0.0,
      "node_flux": 5.860270031346843e-18,
      "regionV": 2.1373212787669617e-17,
      "regionS": 7.174842455123197e-19,
      "flux_law": 1.4730493709556394e-12,
      "global_energy": 3.8680881576536757e-14,
      "half_drain": 1.3137230799427827e-18,
      "global_budget": -6.46325264579604e-05,
      "positive_theta": true,
      "regional_power": 3.6436231201722295e-14,
      "pressure_only": 0.0023734784799189774,
      "pair_exchange": 2.806634263407401e-20,
      "minimum_convex_loss": 5.820899419285092e-07,
      "maximum_shape_work": 3.2573914859052893e-17,
      "complete_history_work_scale_J": 1.3724124796004278e-14,
      "prefix_formulas_passed": true,
      "passed": true,
      "completed_horizon": true,
      "audited_saved_steps": [
        1,
        20,
        40,
        60,
        80,
        100,
        120,
        140,
        160,
        180,
        200,
        220,
        240,
        260,
        280,
        300,
        320,
        340,
        360,
        380,
        400
      ],
      "all_accepted_steps_audited": false
    },
    "f200_dt025": {
      "geometry": 1.1324274851176597e-14,
      "curved_area": 5.551115123125783e-16,
      "pressure": 9.269333961629933e-15,
      "node_energy": 1.0461261203214768e-14,
      "V": 2.8599150084277803e-16,
      "S": 0.0,
      "node_flux": 6.301810710843658e-18,
      "regionV": 1.2519983153044589e-17,
      "regionS": 6.725405587154114e-19,
      "flux_law": 1.6264754363261642e-12,
      "global_energy": 4.295895142831963e-14,
      "half_drain": 1.3368424302109268e-18,
      "global_budget": -2.7712870092112317e-05,
      "positive_theta": true,
      "regional_power": 5.3367361636223956e-14,
      "pressure_only": 0.0023948126894506373,
      "pair_exchange": 2.2441553886875837e-18,
      "minimum_convex_loss": 2.8591215358813624e-07,
      "maximum_shape_work": 1.6441790057823634e-17,
      "complete_history_work_scale_J": 6.865584991469058e-15,
      "prefix_formulas_passed": true,
      "passed": true,
      "completed_horizon": true,
      "audited_saved_steps": [
        1,
        40,
        80,
        120,
        160,
        200,
        240,
        280,
        320,
        360,
        400,
        440,
        480,
        520,
        560,
        600,
        640,
        680,
        720,
        760,
        800
      ],
      "all_accepted_steps_audited": false
    }
  },
  "comparisons": [],
  "native_checks": 18,
  "shapely": "2.1.2",
  "scope": "Independent formula audit at saved steps ONLY; native histories cover all accepted steps"
}