P 3.0.4 Release

Bump PeasyAI to v1.0.0 and update install instructions

- Update pyproject.toml version to 1.0.0, mark as Production/Stable
- Update all install URLs from v0.2.0 to v1.0.0 in README and docs

Made-with: Cursor

Fix doc review silent failures and raise Snowflake token limit to 20k

The LLM-based code documentation review (Stage 5) was silently failing
for every generation call due to three root causes:

1. Snowflake provider capped max_tokens at 8192, causing response
   truncation before the closing </documented_code> tag
2. GenerateTypesEventsParams was missing the context_files field,
   causing an AttributeError swallowed by except Exception
3. No visibility into failures — callers had no way to distinguish
   "doc review succeeded with no comments" from "doc review crashed"

Changes:
- Raise Snowflake provider token cap from 8192 to 20000
- Raise doc review request from 8192 to 16384 tokens
- Add retry on truncation (doubles max_tokens, up to 20k cap)
- Return structured Dict with status/code/reason instead of Optional[str]
- Surface doc_review_status field in all MCP generation responses
- Extract shared _run_doc_review() helper to replace 4 duplicated try/except blocks
- Add context_files field to GenerateTypesEventsParams
- Add 2 new truncation test cases (53 total tests pass)

Made-with: Cursor

PeasyAI v0.2.0 — Validation Pipeline & Code Generation Quality

Major improvements:
- 4-stage validation pipeline (regex fixes, structural validators, LLM wiring review, LLM spec review)
- 13 structured validators with auto-fix capabilities
- LLM-based test wiring review (circular dependency resolution)
- LLM-based spec correctness review (observes completeness, assertion logic)
- Bounded Timer template for liveness property support
- Improved generation prompts (named tuples, helper functions, init-event patterns)
- Streamlit lazy-import fix for non-UI contexts
- PChecker timeout increased to 300s per test
- Regression test support for cross-file wiring and spec fixes

Add GitHub Release workflow for PeasyAI distribution

Add a GitHub Actions workflow that builds and attaches PeasyAI wheels
to GitHub Releases on peasyai-v* tags, so developers can install via
pip without cloning the full P repo. Also adds the LICENSE file
referenced by pyproject.toml and updates the README install instructions.

Co-authored-by: Cursor <cursoragent@cursor.com>

Release p-3.0.3

- Fix code generation issues when modifying sequences in PObserve mode (#931)
- Integrated PObserve into master (#928)
- Fix string comparison in PChecker runtime (#919)

Fixed a bug in string generation

Fix string comparison in PChecker runtime (#919)

Fix the implementation of PString in the checker runtime to compute
string ordering correctly.

This is a major release with support for PVerifier, Parametric tests,…

… and much more

Added compiler changes for PObserve release