Skip to content

release(v3.13.1): drift patch (D1 docs + P1 path compat)#179

Merged
Halildeu merged 1 commit intomainfrom
release/v3.13.1
Apr 20, 2026
Merged

release(v3.13.1): drift patch (D1 docs + P1 path compat)#179
Halildeu merged 1 commit intomainfrom
release/v3.13.1

Conversation

@Halildeu
Copy link
Copy Markdown
Owner

Summary

  • Version bump 3.13.0 → 3.13.1 (patch release)
  • CHANGELOG finalize with D1 + P1 recap + migration note + deferred follow-ups
  • Non-breaking: read-side fix only; all backward-compat preserved

Shipped PRs

Both iter-1 findings absorbed in iter-2 → Codex MERGE verdict for both.

Deferred (v3.14+)

  • init_cmd.run(override) WRITE-side asymmetry (contract break, needs consultation)
  • sanitize.py:39 EMAIL regex raw-string bug (spawn_task)
  • compiler.py:139 no-id dict KeyError (spawn_task)

Test plan

  • Version tests pass (test_version_is_3_13_1)
  • CI 9/9 GREEN
  • Admin squash merge after CI
  • Tag v3.13.1 push → PyPI OIDC
  • Verify PyPI HTTP 200 on 3.13.1

🤖 Generated with Claude Code

- __version__ + pyproject.toml version → 3.13.1
- test_pr_a6_features.py version pins → 3.13.1
- CHANGELOG [Unreleased] → [3.13.1] with D1 + P1 recap
- External AI UX review + Codex plan-time REVISE absorbed into 2 PRs
- Both iter-1 findings absorbed (D1 REVISE, P1 BLOCKER) → iter-2 MERGE
- Non-breaking: operators pointing at .ao/ directly keep working
- v4.0 gates still tracked

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
@github-actions
Copy link
Copy Markdown

📊 Benchmark Scorecard

Scenario Status Duration Cost (USD) Review Score
governed_bugfix ✅ pass 39ms (▲5.4%) $0.0000 —
governed_review ✅ pass 49ms (▲28.9%) $0.0000 — 0.85 (−)

Baseline: 7a11985fbdda476e43ad315b1e018049303a7d99 · HEAD: d21b01c6bffeef5a8d11477a34e75327a95dab63 · PR: #179 · No regressions.

@Halildeu Halildeu merged commit be971d2 into main Apr 20, 2026
9 checks passed
@Halildeu Halildeu deleted the release/v3.13.1 branch April 20, 2026 05:33
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