Evidence

portable1114 review.json

Download source fileOpen in research workspace
{
  "status": "PASS",
  "first": 932,
  "through": 1114,
  "sequential_steps": 183,
  "last_record_sha256": "e25e82d205b6dda6ed127fb2d6cd86e32e3b61702740c1eebd1cc04a60e82e4d",
  "frozen_prefix_archive": "/workspace/scratch/1b40da62dcbd/verification_portable_c1114/C932_C1114_portable_input.zip",
  "frozen_prefix_archive_sha256": "65b042b6296fbcde3b4d5446bab6cb0bbd20af846a9bdf2f98aff765a0af0ef0",
  "archive_entries": 442,
  "archive_manifest_complete_and_verified": true,
  "safe_paths_no_duplicates_crc_passed": true,
  "payload_hashes_unchanged_after_replay": true,
  "current_originals_checked": 44,
  "portable_originals_available": 0,
  "portable_snapshot_count": 44,
  "portable_C931_snapshot_verified": true,
  "historical_draft_reads": 10,
  "versioned_bindings_preserved": true,
  "source_bindings_preserved": true,
  "source_bindings_sha256": "37db83c927e6aea128ba2b3a4f886f24f8e1f8cb8656b6a00b5b9bfb0e7de025",
  "versioned_inputs_manifest_sha256": "f7fd9fd6aca48ef8f193c30c96a6d74e2ac0eaaa1f68168e5f2896cd3625aa92",
  "verifier_sha256": "40fb7d19fbb60e07d8385e33b6a6b3645aedad2065f4d3e97bf3ebe8179dc329",
  "isolation_wrapper_sha256": "24421f661517d56b338ce3dddcfb3919c18fcdeedad6c99b5ddf64053324be96",
  "isolation_details": {
    "method": "subprocess Path.is_file availability gate plus audit rejection of original-workspace opens; extracted packet allowed",
    "negative_control_original_read_rejected": true,
    "original_availability_checks_hidden": 45,
    "original_open_attempts_denied": 0
  },
  "cycle_inputs_helpers_or_records_modified": false,
  "delivery_review": {
    "scope": "Artifacts captured through C1114; later final prose and reading-guide assembly are outside this prefix.",
    "markdown_files_checked": [
      "deliverables/components/Constraint_Ledger.md",
      "deliverables/components/Constructive_Synthesis.md",
      "deliverables/components/Continuity_and_State_Ledger.md",
      "deliverables/components/Family_Comparison_Table.md",
      "deliverables/components/Operation_Inventory.md",
      "deliverables/components/Primitive_Register_Explanation.md",
      "deliverables/review/Integrated_Draft_v1.md",
      "deliverables/review/Integrated_Draft_v2.md",
      "deliverables/sections/00_overview.md",
      "deliverables/sections/01_sp_1.md",
      "deliverables/sections/02_sp_2.md",
      "deliverables/sections/03_sp_3.md",
      "deliverables/sections/04_sp_4.md",
      "deliverables/sections/05_sp_5.md",
      "deliverables/sections/06_sp_6.md",
      "deliverables/sections/07_round_1.md",
      "deliverables/sections/08_round_2.md",
      "deliverables/sections/09_round_3.md",
      "deliverables/sections/10_round_4.md",
      "deliverables/sections/11_round_5.md",
      "deliverables/sections/12_round_6.md",
      "deliverables/sections/13_keys_1.md",
      "deliverables/sections/14_keys_2.md",
      "deliverables/sections/15_keys_3.md",
      "deliverables/sections/16_keys_4.md",
      "deliverables/sections/17_keys_5.md",
      "deliverables/sections/18_keys_6.md",
      "deliverables/sections/19_covenant_1.md",
      "deliverables/sections/20_covenant_2.md",
      "deliverables/sections/21_covenant_3.md",
      "deliverables/sections/22_covenant_4.md",
      "deliverables/sections/23_covenant_5.md",
      "deliverables/sections/24_covenant_6.md",
      "deliverables/sections/25_structural_1.md",
      "deliverables/sections/26_structural_2.md",
      "deliverables/sections/27_structural_3.md",
      "deliverables/sections/28_structural_4.md",
      "deliverables/sections/29_structural_5.md",
      "deliverables/sections/30_structural_6.md"
    ],
    "markdown_links": [],
    "svg_external_references": [],
    "findings": [
      "No broken Markdown links or SVG external resource references in the captured delivery artifacts.",
      "Final integrated prose and reading-guide links require a final-assembly check; they were not yet present through C1114.",
      "Use the corrected *_Final.svg and *_Final.png map versions for reader entry links. Earlier map versions remain evidence of the recorded sequence.",
      "For downloaded ZIP portability, use relative file links within reading documents; sandbox absolute links belong to the chat delivery context."
    ]
  },
  "verification_reports": {
    "current": {
      "status": "PASS",
      "first": 932,
      "last": 1114,
      "sequential_steps": 183,
      "final_200_step_verification": false,
      "requested_steps": 200,
      "preseal_199_step_verification": false,
      "journal_steps_available_at_read": 184,
      "journal_sha256_at_read": "a5f7d85a9e2721c274720308e20d1444af476bf82d85be1421e94bdb662988e1",
      "last_record_sha256": "e25e82d205b6dda6ed127fb2d6cd86e32e3b61702740c1eebd1cc04a60e82e4d",
      "record_metadata_and_results_replayed": true,
      "journal_hash_chain_verified": true,
      "C931_predecessor_snapshot_verified": true,
      "C931_current_record_checked": true,
      "source_snapshot_hashes_verified": 44,
      "current_source_copies_checked": 44,
      "current_sources": [
        {
          "snapshot": "05-File_14.Biological_Numerical_Fractals-5-.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/project_sources/05-File_14.Biological_Numerical_Fractals-5-.md",
          "sha256": "8b65ac5e4538c36d9c873595597f8f92fd544b404126d885b7a2ce93ca12dcf2"
        },
        {
          "snapshot": "14-file_70-supplement-a-key-of-23-fine-resolution-720-30-rail-2-.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/project_sources/14-file_70-supplement-a-key-of-23-fine-resolution-720-30-rail-2-.md",
          "sha256": "7a3a2b42ad70a08f9b44b087106b4f6517924c13a00817ecfadf1326da11b968"
        },
        {
          "snapshot": "19-File_58.Numbers_28_29_Tishri_Sacrificial_Ledger-2-.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/project_sources/19-File_58.Numbers_28_29_Tishri_Sacrificial_Ledger-2-.md",
          "sha256": "924db415dff003d207b98fcb32b27a7d75febf7748d5d0a4d9015a6fe3eb3f0d"
        },
        {
          "snapshot": "17-File_02.Flood_Sumerian_Integration-2-.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/project_sources/17-File_02.Flood_Sumerian_Integration-2-.md",
          "sha256": "24203a4c3b282f9b92bcdeaf18a1841fdfc099f8aca1f6052f15760c5212afad"
        },
        {
          "snapshot": "07-File_54.Luke_70_Year_Genealogical_Lattice-5-.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/project_sources/07-File_54.Luke_70_Year_Genealogical_Lattice-5-.md",
          "sha256": "1ff1914fa180de2aba3e8bf1bb81a3478dc1f8b0153dc722019ff392c3c87899"
        },
        {
          "snapshot": "18-File_62.Half_Clutch_Birth_Law_Interface-1-.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/project_sources/18-File_62.Half_Clutch_Birth_Law_Interface-1-.md",
          "sha256": "be42daca1d82dac987c6c1e3f083a3bf267d023b9cfffee86565539cff4ed15d"
        },
        {
          "snapshot": "26-490d_Repository_Style_Guide-20260908-220633-1-.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/project_sources/26-490d_Repository_Style_Guide-20260908-220633-1-.md",
          "sha256": "2e7993eac77ec119b27bfc9ace67e3d196d21d358a64c536a1dc8f60729e1abb"
        },
        {
          "snapshot": "35-File_00.Repository_Foundation_Axiom_Engine_Source_Map-9-.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/project_sources/35-File_00.Repository_Foundation_Axiom_Engine_Source_Map-9-.md",
          "sha256": "ed718a9e579978a90eefb377911933312de10a3eae1221e59758158b994de64e"
        },
        {
          "snapshot": "13-File_34.Unified_Chronology_SKL_Berossus_Bible-4-.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/project_sources/13-File_34.Unified_Chronology_SKL_Berossus_Bible-4-.md",
          "sha256": "4fa811c80332e002497ea326ba5e5ac273b3d35f4491383c0e721fb3ab17793b"
        },
        {
          "snapshot": "08-File_68.Enochic_Seven_Week_Core-20260819-145634-.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/project_sources/08-File_68.Enochic_Seven_Week_Core-20260819-145634-.md",
          "sha256": "2fb72e6c1267ac3e4f82549c0202cfe3c277131af7c07a4f7326f514adc8f303"
        },
        {
          "snapshot": "10-File_29.Reconciliation_Fractal-6-.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/project_sources/10-File_29.Reconciliation_Fractal-6-.md",
          "sha256": "0066d07fd7bf2db4faaf79368833880e98b1900c52666903892673718f131421"
        },
        {
          "snapshot": "20-File_46.Harmonic_Expansion_Protocols-1-.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/project_sources/20-File_46.Harmonic_Expansion_Protocols-1-.md",
          "sha256": "18e8c54ff1663fb11f91529984c88679828fc2d1acc9d4368818d6647245dd9b"
        },
        {
          "snapshot": "01-File_20.Jubilees_Fourth_Witness-2-.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/project_sources/01-File_20.Jubilees_Fourth_Witness-2-.md",
          "sha256": "c8822cb5bb81a7ac72eac44774c0aba5e1470c1b1ba63b612a1364a393a440fe"
        },
        {
          "snapshot": "24-File_70.Genesis_Toledot_Atonement_Weave-10-1-.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/project_sources/24-File_70.Genesis_Toledot_Atonement_Weave-10-1-.md",
          "sha256": "0fa80217c94b395139cfc891c3fd915ea0b5471c49d3f611082c541306566065"
        },
        {
          "snapshot": "34-File_04.Jacob_Jubilee_Standard_LXX_33_397_Sojourn-8-.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/project_sources/34-File_04.Jacob_Jubilee_Standard_LXX_33_397_Sojourn-8-.md",
          "sha256": "77d7b50e5db4cbc97e01e41bcbeb8b1d4344e839ddd38bdd118c675ac8eea4e4"
        },
        {
          "snapshot": "27-File_01.Abraham_Gen20_Fractal_Pivot-2-.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/project_sources/27-File_01.Abraham_Gen20_Fractal_Pivot-2-.md",
          "sha256": "1d981a97f78fbbfb1aea0eef0d377a8b2fb88a885f996cf0b7a1589db316e034"
        },
        {
          "snapshot": "29-File_47.Patriarchal_Pairing_Six_Birth_Pairs-1-.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/project_sources/29-File_47.Patriarchal_Pairing_Six_Birth_Pairs-1-.md",
          "sha256": "c0a735c82c0109cfefb71459af02fe3184a172d7b8d415ed3a8d143b2122f8f8"
        },
        {
          "snapshot": "38-File_18.Chronological_Data_Tables-20260919-141048-.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/project_sources/38-File_18.Chronological_Data_Tables-20260919-141048-.md",
          "sha256": "68301ab760bfbe2e874aedc5c8d943ced7a6219d34bc2859332a70713f9630d5"
        },
        {
          "snapshot": "22-File_07.Creation_Seed_Decimal_Root-1-1-.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/project_sources/22-File_07.Creation_Seed_Decimal_Root-1-1-.md",
          "sha256": "1aa4e02dd346c8e0879c8d196bd76c95c9069237fe41d1ca816175f84d3c162c"
        },
        {
          "snapshot": "04-File_15.Generational_Axiom-3-.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/project_sources/04-File_15.Generational_Axiom-3-.md",
          "sha256": "548a6d186972f534c6934be415dbaf5f690004f41b31d8867f5da167b3086d78"
        },
        {
          "snapshot": "21-File_17.Prophetic_Time_Span_Anatomy-20260908-195734-.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/project_sources/21-File_17.Prophetic_Time_Span_Anatomy-20260908-195734-.md",
          "sha256": "0f5ab858ab7f6e1ff213ed85f1e9f3cec19263e8d49ee4eeb45d81e5990e494e"
        },
        {
          "snapshot": "36-File_60.Levitical_Covenant_Spine_161_299_Key_of_23_Reconciliation-10-.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/project_sources/36-File_60.Levitical_Covenant_Spine_161_299_Key_of_23_Reconciliation-10-.md",
          "sha256": "12a48221b7fdcdcd4ce1b9e169ced8456f291b85f1b453ff3d33de210c64c165"
        },
        {
          "snapshot": "23-File_11.Three_Gear_Protocol_Harmonic_Engine-1-.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/project_sources/23-File_11.Three_Gear_Protocol_Harmonic_Engine-1-.md",
          "sha256": "c4ad12833900f43d90354344940f8f1c87dc0e348a40d84bdfad036c3d67e3d4"
        },
        {
          "snapshot": "02-File_05.Exodus_Target_Fulcrum_Anchor-4-.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/project_sources/02-File_05.Exodus_Target_Fulcrum_Anchor-4-.md",
          "sha256": "4f1b1d870a98eb23439df482bd3aa6956c8fbc5affbf1c10b90aae2a04dc8860"
        },
        {
          "snapshot": "31-File_61.Jacob_Moses_Cumulative_Regular_Root_System-6-.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/project_sources/31-File_61.Jacob_Moses_Cumulative_Regular_Root_System-6-.md",
          "sha256": "d580afd48d6e12d6a798c4c9fa2824aab54252c6235300645af985c0d52cea09"
        },
        {
          "snapshot": "11-File_69.Enoch_Centered_Genealogical_Accordion-20260823-145801-.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/project_sources/11-File_69.Enoch_Centered_Genealogical_Accordion-20260823-145801-.md",
          "sha256": "e415d58136a6e9bcc5af3a34074a16c0a8a5925822349584fe5e37ad75c26efc"
        },
        {
          "snapshot": "15-File_22.Cumulative_MT_Harmonics-20260906-202427-.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/project_sources/15-File_22.Cumulative_MT_Harmonics-20260906-202427-.md",
          "sha256": "1c77fd504afbf59b20675980f1122b4f5618a1b8f389132f018d80f65f339894"
        },
        {
          "snapshot": "12-File_21.SKL_Unified_Protocol-4-.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/project_sources/12-File_21.SKL_Unified_Protocol-4-.md",
          "sha256": "e42eb010a7fa499a08cc16249679f1069c8080a3beb4d2cf05ed5e0b728f27f8"
        },
        {
          "snapshot": "09-File_63.Scale_Neutral_480_483_490_Carrier-20260821-143254-.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/project_sources/09-File_63.Scale_Neutral_480_483_490_Carrier-20260821-143254-.md",
          "sha256": "180803601a2db301f0b2ae1d136c3a8a966ebd4590d5098ae93bf493dfacfe35"
        },
        {
          "snapshot": "25-Project_Procedures-20260908-220633-1-.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/project_sources/25-Project_Procedures-20260908-220633-1-.md",
          "sha256": "28962760304de60731fde6d89422e5ac9209c2fb18dc55b0f9bcceef0958fcfe"
        },
        {
          "snapshot": "03-File_53.Jubilees_22Fold_Creation_Genealogy_Witness-4-.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/project_sources/03-File_53.Jubilees_22Fold_Creation_Genealogy_Witness-4-.md",
          "sha256": "9f0e41022cab59a43c090c98224e55fe45e622a15e094dacad6721bea0aee8f3"
        },
        {
          "snapshot": "30-File_09.Cumulative_Architecture-9-.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/project_sources/30-File_09.Cumulative_Architecture-9-.md",
          "sha256": "45851004c5864229ebf6a896f9099819a08d8926715d3e97e4bc3985c4a3876e"
        },
        {
          "snapshot": "16-File_12.Calendrical_Physics-20260907-192303-.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/project_sources/16-File_12.Calendrical_Physics-20260907-192303-.md",
          "sha256": "9a1eff41920cd0f8ded897eb602563cf3575d5ca202d65909865d745d80299a8"
        },
        {
          "snapshot": "33-State_Vocabulary_Register-20260914-154034-.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/project_sources/33-State_Vocabulary_Register-20260914-154034-.md",
          "sha256": "fe626d19a545195e8e3ac6fb8b762c281529226a3821e632bd981fff81c90ad1"
        },
        {
          "snapshot": "39-File_51a.Rounded_Scaffold_Mod5_Architecture.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/project_sources/39-File_51a.Rounded_Scaffold_Mod5_Architecture.md",
          "sha256": "d8aa38afb2a2df8f3bb57937f5d3dea897c286c034a1bee7398938d30e7bd77c"
        },
        {
          "snapshot": "06-File_43.Genealogical_Bridge-2-.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/project_sources/06-File_43.Genealogical_Bridge-2-.md",
          "sha256": "dde4eca7c1f64eaef93f1084cd6aef99776b38c7673c680e8ff8185c0fc5a987"
        },
        {
          "snapshot": "32-Restart_Capsule-20260914-154034-.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/project_sources/32-Restart_Capsule-20260914-154034-.md",
          "sha256": "746d59eb554ae807017d1ea4d815b2136933f3b1a07a73060354d9876bf8fc93"
        },
        {
          "snapshot": "File52c_latest.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/upload/File_52c.Rounded_Whole_Span_Inverse_Detailed_Study_Draft (2)(1).md",
          "sha256": "a5ea84562101158b60d0cf296765d6eff38e7a2abda4e74ad1b353dfd13b9530"
        },
        {
          "snapshot": "Strategy.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/upload/490d_Unification_Research_Strategy_v0_2_20260906.md",
          "sha256": "9c9aa357f5483b3af1dbb5f0025ee514fa28160576a037be03037aa49bf01476"
        },
        {
          "snapshot": "C831_checkpoint.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/c732_c831/deliverables/490d_Chronological_Families_Checkpoint_After_C831.md",
          "sha256": "b1b1d3312abd1a25cc155dccacbc0ed241b18396d68d3b79c46d69fdb63b8943"
        },
        {
          "snapshot": "C831_synthesis.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/c732_c831/deliverables/490d_Chronological_Families_Integrated_Synthesis_C831.md",
          "sha256": "e79310e7fbc145b897eb642b443076e0b3e253132fcd9e5a2089f03ec72f105b"
        },
        {
          "snapshot": "C931_checkpoint.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/c832_c931/deliverables/490d_Chronological_Families_Checkpoint_After_C931.md",
          "sha256": "7ad6608e77b78917e5fb0fced8da6c4841caf849ce13c61a09480bf7f7d29290"
        },
        {
          "snapshot": "C931_synthesis.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/c832_c931/deliverables/490d_Chronological_Families_Integrated_Synthesis_C931.md",
          "sha256": "6788ac2026f790470e666c292db93becad88491b559f0e0dd7dee858f06a9c41"
        },
        {
          "snapshot": "C931_technical.md",
          "current_path": "/workspace/scratch/1b40da62dcbd/c832_c931/deliverables/490d_Chronological_Families_Technical_Companion_C931.md",
          "sha256": "25c42920660f4989519b792336f34df055b70aa3d0bc7163653931612f471990"
        }
      ],
      "current_originals_absent": [],
      "latest_File52c_sha256": "a5ea84562101158b60d0cf296765d6eff38e7a2abda4e74ad1b353dfd13b9530",
      "versioned_input_bindings_verified": [
        {
          "step": 1090,
          "logical_path": "prep/manuscript_covenant.json",
          "snapshot_path": "evidence/input_versions/manuscript_covenant_v1.json",
          "sha256": "2192ba1700420439ca53813be08474790a27a916d2ef9a8d0c97d051171f8aa7",
          "steps": [
            1090,
            1091,
            1092,
            1093,
            1094
          ],
          "journal_input_field": "draft_sha256",
          "mode": "historical"
        },
        {
          "step": 1091,
          "logical_path": "prep/manuscript_covenant.json",
          "snapshot_path": "evidence/input_versions/manuscript_covenant_v1.json",
          "sha256": "2192ba1700420439ca53813be08474790a27a916d2ef9a8d0c97d051171f8aa7",
          "steps": [
            1090,
            1091,
            1092,
            1093,
            1094
          ],
          "journal_input_field": "draft_sha256",
          "mode": "historical"
        },
        {
          "step": 1092,
          "logical_path": "prep/manuscript_covenant.json",
          "snapshot_path": "evidence/input_versions/manuscript_covenant_v1.json",
          "sha256": "2192ba1700420439ca53813be08474790a27a916d2ef9a8d0c97d051171f8aa7",
          "steps": [
            1090,
            1091,
            1092,
            1093,
            1094
          ],
          "journal_input_field": "draft_sha256",
          "mode": "historical"
        },
        {
          "step": 1093,
          "logical_path": "prep/manuscript_covenant.json",
          "snapshot_path": "evidence/input_versions/manuscript_covenant_v1.json",
          "sha256": "2192ba1700420439ca53813be08474790a27a916d2ef9a8d0c97d051171f8aa7",
          "steps": [
            1090,
            1091,
            1092,
            1093,
            1094
          ],
          "journal_input_field": "draft_sha256",
          "mode": "historical"
        },
        {
          "step": 1094,
          "logical_path": "prep/manuscript_covenant.json",
          "snapshot_path": "evidence/input_versions/manuscript_covenant_v1.json",
          "sha256": "2192ba1700420439ca53813be08474790a27a916d2ef9a8d0c97d051171f8aa7",
          "steps": [
            1090,
            1091,
            1092,
            1093,
            1094
          ],
          "journal_input_field": "draft_sha256",
          "mode": "historical"
        },
        {
          "step": 1095,
          "logical_path": "prep/manuscript_covenant.json",
          "snapshot_path": "evidence/input_versions/manuscript_covenant_v2.json",
          "sha256": "b2355a41f23ad18fd9d780c626b5f92f2acc43f6a384082328e1cb1eeec7cb91",
          "steps": [
            1095
          ],
          "journal_input_field": "draft_sha256",
          "mode": "current"
        }
      ],
      "historical_input_read_count": 10,
      "step_checks_replayed": 463,
      "independent_reversal_used": true,
      "single_pass_inverse_calls": 157,
      "second_inverse_guard_violations": 0,
      "inverse_guard_scope": "Nested inv calls and inversion of provenance-tracked inv outputs are rejected. This is not a proof against arbitrary manual reimplementation or deliberate provenance erasure.",
      "replay_writes_blocked": true,
      "journal_prefix_unchanged_after_replay": true,
      "journal_bytes_unchanged_after_replay": true,
      "concurrent_completed_steps_appended": 0,
      "replays": [
        {
          "step": 932,
          "script_sha256": "9fc3417bcc64325aca302387d7e756b2d1bea96635088bc5ae5717ab88c354eb",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 933,
          "script_sha256": "640a10708ad23973f0f2d24e534d378a0951cadacb78e54c951b8bb25e5cf201",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 934,
          "script_sha256": "63e488fcd8968a0efb37c56156b1173e23e18a906d98951b67e23ba5319ff760",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 935,
          "script_sha256": "61ce984eab467de3ff8e2ab620742c9d20b9800999801a3a4b16c713c22f1a08",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 936,
          "script_sha256": "776a54b3af907b48a35528b472e8aef9c9c87effcec10b9702a2502cdbacaf9c",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 937,
          "script_sha256": "8c4f4c1db4fa99e3f42a27eae11154bcfdfe798601251536d6f6f366d82a35de",
          "checks": 2,
          "single_pass_inverse_calls": 4,
          "historical_input_reads": {}
        },
        {
          "step": 938,
          "script_sha256": "4f4de84bcc2bca7030db9197207510e87c70919ecf254094f284320f5ba65d76",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 939,
          "script_sha256": "35ff633a332a5e70fea20593af3d02fb7f7bd89c34082ec05039a46b136ba30d",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 940,
          "script_sha256": "89082ee71589ab2e12b1204797baba9d201d06295a028cd64be51b847c81c260",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 941,
          "script_sha256": "5b0a5a8d6f4c533ddab4bd030efebb07bdcb243479f1cd4b222613e1b337e3a0",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 942,
          "script_sha256": "c3a79d320b6b943d2581c855641cc2b4b9b444f57610a97049bac8b50823cc4b",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 943,
          "script_sha256": "38aa8220ed86e670169ed09a675e4246ec0204ab9a7dd3bd99d4f6af55f656d7",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 944,
          "script_sha256": "a1f2522a6688c89e1649dc5b79465ef1a8cb2a5689b211e8160b9ed84b7a3da8",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 945,
          "script_sha256": "a43296caedc37ef8fcf4cf2f61d37d73472d5d1edcb7903d2e450f58585fc9d4",
          "checks": 3,
          "single_pass_inverse_calls": 4,
          "historical_input_reads": {}
        },
        {
          "step": 946,
          "script_sha256": "0a6cf11361d0ee337005713833648c6c43e613d6b06786857a1de33f091eb0c7",
          "checks": 2,
          "single_pass_inverse_calls": 126,
          "historical_input_reads": {}
        },
        {
          "step": 947,
          "script_sha256": "ae5ed730774cfd8e319bece8c3296928b5c3b940c047cf13dca5c696d33bad07",
          "checks": 3,
          "single_pass_inverse_calls": 4,
          "historical_input_reads": {}
        },
        {
          "step": 948,
          "script_sha256": "3eb341ffe590a47b8bd68cc533254756c4d32fc2aa4bee774c496c45cac026b4",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 949,
          "script_sha256": "32cc0eb5284f053e9f7491f167959ec2de3fa0fd34daee9cdf8ba44ecd7ea71b",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 950,
          "script_sha256": "cf2458b3efdf53720b7f69fa9a071f65ac22e0f5282866abdbddd55cae550e16",
          "checks": 4,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 951,
          "script_sha256": "622690f2625e6d6c92edb214e37b6097d0d6609b0781947b6e3f33a093670b18",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 952,
          "script_sha256": "149e2d9b83a8c297f65d2066649c58cf146818bfbbf18366081eb7b8ba536555",
          "checks": 3,
          "single_pass_inverse_calls": 1,
          "historical_input_reads": {}
        },
        {
          "step": 953,
          "script_sha256": "22a81c45dc15dd616f2f899bdda914ee67a401780f478ea4fb016b9e9c718f08",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 954,
          "script_sha256": "6a7483639768f214edfb52a695d2e69ae2c44b9e553f122fabd45bbb95fd3f62",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 955,
          "script_sha256": "0dc834c87e4ff1fc4940ee5c48d82e07913956148baacd891fbb874c75701cf8",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 956,
          "script_sha256": "66aa779fcb31717175f59dd00f867fa6ca94e71ca03d945a91b5baf6cbe4e855",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 957,
          "script_sha256": "537f28f7be6cb9a296e4dfae89a0c2e7b3836840f4ca2134ea8a7cdce62852a0",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 958,
          "script_sha256": "70facc6f4272f2a61523eb55e6ea45181da22d4ee67f8b4603086b6f103478ad",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 959,
          "script_sha256": "f99e34bbc31b6b099700ad66524ffd93380379cd2ad2c756dfa98654a16fb381",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 960,
          "script_sha256": "38f3c2d37fc212d1650916b8f368dbc7433898f60f7d23d6af6c3a3ef3532dcd",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 961,
          "script_sha256": "828942dc449328294db85e564fba7fc8a63f455bfa471ad5d5f45ff6f8955c75",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 962,
          "script_sha256": "5ce6a59cfd0c6d16d91cf967e83b7c107255432760f961eb687f9216fdd7ef8b",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 963,
          "script_sha256": "7383a631eb43760c7be129c6567466797bfdbb771288233b9e597298c31f6b5f",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 964,
          "script_sha256": "47cffa5b907db137da5ffca9c54ba9c714057e7abebab75cd24c0ad6e07377be",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 965,
          "script_sha256": "e9bd5a6c10b78ac78a0e45b75b6856f7f6fbe68d3becc856dfb239ce8ba3a029",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 966,
          "script_sha256": "0f90c8f8f5633d42dedb14722042ae4b955c467d5c88f3b342685f427ed8cae1",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 967,
          "script_sha256": "c864f04a8a96b222e40b9bf88dcb3ed25b5a1e92ac7bc9f36d2588f72fccba7c",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 968,
          "script_sha256": "60a845a1f8eb4ac2a778b955daa497ac5bd24b2585828b8c7440eb19f862be27",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 969,
          "script_sha256": "d8b01316a27c33ad1fa58ef80a05ab4295f4fefe250429a9b3d268c49196fe2d",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 970,
          "script_sha256": "984aead356968b7ea03c48a8191aa49d01d90eecee03716758b1fea3438654d2",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 971,
          "script_sha256": "a84935e0aca143f1b51f415cf4b8f1fad389b6fedd3642fbdbefbb65af70a931",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 972,
          "script_sha256": "c560c521dacfdb4a11557abbb62118b0c7a0bafc617ad2331997d12ed17af91f",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 973,
          "script_sha256": "ec9420545bc2139da1e4b4fb91a898f8535c1458efe5e2639d0fa66a2278a588",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 974,
          "script_sha256": "02c0b5588456c8a16a7f4a8cf9d65dceb0efc80f89a90ea5a5f10785fec0e7b9",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 975,
          "script_sha256": "b0e0d977fb0c9085ee008eb6e96883787ff16136ce623a5231687db56bbc15a6",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 976,
          "script_sha256": "74e1752ad4d107c3a75c90d6d8c0251018e80652b76f870a1c11a31c43c34cfd",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 977,
          "script_sha256": "0bb9378cb94a7d211b26d4bfb331656beaa70a9eef38b9e876f5c2a7c46b72e0",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 978,
          "script_sha256": "26e2e1ac4792802601a53299b7a54525dd217952365d8b9ee4b403b783ed25f0",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 979,
          "script_sha256": "65f16552f97601ca121aeddac788cbc9de08186372a1adcfce4a752e99373cbf",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 980,
          "script_sha256": "3a47a077de784ead3d8caa2eeb28e68459e5b7648502faaeb6582c489c7d4f6e",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 981,
          "script_sha256": "c4998173edc93249ee3e1eb344be12efd8c8b1464f4557fbbbfa2b27b7edfc40",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 982,
          "script_sha256": "7b4362cc78489eba5b7cce5709f867d46876ab628f6ec6ea2ac3cacc5b0ed8b6",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 983,
          "script_sha256": "dbf779b18d0f185b7cef356ccfe0a87adfdad232aef498605e6522fda81c0f3f",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 984,
          "script_sha256": "e567de68ee56bb339db4359d8931345aa21ae6fcc2b9144358e0721c007c2924",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 985,
          "script_sha256": "85f9606e986a49a0b589b4604b01776fc41d551200a905c43359b73c202a95df",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 986,
          "script_sha256": "ae5475ac6901d68d68f8e2c9984233b39624559f9fe867f8f838f33cb02bbfe0",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 987,
          "script_sha256": "605b107ec346dec6a3b8ee8ae16e68e9ce99c83ba603927ff97d7e107e4c1534",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 988,
          "script_sha256": "a3bca232e6c164acc6daaea77db74db4d262b410ee3fefa5e0278a582c6bb2bb",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 989,
          "script_sha256": "fc98b858c2d6aae12bf86bc9b5643024609a0d6f076cd1998de97f0ad667d74a",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 990,
          "script_sha256": "a5a6a141196a1c24f42b283544335f41824e1cf7cfdebd483cb6b8f4644c8407",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 991,
          "script_sha256": "eac228ab02aad40e6b1b73e57ed07d8d11bf4dab09518b811784231e509ce0a2",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 992,
          "script_sha256": "ecaf884c28d3729e5c9f315216003d564a72ebec4630fe048c6bcd23aa30ca4b",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 993,
          "script_sha256": "e8e93a0d206bcfb3d650fc24e75a1fb4d1cde6ad796afa81a59951827e2ab05b",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 994,
          "script_sha256": "53ab8b5987984bd65627fc8d21aa5e125870a7fea0940e778bc6f88bbc7baa47",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 995,
          "script_sha256": "e9f37e98d9180dc72648c268403c5a84180ea95e1faab6e735f13195d985b609",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 996,
          "script_sha256": "1959cbea85ff980076ececfc1fee51531c5cfe797a81b8af05b9b33c0cb33285",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 997,
          "script_sha256": "92bc27675f255a44bdb96660590a9ed6447bbddd6a46ad1aa745105e481f4b03",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 998,
          "script_sha256": "6f06839795570a669ba438ef8404814312f958562f7a835622138539f10a017b",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 999,
          "script_sha256": "7143ea1080d5da760006f03b6d8a9680f131e390b8f9958d21a10550e74dcf08",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1000,
          "script_sha256": "2c7cd2723d04d5f515605abbacdf9d7c1f6b894a929fd6fd9356aef3de634d03",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1001,
          "script_sha256": "fe3e350ee37b7c2effce3ce89cde561a56336003b8c58b76f95ce8fdd14839f5",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1002,
          "script_sha256": "4084cd4d409e5a5159a79e91f65cd853aa78e734cda2105187b8dd50873d9000",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1003,
          "script_sha256": "56ee380bbc75a2228c08424ead81825c5577a40557b1864745406f9ebae5a445",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1004,
          "script_sha256": "b0cf36cc88c788ca4088c99e338ca2835f655be14feafad1c7c7701e83964f94",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1005,
          "script_sha256": "b08f1cac255b25879a351ef0be123329db093a2263028243ab8cc4a32459726d",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1006,
          "script_sha256": "2cf6f13cff90a210c21ebe6dfdfb177b89c698088bfb3ca30262d644ec61c822",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1007,
          "script_sha256": "69e43e406e072e0349de1580d2e2cf4d40f68cc03e82516f1054e07361bf4d44",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1008,
          "script_sha256": "9f81373837eda0250b1f1f61f015458b3d7bfa7546500815f0ab365dcfda5431",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1009,
          "script_sha256": "e8e2b60e3193105ed1e735c5af880c6d686659616c91fd805d14ec45b120f0a1",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1010,
          "script_sha256": "26aa19fe032a68cc650db6f5cb64466185cd9e23c54c71db01595d606662e772",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1011,
          "script_sha256": "954ecf2d3e024cf796e4fa97da09f5bf5e63b13242609b44122d9014036b12f1",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1012,
          "script_sha256": "3fc899ca892d358216e015aa762e673fd638a6fbf5d3e8c1ea1cfe4e74c95a65",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1013,
          "script_sha256": "c551c0ff6e42d30540af9a640e3f634073ae8a8fe79411eb7f3798fb5e8f4e72",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1014,
          "script_sha256": "7051930af9a3aec3fee1ad6f873932f23f868e7cfe916e8c320fb899198851f1",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1015,
          "script_sha256": "bab71c9a39d50fc7e1fd8230a53fd2cf4f00f4e1ddbfa0c393c9f2e49a898fed",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1016,
          "script_sha256": "830977cf9c7134f977b8aff51fb052d4682c05cfb34d6d9154be251508c7146d",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1017,
          "script_sha256": "f52c72f6c11813920489e798110cc30432e2de19cd2a7e65ce02b1f9130d5a0b",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1018,
          "script_sha256": "d8ad5a0a2a2ee98d41b52a1c694348c3602b207a790c541caed2474c08a84a78",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1019,
          "script_sha256": "10243fec0ec19d69d1d6a31ca721138340a362f69e125dcd62029651fac5f34a",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1020,
          "script_sha256": "2d563a1b5d0a31f2870d3550868afb15e27d59a9cdda5fbd1976e889e277ca61",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1021,
          "script_sha256": "05153c6beae4b9e178f479e7e0d72108409667299904a5cf8488e4f7935460c0",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1022,
          "script_sha256": "bb2a5bce096546098f0cc727391fe812e8e2fb7e6b7ae0688534aef7c59dc488",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1023,
          "script_sha256": "f338483fe49773d30e88fd724baf9513e5078d0e71f5c1f975f2210c618ca0b2",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1024,
          "script_sha256": "0196e5cd4c000892cf46c598600bd55e04778efe9dbad62f9ff2769877e30ec8",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1025,
          "script_sha256": "f5ca56e8906f81225f97a45246753d774566274db981b112b7ac45b9c1aea8f6",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1026,
          "script_sha256": "bf13c35c0188ad0dd16f8b9ae9304c46fc5d94ba017770fc81bc3b347a82b1b9",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1027,
          "script_sha256": "f62b233de8a9bc953edafc1683d19e708546c572fb67cd4585d1bf4b9987e3fa",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1028,
          "script_sha256": "33999a0f17c0ffa3b55b7db724dd61f720080927c16380b56442225dcf1cb712",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1029,
          "script_sha256": "985f0b1c65fd75914c187ef9621c4e30513b6b4f54139194a96fdf60fa4b1584",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1030,
          "script_sha256": "9a73b4cabdd20587324d49d43d387102578b6d0e6a7d3ff98306c235bad03abb",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1031,
          "script_sha256": "82913013da83778b3d0a0ab01da16416c1948d482a0b526f444a2e89601c060e",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1032,
          "script_sha256": "9e10ed4057a812796a991e5d34f2e79029c4db5c93d8befe7c91e3692373a1a6",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1033,
          "script_sha256": "27920cbfd1eeff61c917cb807f4d8fac2a37afef947eb3cb9684132372f2649b",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1034,
          "script_sha256": "a3841d52df6d8cc2574e9890f588e6381746d1e5f2e359daf6eaf97f5e0efd79",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1035,
          "script_sha256": "54bd0da9ea4fd778ae095c8b83e996bdc5483cef3c98b6668d9b268a4f11d40c",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1036,
          "script_sha256": "e393b2f290b49c7775a49f049e5d4fac37b02714879719ccaa0bffd2d005a51a",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1037,
          "script_sha256": "fa3b08c09fdbee53c6d68de4bb850a40702d617ce06ee257ce93f923a7142368",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1038,
          "script_sha256": "2b98f267e5a76b0cd3df489f47f9aa479f734111bea7e78b7a60ed79fbda9cb5",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1039,
          "script_sha256": "536c91a4ce55dc3f6517d1ce758d24c0a671b8214a70ed19f60af38fbe2d0b66",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1040,
          "script_sha256": "ae1576a0e7702f0cf0abd537c8d345f90b0169a82def248b140c22d00cedd923",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1041,
          "script_sha256": "d2beaded6c1ff64c3853b4375ef6874240d63e037e2c92498b32f8cd21fb07e0",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1042,
          "script_sha256": "3973b5366338e87644740b6e7ed92c2014d5249b316941a81a881e90cf7d9dbc",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1043,
          "script_sha256": "8fc8c781ac3074c52bb56a35b6d0a10e6ced0fbd3ae7783a42ae032de7e4eae4",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1044,
          "script_sha256": "e348b6f7e10e10a27df1d322028a67623ea3f4afa699be6e12ed228931b52292",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1045,
          "script_sha256": "297797d1bd7b16f8e0d0ff9589fad48f89cfe4fdce6647856498fcfe75994034",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1046,
          "script_sha256": "ee53027f774a7b2cc043034adb5b18a2d722df7339dadc8cb05a9df6342131d9",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1047,
          "script_sha256": "861da11ffcad24b90ead40738018d4faa1b1bdc2e488805136c826c603712f02",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1048,
          "script_sha256": "508a4de5e2f47ba22f76334885e278461d9aae3d44e777c9403d2830b3606b4c",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1049,
          "script_sha256": "f79ee8e9f84202c6ba33b97a74e87fe70665335dfaf0314959d794267632c7fd",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1050,
          "script_sha256": "5b49d23048de0a13fd856e7ecf63b9a82467e28a78249f8d52fefb6cb285e1a4",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1051,
          "script_sha256": "43cde3b1d0c0c9fd49eaf62c94bfbcf62cb17773d89dd56c6986d3768354b97b",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1052,
          "script_sha256": "683120108e2d75675d2a0d869e893b7550239b6b108a48bd96cc5ccd3cf06a83",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1053,
          "script_sha256": "925f7ba930df403d61e951ba3a5aa9e4fdd15d7109a162080202a2b9313f2c1a",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1054,
          "script_sha256": "3db727b3a90c704ecadfcb9d42e1f63ee0277381b87f692c89c21a0b4cbd5e97",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1055,
          "script_sha256": "3a18c56b77473145d5f731d009a694f6af3f4c98205f2776151081872eed11ac",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1056,
          "script_sha256": "6578ed5568a565e74646e1ca6b65cabdc58d70dde574d46fcb55d3f9f021d22c",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1057,
          "script_sha256": "a0db50d704391f6ec0242f779b043f296454841241d55b9f7c3d82f2bc543683",
          "checks": 4,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1058,
          "script_sha256": "56233c72c1a029b06e8d9e4d573a1dcd77fa417b71ca1ddc69083bb37baf1881",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1059,
          "script_sha256": "dde9a7d45423f0a0a3eeef822500b9bf62895c6a18c320b691cfaf4256f608cd",
          "checks": 2,
          "single_pass_inverse_calls": 13,
          "historical_input_reads": {}
        },
        {
          "step": 1060,
          "script_sha256": "476d3b2c513139eff7e27616628b2a7f612134ed1f4d699628ab7a08a4211074",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1061,
          "script_sha256": "f51635a2138ac8d79ad3f3d1a240b4b70e9411d923df329c452bcb3b1da4d9e1",
          "checks": 3,
          "single_pass_inverse_calls": 1,
          "historical_input_reads": {}
        },
        {
          "step": 1062,
          "script_sha256": "4eb561d9ad84df0bc2f87253f040e837ca5da88a53bab37998c4b5ad1ba1bce1",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1063,
          "script_sha256": "e6301fcb80cacfc2bd725e55e54584f422395ef70656b7219458554f1db91190",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1064,
          "script_sha256": "59d0b236cf4049a28cbfba09832d03981b6eb5056c43584a35316342a7a94685",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1065,
          "script_sha256": "b0ad380415f32c5b00aa1fee992b4e445acb798009c2076f71db2947f8ec6782",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1066,
          "script_sha256": "e28a8998ed6af3bef3130551a6537c2a336efabe09e30b6bcac3474f52af4d25",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1067,
          "script_sha256": "82581afb1a0787fb43ec7d60dcfc552e37a924991d69dc292aaa017fb12103eb",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1068,
          "script_sha256": "917b857b28d756b914aaed68c9c3e3cebd8d376b0b19d86d0a86612ee7b91576",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1069,
          "script_sha256": "1a65ebfdf9229c95bd4799eb6419ba1e9fc33dac0d5d820a1bf3b9d16b90b6bc",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1070,
          "script_sha256": "ba501f46bdfe0847dcf37669db9f40615f6aed69af8756f2bb92e4ce72f65d78",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1071,
          "script_sha256": "db5aae5243878a8641c5c57f31c98ce606a090752a9bcad03fd3a67d16760dcf",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1072,
          "script_sha256": "0e79701cfe5807f86eb468adbe41158eb415d0a5532b80e9c1b7b628cdb98ecd",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1073,
          "script_sha256": "dba7e577e9ccbb27b4847218309d6fb6944a480f77f75cdedb817b02a6c36d0c",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1074,
          "script_sha256": "631edfd6cb1c5646ec679ee9380e2293236733d83610e4c450aec3fc6053f8bb",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1075,
          "script_sha256": "0981b2f7de44b7cfa3ad4423974405fb11afdf034628aafa94828402300b3171",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1076,
          "script_sha256": "4b84a3eb4c8c0d2cd8de8cccceb1a2dc3f90e1b4ce2a5564bdb20d2325a884b3",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1077,
          "script_sha256": "f7b18cd84c28d3e9e4c54f365b946478892ee9cf2fcd6c7357a772abecd73ba5",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1078,
          "script_sha256": "69d08cd32b13c9d1a4476f3ec45df09b084b5d3b7a44fdc079a76c6fa58db906",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1079,
          "script_sha256": "98071c0a8732533d5582c3fc70566584b929503ab912f18a6e2509af28e6242a",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1080,
          "script_sha256": "2183512577a6fb2705ca2ce8abf483cf9200d05c1d65ad8e8e18e410870054b6",
          "checks": 3,
          "single_pass_inverse_calls": 1,
          "historical_input_reads": {}
        },
        {
          "step": 1081,
          "script_sha256": "f5967c01f09d4192937c539df704abbc85b5128412fa0471f641bbf105c5ae9e",
          "checks": 3,
          "single_pass_inverse_calls": 1,
          "historical_input_reads": {}
        },
        {
          "step": 1082,
          "script_sha256": "9e99f7b91fbdf10fc2844346d8d5276302034c8ae96fc83e58cbad486ea75ade",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1083,
          "script_sha256": "1e28a9b86ca86383a6b803a11a21bb0574ae0bf24317f9551577a1144fa316a7",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1084,
          "script_sha256": "ecaef0225986af47d1013011bc4a957033928389d715827e9bd9e50b21222847",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1085,
          "script_sha256": "9fbded71213e5296492fd8e65c11b7f4f40055bfb45532b70a10af9e74968167",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1086,
          "script_sha256": "82a5b17c67af7e5c59d7025b0bd02b34f7f6fa7187972102ee5fcea8f11a8a2b",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1087,
          "script_sha256": "42767fbd9dbaa533d85508c4bafbae976502604afd58a8dbd6951ebb09f87d41",
          "checks": 4,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1088,
          "script_sha256": "2a329144fa841add60aa0eb8d7056927280910d913c8e30e6fe0eb781481f25d",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1089,
          "script_sha256": "6048b66b1ff0ff80315c25d87ce5110d94ccea996d5ee19e9dbb58bd9bb33a1a",
          "checks": 4,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1090,
          "script_sha256": "a0ebcef1a4558148f0f4f19a68d96ce494473ee0962792ce1754655f04a803c1",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {
            "prep/manuscript_covenant.json": 2
          }
        },
        {
          "step": 1091,
          "script_sha256": "54e07218e4238718d45f484b2a3a862880a67c7e0b04af64b9cdca4fd6b2f54b",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {
            "prep/manuscript_covenant.json": 2
          }
        },
        {
          "step": 1092,
          "script_sha256": "b1ec3558bece15eb96ab94dba455315b31f35b7ccb8643d8b41429dd4985818d",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {
            "prep/manuscript_covenant.json": 2
          }
        },
        {
          "step": 1093,
          "script_sha256": "3a43a9587c546290e29dd3428d8f38b2f6f9822c24b52a3ce6709bd44e62457f",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {
            "prep/manuscript_covenant.json": 2
          }
        },
        {
          "step": 1094,
          "script_sha256": "a01aa94a3897443b7fb9a61cd551ecc9628e111c8eb3eb59b54b718a60121117",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {
            "prep/manuscript_covenant.json": 2
          }
        },
        {
          "step": 1095,
          "script_sha256": "c4e03b72e252e38ec54983343642c0e5e95c094967237cefbdf89100cea10562",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1096,
          "script_sha256": "55f6b8f92af82dc21c650aa2737bd0a3dc57993bc449c767a6ac78db701abe50",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1097,
          "script_sha256": "c21e6748b12f93203da014e321b184cd3c0dbc9c9496aca81fe39552b23fb19b",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1098,
          "script_sha256": "28d86601ce691e965395773934b70159517e696ffd8b1ea218a1106599d972c6",
          "checks": 4,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1099,
          "script_sha256": "7ac5c3444093cd962402ed7cfb9afb60f483227a103ca81d24d4db61595cee78",
          "checks": 4,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1100,
          "script_sha256": "eac19e3f9037a9a624a8529056913ece0206e518923b141bcff3cde6f529b895",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1101,
          "script_sha256": "6ab20e1b21f3d6f83084a72cf19ef4ef4003f7b8191c1ec9ed2cac4c0beaa6a3",
          "checks": 4,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1102,
          "script_sha256": "f4d55beffda8242fe973349cade6e0818266f69dceda7aa06b6e6b45912677f3",
          "checks": 4,
          "single_pass_inverse_calls": 2,
          "historical_input_reads": {}
        },
        {
          "step": 1103,
          "script_sha256": "00db40f141a939ee77366e6208654f569df2fa9c60aab2c5a89129c3abb32d79",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1104,
          "script_sha256": "4e9fb7089e9fb8e4e788cf63179cffd599442c4ccf678a2bd86e4b28609f2b33",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1105,
          "script_sha256": "d374d266b37ae649fb4e379c30dfe96411fa3c88620976a332a65eb84e7103de",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1106,
          "script_sha256": "118f506fabae422b9cdc2422d26f8f8d4337da50a213cede597c9dbd4c97e97b",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1107,
          "script_sha256": "56904c07580194fa1e8a6b8df578a767a87aee4504e29bd6834edbe0b1142306",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1108,
          "script_sha256": "f2710c22814f4142b2535b017ef300daec9d80e6e2b01bd86af152e4fa7472d3",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1109,
          "script_sha256": "10fbf6773b9df6fb313a577c38aca018d2f20bca2d219fc28c726b33215dcf2c",
          "checks": 4,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1110,
          "script_sha256": "a2e0298475195cb7f25d0581a7ec9de60bf195b8accf67439264a065fa99347e",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1111,
          "script_sha256": "79e3e9a5f3f2640ea6377ed6f2971d80980fce9b8f241a8995aea6696832d95f",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1112,
          "script_sha256": "072cff2e30d91ca2417e0b64a0fc57834279e96b7abbfcc4f73f26c0cadeb431",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1113,
          "script_sha256": "4724f15d39c0b3d93ce064f3b1b11aa8e429a2572137b04a78a5455bf3f74e1e",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1114,
          "script_sha256": "d12a87023c5bc3b024e12ea37c6ae56348e6c0eb6ffa773d72a7acfbbc5bc035",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        }
      ],
      "independent_review_notes": [
        "REVIEW_C1008_C1031.md",
        "REVIEW_C1032_C1057.md",
        "REVIEW_C1058_C1070.md",
        "REVIEW_C953_C983.md",
        "REVIEW_C984_C1007.md",
        "REVIEW_VERSIONED_INPUTS.md"
      ],
      "scope": "Exact record and script replay, source identity, and declared operation checks. Check counts are not independent discoveries or statistical evidence. Historical source suites were not rerun."
    },
    "portable": {
      "status": "PASS",
      "first": 932,
      "last": 1114,
      "sequential_steps": 183,
      "final_200_step_verification": false,
      "requested_steps": 200,
      "preseal_199_step_verification": false,
      "journal_steps_available_at_read": 183,
      "journal_sha256_at_read": "04561b243eae4a233fe786e016cba6bff7b130b52582dfb4d367dd123a5edef2",
      "last_record_sha256": "e25e82d205b6dda6ed127fb2d6cd86e32e3b61702740c1eebd1cc04a60e82e4d",
      "record_metadata_and_results_replayed": true,
      "journal_hash_chain_verified": true,
      "C931_predecessor_snapshot_verified": true,
      "C931_current_record_checked": false,
      "source_snapshot_hashes_verified": 44,
      "current_source_copies_checked": 0,
      "current_sources": [],
      "current_originals_absent": [
        "05-File_14.Biological_Numerical_Fractals-5-.md",
        "14-file_70-supplement-a-key-of-23-fine-resolution-720-30-rail-2-.md",
        "19-File_58.Numbers_28_29_Tishri_Sacrificial_Ledger-2-.md",
        "17-File_02.Flood_Sumerian_Integration-2-.md",
        "07-File_54.Luke_70_Year_Genealogical_Lattice-5-.md",
        "18-File_62.Half_Clutch_Birth_Law_Interface-1-.md",
        "26-490d_Repository_Style_Guide-20260908-220633-1-.md",
        "35-File_00.Repository_Foundation_Axiom_Engine_Source_Map-9-.md",
        "13-File_34.Unified_Chronology_SKL_Berossus_Bible-4-.md",
        "08-File_68.Enochic_Seven_Week_Core-20260819-145634-.md",
        "10-File_29.Reconciliation_Fractal-6-.md",
        "20-File_46.Harmonic_Expansion_Protocols-1-.md",
        "01-File_20.Jubilees_Fourth_Witness-2-.md",
        "24-File_70.Genesis_Toledot_Atonement_Weave-10-1-.md",
        "34-File_04.Jacob_Jubilee_Standard_LXX_33_397_Sojourn-8-.md",
        "27-File_01.Abraham_Gen20_Fractal_Pivot-2-.md",
        "29-File_47.Patriarchal_Pairing_Six_Birth_Pairs-1-.md",
        "38-File_18.Chronological_Data_Tables-20260919-141048-.md",
        "22-File_07.Creation_Seed_Decimal_Root-1-1-.md",
        "04-File_15.Generational_Axiom-3-.md",
        "21-File_17.Prophetic_Time_Span_Anatomy-20260908-195734-.md",
        "36-File_60.Levitical_Covenant_Spine_161_299_Key_of_23_Reconciliation-10-.md",
        "23-File_11.Three_Gear_Protocol_Harmonic_Engine-1-.md",
        "02-File_05.Exodus_Target_Fulcrum_Anchor-4-.md",
        "31-File_61.Jacob_Moses_Cumulative_Regular_Root_System-6-.md",
        "11-File_69.Enoch_Centered_Genealogical_Accordion-20260823-145801-.md",
        "15-File_22.Cumulative_MT_Harmonics-20260906-202427-.md",
        "12-File_21.SKL_Unified_Protocol-4-.md",
        "09-File_63.Scale_Neutral_480_483_490_Carrier-20260821-143254-.md",
        "25-Project_Procedures-20260908-220633-1-.md",
        "03-File_53.Jubilees_22Fold_Creation_Genealogy_Witness-4-.md",
        "30-File_09.Cumulative_Architecture-9-.md",
        "16-File_12.Calendrical_Physics-20260907-192303-.md",
        "33-State_Vocabulary_Register-20260914-154034-.md",
        "39-File_51a.Rounded_Scaffold_Mod5_Architecture.md",
        "06-File_43.Genealogical_Bridge-2-.md",
        "32-Restart_Capsule-20260914-154034-.md",
        "File52c_latest.md",
        "Strategy.md",
        "C831_checkpoint.md",
        "C831_synthesis.md",
        "C931_checkpoint.md",
        "C931_synthesis.md",
        "C931_technical.md"
      ],
      "latest_File52c_sha256": "a5ea84562101158b60d0cf296765d6eff38e7a2abda4e74ad1b353dfd13b9530",
      "versioned_input_bindings_verified": [
        {
          "step": 1090,
          "logical_path": "prep/manuscript_covenant.json",
          "snapshot_path": "evidence/input_versions/manuscript_covenant_v1.json",
          "sha256": "2192ba1700420439ca53813be08474790a27a916d2ef9a8d0c97d051171f8aa7",
          "steps": [
            1090,
            1091,
            1092,
            1093,
            1094
          ],
          "journal_input_field": "draft_sha256",
          "mode": "historical"
        },
        {
          "step": 1091,
          "logical_path": "prep/manuscript_covenant.json",
          "snapshot_path": "evidence/input_versions/manuscript_covenant_v1.json",
          "sha256": "2192ba1700420439ca53813be08474790a27a916d2ef9a8d0c97d051171f8aa7",
          "steps": [
            1090,
            1091,
            1092,
            1093,
            1094
          ],
          "journal_input_field": "draft_sha256",
          "mode": "historical"
        },
        {
          "step": 1092,
          "logical_path": "prep/manuscript_covenant.json",
          "snapshot_path": "evidence/input_versions/manuscript_covenant_v1.json",
          "sha256": "2192ba1700420439ca53813be08474790a27a916d2ef9a8d0c97d051171f8aa7",
          "steps": [
            1090,
            1091,
            1092,
            1093,
            1094
          ],
          "journal_input_field": "draft_sha256",
          "mode": "historical"
        },
        {
          "step": 1093,
          "logical_path": "prep/manuscript_covenant.json",
          "snapshot_path": "evidence/input_versions/manuscript_covenant_v1.json",
          "sha256": "2192ba1700420439ca53813be08474790a27a916d2ef9a8d0c97d051171f8aa7",
          "steps": [
            1090,
            1091,
            1092,
            1093,
            1094
          ],
          "journal_input_field": "draft_sha256",
          "mode": "historical"
        },
        {
          "step": 1094,
          "logical_path": "prep/manuscript_covenant.json",
          "snapshot_path": "evidence/input_versions/manuscript_covenant_v1.json",
          "sha256": "2192ba1700420439ca53813be08474790a27a916d2ef9a8d0c97d051171f8aa7",
          "steps": [
            1090,
            1091,
            1092,
            1093,
            1094
          ],
          "journal_input_field": "draft_sha256",
          "mode": "historical"
        },
        {
          "step": 1095,
          "logical_path": "prep/manuscript_covenant.json",
          "snapshot_path": "evidence/input_versions/manuscript_covenant_v2.json",
          "sha256": "b2355a41f23ad18fd9d780c626b5f92f2acc43f6a384082328e1cb1eeec7cb91",
          "steps": [
            1095
          ],
          "journal_input_field": "draft_sha256",
          "mode": "current"
        }
      ],
      "historical_input_read_count": 10,
      "step_checks_replayed": 463,
      "independent_reversal_used": true,
      "single_pass_inverse_calls": 157,
      "second_inverse_guard_violations": 0,
      "inverse_guard_scope": "Nested inv calls and inversion of provenance-tracked inv outputs are rejected. This is not a proof against arbitrary manual reimplementation or deliberate provenance erasure.",
      "replay_writes_blocked": true,
      "journal_prefix_unchanged_after_replay": true,
      "journal_bytes_unchanged_after_replay": true,
      "concurrent_completed_steps_appended": 0,
      "replays": [
        {
          "step": 932,
          "script_sha256": "9fc3417bcc64325aca302387d7e756b2d1bea96635088bc5ae5717ab88c354eb",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 933,
          "script_sha256": "640a10708ad23973f0f2d24e534d378a0951cadacb78e54c951b8bb25e5cf201",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 934,
          "script_sha256": "63e488fcd8968a0efb37c56156b1173e23e18a906d98951b67e23ba5319ff760",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 935,
          "script_sha256": "61ce984eab467de3ff8e2ab620742c9d20b9800999801a3a4b16c713c22f1a08",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 936,
          "script_sha256": "776a54b3af907b48a35528b472e8aef9c9c87effcec10b9702a2502cdbacaf9c",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 937,
          "script_sha256": "8c4f4c1db4fa99e3f42a27eae11154bcfdfe798601251536d6f6f366d82a35de",
          "checks": 2,
          "single_pass_inverse_calls": 4,
          "historical_input_reads": {}
        },
        {
          "step": 938,
          "script_sha256": "4f4de84bcc2bca7030db9197207510e87c70919ecf254094f284320f5ba65d76",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 939,
          "script_sha256": "35ff633a332a5e70fea20593af3d02fb7f7bd89c34082ec05039a46b136ba30d",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 940,
          "script_sha256": "89082ee71589ab2e12b1204797baba9d201d06295a028cd64be51b847c81c260",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 941,
          "script_sha256": "5b0a5a8d6f4c533ddab4bd030efebb07bdcb243479f1cd4b222613e1b337e3a0",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 942,
          "script_sha256": "c3a79d320b6b943d2581c855641cc2b4b9b444f57610a97049bac8b50823cc4b",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 943,
          "script_sha256": "38aa8220ed86e670169ed09a675e4246ec0204ab9a7dd3bd99d4f6af55f656d7",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 944,
          "script_sha256": "a1f2522a6688c89e1649dc5b79465ef1a8cb2a5689b211e8160b9ed84b7a3da8",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 945,
          "script_sha256": "a43296caedc37ef8fcf4cf2f61d37d73472d5d1edcb7903d2e450f58585fc9d4",
          "checks": 3,
          "single_pass_inverse_calls": 4,
          "historical_input_reads": {}
        },
        {
          "step": 946,
          "script_sha256": "0a6cf11361d0ee337005713833648c6c43e613d6b06786857a1de33f091eb0c7",
          "checks": 2,
          "single_pass_inverse_calls": 126,
          "historical_input_reads": {}
        },
        {
          "step": 947,
          "script_sha256": "ae5ed730774cfd8e319bece8c3296928b5c3b940c047cf13dca5c696d33bad07",
          "checks": 3,
          "single_pass_inverse_calls": 4,
          "historical_input_reads": {}
        },
        {
          "step": 948,
          "script_sha256": "3eb341ffe590a47b8bd68cc533254756c4d32fc2aa4bee774c496c45cac026b4",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 949,
          "script_sha256": "32cc0eb5284f053e9f7491f167959ec2de3fa0fd34daee9cdf8ba44ecd7ea71b",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 950,
          "script_sha256": "cf2458b3efdf53720b7f69fa9a071f65ac22e0f5282866abdbddd55cae550e16",
          "checks": 4,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 951,
          "script_sha256": "622690f2625e6d6c92edb214e37b6097d0d6609b0781947b6e3f33a093670b18",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 952,
          "script_sha256": "149e2d9b83a8c297f65d2066649c58cf146818bfbbf18366081eb7b8ba536555",
          "checks": 3,
          "single_pass_inverse_calls": 1,
          "historical_input_reads": {}
        },
        {
          "step": 953,
          "script_sha256": "22a81c45dc15dd616f2f899bdda914ee67a401780f478ea4fb016b9e9c718f08",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 954,
          "script_sha256": "6a7483639768f214edfb52a695d2e69ae2c44b9e553f122fabd45bbb95fd3f62",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 955,
          "script_sha256": "0dc834c87e4ff1fc4940ee5c48d82e07913956148baacd891fbb874c75701cf8",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 956,
          "script_sha256": "66aa779fcb31717175f59dd00f867fa6ca94e71ca03d945a91b5baf6cbe4e855",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 957,
          "script_sha256": "537f28f7be6cb9a296e4dfae89a0c2e7b3836840f4ca2134ea8a7cdce62852a0",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 958,
          "script_sha256": "70facc6f4272f2a61523eb55e6ea45181da22d4ee67f8b4603086b6f103478ad",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 959,
          "script_sha256": "f99e34bbc31b6b099700ad66524ffd93380379cd2ad2c756dfa98654a16fb381",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 960,
          "script_sha256": "38f3c2d37fc212d1650916b8f368dbc7433898f60f7d23d6af6c3a3ef3532dcd",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 961,
          "script_sha256": "828942dc449328294db85e564fba7fc8a63f455bfa471ad5d5f45ff6f8955c75",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 962,
          "script_sha256": "5ce6a59cfd0c6d16d91cf967e83b7c107255432760f961eb687f9216fdd7ef8b",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 963,
          "script_sha256": "7383a631eb43760c7be129c6567466797bfdbb771288233b9e597298c31f6b5f",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 964,
          "script_sha256": "47cffa5b907db137da5ffca9c54ba9c714057e7abebab75cd24c0ad6e07377be",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 965,
          "script_sha256": "e9bd5a6c10b78ac78a0e45b75b6856f7f6fbe68d3becc856dfb239ce8ba3a029",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 966,
          "script_sha256": "0f90c8f8f5633d42dedb14722042ae4b955c467d5c88f3b342685f427ed8cae1",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 967,
          "script_sha256": "c864f04a8a96b222e40b9bf88dcb3ed25b5a1e92ac7bc9f36d2588f72fccba7c",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 968,
          "script_sha256": "60a845a1f8eb4ac2a778b955daa497ac5bd24b2585828b8c7440eb19f862be27",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 969,
          "script_sha256": "d8b01316a27c33ad1fa58ef80a05ab4295f4fefe250429a9b3d268c49196fe2d",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 970,
          "script_sha256": "984aead356968b7ea03c48a8191aa49d01d90eecee03716758b1fea3438654d2",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 971,
          "script_sha256": "a84935e0aca143f1b51f415cf4b8f1fad389b6fedd3642fbdbefbb65af70a931",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 972,
          "script_sha256": "c560c521dacfdb4a11557abbb62118b0c7a0bafc617ad2331997d12ed17af91f",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 973,
          "script_sha256": "ec9420545bc2139da1e4b4fb91a898f8535c1458efe5e2639d0fa66a2278a588",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 974,
          "script_sha256": "02c0b5588456c8a16a7f4a8cf9d65dceb0efc80f89a90ea5a5f10785fec0e7b9",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 975,
          "script_sha256": "b0e0d977fb0c9085ee008eb6e96883787ff16136ce623a5231687db56bbc15a6",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 976,
          "script_sha256": "74e1752ad4d107c3a75c90d6d8c0251018e80652b76f870a1c11a31c43c34cfd",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 977,
          "script_sha256": "0bb9378cb94a7d211b26d4bfb331656beaa70a9eef38b9e876f5c2a7c46b72e0",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 978,
          "script_sha256": "26e2e1ac4792802601a53299b7a54525dd217952365d8b9ee4b403b783ed25f0",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 979,
          "script_sha256": "65f16552f97601ca121aeddac788cbc9de08186372a1adcfce4a752e99373cbf",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 980,
          "script_sha256": "3a47a077de784ead3d8caa2eeb28e68459e5b7648502faaeb6582c489c7d4f6e",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 981,
          "script_sha256": "c4998173edc93249ee3e1eb344be12efd8c8b1464f4557fbbbfa2b27b7edfc40",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 982,
          "script_sha256": "7b4362cc78489eba5b7cce5709f867d46876ab628f6ec6ea2ac3cacc5b0ed8b6",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 983,
          "script_sha256": "dbf779b18d0f185b7cef356ccfe0a87adfdad232aef498605e6522fda81c0f3f",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 984,
          "script_sha256": "e567de68ee56bb339db4359d8931345aa21ae6fcc2b9144358e0721c007c2924",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 985,
          "script_sha256": "85f9606e986a49a0b589b4604b01776fc41d551200a905c43359b73c202a95df",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 986,
          "script_sha256": "ae5475ac6901d68d68f8e2c9984233b39624559f9fe867f8f838f33cb02bbfe0",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 987,
          "script_sha256": "605b107ec346dec6a3b8ee8ae16e68e9ce99c83ba603927ff97d7e107e4c1534",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 988,
          "script_sha256": "a3bca232e6c164acc6daaea77db74db4d262b410ee3fefa5e0278a582c6bb2bb",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 989,
          "script_sha256": "fc98b858c2d6aae12bf86bc9b5643024609a0d6f076cd1998de97f0ad667d74a",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 990,
          "script_sha256": "a5a6a141196a1c24f42b283544335f41824e1cf7cfdebd483cb6b8f4644c8407",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 991,
          "script_sha256": "eac228ab02aad40e6b1b73e57ed07d8d11bf4dab09518b811784231e509ce0a2",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 992,
          "script_sha256": "ecaf884c28d3729e5c9f315216003d564a72ebec4630fe048c6bcd23aa30ca4b",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 993,
          "script_sha256": "e8e93a0d206bcfb3d650fc24e75a1fb4d1cde6ad796afa81a59951827e2ab05b",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 994,
          "script_sha256": "53ab8b5987984bd65627fc8d21aa5e125870a7fea0940e778bc6f88bbc7baa47",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 995,
          "script_sha256": "e9f37e98d9180dc72648c268403c5a84180ea95e1faab6e735f13195d985b609",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 996,
          "script_sha256": "1959cbea85ff980076ececfc1fee51531c5cfe797a81b8af05b9b33c0cb33285",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 997,
          "script_sha256": "92bc27675f255a44bdb96660590a9ed6447bbddd6a46ad1aa745105e481f4b03",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 998,
          "script_sha256": "6f06839795570a669ba438ef8404814312f958562f7a835622138539f10a017b",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 999,
          "script_sha256": "7143ea1080d5da760006f03b6d8a9680f131e390b8f9958d21a10550e74dcf08",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1000,
          "script_sha256": "2c7cd2723d04d5f515605abbacdf9d7c1f6b894a929fd6fd9356aef3de634d03",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1001,
          "script_sha256": "fe3e350ee37b7c2effce3ce89cde561a56336003b8c58b76f95ce8fdd14839f5",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1002,
          "script_sha256": "4084cd4d409e5a5159a79e91f65cd853aa78e734cda2105187b8dd50873d9000",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1003,
          "script_sha256": "56ee380bbc75a2228c08424ead81825c5577a40557b1864745406f9ebae5a445",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1004,
          "script_sha256": "b0cf36cc88c788ca4088c99e338ca2835f655be14feafad1c7c7701e83964f94",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1005,
          "script_sha256": "b08f1cac255b25879a351ef0be123329db093a2263028243ab8cc4a32459726d",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1006,
          "script_sha256": "2cf6f13cff90a210c21ebe6dfdfb177b89c698088bfb3ca30262d644ec61c822",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1007,
          "script_sha256": "69e43e406e072e0349de1580d2e2cf4d40f68cc03e82516f1054e07361bf4d44",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1008,
          "script_sha256": "9f81373837eda0250b1f1f61f015458b3d7bfa7546500815f0ab365dcfda5431",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1009,
          "script_sha256": "e8e2b60e3193105ed1e735c5af880c6d686659616c91fd805d14ec45b120f0a1",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1010,
          "script_sha256": "26aa19fe032a68cc650db6f5cb64466185cd9e23c54c71db01595d606662e772",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1011,
          "script_sha256": "954ecf2d3e024cf796e4fa97da09f5bf5e63b13242609b44122d9014036b12f1",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1012,
          "script_sha256": "3fc899ca892d358216e015aa762e673fd638a6fbf5d3e8c1ea1cfe4e74c95a65",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1013,
          "script_sha256": "c551c0ff6e42d30540af9a640e3f634073ae8a8fe79411eb7f3798fb5e8f4e72",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1014,
          "script_sha256": "7051930af9a3aec3fee1ad6f873932f23f868e7cfe916e8c320fb899198851f1",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1015,
          "script_sha256": "bab71c9a39d50fc7e1fd8230a53fd2cf4f00f4e1ddbfa0c393c9f2e49a898fed",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1016,
          "script_sha256": "830977cf9c7134f977b8aff51fb052d4682c05cfb34d6d9154be251508c7146d",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1017,
          "script_sha256": "f52c72f6c11813920489e798110cc30432e2de19cd2a7e65ce02b1f9130d5a0b",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1018,
          "script_sha256": "d8ad5a0a2a2ee98d41b52a1c694348c3602b207a790c541caed2474c08a84a78",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1019,
          "script_sha256": "10243fec0ec19d69d1d6a31ca721138340a362f69e125dcd62029651fac5f34a",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1020,
          "script_sha256": "2d563a1b5d0a31f2870d3550868afb15e27d59a9cdda5fbd1976e889e277ca61",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1021,
          "script_sha256": "05153c6beae4b9e178f479e7e0d72108409667299904a5cf8488e4f7935460c0",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1022,
          "script_sha256": "bb2a5bce096546098f0cc727391fe812e8e2fb7e6b7ae0688534aef7c59dc488",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1023,
          "script_sha256": "f338483fe49773d30e88fd724baf9513e5078d0e71f5c1f975f2210c618ca0b2",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1024,
          "script_sha256": "0196e5cd4c000892cf46c598600bd55e04778efe9dbad62f9ff2769877e30ec8",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1025,
          "script_sha256": "f5ca56e8906f81225f97a45246753d774566274db981b112b7ac45b9c1aea8f6",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1026,
          "script_sha256": "bf13c35c0188ad0dd16f8b9ae9304c46fc5d94ba017770fc81bc3b347a82b1b9",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1027,
          "script_sha256": "f62b233de8a9bc953edafc1683d19e708546c572fb67cd4585d1bf4b9987e3fa",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1028,
          "script_sha256": "33999a0f17c0ffa3b55b7db724dd61f720080927c16380b56442225dcf1cb712",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1029,
          "script_sha256": "985f0b1c65fd75914c187ef9621c4e30513b6b4f54139194a96fdf60fa4b1584",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1030,
          "script_sha256": "9a73b4cabdd20587324d49d43d387102578b6d0e6a7d3ff98306c235bad03abb",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1031,
          "script_sha256": "82913013da83778b3d0a0ab01da16416c1948d482a0b526f444a2e89601c060e",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1032,
          "script_sha256": "9e10ed4057a812796a991e5d34f2e79029c4db5c93d8befe7c91e3692373a1a6",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1033,
          "script_sha256": "27920cbfd1eeff61c917cb807f4d8fac2a37afef947eb3cb9684132372f2649b",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1034,
          "script_sha256": "a3841d52df6d8cc2574e9890f588e6381746d1e5f2e359daf6eaf97f5e0efd79",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1035,
          "script_sha256": "54bd0da9ea4fd778ae095c8b83e996bdc5483cef3c98b6668d9b268a4f11d40c",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1036,
          "script_sha256": "e393b2f290b49c7775a49f049e5d4fac37b02714879719ccaa0bffd2d005a51a",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1037,
          "script_sha256": "fa3b08c09fdbee53c6d68de4bb850a40702d617ce06ee257ce93f923a7142368",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1038,
          "script_sha256": "2b98f267e5a76b0cd3df489f47f9aa479f734111bea7e78b7a60ed79fbda9cb5",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1039,
          "script_sha256": "536c91a4ce55dc3f6517d1ce758d24c0a671b8214a70ed19f60af38fbe2d0b66",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1040,
          "script_sha256": "ae1576a0e7702f0cf0abd537c8d345f90b0169a82def248b140c22d00cedd923",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1041,
          "script_sha256": "d2beaded6c1ff64c3853b4375ef6874240d63e037e2c92498b32f8cd21fb07e0",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1042,
          "script_sha256": "3973b5366338e87644740b6e7ed92c2014d5249b316941a81a881e90cf7d9dbc",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1043,
          "script_sha256": "8fc8c781ac3074c52bb56a35b6d0a10e6ced0fbd3ae7783a42ae032de7e4eae4",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1044,
          "script_sha256": "e348b6f7e10e10a27df1d322028a67623ea3f4afa699be6e12ed228931b52292",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1045,
          "script_sha256": "297797d1bd7b16f8e0d0ff9589fad48f89cfe4fdce6647856498fcfe75994034",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1046,
          "script_sha256": "ee53027f774a7b2cc043034adb5b18a2d722df7339dadc8cb05a9df6342131d9",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1047,
          "script_sha256": "861da11ffcad24b90ead40738018d4faa1b1bdc2e488805136c826c603712f02",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1048,
          "script_sha256": "508a4de5e2f47ba22f76334885e278461d9aae3d44e777c9403d2830b3606b4c",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1049,
          "script_sha256": "f79ee8e9f84202c6ba33b97a74e87fe70665335dfaf0314959d794267632c7fd",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1050,
          "script_sha256": "5b49d23048de0a13fd856e7ecf63b9a82467e28a78249f8d52fefb6cb285e1a4",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1051,
          "script_sha256": "43cde3b1d0c0c9fd49eaf62c94bfbcf62cb17773d89dd56c6986d3768354b97b",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1052,
          "script_sha256": "683120108e2d75675d2a0d869e893b7550239b6b108a48bd96cc5ccd3cf06a83",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1053,
          "script_sha256": "925f7ba930df403d61e951ba3a5aa9e4fdd15d7109a162080202a2b9313f2c1a",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1054,
          "script_sha256": "3db727b3a90c704ecadfcb9d42e1f63ee0277381b87f692c89c21a0b4cbd5e97",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1055,
          "script_sha256": "3a18c56b77473145d5f731d009a694f6af3f4c98205f2776151081872eed11ac",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1056,
          "script_sha256": "6578ed5568a565e74646e1ca6b65cabdc58d70dde574d46fcb55d3f9f021d22c",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1057,
          "script_sha256": "a0db50d704391f6ec0242f779b043f296454841241d55b9f7c3d82f2bc543683",
          "checks": 4,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1058,
          "script_sha256": "56233c72c1a029b06e8d9e4d573a1dcd77fa417b71ca1ddc69083bb37baf1881",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1059,
          "script_sha256": "dde9a7d45423f0a0a3eeef822500b9bf62895c6a18c320b691cfaf4256f608cd",
          "checks": 2,
          "single_pass_inverse_calls": 13,
          "historical_input_reads": {}
        },
        {
          "step": 1060,
          "script_sha256": "476d3b2c513139eff7e27616628b2a7f612134ed1f4d699628ab7a08a4211074",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1061,
          "script_sha256": "f51635a2138ac8d79ad3f3d1a240b4b70e9411d923df329c452bcb3b1da4d9e1",
          "checks": 3,
          "single_pass_inverse_calls": 1,
          "historical_input_reads": {}
        },
        {
          "step": 1062,
          "script_sha256": "4eb561d9ad84df0bc2f87253f040e837ca5da88a53bab37998c4b5ad1ba1bce1",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1063,
          "script_sha256": "e6301fcb80cacfc2bd725e55e54584f422395ef70656b7219458554f1db91190",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1064,
          "script_sha256": "59d0b236cf4049a28cbfba09832d03981b6eb5056c43584a35316342a7a94685",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1065,
          "script_sha256": "b0ad380415f32c5b00aa1fee992b4e445acb798009c2076f71db2947f8ec6782",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1066,
          "script_sha256": "e28a8998ed6af3bef3130551a6537c2a336efabe09e30b6bcac3474f52af4d25",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1067,
          "script_sha256": "82581afb1a0787fb43ec7d60dcfc552e37a924991d69dc292aaa017fb12103eb",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1068,
          "script_sha256": "917b857b28d756b914aaed68c9c3e3cebd8d376b0b19d86d0a86612ee7b91576",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1069,
          "script_sha256": "1a65ebfdf9229c95bd4799eb6419ba1e9fc33dac0d5d820a1bf3b9d16b90b6bc",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1070,
          "script_sha256": "ba501f46bdfe0847dcf37669db9f40615f6aed69af8756f2bb92e4ce72f65d78",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1071,
          "script_sha256": "db5aae5243878a8641c5c57f31c98ce606a090752a9bcad03fd3a67d16760dcf",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1072,
          "script_sha256": "0e79701cfe5807f86eb468adbe41158eb415d0a5532b80e9c1b7b628cdb98ecd",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1073,
          "script_sha256": "dba7e577e9ccbb27b4847218309d6fb6944a480f77f75cdedb817b02a6c36d0c",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1074,
          "script_sha256": "631edfd6cb1c5646ec679ee9380e2293236733d83610e4c450aec3fc6053f8bb",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1075,
          "script_sha256": "0981b2f7de44b7cfa3ad4423974405fb11afdf034628aafa94828402300b3171",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1076,
          "script_sha256": "4b84a3eb4c8c0d2cd8de8cccceb1a2dc3f90e1b4ce2a5564bdb20d2325a884b3",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1077,
          "script_sha256": "f7b18cd84c28d3e9e4c54f365b946478892ee9cf2fcd6c7357a772abecd73ba5",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1078,
          "script_sha256": "69d08cd32b13c9d1a4476f3ec45df09b084b5d3b7a44fdc079a76c6fa58db906",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1079,
          "script_sha256": "98071c0a8732533d5582c3fc70566584b929503ab912f18a6e2509af28e6242a",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1080,
          "script_sha256": "2183512577a6fb2705ca2ce8abf483cf9200d05c1d65ad8e8e18e410870054b6",
          "checks": 3,
          "single_pass_inverse_calls": 1,
          "historical_input_reads": {}
        },
        {
          "step": 1081,
          "script_sha256": "f5967c01f09d4192937c539df704abbc85b5128412fa0471f641bbf105c5ae9e",
          "checks": 3,
          "single_pass_inverse_calls": 1,
          "historical_input_reads": {}
        },
        {
          "step": 1082,
          "script_sha256": "9e99f7b91fbdf10fc2844346d8d5276302034c8ae96fc83e58cbad486ea75ade",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1083,
          "script_sha256": "1e28a9b86ca86383a6b803a11a21bb0574ae0bf24317f9551577a1144fa316a7",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1084,
          "script_sha256": "ecaef0225986af47d1013011bc4a957033928389d715827e9bd9e50b21222847",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1085,
          "script_sha256": "9fbded71213e5296492fd8e65c11b7f4f40055bfb45532b70a10af9e74968167",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1086,
          "script_sha256": "82a5b17c67af7e5c59d7025b0bd02b34f7f6fa7187972102ee5fcea8f11a8a2b",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1087,
          "script_sha256": "42767fbd9dbaa533d85508c4bafbae976502604afd58a8dbd6951ebb09f87d41",
          "checks": 4,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1088,
          "script_sha256": "2a329144fa841add60aa0eb8d7056927280910d913c8e30e6fe0eb781481f25d",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1089,
          "script_sha256": "6048b66b1ff0ff80315c25d87ce5110d94ccea996d5ee19e9dbb58bd9bb33a1a",
          "checks": 4,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1090,
          "script_sha256": "a0ebcef1a4558148f0f4f19a68d96ce494473ee0962792ce1754655f04a803c1",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {
            "prep/manuscript_covenant.json": 2
          }
        },
        {
          "step": 1091,
          "script_sha256": "54e07218e4238718d45f484b2a3a862880a67c7e0b04af64b9cdca4fd6b2f54b",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {
            "prep/manuscript_covenant.json": 2
          }
        },
        {
          "step": 1092,
          "script_sha256": "b1ec3558bece15eb96ab94dba455315b31f35b7ccb8643d8b41429dd4985818d",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {
            "prep/manuscript_covenant.json": 2
          }
        },
        {
          "step": 1093,
          "script_sha256": "3a43a9587c546290e29dd3428d8f38b2f6f9822c24b52a3ce6709bd44e62457f",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {
            "prep/manuscript_covenant.json": 2
          }
        },
        {
          "step": 1094,
          "script_sha256": "a01aa94a3897443b7fb9a61cd551ecc9628e111c8eb3eb59b54b718a60121117",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {
            "prep/manuscript_covenant.json": 2
          }
        },
        {
          "step": 1095,
          "script_sha256": "c4e03b72e252e38ec54983343642c0e5e95c094967237cefbdf89100cea10562",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1096,
          "script_sha256": "55f6b8f92af82dc21c650aa2737bd0a3dc57993bc449c767a6ac78db701abe50",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1097,
          "script_sha256": "c21e6748b12f93203da014e321b184cd3c0dbc9c9496aca81fe39552b23fb19b",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1098,
          "script_sha256": "28d86601ce691e965395773934b70159517e696ffd8b1ea218a1106599d972c6",
          "checks": 4,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1099,
          "script_sha256": "7ac5c3444093cd962402ed7cfb9afb60f483227a103ca81d24d4db61595cee78",
          "checks": 4,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1100,
          "script_sha256": "eac19e3f9037a9a624a8529056913ece0206e518923b141bcff3cde6f529b895",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1101,
          "script_sha256": "6ab20e1b21f3d6f83084a72cf19ef4ef4003f7b8191c1ec9ed2cac4c0beaa6a3",
          "checks": 4,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1102,
          "script_sha256": "f4d55beffda8242fe973349cade6e0818266f69dceda7aa06b6e6b45912677f3",
          "checks": 4,
          "single_pass_inverse_calls": 2,
          "historical_input_reads": {}
        },
        {
          "step": 1103,
          "script_sha256": "00db40f141a939ee77366e6208654f569df2fa9c60aab2c5a89129c3abb32d79",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1104,
          "script_sha256": "4e9fb7089e9fb8e4e788cf63179cffd599442c4ccf678a2bd86e4b28609f2b33",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1105,
          "script_sha256": "d374d266b37ae649fb4e379c30dfe96411fa3c88620976a332a65eb84e7103de",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1106,
          "script_sha256": "118f506fabae422b9cdc2422d26f8f8d4337da50a213cede597c9dbd4c97e97b",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1107,
          "script_sha256": "56904c07580194fa1e8a6b8df578a767a87aee4504e29bd6834edbe0b1142306",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1108,
          "script_sha256": "f2710c22814f4142b2535b017ef300daec9d80e6e2b01bd86af152e4fa7472d3",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1109,
          "script_sha256": "10fbf6773b9df6fb313a577c38aca018d2f20bca2d219fc28c726b33215dcf2c",
          "checks": 4,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1110,
          "script_sha256": "a2e0298475195cb7f25d0581a7ec9de60bf195b8accf67439264a065fa99347e",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1111,
          "script_sha256": "79e3e9a5f3f2640ea6377ed6f2971d80980fce9b8f241a8995aea6696832d95f",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1112,
          "script_sha256": "072cff2e30d91ca2417e0b64a0fc57834279e96b7abbfcc4f73f26c0cadeb431",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1113,
          "script_sha256": "4724f15d39c0b3d93ce064f3b1b11aa8e429a2572137b04a78a5455bf3f74e1e",
          "checks": 2,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        },
        {
          "step": 1114,
          "script_sha256": "d12a87023c5bc3b024e12ea37c6ae56348e6c0eb6ffa773d72a7acfbbc5bc035",
          "checks": 3,
          "single_pass_inverse_calls": 0,
          "historical_input_reads": {}
        }
      ],
      "independent_review_notes": [
        "REVIEW_C1008_C1031.md",
        "REVIEW_C1032_C1057.md",
        "REVIEW_C1058_C1070.md",
        "REVIEW_C953_C983.md",
        "REVIEW_C984_C1007.md",
        "REVIEW_VERSIONED_INPUTS.md"
      ],
      "scope": "Exact record and script replay, source identity, and declared operation checks. Check counts are not independent discoveries or statistical evidence. Historical source suites were not rerun.",
      "portable_isolation": {
        "method": "subprocess Path.is_file availability gate plus audit rejection of original-workspace opens; extracted packet allowed",
        "negative_control_original_read_rejected": true,
        "original_availability_checks_hidden": 45,
        "original_open_attempts_denied": 0
      }
    }
  }
}

Linked sources and evidence

Edition and provenance

portable1114_review.json

SHA-256 71d81ab14435c41548152a450e5e382ee3bb3debb6c5e1e5589ba7ec1da91758

C480–C1634/Research_Cycles/C0932_C1131/prep/portable1114_review.json