A non-flat stat must carry exactly one Quality term, named, declared, with a positive exponent; a flat stat may not name a role. The check is one function with its own synthetic-stat test. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>