[CubeJerry]

What changed and why

The published 3,095-event QUERY-only caller removed the proposed QSELF
opcode, but its exact endpoint identity did not establish intermediate
precision or admit rounded child returns. This package supplies a
source-specific prefix/suffix envelope for that caller with every source
cut of its 18 current 71,144-event native calls included.

Under explicitly retained complete-fibre unitary, total primitive error
and compiler contracts, the exact rational certificate gives
M_ctx<2^355, Sigma_ctx<2^576 and Gamma_ctx<2^337. Current source/threshold
checks imply the conditional format F=p+D, W=p+h+2D+3 for D>=19, five extra
fractional bits below 19, and W+26 temporary bits. Every arbitrary helper
input and incoming native-call defect is included. The proof retains the
wrapper's D-dependent admission cost.

It also locates an exact-service obstruction in the actual source:
MOVE37476 on register697, followed without another access to that field by
SCALE37480 at -2/3. A permitted one-grid child defect is nondivisible at
every F. This is an abstract contract countermodel, not a claim that the
retained MOVE implementation produces that error. The unchanged exact
scalar table physically rejects the example before public writes.

Exact sources and predecessor credit

Canonical base: 7c49fe32c55de02c2c873655c804b16e4c3fef0a.
Caller: published QUERY-only source at 6179034.
Native word: DreamingOfClouds' #6936,
03626137d0bd57f09b0bf9597376183ce6fa9683.

Credit DreamingOfClouds' total RDiv and complete-fibre defect method in
#6937. Its stated constants belong to the older
#6932 word; this package computes the changed source and keeps its
unproved structural/physical premises explicit. The exact-grid statements
of #6901, the published odd-native-common-grid
at e45e844303e04947cf6591fb46b43bf8a7bc5356, and CubeJerry's checked exact
scalar service at 13193a22b1070a74a8580c5d3ea27470443f815a are separate
predecessors, not proofs of a total rounded service. Credit also the #104
odd-grid precedent of icekylinx. All eleven unchanged inputs have exact
commit/path/blob/SHA-256 pins in DEPENDENCIES.json.

Reproduction and checks

python3 -I -B research/query-only-precision-envelope/verify.py --suite all
python3 -I -O -B research/query-only-precision-envelope/verify.py --suite all

The four suites reproduce deterministic receipts. Critical bounds are
checked by separately coded backward covectors; guards use exact integer
arithmetic. The literal retained exact-table/executor boundary has 35 small
fixtures, 21 accepts and 14 rejects, including late-component no-public-write
failure. Mutants exercise source frames/owners, lifecycle, stage order,
QSELF reintroduction, coordinate-sup versus fibre norms, Lambda's Q^4
premise, rounding ties and error erasure. Standard library only; no network
or full repository fetch is required for package replay.

Limits, costs and kappa status

No new kappa. No unconditional theorem. No physical rounded caller.
The rounded semantics need a total signed RDiv provider and source binder;
the checked exact provider is insufficient on the displayed permitted
state. Native absolute phases, complete-fibre contracts, S1--S5 compiler
structure, owned/history costs and rounded outer analytic recovery remain
explicit obligations.

An optimistic positive extra-scan model counts every current port and adds
17,165,584 to 826,265,904, yielding 843,431,488. Its 156,568,512 margin is
model compatibility evidence only; code/setup, literal passes, head resets,
staging and historical backing still need the actual physical tariff.
The old conversion charge is retained conservatively rather than credited
as a saving. No selected certificate or unrelated files are changed.

Prepared for @CubeJerry, with substantial OpenAI assistance in
reasoning, source analysis, code and verification. Separate AI review is
recorded with exact scope and hashes in REVIEW.md; it is not independent
human or proof-kernel review.