Owner: fresh_opportunities; parent coordinates independent audit. Authorized2026-10-08: derive and test removal of the redundant central coordinate in the pinned DFT motif, using exact rational arithmetic. Write only this directory. Read ../dft/sources/ without modifying it. No model launches, heavy computation, Git mutation, public claims, or remote actions.
Base upstream commit: fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb. Prior h-parameter derivation and independent audit are separate; this modification requires its own independent review.
Target: same triple labels and fixed side-correction matrix, only h central coordinates, valid for arbitrary auxiliary values, exact changed budget, all-length DFT consequence under the existing compiler/transport. Additional target: rank lower bound on central count for this fixed correction, not global optimality. Negative evidence is a method/certificate failure unless it is an actual mathematical counterexample.