With the 60-day mark approaching next week, are there any remaining
concerns or requests regarding this SRFI? I am OK with the current
revision but would be happy to receive more feedback.

I compared the SRFI with QuickCheck for Racket, since that library was
mentioned here a while ago. The interfaces are similar with a couple
exceptions.

One difference is that the Racket library exposes the test results, but
the SRFI delegates handling the results to the test runner. I think
specifying a runner is cleaner/simpler. Does anyone have a use case that
requires unprocessed property test results?

Also the Racket library supports labeling properties with a string. In
the SRFI, you can label test groups containing one or more property
tests, but not the properties or property tests themselves. I don't
think this difference is significant, but let me know if there is any
disagreement.

Thanks,
Antero