{
  "schema": "agialpha.out-execute-local-study-record/v1",
  "scope": "local-authored-finite-study-not-release-acceptance",
  "sourceCandidate": {
    "commit": "08f427d3953eb11f973ede1b988174c3917e8add",
    "tree": "bb6e98f816d51a07974a9ed13367bc3e45ac206a"
  },
  "summarySha256": "3409fb9c2a90b8d694b0f40a5e5ae6c2abe6f62e1d52624c79e9c309b19ae846",
  "reproduce": "node examples/successor-capability/out-execute/reproduce.mjs <new-output-directory> 64",
  "retention": "The 64 full model/result/archive files were retained locally and hash-checked when this record was prepared. They are not embedded in this compact record. Reproduce them with the checked-in harness; hashes are custody identifiers, not proof of correctness or independent attestation.",
  "studyHarnessSources": {
    "examples/successor-capability/out-execute/baselines.mjs": "77b50f8d6a84f86d1166c4c025cc8bcd9a680432f8529a9acdc2df9da0b4863e",
    "examples/successor-capability/out-execute/fixtures.mjs": "f7cde64034c686d97d099beeec86be264c6b1c8e6388ffdc95691ee7338fc5a6",
    "examples/successor-capability/out-execute/reproduce.mjs": "7541e00adbf441ab8644741bec2c2af3ac20111e9396ebcc0dc07316be949f5a",
    "examples/successor-capability/out-execute/source-manifest.mjs": "4f4555d3b3c181b80bf95f561878212419963eb2b8da363d34d10f4f8ef7eb3f"
  },
  "summary": {
    "schema": "out-execute-authored-study/v1",
    "protocol": "xorshift32-explicit-scopes/v1",
    "manuscriptCompanionReproduced": false,
    "manuscriptClaimCounts": {
      "snapshots": 576,
      "semanticStops": 158
    },
    "source": {
      "source": {
        "compilerSha256": "e6b521bdae4f9398b47aa12ad3fa32faab555c7bc209c6f25c1126dbca50a0f5",
        "checkerSha256": "0e16c04b1705a0106216314400146cd0deae038e5d19c44536597a60fbdd74b8",
        "evaluatorVersion": "out-execute-independent-enumeration/v1"
      },
      "compilerSources": {
        "examples/successor-capability/capability-package.mjs": "7010c63d3529893e37c929b0f2c30b011c6ef9b96de6774bb12bd8a29e78fc86",
        "examples/successor-capability/constructor.mjs": "99feb7ca1b3be001d4aed5230d96598094ff31f58cda42be0a97dfc23f11f5e2",
        "examples/successor-capability/independent-checker.mjs": "b59034eeb73594178170d81d7b4f96625a52230e85bda94038bf7ccd4ad0d286",
        "examples/successor-capability/out-execute/checker.mjs": "010c0b6499fd1109e40cdb91b7d5e5da8a15716120af0a9beae47fd545769d2a",
        "examples/successor-capability/out-execute/engine.mjs": "146b4047dcd09f3e02733e4dd3ed6f2c170e3ff01932e18bfdbcf4ad6a764835",
        "examples/successor-capability/out-execute/model.mjs": "6972396c434cde79c1580a8d661a58012018283a31b1f707b470f5a9516e41ca",
        "examples/successor-capability/typed-runtime.mjs": "6aad0ef6d64718081312160ce5bfb5669c3693dded6d401067a6229e34093b23"
      },
      "checkerSources": {
        "examples/successor-capability/capability-package.mjs": "7010c63d3529893e37c929b0f2c30b011c6ef9b96de6774bb12bd8a29e78fc86",
        "examples/successor-capability/constructor.mjs": "99feb7ca1b3be001d4aed5230d96598094ff31f58cda42be0a97dfc23f11f5e2",
        "examples/successor-capability/independent-checker.mjs": "b59034eeb73594178170d81d7b4f96625a52230e85bda94038bf7ccd4ad0d286",
        "examples/successor-capability/out-execute/checker.mjs": "010c0b6499fd1109e40cdb91b7d5e5da8a15716120af0a9beae47fd545769d2a",
        "examples/successor-capability/out-execute/model.mjs": "6972396c434cde79c1580a8d661a58012018283a31b1f707b470f5a9516e41ca",
        "examples/successor-capability/typed-runtime.mjs": "6aad0ef6d64718081312160ce5bfb5669c3693dded6d401067a6229e34093b23"
      },
      "authenticity": "local-installed-bytes-not-external-attestation"
    },
    "node": "v22.17.1",
    "fixtures": 64,
    "snapshots": 576,
    "matches": 576,
    "semanticStops": 160,
    "updatedWitnesses": 82,
    "constructed": 644,
    "retained": 1084,
    "coordinatedBoundaryScans": 416,
    "acceptanceBoundaryAssignments": 5184,
    "executionWork": 13926222,
    "fullEnumerationWork": 94588992,
    "fixedCertificateWork": 94675008,
    "fixedCertificateRetentions": 0,
    "matchedIncrementalWork": 13926222,
    "localArchiveReopenAudit": {
      "assignments": 145152,
      "factorLookups": 1024704,
      "inputEntries": 96768,
      "boundaryCandidates": 21312,
      "scopeVisits": 1534464,
      "profileComparisons": 12204
    },
    "limitations": [
      "Authored finite models, not natural tasks.",
      "Manuscript companion files were not present in the source repository.",
      "Counted logical work is not CPU time, currency, industrial saving or total host instructions.",
      "Matched incremental baseline deliberately uses the same public qualified-contract algorithm; ties are expected.",
      "Full/reuse verification, comparison execution, archive reopen and output bytes are reported separately."
    ],
    "fixturesFiles": [
      {
        "file": "fixture-310000.json",
        "bytes": 732378
      },
      {
        "file": "fixture-310001.json",
        "bytes": 732375
      },
      {
        "file": "fixture-310002.json",
        "bytes": 733057
      },
      {
        "file": "fixture-310003.json",
        "bytes": 732368
      },
      {
        "file": "fixture-310004.json",
        "bytes": 732712
      },
      {
        "file": "fixture-310005.json",
        "bytes": 733383
      },
      {
        "file": "fixture-310006.json",
        "bytes": 733561
      },
      {
        "file": "fixture-310007.json",
        "bytes": 733433
      },
      {
        "file": "fixture-310008.json",
        "bytes": 732954
      },
      {
        "file": "fixture-310009.json",
        "bytes": 732456
      },
      {
        "file": "fixture-310010.json",
        "bytes": 733182
      },
      {
        "file": "fixture-310011.json",
        "bytes": 733150
      },
      {
        "file": "fixture-310012.json",
        "bytes": 733247
      },
      {
        "file": "fixture-310013.json",
        "bytes": 733498
      },
      {
        "file": "fixture-310014.json",
        "bytes": 731307
      },
      {
        "file": "fixture-310015.json",
        "bytes": 734068
      },
      {
        "file": "fixture-310016.json",
        "bytes": 732155
      },
      {
        "file": "fixture-310017.json",
        "bytes": 732116
      },
      {
        "file": "fixture-310018.json",
        "bytes": 733751
      },
      {
        "file": "fixture-310019.json",
        "bytes": 733096
      },
      {
        "file": "fixture-310020.json",
        "bytes": 732771
      },
      {
        "file": "fixture-310021.json",
        "bytes": 732768
      },
      {
        "file": "fixture-310022.json",
        "bytes": 732709
      },
      {
        "file": "fixture-310023.json",
        "bytes": 733381
      },
      {
        "file": "fixture-310024.json",
        "bytes": 733060
      },
      {
        "file": "fixture-310025.json",
        "bytes": 733118
      },
      {
        "file": "fixture-310026.json",
        "bytes": 732672
      },
      {
        "file": "fixture-310027.json",
        "bytes": 733455
      },
      {
        "file": "fixture-310028.json",
        "bytes": 732716
      },
      {
        "file": "fixture-310029.json",
        "bytes": 732604
      },
      {
        "file": "fixture-310030.json",
        "bytes": 732688
      },
      {
        "file": "fixture-310031.json",
        "bytes": 732168
      },
      {
        "file": "fixture-310032.json",
        "bytes": 732903
      },
      {
        "file": "fixture-310033.json",
        "bytes": 731024
      },
      {
        "file": "fixture-310034.json",
        "bytes": 734066
      },
      {
        "file": "fixture-310035.json",
        "bytes": 732518
      },
      {
        "file": "fixture-310036.json",
        "bytes": 731983
      },
      {
        "file": "fixture-310037.json",
        "bytes": 732737
      },
      {
        "file": "fixture-310038.json",
        "bytes": 733153
      },
      {
        "file": "fixture-310039.json",
        "bytes": 732733
      },
      {
        "file": "fixture-310040.json",
        "bytes": 734171
      },
      {
        "file": "fixture-310041.json",
        "bytes": 733112
      },
      {
        "file": "fixture-310042.json",
        "bytes": 733730
      },
      {
        "file": "fixture-310043.json",
        "bytes": 733275
      },
      {
        "file": "fixture-310044.json",
        "bytes": 732936
      },
      {
        "file": "fixture-310045.json",
        "bytes": 731847
      },
      {
        "file": "fixture-310046.json",
        "bytes": 733665
      },
      {
        "file": "fixture-310047.json",
        "bytes": 733937
      },
      {
        "file": "fixture-310048.json",
        "bytes": 733246
      },
      {
        "file": "fixture-310049.json",
        "bytes": 733183
      },
      {
        "file": "fixture-310050.json",
        "bytes": 731474
      },
      {
        "file": "fixture-310051.json",
        "bytes": 733927
      },
      {
        "file": "fixture-310052.json",
        "bytes": 731923
      },
      {
        "file": "fixture-310053.json",
        "bytes": 733245
      },
      {
        "file": "fixture-310054.json",
        "bytes": 732594
      },
      {
        "file": "fixture-310055.json",
        "bytes": 733024
      },
      {
        "file": "fixture-310056.json",
        "bytes": 732295
      },
      {
        "file": "fixture-310057.json",
        "bytes": 733281
      },
      {
        "file": "fixture-310058.json",
        "bytes": 734149
      },
      {
        "file": "fixture-310059.json",
        "bytes": 733111
      },
      {
        "file": "fixture-310060.json",
        "bytes": 733963
      },
      {
        "file": "fixture-310061.json",
        "bytes": 733146
      },
      {
        "file": "fixture-310062.json",
        "bytes": 732652
      },
      {
        "file": "fixture-310063.json",
        "bytes": 732051
      }
    ],
    "identicalInputControl": {
      "fixedFirst": 45,
      "fixedSecond": 23,
      "boundaryFirst": 137,
      "boundarySecond": 208,
      "fixedRetained": true,
      "outcome": "A sufficient cheaper fixed proof is a legitimate alternative."
    },
    "elapsedMilliseconds": 390300,
    "totalSerializedBytes": 46907411
  },
  "retainedFixtureSha256": {
    "fixture-310000.json": "f83c785b7b08f85873d80afd49d60327413976b9794d5d59f998fe2dfaf5bc13",
    "fixture-310001.json": "6fe6c8945483d65cb788997b7516e453d8e72bf3cfd2e0ea6ab474ec5c1a92f2",
    "fixture-310002.json": "17ae24f5a2022f308e91a74987402698cf3efe6f823abfe363832c404546cd15",
    "fixture-310003.json": "8f5a4cd363cdf59c14e2a85eada6832d8b75215b766b350bb3f0b6712872cc2f",
    "fixture-310004.json": "8bb70ffce9bd9955443dbe33886f5777a28d05243d611daa5b8c96016ff1f167",
    "fixture-310005.json": "84e71401c94daaa671610817bf10e56d60b66015ae37ff51af94f82e7b6c2548",
    "fixture-310006.json": "627974727640a7ec3e6b1197ab4cf3de375b7a1508dedfecbb456077fe0d5694",
    "fixture-310007.json": "cfa7c2b81dce55a4e2a154c97ba43502a0d37652cd3753e77316c7880bea8e2d",
    "fixture-310008.json": "1535af3f4d9084365d9a37f2e5c03913edefbe67afb42521b4eda25338d8be2a",
    "fixture-310009.json": "70484ec61bcfa797035f74e2767bd9e10966ad26eda5b57949ac10818ee40b29",
    "fixture-310010.json": "436f2dfe6ef143a6f08a254d83c78a8e3f16ad1cb29dc86a9f1c560f3337f133",
    "fixture-310011.json": "d73fb5af2bf8b97bc7cc85d22e5dd93d5fa33be7193a6cbafd835096d042930e",
    "fixture-310012.json": "bce3f85e27389888619ca38d11f1d62077bc74b5cd705cb9a00a73cf6c36cc88",
    "fixture-310013.json": "7d4e94a744b0b981763e87ecaa829859cc083d644d5b0531822883e108742b6c",
    "fixture-310014.json": "fbfb7e1bf05bf6c69ce7dbfc8dd329c6800ce6e00d41bc2185ff5a0c87e06b1f",
    "fixture-310015.json": "317909cdd73f8f0c543a1b03524a7e13b244d6377e3023d34a4997a87729a2e7",
    "fixture-310016.json": "a57a83316d2a9ef931315520e3506effdfef1551f3c45ac972fba6d14779f178",
    "fixture-310017.json": "1d5033b4b699b3a6c6628dcab9387b3aac2fe407155c107f258f6d235bbed5be",
    "fixture-310018.json": "0ea23e30e222fe4966f74f87e995a7d102cec88e4945d9fb765fee8e5b250b59",
    "fixture-310019.json": "d8ea53acf861bd5df3ce51a15f4b412b79c36d3046a102be564d8e3656a4ba64",
    "fixture-310020.json": "197f68012e783c58a7ef60f367a22e0d5f66fab67fa926d3af08127f52cdf958",
    "fixture-310021.json": "0ad18b7850199c096d4e35d983267fb636da8e7c0cb42c439b23a088b0f2d96a",
    "fixture-310022.json": "e1d4655344cc55f1c9ca580ff3c7269f766affad1e9331b8f068707d64621069",
    "fixture-310023.json": "5146f966a52f9bf5d4b29f6963a2c9506e70f6d02c1ed313b579b58c3f15b58f",
    "fixture-310024.json": "8abd6676aaa8bb94ee6e3754913cfc8739b6a91c2ed0180f100b7916f53a841a",
    "fixture-310025.json": "8ad8a2971a7b582d4eae078d9cfcfca91b10576816c2d560105895fa23183286",
    "fixture-310026.json": "0de2816687f45fe2ed2d8a7d63015f81ab47d046a1b18203fd68b73ca9d076fe",
    "fixture-310027.json": "6d8e19cfd5036d45158ba396b0b127df86243015333aa0a82f8bb2d11070ed15",
    "fixture-310028.json": "78f6a2bacc20232ead6de8e801b478c0ae17aaa3695b6f610cbb50024aeb1c71",
    "fixture-310029.json": "8e3cf84f6d1a029c2ceb0900204f46314ea9cb865fbc24b672bae12638638d0d",
    "fixture-310030.json": "598fdbd220918b9d55de657eed49f4589006d09ba9c20134b7f890f095419f6b",
    "fixture-310031.json": "8ddd7afa8fbd97576e1c680a1d1f9c46d50099496c04e890970dae0314b47427",
    "fixture-310032.json": "4d35db0178e8c4d808e071001ea744395cfc9ba84e87ded246f8bbdaea26da13",
    "fixture-310033.json": "ec0d7d5d3d2b5cef51bc593a7f376a28f17963a41546adbca549dad3d7382a90",
    "fixture-310034.json": "b1a6e58324b1caced3fad06c4093225bdc7eb81fd8737081bc73a28f1522fbcc",
    "fixture-310035.json": "64da0241c93121816967fa69d4a202a368b7a3ec34864e0f75b4cf606801d284",
    "fixture-310036.json": "3ed1e9e5962c5f10712497a9829dc21b0ad1498bd98fe6c0b8b55840d2c7a98f",
    "fixture-310037.json": "39d1c944d9d9b75c2d48167c2fb397fbc502deead25a197e064a4ba4f6c7b9d3",
    "fixture-310038.json": "245593414a1d79eecf49c0eaa4ddad9c8a8ba974145d89e066d8c119b3cf6441",
    "fixture-310039.json": "a395cf673f7af2dffa58ef5e2266778f2a432592742e6b5772b132253e1c272c",
    "fixture-310040.json": "3711ce294eff1131aef1f26e47d5e4e5fbc0d037524bdcda1f260e822573d771",
    "fixture-310041.json": "3fb1e8d5f0eee85d2af89f1e38dc9643e6e4cdaf9c288d122642830abe7a8d60",
    "fixture-310042.json": "f1e94591c9a1f740b7fe58908f191e08d1ecb0d0b92206266624a3521a7cbbbf",
    "fixture-310043.json": "f93d5ab4c556977e9933a6932a212179b8efdd2d82b05782cc58593ac5a98b70",
    "fixture-310044.json": "9644e8295ea7c40e701ccd75946175a16ac881622f8a27bbf1458d935171350d",
    "fixture-310045.json": "45cdd2dffa0da4646d35dc81c7da411f60f41b3d2432c07e4cf613473bd0097f",
    "fixture-310046.json": "00f6db0c3237178b25934c737962f81707ae919ec02b5e2da772d3f0f11fb93f",
    "fixture-310047.json": "0c4e5e9383f0cae5a39739613c3cca1e0914668c6d6e154175f8804266e29926",
    "fixture-310048.json": "a71200aad1429e1f25000c7be01ef60fdb9fe26d34cbc2637a434797b56a7638",
    "fixture-310049.json": "0404f35ff6ed364987aa332d809a9d3d71c7996873ef37034d4350c982ce17ff",
    "fixture-310050.json": "b2d1bcca2b38ca50f32a7c679f04fbdcaf881450b901dc6aa34d84280121fd37",
    "fixture-310051.json": "0b7b004bdd6be4a15e2223a558a42d71dbbbd848a546d603bc391a3a8d906f74",
    "fixture-310052.json": "967cae1895d675c4cc1134635715af57840ddc49133998697f8287035e3cc9f7",
    "fixture-310053.json": "06493f2c59ce5392c3688cd7f2da8d8b846b8c2073c316c27ae95300262db33b",
    "fixture-310054.json": "b8f43b71f486f0d7ee6b7f005dca230ac12bcc682a88f981c2bf094fea24c3bf",
    "fixture-310055.json": "90d972449406b900558311f030e50852fdc50ee802db95b761cd22a4f9026dc9",
    "fixture-310056.json": "71049e81242dba8ab402b8fadf6e549519d1d18257d73733c8db10941931e58a",
    "fixture-310057.json": "a5b8006f11b0cd82609aca657149b7a8f42c59b0a4dae5ac354a078b5781bdb0",
    "fixture-310058.json": "e6bc98a44fbd5643274a118e025368956fb1b7c806792f3ba139822a9e7af1d7",
    "fixture-310059.json": "3d0a258c39179a6a8871cacf266aa43b19613742d0cf5bcdbb95b13339347668",
    "fixture-310060.json": "5dfb64753433d1a1cb00cc5189f9ea61a4d162316588db96961186523fc7dba0",
    "fixture-310061.json": "c39b44df57951e792d1bdeaa8edf7bb642bd7215fb070ff40dc624e5e24a68db",
    "fixture-310062.json": "cde5a4e832eecba966a9bc3546a6220d7f303ddd5a831c2887a8820f9f9ba771",
    "fixture-310063.json": "150910325c16e1d4726d9128f88df33e2001d71e6b924a8c612654bf5501c4b3"
  }
}