[MCA] Cut KoalaBear error rank eleven to dense pair cores

[scottdhughes]

Summary

Stacked successor to #1167 (exact parent 491ccdf).

This adds a source-level nonuniform support-margin theorem and compiles the post-near affine-error-rank-11 family into fixed minimizing-pair/core terminals. For each optimized cutoff, an over-budget line forces a fixed actual pair (the pairs need not coincide):

• cutoff 6486: weight at least 743,449,148 and core deficiency at most 8;
• cutoff 1795: at least 200,632 owned slopes and core deficiency at most 4.

It also exhausts the complete declared pair/core certificate class. The printed-theorem ceiling is 813,929,118,931,913,384; the stronger summed-margin relaxation is 811,958,533,186,703,629. Both exceed B*. Thus rank eleven remains unpaid. The exact next missing theorem is cross-pair same-line compatibility or a chronology-correct owner for dense parallel pair cores.

Scope

• active-v4 ledger movement: 0
• KoalaBear closure: no
• rank-eleven payment: no
• result: rigorous maximal route cut

The GF(7)/GF(11) parallel-star controls rule out distinct-neighbor promotion and a smaller one-pair multiplicity from the current local hypotheses.

Verification

• canonical payload ca624392d1842a69ca9212533af672e4325fa984dad11952443e247db80cb6c3
• Python normal and optimized modes: PASS
• hostile mutations: 6/6 PASS
• Sage GF(11) and GF(7) controls: PASS
• campaign audit: PASS
• Wolfram independent integer replay: PASS
• 122-page TeX build: PASS
• independent mathematics review: GREEN
• independent certificate/custody review: GREEN

Dependency and overlap

Upstream main and #1167 were refreshed immediately before publication; no overlapping rank-11 pair/core PR or public-DAG work was found. #1161 remains an unrelated Lane-T lane. This PR must integrate after #1167.