Skip to content

chore: bump to 0.5.0 for the rail 19 release - #168

Merged
eaitbrahim merged 1 commit into
mainfrom
chore/bump-0.5.0
Aug 5, 2026
Merged

chore: bump to 0.5.0 for the rail 19 release#168
eaitbrahim merged 1 commit into
mainfrom
chore/bump-0.5.0

Conversation

@eaitbrahim

Copy link
Copy Markdown
Contributor

Version bump only — no code change. The release workflow refuses to set the version itself, so this is the reviewed PR that decision belongs in (docs/RELEASING.md).

Why minor: rail 19 (#167) is a new un-overridable hard rail, adds a spot_instrument screen criterion, adds a load-time failure for a non-uppercase allowlist entry, and tightens --products at the CLI on every command that writes or trades.

Why now: ~/keel runs 0.4.0, which has rail 18 but not rail 19. The BTC-PERP-USD residual — an id that passes rails 1 and 18 and is stopped only by rail 19 — is still open on the live path until this ships.

uv.lock is relocked in the same commit. Leaving it behind is exactly what failed the 0.4.0 release: CI's uv sync rewrote a tracked file, so the artifact self-reported (DIRTY).

Verified by replaying the full CI sequence on a clean clone — sync (tree stays clean) → stamp → uv build --all-packages → install the wheel by path:

keel 0.5.0+f4944aea64a8 [release]

No (DIRTY). 1888 tests pass, ruff clean.

After merge: Actions → Release → Run workflow with 0.5.0.

🤖 Generated with Claude Code

Minor: rail 19 (#167) is a new un-overridable hard rail, adds a screen
criterion, and adds a load-time failure for a non-uppercase allowlist entry.
It also tightens --products at the CLI on every command that writes or
trades.

uv.lock is relocked in the SAME commit this time. Leaving it behind is what
made the 0.4.0 release fail its self-identification check: CI's `uv sync`
rewrote a tracked file, so the artifact reported (DIRTY).

The live deployment is on 0.4.0, which has rail 18 but not rail 19; cutting
this release is what gets it there.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
@eaitbrahim
eaitbrahim merged commit 251ceb1 into main Aug 5, 2026
@eaitbrahim
eaitbrahim deleted the chore/bump-0.5.0 branch August 5, 2026 22:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant