Dependency ledger

enter}

New versus inherited. IX-B proves the combinatorics, the continuous-operation transfer, the independent derivative orbit, and the weighted-class warning. It fixes the two-factor sign and multiplicity. It does not re-prove the carrier construction, the parent finite part, or the normal-topology obstruction.