Anasemble v0.1.0-rc.3: Generic evidence envelopes

Anasemble v0.1.0-rc.3 publishes replayable traces, content-addressed snapshots and diffs, contract versions, and signed verification certificates as versioned crates so downstream reconstructors can check those artefacts independently.

Highlights

• Protocol crates: anasemble-trace, anasemble-semantic, anasemble-contract, and anasemble-verification join anasemble-core, anasemble-evidence, and anasemble-events.
• Independent checking: Trace, snapshot, diff, contract, and report digests can be rebuilt without trusting the stored digest field.
• Fail-closed bounds: Replay denies unmocked side effects, budget exhaustion is a refusal, and proven claims require evidence roots.
• Compatible recovery CLI: Existing fragment files, JSON certificate digests, and the anasemble command remain unchanged beside the new crates.
• Registry packages: The seven protocol crates and the anasemble CLI package publish to crates.io from this tag.

Installation

Add the protocol crates from crates.io, or build the CLI from the signed source tag:

cargo add anasemble-semantic@0.1.0-rc.3
rustup show
cargo fetch --locked
cargo build --release --locked
target/release/anasemble install /opt/anasemble-0.1.0-rc.3

Compatibility and claims

This candidate supports only rows marked Supported in Compatibility. The protocol crates cover generic evidence, traces, snapshots, diffs, contracts, and verification certificates; they do not reconstruct arbitrary software, replace ordinary backups, or prove a cross-backend distributed transaction. Independent reproduction and external security review are optional post-release assurance.

Source code and project-authored assets are available under Apache License 2.0. The licence does not grant trademark rights in the Anasemble name or Semantic Fit identity. See the detailed changelog, security policy, support policy, release artifacts and P4 evidence.