diff --git a/research/h25-all-six-source-freeze/CERTIFICATE-v1.json b/research/h25-all-six-source-freeze/CERTIFICATE-v1.json new file mode 100644 index 0000000000..46d31644fe --- /dev/null +++ b/research/h25-all-six-source-freeze/CERTIFICATE-v1.json @@ -0,0 +1,614 @@ +{ + "schema": "h25-s07-02-independent-complete-all-six-source-freeze-v1", + "license": "Apache-2.0", + "reviewer": "OpenAI ChatGPT Pro, independent AI source review; not human, proof-kernel or maintainer approval", + "constructed_utc": "2026-11-08T05:59:18.462105+00:00", + "source_window": { + "started_utc": "2026-11-08T05:38:54Z", + "reassessment_utc": "2026-11-08T06:08:54Z", + "hard_stop_utc": "2026-11-08T06:38:54Z" + }, + "criterion": { + "id": "S07.02", + "completion_test": "Freeze the complete combined stage with all six compatible changes.", + "verdict": "ACCEPTED_COMPLETE_SOURCE_FREEZE", + "literal_source_scope_unchanged": true + }, + "implementation_head": "319ea1c5f4097ef87cc0b037327f26374e93e54d", + "reference_reconciliation_head": "1144f0a715e84b3f08ebe7d0e8ed8a06543f2fad", + "new_implementation_change": false, + "artifacts": { + "source_map": { + "url": "https://github.com/Clear1nsight/integer-mult-bounds/blob/319ea1c5f4097ef87cc0b037327f26374e93e54d/research/h25-retained-child-lock-repair/SOURCE-MAP.json", + "bytes": 32276, + "sha256": "23835f65f47b8d3a3ae0c6a1dbda4b5bf8479bedfdab8f475c7ef490c43fb9d9" + }, + "detached_manifest": { + "url": "https://github.com/Clear1nsight/integer-mult-bounds/blob/319ea1c5f4097ef87cc0b037327f26374e93e54d/research/h25-retained-child-lock-repair/readable/implementation/bindings/SOURCE-MANIFEST-v2.json.txt", + "bytes": 39563, + "sha256": "3742b1a7e83dddaed87ffd147a18c0002474aa0772174a9c5d4d01e9f5d17d6f" + }, + "selected_packet": { + "url": "https://github.com/Clear1nsight/integer-mult-bounds/blob/319ea1c5f4097ef87cc0b037327f26374e93e54d/research/h25-retained-child-lock-repair/readable/implementation/bindings/SELECTED-SOURCE-PACKET-v1.json.txt", + "bytes": 11759, + "sha256": "825cde45bcdd071de9e2b7533deff664bb50cd5bc8bb7beaeb58401d0daa0160" + }, + "prior_reconciliation": { + "url": "https://github.com/Clear1nsight/integer-mult-bounds/blob/1144f0a715e84b3f08ebe7d0e8ed8a06543f2fad/research/h25-complete-source-binding-reconciliation/SOURCE-RECONCILIATION.md", + "bytes": 33479, + "sha256": "85c16d5813453bb934a103e41bab2a3250e8daa67edc90a76b8130774cd22db7" + }, + "prior_certificate": { + "url": "https://github.com/Clear1nsight/integer-mult-bounds/blob/1144f0a715e84b3f08ebe7d0e8ed8a06543f2fad/research/h25-complete-source-binding-reconciliation/CERTIFICATE-v1.json", + "bytes": 1201989, + "sha256": "1ed6b0e4775d8d21dacbade5536cfbf7464592edd81004395cb7b3817f22508a", + "git_blob": "09de85d72fc7ff9e8778811adf273e34d3d24e28" + }, + "prior_current_leaves": { + "url": "https://github.com/Clear1nsight/integer-mult-bounds/blob/1144f0a715e84b3f08ebe7d0e8ed8a06543f2fad/research/h25-complete-source-binding-reconciliation/CURRENT-LEAVES.json", + "bytes": 30041, + "sha256": "5fd9a1fd10cb203c923f58702b119c4131dcd351fb90340787cc7d261c40e6c1" + }, + "original_adoption": { + "url": "https://github.com/Clear1nsight/integer-mult-bounds/blob/dc34598c22e2ef43ae7e11fc1d8c14de3915cf89/research/h25-s03-08-source-adoption/evidence/ACCEPTANCE.json", + "bytes": 12187, + "sha256": "99b856e02dd05a0fe576a052c976f8ee98de5db71b4dcddf44ab32532c4d62b2" + }, + "original_scientific_manifest": { + "url": "https://github.com/Clear1nsight/integer-mult-bounds/blob/dc34598c22e2ef43ae7e11fc1d8c14de3915cf89/research/h25-s03-08-source-adoption/evidence/SELECTED-SOURCE-MANIFEST.json", + "bytes": 32701, + "sha256": "e4e4f461794b4a8e09291a421ae4765446ff4c25431728df7609999e2ef4fed3" + }, + "normal_scientific_driver": { + "url": "https://github.com/Clear1nsight/integer-mult-bounds/blob/1ac58a84b725bd6f17eec66727edc877c49c7e66/research/h25-full-caller-readable-inputs/full-candidate.py.txt", + "bytes": 104276, + "sha256": "fa9f473320e9df3a2328bd8388f12eca4e7fc3eeed9289f7fdbf2eeb32a7452f" + }, + "optimized_scientific_driver": { + "url": "https://github.com/Clear1nsight/integer-mult-bounds/blob/1144f0a715e84b3f08ebe7d0e8ed8a06543f2fad/research/h25-complete-source-binding-reconciliation/CERTIFICATE-v1.json", + "bytes": 104276, + "sha256": "92b507a2667b0d0085f63fb35176167806272934fef8149da691043411c81db0", + "availability": "Exact body derived by reversing three documented source-pin literal substitutions in the readable normal driver; matched selected 104276-byte image. No archive decoding or execution." + }, + "actual_staged_root": { + "url": "https://github.com/Clear1nsight/integer-mult-bounds/blob/319ea1c5f4097ef87cc0b037327f26374e93e54d/research/h25-retained-child-lock-repair/readable/implementation/bindings/stages/joined-full-candidate-v1/integration/full_driver.py.txt", + "bytes": 38851, + "sha256": "f5a2d33f2b4d3651f214156a0e7094c2bb516ce2d5ab7698d18c11f98f35dee0" + }, + "original_SOURCE-SELECTIONS-v1.json": { + "url": "https://github.com/Clear1nsight/integer-mult-bounds/tree/57cd3615df4c7ada2300ba7295d410ba705c9280/research/complete-source-payload-assembly/adopted", + "bytes": 649966, + "sha256": "97af356321e9dabe465c70f6a475e6b957735152d293359e9713cf01c7733d96" + }, + "original_COMMANDS-v1.json": { + "url": "https://github.com/Clear1nsight/integer-mult-bounds/tree/57cd3615df4c7ada2300ba7295d410ba705c9280/research/complete-source-payload-assembly/adopted", + "bytes": 245246, + "sha256": "5872d8d79247356e2ac8c9a41fc1de875f292426dfd2d2174145c14561ffc942" + }, + "original_ROLE-STAGE-SOURCE-MAPS-v1.json": { + "url": "https://github.com/Clear1nsight/integer-mult-bounds/tree/57cd3615df4c7ada2300ba7295d410ba705c9280/research/complete-source-payload-assembly/adopted", + "bytes": 5778616, + "sha256": "f0e4a99c358624fcc8ecd112dfc3e24a02f906134d283e0814ee97aa1610d394" + } + }, + "current_selected_graph": { + "source_roles": 61, + "profiles": 7, + "historical_control_references": 44, + "distinct_current_mapped_leaves": 66, + "counts_are_not_semantic_proof": true, + "profiles_exact": { + "OS": { + "bytes": 2598, + "mode": 292, + "path": "/home/d3lerium/.codex/.chatgpt-projects/g-p-6ad5817fd84881918865926b6fd51453/outputs/group-retirement-repair-20261108T0136Z/repair-v2/implementation/bindings/profiles/OS.json", + "sha256": "a65c873003ce04673074369b90fd8694622b2d9bc7fa36e95bb88b183dc787b0" + }, + "clock": { + "bytes": 1259, + "mode": 292, + "path": "/home/d3lerium/.codex/.chatgpt-projects/g-p-6ad5817fd84881918865926b6fd51453/outputs/group-retirement-repair-20261108T0136Z/repair-v2/implementation/bindings/profiles/clock.json", + "sha256": "bf2aa857e3adfd32eb54c7935adf8ddbcefc4de9cac5ba5da3cb456896be90de" + }, + "commands": { + "bytes": 9736, + "mode": 292, + "path": "/home/d3lerium/.codex/.chatgpt-projects/g-p-6ad5817fd84881918865926b6fd51453/outputs/group-retirement-repair-20261108T0136Z/repair-v2/implementation/bindings/profiles/commands.json", + "sha256": "fc6e801e87174cb97b75cc704804919f7813f96fe43b31e33c015ecba2e5c24c" + }, + "cpython": { + "bytes": 1550, + "mode": 292, + "path": "/home/d3lerium/.codex/.chatgpt-projects/g-p-6ad5817fd84881918865926b6fd51453/outputs/group-retirement-repair-20261108T0136Z/repair-v2/implementation/bindings/profiles/cpython.json", + "sha256": "1335e1882e1436851177cf623ab59db4d5c4665b8299f3e0aa842bdd07750b9b" + }, + "effects": { + "bytes": 3083, + "mode": 292, + "path": "/home/d3lerium/.codex/.chatgpt-projects/g-p-6ad5817fd84881918865926b6fd51453/outputs/group-retirement-repair-20261108T0136Z/repair-v2/implementation/bindings/profiles/effects.json", + "sha256": "95da7e26145e439d69c24fc2ccfde96bed485fadd5294c41bdce5a198e4268aa" + }, + "filesystem": { + "bytes": 1953, + "mode": 292, + "path": "/home/d3lerium/.codex/.chatgpt-projects/g-p-6ad5817fd84881918865926b6fd51453/outputs/group-retirement-repair-20261108T0136Z/repair-v2/implementation/bindings/profiles/filesystem.json", + "sha256": "82eb8b926342515a4271e0a8b312eb0b50625770ce549057dc60d7029e846ffc" + }, + "native": { + "bytes": 2092, + "mode": 292, + "path": "/home/d3lerium/.codex/.chatgpt-projects/g-p-6ad5817fd84881918865926b6fd51453/outputs/group-retirement-repair-20261108T0136Z/repair-v2/implementation/bindings/profiles/native.json", + "sha256": "e070c59c4d87f2de32242514a0827e667f0f21d73ab3375ca63063787c5625bf" + } + }, + "consequential_selected_roles": { + "common_runner": { + "bytes": 27362, + "mode": 292, + "path": "/home/d3lerium/.codex/.chatgpt-projects/g-p-6ad5817fd84881918865926b6fd51453/outputs/group-retirement-repair-20261108T0136Z/repair-v2/implementation/source/run_guarded_v3.py", + "sha256": "a4c4b51ea4886e2f2becf47ed9f6f3a2d9a98982ca4273593ffa84706aabe120" + }, + "runner": { + "bytes": 27362, + "mode": 292, + "path": "/home/d3lerium/.codex/.chatgpt-projects/g-p-6ad5817fd84881918865926b6fd51453/outputs/group-retirement-repair-20261108T0136Z/repair-v2/implementation/source/run_guarded_v3.py", + "sha256": "a4c4b51ea4886e2f2becf47ed9f6f3a2d9a98982ca4273593ffa84706aabe120" + }, + "waiting_entry": { + "bytes": 24661, + "mode": 292, + "path": "/home/d3lerium/.codex/.chatgpt-projects/g-p-6ad5817fd84881918865926b6fd51453/outputs/group-retirement-repair-20261108T0136Z/repair-v2/implementation/source/candidate_entry.py", + "sha256": "93a9005425fe965927a1e5991842ad7354dbc055cb1f5adbebaa96dfea62a59d" + }, + "full_receiver": { + "bytes": 26000, + "mode": 292, + "path": "/home/d3lerium/.codex/.chatgpt-projects/g-p-6ad5817fd84881918865926b6fd51453/outputs/group-retirement-repair-20261108T0136Z/repair-v2/implementation/source/full_result_receiver.py", + "sha256": "f88b00d5623b2c9ddf7d5c6f2232b594dfff9a2c4c31a80e54b729d301877e53" + }, + "C": { + "bytes": 100641, + "mode": 292, + "path": "/home/d3lerium/.codex/.chatgpt-projects/g-p-6ad5817fd84881918865926b6fd51453/outputs/group-retirement-repair-20261108T0136Z/repair-v2/implementation/controller/composed_controller.py", + "sha256": "fe55fa1372028a04011e8fc76adae51ecdad0d4eeb734256ca09a82e014ac227" + }, + "A": { + "bytes": 54629, + "mode": 292, + "path": "/home/d3lerium/.codex/.chatgpt-projects/g-p-6ad5817fd84881918865926b6fd51453/outputs/group-retirement-repair-20261108T0136Z/repair-v2/implementation/controller/active_current.py", + "sha256": "e94ee23f4f66b16f9d5a0b7f1cc510952d1769247283062d9124737d7838ce3c" + }, + "F": { + "bytes": 40590, + "mode": 292, + "path": "/home/d3lerium/.codex/.chatgpt-projects/g-p-6ad5817fd84881918865926b6fd51453/outputs/group-retirement-repair-20261108T0136Z/repair-v2/implementation/controller/funding_current.py", + "sha256": "164468176d2094fbd496eecfd0d0adf3b6ceaf89b2573456509157cc26256677" + }, + "production_issuer": { + "bytes": 30627, + "mode": 292, + "path": "/home/d3lerium/.codex/.chatgpt-projects/g-p-6ad5817fd84881918865926b6fd51453/outputs/group-retirement-repair-20261108T0136Z/repair-v2/implementation/retention/production_issuer.py", + "sha256": "6558476c6179dd2a76ed583b5421a576d5ead0b9f4535682e8b0388d5ba6a16a" + }, + "postrun_hook": { + "bytes": 11464, + "mode": 292, + "path": "/home/d3lerium/.codex/.chatgpt-projects/g-p-6ad5817fd84881918865926b6fd51453/outputs/group-retirement-repair-20261108T0136Z/repair-v2/implementation/retention/postrun_hook.py", + "sha256": "69c63be2be3c7fc21dc6a21520775c8eea777c92098243b4ac52180db0dc0979" + }, + "parent_authority": { + "bytes": 20606, + "mode": 292, + "path": "/home/d3lerium/.codex/.chatgpt-projects/g-p-6ad5817fd84881918865926b6fd51453/outputs/group-retirement-repair-20261108T0136Z/repair-v2/implementation/retention/parent_authority.py", + "sha256": "bb7a24c473d788e144f3ac9654e1e8c4871ed67a34bae9da2d166d78b5c53c42" + }, + "actual_consumer": { + "bytes": 41616, + "mode": 292, + "path": "/home/d3lerium/.codex/.chatgpt-projects/g-p-6ad5817fd84881918865926b6fd51453/outputs/group-retirement-repair-20261108T0136Z/repair-v2/implementation/retention/actual_consumer.py", + "sha256": "7f80c1a48dba4f6e6d0c77b36f86a8355af134bc059300545c10969966f920f6" + }, + "fork_borrower": { + "bytes": 15832, + "mode": 292, + "path": "/home/d3lerium/.codex/.chatgpt-projects/g-p-6ad5817fd84881918865926b6fd51453/outputs/group-retirement-repair-20261108T0136Z/repair-v2/implementation/retention/fork_borrower.py", + "sha256": "45672b48fe20aa3a6aa8f7aaba9282ce512a2e44ceb469c8833af5e95cfa30a3" + }, + "outer": { + "bytes": 69450, + "mode": 292, + "path": "/home/d3lerium/.codex/.chatgpt-projects/g-p-6ad5817fd84881918865926b6fd51453/outputs/group-retirement-repair-20261108T0136Z/repair-v2/implementation/native/retention_guardian.c", + "sha256": "72bf7d0f7e1a4fe7adf909ebd74ae9411b69042ca7740c487b1ba25ba31c9c43" + } + } + }, + "complete_modes": { + "normal": { + "recipe": { + "url": "https://github.com/Clear1nsight/integer-mult-bounds/blob/319ea1c5f4097ef87cc0b037327f26374e93e54d/research/h25-retained-child-lock-repair/readable/implementation/bindings/stages/joined-full-candidate-v1/STAGE.json.txt", + "bytes": 32963, + "sha256": "7d79f68c712015bf959e24c95f756373ce9d30fa967b5a0f09734a7df38cae4f" + }, + "stage_id": "joined-full-candidate-v1", + "member_count": 197, + "predecessor_recipe": { + "url": "https://github.com/Clear1nsight/integer-mult-bounds/tree/57cd3615df4c7ada2300ba7295d410ba705c9280/research/complete-source-payload-assembly/adopted", + "bytes": 27114, + "sha256": "4804814035aea33eeb1a26ca51ddf82555423e8d275636d6a274f43541aa5977" + }, + "unchanged_existing_members": 195, + "added": [ + "integration/candidate_entry.py" + ], + "removed": [], + "changed_existing": [ + "JOBS.json" + ], + "scientific_representatives": { + "areas/construction/construction_v2.py": { + "mode": 292, + "sha256": "ed7fd6c8a93c524c4d28245e48d75d6b949234a5a60f6affb8025f27ef9506b5" + }, + "areas/serialization/bounded_serialization.py": { + "mode": 292, + "sha256": "4edd0ae36b0fe98fe99d8658391a52568cc59888f1ae11e69cbb01f9544c74cb" + }, + "areas/cache-validity/cache_contract_v8.py": { + "mode": 292, + "sha256": "06911ec0b671240398f62dc47ae72b8cf6ee8916784b3a10b49a1f8e69fa64ac" + }, + "areas/cache-validity/cold_authority_v7.py": { + "mode": 292, + "sha256": "b32155cd9d31510b1ca1c155121b3ca49b41be2c8be96e23dbdfe58a921abee5" + }, + "areas/hashing-traces/digest_snapshot.py": { + "mode": 292, + "sha256": "ca58134de323f8d0df6e79a9d925f353736dc0c5c17e66191669c5028259e04f" + }, + "integration/row_interner_v3.py": { + "mode": 292, + "sha256": "364b45c100be73a7ace44ab664f3c792020dad6f33f7788b62aaeab67c0c5aa9" + }, + "integration/derive_row_bind_v3.py": { + "mode": 292, + "sha256": "5aeee9364d29147ef4e1bfffba532f7392833a6158d73d1da50ed6c772f061af" + }, + "integration/cold_build_evidence.py": { + "mode": 292, + "sha256": "aa0a315110e031e19291970c9611fe5e0f91465fa20eaec51e81186099563f78" + }, + "integration/data_adapters.py": { + "mode": 292, + "sha256": "18679fd1eb6ae99c4b375756511427c26718f77674c2d8fcc490e25ceb47cba5" + }, + "integration/native_packet.py": { + "mode": 292, + "sha256": "8e9298cfbf44cedd07868dc1624631d7ce73d78c48c4eec1fca15d3640076dab" + }, + "baseline/archive_support.py": { + "mode": 292, + "sha256": "825093689fea974ec5cb88a133d73715b9f2d50da60a53a4efabeecc92bff63f" + }, + "baseline/check_artifacts.py": { + "mode": 292, + "sha256": "115d36662856ded048d3a57210b4cbe4a8091375e79d5fcac2856d5d0cfe234f" + } + }, + "runtime_admitted": false, + "positive_full_mode": true, + "optimized_full_semantics": null + }, + "optimized": { + "recipe": { + "url": "https://github.com/Clear1nsight/integer-mult-bounds/blob/319ea1c5f4097ef87cc0b037327f26374e93e54d/research/h25-retained-child-lock-repair/readable/implementation/bindings/stages/joined-full-candidate-refusal-v1/STAGE.json.txt", + "bytes": 32971, + "sha256": "5ca055ba74d0b92b7162a5e0d33f8b12593994724fb8cdc4e0200262607b952d" + }, + "stage_id": "joined-full-candidate-refusal-v1", + "member_count": 197, + "predecessor_recipe": { + "url": "https://github.com/Clear1nsight/integer-mult-bounds/tree/57cd3615df4c7ada2300ba7295d410ba705c9280/research/complete-source-payload-assembly/adopted", + "bytes": 27114, + "sha256": "da49427ab8cce9d552f4dc64d6031adb60ed52c006ebcd1627ed409e9c632cc4" + }, + "unchanged_existing_members": 195, + "added": [ + "integration/candidate_entry.py" + ], + "removed": [], + "changed_existing": [ + "JOBS.json" + ], + "scientific_representatives": { + "areas/construction/construction_v2.py": { + "mode": 292, + "sha256": "ed7fd6c8a93c524c4d28245e48d75d6b949234a5a60f6affb8025f27ef9506b5" + }, + "areas/serialization/bounded_serialization.py": { + "mode": 292, + "sha256": "4edd0ae36b0fe98fe99d8658391a52568cc59888f1ae11e69cbb01f9544c74cb" + }, + "areas/cache-validity/cache_contract_v8.py": { + "mode": 292, + "sha256": "d317c9866566cd6147c96566879f26f364e7e6801ac3eed0800b6ed8eedd01a2" + }, + "areas/cache-validity/cold_authority_v7.py": { + "mode": 292, + "sha256": "f279ab86fc17c6a517b035f19d56863919cbd8304de4e7d5332457c6159aec10" + }, + "areas/hashing-traces/digest_snapshot.py": { + "mode": 292, + "sha256": "ca58134de323f8d0df6e79a9d925f353736dc0c5c17e66191669c5028259e04f" + }, + "integration/row_interner_v3.py": { + "mode": 292, + "sha256": "364b45c100be73a7ace44ab664f3c792020dad6f33f7788b62aaeab67c0c5aa9" + }, + "integration/derive_row_bind_v3.py": { + "mode": 292, + "sha256": "5aeee9364d29147ef4e1bfffba532f7392833a6158d73d1da50ed6c772f061af" + }, + "integration/cold_build_evidence.py": { + "mode": 292, + "sha256": "aa0a315110e031e19291970c9611fe5e0f91465fa20eaec51e81186099563f78" + }, + "integration/data_adapters.py": { + "mode": 292, + "sha256": "18679fd1eb6ae99c4b375756511427c26718f77674c2d8fcc490e25ceb47cba5" + }, + "integration/native_packet.py": { + "mode": 292, + "sha256": "6adbcd1dfeb77fb6da7ee8f725796b1bfdbf0a4f397ef23f3a266a6b89d55892" + }, + "baseline/archive_support.py": { + "mode": 292, + "sha256": "825093689fea974ec5cb88a133d73715b9f2d50da60a53a4efabeecc92bff63f" + }, + "baseline/check_artifacts.py": { + "mode": 292, + "sha256": "115d36662856ded048d3a57210b4cbe4a8091375e79d5fcac2856d5d0cfe234f" + } + }, + "runtime_admitted": false, + "positive_full_mode": false, + "optimized_full_semantics": "ORIGINAL_ASSERTION_REFUSAL_ONLY" + } + }, + "original_applicability": { + "mapping_checks": { + "original_helper_ids": 52, + "contexts": 65, + "role_rows": 71, + "helper_context_commands": 96, + "all_commands": 100, + "overlay_joins": 528, + "ordinary_driver_command_joins": 93, + "special_original_preparation_routes": [ + { + "role": "selection:N22:", + "preparation_pin": { + "bytes": 6020, + "mode": 292, + "path": "/home/d3lerium/.codex/.chatgpt-projects/g-p-6ad5817fd84881918865926b6fd51453/outputs/s03-frozen-source-selection-20261104T1210Z/implementation/preparations/N22.json", + "sha256": "70c906230e9feb6aaf944c43c3bcafe46a7cd07eef80eaf066e4ff36a5dbae31" + }, + "note": "Original source_installation route retained unchanged in accepted command DATA; not treated as ordinary --driver route." + }, + { + "role": "selection:P02:", + "preparation_pin": { + "bytes": 7976, + "mode": 292, + "path": "/home/d3lerium/.codex/.chatgpt-projects/g-p-6ad5817fd84881918865926b6fd51453/outputs/s03-frozen-source-selection-20261104T1210Z/implementation/preparations/P02.json", + "sha256": "45fbdbfcba2eef9b01458779fcefcaa161dbb9d90ee77ad27ad0fe8ca4516413" + }, + "note": "Original source_installation route retained unchanged in accepted command DATA; not treated as ordinary --driver route." + }, + { + "role": "selection:P07:", + "preparation_pin": { + "bytes": 6020, + "mode": 292, + "path": "/home/d3lerium/.codex/.chatgpt-projects/g-p-6ad5817fd84881918865926b6fd51453/outputs/s03-frozen-source-selection-20261104T1210Z/implementation/preparations/P07.json", + "sha256": "b0212654e1045bd51c455f7feb15ae38484b844d5e33aeff33b1b634d32a5751" + }, + "note": "Original source_installation route retained unchanged in accepted command DATA; not treated as ordinary --driver route." + } + ], + "mismatches": [] + }, + "acceptance_scope": "Exact original adopted scientific interior only; the old acceptance did not cover automatic retention or new compiler/native enclosure.", + "semantic_basis": "Original CP01-CP15/SC1-SC6 source theorem at exactly matched subject plus actual current caller, private-source, native and terminal composition in accompanying document.", + "omitted_scientific_leaf_bodies_newly_read": false, + "all_original_predicates_and_independent_oracles_unchanged": true + }, + "six_changes": [ + { + "change": "log handling", + "scientific_owner": "integration/cold_build_evidence.py", + "reached_caller": "native_packet.prepare invokes run(command,directory,key,timeout,context) for original builds", + "current_outer_owners": [ + "bounded_relay", + "common_runner", + "queue" + ], + "invariant": "Raw channels, complete original predicates, original first error, and capture/retirement ownership remain. Bounded summaries are never independent expected outputs." + }, + { + "change": "construction memory", + "scientific_owner": "areas/construction/construction_v2.py", + "reached_caller": "install_epoch_circuit -> genuine registered factory -> actual suite class-slot install -> seal/arm -> original complete CLI", + "invariant": "Factory acquisition is registered before fallible construction. Actual circuit/Checks/store identities and original callback order remain." + }, + { + "change": "witness serialization", + "scientific_owner": "areas/serialization/bounded_serialization.py", + "reached_caller": "make_writer(original_comparison.write_scientific, canonical, EXPECTED, require) -> scientific_writer same object -> actual full return/witness/rank observations", + "invariant": "Complete typed output, certificate, stdout, witness and ordered observations are checked against independent originals." + }, + { + "change": "evidence storage/restoration", + "scientific_owners": [ + "baseline/archive_support.py", + "baseline/check_artifacts.py" + ], + "current_extension": [ + "production_issuer", + "postrun_hook", + "fork_borrower", + "actual_consumer", + "archive", + "parent_authority" + ], + "reached_caller": "actual registry drain/seal -> private issuer capability -> fixed hook -> real fork borrower -> full consumer -> independent parent full readback -> release readiness", + "invariant": "Automatic retention is the extension of this consumer contract, not a seventh optimization. Child pending success is insufficient; no mutation of an active scientific epoch." + }, + { + "change": "cache validity", + "scientific_owners": [ + "areas/cache-validity/cache_contract_v8.py", + "areas/cache-validity/cold_authority_v7.py" + ], + "reached_caller": "authenticated preloaded module/handle -> genuine epoch factory -> actual binding/suite -> post-arm original Label/Checks generation", + "invariant": "Original CP08-CP14 enrolment, ownership, invalidation, fallback, cold/P08/None/refusal/retired distinctions and no rearm remain unchanged." + }, + { + "change": "repeated digest/rank-observation handling", + "scientific_owners": [ + "areas/hashing-traces/digest_snapshot.py", + "integration/row_interner_v3.py", + "integration/derive_row_bind_v3.py" + ], + "reached_caller": "candidate_inventory freshly reads raw bytes then reuses same local digest; final bind_epoch_native uses genuine row producer/interner/cache/native objects", + "invariant": "All original comparisons and native counts remain, with native-success-only observation scope and rank_answers_cached=False." + } + ], + "new_proof_steps": [ + { + "id": "F01", + "result": "PASS_SOURCE", + "statement": "A definite complete tuple is selected, including mode-specific drivers, complete recipes and source/private/native/terminal dependencies." + }, + { + "id": "F02", + "result": "PASS_SOURCE", + "statement": "The exact accepted scientific interior applies through retained source/context/command/mode/contract joins, not through counts alone." + }, + { + "id": "F03", + "result": "PASS_SOURCE", + "statement": "The genuine epoch is acquired, installed, fully wrapped, finally bound, sealed, and armed in actual source order; no commutativity premise is needed." + }, + { + "id": "F04", + "result": "PASS_SOURCE", + "statement": "Original arithmetic/output/phase/native oracles and actual return identities survive the shared construction/cache/serializer/row graph." + }, + { + "id": "F05", + "result": "PASS_SOURCE", + "statement": "Source-owned alias/lifetime restrictions and distinct original cold/P08/full/refusal/retired contexts are preserved under unchanged original T1-T4." + }, + { + "id": "F06", + "result": "PASS_SOURCE", + "statement": "Original raw primary/cleanup channels compose with current retained-child, lock retirement and expected-code-plus-empty-stderr predicates." + }, + { + "id": "F07", + "result": "PASS_SOURCE", + "statement": "Actual terminal registry seal separates active scientific state from full retention, whose independent parent readback precedes release." + }, + { + "id": "F08", + "result": "PASS_SOURCE", + "statement": "The actual native/compiler/cwd/query/launch-token composition preserves the same original subject within factual original prospective premises." + }, + { + "id": "F09", + "result": "PASS_SOURCE", + "statement": "This external review receipt refers to already frozen bytes and is not embedded in selected modules, recipes, grants or manifest. It creates no new review-receipt hash cycle. Complete original financial/input/launch acyclicity is not proved by this observation and belongs to separate S07.05 adjudication." + } + ], + "source_theorem": { + "quantifier": "For every original context c and genuinely qualified E in explicit original D_sigma", + "statement": "T1(E) and T2(E) and F_sigma(E,c) imply O_C(P,E,c) =_original O_C(V(P),E,c)", + "unchanged_original_T1_T2": true, + "F_sigma_contains_desired_equality_or_assumed_correct_constructor": false, + "source_constructor_obligations": "Actual source constructors and reached continuations are proved, not accepted from arbitrary runtime dictionaries.", + "current_host_eligibility": false + }, + "distinguishing_obligations": [ + "genuine factory versus copied data", + "normal full positive versus optimized original refusal", + "genuine supervisor-bound property query owner", + "consumed launch token versus replay", + "original working error versus lock-close error", + "child pending retention versus independent parent full readback", + "diagnostic baseline versus original primary", + "observational integer/provisional guardian return versus completed financial CLOSE" + ], + "future_genuine_inputs": [ + "original role grants and issued records", + "actual current HEAD and original funding authority", + "real acquired lease/OFD and EX custody", + "configured/installed compiler and native images", + "actual source/module/process generations and currentness observations", + "runtime writer retirement/domain emptiness/parent full readback", + "original primary-baseline typed transfer and comparison", + "separate successfully adopted original CLOSE graph and later closer evidence" + ], + "availability": { + "essential_inaccessible_source_for_this_decision": [], + "large_certificate_path": "Exact immutable Git blob, not size-limited ordinary raw-file endpoint", + "inherited_lemma_reuse_authorised": true, + "hashes_alone_supply_behaviour_or_reachability": false, + "historical_absolute_paths_are_local_attachments": false + }, + "invalidation": "Any changed selected byte/mode/alias/constructor/continuation/context/oracle/profile/argv/cwd/native/terminal relation requires renewed dependent review; later primary/CLOSE adoption is a changed graph.", + "separate_decisions": { + "S07.03": "No credit from this document; separately reviewed", + "S07.04": "Previously accepted at exact unchanged subject; substantive proof reused at scope", + "S07.05": "No credit from this document; separately reviewed", + "S07_full_gate": "No credit from this document; separate literal decision required", + "overall_milestone": "No credit" + }, + "execution": { + "archived_imports": 0, + "target_launches": 0, + "native_or_scientific_execution": 0, + "archive_decoding": 0, + "unchanged_controls_rerun": 0, + "new_guarded_execution_debit_seconds": "0", + "policy_used_seconds": "2376.890533479", + "policy_remaining_seconds": "23.109466521", + "new_budget": false, + "physical_costs": "OPEN_NOT_ZERO" + }, + "decision_document": { + "path": "SOURCE-DECISION.md", + "bytes": 39937, + "sha256": "571045835b7c0d2aaa906964ffeb77b92c3f7a7c03748cad6cdb5227408a4964" + }, + "scope_clarification_utc": "2026-11-08T06:09:42.822024+00:00", + "external_installation_scope": { + "source_freeze_distinct_from_installation_order": true, + "original_S07_02_remaining_note": "A selected DATA prefix is insufficient.", + "original_S07_05_completion_test": "Obtain independent acceptance of the complete combined stage and installation order.", + "complete_original_installation_acyclicity_proved_here": false, + "candidate_literal_G_shell_cycle": "candidate document -> request/role data -> final config -> literal final G command -> candidate document", + "scope": "Source-level external issuance/installation obstruction must be separately resolved under S07.05; no missing execution requirement is imported into S07.02.", + "new_assumed_correct_launcher_or_authority_premise": false, + "six_change_recipe_or_semantic_composition_changed": false + }, + "publication_scope": { + "activity": "S07.02", + "implementation_change": false, + "dependency_repin": false, + "historical_records_mutated": false, + "maintainer_approval": false, + "full_S07_gate_awarded": false, + "S07_05_installation_accepted": false, + "external_entry_cycle_review": "Separate source-level installation obstruction; not a runtime-execution prerequisite added to this activity." + } +} diff --git a/research/h25-all-six-source-freeze/INTEGRITY.json b/research/h25-all-six-source-freeze/INTEGRITY.json new file mode 100644 index 0000000000..df4e094e23 --- /dev/null +++ b/research/h25-all-six-source-freeze/INTEGRITY.json @@ -0,0 +1,36 @@ +{ + "schema": "h25-publication-integrity-v1", + "self_excluded_to_avoid_self_hash": true, + "files": [ + { + "path": "CERTIFICATE-v1.json", + "bytes": 32025, + "sha256": "b7ce5480c6557e907396b078639df341fc397be6f550312641f4ad8c66875d10", + "git_blob": "46d31644fee0cd5223faf40219e427d103cb1d17" + }, + { + "path": "PASSIVE-VERIFICATION.json", + "bytes": 1227, + "sha256": "5d8bb731bd38e3da6d8486a609b2e58fe5b334de36dbdea63bb38c48293965b1", + "git_blob": "83acf22dcc40f45739eb90c300156aee0df1e66e" + }, + { + "path": "README.md", + "bytes": 3203, + "sha256": "28f9ab601e241285e26c07581b9c311b9318fd804c3e7fe1460b1e142d90d37b", + "git_blob": "a0fc8276536b80a78ee92c45053b5b46ace37430" + }, + { + "path": "REVIEW-SCOPE.json", + "bytes": 1180, + "sha256": "b473cc861bbb2c29baa70ec11bb5f9649b4b7deeb1de6f099c64cd5998dc605a", + "git_blob": "635aaf81f5baec28c3b7f776ce2d1696815d6286" + }, + { + "path": "SOURCE-DECISION.md", + "bytes": 39937, + "sha256": "571045835b7c0d2aaa906964ffeb77b92c3f7a7c03748cad6cdb5227408a4964", + "git_blob": "896d5137720ee6752a1b39f9dd9ae1618e315d41" + } + ] +} diff --git a/research/h25-all-six-source-freeze/PASSIVE-VERIFICATION.json b/research/h25-all-six-source-freeze/PASSIVE-VERIFICATION.json new file mode 100644 index 0000000000..83acf22dcc --- /dev/null +++ b/research/h25-all-six-source-freeze/PASSIVE-VERIFICATION.json @@ -0,0 +1,22 @@ +{ + "schema": "h25-source-decisions-passive-verification-v1", + "source_head": "319ea1c5f4097ef87cc0b037327f26374e93e54d", + "canonical_main_refreshed": "7c49fe32c55de02c2c873655c804b16e4c3fef0a", + "matched_current_mapped_leaves": 66, + "matched_detached_manifest": true, + "current_inventory_url": "https://github.com/Clear1nsight/integer-mult-bounds/blob/1144f0a715e84b3f08ebe7d0e8ed8a06543f2fad/research/h25-complete-source-binding-reconciliation/CURRENT-LEAVES.json", + "public_certificate_full_git_blob_readback": { + "bytes": 1201989, + "sha256": "1ed6b0e4775d8d21dacbade5536cfbf7464592edd81004395cb7b3817f22508a", + "git_blob": "09de85d72fc7ff9e8778811adf273e34d3d24e28" + }, + "scope": "Passive public text, retained exact-source bytes, JSON, hashes, source proof, and cross-review. Matching is applicability evidence, not a substitute for semantics.", + "source_modules_executed": 0, + "native_or_scientific_runs": 0, + "archives_decoded_or_decompressed": 0, + "controls_rerun": 0, + "new_guarded_execution_debit_seconds": "0", + "policy_used_seconds": "2376.890533479", + "policy_remaining_seconds": "23.109466521", + "preparation_review_reporting_publication_and_historical_physical_costs": "OPEN_NOT_ZERO" +} diff --git a/research/h25-all-six-source-freeze/README.md b/research/h25-all-six-source-freeze/README.md new file mode 100644 index 0000000000..a0fc827653 --- /dev/null +++ b/research/h25-all-six-source-freeze/README.md @@ -0,0 +1,23 @@ + + +# Complete all-six source freeze + +This contribution accepts only original **S07.02** for the unchanged complete candidate owned by [PR #6867](https://github.com/CrocSwap/integer-mult-bounds/pull/6867), exact head `319ea1c5f4097ef87cc0b037327f26374e93e54d`. Its literal criterion is “Freeze the complete combined stage with all six compatible changes.” The verdict is `ACCEPTED_COMPLETE_SOURCE_FREEZE`. + +The complete argument is in [SOURCE-DECISION.md](SOURCE-DECISION.md), and the compact exact-subject certificate is [CERTIFICATE-v1.json](CERTIFICATE-v1.json). [REVIEW-SCOPE.json](REVIEW-SCOPE.json) records the original scope, exclusions, and fixed source window. [PASSIVE-VERIFICATION.json](PASSIVE-VERIFICATION.json) records exact byte applicability checks, which do not replace the semantic proof. [INTEGRITY.json](INTEGRITY.json) lists the complete publication bytes and Git blob identities. + +The work reuses the exact public [S07.04 reconciliation and certificate](https://github.com/Clear1nsight/integer-mult-bounds/tree/1144f0a715e84b3f08ebe7d0e8ed8a06543f2fad/research/h25-complete-source-binding-reconciliation). It adds a distinct source argument and changes no implementation, recipe, mode, source pin, original predicate, oracle, financial protocol, or selected frontier. The normal and optimised actual drivers remain different exact images. The implemented retained-child and enclosing-lock corrections remain selected. + +## Verification and limits + +Verification was passive public-text, JSON, source/contract, and hash examination with a separate AI challenge. All 66 current mapped leaves and the separate manifest matched the previously inspected subject. The full 1,201,989-byte prior certificate was read through exact Git blob `09de85d72fc7ff9e8778811adf273e34d3d24e28` and matched SHA256 `1ed6b0e4775d8d21dacbade5536cfbf7464592edd81004395cb7b3817f22508a`. + +No archived module, target process, native compiler, scientific workload, archive decoder, or guarded control was executed. No execution budget was added or spent. The recorded policy use remains 2376.890533479 of 2400 seconds, with 23.109466521 seconds remaining. Preparation, review, reporting, publication, final metadata, and historical physical gaps remain `OPEN_NOT_ZERO`. This archive supplies no replay hook and requests no automatic replay. + +## Open next questions + +S07.05 and the full S07 gate remain open because the original external entry/installation relation needs a concrete authenticated route through the candidate/configuration and candidate/policy/grant dependencies. This is a source issue, not a demand for later execution. Genuine environment/resource admission, the original primary-comparison graph, and successful original CLOSE remain separate. No activity count is converted into full-gate or overall credit, and no historical ledger is edited. + +## Attribution + +Prepared for Chris R / Clear1nsight with substantial OpenAI ChatGPT Pro and Codex assistance. The contribution contains AI source reasoning and is not human, proof-kernel, or maintainer approval. Existing source and proof notices remain intact. New prose and metadata are Apache-2.0. diff --git a/research/h25-all-six-source-freeze/REVIEW-SCOPE.json b/research/h25-all-six-source-freeze/REVIEW-SCOPE.json new file mode 100644 index 0000000000..635aaf81f5 --- /dev/null +++ b/research/h25-all-six-source-freeze/REVIEW-SCOPE.json @@ -0,0 +1,24 @@ +{ + "schema": "h25-exact-source-decision-scope-v1", + "activity": "S07.02", + "completion_test": "Freeze the complete combined stage with all six compatible changes.", + "verdict": "ACCEPTED_COMPLETE_SOURCE_FREEZE", + "subject_head": "319ea1c5f4097ef87cc0b037327f26374e93e54d", + "prior_reconciliation_head": "1144f0a715e84b3f08ebe7d0e8ed8a06543f2fad", + "canonical_base": "7c49fe32c55de02c2c873655c804b16e4c3fef0a", + "review": "Independent AI source analysis, separate challenging review, and root audit; not human/proof-kernel/maintainer approval.", + "source_window": { + "start": "2026-11-08T05:38:54Z", + "reassess": "2026-11-08T06:08:54Z", + "hard_stop": "2026-11-08T06:38:54Z" + }, + "reassessment": "All-six and genuine-consumer proofs complete. External exact-shell/configuration and policy/grant cycles obstruct complete installation acceptance. No automatic time extension or source-model amendment.", + "source_scope_only": true, + "execution_permission": false, + "formal_CLOSE": false, + "original_primary_comparison": false, + "S07_full_gate": false, + "selected_frontier_changed": false, + "guarded_debit_seconds": "0", + "physical_gaps": "OPEN_NOT_ZERO" +} diff --git a/research/h25-all-six-source-freeze/SOURCE-DECISION.md b/research/h25-all-six-source-freeze/SOURCE-DECISION.md new file mode 100644 index 0000000000..896d513772 --- /dev/null +++ b/research/h25-all-six-source-freeze/SOURCE-DECISION.md @@ -0,0 +1,141 @@ + + +# S07.02 complete all-six source freeze + +## Decision and exact scope + +**ACCEPTED_COMPLETE_SOURCE_FREEZE.** The unchanged selected implementation at commit `319ea1c5f4097ef87cc0b037327f26374e93e54d` satisfies the literal S07.02 criterion, “Freeze the complete combined stage with all six compatible changes”, within the original prospective source scope. This document freezes a definite complete candidate subject and supplies the compatibility argument. It adds no implementation, changes no selected byte, and does not request another implementation round. + +The accepted object is the source tuple defined below, including both complete scientific modes, their exact scientific interiors, their genuine source constructors, the current enclosing caller and retention graph, the unchanged original helper contexts, and the original contracts and oracles. A prospective source freeze specifies the bytes, modes, relationships, and behaviour to install. It does not assert that a particular host has installed them or possesses the required live authority. This interpretation follows the original criterion and the checklist methodology, which distinguishes completion of source work from runtime and performance qualification. Historical progress notes remain historical. The [explicit source-scope methodology](https://github.com/Clear1nsight/integer-mult-bounds/blob/1ac58a84b725bd6f17eec66727edc877c49c7e66/research/h25-full-caller-readable-inputs/ACTIVITY-BREAKDOWN-v16.json#L1761) is retained unchanged. [Original S07 criteria and methodology](https://github.com/Clear1nsight/integer-mult-bounds/blob/1ac58a84b725bd6f17eec66727edc877c49c7e66/research/h25-full-caller-readable-inputs/ACTIVITY-BREAKDOWN-v16.json#L1342-L1488). + +This is a new independent AI source review of S07.02. It is not human, proof-kernel, or maintainer approval. The source and attribution notices in the referenced work remain intact. No archived module was imported or executed, no archive was decompressed, no native or scientific process was launched, and no control suite was rerun. The guarded execution debit is zero. Preparation, review, reporting, publication, and historical physical cost gaps remain `OPEN_NOT_ZERO`; the existing policy balance is not enlarged or spent. + +## 1. Available evidence and the rule for reusing it + +The complete previous reconciliation is public at commit `1144f0a715e84b3f08ebe7d0e8ed8a06543f2fad`. Its `CERTIFICATE-v1.json` is exactly 1,201,989 bytes, SHA256 `1ed6b0e4775d8d21dacbade5536cfbf7464592edd81004395cb7b3817f22508a`, and Git blob `09de85d72fc7ff9e8778811adf273e34d3d24e28`. The full Git blob was read back and matched the prior inspected bytes. The ordinary raw-file endpoint's size limit does not make that certificate unavailable. Its verdict was S07.04 only. I reuse its established exact-subject and binding lemmas, not an unissued S07.02 verdict. [Reconciliation](https://github.com/Clear1nsight/integer-mult-bounds/blob/1144f0a715e84b3f08ebe7d0e8ed8a06543f2fad/research/h25-complete-source-binding-reconciliation/SOURCE-RECONCILIATION.md), [complete certificate](https://github.com/Clear1nsight/integer-mult-bounds/blob/1144f0a715e84b3f08ebe7d0e8ed8a06543f2fad/research/h25-complete-source-binding-reconciliation/CERTIFICATE-v1.json), and [current leaves](https://github.com/Clear1nsight/integer-mult-bounds/blob/1144f0a715e84b3f08ebe7d0e8ed8a06543f2fad/research/h25-complete-source-binding-reconciliation/CURRENT-LEAVES.json). + +| Evidence class | Exact availability and permitted use | +|---|---| +| Current 66 mapped leaves and separate detached manifest | Previously retrieved and matched in full; the public certificate readback preserves that exact inspected subject. The consequential full driver, staged Root, data adapters, native packet, current recipes, issuer, and original criterion/contract records were also inspected for this decision. | +| Original scientific interiors | The source adoption at #6715, exact selected manifest, catalogue, command map, and role-stage source maps are available. The accepted scientific lemma is reused only after exact source, context, contract, and mode applicability checks. Omitted construction, serializer, cache, row-interner, and cold-build leaf bodies are not represented as newly read source. | +| Newly enclosing source edges | Current bootstrap/private loading, actual factory invocation, waiting-entry/native/cwd, property-query owner, retained-child/lock retirement, and terminal retention are covered by the substantive current-source argument at #6869. They are not inferred from the old #6715 scientific acceptance. | +| Genuine later inputs | Actual issued grants, current HEAD, leases and OFDs, installed compiler and native images, loaded-module instances, process generations, and scientific observations are not supplied. Their absence blocks live installation/admission and later execution, not this definite source selection and prospective source theorem. | + +There is no essential inaccessible input blocking this S07.02 source decision under the expressly authorised reuse of the unchanged accepted scientific interior. The reuse rule is narrower than treating an old favourable field as an axiom. The adopted scientific manifest is byte-identical, its catalogue/commands/maps agree, its original contexts and predicates are retained, and the newly changed enclosure has an independent source argument. The old adoption explicitly left production automatic retention open. This document does not transfer that old acceptance to the new retention edge. [Exact original adoption](https://github.com/Clear1nsight/integer-mult-bounds/blob/dc34598c22e2ef43ae7e11fc1d8c14de3915cf89/research/h25-s03-08-source-adoption/evidence/ACCEPTANCE.json) and [its selected manifest](https://github.com/Clear1nsight/integer-mult-bounds/blob/dc34598c22e2ef43ae7e11fc1d8c14de3915cf89/research/h25-s03-08-source-adoption/evidence/SELECTED-SOURCE-MANIFEST.json). + +## 2. The final immutable selected tuple + +Let `S` be the tuple of the exact current source map and detached manifest, all selected leaf bytes and original modes, their finite alias relation, seven profiles, selected packet, two complete recipes, original catalogue and command/context maps, original contracts, and the exact current source-binding construction. It includes the authenticated native/compiler and terminal source relations. It is not merely a set of hash strings. The hashes name the concrete bodies to which the semantic argument below applies. + +| Frozen component | Exact identity | +|---|---| +| Owning implementation | #6867 at `319ea1c5f4097ef87cc0b037327f26374e93e54d` | +| `SOURCE-MAP.json` | 32,276 bytes, SHA256 `23835f65f47b8d3a3ae0c6a1dbda4b5bf8479bedfdab8f475c7ef490c43fb9d9` | +| Detached `SOURCE-MANIFEST-v2.json.txt` | 39,563 bytes, SHA256 `3742b1a7e83dddaed87ffd147a18c0002474aa0772174a9c5d4d01e9f5d17d6f` | +| `SELECTED-SOURCE-PACKET-v1.json.txt` | 11,759 bytes, SHA256 `825cde45bcdd071de9e2b7533deff664bb50cd5bc8bb7beaeb58401d0daa0160` | +| Normal complete recipe | `joined-full-candidate-v1`, SHA256 `7d79f68c712015bf959e24c95f756373ce9d30fa967b5a0f09734a7df38cae4f` | +| Optimised complete recipe | `joined-full-candidate-refusal-v1`, SHA256 `5ca055ba74d0b92b7162a5e0d33f8b12593994724fb8cdc4e0200262607b952d` | +| Normal actual scientific driver | 104,276 bytes, SHA256 `fa9f473320e9df3a2328bd8388f12eca4e7fc3eeed9289f7fdbf2eeb32a7452f` | +| Optimised actual scientific driver | 104,276 bytes, SHA256 `92b507a2667b0d0085f63fb35176167806272934fef8149da691043411c81db0` | +| Actual staged Root | 38,851 bytes, SHA256 `f5a2d33f2b4d3651f214156a0e7094c2bb516ce2d5ab7698d18c11f98f35dee0` | +| Original adopted scientific manifest | 32,701 bytes, SHA256 `e4e4f461794b4a8e09291a421ae4765446ff4c25431728df7609999e2ef4fed3` | +| Original catalogue | 649,966 bytes, SHA256 `97af356321e9dabe465c70f6a475e6b957735152d293359e9713cf01c7733d96` | +| Original 100-command inventory | 245,246 bytes, SHA256 `5872d8d79247356e2ac8c9a41fc1de875f292426dfd2d2174145c14561ffc942` | +| Original role-stage source maps | 5,778,616 bytes, SHA256 `f0e4a99c358624fcc8ecd112dfc3e24a02f906134d283e0814ee97aa1610d394` | + +The complete pin dictionaries, including all aliases, profile members, byte counts, and paths, remain in the referenced immutable manifest and published certificate. The companion `CERTIFICATE-v1.json` records the small set of identities and proof obligations specific to this decision without duplicating every old context dictionary. [Current source map](https://github.com/Clear1nsight/integer-mult-bounds/blob/319ea1c5f4097ef87cc0b037327f26374e93e54d/research/h25-retained-child-lock-repair/SOURCE-MAP.json), [manifest](https://github.com/Clear1nsight/integer-mult-bounds/blob/319ea1c5f4097ef87cc0b037327f26374e93e54d/research/h25-retained-child-lock-repair/readable/implementation/bindings/SOURCE-MANIFEST-v2.json.txt), and [original assembly](https://github.com/Clear1nsight/integer-mult-bounds/tree/57cd3615df4c7ada2300ba7295d410ba705c9280/research/complete-source-payload-assembly/adopted). + +Each current recipe retains all 196 entries from its own accepted scientific predecessor, changes only the existing `JOBS.json`, and adds `integration/candidate_entry.py`, for 197 members. This does not say that the two modes are byte-identical. Normal and optimised scientific drivers differ by the three already identified literal pins for native packet, cache, and cold authority. Normal selects native packet `8e9298cf…`, cache `06911ec0…`, and cold authority `b32155cd…`; optimised selects `6adbcd1d…`, `d317c986…`, and `f279ab86…`, respectively. Their recipes, receiver selections, and commands profile agree. Optimised full is the original refusal domain, not an assertion-free positive calculation. [Normal recipe](https://github.com/Clear1nsight/integer-mult-bounds/blob/319ea1c5f4097ef87cc0b037327f26374e93e54d/research/h25-retained-child-lock-repair/readable/implementation/bindings/stages/joined-full-candidate-v1/STAGE.json.txt), [optimised recipe](https://github.com/Clear1nsight/integer-mult-bounds/blob/319ea1c5f4097ef87cc0b037327f26374e93e54d/research/h25-retained-child-lock-repair/readable/implementation/bindings/stages/joined-full-candidate-refusal-v1/STAGE.json.txt), and [actual receiver command inverse](https://github.com/Clear1nsight/integer-mult-bounds/blob/319ea1c5f4097ef87cc0b037327f26374e93e54d/research/h25-retained-child-lock-repair/readable/implementation/source/full_result_receiver.py.txt#L22-L132). + +The role named `full_driver` also retains an old finite adapter. Its name does not make it the reached full caller. The actual waiting entry reaches the exact staged Root above, whose `_entry` authenticates the selected provider and scientific driver, creates a fresh `__main__` module, injects the actual bootstrap capability/API, compiles in the selected mode, installs argv, and executes that selected scientific image. That entry, not the finite adapter, is the full scientific subject in this freeze. [Reached Root `_entry`](https://github.com/Clear1nsight/integer-mult-bounds/blob/319ea1c5f4097ef87cc0b037327f26374e93e54d/research/h25-retained-child-lock-repair/readable/implementation/bindings/stages/joined-full-candidate-v1/integration/full_driver.py.txt#L804-L833). + +## 3. The six changes have concrete owners and actual callers + +The following representatives are selected in both complete recipes. A representative does not replace its closure. The complete original source-selection maps and accepted lemma retain the other dependent scientific leaves and original controls. The current manifest supplies the enclosing private-loader, caller, native, and retention closure. + +| Original change | Selected implementation and actual reached use | Compatibility condition and evidence | +|---|---|---| +| Log handling | `integration/cold_build_evidence.py`, SHA256 `aa0a3151…`, is called by actual `native_packet.prepare` for the three original cold builds. Current `bounded_relay` and common runner own the enclosing bounded captures and retirement. | Retained raw stdout/stderr and original status/error predicates remain the evidence. A bounded summary never replaces an oracle. The source callback continues to receive the actual command, directory, key, timeout, and context. The original cold-build body is reused within its exact adopted scope; the current outer signal/wait/lock ordering is separately proved. | +| Construction memory | `areas/construction/construction_v2.py`, SHA256 `ed7fd6c8…`, enters through `data_adapters.install_epoch_circuit`, the genuine epoch factory, and the authenticated suite's installation of the actual circuit and `Checks` class slots. | Acquisition is registered before the fallible factory. Actual constructor products, original store ownership, and `Checks` construction are preserved. The candidate circuit is created only after source-owned seal/arm. No copied circuit, fixture, or reset owner is used. | +| Witness serialisation | `areas/serialization/bounded_serialization.py`, SHA256 `4edd0ae3…`, supplies `make_writer(original_comparison.write_scientific, canonical, EXPECTED, require)`. The same returned writer object is retained by `scientific_writer` and called with the actual complete return, witness, and rank observations. | The original comparison writer and independent expected subject remain explicit arguments. Full typed result, stdout, certificate bytes, witness, and ordered observations remain checked. The bounded writer is not allowed to produce the expected answer used to certify itself. | +| Evidence storage and restoration | The original stage retains `baseline/archive_support.py` and `baseline/check_artifacts.py`. The current production issuer, fixed postrun hook, fork borrower, actual consumer, archive implementation, and independent parent authority extend their original full-evidence consumer contract. | Retention starts only after the registry has drained and sealed the actual writers. Child completion remains pending until independent parent full archive and restored-tree readback. It neither mutates an active scientific cache nor substitutes a receipt/summary for full content equality. | +| Cache validity | The mode-specific `cache_contract_v8.py` and `cold_authority_v7.py` are selected explicitly. Actual `prepare` retains the preloaded authenticated module and handle; the genuine epoch factory returns the real binding installed into the circuit suite. | The original CP08 to CP14 lifetime theorem applies to the exact same cache bodies and contexts. Genuine construction/store precedes enrolment, unsupported mutation or escape retires metadata before original public continuation, and fallback retains original validation/data/counters. No global FULL dictionary is injected into cold, P08, None, refusal, or retired contexts. | +| Repeated digest and rank-observation handling | `digest_snapshot.py`, SHA256 `ca58134d…`, `integration/row_interner_v3.py`, SHA256 `364b45c1…`, and `integration/derive_row_bind_v3.py`, SHA256 `5aeee936…`, remain selected. Actual `candidate_inventory` computes one local digest of each freshly read byte string. `bind_epoch_native` obtains the genuine row interner and installs it in the actual native/cache backend binding. | Digest reuse is tied to that fresh immutable byte string, with every original comparison retained. Rank handling retains the actual built-in list collector, source-bound row producer, original native checks, success-only observation scope, and explicit `rank_answers_cached=False`. It is not a cache of independent oracle answers. | + +The direct caller evidence is the complete [scientific driver](https://github.com/Clear1nsight/integer-mult-bounds/blob/1ac58a84b725bd6f17eec66727edc877c49c7e66/research/h25-full-caller-readable-inputs/full-candidate.py.txt), the unchanged [data adapters](https://github.com/Clear1nsight/integer-mult-bounds/blob/2818eb6f2343ef75bed10346790ce819332c6038/research/h25-resource-contract-readable-inputs/data-adapters.py.txt), and the unchanged normal [native packet](https://github.com/Clear1nsight/integer-mult-bounds/blob/2818eb6f2343ef75bed10346790ce819332c6038/research/h25-resource-contract-readable-inputs/native-packet.py.txt). The exact scientific component hashes in both recipes establish that the inherited accepted bodies are these bodies. Their behavioural claims come from the matched original source theorem and the directly inspected caller composition, not from their names or digest equality alone. + +## 4. Compatibility proof for the combined stage + +### 4.1 Installation and invocation are ordered, not assumed to commute + +The argument does not assume that six individually acceptable changes commute in arbitrary order. It follows the actual order. The scientific entry begins with fresh execution state and packet, reads and authenticates the original source and frozen input closure, establishes its compiler/output directory, and prepares the actual owners. `install_epoch_circuit` registers an acquisition object before invoking the fallible source-owned factory, verifies that the continuously handed cache binding is the returned binding, obtains the genuine suite, and installs the suite's functions in the original circuit and `Checks` class slots. It captures the actual original `Checks.__init__` before adding the source-owned capture wrapper. [Actual epoch installation](https://github.com/Clear1nsight/integer-mult-bounds/blob/2818eb6f2343ef75bed10346790ce819332c6038/research/h25-resource-contract-readable-inputs/data-adapters.py.txt#L1358-L1393). + +The driver then finishes the actual phase wrappers, role observer, serialisable-result capture, and compiler/native callbacks. Only after those final identities exist does `bind_epoch_native` assemble the cache, row producer, native backend, source environment, actual rank list, and complement trace into their final runtime guard. It then seals and arms the source-owned construction/epoch at the original CLI boundary. This prevents an earlier authenticated function snapshot from silently certifying a later replacement. Construction, cache, and repeated-observation handling therefore share one authenticated epoch and actual circuit, rather than three independently fabricated dictionaries. [Final cache/row binding](https://github.com/Clear1nsight/integer-mult-bounds/blob/2818eb6f2343ef75bed10346790ce819332c6038/research/h25-resource-contract-readable-inputs/data-adapters.py.txt#L1524) and [full scientific construction and calls](https://github.com/Clear1nsight/integer-mult-bounds/blob/1ac58a84b725bd6f17eec66727edc877c49c7e66/research/h25-full-caller-readable-inputs/full-candidate.py.txt#L1080-L1218). + +### 4.2 Public observations and independent oracles survive the shared epoch + +The original main invokes the original complete CLI and `scripts/complex_network.py`. The actual original role result is returned by the role wrapper and later required to be `full_return['role_frames']` by identity. Imported modules, classes, functions, source paths, and all ten original phase names remain checked, with each original phase required exactly once. The complete certificate bytes and stdout, lossless typed full return, actual side witness, complete ordered complement transcript, and source inventories remain compared with their original independent subjects. The raw original serializer call is observed through a wrapper that returns the original result. None of construction metadata, the cache registry, a query PASS, or a compressed observation becomes the expected arithmetic answer. [Complete observations and original comparisons](https://github.com/Clear1nsight/integer-mult-bounds/blob/1ac58a84b725bd6f17eec66727edc877c49c7e66/research/h25-full-caller-readable-inputs/full-candidate.py.txt#L1135-L1205). + +The repeated digest transformation reuses only a digest computed from the same fresh `raw` byte string within one inventory call. It retains the original inventory function separately and retains both current-file and frozen-expected comparisons. It cannot turn a cached pathname into a fresh source observation. The rank transformation retains native success observations and immutable source-bound rows, not answers to the independent Fraction/kernel/collision/current-data checks. Full mode still requires exactly 238,685 complement native operations and 59,959 Gram native operations, with zero fallback where originally required. Thus the memory savings do not erase the substantive full native and arithmetic workload or its independent oracles. [Inventory definitions](https://github.com/Clear1nsight/integer-mult-bounds/blob/1ac58a84b725bd6f17eec66727edc877c49c7e66/research/h25-full-caller-readable-inputs/full-candidate.py.txt#L278-L314), [finish and rank receipt](https://github.com/Clear1nsight/integer-mult-bounds/blob/2818eb6f2343ef75bed10346790ce819332c6038/research/h25-resource-contract-readable-inputs/data-adapters.py.txt#L1167-L1197), and [original CP requirements](https://github.com/Clear1nsight/integer-mult-bounds/blob/39fcd67c991bd72918080b1d2c02feb3d679206d/research/h25-caller-proof-completion/evidence/CANDIDATE-SOURCE-REVIEW.json). + +### 4.3 Alias and lifetime cuts remain source-owned + +The inherited cache theorem covers actual original Label construction and normalisation, original store, the two literal basis/key loads, at most one pending record and one fixed seven-field committed record per eligible key, and retirement before original public continuation on unsupported mapping/hook/escape/re-entry, capacity/lifetime end, error, or last-role completion. Genuine full `Checks` is constructed after actual arm. The P08 prearm context is ineligible and remains distinct. These are the fixed original CP08 to CP14 obligations, not newly weakened assumptions. + +The current enclosure cannot introduce an unreviewed Python Label/cache alias into that interior because the crossed boundary is fixed process argv, environment, streams, and filesystem state. The staged Root builds the private scientific namespace itself. The outer private bundle separately authenticates actual modules, functions, code, globals, defaults, closures, classes, and descriptors, allowing only its explicitly typed lifecycle changes. The controller obtains its context by calling the returned original A factory. A copied context dictionary and a callback with the same apparent signature are not sufficient. The actual context and EX remain source-owned and passed by identity to the registry, supervisor, and retention owners. These source facts use the original T1/T2/T3/T4 closure; no new ambient immutability, thread-free, GC-free, or signal-free premise is added. [Private loading](https://github.com/Clear1nsight/integer-mult-bounds/blob/319ea1c5f4097ef87cc0b037327f26374e93e54d/research/h25-retained-child-lock-repair/readable/implementation/bindings/private_loader.py.txt#L458-L609), [actual factory invocation](https://github.com/Clear1nsight/integer-mult-bounds/blob/319ea1c5f4097ef87cc0b037327f26374e93e54d/research/h25-retained-child-lock-repair/readable/implementation/bootstrap/controller_entry.py.txt#L150-L217), and [controller owner construction](https://github.com/Clear1nsight/integer-mult-bounds/blob/319ea1c5f4097ef87cc0b037327f26374e93e54d/research/h25-retained-child-lock-repair/readable/implementation/controller/composed_controller.py.txt#L1332-L1424). + +### 4.4 Error and finaliser order do not become a different caller + +The scientific CLI boundary preallocates distinct primary, argv-restoration, disarm, and retirement channels. It restores the actual old argv pointer, protects disarm and retirement independently, and retains the original first error object and traceback instead of substituting a formatting or cleanup error. The epoch retirement path retains inner and outer channels, transfers evidence before acknowledgement, and does not clear acknowledged data. Consequently, the construction/cache/serializer composition retains both ordinary and exceptional original observations. P08 body failure, cold absent-record, original None/refusal, and retired-generation cases remain their own source contexts with their original raw oracles. [Original CLI boundary](https://github.com/Clear1nsight/integer-mult-bounds/blob/1ac58a84b725bd6f17eec66727edc877c49c7e66/research/h25-full-caller-readable-inputs/full-candidate.py.txt#L838-L900) and [epoch retirement](https://github.com/Clear1nsight/integer-mult-bounds/blob/2818eb6f2343ef75bed10346790ce819332c6038/research/h25-resource-contract-readable-inputs/data-adapters.py.txt#L1414-L1457). + +In the enclosing runner, the implemented WNOWAIT path retains direct-child identity, performs signals before the single consuming wait, and never signals after that wait. The actual main preserves a working error and lock-close error separately and does not manufacture quiet administrative exit 1 until lock retirement succeeds. The queue requires both the expected exit code and empty stderr. Therefore a lock-close failure cannot masquerade as the expected optimised refusal. This proof retains the exact fresh-exec/default-SIGCHLD/no-auto-reap path, exclusive consuming wait, and strong references. It does not infer identity from a `Popen.wait()` integer alone, guarantee local completion after failed signalling, make runner memory durable after runner death, or prove all descendants empty. The outer deadline/domain/guardian remains necessary. [Implemented runner](https://github.com/Clear1nsight/integer-mult-bounds/blob/319ea1c5f4097ef87cc0b037327f26374e93e54d/research/h25-retained-child-lock-repair/readable/implementation/source/run_guarded_v3.py.txt#L232-L565) and [queue](https://github.com/Clear1nsight/integer-mult-bounds/blob/319ea1c5f4097ef87cc0b037327f26374e93e54d/research/h25-retained-child-lock-repair/readable/implementation/source/composed_queue.py.txt). + +### 4.5 Evidence retention begins after scientific ownership has ended + +The scientific image completes its original cleanup before late-last, then performs only the permitted custody/receipt work. Native cleanup is not moved behind that terminal scientific boundary. Once the enclosing operations have retired their actual writers, the issuer uses the real registry's drain and seal, verifies the original held lease, obtains parent observations, and issues its private one-use sealed capability to the fixed hook. The actual fork borrower reaches the full archive/restore consumer. The parent's later independent readback checks the full archive and restored content, inode non-aliasing, external source pins, actual wait, and capture closure before release readiness. Child `PASS_PENDING_PARENT_READBACK` is not parent completion. [Production boundary](https://github.com/Clear1nsight/integer-mult-bounds/blob/319ea1c5f4097ef87cc0b037327f26374e93e54d/research/h25-retained-child-lock-repair/readable/implementation/retention/production_issuer.py.txt#L478-L615) and [parent authority](https://github.com/Clear1nsight/integer-mult-bounds/blob/319ea1c5f4097ef87cc0b037327f26374e93e54d/research/h25-retained-child-lock-repair/readable/implementation/retention/parent_authority.py.txt#L214-L415). + +This temporal cut is why automatic retention is compatible with the six changes. It extends the full evidence-storage consumer after source-owned writer closure; it does not alter an active circuit/cache or replace the scientific oracle with a child marker. Its private fork lifecycle restrictions are part of the current source proof, not an excuse to run an unreachable generic parent reload check. Actual fork, wait, domain emptiness, and parent readback still have to occur in a genuine future run before runtime success can be claimed. This S07.02 proof uses these source edges directly and does not depend on the separate S07.03 verdict. + +### 4.6 The native enclosure preserves the same scientific subject + +The current native/compiler composition compares the same configured patched Ubuntu GCC/binutils subject on both sides, preserves the independently derived metadata/backend/encoder command origins, and retains the original five builds, output/failure protocols, exact cwd, and source/header/FFI/provider checks. Actual native view entry is source-bound to the original backing objects, read-only views, writable artifact/usage objects, credentials, topology, and fallback check before exec. Property queries are owned by the genuine supervisor-bound continuation, and consumed launch tokens cannot be replayed. The current source argument examines the native construction and owning code; it does not take #6830's favourable `source_disposition` strings as premises. [Preservation proof](https://github.com/Clear1nsight/integer-mult-bounds/blob/319ea1c5f4097ef87cc0b037327f26374e93e54d/research/h25-retained-child-lock-repair/readable/proof/connected-caller/PRESERVATION-v1.md.txt) and [complete reconciled native argument](https://github.com/Clear1nsight/integer-mult-bounds/blob/1144f0a715e84b3f08ebe7d0e8ed8a06543f2fad/research/h25-complete-source-binding-reconciliation/SOURCE-RECONCILIATION.md). + +Thus the new enclosure is not an unexamined change to the compiler, native workload, or original caller. The genuine configured-build, installed-image, currentness, resource, and OS/CPython facts remain in the explicit original prospective domain. The source freeze asserts no current-host eligibility. + +## 5. Original coverage and theorem are preserved + +The exact accepted scientific manifest joins the current retained scientific members to the original catalogue, command records, and role-stage maps. The applicability check retains 52 distinct original helper IDs, 65 original contexts, all 528 overlay pin relations, and all 100 original command records. Of these, 93 ordinary helper-command joins retain Root/provider/driver, variant, lane, finite flag, and mode; N22, P02, and P07 retain their special original preparation/installation routes. The inventory comprises 96 helper-context commands and four full/refusal commands. Thirty-one contexts retain both modes and 34 retain normal mode. These are preservation checks of an already proved subject, not a behavioural proof from counts, and not a claim that the current two-case queue executes all 100 commands. The full per-context evidence remains in the public #6869 certificate. [Complete original assembly](https://github.com/Clear1nsight/integer-mult-bounds/tree/57cd3615df4c7ada2300ba7295d410ba705c9280/research/complete-source-payload-assembly/adopted) and [reused applicability evidence](https://github.com/Clear1nsight/integer-mult-bounds/blob/1144f0a715e84b3f08ebe7d0e8ed8a06543f2fad/research/h25-complete-source-binding-reconciliation/CERTIFICATE-v1.json). + +All original CP01 to CP15 clauses remain fixed. CP01 is supplied by actual source and owner authentication. CP02 retains fresh complete candidate and baseline as distinct caller obligations, including genuine independent same-input typed baseline transfer at the later comparison gate. CP03 retains normal positive and optimised refusal. CP04 to CP07 retain original arithmetic, complete outputs, phases/imports, and native/fallback checks. CP08 to CP14 retain enrolment, genuine P08, raw failures, cold contexts, all original helper bodies, and closed alias boundaries. CP15 retains source/runtime-file custody, original native cleanup, and late-last order. This review neither renames their IDs nor exchanges one context for another. + +For every original context `c` and genuinely qualified `E` in the explicit original `D_sigma`, the source result remains + +`T1(E) and T2(E) and F_sigma(E,c) imply O_C(P,E,c) =_original O_C(V(P),E,c)`. + +`F_sigma` contains factual source, owner, mode, currentness, lifecycle, compiler/native, and resource conditions. It contains neither the desired equality nor an assertion that an arbitrary supplied constructor is correct. The constructor and reached continuation obligations are discharged by the actual source argument. The original `T1` and `T2` are not strengthened, and source/theorem equality is not replaced by value-only equality or a harmlessness assertion. The accepted unchanged scientific lemma supplies its original interior semantics; the newly checked construction, boundary, native, error, and retention composition establishes applicability to `S`. + +## 6. Freeze, reproduction, and later graph changes + +Reproduction of the frozen source selection starts from the exact public immutable leaves and the original accepted source catalogue. Preserve original modes and aliases, select the exact normal and optimised interiors separately, include the actual waiting entry and `JOBS.json` successor for each, and use the current profiles, selected packet, and detached manifest without rewriting their subjects. The current role constructors and bootstrap describe how genuinely supplied original inputs are joined inside this source graph. This document is an external acceptance receipt referring to already frozen bytes. No selected module, recipe, catalogue, or grant embeds this receipt or its future commit hash. That observation establishes only the absence of a new dependency cycle caused by this review receipt. It does not establish an acyclic complete original installation/issuance order. Physical materialisation at the historical absolute paths is a separate installation action. + +The distinction is consequential. The original S07.02 remaining note rejects a selected DATA prefix; both complete scientific recipes here preserve the full six-change interior and original contexts, so that objection is discharged. S07.05 separately requires acceptance of the complete stage **and installation order**. Current F binds the candidate document's whole-file SHA and separately the exact shell text inside that document. The role constructor embeds the candidate SHA in role data; the final guardian config embeds that data; G requires the final config SHA in its native argv. If the candidate shell is the literal final G command, those source edges form `candidate -> role data -> config -> final shell -> candidate`. Omitting the config hash from the outer grant does not by itself resolve this candidate edge. No S07.02 claim here certifies an external launcher/issuance escape from it. [Original candidate and shell binding](https://github.com/Clear1nsight/integer-mult-bounds/blob/319ea1c5f4097ef87cc0b037327f26374e93e54d/research/h25-retained-child-lock-repair/readable/implementation/controller/funding_current.py.txt#L466-L490), [role and config construction](https://github.com/Clear1nsight/integer-mult-bounds/blob/319ea1c5f4097ef87cc0b037327f26374e93e54d/research/h25-retained-child-lock-repair/readable/implementation/bindings/role_contracts.py.txt#L282-L393), and [G's actual config argument](https://github.com/Clear1nsight/integer-mult-bounds/blob/319ea1c5f4097ef87cc0b037327f26374e93e54d/research/h25-retained-child-lock-repair/readable/implementation/native/retention_guardian.c.txt#L675-L687). + +This installation challenge is a source dependency issue, not a demand for execution evidence. It must be resolved explicitly in S07.05 together with the original policy, grant, registration, and external entry relationships. It does not alter any frozen scientific recipe, source-owned internal constructor, oracle, alias/lifetime argument, or six-change composition proved above. S07.02 can therefore close without importing S07.05's separate installation criterion, while no full-stage gate is inferred. The original prospective T1/T2 premises remain exactly as stated; this review adds no assumed-correct external launcher or financial authority premise to make the cycle disappear. + +The complete primary-comparison graph and successful-CLOSE graph are not being silently added to `S`. The diagnostic `full:baseline` is not the original primary sample. Later comparison must use the corrected #6847 owner, original #6029 primary driver, same genuine `UNKNOWN_OWNER`, original subreaper, nine actual module objects, persistent one-use reservations, independent typed receiver, B,C first-pair order, and original later-pilot trigger. Likewise, current A's six-field STOP/UNKNOWN branch and C's observational integer return are not a successful financial CLOSE. The separate #6762 owner must be adopted through actual loader/bootstrap/role/profile/manifest consumers before that later operation. These are later graph-adoption and execution obligations. Their absence does not change the selected candidate's current promised source result. [Corrected baseline owner](https://github.com/Clear1nsight/integer-mult-bounds/blob/efb116491184bd16c5d1ada60d71efdefee61691/research/h25-inherited-baseline-limits/implementation/baseline/baseline_owner_v1.py), [primary interface](https://github.com/Clear1nsight/integer-mult-bounds/blob/92bd2213be787cc4451a3b61b00793dad26bebdd/research/h25-primary-baseline-readable-inputs/baseline/INTERFACE.json), and [successful CLOSE owner](https://github.com/Clear1nsight/integer-mult-bounds/blob/3bcf99910a95248452e955d382c59bd23792a39b/research/h25-complete-outcome-close/implementation/active_complete_close_v1.py). + +Changing any selected source byte, module alias, source mode, driver/Root/provider relation, context selection, original predicate/oracle, reached constructor/continuation, profile, argv/cwd, native contract, or terminal ordering invalidates automatic reuse of this exact acceptance for the changed part and its dependent closure. A future genuine runtime instance satisfying an already frozen typed input contract does not change the static source subject; evidence that it satisfies the contract must still be independently obtained. Adopting the primary-comparison or complete-CLOSE owner changes the selected graph and requires its own complete dependent repinning and review. + +## 7. Consequence for the requested decision + +S07.02 is accepted for `S` because the complete combined stage is definite, both full scientific modes and all original helper contexts are selected, each of the six changes has an actual source owner and consumer, and their shared constructor, alias, oracle, error, native, and terminal effects compose in the actual installation/invocation order. No source correction or additional control run is required to make that argument complete. + +This decision does not award S07.03, S07.05, the distinct S07 full gate, any runtime/comparison/resource/CLOSE gate, or an overall milestone. Those decisions have their own literal criteria. It supplies the complete S07.02 source result on which the independent complete-stage and installation-order review can act. + +## Open next questions + +The complete original entry and installation-order decision remains separate. The direct literal guardian-command construction exposes candidate/configuration and candidate/resource-policy/grant hash dependencies that require an authenticated existing original entry route. No missing execution observation can replace that source edge. Actual environmental qualification, complete workload/resource admission, original primary comparison, and successful original CLOSE also remain open in their own scopes. No additional control run is authorised by this contribution. + +## Attribution and review status + +Prepared for Chris R / Clear1nsight with substantial OpenAI ChatGPT Pro and Codex assistance. This is AI source analysis with a separate challenging reviewer and a root audit. It is not human, proof-kernel, or maintainer approval. Existing implementation, proof, and licence notices remain with their original authors. New prose and metadata are Apache-2.0. The unchanged predecessor and related-work scope is retained in the [public related-work record](https://github.com/Clear1nsight/integer-mult-bounds/blob/1144f0a715e84b3f08ebe7d0e8ed8a06543f2fad/research/h25-complete-source-binding-reconciliation/RELATED-WORK.json).