[Clear1nsight]

Change and mathematical scope

Clarifies two resolved original G12 scope questions using the retained source reviews: the narrow protocol repair preserves an already-caught primary against newly added bookkeeping failures; it does not impose a universal interpreter allocation-equivalence proof. The custody clarification does not make a newly constructed enclosing financial/accounting API an original source-adoption prerequisite.

Authentic reference transport, primary/raw-secondary identities, ownership, cleanup, source/mode/output custody, terminal order and a complete work/cost bill remain required. The conditional witnesses in #6347 remain valid within their stated interpretation. No original design predicate is silently removed, and no remaining integration, family, activity or runtime gate is accepted.

Task and overlap

Original source investigation: PR #6321. Frozen H25 benchmark: PR #6029. Immediate predecessors: PR #6346, PR #6347.

Explicit user request: submit the resolved questions upstream, then consult Pro on the remaining compiler-input closure witness domain.

• Canonical base: 7c49fe32c55de02c2c873655c804b16e4c3fef0a.
• Public head: 1e9db2d08be4551ffe0bcfc573574851530eb4ca; checked tree c9dedd702d5146234c249f52ffe73a453eb77579.
• Seven new files under research/h25-g12-original-contract-scope/; three unchanged canonical review inputs are live declared replay dependencies.
• Nearest lineage: Archive H25 cache sources and remaining N22, P07 and P02 work #6321; Cursor/h25 g12 identity cleanup 5d9d #6339 at 608ad23adc6c01264c8195daf7f18e29c17464a7 is now archivally merged. Repair bounded G12 custody cleanup and publication-size checks #6346 abff67b31fa781e950c82d95eccb6f168950943c and Record G12 acquisition and raw-error delivery boundaries #6347 59140439e7f791876159e2f3838f1dead2e54953 remain separate pending contributions. This package neither requires nor reruns them.
• Scope is changed from the retained portable-replay card to this explicitly assigned fixed-source review audit. Current rules and base were refreshed; bounded all-state G12-scope and H25-bootstrap-control campaign searches are not proof of novelty.

Validation

Python 3.12.3; executed:

python3 -B scripts/research_package.py --package research/h25-g12-original-contract-scope --check-only
python3 -B scripts/research_package.py --package research/h25-g12-original-contract-scope
python3 -B scripts/check_research_commit.py --package research/h25-g12-original-contract-scope

Metadata/pins and registered normal/optimized replay pass. Each mode reports source_inputs=3 tamper_controls=6 target_execution=false original_acceptance=false. The committed-byte preflight checked 10 package/input files. Remote branch readback confirms the exact checked tree and one parent at the canonical base. Hosted checks are pending at submission.

This is passive JSON/source binding and an inspectable textual scope argument. It is not a natural-language proof engine, exception-safety runtime test, original control execution, native/compiler/scientific work, source adoption or a new budget. Unknown physical/final costs remain OPEN_NOT_ZERO. Original selections remain None.

Credit

Chris R / Clear1nsight, with substantial OpenAI Codex source-audit/verification and ChatGPT Pro consultation assistance. Retain PR6321/6029/5864 source authors/reviewers, unpaidmoon with Cursor Grok assistance for #6339, and Douglas R. Colkitt's circuit/network/verification lineage. Canonical predecessor bytes/notices remain unchanged; new analysis/verifier Apache-2.0. AI agreement is not human or proof-kernel acceptance.

Open next questions

Review a concrete successor against original CP01-CP15 and all 18 branch obligations. First step: exact caught-primary/raw-secondary/cleanup source review without the two additional scope requirements identified here. Full integration, runtime, cost and adoption dispositions remain separate. See README and TASK.json.

[Clear1nsight]

Publication readback complete at exact head 1e9db2d08be4551ffe0bcfc573574851530eb4ca: one commit, 7 intended new files, current canonical base 7c49fe32c55de02c2c873655c804b16e4c3fef0a, draft state and maintainer edits disabled. The remote tree equals the locally committed-byte-checked tree.

Hosted run 41381713393 completed attempt 1 with both plan and actual bounded replay successful, including unchanged committed inputs. Local metadata/pins, registered normal/optimized commands and byte preflight also passed; retained scope: 3 exact canonical inputs and 6 source-evidence tamper controls.

The canonical source-resolution handoff and short hub pointer record the exact findings, reproduction and remaining compiler-input closure witness-domain construction. That new source consultation is in progress. No archived target/native/compiler/original-control execution, full-family/whole-activity credit, source adoption or new budget follows. Complete physical costs remain OPEN_NOT_ZERO.

Original H25 benchmark: PR #6029. Original source investigation: PR #6321.