v0.2.1

What's Changed

Bug Fixes

• fix: update check-update hook to query @nforma.ai/qgsd scope — users on v0.2.0 had a silent failure in the update checker that was still querying the old @langblaze.ai package

Features

• Memory staleness check on session startup
• Invariant validator for requirement classification
• Workflow improvements: invariant gate in add-requirement, --strict flag for map-requirements, new close-formal-gaps command
• 20 new formal verification models (8 Alloy, 2 PRISM, 10 TLA+)

CI/CD

• Split test suite: test:ci (35 unit tests) vs test:formal (20 formal tool tests)
• New ci.yml workflow: runs unit tests + lint + build on every push/PR
• publish.yml uses test:ci only (no Java/TLA+/Alloy/PRISM needed)
• Package verification step ensures zero test files in tarball before publish
• formal-verify.yml paths fixed for .formal/ rename
• All workflows have timeouts (5/10/15 min)

Package Quality

• 258 → 169 files in published tarball (-35%)
• 606.7 → 453.0 kB package size (-25%)
• Zero test files shipped
• All metadata points to @nforma.ai/qgsd scope
• .env/.npmrc gitignore protection + publish script