[ToikY]

This independently reviews thu-nmrc PR6717, exact head 3c9072b8738323dda9f9c7dfb421d578ed3fc17a, PROOF §6 only. No gap was found in the far-endpoint leakage argument under the enumerated canonical/forced-projector premises. This confirms one branch of the predecessor's rank theorem; it does not claim a new7q threshold or certify the complete theorem/attainment.

The note derives a general zero-paired leakage inequality directly from two actual kernels and injective row restriction. It retains matrix order and allows arbitrary coupled unknown projectors. Explicit unit minors, all pairings, n4 endpoint choices and the complete extra-rank split justify rank(Q)>=4q−2e and e+f>=q over the source's allowed fields.

Three written scope controls expose near-endpoint collapse, the need for zero pairing, and failure of extending the displayed source matrix hypotheses to characteristic two. The latter word is not genuinely shortest in char2; that qualification was corrected after adversarial review, before freezing. The earlier draft remains in local receipts. It is not a counterexample to the leakage lemma or a different theorem separately requiring genuine minimality.

Evidence is written algebra plus separate source-aware AI review and adversarial checking. One reviewer read source author REVIEW during scouting; no blind, human or kernel review is claimed. No scientific program, original/new checker, finite matrix census, compiler or proof kernel ran. Exact three inert source copies, Git/SHA256 pins, committed raw byte/mode equality and manual archive/readback establish provenance only. There is no registered scientific replay. Hosted CI: original run41907582656 SUCCESS on the unchanged head,711helpertests/24platformskips. Scientific replay SKIPPED: empty package matrix, no registered scientific commands. Synthetic checkout tree matches the published tree; no rerun. This is repository-control evidence only.

Full coupled normalform/prefix-to-forced-projector binding, other theorem branches, all-n attaining word, executable receipts, native/physical/paidinvoice/ownership/restoration/stock/precision/tape/compiler/outer applications and all five selected assumptions remain outside. Unknown costs are not zero.

Main7c49fe32/eightbindings/revision8/selected6030 refreshed; task picker8e7fa4c39bcc187df74dc9b9c32b637a formal-interface-lemma explicitly changed to written source-bound audit. Fresh open/targeted all-state/liveHub coverage and limitations are retained. No matching external §6 audit identified within that bounded corpus; no novelty/admission claim. TASK records scope and unreserved next review steps.

Credit thu-nmrc6717 for uniform mixed-rank proof/leakage application/attaining construction; AliRomman6398/alternating-caller-closure, coupled normalform authors, CinnaDavis and retained lineage; classical rank/kernel methods. ToikY with substantial OpenAI Codex/separate AI roles, Apache-2.0. No frontier edit, merge or otherPR closure; maintainer edits and auto-merge disabled.