{
  "schema": "naguard.project-overview.v1",
  "author": "陈鹏旭",
  "iteration": "10",
  "documentDateBeijing": "2026-10-16",
  "compiledAt": "2026-10-16T06:04:53.084Z",
  "newScientificExperiment": false,
  "project": {
    "name": "钠守 NaGuard",
    "topic": "水象·议题10 巨蟹座：把机房级可靠带进日常",
    "position": "有限预算下的任务安排与进度恢复研究原型",
    "question": "同样输入、输出质量和保护要求下，任务安排能否多完成给定的重要工作，中断后能否减少已提交成果的重做？",
    "target": "个人电脑缺少插座等资源有限时的工作连续性",
    "implemented": "本机受支持BMP批次处理、冻结输入与文件核验；网页工作台编辑区草稿保存及条件模型",
    "candidateContribution": "将目标、预算、安排、检查点与核验串成可复核流程并寻找适用边界；额外用户收益尚未证实"
  },
  "evidenceLayers": [
    {
      "id": "webpage",
      "real": "网页工作台编辑区的草稿可在同浏览器本地存储保存和恢复",
      "modeled": "网页能源、任务进度和供电故障响应",
      "notSupported": "不控制系统电源、不保存其他应用、不在公开站点执行实验或AI推理"
    },
    {
      "id": "historical-process-recovery",
      "date": "2026-10-08",
      "real": "自控子进程在四个指定批次实际退出，比较有无检查点，8个条件结果与参考一致",
      "inputs": 36,
      "inputKind": "合成文本/重复哈希负载",
      "source": "checkpoint_result.json",
      "notSupported": "非真实AI或物理掉电，未证明Wh/时间节省"
    },
    {
      "id": "bound-files",
      "date": "2026-10-15",
      "real": "同机Node程序按冻结计划处理并核验生成BMP，单个绑定批次预算暂停后补充继续",
      "modeled": "预算单位、价值及截止tick",
      "notSupported": "整段多批次控制器崩溃自动恢复、独立硬件和真实用户任务未验证"
    }
  ],
  "latestComparison": {
    "source": "scheduling-v2-results.json",
    "sourceSha256": "4350beb8d84b5e0920b03b7eb623cbd66bff48c9cbfe34e0c7656117d8c1c073",
    "protocolHash": "d966eed6d7ee6a5227c6854c9bf6544b7d7df9433bed5fd888adbb75974eded3",
    "inputManifestHash": "0b9fb1e37e7d188175a92f1a6e439373132c5feb3891a1ee10efc839108c3c06",
    "methodOrder": [
      "original",
      "importance",
      "efficiency",
      "exact"
    ],
    "summary": {
      "scenarioCount": 6,
      "uniqueCandidateImages": 20,
      "executedMethods": 4,
      "deterministicRepetitions": 3,
      "strategyRuns": 72,
      "reserveFeasibleScenarios": 5,
      "reserveInfeasibleScenarios": 1,
      "exactBetterThanImportance": 2,
      "exactTiedImportance": 3,
      "exactBetterThanEfficiency": 1,
      "exactTiedEfficiency": 4,
      "exactTiedBestExecutedSimple": 5,
      "efficiencyMatchesPreservedPreviousModel": 6,
      "totalAdmittedBatches": 108,
      "totalActualProcessedImages": 534,
      "interpretation": "The exact same six preselected deterministic diagnostic scenarios as round 08; all four methods newly executed for this round. Counts are not an estimated real-world improvement distribution. At least one simple rule ties exact in all feasible cases; the efficiency rule itself loses at the below-boundary case."
    },
    "rows": [
      {
        "id": "equal-cost-tie",
        "label": "同成本：重要性规则与精确优化打平",
        "originalLabel": "同成本：重要性规则与精确优化打平",
        "reserveFeasible": true,
        "values": {
          "original": 6,
          "importance": 9,
          "efficiency": 9,
          "exact": 9
        }
      },
      {
        "id": "heterogeneous-benefit",
        "label": "异质批次：价值/成本规则与优化器打平",
        "originalLabel": "异质批次：精确优于所列两规则，效率贪心也能打平",
        "reserveFeasible": true,
        "values": {
          "original": 10,
          "importance": 10,
          "efficiency": 14,
          "exact": 14
        }
      },
      {
        "id": "ample-tie",
        "label": "预算充足：四种安排打平",
        "originalLabel": "预算充足：三策略打平",
        "reserveFeasible": true,
        "values": {
          "original": 24,
          "importance": 24,
          "efficiency": 24,
          "exact": 24
        }
      },
      {
        "id": "reserve-infeasible",
        "label": "总预算低于保护余量：拒绝开始",
        "originalLabel": "总预算低于保护余量：拒绝开始",
        "reserveFeasible": false,
        "values": {
          "original": 0,
          "importance": 0,
          "efficiency": 0,
          "exact": 0
        }
      },
      {
        "id": "exact-budget-boundary",
        "label": "恰好预算：任务10单位＋保护2单位",
        "originalLabel": "恰好预算：任务10单位＋保护2单位",
        "reserveFeasible": true,
        "values": {
          "original": 9,
          "importance": 9,
          "efficiency": 11,
          "exact": 11
        }
      },
      {
        "id": "just-below-boundary",
        "label": "略低预算：9.999任务单位不当作10",
        "originalLabel": "略低预算：9.999任务单位不当作10",
        "reserveFeasible": true,
        "values": {
          "original": 6,
          "importance": 6,
          "efficiency": 5,
          "exact": 6
        }
      }
    ],
    "softwareGroupsPassed": 10,
    "softwareGroupsFailed": 0,
    "interpretation": "逐情景最佳实际简单规则均打平精确优化；不是一条事先固定规则通吃，也不是普遍节能证据"
  },
  "aiRole": "AI辅助提出问题、资料整理、建模、实现和核验；本轮实验未运行AI模型",
  "sodiumRole": "未实测的能源候选，待具体电池包/接口/工况比较，不预设常温优势或钠锂分工",
  "unverified": [
    "真实用户偏好与工作流收益",
    "实测Wh、整机性能与续航",
    "钠电样机及其对照优势",
    "物理掉电持久性",
    "整个多批次控制器崩溃恢复"
  ],
  "readingRoute": [
    {
      "label": "理解项目",
      "url": "overview.html"
    },
    {
      "label": "查看四组原始记录",
      "url": "scheduling.html"
    },
    {
      "label": "操作网页工作台草稿演示",
      "url": "index.html#workspace"
    },
    {
      "label": "查阅历史恢复证据",
      "url": "evidence/checkpoint_result.json"
    }
  ],
  "scopeOfThisUpdate": "梳理项目定位、证据分层和展示顺序；没有新运行或更新历史实验数值"
}