t03_red_queen

Supplied working report; original verdicts not validated.

Review status: Held for correction. This is an archival source note, not a passed proof.

Included code and results