REA passed 318,000 stars by letting agents take apart shipped software. We ran it on its own package: 207 tools, 3.16 MB of schemas, 234 MB of evidence.