[1337isnot1337]

PR #4359 leaves quantitative slack between its complex mixed root and declared κ, and uses a coarse complement bound when specifying finite template ranks. This source-pinned refinement retains its native and outer hypotheses.

• Prove an explicit rational parameter family admitting every fixed rational κ below the unchanged mixed root (the endpoint itself is not claimed). The concrete checked point is κ = 0.00230509, versus Conditional κ = 0.0023 (+5.690e-4, +32.87% over #4181): productive helper jobs compiled into a uniform supplier #4359's 0.0023.
• Replace the compiler's coarse eta > 1/4 / exit <= 1/8 estimate by its actual complement coefficient. At the original supplier savings, the specified complex rank becomes 2^1546084442 instead of 2^276540184361; BIT becomes 2^42843607 instead of 2^6552928412.
• Include the scoped review and a fresh complete source replay receipt: 23 stages passed; all 59 artifacts matched under Conditional κ = 0.0023 (+5.690e-4, +32.87% over #4181): productive helper jobs compiled into a uniform supplier #4359's declared metadata/compression rules.

The new contribution is self-contained under research/pr4359-compiler-refill/, based on canonical main 12fa8c5, with unchanged focused exports from #4359 head da637c87. The new endpoint's sharper sufficient complex rank is 2^2099384703303215709. All winning templates remain unmaterialized and astronomical.

Validation: exact independent rational moment/root/rank checks; all nine old cost rows and 54 source predicates reproduced, new strict and functional inequalities checked, invalid parameter and one-less-rank controls rejected; optimized-mode replay passed locally on Python 3.14.8 and independently on Pyroam Python 3.12.13; registered Python 3.12 package replay passed; committed-byte/source-history preflight passed for main provenance.

Conditional research result awaiting review. The selected frontier is unchanged. This does not establish an unconditional multiplication theorem or practical speedup. The mixed construction is credited to @zxv and the underlying mixed flow to @jacobalansussman; inherited attribution is retained. Prepared for @1337isnot1337 with substantial OpenAI Codex assistance.

Entry points: README.md, ENDPOINT.md, TEMPLATE.md, REVIEW.md, RESULT.json, and SOURCE-REPLAY.json in the package.