{
  "verified_on": "2026-10-03",
  "ptah": {
    "version": "0.12.0",
    "commit": "a38061fe1aa60269fe8726fb905403fd787aac3b",
    "image": "stokaro/ptah:0.12.0",
    "digests": [
      "stokaro/ptah@sha256:fdf9c7009018a6cd3954c43f986d8b283c35255ed468c98eb4317529be19928c"
    ]
  },
  "postgres": {
    "version": "16.15",
    "image": "postgres:16-alpine",
    "digests": [
      "postgres@sha256:721873c34ceb9f8d8fc265984940dc982404c105f19ad51be9fdc5970a6080ea"
    ]
  },
  "docker_context": "remote-dev-container",
  "scooter": {
    "head": "277f83301a496421bb1b06104892131a5a95ef37",
    "pr": "https://github.com/chadac/scooter/pull/693",
    "state_at_verification": "open",
    "proof_head": "96b4f1de4740f7bb10dd8d9420ef3a1c3a46a2c6",
    "proof_run": "https://github.com/denisvmedia/scooter/actions/runs/37046715387",
    "proof_conclusion": "success"
  },
  "checks": [
    "Original agent_host migration files and atlas.sum match the integration source byte-for-byte",
    "Original desired schema matches the historical migrations",
    "Generated migration contains both the function body and the changed trigger",
    "Generated migration applies successfully",
    "Second diff creates no migration",
    "INSERT, phase UPDATE, and DELETE notify; activity-only UPDATE does not",
    "Nix excerpt matches the validated release package"
  ],
  "files_sha256": {
    "README.md": "72d2dc7df899fcf184c29d841cf3c38da2277f254a1d0452e4965c2c35ac699f",
    "SCOOTER-LICENSE.txt": "275cb5d9d901a05845b314f60d93c8bb3b2e047715ea5cc556a09ed3f5d9c8ba",
    "agent_host/migrations/20260831184920_create_conversation_jobs.sql": "e46246d68ff5c52ae88fe74f8351f3b545f486712a2281fc721dd6625141d5d5",
    "agent_host/migrations/20260831203036_create_conversations.sql": "b8f19dc265e16c423df1e7cd3d07ea68f5a062fd24b34402cb130da17853f212",
    "agent_host/migrations/20260901163900_create_conversation_events.sql": "fdceb15170a18cf92094549c4593879672c3a2496d6a97e5893860c6ee0f4bf8",
    "agent_host/migrations/20260902183131_notify_conversation_changes.sql": "128603aba3972fa4f9ffba402770b0ecc29d0c59bce9e8e022af2dc833c10441",
    "agent_host/migrations/20260902213622_create_conversation_assets.sql": "083af1db83368fcd314bbaad01e7f06d7ab7040f9baf538e3065decaf192ea7b",
    "agent_host/migrations/20260925231159_add_conversation_assignment.sql": "3375dd220913b1c503d6a9c2b7001ee46dc74fafdf4926429927ee034371aaab",
    "agent_host/migrations/atlas.sum": "80ae7a07f42fd26a87bb068d35b240ed6489d0bbb5a070b4dae49b90c9656c93",
    "agent_host/schema.sql": "fafb574b613867190aee0c5cfa38e40028e8e03ba928a4157d713df23489c097",
    "atlas.hcl": "523d1fd0de4c7c0a1e4aa8c2dfc0788c48507fab50ac70d9c56ee9ae31490037",
    "commands/apply-change.txt": "3a78185e157fd5cae783e252a40d1ef4ca75f2a11acc74d16c818f1dacfdd332",
    "commands/apply-history.txt": "3a78185e157fd5cae783e252a40d1ef4ca75f2a11acc74d16c818f1dacfdd332",
    "commands/baseline.txt": "c84fc5a86c0a1250d225f3f0c0765d729911309ececa5306e083f9fb98898592",
    "commands/generate.txt": "32e016ae47220c4ba94d52d62cd339b8782df162e7b478bd63d3b053bc653421",
    "commands/settled.txt": "4c071235b0e878de9747aec12b096b30445cf8823e0643250039c6ed0f63d7ba",
    "commands/version.txt": "51277ca67281d16154fa5564b1452ca21b5f3c7f6dff08108cd015b08ecc5d72",
    "measured/apply-change.stderr.txt": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "measured/apply-change.txt": "5701b80391e303c30a50f3c69e1fea0a385749ed06c14df61bef5a6fbddf4d72",
    "measured/apply-history.stderr.txt": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "measured/apply-history.txt": "e44148d1eddffedbc41999893a90afda5f6eedf18805cfb614cf115b4cd1d37c",
    "measured/baseline.stderr.txt": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "measured/baseline.txt": "b7561fb56d37f7bf37d081f79e67b9ea94a1b13374e4ba352fb6c08a37c4b986",
    "measured/commands.json": "33a1c24d80d482f9206570fef58e9f56bcd498d1d26b8b179ba2426f9ab5844b",
    "measured/fork-validation.excerpt.txt": "f2a49432eb5c0cb31572c48cf5e5cb584068d236846bd9ca88cd4bf942a802a3",
    "measured/generate.stderr.txt": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "measured/generate.txt": "df546fe0902cba2aa4c7343bec0505a5d3111a7f373d4528ab5a2a393a39d44a",
    "measured/generated.sql": "dd2e8ed7883bff28d090df197d6acc913ef1d0a2dcd252c4782984cb4eda9f8c",
    "measured/notification-checks.json": "e1c034e69a3f53b03ca6873d69fed3fc24dbe915d3e6f08e0a051964b8103710",
    "measured/notifications.stderr.txt": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "measured/notifications.txt": "95b131ed3087a594604d7c30392ff262c664b6d8f8412e98ac7cfe6420fccfc5",
    "measured/postgres-version.txt": "891e4fd21666e66b5362e2b13d1bda45cc4402505a2a1548fd6c5ca7cdaae9da",
    "measured/settled.stderr.txt": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "measured/settled.txt": "b7561fb56d37f7bf37d081f79e67b9ea94a1b13374e4ba352fb6c08a37c4b986",
    "measured/version.stderr.txt": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "measured/version.txt": "0041ed658bc99ab96f997bbb1294e9d4012ff9e0bafe0aea4cfd56d3a1fa6388",
    "nix-install.excerpt.nix": "350762756f94536c3384d824c07256467e618683854417864d9c714d0ee14437",
    "notifications.sql": "3692db9b0c3cee81752a04da5618daa73476f65b38e505e67dab1c51e1bf4b9b",
    "probe.sql": "b5409cb32cf99fe8814648c219574581c71faa6e510bd75a2119bd59dfe3119a",
    "ptah-compat.nix": "7768b183ce85742c354cd40e2c4b5fe2bce909b85bfafc30b9ca97396f38561c"
  }
}