Idle. Press Run to start the suite.

• ./name/proof.f.mjs
• ./proof.f.mjs
• ./scope/proof.f.mjs
• ./testlib.proof.f.mjs
• ./write/proof.f.mjs