{
  "date": "2026-10-29",
  "schemaVersion": 33,
  "status": "normalized_kernel_verified_with_proof_ports_full_r31_incomplete",
  "fagoCommit": "3195c5d8bcdf3bd6587586c2fe6407487492fc18",
  "databaseChecks": {
    "mysql": {
      "driver": "mysql",
      "status": "passed",
      "commands": [
        {
          "module": "apps/fago-server",
          "passed": 14,
          "log": ".cache/m6-r31/integration-20261029T093815Z/mysql-fago-server.log"
        },
        {
          "module": "fago-migrations",
          "passed": 3,
          "log": ".cache/m6-r31/integration-20261029T093815Z/mysql-fago-migrations.log"
        }
      ],
      "cleanup": true
    },
    "postgres": {
      "driver": "postgres",
      "status": "passed",
      "commands": [
        {
          "module": "apps/fago-server",
          "passed": 14,
          "log": ".cache/m6-r31/integration-20261029T093815Z/postgres-fago-server.log"
        },
        {
          "module": "fago-migrations",
          "passed": 3,
          "log": ".cache/m6-r31/integration-20261029T093815Z/postgres-fago-migrations.log"
        }
      ],
      "cleanup": true
    }
  },
  "checks": {
    "workspaceRaceVet24": "passed",
    "independentModules24": "passed_with_fixed_toolchain_reuse_and_fresh_module_cache",
    "nilnessChangedModules": "passed",
    "typedNilConstructorRaceVet": "passed",
    "dmMigrationCompile": "passed_only_no_database"
  },
  "invariantsVerified": [
    "嵌套fork/join精确scope与分支身份",
    "重新构造内核后按持久数据恢复",
    "循环重入不复用旧scope/activation/join槽",
    "不同分支决策同时预读旧版本后仍使用锁定后版本做CAS",
    "资源固定版本回写与变量/token/命令整体回滚",
    "合法JSON空变量值拒绝",
    "命令原结果重投与载荷冲突拒绝",
    "自动节点每事务128步且ready队列持久化",
    "显式取消按实例版本关闭全部工作",
    "无ready的Advance不写实例版本",
    "缺失旧处理器的构建拒绝恢复",
    "两个不同语义证明端口按实例固定版本分派，draining旧实例仍可继续",
    "接口typed-nil在构造时拒绝",
    "非空v30/v31/v32升级与重跑，v32发布字节/摘要/准入保持"
  ],
  "testPorts": "资源与单人审批端口均为专用测试库证明夹具；不作为真实业务/候选/会签实现交付",
  "remainingRequired": [
    "W04/W07定义资源/表单版本绑定",
    "W06真实候选快照与当前资格、领取、single/all/any/serial、转办/委派/归还",
    "W06原始决策/节点输入追加历史",
    "W07资源ACL、活动占位、固定版本回写与真实业务资源",
    "W08 accepted命令/outbox与恢复",
    "W09 worker/timer租约与fencing/自动续跑",
    "W10执行池租约/原子排空退役/滚动回滚",
    "W11实际API和Vben页面",
    "W12真实跨进程/跨版本、完整历史实库回归、容量与恢复"
  ],
  "limits": [
    "本增量未重跑完整历史业务实库套件",
    "重构造内核的恢复不等于跨进程停止/启动验收",
    "没有上线工作流API/菜单或后台自动执行池",
    "达梦v33只有源码/构建，实库未认证",
    "未执行生产部署"
  ],
  "preparationFailures": [
    "MySQL首轮并发分支暴露CAS使用预读版本，修复为锁定后版本并以双库确定性屏障回归",
    "独立模块全新缓存下载官方工具链时TLS超时；复用已校验Go1.27.3二进制后24模块通过，sumdb保持开启"
  ],
  "logSHA256": {
    "/tmp/fago-m6-execution-current-workspace.log": "49e7427d003f01106ab6a123f81d5925adc18e338896bee4f148099ac100d8c5",
    "/tmp/fago-m6-execution-delivery-independent-retry.log": "7afc2d8446c7077da46294cdeb89ee4c18f4b7bec8a3be611c8c440f3f66b76c",
    "/tmp/fago-m6-execution-delivery-nilness.log": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "/tmp/fago-m6-execution-core-final.log": "22e6255c4796a1c42c7d7fdd5293357a90c34bb4795ead6b8625e1e9443377ac",
    "/tmp/fago-m6-execution-dm.log": "fa60619cca6ac77ad37f423b8c2b0d88b13c1daa30305f895115bceb5e95537f",
    ".cache/m6-r31/integration-20261029T093815Z/mysql-fago-migrations.log": "d5a50584bfa60db77b39a1460c25450aa49ff2e6204b0cdb9be208e08c4a11c8",
    ".cache/m6-r31/integration-20261029T093815Z/postgres-fago-migrations.log": "0ea5843550c0a6a950d276c2912354330c2cbe72e4bb5495d57964d45fad985a",
    ".cache/m6-r31/integration-20261029T093815Z/mysql-fago-server.log": "f3cb73166b0fb0deb637ed04cfad3e4b0f022a8836df081f0d2d679068bef8b1",
    ".cache/m6-r31/integration-20261029T093815Z/postgres-fago-server.log": "122bc74481836fcb442a8dc91bf2c4339df2b1b753e128945ae4583ab9018c0a"
  }
}