Skip to content

chore: release v0.13.0#193

Merged
avrabe merged 1 commit into
mainfrom
chore/release-v0.13.0
May 26, 2026
Merged

chore: release v0.13.0#193
avrabe merged 1 commit into
mainfrom
chore/release-v0.13.0

Conversation

@avrabe
Copy link
Copy Markdown
Contributor

@avrabe avrabe commented May 26, 2026

Summary

Cuts v0.13.0. One landed PR since v0.12.0:

Test plan

  • `cargo check --workspace` clean on 0.13.0
  • All 276 `cargo test -p meld-core --lib` pass (includes 5 new LS-R-11 regression tests)
  • CI green on this PR
  • After merge: tag `v0.13.0` triggers `release.yml` (second run of the synth-pattern flow that landed in v0.12.0)

🤖 Generated with Claude Code

LS-R-11 precise stream type-mismatch detection via stream-typed-import
filter (#191) — closes #142 (i) follow-up that was withdrawn from v0.12
after the Mythos delta-pass auto-scan correctly identified a false
positive in the role-list heuristic. Bundled fuzz workflow layer-2
defense (CARGO_BUILD_TARGET) for the second #168 drift mode.

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

LS-N verification gate

⚠️ 35/36 verified — 1 missing regression tests

count
Passed (≥1 test, all green) 35
Failed (≥1 test failure) 0
Missing (no ls_*_NN_* test found) 1

Approved loss-scenarios.yaml entries are expected to have a
regression test named ls_<letter>_<num>_* (e.g. LS-A-11
ls_a_11_*). The gate runs each prefix via cargo test --lib --no-fail-fast and aggregates pass/fail/missing.

Failed LS entries

(none)

Missing regression tests
  • LS-R-13

Updated automatically by tools/post_verification_comment.py.
Source of truth: safety/stpa/loss-scenarios.yaml.

@avrabe avrabe merged commit bba0894 into main May 26, 2026
12 of 14 checks passed
@avrabe avrabe deleted the chore/release-v0.13.0 branch May 26, 2026 21:27
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.

P3 async — static stream validation at build time (#94 sub-B)

1 participant