Preserve compiler inputs with owned property-query observations

research/h25-caller-proof-completion/NEXT.md

@@ -0,0 +1,8 @@
+# Open next questions
+
+1. **Qualify an actual environment for the stated proof.** The current necessary release screen returned Linux 7.0.0-42-generic x86_64, while the argument explicitly covers Linux 6.12. Establish a source-associated environment satisfying the existing class, or undertake a separately reviewed proof-model extension. No host change or automatic proof extension follows from this archive.
+2. **Implement the fresh comparison owner.** Preserve the already selected baseline launcher and exact original input relation. Implement the separately guarded fresh baseline transfer, typed observation ownership and complete baseline/candidate equality executor. A historical baseline anchor is insufficient.
+3. **Close actual source/image/configuration and resource gates.** Identify installed toolchain images, generated defaults, loaders/libraries/plugins, kernel/security/filesystem primitives and the original currentness interval. Establish complete peak resource fit, funding and original admission without substituting flags for evidence or expanding the original exclusion.
+4. **Execute the decisive original check only after those gates.** Run the unchanged complete normal/optimized baseline/candidate schedule, independently verify exact original observations, ownership, errors and cleanup, and retain all failures and actual costs. The source controls and archive integrity check supply no result for this step.
+
+The smallest immediate decision is which source-associated environment can satisfy the explicit proof premises. The comparison-owner implementation is a separate concrete source task. No original acceptance criterion, helper/context denominator, deadline or budget is changed by this list.

research/h25-caller-proof-completion/NOTICE.md

@@ -0,0 +1,7 @@
+# Attribution and license boundaries
+
+New contribution material follows the repository's Apache-2.0 license unless a retained source notice specifies otherwise. The inert archive preserves source bodies byte-for-byte, including original copyright and license headers. GPL/LGPL-covered GNU and Ubuntu source excerpts and patches remain under their original terms; they are not relicensed as Apache-2.0. The retained COPYING, COPYING3 and COPYING.LIB texts are included under licenses/.
+
+The original repository work and preceding PR authors retain credit. This package continues PR #6321 and the source/observer/ownership contributions identified in README.md and PROVENANCE.json. GNU GCC, GNU binutils, Debian and Ubuntu copyright and authorship remain with their contributors. ChatGPT Pro and OpenAI Codex provided substantial AI assistance; separate AI review is explicitly distinguished from human review or a proof-kernel certificate.
+
+Historical local source paths are provenance labels. They do not issue runtime authority, attest current machine qualification, or replace external source/image/configuration dependencies. Raw policy ledgers do not measure complete physical costs.

research/h25-caller-proof-completion/PROVENANCE.json

@@ -0,0 +1,101 @@
+{
+  "actual_native_queries": 0,
+  "actual_original_scientific_invocations": 0,
+  "all_implicated_heads_unchanged": true,
+  "base_commit": "7c49fe32c55de02c2c873655c804b16e4c3fef0a",
+  "base_tree": "e6898c8ba7a27b71587c32ba3f639259ceeeed91",
+  "candidate_source_review_sha256": "a1328747e3c0e53f7df84a29fbefc3fdd1b82576c9ab9bdc1947b47c91dc0e2b",
+  "candidate_source_sha256": "2079aae7741286fc2295ab5ece16b6874c45d3ab99c365b037b5f92efefaf089",
+  "canonical_repository": "CrocSwap/integer-mult-bounds",
+  "dependency_decisions": [
+    {
+      "current_head": "f497188c5125ce6e2bba67c9d2831bbc62945ea5",
+      "decision": "reuse",
+      "merged": false,
+      "number": 6823,
+      "reason": "Actual accepted LSM/mount/two-clone C and new mock evidence; exact remote body e174...matches frozen local source. Must explicitly select through genuine caller, not infer adoption from PR.",
+      "state": "open",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/6823"
+    },
+    {
+      "current_head": "1479ccf2ec0bc29b7bf741a2d613d79e1f9ec19e",
+      "decision": "adapt",
+      "merged": false,
+      "number": 6818,
+      "reason": "Genuine parent observe/qualify/bind_launch and corrected refusal consumers; current functions match selected local body except installation-root literal. Extend owning resolver/native consequences, retain root binding.",
+      "state": "open",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/6818"
+    },
+    {
+      "current_head": "1ac58a84b725bd6f17eec66727edc877c49c7e66",
+      "decision": "reuse",
+      "merged": false,
+      "number": 6744,
+      "reason": "Exact immutable full scientific baseline/candidate and all49 original completion-test strings; no substitution by older unit-only driver.",
+      "state": "open",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/6744"
+    },
+    {
+      "current_head": "120072d58ddb46f0e02886756243174d41fce42e",
+      "decision": "reuse",
+      "merged": false,
+      "number": 6362,
+      "reason": "Exact GCC base/Ubuntu patch and source input constructors; use source text and failure controls, not their unqualified native runtime assumptions.",
+      "state": "open",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/6362"
+    },
+    {
+      "current_head": "97dd394ce1ddf00cc80dfdaad71767fdbc85af47",
+      "decision": "reuse",
+      "merged": false,
+      "number": 6366,
+      "reason": "Same-build generated headers and official member correspondence with explicit configured/build limits; no invented specs/multilib/gcc.o.",
+      "state": "open",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/6366"
+    },
+    {
+      "current_head": "edc2820ba023b804ef1351a88e2fe31bf8d489dd",
+      "decision": "reuse",
+      "merged": false,
+      "number": 6434,
+      "reason": "Primary-error/raw custody and driver-specs frontier sources; captured-byte custody is not complete intended query emission.",
+      "state": "open",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/6434"
+    },
+    {
+      "current_head": "e83090c937b920affc87593f02b535e6c9773615",
+      "decision": "review-only",
+      "number": 6454,
+      "reason": "Conditional generator/phase frame leaves source-build selector continuity open; no complete binutils or query-output repair."
+    },
+    {
+      "current_head": "50027f6de434a8d936871a1b3f776f04d47cd3e2",
+      "decision": "not relevant",
+      "number": 6745,
+      "reason": "Inspected current body concerns mathematical verify.py compile_counts local/recursive invoice slots and retained array totals, not GCC/binutils effects or parent query transport."
+    }
+  ],
+  "last_head_refresh_utc": "2026-11-07T04:36:45.084162+00:00",
+  "overlap_search": {
+    "all_authors": true,
+    "late_results": [
+      6823,
+      4254
+    ],
+    "queries": [
+      "binutils",
+      "BFD effect",
+      "choose_tmpdir",
+      "statmount OR lsm_list_modules OR bfd_close",
+      "property query OR property_query_observer OR ParentAssociation"
+    ],
+    "result_4254": "Not relevant: mathematical query invoice, not actual compiler property transport.",
+    "scope": "Proportional published PR/API behavior search; not a repository-wide code or novelty claim.",
+    "state": "all"
+  },
+  "physical_costs": "OPEN_NOT_ZERO",
+  "runtime_role_contracts": "UNISSUED",
+  "schema": "caller-preservation-publication-provenance-v1",
+  "scope": "Connected candidate source and conditional preservation construction; inert source archive, not a complete executable comparison or runtime qualification.",
+  "source_boundary_sha256": "6987df86e69338e470d33ab22df439beb617e2ad83d3e6f2da00611855bb5136"
+}