Skip to content

chore: release v0.14.0#195

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

chore: release v0.14.0#195
avrabe merged 1 commit into
mainfrom
chore/release-v0.14.0

Conversation

@avrabe
Copy link
Copy Markdown
Contributor

@avrabe avrabe commented May 27, 2026

Summary

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

Test plan

  • `cargo check --workspace` clean on 0.14.0
  • All 281 lib + 6 `component_provenance` integration tests pass
  • Pre-commit hooks pass
  • CI green on this PR
  • After merge: tag `v0.14.0` triggers the signed/attested release pipeline (third successful run of the synth-pattern flow)

🤖 Generated with Claude Code

#192 component-provenance custom section (#194) ships as the headline
feature: every defined function in the fused module now carries a
JSON-encoded back-pointer { component_id, originating_func_idx }
in a new Wasm custom section named `component-provenance`. Closes
the cross-repo dependency from pulseengine/scry's DD-002 sound-
abstract-interpreter integration. New LS-M-6 (approved) +
--no-component-provenance opt-out flag.

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

LS-N verification gate

⚠️ 35/37 verified — 2 missing regression tests

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

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
  • LS-M-6

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

@avrabe avrabe merged commit c35f745 into main May 27, 2026
13 of 14 checks passed
@avrabe avrabe deleted the chore/release-v0.14.0 branch May 27, 2026 05:54
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