{
  "README.md": "273df1fda36283502c06f5eb252aba8370a9a9972bc8a81e8dd1d04f6c65dd76",
  "brief.txt": "b89eb3428bab13a0db7f69b59009ae7b4674dc2d24a6e3cf01797c3bc802d301",
  "certificate/01-direct/explanation.md": "52b820660128fecf9aaad693880f0f77a7d10d0c80aea3c9c833de24592054ba",
  "certificate/01-direct/outputs.json": "ff1d30ec2b3198e6212b6c2d71749307accad1e4a0da36b82acf26b0eb7c442f",
  "certificate/01-direct/pyright.txt": "6d88a1b220adb7a3d62092b6e38431f0b3fe8babe9864fab90e5849766260332",
  "certificate/01-direct/pyrightconfig.json": "a1f6353f0a6ad7c3caa98643d5919a99e41d2463b04507995db6226f65a96e6c",
  "certificate/01-direct/seal.json": "3e653c2eccde04167d7e2ff5c9eb63e8df90d0dec07279b7e6468d77adf2e8a6",
  "certificate/01-direct/verify_beta.py": "a0b4d9b7b1f0cce449ee81028045763c6c0914e0a98d14d2772f44168e9ba370",
  "certificate/02-independent/certificate.json": "f9e4ac81bbc45d4fc50a69bdeef07e95ac44b7bd68bf7ca31198a52dcf8661f5",
  "certificate/02-independent/certify_series.py": "b8c12d61f1a3fd9be873ccfef82c74c42f2775f255c355bc2ae2577bbe381f87",
  "certificate/02-independent/output.txt": "f9e4ac81bbc45d4fc50a69bdeef07e95ac44b7bd68bf7ca31198a52dcf8661f5",
  "certificate/02-independent/proof.md": "bf1cf69cde624231f8351d8c49c112d970530e8bebfb21986bca182acc84a759",
  "certificate/02-independent/pyright.txt": "6d88a1b220adb7a3d62092b6e38431f0b3fe8babe9864fab90e5849766260332",
  "certificate/02-independent/pyrightconfig.json": "73d491ec0d650ffccb508c78d89f795e7b603c7fbe0c27a0c07a6dc39a2ad12f",
  "certificate/02-independent/sealed.json": "c027250c79f23cfa7d108dc83237444aec0052841c851982c2ff8d36dad4fb56",
  "certificate/03-adversarial/direct-replay/outputs.json": "ff1d30ec2b3198e6212b6c2d71749307accad1e4a0da36b82acf26b0eb7c442f",
  "certificate/03-adversarial/direct-replay/stdout.txt": "a1fec06b88b465fcdb9c318b1faf3bbfc568ef566c89ff6fb711ca5b54965d97",
  "certificate/03-adversarial/pyright.txt": "6d88a1b220adb7a3d62092b6e38431f0b3fe8babe9864fab90e5849766260332",
  "certificate/03-adversarial/pyrightconfig.json": "e5c2ab89b00aa855ae6c4aa8b6595e714318654b722c1038a0244804cbf62e60",
  "certificate/03-adversarial/replay.json": "35602c62d34a077669bfd6f12404596bcf84d3ad41681eb590ab727b0a0d67ac",
  "certificate/03-adversarial/replay.py": "4fc1dcbc7c9004ea287f9c32fb74fc9360931499fbc384f699b252dc50c3e651",
  "certificate/03-adversarial/review.md": "cfd29414ab34e23ba3103575fdb93c925ba277db4b8dac604214324d103d790c",
  "certificate/03-adversarial/seal.json": "b61e2321ec38ccd576b024caf1d37366a242e7d68433fd0136a68c81f0bf992f",
  "certificate/03-adversarial/series-replay/certificate.json": "f9e4ac81bbc45d4fc50a69bdeef07e95ac44b7bd68bf7ca31198a52dcf8661f5",
  "certificate/03-adversarial/series-replay/stdout.txt": "f9e4ac81bbc45d4fc50a69bdeef07e95ac44b7bd68bf7ca31198a52dcf8661f5",
  "completion.json": "55d16ee2b483ac6255aac32465427a4c790637159798577190980ae536656fe6",
  "gain/01-derivation/derivation-2026-09-30-v1.md": "1d881b327d54ef09842ca33a0914bffbb02246dba6ac29a8c2b23bc889744c41",
  "gain/02-independent/assessment.md": "ea5b98a286834e66c2b0dde945e2779ec53e59ad0f1a7d871efb3a14ea1d9b36",
  "gain/03-adversarial/review-2026-09-30-v1.md": "d53ec57f8cf295b653719ecf66d00cdb765a1525207baa66f9fd9aa2f45ac751",
  "gain/03-adversarial/review.json": "2061e58a8f93da22cfb6a9f21ef8bd85f472c64b0eef8385a47bc4798f1d549d",
  "manifest.json": "91f74266639986b89e11bfc076377f323cdbab803ef7e4f9742af5430cdf4391",
  "publication/arxiv-source-note.md": "c8350f5f796d2a8232258e7805267c00697cb967020d3a6a4abc0e283bdcdd2c",
  "publication/manuscript-build.txt": "48508224867ab18d64bfc54f0ec8879021bfea3f9f2356cdefa8b7a2dc26e197",
  "publication/pyright.txt": "6d88a1b220adb7a3d62092b6e38431f0b3fe8babe9864fab90e5849766260332",
  "publication/pyrightconfig.json": "3ef95a116afca430da5231b1bb651294ad2092ff2e01fabe476f1c367a6cb589",
  "publication/replay-initial-output.json": "07fd2731cf8aec7d23f2b38e506d6fed5db6127c69b64a8fae541ddb44decf4e",
  "publication/replay-output.json": "70be981ad5e5882982f02ce2db2c4aa2763d28f2fbf1835bbdaf511463ef1d30",
  "publication/replay_publication.py": "ddbc6f32baaddffd37daba3a8c0332b1558afd1c32dfcab040875226d0b7822f",
  "publication/requirements-replay.txt": "4cef508304e84c21f73cf412712165dc26e40978cb784bc08a876948b559d90d",
  "publication/validation.json": "b06b664d753d6bfc627256785d7b3b988c909c4453923941ae203f1b10d99c3e",
  "publication/version-manifest.txt": "8cb31fd352a9ba5a22f1ae421d282c7a36ebdd8f47eef9554f6a88a655fb5c7b",
  "publication/weighted-dependency.md": "04e6e5813417641fd8ba66e413a19744386137137075ab40cf3ff989b81f0b0c",
  "review-state.json": "4e39dcefb13d5e44d0e7290aab48f2fa57af4241cde1eab777eaa3315989567a",
  "source-provenance.json": "536aef430fad56d2e6d6f2b698ba3b2a3b4587962e80ae7b770f4a557e1ef514"
}