{
  "version": "0.5",
  "createdAt": "2026-10-10T12:12:22.713Z",
  "total": 35,
  "passed": 35,
  "failed": 0,
  "scope": "software_consistency_only",
  "teachingOnly": true,
  "measured": false,
  "aiValidated": false,
  "checks": [
    {
      "name": "All four plans have exactly the same nominal and initial energy; mixture adds no capacity",
      "status": "pass"
    },
    {
      "name": "Equal curves, efficiencies and loads give equal pure Na/LFP results in cold conditions",
      "status": "pass"
    },
    {
      "name": "0% and 100% Na boundaries behave as the corresponding single-source configuration",
      "status": "pass"
    },
    {
      "name": "Cold inaccessible energy is retained, not counted as consumption",
      "status": "pass"
    },
    {
      "name": "Dual-source standby and controller costs can make mixed power less efficient without a sodium advantage",
      "status": "pass"
    },
    {
      "name": "Same-time failures and recovery preserve clock, temperatures, energy and past observations",
      "status": "pass"
    },
    {
      "name": "LFP output failure interrupts pure LFP while mixed reserve supplies only critical tasks",
      "status": "pass"
    },
    {
      "name": "Restoring mains never charges batteries or instantly warms the room",
      "status": "pass"
    },
    {
      "name": "Offline communication consumes a bounded budget but never confirms delivery",
      "status": "pass"
    },
    {
      "name": "Communication peak restriction is different from node power availability",
      "status": "pass"
    },
    {
      "name": "A stopped sensor makes readings stale despite continuing node power, and recovers only through time advancement",
      "status": "pass"
    },
    {
      "name": "Zero energy provides no observations or critical service when mains are unavailable",
      "status": "pass"
    },
    {
      "name": "Both branch failures remain unavailable and a common system temperature constraint blocks all plans",
      "status": "pass"
    },
    {
      "name": "Snapshot/export have no side effects or write-through, and initial settings cannot rewrite an experiment",
      "status": "pass"
    },
    {
      "name": "High interaction demand depletes optional capacity without creating negative energy or fake critical time",
      "status": "pass"
    },
    {
      "name": "Manual pulse requests do not consume at zero time; repeated requests respect cooldown",
      "status": "pass"
    },
    {
      "name": "Advancing in smaller calls does not change stable-condition energy or thermal behavior materially",
      "status": "pass"
    },
    {
      "name": "The demonstration preserves continuous events and cannot replay over an existing history",
      "status": "pass"
    },
    {
      "name": "Time never rewinds and the demonstration is bounded at 168 hours",
      "status": "pass"
    },
    {
      "name": "Guard mode suppresses optional load equally for every plan, including mains, while preserving critical monitoring",
      "status": "pass"
    },
    {
      "name": "Automatic mode responds only to explicit occupancy and weather/power; manual daily mode overrides it",
      "status": "pass"
    },
    {
      "name": "Same-time mode changes preserve energy and past history; advancing guard time reduces optional consumption",
      "status": "pass"
    },
    {
      "name": "Deferred communication resumes after a supply recovery without unbounded automatic retries",
      "status": "pass"
    },
    {
      "name": "The finite robot parser recognises supported commands and rejects negation, speculative or embedded requests",
      "status": "pass"
    },
    {
      "name": "Equal battery assumptions give identical mixed and dual-LFP outcomes across role faults, sensor loss, grid and network restoration",
      "status": "pass"
    },
    {
      "name": "Dual-LFP reserve is physically LFP and shares the same partition and policy, not an extra sodium branch",
      "status": "pass"
    },
    {
      "name": "Changing the sodium cold curve changes only mixed reserve accessibility relative to dual-LFP; it does not create energy",
      "status": "pass"
    },
    {
      "name": "Main-path failure applies to the same role in all plans: singles lose service and both duals use their reserve",
      "status": "pass"
    },
    {
      "name": "Reserve failure affects neither single-source main nor dual main service; a later main fault disables both duals",
      "status": "pass"
    },
    {
      "name": "A common controller fault blocks all four services and observations even while mains and stored energy remain",
      "status": "pass"
    },
    {
      "name": "Recovery does not charge, instantly refresh observations, backfill service gaps or rewrite history",
      "status": "pass"
    },
    {
      "name": "0% and 100% reserve split degenerate into one main source: reserve faults cannot remove it",
      "status": "pass"
    },
    {
      "name": "Dual-LFP uses LFP efficiency, peak and temperature restrictions on both branches",
      "status": "pass"
    },
    {
      "name": "Temperature-blocked LFP reserve keeps its remaining energy rather than discarding it",
      "status": "pass"
    },
    {
      "name": "Legacy chemistry faults still behave as explicitly deprecated aliases and are absent from the new demo",
      "status": "pass"
    }
  ],
  "limits": [
    "不验证真实电芯低温Wh、硬件/协议兼容性、切换时延、通知送达、寿命或防冻效果。",
    "全部对照结果在公开输入假设下产生。"
  ]
}