Promoting the Run 11 precision upper bound to every BCLR SLP

Exact statement

Promoting the Run 11 precision upper bound to every BCLR SLP. $e_{\max}=768$ and the path exponent 17 belong to independent balanced coefficient rows. Shared separable SLPs have different rounding paths and intermediate magnitudes.

Statusrejected.

External reviewNo documented external or specialist review of the FPRD synthesis is recorded.

Context

The research record preserves failed approaches when they expose a model boundary, an invalid transfer, or an unsupported strengthening.

Proof or evidence

$e_{\max}=768$ and the path exponent 17 belong to independent balanced coefficient rows. Shared separable SLPs have different rounding paths and intermediate magnitudes.

Rejected transfers and surviving boundaries →

Verification notes

The failure status and preserved lesson are recorded in the cumulative failure ledger.

Limitations

Run 11 closes Run 10's conditional $B_k$ only for RPR-D11, not for the 4504-addition compiler or all equivalent decompositions.

Open work

Keep this exclusion attached to any future reuse of the corresponding construction.