Skip to content

chore: release v0.8.1#160

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

chore: release v0.8.1#160
avrabe merged 1 commit into
mainfrom
chore/release-v0.8.1

Conversation

@avrabe
Copy link
Copy Markdown
Contributor

@avrabe avrabe commented May 16, 2026

Summary

Cuts v0.8.1, carrying the post-v0.8.0 Mythos delta-pass sweep on
the 8 Tier-5 files that were unscanned at v0.8.0 cut time (per #151
gate scope).

Ten loss scenarios closed across 6 fix PRs (all merged), every one of
them silent (no host trap, no validator rejection — wrong-by-
construction outputs):

LS PR Area Headline
LS-A-11 #152 segments, merger Extended-const init/offset truncation
LS-A-12/13/14 #153 p3_async Mixed-mode stackful, decode over-count, substring type-class
LS-A-15 #154 merger, resolver HashMap.iter().find non-determinism (3 sites)
LS-A-16 #159 component_wrap Source canonical options dropped for lifts
LS-A-17/18/19 #156 resource_graph, merger (iface, rn) tuple key-matching
LS-A-20 #157 parser flags modeled as Record<N × Bool>

Plus under Added: the Mythos delta-pass CI gate (#151) that made
this sweep observable at PR time, and the stackful async-lift cross-
memory (ptr, len) return path that v0.8.0 had errored out on.

Test plan

  • CI green on this branch (Format / Clippy / Test / Coverage / Bench / Fuzz Smoke / Mythos gate)
  • After merge: tag v0.8.1, push tag, watch release.yml build the 4 platform binaries
  • No --admin bypass needed (advances Smithy fleet reliability — rolling tracker (meld side) #139 "3 consecutive non-admin merges" criterion)

🤖 Generated with Claude Code

Cuts v0.8.1 carrying the post-v0.8.0 Mythos delta-pass sweep on the 8
Tier-5 files unscanned at v0.8.0 cut time (per #151 gate scope).

Ten loss scenarios closed across 6 fix PRs, all of them silent (no
host trap, no validator rejection — wrong-by-construction outputs):

- LS-A-11 (#152) — extended-const init/offset truncation in segments
  and global initializers. Folds (i32.const x)(i32.const y) i32.add
  instead of dropping operands after the first.
- LS-A-12/13/14 (#153) — p3-async detection bugs: mixed-mode stackful
  mis-classification, stream-write over-count silently classified as
  Complete, future<stream<...>> mis-routed to stream_types via
  substring match.
- LS-A-15 (#154) — HashMap.iter().find non-determinism at three sites;
  realloc and resource-rep/-new fallbacks now sort candidate keys.
- LS-A-16 (#159) — wrapper dropped source canonical options for lifts;
  every export silently received the first lift's string encoding.
- LS-A-17/18/19 (#156) — resource_graph definer purge and terminal-
  exporter pass ignored the iface dimension; merger dedup used
  ends_with(rn) where exact match was required (float / bigfloat
  suffix collision).
- LS-A-20 (#157) — flags<N> canonical ABI silently modeled as
  Record<N x Bool>; new ComponentValType::Flags variant with explicit
  arms in every canonical-ABI helper.

Also under Added: the Mythos delta-pass CI gate workflow (#151) that
made this sweep observable at PR time, and the stackful async-lift
cross-memory (ptr, len) return path that v0.8.0 had errored out on.

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
@avrabe avrabe merged commit 67873b4 into main May 16, 2026
10 checks passed
@avrabe avrabe deleted the chore/release-v0.8.1 branch May 16, 2026 15:14
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