Known WP limitations on `assigns` handling
This issue lists known WP issues with the handling of
assigns annotation. Related issues are closed (as duplicates) and listed here.
- WP assigns verification is stronger than what ACSL specifies
- WP does not use per behavior assigns
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information