Bind R437 residual weights and price all six leaf coefficient preparations

[Clear1nsight]

The literal weighted leaf has three ADD requests, but the actual physical ADD evaluates its coefficient separately during split and merge. This package binds that interface to current R437/OQ4 source objects and proves the complete coefficient term is 6K + 2J per leaf atom and physical prefix, where K includes both parent/extended Callback admissions, serialized Program extension, complete frozen-field preparation, the actual ancestor evaluation tree, cleanup and head restoration. J is the additional inverse/negation. No predecessor is alleged to have claimed a three-evaluation physical invoice.

The actual Callback.weight stack is tied to its good/pair/unit coefficient recurrence over every admitted high lift. A fixed-permutation pair still evaluates its identical ancestor twice: the separate Page.child_weight cancellation shortcut is not the physical child-coefficient path. The credited eight-stage identity then gives the complete weighted pair permutation for arbitrary dirty payloads under explicitly retained primitive contracts. The invoice also includes every outer payload copy, intermediate erasure, directory/prefix scan, counters, full swap/ADD/sign passes and unresolved physical tariffs. It does not absorb exponential ancestor work into a current-width linear bound or claim full production Pi, gamma, H2, supplier admission or a new kappa.

Independent vector/matrix algebra is checked against the unchanged encoded evaluator with Word.inspect forbidden. Six actual modulus9 controls bind native IDLE27776/rank26 and common COPY1603/rank7, nonzero raw high fields, good and fallback pair orientations, negative inverse and unit-half reset. Preparation counts are2,2,3,2,2,0. Program/field bytes and heads restore and numerical arenas close. A mutation of the actual PAIR numerator changes5 to1 and is rejected. The literal source leaf trace passes3,575 finite address cases at widths1,2,7,26,63; sign/reciprocal mutants reject. Actual ADDs on108- and972-bit dirty fibres verify six coefficient calls and complete output mapping. These are bounded small-prime controls, not full GL64 packet execution.

New package only: research/r437-residual-contract. Exact provenance, typed receipts, registered replay and Git-free controls are in SOURCES/TASK/VERIFY/EXPECTED and VALIDATION. Reproduce with python3 -B scripts/research_package.py --package research/r437-residual-contract. Normal full replay, optimized quick controls and actual Git-free optimized quick export are registered separately. Complete production/cold replay, a formal kernel and independent human review are not claimed.

Explicit next-round assignment refines revision6 independent-moment; canonical main20ecf2891d80b5acf18d980b2164fb44ea7faa90 was read at entry and refreshed unchanged. Claim: #3967 (comment) . Local cache had no remote coverage; focused live searches and coordinated Discussion review are bounded coverage, not a novelty certificate. PR3993 owns the distinct lease audit. The parallel admission-cursor optimization is an independent contribution, not an unpinned dependency.

Credit the source527/PR2160/2159/2234/2310/2332/2405 local-ring and generated-descriptor lineage; Jose Manuel/jmbarrancoml's PR2697 and physical caller; David Arias's PR2753; Nick Petalas's PR2989/3041 conditional correspondence; commdata2338's PR2399/3223 substitution and node/stock audit; zxv/PR3690; ai-nanachi, Ali Romman, Sagar Thakrar and the retained R437/OQ4 lineage. PR3936/3950/3967 are credited predecessor audits/binding, and PR3980/3982/3983/3986 retain their separate scopes. The weighted identity and normal forms are not new discoveries here. Prepared by Chris R / Clear1nsight with substantial OpenAI Codex assistance and same-session AI cross-review; Apache-2.0. No merge, closure or selected-frontier change.

Next: join the credited conditional node/residual/word implications with the remaining physical primitive/capacity contracts and original-width stock, retaining the six-call and duplicated-ancestor preparation bill. A possible fixed-permutation shortcut requires its own program-acceptance, error, ownership and cost equivalence proof.

Final publication head 70c5ed674c7dc1c339254bae3818dd52a0015ac1 promotes the already authenticated canonical task catalogue to a declared replay input. Exact155-file byte/source-history, metadata, whitespace and official exporter checks pass. An official declared-input export (156 files including its manifest) passes the read-only Git-free optimized quick command with unchanged bytes. Scientific code, proof and receipts are unchanged from baseline af2ca4b49be5ba99601175759c79995c6a0a13ef; its earlier custom export had included that provenance file as an extra. Final-head CI run39226928294 is the applicable run; baseline run39226341790 remains prior-head evidence.