Install the actual QQ16 caller with a complete return and protocol bill

[Clear1nsight]

Result and scope

#4129 supplies exact recursive C calls on an admitted prepared ABI; it does not install an actual QQ16 caller. This package connects the actual selected first F0/B1 producer to a paid encoded 448-family recovery service, reconstructs all 224 current outputs in their required owner-dependent frames, publishes them with exclusive storage, and resumes both legs of the named source bridge. This is one conditional class B enabling mechanism, not an affordable supplier or a new exponent.

connection.install attaches the changed binding to the actual RootLayer.fast_core before input, retaining its old original C Machine as a separately closed backend. Only source events 0 and 4 change their arithmetic; events 1–3 remain ordered. Recovery enters after the whole-cover B fence 573, followed by original idle5 and bridge6. Descendants use the unchanged original C binding. No original input or private query is imported at the fence.

The prepared-input/storage/current-frame premises beyond #4129 are replaced by source-bound mechanisms: actual whole-family acquisition, encoded descriptor and stock checks, separate producer/service/native inventories, all 224 signed D calls, 112 negative current-return lines, full borrowed-field verification, output preflight, publication and retirement. The current endpoint is the actual selected G(x,y)=(-y,x+y), not a centre-free endpoint substituted for it.

Read PROOF.md, ADMISSION.json and COST.md. Component proofs, source manifests, exact compatibility decisions and executable receipts are in the same package.

Complete comparison and decision

The new adapter changes every root child-call protocol, including retained and later calls. The bill explicitly keeps original parent parking/embedded C/restore separate from external Machine.run copying/root return and does not cancel them from equal ranks or values.

Child occurrences per Γ	Original	Installed
Entry through source bridge6	17,565	17,581 plus336 service
Later source suffix	493,097	493,097 with changed call protocol
Whole root	510,662	510,678 plus336 service

The full source-derived operation sum includes acquisition, encoded arithmetic, actual packet widths/geometries, full-bank scans, four physical monomial calls per signed line, scalar work, protected copies, all engine inventories, output movement and disposal. No unknown cost is zero. BILL.json independently binds the compiler's census and the complete root protocol partition.

There is a constructive local improvement: adopting the completed internal bank costs 9B+26 cell actions versus the same installation's fixed-copy 20B+30, saving 11B+4 (B is the complete parent-bank bit length), less any separately priced finite-selector control c_R. All internal current bindings are updated; public ports stay fixed. This adapts #3380 with a new physical-role proof and bill, rather than importing its different saving.

The isolated native-component comparison adds368 C1 against16 C8 removed, ratio at least23/8 under its specified common homogeneous charge. Even a free final native repair leaves256 C1 versus128 C1 credit. This does not settle total physical affordability: avoiding original parent parking on510646Γ retained calls may supply a compensating credit. The next discriminating experiment is paired source protocol pricing at actual complete bank/packet geometry, including descendant contexts and the later suffix, against the added routing/service bill.

Selected κ remains exactly 836330098538459/500000000000000000 = 0.001672660197076918.

Verification and limits

• Registered Python3.12 package replay, including complete typed receipts, ordinary/optimized Git-free read-only export tests, source-before-execution refusal, descriptor/word/manifest corruption, typed receipt/duplicate controls and exclusive generation.
• Full selected finite compilation, both complete 24,767-event source shadows, all336 signed73D recipe bindings, whole-root census, actual46-body range/debt calculation and exact all-parameter sufficient fine-grid inequality.
• Actual reduced physical producer → whole-cover fence → encoded acquisition → recovery/original C → current G → publication → both bridge legs; two different generations on the same engines, all64 complex outputs checked.
• Nonsymmetric O3 owner-cycle and both-signed native-conjugation tests (192 complex values each), full224-field packing/lifecycle, dirty state, borrowed preservation, premature reuse/alias/descriptor/nonleaf rejection and cleanup inspected before fixture recovery.
• Committed-byte/source-history preflight and authenticated committed export; ordinary and optimized replay with no Git or executable search path and unchanged read-only export contents.

The post-remainder admission guard and nonsymmetric owner tests resolved real interface defects. Final assisted adversarial review reports no unresolved blocking scientific/composition defect at the hash-bound snapshot in REVIEW.json. Shared sources/primitives are disclosed; this is not independent human acceptance or formal-kernel verification. Hosted CI is a separate publication status. Local registered checks passed at commit 0b082d22a0e9a442d264ab0633e35ef26c790630; four boundary tests passed in301.027s. The authenticated official export contained133 committed source/package files plus its manifest; ordinary and optimized cold replays passed in150.110s and153.804s with empty stderr, no Git/PATH and byte-identical read-only contents.

Production O73 numerical payloads and complete RootLayer.run were not executed. The all-size theorem retains exact original C/native/common-label/hosting, source-entry height, ordinary B1/C0, Compact, long-record and admitted root/row-stock hypotheses. Logical coarse width, native reserve, physical width and address guard remain distinct. The selected installation retains actual fine quantum and H_b; the auxiliary PΓ whole-family validation block is distinct from actual P-prefix per-owner native capsules. There is no all-node modified recursion or new supplier/bootstrap admission.

Provenance and coordination

Canonical scientific main: bb4bccbf42844d2801487450727c2f63e10d1d0f, priority6. Frozen #4106 48529915d50bb59b53db53686c4add1cf53429dd, #4109 30dcf52a7722d0919e125f77a4fb921094578242, #4129 e708f02bf78c3ed6d770cedf00724ebc5ce928d1. Current review/publication heads are tracked separately; frozen inputs are preserved.

Assigned joint-query-controller continuation, scope key5423eef254a4943f6bf1, one orchestrator and distinct workers, one integrated PR. Canonical claim/history. Overlap covered bounded all-stateQQ16 top25, quoted4129 query, named heads/reviews and Discussion1163/1166/index. New #4162 adjacent ADD/frame and #4149 ADDRESS work has different scope. Helper remote coverage was unavailable; bounded searches are not novelty certificates.

Credit Ali Romman/QQ16 and selected-source authors; Arham Tahir and ywz65 for ordered recovery/routing/native normalization; #3985/#4015/#4106/#4109/#4129; Jose Manuel for physical C, Compact, scalar/monomial and support machinery; Sagar Thakrar #3464/#3607 for parent return/layout; Tekalign #3380 for ownership exchange; unpaidmoon #4114/#4123 and Victor Li #3993 for scoped regression evidence. All eight requested compatibility classifications and limitations are explicit in REUSE.json. Source notices are retained. Chris R / Clear1nsight with substantial coordinated OpenAI Codex assistance.