floating-point-phase-transition

Supplied working report; original verdicts not validated.

Review status: Needs review. This is an archival source note, not a passed proof.

Included code and results