Skip to content

Commit 2826c2f

Browse files
authored
Merge pull request #307 from pulseengine/release/v0.34.0
release: v0.34.0 — adapter inlining (#304) + multi-memory isolation commitment (#300)
2 parents 397d149 + 13508b5 commit 2826c2f

3 files changed

Lines changed: 37 additions & 2 deletions

File tree

CHANGELOG.md

Lines changed: 35 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,41 @@ All notable changes to this project will be documented in this file.
44

55
## [Unreleased]
66

7+
## [0.34.0] - 2026-06-23
8+
9+
Adapter-inlining + isolation-model release. Honors the previously-dead
10+
`inline_adapters` flag and commits meld to multi-memory structural isolation as
11+
the dissolved-MCU path. The #304 Tier-5 change was clean-room adversarially
12+
verified (SOUND) and passed the PR-time Mythos delta-pass gate (4/4 files NO
13+
FINDINGS). Release plan landed in rivet (SR-42/43/44).
14+
15+
**Falsification:** if meld inlined a *non-identity* adapter (one that transcodes,
16+
converts resources, or runs post-return), the cross-component runtime suites
17+
would mis-execute or trap. They pass — including `golden_e2e` Tier-B behavioural
18+
equivalence on the real wac-composed consumer→provider fixture, where ≥1 identity
19+
adapter is inlined.
20+
21+
### Added
22+
23+
- **#304 — identity-trampoline adapter inlining (SR-42).** When a cross-component
24+
call edge resolves to a pure identity `Direct` adapter (`local.get*; call
25+
target; end` — no transcoding, resource conversion, or post-return), the
26+
caller's import is wired directly to the target instead of through the
27+
forwarding thunk; the dead thunk is left for loom to DCE. No re-index (all
28+
adapter index maps preserved). Fail-safe guard: `Direct && no resource ops &&
29+
callee_post_return.is_none()`. New `FusionStats.adapters_inlined`.
30+
- **Release plan (rivet):** SR-42 [v0.34.0], SR-43 [v0.35.0, opaque-rep drop fix
31+
#305], SR-44 [v0.36.0, enforced requirement→test traceability #303].
32+
33+
### Changed
34+
35+
- **#300 — multi-memory structural isolation committed as the dissolved-MCU
36+
model (ADR-4).** `Auto` is unchanged but now emits a warning when it resolves a
37+
memory strategy on an attested build ("explicit, not auto" for functional
38+
safety). Multi-memory isolation verified to scale to N=3 components.
39+
`#298`/`#299` (shared-memory de-export) reclassified secondary; their
40+
oracle/verdict foundation rides along (inert, sound).
41+
742
## [0.33.0] - 2026-06-17
843

944
Depth-2 nested-string transcoding release: closes the last gap of the #272

Cargo.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ exclude = [
1010
]
1111

1212
[workspace.package]
13-
version = "0.33.0"
13+
version = "0.34.0"
1414
authors = ["PulseEngine <https://github.com/pulseengine>"]
1515
edition = "2024"
1616
license = "Apache-2.0"

safety/requirements/safety-requirements.yaml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1302,7 +1302,7 @@ artifacts:
13021302
unreferenced for loom to DCE; no re-indexing is performed (all adapter
13031303
index maps are preserved). The inline condition is fail-safe: any
13041304
resource ops or any `callee_post_return` keeps the thunk (#304).
1305-
status: implemented
1305+
status: verified
13061306
tags: [optimization, adapter, v0.34.0]
13071307
links:
13081308
- type: tracked-by

0 commit comments

Comments
 (0)