{
  "verified_at_utc": "2026-09-15T18:28:58.548898+00:00",
  "passed": true,
  "scope": "All 11 recorded draws: canonical raw MNIST, exact indices and input hashes, frozen prediction files, reference parameters/scores, executed spatial output labels, evaluation freeze hash, accuracy/sample SD, and all deterministic spatial scorer fields.",
  "software": {
    "python": "3.11.16 (main, Aug 25 2026, 14:00:53) [Clang 22.1.3 ]",
    "numpy": "2.4.6",
    "platform": "Linux-7.0.0-31-generic-x86_64-with-glibc2.43",
    "machine": "x86_64"
  },
  "source_sha256": {
    "run.py": "050cb572e7565f37ca5f3fcc40709d4d95c25b6bd641a4a6f80dbaba35a21e39",
    "verify.py": "d4b55ba111eba5d38f68b219c709a21890629c709215534d6aa6982d8445c68e",
    "reference.py": "c51008b9ce6671f9b359e2be5c9bf16eb7859f72a7ac5a3f866ccf8dae6c46f0",
    "spatial_program.py": "c4b851c8c99cc86637b26195f1bf63293bfbd48db632ba9c65b45d70bf343ccb",
    "protocol.json": "48cc44f9d4d9cef385a3ea42dfd3a57f218cc6cf1e226744ecc3799e25bcf4f5",
    "protocol_fresh.json": "1b014341ac8d072a273a9c1af70595fc0cec0b2ccc2f9d6718ee222ca62793e2",
    "protocol_beacon.json": "1a0812f8bb8c8ad4ed09c1c804f80ed1dcb83274ec4bf4e101a4087b39afbaa7",
    "requirements.txt": "68f3785dd677e6390257ebe57cab55b3c056233799745b5ecae278b0f5ba0e50",
    "mnist/code/data.py": "982bedbc56d928760f47f78017102652fe5492c57e3160e410514ded445744fa",
    "../grid-mlp-scoring-20260912/affine.py": "8ac38bf9fccbef87ba05c4dd6a4e5d9901dceae4e71baad0ddd5794c22298d45",
    "../grid-mlp-scoring-20260912/score.py": "41b47384ec525718a4546f98f5ad25a4d82dd8bdfb97a762e451476cae29eaf8"
  },
  "raw_mnist": {
    "train-images-idx3-ubyte.gz": {
      "md5": "f68b3c2dcbeaaa9fbdd348bbdeb94873",
      "sha256": "440fcabf73cc546fa21475e81ea370265605f56be210a4024d2ca8f203523609",
      "bytes": 9912422
    },
    "train-labels-idx1-ubyte.gz": {
      "md5": "d53e105ee54ea40749a09fcbcd1e9432",
      "sha256": "3552534a0a558bbed6aed32b30c495cca23d567ec52cac8be1a0730e8010255c",
      "bytes": 28881
    }
  },
  "evidence_sha256": {
    "draw_manifest.json": "dbbb083b9062e877fafa4b83fa939d83e8139523271ade17641b59b27031c93a",
    "prediction_manifest.json": "b37b509b738110af49ce038c999cdc328fbc07322d118e68320d2943045084af",
    "accuracy.json": "73d78464ade0c4a6452a9ffa57809e20920c2cb1d416a7e4a147bbe4c89332f5",
    "evaluation_freeze.json": "2b17ce77ebc0843109b1c4414bbeacc73902490592f5d9eb807082c6f055aa75"
  },
  "accuracy": {
    "draws": [
      {
        "draw": 0,
        "dataset_seed": 20262101,
        "correct": 690,
        "total": 1000
      },
      {
        "draw": 1,
        "dataset_seed": 20262102,
        "correct": 691,
        "total": 1000
      },
      {
        "draw": 2,
        "dataset_seed": 20262103,
        "correct": 690,
        "total": 1000
      },
      {
        "draw": 3,
        "dataset_seed": 20262104,
        "correct": 705,
        "total": 1000
      },
      {
        "draw": 4,
        "dataset_seed": 20262105,
        "correct": 670,
        "total": 1000
      },
      {
        "draw": 5,
        "dataset_seed": 20262106,
        "correct": 656,
        "total": 1000
      },
      {
        "draw": 6,
        "dataset_seed": 20262107,
        "correct": 688,
        "total": 1000
      },
      {
        "draw": 7,
        "dataset_seed": 20262108,
        "correct": 649,
        "total": 1000
      },
      {
        "draw": 8,
        "dataset_seed": 20262109,
        "correct": 673,
        "total": 1000
      },
      {
        "draw": 9,
        "dataset_seed": 20262110,
        "correct": 683,
        "total": 1000
      },
      {
        "draw": 10,
        "dataset_seed": 20262111,
        "correct": 679,
        "total": 1000
      }
    ],
    "correct": 7474,
    "total": 11000,
    "mean_accuracy": 0.6794545454545454,
    "sample_sd_pp": 1.6439973457178279,
    "target_correct": 7370,
    "target_met": true
  },
  "draws": [
    {
      "draw": 0,
      "dataset_seed": 20262101,
      "correct": 690,
      "total": 1000,
      "indices_and_normalized_input_hashes_match": true,
      "training_labels_sha256": "ea90983a94cf9ccbd846bd183ba13317a3dcc0c8581507e31a6ca5c2007769de",
      "test_labels_sha256": "82139a43b46ccf4ea974562eec72d8a312659c9debc7791b794306bd3989167b",
      "reference_parameter_hashes_match": true,
      "reference_scores_sha256": "b9bd25ab36816e0604d65953c0d4fa3e6be8040057dc6efca07fc05dda0705ed",
      "prediction_file_sha256": "2365824a643d86b0dd901424272a2d9e28ff047795ab723b60ba2c39407a81d0",
      "prediction_array_sha256": "bd7d3c5ef6e6a6f29e7beb6eb12a494896788ec31c04f85c0ff84a42c1d6e763",
      "reference_predictions_match": true,
      "spatial_predictions_match": true,
      "spatial_output_sha256": "bd7d3c5ef6e6a6f29e7beb6eb12a494896788ec31c04f85c0ff84a42c1d6e763",
      "spatial_input_tape_sha256": "ee68e3a1638ed5280f018d40fd94bd26f471cad295fdee8463a79a040ac4034f",
      "verification_seconds": 3.4404185300081735
    },
    {
      "draw": 1,
      "dataset_seed": 20262102,
      "correct": 691,
      "total": 1000,
      "indices_and_normalized_input_hashes_match": true,
      "training_labels_sha256": "3a8b4816ba64fa0361c1bb97bb0e54fb7ea7a846476505ad1c57a95530011aa3",
      "test_labels_sha256": "3acb21892c130be9f22cce62f06377f97f1d4e73c109a19de244120662e6880b",
      "reference_parameter_hashes_match": true,
      "reference_scores_sha256": "7eaadcae2d19d7379e775b6828e9c978e45b9fbe1717bcd203186c1221d65fd0",
      "prediction_file_sha256": "f6aadf6a4c18498bacdec686af57354db8814f0096f36d1404b74067c134145e",
      "prediction_array_sha256": "a5baeedb5a4e1d5cd6269ba7ee73ef1d5c95f6aa35f2fa097352a8ae31c808ba",
      "reference_predictions_match": true,
      "spatial_predictions_match": true,
      "spatial_output_sha256": "a5baeedb5a4e1d5cd6269ba7ee73ef1d5c95f6aa35f2fa097352a8ae31c808ba",
      "spatial_input_tape_sha256": "b2ddfe0efe48587b97d0862d7b4935126aab6c02dcd0bf0ba564b67c6d05c88c",
      "verification_seconds": 3.1579245409957366
    },
    {
      "draw": 2,
      "dataset_seed": 20262103,
      "correct": 690,
      "total": 1000,
      "indices_and_normalized_input_hashes_match": true,
      "training_labels_sha256": "5c7a29892169c67c8b57350a68c95e78ef8ecd4c7699f5e24cc3ed55e888ee2c",
      "test_labels_sha256": "42ea4280b07890ed305a6af49e302ea04f06a80c57df2bd5615ca02ddfde22f1",
      "reference_parameter_hashes_match": true,
      "reference_scores_sha256": "8ec9ac1373960902c6058a7616e6a2f33b2a69030ac50a87f99fc98bf9b05a8f",
      "prediction_file_sha256": "f0766015d69859d89b8aaf803b426df3b8f45c1ab1542651b4bac8cfb4f8e845",
      "prediction_array_sha256": "0f0334f0848f6c147b3468944e244c5fbff458f66e80896cbfc18aeb62e29a08",
      "reference_predictions_match": true,
      "spatial_predictions_match": true,
      "spatial_output_sha256": "0f0334f0848f6c147b3468944e244c5fbff458f66e80896cbfc18aeb62e29a08",
      "spatial_input_tape_sha256": "9ad6b78ef1d12c31fcbea84866cc58fdd0c93abe3b5cb8678fbd9d1bc469a049",
      "verification_seconds": 3.2491381720028585
    },
    {
      "draw": 3,
      "dataset_seed": 20262104,
      "correct": 705,
      "total": 1000,
      "indices_and_normalized_input_hashes_match": true,
      "training_labels_sha256": "cb998af54475883810018794c7da9f0a27e4a43ee388fcf22d3115c07f4fa139",
      "test_labels_sha256": "103cdf07bdb0ca07baf1615b57f813a3da2bc95db3bb2815d4f55a478636cb54",
      "reference_parameter_hashes_match": true,
      "reference_scores_sha256": "06bbd885452b98cdf05ab28d625b93a2597c4dfe9f8f8d2608e09f3e8fa29a7a",
      "prediction_file_sha256": "492ed5d29e536c642bb2dff068cda3b1d88644560262cc5168c5b044728ee11d",
      "prediction_array_sha256": "f977b0ff65ad38e5bba777df1c86e53f01457db9a70297eda06300b945699db9",
      "reference_predictions_match": true,
      "spatial_predictions_match": true,
      "spatial_output_sha256": "f977b0ff65ad38e5bba777df1c86e53f01457db9a70297eda06300b945699db9",
      "spatial_input_tape_sha256": "c0fa4e8c6f73cc579025a195dbea5d4a30892f98b7ab40dd6da2c8f9cf06033b",
      "verification_seconds": 3.291106418997515
    },
    {
      "draw": 4,
      "dataset_seed": 20262105,
      "correct": 670,
      "total": 1000,
      "indices_and_normalized_input_hashes_match": true,
      "training_labels_sha256": "1cd99af969acd2e17b2a1e234da57d074045cd31296965e8e8d00d2b10af3dc6",
      "test_labels_sha256": "4ade15fcbebf10005a5ea3627bfcde96b1256e17767caf1a802843f4926feee6",
      "reference_parameter_hashes_match": true,
      "reference_scores_sha256": "b7126feb4a856b2a446c56ea07b5f4d9989d952ac3cc9a4dbf16b39705dad2f4",
      "prediction_file_sha256": "0305175ea92dc57af9bac897572dad69700d7ea857717eba8a0d0095299dac84",
      "prediction_array_sha256": "ba97efe9c93fab5942c350063b5d09c59dcb7c36b1c291d540acb653882a71f1",
      "reference_predictions_match": true,
      "spatial_predictions_match": true,
      "spatial_output_sha256": "ba97efe9c93fab5942c350063b5d09c59dcb7c36b1c291d540acb653882a71f1",
      "spatial_input_tape_sha256": "97bdee9b48e269ea216d9e582841ee4f361ba619a34d254313404fd3e844ff9b",
      "verification_seconds": 3.3609114209975814
    },
    {
      "draw": 5,
      "dataset_seed": 20262106,
      "correct": 656,
      "total": 1000,
      "indices_and_normalized_input_hashes_match": true,
      "training_labels_sha256": "220be075f76b3c754b46e227cabcf5a806540822a1be01c2fc450d7949dd2d65",
      "test_labels_sha256": "708497434c09cc02ed098174b5d55478fa4eb6a9b4780a09a891ddb5e3e9550b",
      "reference_parameter_hashes_match": true,
      "reference_scores_sha256": "d4ca34e8124dd957560592fd19f6bf787a7d376a131607f0e92301dda5e902d1",
      "prediction_file_sha256": "54c0eb56c3da9c44cdcbb0292292ad001e7e063be123cbc4b2dc7fa9e61f3bff",
      "prediction_array_sha256": "e2e7e4d936573144661fe0b44c7c5da1aebc0f8511acc53e16e1664d887025f5",
      "reference_predictions_match": true,
      "spatial_predictions_match": true,
      "spatial_output_sha256": "e2e7e4d936573144661fe0b44c7c5da1aebc0f8511acc53e16e1664d887025f5",
      "spatial_input_tape_sha256": "fa43ba21881122e7e37fa9466418208faf2466d3b4842d03fe5b31a4dbe802d9",
      "verification_seconds": 3.4731869280076353
    },
    {
      "draw": 6,
      "dataset_seed": 20262107,
      "correct": 688,
      "total": 1000,
      "indices_and_normalized_input_hashes_match": true,
      "training_labels_sha256": "c3555ad0158916f88dacf2c586fd4383f36df5efabd0562802fbd2c244c0273b",
      "test_labels_sha256": "b32c05a4296a4de8ef27cd6592338ec50ea8c9c931eb97a3dca5418fb0a113d9",
      "reference_parameter_hashes_match": true,
      "reference_scores_sha256": "881d6a851b25d8691ae8a33922e6e542670a8fbd597e9238985df2a95d1a5d5b",
      "prediction_file_sha256": "27acb4daecf189bbceb11cbf58a89ab2e7608d7a095b5a6fe63b5ccd3112afa4",
      "prediction_array_sha256": "4e261c7a149447520c23136913e8cb0c718de3595b783e210bfb0701ed9bfeee",
      "reference_predictions_match": true,
      "spatial_predictions_match": true,
      "spatial_output_sha256": "4e261c7a149447520c23136913e8cb0c718de3595b783e210bfb0701ed9bfeee",
      "spatial_input_tape_sha256": "4d09eb5fdc23300d233c3480233c1da87ef4273a8f5dcae9b971c4d30cd60b20",
      "verification_seconds": 3.388550130010117
    },
    {
      "draw": 7,
      "dataset_seed": 20262108,
      "correct": 649,
      "total": 1000,
      "indices_and_normalized_input_hashes_match": true,
      "training_labels_sha256": "a63a6a2c96d6ad74c6e72c4fc0399d082ec4a95d55d7b34251df5f3ef21fee1d",
      "test_labels_sha256": "c1efc36ebcb08f0d8090c4695c8cdba069d83bfb8c0770f5141f358a8abb4ade",
      "reference_parameter_hashes_match": true,
      "reference_scores_sha256": "38582557772250077f5e6254c4bf4ab3f7b4c70194d96765d70b3b4b4dd440ce",
      "prediction_file_sha256": "4468e0c9f1c959c31f8805c95652e526a222c60224999ea46186885e499fbbe4",
      "prediction_array_sha256": "521904f0e84a3ffb9e09d3205058f8f8e508b2983ac5d9e34833d8b47114d981",
      "reference_predictions_match": true,
      "spatial_predictions_match": true,
      "spatial_output_sha256": "521904f0e84a3ffb9e09d3205058f8f8e508b2983ac5d9e34833d8b47114d981",
      "spatial_input_tape_sha256": "2f8e957844627c110f5d69211734513b21488a0cd3a631bf73b70473ba60e71e",
      "verification_seconds": 3.4241432970011374
    },
    {
      "draw": 8,
      "dataset_seed": 20262109,
      "correct": 673,
      "total": 1000,
      "indices_and_normalized_input_hashes_match": true,
      "training_labels_sha256": "91ebd2b3920c4bbc6973a7dfea55fa20aa55bf67c1b4af78cb4fe978f5f76d33",
      "test_labels_sha256": "f68c4f8384c7855f69c800fcb003a6fb3d6f51cbd80a1cc3251977e30cbaf88a",
      "reference_parameter_hashes_match": true,
      "reference_scores_sha256": "88a92869b3a600477449e737b8a02e6e49493896a29a680d31bb18e2c166eb30",
      "prediction_file_sha256": "46285b45f7cfc6b23e89f55c60a4540156c6f336a3de7f1bbc0cba71c95d6131",
      "prediction_array_sha256": "fff41d5e3abffceba855b84ee2c2f541fffd9e139ee94e93ef55066468fabc50",
      "reference_predictions_match": true,
      "spatial_predictions_match": true,
      "spatial_output_sha256": "fff41d5e3abffceba855b84ee2c2f541fffd9e139ee94e93ef55066468fabc50",
      "spatial_input_tape_sha256": "3b507cc83989b9a992533786a5681bf25160c2e55c6a58749d457648a2f3f9ff",
      "verification_seconds": 3.4712441500014393
    },
    {
      "draw": 9,
      "dataset_seed": 20262110,
      "correct": 683,
      "total": 1000,
      "indices_and_normalized_input_hashes_match": true,
      "training_labels_sha256": "3d3455f19a1ca86cf388a890a7d8cffcf7a6a702a2c448a4d04da7b2be3343aa",
      "test_labels_sha256": "7a829e40448a694c5530b55fe07985736fa8ad05f4f0f8bc1833ba846dd1964d",
      "reference_parameter_hashes_match": true,
      "reference_scores_sha256": "74cd21b806321cfa136a4769f6e69fd098c86d6c2f5121a6c6f42e1c0dfe40ab",
      "prediction_file_sha256": "c87e93fe201a41dd988b5d845797dc6997bc646e6de862659d7a3f13e95dc4a0",
      "prediction_array_sha256": "29bd21a0c8be63711797cf82ef64289820ef256ed84319cd63a73df830f14cb1",
      "reference_predictions_match": true,
      "spatial_predictions_match": true,
      "spatial_output_sha256": "29bd21a0c8be63711797cf82ef64289820ef256ed84319cd63a73df830f14cb1",
      "spatial_input_tape_sha256": "cf9db551a6b170749fbcfe98928e31ceb5155f12a0af7a28fbf7b8cd71f05a2d",
      "verification_seconds": 3.4851878799963742
    },
    {
      "draw": 10,
      "dataset_seed": 20262111,
      "correct": 679,
      "total": 1000,
      "indices_and_normalized_input_hashes_match": true,
      "training_labels_sha256": "99c6de45ad74cd5bfc9dd8dd7859f5376765e8cf5126fb214b90ca10bb2e9ee4",
      "test_labels_sha256": "492ed418a4e1a15a3774a6cf972f5b1b258ba9f560af32671d6460e0b9c1c7e1",
      "reference_parameter_hashes_match": true,
      "reference_scores_sha256": "8c552ce6e3896b5ad3a3ea7608626669e76ae6a92ed4c2806c1432b3d672c338",
      "prediction_file_sha256": "d90aea56ae8c377ccb1f760e0a66071e1861f8923c92a7eb6dd6d3bc5095a39c",
      "prediction_array_sha256": "e8ded4c51b067710e3cc6274f70f9f7f645bf7384219942de7719f91eedbd0b3",
      "reference_predictions_match": true,
      "spatial_predictions_match": true,
      "spatial_output_sha256": "e8ded4c51b067710e3cc6274f70f9f7f645bf7384219942de7719f91eedbd0b3",
      "spatial_input_tape_sha256": "e5593cfaeb2156ebc2f18907ace0fac70727093e1224d17f5a41370bdc7aa93f",
      "verification_seconds": 3.6699432129971683
    }
  ],
  "grid": {
    "program_sha256": "f718b24b3648c933119363c21fcb508c66d0a37e84e06b6d0becb30e4656efef",
    "energy_fj": 889633966,
    "energy_mj": 0.000889633966,
    "cycles": 10316314,
    "time_ms": 10.316314,
    "peak_allocated_scratch_bytes": 47088,
    "total_executed_instructions": 2457208,
    "placement_sha256": "e95031b61ca0ae09e5a7204bbca70d0e23b87c07ad6d5217c9f3888327ff1d32",
    "program_file_sha256": "c1d4f7a20b2ffd3b0affae9dc8b872379e03e260a1fdffbaaa79c3fc469bacae",
    "grid_score_file_sha256": "35a62d43a1b1cd69b36b54ac300ff42a83e6cc936f7b28d41564820d8d158d4b",
    "all_deterministic_score_fields_match": true,
    "fresh_scoring_seconds": 0.10942003500531428
  },
  "protocol": "protocol_fresh.json",
  "protocol_sha256": "1b014341ac8d072a273a9c1af70595fc0cec0b2ccc2f9d6718ee222ca62793e2",
  "beacon_authentication": null,
  "provenance_limits": {
    "protocol_timestamp_precedes_prediction_freeze": true,
    "protocol_and_learner_bindings_checked": true,
    "historical_preselection_independently_proven": false,
    "public_precommitment_verified": false,
    "note": "Protocol and learner hashes match the fresh manifests, and recorded timestamps are ordered. Local timestamps and commit history do not independently establish absence of prior evaluation."
  },
  "verification_seconds": 37.71553631899587
}