{
  "schemaVersion": "0.6",
  "date": "2026-10-11",
  "scope": "Pure software consistency and accounting checks only; no hardware, chemistry superiority, actual inference/communication or measured reliability.",
  "checks": 34,
  "passed": 34,
  "failed": 0,
  "cases": [
    {
      "name": "Default experiment compares exactly seven finite candidates with identical total battery Wh and starting budgets",
      "pass": true
    },
    {
      "name": "Default equal chemistry assumptions are neutral: sodium matches LFP and mixed matches dual-LFP",
      "pass": true
    },
    {
      "name": "Mixed-PV and dual-LFP-PV share equal panel, split, roles, overhead and outcomes under default equal chemistry",
      "pass": true
    },
    {
      "name": "A second power path adds its explicit management overhead and can be worse at the same energy",
      "pass": true
    },
    {
      "name": "Standby budget is paid per physical branch in addition to dual-path management overhead",
      "pass": true
    },
    {
      "name": "Na 0% and 100% reduce to the corresponding single path without phantom reserve capacity or overhead",
      "pass": true
    },
    {
      "name": "Cold inaccessibility is separate from spent energy; changing only temperature does not fabricate a recharge",
      "pass": true
    },
    {
      "name": "Different cold-retention inputs produce a disclosed sensitivity result, not a built-in sodium victory",
      "pass": true
    },
    {
      "name": "Nighttime and zero irradiation give zero PV generation even with a large panel",
      "pass": true
    },
    {
      "name": "The integrated sine waveform respects specified effective hours, cloud and snow factors",
      "pass": true
    },
    {
      "name": "No sunlight cannot make the PV candidate better in all dimensions; service is equal and cost/mass are higher",
      "pass": true
    },
    {
      "name": "A cold panel may directly serve loads while both batteries refuse subzero charging",
      "pass": true
    },
    {
      "name": "Warm grid recovery permits bounded charging without exceeding SOC or charger input limits",
      "pass": true
    },
    {
      "name": "The full temperature span of a charging step must satisfy its allowed range",
      "pass": true
    },
    {
      "name": "Each branch charges or discharges per step, never both; every battery ledger is separately conserved",
      "pass": true
    },
    {
      "name": "Role faults are matched across designs; reserve helps both dual designs and recovery does not refill the balance",
      "pass": true
    },
    {
      "name": "Reserve energy is never spent on optional interaction even with abundant remaining reserve capacity",
      "pass": true
    },
    {
      "name": "External power can still serve optional tasks during a main-branch fault without spending the reserve",
      "pass": true
    },
    {
      "name": "A shared control fault blocks service and charging in every candidate even with mains and sunshine",
      "pass": true
    },
    {
      "name": "Guardian mode stops optional tasks equally including when externally powered",
      "pass": true
    },
    {
      "name": "Finite task budgets defer and then expire without falsely completing when energy is unavailable",
      "pass": true
    },
    {
      "name": "A deferred task completes only once after permitted grid recovery before its deadline",
      "pass": true
    },
    {
      "name": "Tasks separate pulse-power feasibility from energy availability and temperature gates",
      "pass": true
    },
    {
      "name": "Task deadline zero provides no invented energy-paying interval",
      "pass": true
    },
    {
      "name": "Real exhaustion stays nonnegative and critical coverage records partial final service rather than claiming full time",
      "pass": true
    },
    {
      "name": "Off-grid zero-energy experiments cannot supply service, and external energy with zero battery can",
      "pass": true
    },
    {
      "name": "Cost and mass remain editable design assumptions, with no built-in sodium discount",
      "pass": true
    },
    {
      "name": "Recommendation filters all hard constraints before selecting and returns null for an empty feasible set",
      "pass": true
    },
    {
      "name": "Pareto points are a finite non-dominated set and equal-cost equal-service ties are retained",
      "pass": true
    },
    {
      "name": "Pure simulation is deterministic, leaves caller config unchanged and returns independent objects",
      "pass": true
    },
    {
      "name": "Validation rejects duration, invalid windows, unsupported waveform, SOC and unsafe numerical ranges",
      "pass": true
    },
    {
      "name": "A 72-hour cold outage preset remains neutral in chemistry and separately auditable for grid/PV/battery",
      "pass": true
    },
    {
      "name": "Blank nullable constraints do not accidentally filter every candidate as a zero budget",
      "pass": true
    },
    {
      "name": "Long bounded simulation cannot extend beyond 168h and non-aligned event boundaries preserve energy bookkeeping",
      "pass": true
    }
  ]
}