pyvelm v0.2.9¶
Release date: 2026-05-23
Base module: 0.18.0 (unchanged)
Universal-quantifier search domains and GitHub releases that use CHANGELOG.md as the release body (not auto-generated commit lists).
Highlights¶
{"all": True} on collection domains¶
Existential (default): at least one related row matches.
Universal: every related row matches (vacuously true when there are none):
See Architecture → Domain compiler.
GitHub release bodies¶
Tagged releases now publish the ## [X.Y.Z] section from CHANGELOG.md
to GitHub (same text as the annotated git tag):
./scripts/tag_release.sh 0.2.9
git push origin v0.2.9
# CI: .github/workflows/release.yml → body_path: release-notes.md
Backfill an existing release after gh auth login:
Install¶
Upgrade from v0.2.8¶
pip install -U pyvelm(orpip install -e .)- Restart app / cron workers
- Optional: run
./scripts/github_release.shfor older tags missing bodies
No schema changes.
Full diff: v0.2.8…v0.2.9