{
  "verified_at_utc": "2026-09-15T12:31:26.676223+00:00",
  "passed": true,
  "scope": "All 11 recorded draws: canonical raw MNIST, exact indices and input hashes, frozen prediction files, reference parameters/scores, evaluation freeze hash, accuracy/sample SD. Spatial scoring and reduced numerical execution are recorded separately.",
  "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": "266391abaa975f1eb7d7c09a04bc1fefe4ac22edc5de1cbe166e824d0740773a",
    "verify.py": "7ebe80ee017d799fd7c561bc60d8794509eab8f1f5f30be482570426bf3a4a88",
    "reference.py": "42c1e15ec807b45f9098d4a58486d5c736e8aa196aebf6f7998e603b11d8a376",
    "protocol.json": "23a72b9b593066a4655d161aa835a19829da1fbb6224d3724d810271d1ff81eb",
    "requirements.txt": "0fb00a7834b22a5fa74160751768ef0f2d8c24b738e2194627ca8499d28705d6",
    "mnist/code/data.py": "982bedbc56d928760f47f78017102652fe5492c57e3160e410514ded445744fa"
  },
  "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": "60ccf8bb6068a718f430d5faf07109236ee79d9c646543738efa71c80e9a0cb8",
    "prediction_manifest.json": "0afc410b3dadbf29259bb91ef5db10295b4e36b6f2bb1ad6c20fab5862a39e61",
    "accuracy.json": "74a1540e8eef6bc042cdc1e19db5a321a9ca2099fdf380d551446cc2a6c2aeb8",
    "evaluation_freeze.json": "2d37cccbc2edffc692b5c5c550f8dc68dae621b2cba68073eba9e98fc76f6e8d"
  },
  "accuracy": {
    "draws": [
      {
        "draw": 0,
        "dataset_seed": 20261501,
        "correct": 9544,
        "total": 10000
      },
      {
        "draw": 1,
        "dataset_seed": 20261502,
        "correct": 9572,
        "total": 10000
      },
      {
        "draw": 2,
        "dataset_seed": 20261503,
        "correct": 9572,
        "total": 10000
      },
      {
        "draw": 3,
        "dataset_seed": 20261504,
        "correct": 9544,
        "total": 10000
      },
      {
        "draw": 4,
        "dataset_seed": 20261505,
        "correct": 9538,
        "total": 10000
      },
      {
        "draw": 5,
        "dataset_seed": 20261506,
        "correct": 9555,
        "total": 10000
      },
      {
        "draw": 6,
        "dataset_seed": 20261507,
        "correct": 9540,
        "total": 10000
      },
      {
        "draw": 7,
        "dataset_seed": 20261508,
        "correct": 9540,
        "total": 10000
      },
      {
        "draw": 8,
        "dataset_seed": 20261509,
        "correct": 9577,
        "total": 10000
      },
      {
        "draw": 9,
        "dataset_seed": 20261510,
        "correct": 9571,
        "total": 10000
      },
      {
        "draw": 10,
        "dataset_seed": 20261511,
        "correct": 9577,
        "total": 10000
      }
    ],
    "correct": 105130,
    "total": 110000,
    "mean_accuracy": 0.9557272727272725,
    "sample_sd_pp": 0.16511153255244929,
    "error_target_percent": 5,
    "target_correct": 104500,
    "target_met": true,
    "also_12_percent_target": {
      "target_correct": 96800,
      "met": true
    },
    "also_8_percent_target": {
      "target_correct": 101200,
      "met": true
    },
    "also_3_percent_target": {
      "target_correct": 106700,
      "met": false
    }
  },
  "draws": [
    {
      "draw": 0,
      "dataset_seed": 20261501,
      "correct": 9544,
      "total": 10000,
      "indices_and_normalized_input_hashes_match": true,
      "training_labels_sha256": "ab57dc42b90ed38981f4637df84f446f9b5d2da1559504981fb0a64aaeac5834",
      "test_labels_sha256": "9f96d37e3b809617594f8624f7f8fe300e411893dd02ece531c11c60d0b4b0e3",
      "reference_parameter_hashes_match": true,
      "reference_scores_sha256": "a66e26dce1a891c433787a13ee5f24d62009716cefb7523faf1cd04f507177db",
      "prediction_file_sha256": "feb0ac3d919107b3b90361e32dac834712a57389c405d4e800098cc6a46265c5",
      "prediction_array_sha256": "59ae60b410104335c0c8301de2748e4b3aa6a90eeaae6b842f4a9c31f98f2126",
      "reference_predictions_match": true,
      "native_blas_train_input_sha256": "479b0da621a9488dfa8bcda4995ba80c31f166d66d61b519b449c481e7812cca",
      "native_blas_test_input_sha256": "8aaa29050cabaf52b5c5f90d0fc87a0b35f37f464ed736ba56c4a79f8e94c15b",
      "native_blas_inputs_match_recorded": false,
      "recorded_train_input_sha256": "997f48ef435e2fbe0406699461b1f2ab355f84a4ad99dc2e8a4b1204c56e126b",
      "recorded_test_input_sha256": "1c266fd7b01c548ad8f5604ed3998891e147d7673bf90b9d124c3bdb90b2a76b",
      "parameter_sha256": {
        "m": "fd103ed9680176f86932d8d6a6fcc6601a2f65505256daa593e904e61affd26b",
        "W": "3d54b008bf508bf6aa0ab101203363dfc0e6f9a7e2f4799e51fae0157b456eb7",
        "mu": "83974e9bd26e9fbde13909d7b0ac701db509ac327dd0679e487a7823bb4b7d7b",
        "packed": "589bee6970a7c66e89647ea5641f20fb47f88d23021abe22a9c068702c1ed9ec",
        "kappa": "22a2ce650f8f614a57b3444f670a287424d849d0c0ff4aa01262fb8b9fec2b3e"
      },
      "verification_seconds": 1.2802284350036643
    },
    {
      "draw": 1,
      "dataset_seed": 20261502,
      "correct": 9572,
      "total": 10000,
      "indices_and_normalized_input_hashes_match": true,
      "training_labels_sha256": "c56c1dc6cda8e442251d5197e910ac36f6be33ece70ccc7e99882b4fc5fc5f1f",
      "test_labels_sha256": "bda8d762ee65b82c214e45a7814fe650352e43d93db60ce987b51669f4fcde1a",
      "reference_parameter_hashes_match": true,
      "reference_scores_sha256": "1e634ce3123adf4fdd7c767978481236720c895576186dcb8e89051036c394bb",
      "prediction_file_sha256": "2866b3bf19b52925afb077adc7d64c894901688add801095cff3c02dbcb2ea0b",
      "prediction_array_sha256": "0dc5bce9cc686862dae48c60a07bf8ef4a5b2d9bb34ec6eb7569f7deafc2bef4",
      "reference_predictions_match": true,
      "native_blas_train_input_sha256": "2a1c7a03fa31bb57ea3d6ff3d76599fb423f8a9039c4dd70083b3ef624a7b1e8",
      "native_blas_test_input_sha256": "aea3683822cb6e822672c5bd840f0e98c8b166b2d0e6db938715c0a4926fca3e",
      "native_blas_inputs_match_recorded": false,
      "recorded_train_input_sha256": "32c62ca88bcf59af05456f6d17e2eecde5112bedd318ba1f4fc9f87461245842",
      "recorded_test_input_sha256": "35ea308b3a4d0622f05555be2884b1c36099bcfec881f236175380ae0c3925df",
      "parameter_sha256": {
        "m": "b3666270da62666efe27c310733177bf15e09bb9beb59c1619fce2e19bbc2a32",
        "W": "80d86ec9ee3ec5b25b8dff542bff327e1cc3d5768f80dc2ad658b82b75b7672f",
        "mu": "ad984539c643be729fdc437e992f7b91ae1f3d3bda2d9fe1a656852f17beda35",
        "packed": "5bd61838771e2388a783a08f96aa3426113403b621e48ab4694d5fe1d2d1dbf4",
        "kappa": "b3ceafdc1b3882e5eea7940d14b64278dfb19be9032972ffd77b06b2b820f875"
      },
      "verification_seconds": 1.0834113230084768
    },
    {
      "draw": 2,
      "dataset_seed": 20261503,
      "correct": 9572,
      "total": 10000,
      "indices_and_normalized_input_hashes_match": true,
      "training_labels_sha256": "4338b558f2147d686d0d517b571dd53a9bac58e7e7b29c8b0b80330946f3b52c",
      "test_labels_sha256": "8e1b5fc4c950af63757f0afab4e7395efe4197c41578d758b33966f733ba1b03",
      "reference_parameter_hashes_match": true,
      "reference_scores_sha256": "049ba95c4209af808ded640d1a1337cc0b767946701c2d58d7bd9a27aec4ca71",
      "prediction_file_sha256": "d595151ad0a020fb327a9a4e87793f217dde04883278e0438c6a959a3c468a92",
      "prediction_array_sha256": "bb6d01de8c5e43e1d3fd99c1ff299dc4d2ef305c372ff7b3a1d40666c2b9faab",
      "reference_predictions_match": true,
      "native_blas_train_input_sha256": "e3f10e6ca5ecd32fb4e578fa84b882b1bb25a530c0f880a81e06f0369679fa0e",
      "native_blas_test_input_sha256": "c5727d48e3136de9e65c62a3f870be89302a342904156a41d74def966e671b8c",
      "native_blas_inputs_match_recorded": false,
      "recorded_train_input_sha256": "087253f6f310aa1f324886db2d13b548711842313e2e4d0d789b7a0360592018",
      "recorded_test_input_sha256": "170060c72c309e6bee7059867ddf6d8abd9c7709854e6b5ecb16f9cfcd48ae73",
      "parameter_sha256": {
        "m": "2aedf16f2a5199c3aeb1dc1086408a05c333eade8ee3aa69974caf739433cc06",
        "W": "dc7f70785cdfb13b686faa6b633838ed34b08ea2eebf51af8d82a9c1eedc0de9",
        "mu": "73dd48e35009454c02caf969b6f7e28a69b11cf9357940139aa2a7801075ff5c",
        "packed": "1500309deb32f20f2ec3edbdf70de691befda07377da680c92a05426ba7d42b5",
        "kappa": "c13b8e187430ebce25c04d21fae6e681060d1f9ff22f920daa11fdbc3f8fef8a"
      },
      "verification_seconds": 1.0927915750071406
    },
    {
      "draw": 3,
      "dataset_seed": 20261504,
      "correct": 9544,
      "total": 10000,
      "indices_and_normalized_input_hashes_match": true,
      "training_labels_sha256": "6f628432725eac681c357e1510ffa2d92c362927a5f9671c20c979c81fe114d5",
      "test_labels_sha256": "b8e2f097a4e0f89389dbf0cb8fb6db51b70450add2021f7af2dc4175fa9e9554",
      "reference_parameter_hashes_match": true,
      "reference_scores_sha256": "c9d1ee1b6efedbd9e6e48943b86c8e4a50ad441497d7468e216863060cc9d745",
      "prediction_file_sha256": "55997373cadd4f2d0ae4e946e2858ec23fb62925ee09b0779560d8f146feafe9",
      "prediction_array_sha256": "d6271498eeeb2ffdba13e4377ef37a2505da967a7eccc215c93ed532d4e6f36b",
      "reference_predictions_match": true,
      "native_blas_train_input_sha256": "cdd59c87b7c933912fc46732b24db38317db58af617315298f57cd160e114550",
      "native_blas_test_input_sha256": "7a7ad48d93ba71887dd77ce684255ccc9511d70583567ab8d30ca6f91c19acef",
      "native_blas_inputs_match_recorded": false,
      "recorded_train_input_sha256": "da77df68423dd37f5e047a948d8b067093be0349c613b96d7c9895c92ac90b93",
      "recorded_test_input_sha256": "36bda2ad69e03ae8be579494ac1ee4478a208fb4cd6304569d7767cc14263364",
      "parameter_sha256": {
        "m": "e2d5d55d892c18991e14255223d3ac22403557989dcab62de787c4fdb1a4657e",
        "W": "ec411f02ab8d972bdf0311abdfec7867bbae6c24fdc8ae52a3ebda1e2845281e",
        "mu": "36af68d9bf5408249cf18c26f8ba57155a61af4f28ce5bdd20f14374f0888fb2",
        "packed": "7306aa815d3d0b6159ee61f647bb4a69d5e838cc81a94a283cfacae75943fa28",
        "kappa": "237ccb7b7e0cb90b0aa8afab66dbf1385f2bb82f6f98cecd1d3061f313f7cdf4"
      },
      "verification_seconds": 1.0921935999940615
    },
    {
      "draw": 4,
      "dataset_seed": 20261505,
      "correct": 9538,
      "total": 10000,
      "indices_and_normalized_input_hashes_match": true,
      "training_labels_sha256": "3f7d7ea85d73ecb16e1fb2ecaafef3ed57ee4f3673258a67fdb1a1b98042244f",
      "test_labels_sha256": "b63d8a352b143e130ccb3b06cc39e4f1a4eb9d3a9a9cd26c334a5a73342ad2bf",
      "reference_parameter_hashes_match": true,
      "reference_scores_sha256": "8208f0b65bbee490600422846a4d308fbe6a1e33fd6e6a79fd547b8f918f5650",
      "prediction_file_sha256": "71b6021968da7bf66066b4acfbe554e0347e5d3b3484b1f96fba59288b9af31c",
      "prediction_array_sha256": "a2325a5b4c1750cad086555cea388deb58ee22f3de9fb1b7f2b3305da2dc003b",
      "reference_predictions_match": true,
      "native_blas_train_input_sha256": "e49cfa3236021601794433be30097c8a07ed74ceb68edf544512a3ce0e711762",
      "native_blas_test_input_sha256": "e6c38c768027dfd89892bfff62f634fbefc9ed9260f6ad3fd0b7a8c679bda0e1",
      "native_blas_inputs_match_recorded": false,
      "recorded_train_input_sha256": "78434edf7c055ce117eefa848c88c547f814fdf7eec0ce9a434227c521870c6c",
      "recorded_test_input_sha256": "316ec829a9ed240a89d1ef133215a1f7baea3dd779bb5de72b519da3c1c9a267",
      "parameter_sha256": {
        "m": "576293483614802d5c06345d12d58f2a6c42aa18d3d01a4686b70f38d588c420",
        "W": "b65e1f7588af5a4dd0921c843fdfaf3210102338be680460cfca42eb05aff724",
        "mu": "178a366cf22bc5d1f6d8e4610c2cbe59f03ce67ad9c7cccb575c07b621448b07",
        "packed": "cf2206371500530237c3f65fefe67cd6220793e8b5f29d3d1326258d60961491",
        "kappa": "4cfe423f8fcc3f348d5e8cd660a8e11872be98b8d584071404391bf3a1168ca3"
      },
      "verification_seconds": 1.1105651099933311
    },
    {
      "draw": 5,
      "dataset_seed": 20261506,
      "correct": 9555,
      "total": 10000,
      "indices_and_normalized_input_hashes_match": true,
      "training_labels_sha256": "002d84e075cdedadc9ecff1411300b7692a5d52fbd680844d7a046f6fc88532c",
      "test_labels_sha256": "f690c4076c934b0c32478c7eb7c46f592c7a7210c8b009880d1e89686ec1e73f",
      "reference_parameter_hashes_match": true,
      "reference_scores_sha256": "84aaa96a1938b7a7299ff19842da8b3284befb2a47786be9678ec12cc2d30f09",
      "prediction_file_sha256": "48af559477280a56bd4e416aa54ff270c443062889130f97fc627c07b99dc32f",
      "prediction_array_sha256": "8aa3dbe3b1dc33176bcba006c08bbf317ba238fe47d75afe1ce764fc5e06cc1c",
      "reference_predictions_match": true,
      "native_blas_train_input_sha256": "e60006f602ec51f360c9adac19fa2c2cccf2e6b477b7c1c133494b0b16c85f41",
      "native_blas_test_input_sha256": "b9c7e1d79b3240ff16d5ebdc80cb10cc4e1473f1045f088c793529cde3562568",
      "native_blas_inputs_match_recorded": false,
      "recorded_train_input_sha256": "b3b6934f046ef09c87306c8945517e8fb3c31b63eb2148f8b47aa4a41064e660",
      "recorded_test_input_sha256": "4cf4d4995c40b463cf213bc2f683aa99e9450afa75dcd0f120b9dc0a1587190e",
      "parameter_sha256": {
        "m": "b737369cd305ba9cf00781a23256852c778e6a3af3419fce2f65a60251bba7e6",
        "W": "62865ff91f0c5b7debde874b590c5e45fbeb000c18cd936cba6606e9b7f274a1",
        "mu": "e1121966125e0ad5ede038fa68cc0e328f21bcc70af494467b66434e091b44c7",
        "packed": "40773f29d1ec434cac696a7686df081b59b59488fe9db5a2817ae11966e824be",
        "kappa": "746ca3b9f44b624221ec91a407433b6a017db56a4aa4508ef2df9c73b5f38d98"
      },
      "verification_seconds": 1.1029536449932493
    },
    {
      "draw": 6,
      "dataset_seed": 20261507,
      "correct": 9540,
      "total": 10000,
      "indices_and_normalized_input_hashes_match": true,
      "training_labels_sha256": "a0030c8f22295b2e287f9961df85eef7968fa0661150cda79e02ff163df51b03",
      "test_labels_sha256": "314d4e9344e8a15484cc708cb785cb2039bd95073689fb9bfe7f740aa93469dd",
      "reference_parameter_hashes_match": true,
      "reference_scores_sha256": "bba5792351997cb81da33c1cf1bcf046fd09873945616ae499f91b26b153c22c",
      "prediction_file_sha256": "c6a1c8bbe75dbfbb4e0b39669bda0e4c2305e3e4c4b671a922ad0f6e25d57cf7",
      "prediction_array_sha256": "01a82a61908487c4e1130fba072a64832635c29435fd9d2f473decdaa104ea47",
      "reference_predictions_match": true,
      "native_blas_train_input_sha256": "f4af2aa58b8d54a7a5e556dac5ad8df86326a28396bad457260e339cfc92da48",
      "native_blas_test_input_sha256": "af8512b7c2cc770194d7c4b4a0d8be5c87462737131353bd3047ebebb204f822",
      "native_blas_inputs_match_recorded": false,
      "recorded_train_input_sha256": "2cdcdf779608599e174a2e29c351e96f96edb9c8b94d1e0facc4aba72c1236f0",
      "recorded_test_input_sha256": "b048dd19fbc9aae343414e2e87dbd984d77eb2ec7358466805212cd3d0a17905",
      "parameter_sha256": {
        "m": "783710eec7998ca5cfd429dbc7ee94cc5ce1b0c3f83fc4f22a243f71e347c780",
        "W": "c5f79d7254fa7b53edc2314cfa8e6760f07d3347dc96c91095b8fb54158d868d",
        "mu": "a073111c11c4ac70e733d1e951b386b36ce30a04f552119c08c645aa254b933a",
        "packed": "dd49f761e6d2e04ae5ee8c349f2ab2dcf9c2028fc3d98c6c51c0e8da3f441975",
        "kappa": "ed5cbe716687cdf8bb08acda9a984cefa3b8555e71d7fafc5ee8c95317205241"
      },
      "verification_seconds": 1.0879607730021235
    },
    {
      "draw": 7,
      "dataset_seed": 20261508,
      "correct": 9540,
      "total": 10000,
      "indices_and_normalized_input_hashes_match": true,
      "training_labels_sha256": "3f0dc17ab95a9a4bb2472292ab42cee8956741d064e9c4c2669fe9427db89d26",
      "test_labels_sha256": "b4eb5ba3194c49900bed9e91edeba24c2c21472b96ad4164c2380759633f8a37",
      "reference_parameter_hashes_match": true,
      "reference_scores_sha256": "ba716ec60a6322639c55225f9649974ed0634a70d23303d0dca67731211ff340",
      "prediction_file_sha256": "cf1813ae0211b7df105dd5c9d563fbd138eb89866a097f8977c7fe6a89575412",
      "prediction_array_sha256": "04e738ffcbdbc4064b49700c1d43f65da6ed080f43e4a8a4d29fef3081c217e9",
      "reference_predictions_match": true,
      "native_blas_train_input_sha256": "41562f0479a0ab1d165014a572957b634f7e85a4e8b60c6460f9dc4f15d33d39",
      "native_blas_test_input_sha256": "0efcf939c972831b925de8f1e01f2ffc93b19bc5c5fff54f3f711543bba60c58",
      "native_blas_inputs_match_recorded": false,
      "recorded_train_input_sha256": "21362cf50bf76749604a8b6ea60a930b609ffe57dd435c80737b0e8ff13c46e8",
      "recorded_test_input_sha256": "743658706aacd0c66c78c25523a17daf8821db946855893fc7784235e4defffc",
      "parameter_sha256": {
        "m": "90897325cc1ff2f6ffaf147dcd432eda90cacb8bdcda47f4c9d6efb9f9e928d5",
        "W": "f83c971055d4aed6c6299db1c80e95989c5658645ee2fa11adb9daee801bd865",
        "mu": "cfd695fae344f8c4063f596ac8f4727df2ebf99ac6baae00a7cc90fae5ea4048",
        "packed": "69399fce0dca4ec2d827011f987cfedcb40fe11a0ede7f5a0cb59fa26115f5f4",
        "kappa": "b12bd7eb8f5bf96bb06d2dfa013f6baa2757465cf43313e2557cce461aad63f9"
      },
      "verification_seconds": 1.086420523992274
    },
    {
      "draw": 8,
      "dataset_seed": 20261509,
      "correct": 9577,
      "total": 10000,
      "indices_and_normalized_input_hashes_match": true,
      "training_labels_sha256": "a8b9964031e563adfa94f0e77f19292ae7d400039397d85caf0ab3ed3861d2a1",
      "test_labels_sha256": "088a1884bf85821035af951a750710b9f31e14b33f29e6b645e8fe75f01287a0",
      "reference_parameter_hashes_match": true,
      "reference_scores_sha256": "3ed3201fe5aaa5e0a7266b4efbb1faae8a802d79d23b21fb7ab74e97fd7681f1",
      "prediction_file_sha256": "6c35e34ef5b4a7be72361f61ae0de235b297a37b3ef7bbe5339271eaf9815c9d",
      "prediction_array_sha256": "377dc5a81c5033f55b663d4b748331c2de9c2268b0c030aba8baf295b20400c9",
      "reference_predictions_match": true,
      "native_blas_train_input_sha256": "8340bbb4320879dff6f39253e2d80533c7e756e9d2c52d5bcdd0546b2ee427d4",
      "native_blas_test_input_sha256": "91716ae74151be8f0ba6194f30a67211ae4b54f816dd4761d57e3555c5c2c54e",
      "native_blas_inputs_match_recorded": false,
      "recorded_train_input_sha256": "32853cb8dd9733f24ac48fa4e72f0fa5fbd8dd61e189e8f731e9d1748c5878b5",
      "recorded_test_input_sha256": "0761ac9c20b188ecf5612018916f2efbd25eb5d70157baaacf283d31ade1d053",
      "parameter_sha256": {
        "m": "23b6edee6eab52aea615883471691336679f04ad634f585dbf6cd0e2c00d2514",
        "W": "1d5b6bb2994e920fd2b45c9d6173d82e9bd07b6dba7bb375718d6ffe994256b7",
        "mu": "8eae4fc6ced2966aace3f02db69e0e93f9cb566c9f2aed59de8c49968dffede4",
        "packed": "e8226f15b7a0c2b6e0c867c6e4eea50da97e74ec1ef1840e1d49b6883365ad7c",
        "kappa": "2bbee2fe16ab3dce9ef3bb0246af8906a228e2ffe1030a0519b51dbf2d0e5296"
      },
      "verification_seconds": 1.0866503190045478
    },
    {
      "draw": 9,
      "dataset_seed": 20261510,
      "correct": 9571,
      "total": 10000,
      "indices_and_normalized_input_hashes_match": true,
      "training_labels_sha256": "539e5976a981ff00a34ae1bdaab3469f9bec836c1435eae5b202761064b7af1c",
      "test_labels_sha256": "d30ae8ad0b16e71043d2b9d00e17528f2557217d9c820dd42152fe3cc9157fc2",
      "reference_parameter_hashes_match": true,
      "reference_scores_sha256": "501cd2163ba6ebef3fdfc04004995f703733f87b2729b4f386da34a7e33683c1",
      "prediction_file_sha256": "fc74243f0d0a07e44c301895109a208097519dd7d36f4a32566f23ea102003b5",
      "prediction_array_sha256": "e33e34663c17479e81707916121e30c7a351b399398cc740532aa8318654ffe3",
      "reference_predictions_match": true,
      "native_blas_train_input_sha256": "f04a51534c88fea09762eac8da52eb45c1f9372e355fb9794d9eb166277f3db0",
      "native_blas_test_input_sha256": "a4c6b0e765913ffd088f112373e2fb423c1405794e2f1571d4f32c388d43eacf",
      "native_blas_inputs_match_recorded": false,
      "recorded_train_input_sha256": "e0181f1b923f69b8b50e7ff46b4520d0a63aa1d89e5b783993d82bfbcc347c8d",
      "recorded_test_input_sha256": "2a47c70a7c7d6efb35c422270fea4892546df231d8fea4bf536050d385978427",
      "parameter_sha256": {
        "m": "37ba137efbb5688ad881722a724606e0feac8e5c7581b4c32dd266c9dcaf656c",
        "W": "01b90a260256818ebd03719b156b952a81b5a1094677785405f26da0ce718d43",
        "mu": "5271f9f7a08c70dbaf242d274ce651b5b7845beaf33104ad7edc2cc86f2c4f84",
        "packed": "cefce9a9ed864f3f104f599c20e79e627f35c407cffd09e165cefdcfc6c25b0d",
        "kappa": "c7c9025d7d4f8749d59958dc9812b819d119438afbcb5d8c73e3c079c53b130d"
      },
      "verification_seconds": 1.1036507120006718
    },
    {
      "draw": 10,
      "dataset_seed": 20261511,
      "correct": 9577,
      "total": 10000,
      "indices_and_normalized_input_hashes_match": true,
      "training_labels_sha256": "a5045baf5c498155b29479bb62949d13bc3b6d930d5a358fd8f1a1bb0232e623",
      "test_labels_sha256": "5bc7597c165afd7606a940cdacdefa3da84ee317e0b7753b2e0c6335a07a0ca2",
      "reference_parameter_hashes_match": true,
      "reference_scores_sha256": "dfd264bf40442cd4f4c80810d38b4c1c9b28ae75739088e79490054078d2bad5",
      "prediction_file_sha256": "4b49c8c9a8cf470889160ffde9cd8c2823cc134d97c1e4e1ccc1967d0921564f",
      "prediction_array_sha256": "5ad5f0f3fad1829a99c52bf6e5a260b5ce599ea03f627a76cf53d43f96c66d11",
      "reference_predictions_match": true,
      "native_blas_train_input_sha256": "b10a4f3690b83193f478deb5068d12ef0dc9c1a561d713ae532353471caa57b6",
      "native_blas_test_input_sha256": "d846c58b21432264c2dba1d3c50d3cd0c5ab7512cf4010afee03b716f0103697",
      "native_blas_inputs_match_recorded": false,
      "recorded_train_input_sha256": "6567e2254d5a272e0eb12ba7e7dc50501f684e612a15153094b358d008517099",
      "recorded_test_input_sha256": "f0f8e4626472b89f915413fe736b84670277279c43da8c3a13697e9f72bba08a",
      "parameter_sha256": {
        "m": "37b962e1374671b971ba37c83889f1c12dd4f836291c2b11fa3c95aeb3065319",
        "W": "4eef383c3fadd6b973c4dc7e17fb3378d26792b8c4c9c6e693ae5ddb3974fd03",
        "mu": "f540dcb32159a9deb4226072233a1b180e3cb701439230ffdc927127a44689e7",
        "packed": "130b842f62cbb82e754eb6da63b081be5ccb7ee17f2575434f21e99893d2aaed",
        "kappa": "8205e96969dbeb5bf302807e8046d765948d926c77fe2339203188ff36169b65"
      },
      "verification_seconds": 1.067085679009324
    }
  ],
  "preprocessing": {
    "implementation": "run.resize_recorded: repository box-area weights, sequential accumulation with FP64 intermediates and an FP32 cast after each multiply-add",
    "all_recorded_input_hashes_match": true,
    "native_blas_all_recorded_inputs_match": false,
    "reason": "Native BLAS matrix-product rounding depends on CPU dispatch. Explicit accumulation reproduces all 22 archived input hashes on this CPU."
  },
  "spatial_validation": {
    "performed_by_this_verifier": false,
    "report": "results/grid_verification.json"
  },
  "provenance_limits": {
    "protocol_timestamp_precedes_prediction_freeze": false,
    "historical_preselection_independently_proven": false,
    "note": "Hashes and reproducibility do not establish historical learner selection or label-access order. The imported protocol timestamp is later than the imported prediction freeze."
  },
  "verification_seconds": 12.226480944998912
}