Bound fixed-native scalar-cone terminal refits on staged544

[Clear1nsight]

Changing paid scalar frames can evade a terminal-only obstruction, so this package tests that next contract on both exact PR3945 providers. It allows a protected terminal hyperplane and its forced backward scalar-frame intersection cone, while keeping the literal graph, native interfaces and required checks fixed.

Each provider has 13,285 terminal hyperplanes. Only five changed-interior cones survive; the remaining cases reject an immutable boundary or belong to the 17 previously credited direct refunds. Each survivor removes one local H1 but changes a width5 helper to width4. The exact packing dual requires at least H1 more owner idle cost, so the complete optimistic gain is zero, even with arbitrary fractional repacking. No κ or supplier improvement is claimed.

The checker covers all 2,551 width4..9 packing patterns and constructs all ten literal provider/witness words, regenerating cleanup and checking exact arbitrary-dirty forward, dual and cleanup-boundary semantics. Positive and rejecting controls cover invalid frame containment, a scalar-sign corruption, an omitted owner debit and modified source bytes.

The proof closes only the greatest forced-intersection contraction domain. Optional interior changes beyond that cone, terminal rotations outside incumbent frames, coupled terminal edits and changed graph/native/check contracts remain open. The new cone propagation/proof is paired with credited reused chronological tracing, dirty auditing and exact tariff arithmetic; these reused components are not advertised as independent reimplementations. Actual new owner placement and physical/uniform/outer obligations remain outside; unknown costs are not zero.

Task scope: refined independent-moment / assigned scalar-interior construction. Canonical base 20ecf2891d80b5acf18d980b2164fb44ea7faa90; exact PR3945 input head 91f81d131252db704f945891da1ea54e29d46b8b; PR3988 tariff predecessor 7d85649b64243022b3141df00c61027a083a533a. Nearest work: PR3945, PR3969, PR3988. Added value is the changed scalar-interior forced-cone implication; prior terminal-only and owner-audit results are credited. Main/priorities refreshed at 09:04 UTC, all 718 open PR bodies paginated, Discussion coverage partial.

Validation: final registered replay passed in 73.183s; optimized full replay in 39.783s; all 18 committed-file/source-history checks passed. Official read-only Git-free export replay passed in 41.203s plus 28.695s controls, with every exported file unchanged. Reproduce with python3 -B scripts/research_package.py --package research/staged544-scalar-interior-refit. Hosted CI is reported separately when complete.

Credit: Dugongue PR3945; dataisfire PR3734; the PR3815/3862/3890 packing-dual lineage; PR3969/3988; Jeremy Kothe, zxv, RossRichardson, ErwanSecousses, hexapode, Sagar Thakrar, roger-sato, Arham Tahir and retained source notices. Chris R / Clear1nsight with substantial OpenAI Codex assistance. No selected frontier change. This is a bounded construction stop and useful next-interface handoff, not a supplier admission.