2.10. Methodological findings🔗

The substantive findings are listed in the result part. Two are about method rather than praxeology and belong here.

• Two universal claims over definable types were refuted by constructing rivals: the frame-general bridge (2026-08-02) and the disposition-general swap dominance (2026-09-04). Statement-fidelity review, which checks an axiom against the doctrine, caught neither; building the pathological model did. The rule that followed: name the actual one with an opaque predicate and restrict the axiom to it.

• An announced finding was partly an artifact of an encoding. "The bridge does no work" was first said of a base whose urgency axiom had compressed the derivation past the bridge. Unwinding the compression was what made the finding real: the bridge was given every chance to re-enter and did not.