Also, please specify (or at least explicitly leave unspecified) whether two ERR5RS records without fields are eqv?.
I guess this brings up structural vs name equivalence.I strongly recommend name equivalence so that only records created via the same constructor are considered equivalent, even if all of the fields are the same.