{
  "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",
  "review-state.json": "4e39dcefb13d5e44d0e7290aab48f2fa57af4241cde1eab777eaa3315989567a",
  "source-provenance.json": "536aef430fad56d2e6d6f2b698ba3b2a3b4587962e80ae7b770f4a557e1ef514"
}