[1337isnot1337]

Every one of PR589's 636 rational source frames is generated by the fixed entrance lines it contains. Consequently, a monotone framewise contraction preserving those entrances must fix every frame and cannot recover PR4633's claimed saving. This package supplies an exact rational certificate of that repair obstruction, a general hyperplane-dimension obstruction for the submitted global padding, and an endpoint-preserving expansion whose numerical screen worsens from 0.003464249 to 0.002750034. No new κ is claimed.

The overlap check after the requested ten-minute wait found #4636 (b0a325a3) and #4642 (d8c59e36). #4636 already establishes the broader rational-field, endpoint and verifier objections; #4642 independently audits complex re-padding and its price. This contribution focuses on the complementary repair bounds. Its repeated endpoint checks provide the context and positive controls for those bounds. Arbitrary resynthesis and different controllers remain open.

The package is based on canonical main and vendors six exact PR4633 inputs with original commit, blob and SHA256 pins. The reviewed source head is b390d64abfcdba1a3816b86fc763cbc95d43c12c; both the headline's one-dimensional kernel and the three-dimensional artifact actually shipped there are covered. OVERLAP.json records the bounded search coverage. No selected-result record changes.

Validation:

• python3 -I -B research/pr4633-contract-audit/verify.py
• python3 -B scripts/research_package.py --package research/pr4633-contract-audit
• python3 -B scripts/check_research_commit.py --package research/pr4633-contract-audit --check-source-history
• Five rejection controls; exact rational ranks, incidences and invoice counts. Numerical roots are explicitly labelled screens; physical lowering of the rejected expansion is not claimed.

Credit: DaysSky for the quotient packages; #4636, pinterbanget (#4604), Nick Petalas (#4627), Rohan Arun's #4633 comment, and Maximilian Lutz (#4642) for preceding/concurrent audits; DreamingOfClouds, eumemic, zxv and Cinna Davis for the retained supplier lineage. Prepared for Cinna Davis with substantial OpenAI Codex assistance; Apache-2.0.