[petalas]

Summary

 exceptional E,F / E+G,F+G attachment
   one complete hub: retained GF4 support transfer
+  two complete hubs, six edges K3,2: no characteristic-two support transfer
+  arbitrary graph-dependent images and arbitrary ambient dimension allowed

Prove the released PR3573 two-hub obstruction from seven source exclusions and fourteen reader containments. The old field can have any characteristic different from two. A concrete 42-port exact rational factorization of query/reader ranks (5,6) also has no termwise scalar-support-shrinking characteristic-two completion.

The witness costs 54 versus baseline 42. This proves no cheaper tariff, universal pair floor, supplier, new kappa or selected-frontier update. The written all-field argument and the finite checks have distinct scopes. Independent human and formal proof-kernel review are unclaimed.

The package is research/p112-two-hub-transfer-obstruction. It retains the actual pending positive-control bytes with exact origin/hash and credit to Philippe Van Velzen, ctoth, the actual-reader lineage and Nick Petalas's predecessor work. Scientific replay needs no foreign Git objects or network. The original hypothesis and scope change are preserved.

Evidence

• Before: PR3573 excluded coherent maps but left arbitrary graph-dependent maps open; its single star still passes all 64 subsets.
• After: Separate rational/GF4 elimination and primitive-integer/all-GF4-annihilator implementations agree on all 512 two-hub subsets, 168 source and 564 reader implications, every proof premise, all 1,764 literal operator entries and the nine actual rectangular Gram charges. Twelve optimized real-CLI corruptions reject; fourteen initial/restored positives pass.
• Publication HEAD f9db162a408ba978c10b00be265f5ffca321957c passes registered CPython 3.12 replay, metadata/pins, check_research_commit.py --check-source-history, focused Ruff/format, official export integrity and all three actual Git-free scientific/control commands. All 15 source files and 16 export files retain their bytes and identities. README contains exact replay commands; PROOF.md and VALIDATION.md state the limits and unrun obligations.

Merge Danger

Door: two-way

Blast Radius: research

One isolated package. No frozen input, selected frontier or shared implementation is changed. No graph classification, subdivision/minor theorem, edge-minimality or physical invoice is claimed.