c338fff8231a9a06740cf4030b5618ee0480917a77b0a00fc5835fee1b0068dd  CONTRACT.md
541e8d3338161c87112441a6dab05bcfe5e5a4727975a93f5c9623d9b561a91d  MANIFEST.json
7db62a5630dd3a15bd2496a878078e80a06989a0dd559fcf15624b53181411ed  OBSERVER-METADATA-AMENDMENT.json
813ba64ca802ec0c0b832dce0bead943fb985e410211de894bc9de91e868797f  PROVENANCE.json
9490d7df260161b27fd7e231acacc38bfe1fc3023b098fe383b819e41eb7bc4f  README.md
05d5666ad352c9557093af77d20fbad8c6847466eb96ba4bd46a163cd8e06f4b  baseline/scan.go
0830d152a0f700e8256bc3e1aaa49653c17b6b8651a225379ed42d5405fd1ef0  cases.json
95f81f290187f3788df6d2abd821ee16a1ef12191f488ea3e8d94594dac79693  cmd/observe/main.go
18ab4f04b9cee28abde011553c567e70807c95428e8644c271f438d040f9f6db  corrected/scan.go
f73dc8799c7d5c34b1968bcf4254c5da54ffebde1e5166d9a9fda70b36342f3b  go.mod
ae51ecb717e495b10d84dcb6a3b5fa5c65bc452dfdfcb34c801fbe336c3081aa  observed/baseline.smt2
f9d0cb4c60953e34b974cb6a89c46fe79b2e7befaf0a2f79d60d1c53da058d4a  observed/build-identity-summary.json
c81140645ae47d1f1c5d31543f2585154096f87029eb6195b24a8a1988d95aa0  observed/campaign-complete.json
861bbfb76105bbd22126a49fe4776207a4578ab2bfc94254d55490f5009ed183  observed/commands.json
616c4767d031d0d554d22466925535a8dadaff5f6e21d831f2dee5c34d51c5e9  observed/corrected.smt2
b2214179e8926d952f8dbaa7a0813c82a3b50a79d7026e6b45558d6878834eb8  observed/coverage-export.stderr.txt
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  observed/coverage-export.stdout.txt
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  observed/coverage.txt
18ac039c4570d98809f66a30192f4221b18ab0f60475baf96e01b65d88748e56  observed/execution-review.json
71b5d175b9fe83ff61ba9c82b3d6857220b0f40d94ac684094d2909068940164  observed/fixture-before.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  observed/go-source-diff.stdout.txt
b2fdffd04ae5a836eca9bfdd1d3d10c524b2920dcd5aca393f80258a93a3f0f4  observed/go-version.stdout.txt
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  observed/observe.stderr.txt
2427fdd9c325d358448d9d87bd8732abec0c21ee678bfc50cb0300fc580de5c8  observed/observe.stdout.txt
1129c0e03d0c73ec13316b820365fd0711a240a4e48e137a308e4d6148d7c9fa  observed/observer-metadata-only.patch
aaefb55c9b464570e54b1fa1b80ce92c328cf2293f23e047358cf7ec0e7f19c0  observed/oracle-assessment.json
5b28c72aa0faef855bbb95373caabd28c5832e1f7eca66cb7742c2465f53bbba  observed/primary-observer-original.go.txt
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  observed/proof-buildinfo.stderr.txt
66f13efcd7bce06b8a404e6cfaaad7205b9fcd6085b8f107d4b67559c44f0af5  observed/proof-buildinfo.stdout.txt
4608f5f6f10a23c03cc77ecafaf9c0d5863686893e079c14ea821403da28a734  observed/revision.stdout.txt
67c7a14573c61e5e8590dff003716097d2095a91f97f09e085066836d1d1512b  observed/verify-baseline.stderr.txt
316b700921025a3091c7a3043a085b3ef9ed87ce86caff40c53ba29be529c9ad  observed/verify-baseline.stdout.txt
67c7a14573c61e5e8590dff003716097d2095a91f97f09e085066836d1d1512b  observed/verify-corrected.stderr.txt
2134c27327d4bfd139b13627df2c57bbd6dbfe486e48c359c4c4a5bb364c7253  observed/verify-corrected.stdout.txt
5d51024023847ef0c96dde0a75602a37131324205e3b59c4cb83bb76088258c0  observed/verify-weak.stderr.txt
83c04855d1c693560348068cdb2091fadedc4ef512470f0c3e40280a3befa95d  observed/verify-weak.stdout.txt
d1a70165255c8ec4fe247765f9170edf91ca5b863498a9f661c854dae3c56cca  observed/weak.smt2
413a7dacad50549f54aad3c8fa0b904a5d591385069bfe5919cec9d7d460a5ba  observed/z3-version.stdout.txt
8981c4a6ee342a2941fcc2064484768a3e46fab94658047c3de280c5899096e0  oracle.py
791a2a927f6641c430969f036604e87c206289de8429bcc376caa26cb86e357f  reproduce.py
b108c27ecfad25d1154e947395dc74f970a9918ddef70662ae5acdea1378d449  weak/scan.go
