Version updated for https://github.com/pgrls/pgrls-action to version v1.0.3. This action is used across all versions by ? repositories. Action Type This is a Composite action. Go to the GitHub Marketplace to find the latest changes. What’s Changed Marketplace copy refresh for pgrls 0.16.0 — rule count 47 → 51 rules (17 with mechanical auto-fixes). Highlight — SEC038 (semantic anonymous-read, Z3-backed). The semantic sibling of SEC004: it uses the Z3 SMT solver to prove a read-capable policy’s USING clause is unconditionally true for an unauthenticated session, catching inverted-auth variants (e.g. NOT (auth.uid() IS NOT NULL) OR …) that pattern-matching misses. Activates with the optional pgrls[diff-z3] extra; the always-on syntactic SEC004 guards inverted-auth out of the box.