{
  "schemaVersion": 1,
  "scope": "Exact portable source/observations; primary provenance and post-campaign metadata-only observer change distinguished.",
  "files": [
    {
      "path": "CONTRACT.md",
      "bytes": 3004,
      "sha256": "c338fff8231a9a06740cf4030b5618ee0480917a77b0a00fc5835fee1b0068dd"
    },
    {
      "path": "OBSERVER-METADATA-AMENDMENT.json",
      "bytes": 842,
      "sha256": "7db62a5630dd3a15bd2496a878078e80a06989a0dd559fcf15624b53181411ed"
    },
    {
      "path": "PROVENANCE.json",
      "bytes": 9997,
      "sha256": "813ba64ca802ec0c0b832dce0bead943fb985e410211de894bc9de91e868797f"
    },
    {
      "path": "README.md",
      "bytes": 7301,
      "sha256": "9490d7df260161b27fd7e231acacc38bfe1fc3023b098fe383b819e41eb7bc4f"
    },
    {
      "path": "baseline/scan.go",
      "bytes": 1178,
      "sha256": "05d5666ad352c9557093af77d20fbad8c6847466eb96ba4bd46a163cd8e06f4b"
    },
    {
      "path": "cases.json",
      "bytes": 959,
      "sha256": "0830d152a0f700e8256bc3e1aaa49653c17b6b8651a225379ed42d5405fd1ef0"
    },
    {
      "path": "cmd/observe/main.go",
      "bytes": 2157,
      "sha256": "95f81f290187f3788df6d2abd821ee16a1ef12191f488ea3e8d94594dac79693"
    },
    {
      "path": "corrected/scan.go",
      "bytes": 1147,
      "sha256": "18ab4f04b9cee28abde011553c567e70807c95428e8644c271f438d040f9f6db"
    },
    {
      "path": "go.mod",
      "bytes": 54,
      "sha256": "f73dc8799c7d5c34b1968bcf4254c5da54ffebde1e5166d9a9fda70b36342f3b"
    },
    {
      "path": "observed/baseline.smt2",
      "bytes": 2103,
      "sha256": "ae51ecb717e495b10d84dcb6a3b5fa5c65bc452dfdfcb34c801fbe336c3081aa"
    },
    {
      "path": "observed/build-identity-summary.json",
      "bytes": 2986,
      "sha256": "f9d0cb4c60953e34b974cb6a89c46fe79b2e7befaf0a2f79d60d1c53da058d4a"
    },
    {
      "path": "observed/campaign-complete.json",
      "bytes": 443,
      "sha256": "c81140645ae47d1f1c5d31543f2585154096f87029eb6195b24a8a1988d95aa0"
    },
    {
      "path": "observed/commands.json",
      "bytes": 11684,
      "sha256": "861bbfb76105bbd22126a49fe4776207a4578ab2bfc94254d55490f5009ed183"
    },
    {
      "path": "observed/corrected.smt2",
      "bytes": 1897,
      "sha256": "616c4767d031d0d554d22466925535a8dadaff5f6e21d831f2dee5c34d51c5e9"
    },
    {
      "path": "observed/coverage-export.stderr.txt",
      "bytes": 56,
      "sha256": "b2214179e8926d952f8dbaa7a0813c82a3b50a79d7026e6b45558d6878834eb8"
    },
    {
      "path": "observed/coverage-export.stdout.txt",
      "bytes": 0,
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
    },
    {
      "path": "observed/coverage.txt",
      "bytes": 0,
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
    },
    {
      "path": "observed/execution-review.json",
      "bytes": 5658,
      "sha256": "18ac039c4570d98809f66a30192f4221b18ab0f60475baf96e01b65d88748e56"
    },
    {
      "path": "observed/fixture-before.json",
      "bytes": 695,
      "sha256": "71b5d175b9fe83ff61ba9c82b3d6857220b0f40d94ac684094d2909068940164"
    },
    {
      "path": "observed/go-source-diff.stdout.txt",
      "bytes": 0,
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
    },
    {
      "path": "observed/go-version.stdout.txt",
      "bytes": 33,
      "sha256": "b2fdffd04ae5a836eca9bfdd1d3d10c524b2920dcd5aca393f80258a93a3f0f4"
    },
    {
      "path": "observed/observe.stderr.txt",
      "bytes": 0,
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
    },
    {
      "path": "observed/observe.stdout.txt",
      "bytes": 10520,
      "sha256": "2427fdd9c325d358448d9d87bd8732abec0c21ee678bfc50cb0300fc580de5c8"
    },
    {
      "path": "observed/observer-metadata-only.patch",
      "bytes": 1083,
      "sha256": "1129c0e03d0c73ec13316b820365fd0711a240a4e48e137a308e4d6148d7c9fa"
    },
    {
      "path": "observed/oracle-assessment.json",
      "bytes": 4930,
      "sha256": "aaefb55c9b464570e54b1fa1b80ce92c328cf2293f23e047358cf7ec0e7f19c0"
    },
    {
      "path": "observed/primary-observer-original.go.txt",
      "bytes": 2112,
      "sha256": "5b28c72aa0faef855bbb95373caabd28c5832e1f7eca66cb7742c2465f53bbba"
    },
    {
      "path": "observed/proof-buildinfo.stderr.txt",
      "bytes": 0,
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
    },
    {
      "path": "observed/proof-buildinfo.stdout.txt",
      "bytes": 2921,
      "sha256": "66f13efcd7bce06b8a404e6cfaaad7205b9fcd6085b8f107d4b67559c44f0af5"
    },
    {
      "path": "observed/revision.stdout.txt",
      "bytes": 41,
      "sha256": "4608f5f6f10a23c03cc77ecafaf9c0d5863686893e079c14ea821403da28a734"
    },
    {
      "path": "observed/verify-baseline.stderr.txt",
      "bytes": 196,
      "sha256": "67c7a14573c61e5e8590dff003716097d2095a91f97f09e085066836d1d1512b"
    },
    {
      "path": "observed/verify-baseline.stdout.txt",
      "bytes": 2708,
      "sha256": "316b700921025a3091c7a3043a085b3ef9ed87ce86caff40c53ba29be529c9ad"
    },
    {
      "path": "observed/verify-corrected.stderr.txt",
      "bytes": 196,
      "sha256": "67c7a14573c61e5e8590dff003716097d2095a91f97f09e085066836d1d1512b"
    },
    {
      "path": "observed/verify-corrected.stdout.txt",
      "bytes": 2489,
      "sha256": "2134c27327d4bfd139b13627df2c57bbd6dbfe486e48c359c4c4a5bb364c7253"
    },
    {
      "path": "observed/verify-weak.stderr.txt",
      "bytes": 103,
      "sha256": "5d51024023847ef0c96dde0a75602a37131324205e3b59c4cb83bb76088258c0"
    },
    {
      "path": "observed/verify-weak.stdout.txt",
      "bytes": 2190,
      "sha256": "83c04855d1c693560348068cdb2091fadedc4ef512470f0c3e40280a3befa95d"
    },
    {
      "path": "observed/weak.smt2",
      "bytes": 1616,
      "sha256": "d1a70165255c8ec4fe247765f9170edf91ca5b863498a9f661c854dae3c56cca"
    },
    {
      "path": "observed/z3-version.stdout.txt",
      "bytes": 27,
      "sha256": "413a7dacad50549f54aad3c8fa0b904a5d591385069bfe5919cec9d7d460a5ba"
    },
    {
      "path": "oracle.py",
      "bytes": 1732,
      "sha256": "8981c4a6ee342a2941fcc2064484768a3e46fab94658047c3de280c5899096e0"
    },
    {
      "path": "reproduce.py",
      "bytes": 4145,
      "sha256": "791a2a927f6641c430969f036604e87c206289de8429bcc376caa26cb86e357f"
    },
    {
      "path": "weak/scan.go",
      "bytes": 562,
      "sha256": "b108c27ecfad25d1154e947395dc74f970a9918ddef70662ae5acdea1378d449"
    }
  ]
}