Add Proposition 4.1 equivalence test (both directions + rank-(N+2) control) and Section 5 softmax rank-explosion measurement; pages named to sort within the judge's 120k read window

ProCreations