{
  "scope": "five formal Store nutrition FLOAT82 writes only; partial interface coverage",
  "task_id": "ZHCTPROMPT-20260928-SMART-CANTEEN-DUAL-DB-COMPAT-PLAN",
  "original_seal": {
    "file": "manifest-original.json",
    "sha256": "e7847c9ffa485daeaa1a60d46e93356ebde901a0492bcd3811920b1bf98071c4",
    "public": 22,
    "private": 62,
    "independently_rechecked": true
  },
  "totals": {
    "actual_HTTP": 72,
    "native_events": 1600,
    "prepared_DML": 10,
    "formal_DML_attempts": 108,
    "total_DML_attempts": 118,
    "budget_DML": 126,
    "DDL": 0,
    "external_writes": 0,
    "independent_assertions": 5272,
    "mutation_tests": 36,
    "gate_pure_cases": 14,
    "retained_rows_per_side": 11
  },
  "actual_source_lock": {
    "file": "source-lock-candidate.json",
    "sha256": "881589a34da4ae4d0fc5db36ee5e9e4f75f94e42c0258fc6ae0b9f1cb3185862",
    "files": 958
  },
  "public": [
    {
      "file": "HANDOFF.md",
      "bytes": 2204,
      "sha256": "aa39e359ce29881eaf41ca16361d7fa14f8ee592d99849b29278257ea1aaa7a1",
      "mode": "644"
    },
    {
      "file": "REPORT.md",
      "bytes": 5160,
      "sha256": "d4ab0f8a8b2532645a61786e6e9f74dbf5feff2b14cce109f4fee5c39ed2f256",
      "mode": "644"
    },
    {
      "file": "UNSUPPORTED-INPUT-BOUNDARY.md",
      "bytes": 1482,
      "sha256": "e0b96f4fcc40a8f38907b5d9eb65b0ceaa283f6356111e9404da84a421be556d",
      "mode": "644"
    },
    {
      "file": "aggregate-read.php",
      "bytes": 1439,
      "sha256": "87b57dc0dd3b3e4cc5e03bfd29bba006afb9231ea2262c283bcb8fac9a83ed6d",
      "mode": "644"
    },
    {
      "file": "aggregate-resource-verification.json",
      "bytes": 268,
      "sha256": "b0567125fa46d375c4f6bdadf0f824c4bec1216361bc7e9ad611801e7b159e25",
      "mode": "644"
    },
    {
      "file": "api-test-matrix.csv",
      "bytes": 1317,
      "sha256": "4edd2e9575ce5bf920a143cdb306d1a18476dd5f4125cc2458765add9223adb8",
      "mode": "644"
    },
    {
      "file": "candidate-root-source.json",
      "bytes": 675,
      "sha256": "abed2706790383bab5d32a0c62915ede0ea96bdc9f12fdd1c40351072a7671f5",
      "mode": "644"
    },
    {
      "file": "candidate-source-approval.json",
      "bytes": 491,
      "sha256": "27416743c6e41f76acf301cff97ad34f6734f3f634b365417fa4e8caf967517c",
      "mode": "644"
    },
    {
      "file": "cleanup.php",
      "bytes": 1871,
      "sha256": "af415757d36d7b7211239b65b39c7b50156f83ff32d49a569d89d8ba99fd2bc3",
      "mode": "644"
    },
    {
      "file": "cross-phase-verification.json",
      "bytes": 397,
      "sha256": "0142836db88932221b8b57278bcfba11c40ac8a7adf39ee9fc283e5dde092b19",
      "mode": "644"
    },
    {
      "file": "native-verification-candidate.json",
      "bytes": 82,
      "sha256": "a136e4aa660d703d5ff6b5604951f2e47c3608d3abd071141e0426fcf393615e",
      "mode": "644"
    },
    {
      "file": "package-candidate.mjs",
      "bytes": 2392,
      "sha256": "d4df4d7b9df647d28b9ee6999abe4c55a9bdecfaedd078fcf5498a94f7d07aaa",
      "mode": "644"
    },
    {
      "file": "post-run-main-delta.json",
      "bytes": 478,
      "sha256": "467c85e3513b04db98e9cda9c9c2dee3904a5605625967745e315255ca38a25f",
      "mode": "644"
    },
    {
      "file": "resource-check.php",
      "bytes": 1744,
      "sha256": "e8edde475dcd91d211f812f3d2f7bf58923b5ef38539721d7ae737e8edb17575",
      "mode": "644"
    },
    {
      "file": "resource-host.json",
      "bytes": 458,
      "sha256": "a2ed419872b9446b882523a4c47f06d1affeae7c523eab33c126c4e009e1e5c4",
      "mode": "644"
    },
    {
      "file": "seal-final.mjs",
      "bytes": 3668,
      "sha256": "ae0074caa64ae1fbe7bdb46615a35be01d91ed02f977fbb41eb838b4a452abc9",
      "mode": "644"
    },
    {
      "file": "source-lock-candidate.json",
      "bytes": 97892,
      "sha256": "881589a34da4ae4d0fc5db36ee5e9e4f75f94e42c0258fc6ae0b9f1cb3185862",
      "mode": "644"
    },
    {
      "file": "verification-candidate.json",
      "bytes": 326,
      "sha256": "2104c1a6c9f5a0b48e2c4086ff3eb4f331138ea0ee99d15b1425145e6a2fc3b1",
      "mode": "644"
    },
    {
      "file": "verify-aggregate-resource.mjs",
      "bytes": 3120,
      "sha256": "ea8cd9c6a194eb4237262e588c7b30dd6126c47f9492ff03a81ce3e2387d3eb9",
      "mode": "644"
    },
    {
      "file": "verify-candidate.mjs",
      "bytes": 9810,
      "sha256": "86a9593e3299ea6e1ec2fb89b2ef9563a4f59be9bebc9deda54002ebcf24ec14",
      "mode": "644"
    },
    {
      "file": "verify-cross-phase.mjs",
      "bytes": 3149,
      "sha256": "a65e2d9cf17c607f24c9f397e505ad5455fa86257ca93b6767dc3ebc965b2614",
      "mode": "644"
    },
    {
      "file": "verify-native-candidate.mjs",
      "bytes": 5096,
      "sha256": "72c9bfdb65f3d61c67365f4c67f98453719c28661df2fb87397d308bc94ed7b0",
      "mode": "644"
    }
  ],
  "private": [
    {
      "file": "private-candidate/B/aggregate-read.json",
      "bytes": 4450,
      "sha256": "1dead5567c03b78aa4c148fef9e24a633fcdd1e24b115d26b790516ca266387f",
      "mode": "600"
    },
    {
      "file": "private-candidate/B/attempts-candidate.json",
      "bytes": 38695,
      "sha256": "48e704d5f40f429404895b8e0367b62dddc84418afe01114aebc3d2ac8cb415e",
      "mode": "600"
    },
    {
      "file": "private-candidate/B/cleanup.json",
      "bytes": 24477,
      "sha256": "0c1072ef3f55d69d153c0ea4bb075483dfd7694f9822ee9acd9cd3e706e86925",
      "mode": "600"
    },
    {
      "file": "private-candidate/B/phase-candidate-final.json",
      "bytes": 46704,
      "sha256": "8b1ad679d58ad74f22a51067dc9d06c9899444809a5e2dc0f9d68bf44ea0c01e",
      "mode": "600"
    },
    {
      "file": "private-candidate/B/resource-check.json",
      "bytes": 350,
      "sha256": "da46001e3977cec0ad486649ae973fe2cdcddfc228ab402253175676a0c871a1",
      "mode": "600"
    },
    {
      "file": "private-candidate/B/root-candidate-approved.json",
      "bytes": 491,
      "sha256": "27416743c6e41f76acf301cff97ad34f6734f3f634b365417fa4e8caf967517c",
      "mode": "600"
    },
    {
      "file": "private-candidate/B/wire-candidate-m-scalar-info.json",
      "bytes": 100039,
      "sha256": "b5d64a176d11c747b5983e3894994524039d8ddac5379bd272f20ed9d9ed7130",
      "mode": "600"
    },
    {
      "file": "private-candidate/B/wire-candidate-m-scalar.json",
      "bytes": 107158,
      "sha256": "60b0f4e41d12de52ea8608c1d1908b0a19dc69a0f0d47eb3cf893cae03ad8630",
      "mode": "600"
    },
    {
      "file": "private-candidate/B/wire-candidate-m-update-info.json",
      "bytes": 89402,
      "sha256": "5e1973eafd0375645553fd3418eca610b9471c0e53230aa0c3b2178db93c2812",
      "mode": "600"
    },
    {
      "file": "private-candidate/B/wire-candidate-m-update.json",
      "bytes": 102520,
      "sha256": "f77ff0c05380355af0ccf5588003854d59cc3eeed7b18ffae040b86134888c61",
      "mode": "600"
    },
    {
      "file": "private-candidate/B/wire-candidate-p-add-info.json",
      "bytes": 90751,
      "sha256": "d340f2c98f7dade1b0123804a19724d02aa19319e92d2861d1382db0dcd041cf",
      "mode": "600"
    },
    {
      "file": "private-candidate/B/wire-candidate-p-add.json",
      "bytes": 99128,
      "sha256": "835ec3023b84c8dbbbdd1982e17783e3e6f3aeecf2a4022a327dcf9b7f76ddd8",
      "mode": "600"
    },
    {
      "file": "private-candidate/B/wire-candidate-p-overflow-info.json",
      "bytes": 101393,
      "sha256": "5262388179cf0200be4e35bfde3ce5f7ea1df1364aa5d82588f65f9c1e1ff58f",
      "mode": "600"
    },
    {
      "file": "private-candidate/B/wire-candidate-p-overflow.json",
      "bytes": 106066,
      "sha256": "4b07c94438ce653bc1dd84c637dbcdd49ca99e94f151d4b6bec1cebcba8796a9",
      "mode": "600"
    },
    {
      "file": "private-candidate/B/wire-candidate-p-update-info.json",
      "bytes": 90755,
      "sha256": "08ec87651489cd2062de4a3c1087e5a9dbf14f6c202cf1e1d675ff843eb0a545",
      "mode": "600"
    },
    {
      "file": "private-candidate/B/wire-candidate-p-update.json",
      "bytes": 113120,
      "sha256": "afc15bc4fc705a021ac8a316a5ac45ee25f0e99b837ace3cd62ba16a2a4f4c0f",
      "mode": "600"
    },
    {
      "file": "private-candidate/B/wire-candidate-template-add-info.json",
      "bytes": 102203,
      "sha256": "b95907e8979f2d0df04d21205c3271042858ea85398836281735e236928873e3",
      "mode": "600"
    },
    {
      "file": "private-candidate/B/wire-candidate-template-add.json",
      "bytes": 101010,
      "sha256": "ea754cbed8194aa9c83fc79b3d31f1617df93e31dff3741dd09af9c304e930eb",
      "mode": "600"
    },
    {
      "file": "private-candidate/B/wire-candidate-template-missing-info.json",
      "bytes": 102122,
      "sha256": "d62dfaf98230e31f29be41fe8ae6a1b0d454b940d788ea43a8edebcce7690da7",
      "mode": "600"
    },
    {
      "file": "private-candidate/B/wire-candidate-template-missing.json",
      "bytes": 105284,
      "sha256": "7780a4bddf3f4cdfa92b9f5e908b668105ccaeaeb83ef00a68915bb6c4f7ceec",
      "mode": "600"
    },
    {
      "file": "private-candidate/B/wire-candidate-template-rollback-info.json",
      "bytes": 102123,
      "sha256": "d0617fe1588d83143a9dba452d9997cdec8394c63308b38bb123bae1e698358b",
      "mode": "600"
    },
    {
      "file": "private-candidate/B/wire-candidate-template-rollback.json",
      "bytes": 105540,
      "sha256": "f6497edda090416018daaf93a793d4d5ff1782d8daa343dda2c500c8b4e3b327",
      "mode": "600"
    },
    {
      "file": "private-candidate/B/wire-candidate-template-update-info.json",
      "bytes": 102222,
      "sha256": "a91a7c056ebf0d55623fa365fe8cf8dc5979859a1c88bd9882b96525d1b35c89",
      "mode": "600"
    },
    {
      "file": "private-candidate/B/wire-candidate-template-update.json",
      "bytes": 106745,
      "sha256": "882e1a15480bcccf1ecdf2f782b1d71ac24bc76ed6cfbac111355af61a6c66f9",
      "mode": "600"
    },
    {
      "file": "private-candidate/C/aggregate-read.json",
      "bytes": 4453,
      "sha256": "217ba7983fdbeb0d776ec87a8d9c3ca8723d6d6961feedfc1896fb5e8142214a",
      "mode": "600"
    },
    {
      "file": "private-candidate/C/attempts-candidate.json",
      "bytes": 38001,
      "sha256": "4d721f0042738d0001cf4fafab114732a98e9d16994fe4a264c8f7f1d84d5cdc",
      "mode": "600"
    },
    {
      "file": "private-candidate/C/cleanup.json",
      "bytes": 18643,
      "sha256": "08bb558d84f3ad102690d398bb707683854be507f913e5e299495528fe94d92c",
      "mode": "600"
    },
    {
      "file": "private-candidate/C/phase-candidate-final.json",
      "bytes": 34481,
      "sha256": "e5e43c4b05da6a23a872b7f137b48e36612cda4527d7acc50e07f476ac2dfd04",
      "mode": "600"
    },
    {
      "file": "private-candidate/C/resource-check.json",
      "bytes": 350,
      "sha256": "27d2da2ce0a0d971cec0904046fa7dab8cacd6d408578dabeb9bacd5428dd2df",
      "mode": "600"
    },
    {
      "file": "private-candidate/C/root-candidate-approved.json",
      "bytes": 491,
      "sha256": "27416743c6e41f76acf301cff97ad34f6734f3f634b365417fa4e8caf967517c",
      "mode": "600"
    },
    {
      "file": "private-candidate/C/wire-candidate-m-scalar-info.json",
      "bytes": 80593,
      "sha256": "9b4398cd00ad1f2ffc53a37a3b1afae211fa0fac99f4b4c8c811718a57c8e2a6",
      "mode": "600"
    },
    {
      "file": "private-candidate/C/wire-candidate-m-scalar.json",
      "bytes": 87105,
      "sha256": "4368746446e849f7e7ecbb74bbf32dc786ebef9fe2bd71769cef14eecbb5a293",
      "mode": "600"
    },
    {
      "file": "private-candidate/C/wire-candidate-m-update-info.json",
      "bytes": 69529,
      "sha256": "35cbfc5fcaca4e6348a12c412b2e65113e9c382426226559c325a589c6ce3607",
      "mode": "600"
    },
    {
      "file": "private-candidate/C/wire-candidate-m-update.json",
      "bytes": 84501,
      "sha256": "ed4974f40999c17b49e62ff773d315c36f44854478eafaaaaa39063322f24620",
      "mode": "600"
    },
    {
      "file": "private-candidate/C/wire-candidate-p-add-info.json",
      "bytes": 73208,
      "sha256": "0dc8bbadda31e2a7f032d0eb2adf6018c1ef40dec65bda016767af21b56b08ac",
      "mode": "600"
    },
    {
      "file": "private-candidate/C/wire-candidate-p-add.json",
      "bytes": 83243,
      "sha256": "8e4ac863ed50e0b3c947c906eaf22aa4aae89acdc3b52eafc3ca320bf2a51074",
      "mode": "600"
    },
    {
      "file": "private-candidate/C/wire-candidate-p-overflow-info.json",
      "bytes": 84171,
      "sha256": "933a8d41d2df0e6d68b16292fff44a67391158ad52d486315e17c1c61b2cf217",
      "mode": "600"
    },
    {
      "file": "private-candidate/C/wire-candidate-p-overflow.json",
      "bytes": 86430,
      "sha256": "7c4c4f43336f692ebd578a60446092d0686feceff88afcc974a7407292e2d7b1",
      "mode": "600"
    },
    {
      "file": "private-candidate/C/wire-candidate-p-update-info.json",
      "bytes": 73211,
      "sha256": "a3dcb4a0eeea1c72910d4b1f778c072d7470f302644cff412ae8b9ca2e822440",
      "mode": "600"
    },
    {
      "file": "private-candidate/C/wire-candidate-p-update.json",
      "bytes": 97787,
      "sha256": "3722e39cf4d788533b354c52254bd7443299dff9f878bca3ab1a28671c7e11b8",
      "mode": "600"
    },
    {
      "file": "private-candidate/C/wire-candidate-template-add-info.json",
      "bytes": 85223,
      "sha256": "782562496ef55ac67d6e37e2f542c41b5faf27656f2903fbfc96f59d02452c0e",
      "mode": "600"
    },
    {
      "file": "private-candidate/C/wire-candidate-template-add.json",
      "bytes": 83161,
      "sha256": "da4cf1d0f7926c3dfebba6384bdd1ff403c8e364d30aafa3f5a2f1ae353570ba",
      "mode": "600"
    },
    {
      "file": "private-candidate/C/wire-candidate-template-missing-info.json",
      "bytes": 84917,
      "sha256": "0b952cbe21dbcb185123dd380630907723fd9df4992a1832787904ced7de333b",
      "mode": "600"
    },
    {
      "file": "private-candidate/C/wire-candidate-template-missing.json",
      "bytes": 88176,
      "sha256": "587d488cda6f489544f40589d40735b4dafe366b459a9a8fc7051f4e2d4f9a1d",
      "mode": "600"
    },
    {
      "file": "private-candidate/C/wire-candidate-template-rollback-info.json",
      "bytes": 84918,
      "sha256": "f31e829f1874f34b0b1bff8654680d1b9508107751c4a8b175dd2d6f5f558365",
      "mode": "600"
    },
    {
      "file": "private-candidate/C/wire-candidate-template-rollback.json",
      "bytes": 87688,
      "sha256": "02e51e18e30bd8d7a9681e79e4008db37f57d29f6bb32fd79d0e32697ff4144e",
      "mode": "600"
    },
    {
      "file": "private-candidate/C/wire-candidate-template-update-info.json",
      "bytes": 85240,
      "sha256": "528f749cb78763a12e2c6924ac191beea62c6c8453e0d1559b71270f05aef2a0",
      "mode": "600"
    },
    {
      "file": "private-candidate/C/wire-candidate-template-update.json",
      "bytes": 89171,
      "sha256": "2580b261523eae05f39e480c2a28e2b4dd1d6e359a1ec18e51e1b9becaa7d38b",
      "mode": "600"
    }
  ]
}