Consolidated root theorem for P104: chain-nested optimality with rigidity, the cost formula, dense supports and the one-extra-unit floor, under an explicit hypothesis ledger (no κ) - #6877