chore: release

[github-actions]

🤖 New release

• trame-runtime: 0.1.0 -> 0.2.0 (⚠ API breaking changes)
• trame: 0.1.0 -> 0.2.0 (⚠ API breaking changes)
• trame-solver: 0.1.0
• trame-toy-json: 0.1.0

⚠ trame-runtime breaking changes

--- failure constructible_struct_adds_field: externally-constructible struct adds field ---

Description:
A pub struct constructible with a struct literal has a new pub field. Existing struct literals must be updated to include the new field.
        ref: https://doc.rust-lang.org/reference/expressions/struct-expr.html
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.46.0/src/lints/constructible_struct_adds_field.ron

Failed in:
  field VShapeDef.type_ops in /tmp/.tmpCND9dm/trame/trame-runtime/src/verified/mod.rs:262

--- failure enum_variant_added: enum variant added on exhaustive enum ---

Description:
A publicly-visible enum without #[non_exhaustive] has a new variant.
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#enum-variant-new
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.46.0/src/lints/enum_variant_added.ron

Failed in:
  variant VDef:Pointer in /tmp/.tmpCND9dm/trame/trame-runtime/src/verified/mod.rs:278
  variant VDef:Enum in /tmp/.tmpCND9dm/trame/trame-runtime/src/verified/mod.rs:280
  variant VDef:Option in /tmp/.tmpCND9dm/trame/trame-runtime/src/verified/mod.rs:286
  variant VDef:List in /tmp/.tmpCND9dm/trame/trame-runtime/src/verified/mod.rs:288
  variant VDef:Map in /tmp/.tmpCND9dm/trame/trame-runtime/src/verified/mod.rs:290

--- failure trait_associated_type_added: non-sealed public trait added associated type without default value ---

Description:
A non-sealed trait has gained an associated type without a default value, which breaks downstream implementations of the trait
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#trait-new-item-no-default
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.46.0/src/lints/trait_associated_type_added.ron

Failed in:
  trait associated type trame_runtime::IShape::EnumType in file /tmp/.tmpCND9dm/trame/trame-runtime/src/lib.rs:269
  trait associated type trame_runtime::IShape::PointerType in file /tmp/.tmpCND9dm/trame/trame-runtime/src/lib.rs:272
  trait associated type trame_runtime::IShape::ListType in file /tmp/.tmpCND9dm/trame/trame-runtime/src/lib.rs:275
  trait associated type trame_runtime::IShape::SetType in file /tmp/.tmpCND9dm/trame/trame-runtime/src/lib.rs:278
  trait associated type trame_runtime::IShape::MapType in file /tmp/.tmpCND9dm/trame/trame-runtime/src/lib.rs:281

--- failure trait_method_added: pub trait method added ---

Description:
A non-sealed public trait added a new method without a default implementation, which breaks downstream implementations of the trait
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#trait-new-item-no-default
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.46.0/src/lints/trait_method_added.ron

Failed in:
  trait method trame_runtime::IShape::as_enum in file /tmp/.tmpCND9dm/trame/trame-runtime/src/lib.rs:304
  trait method trame_runtime::IShape::is_pointer in file /tmp/.tmpCND9dm/trame/trame-runtime/src/lib.rs:337
  trait method trame_runtime::IShape::as_pointer in file /tmp/.tmpCND9dm/trame/trame-runtime/src/lib.rs:340
  trait method trame_runtime::IShape::as_list in file /tmp/.tmpCND9dm/trame/trame-runtime/src/lib.rs:348
  trait method trame_runtime::IShape::as_set in file /tmp/.tmpCND9dm/trame/trame-runtime/src/lib.rs:381
  trait method trame_runtime::IShape::as_map in file /tmp/.tmpCND9dm/trame/trame-runtime/src/lib.rs:389
  trait method trame_runtime::IHeap::dealloc_moved in file /tmp/.tmpCND9dm/trame/trame-runtime/src/lib.rs:647
  trait method trame_runtime::IHeap::alloc_repeat in file /tmp/.tmpCND9dm/trame/trame-runtime/src/lib.rs:656
  trait method trame_runtime::IHeap::dealloc_repeat in file /tmp/.tmpCND9dm/trame/trame-runtime/src/lib.rs:662
  trait method trame_runtime::IHeap::dealloc_repeat_moved in file /tmp/.tmpCND9dm/trame/trame-runtime/src/lib.rs:668
  trait method trame_runtime::IHeap::pointer_from_pointee in file /tmp/.tmpCND9dm/trame/trame-runtime/src/lib.rs:724
  trait method trame_runtime::IHeap::select_enum_variant in file /tmp/.tmpCND9dm/trame/trame-runtime/src/lib.rs:787
  trait method trame_runtime::IHeap::list_init_in_place_with_capacity in file /tmp/.tmpCND9dm/trame/trame-runtime/src/lib.rs:801
  trait method trame_runtime::IHeap::list_push_element in file /tmp/.tmpCND9dm/trame/trame-runtime/src/lib.rs:815
  trait method trame_runtime::IHeap::set_init_in_place_with_capacity in file /tmp/.tmpCND9dm/trame/trame-runtime/src/lib.rs:830
  trait method trame_runtime::IHeap::set_insert_element in file /tmp/.tmpCND9dm/trame/trame-runtime/src/lib.rs:844
  trait method trame_runtime::IHeap::map_init_in_place_with_capacity in file /tmp/.tmpCND9dm/trame/trame-runtime/src/lib.rs:859
  trait method trame_runtime::IHeap::map_insert_entry in file /tmp/.tmpCND9dm/trame/trame-runtime/src/lib.rs:874

--- failure unit_struct_changed_kind: unit struct changed kind ---

Description:
A public unit struct has been changed to a normal (curly-braces) struct, which cannot be constructed using the same struct literal syntax.
        ref: https://github.com/rust-lang/cargo/pull/10871
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.46.0/src/lints/unit_struct_changed_kind.ron

Failed in:
  struct LRuntime in /tmp/.tmpCND9dm/trame/trame-runtime/src/live/mod.rs:36

⚠ trame breaking changes

--- failure enum_variant_added: enum variant added on exhaustive enum ---

Description:
A publicly-visible enum without #[non_exhaustive] has a new variant.
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#enum-variant-new
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.46.0/src/lints/enum_variant_added.ron

Failed in:
  variant TrameError:ParseFromStrUnsupported in /tmp/.tmpCND9dm/trame/trame/src/trame/errors.rs:35
  variant TrameError:ParseFromStrFailed in /tmp/.tmpCND9dm/trame/trame/src/trame/errors.rs:37
  variant TrameError:ParseFromBytesUnsupported in /tmp/.tmpCND9dm/trame/trame/src/trame/errors.rs:39
  variant TrameError:ParseFromBytesFailed in /tmp/.tmpCND9dm/trame/trame/src/trame/errors.rs:41

Changelog

trame-runtime

0.2.0 - 2026-02-26

Other

• Split spec into weighted sections and add IR/JIT drafts (#51)
• Add first-class fixed array incremental construction (#50)
• Support unsized smart-pointer payload staging (Arc<[T]>/Box<[T]>/Rc<[T]>) (#48)
• Add map last-wins regressions and VRuntime/fuzz map coverage (#44)
• Add runtime map abstraction and live map operations (#42)
• Implement rope-backed stable staging for lists (#37)
• implement append-stage list construction (#35)
• add list shape metadata and remove verus traces (#34)
• Add enum path support across trame and verified runtime (#32)
• Implement deferred subtree semantics and generic trame-solver runtime integration (#28)
• Retire creusot_rt and bind creusot contracts to live runtime
• Retire Verus path and add Option coverage end-to-end
• Creusot cleanup (#26)
• Add spec for std::alloc::Layout::size() (#14)
• patch up proofs via assume false (#19)
• Generalize LRuntime over executable shapes and enable LRuntime+VShape (#21)
• Switch memcpy API to typed copy descriptors (#18)
• Add Box support and toy JSON Miri coverage (#17)

trame

0.2.0 - 2026-02-26

Other

• Add first-class fixed array incremental construction (#50)
• Add safe parse helpers for string/bytes assignment (#49)
• Support unsized smart-pointer payload staging (Arc<[T]>/Box<[T]>/Rc<[T]>) (#48)
• Add map last-wins regressions and VRuntime/fuzz map coverage (#44)
• Implement map staging lifecycle in Trame (#43)
• Implement rope-backed stable staging for lists (#37)
• implement append-stage list construction (#35)
• Add enum path support across trame and verified runtime (#32)
• Implement deferred subtree semantics and generic trame-solver runtime integration (#28)
• Retire creusot_rt and bind creusot contracts to live runtime
• Retire Verus path and add Option coverage end-to-end
• Fix fuzz harness ownership UB and sync task recipes
• Fix Creusot proofs: hide unsupported type
• Creusot cleanup (#26)
• Add spec for std::alloc::Layout::size() (#14)
• patch up proofs via assume false (#19)
• Generalize LRuntime over executable shapes and enable LRuntime+VShape (#21)
• Switch memcpy API to typed copy descriptors (#18)
• Add Box support and toy JSON Miri coverage (#17)

trame-solver

0.1.0 - 2026-02-26

Other

• Use index-based solver path segments and keep rich diagnostics (#29)
• Implement deferred subtree semantics and generic trame-solver runtime integration (#28)

trame-toy-json

0.1.0 - 2026-02-26

Other

• Add safe parse helpers for string/bytes assignment (#49)
• implement append-stage list construction (#35)
• Use index-based solver path segments and keep rich diagnostics (#29)
• Implement deferred subtree semantics and generic trame-solver runtime integration (#28)
• Retire Verus path and add Option coverage end-to-end
• Add README for trame-toy-json
• Add trame-based toy JSON deserializer (#15)

---

This PR was generated with release-plz.