version bump, changelog updates

CHANGELOG.md

···
 # Changelog
 
+## [0.8.0] - 2025-10-23
+
+### Breaking Changes
+
+**Error type refactor** (`jacquard-common`, `jacquard-identity`, `jacquard-oauth`, `jacquard`)
+- Better error messages with contextual information and help text
+- Breaking: Error variant names and structures changed across all crates
+
+### Added
+
+**New crate: `jacquard-repo`**
+- AT Protocol repository primitives for working with atproto data structures
+- **MST (Merkle Search Tree)**: Immutable, deterministic tree operations with proper fanout
+  - Optimized block allocation (4.5% oversupply, validated against retr0id's test suite)
+  - Diff operations with protocol limit enforcement
+  - Cursor-based traversal
+- **Commits**:
+  - Proof generation and validation for Sync v1 and v1.1 Relay protocol
+- **CAR I/O**:
+  - Proof CAR validation with MST path verification
+- **Storage**: Pluggable block storage abstraction
+  - `MemoryBlockStore`: In-memory storage for testing
+  - `FileBlockStore`: Persistent file-based storage
+  - `LayeredBlockStore`: Layered read-through cache (memory over file, etc.)
+
+### Changed
+
+- Import cleanup across all crates
+- Dependency updates (upgraded various crypto and serialization dependencies)
+- Documentation improvements throughout
+
 ## [0.7.0] - 2025-10-19
 
 ### Added

Cargo.lock

···
 
 [[package]]
 name = "jacquard"
-version = "0.7.0"
+version = "0.8.0"
 dependencies = [
  "bon",
  "bytes",
···
  "getrandom 0.2.16",
  "http",
  "image",
- "jacquard-api 0.7.1",
- "jacquard-common 0.7.0",
- "jacquard-derive 0.7.0",
- "jacquard-identity 0.7.0",
+ "jacquard-api 0.8.0",
+ "jacquard-common 0.8.0",
+ "jacquard-derive 0.8.0",
+ "jacquard-identity 0.8.0",
  "jacquard-oauth",
  "jose-jwk",
  "miette",
···
 dependencies = [
  "bon",
  "bytes",
- "jacquard-common 0.7.0 (git+https://tangled.org/@nonbinary.computer/jacquard)",
- "jacquard-derive 0.7.0 (git+https://tangled.org/@nonbinary.computer/jacquard)",
+ "jacquard-common 0.7.0",
+ "jacquard-derive 0.7.0",
  "miette",
  "serde",
  "serde_ipld_dagcbor",
···
 
 [[package]]
 name = "jacquard-api"
-version = "0.7.1"
+version = "0.8.0"
 dependencies = [
  "bon",
  "bytes",
- "jacquard-common 0.7.0",
- "jacquard-derive 0.7.0",
+ "jacquard-common 0.8.0",
+ "jacquard-derive 0.8.0",
  "miette",
  "serde",
  "serde_ipld_dagcbor",
···
 
 [[package]]
 name = "jacquard-axum"
-version = "0.6.0"
+version = "0.8.0"
 dependencies = [
  "axum",
  "axum-macros",
···
  "bytes",
  "chrono",
  "jacquard",
- "jacquard-common 0.7.0",
- "jacquard-derive 0.7.0",
- "jacquard-identity 0.7.0",
+ "jacquard-common 0.8.0",
+ "jacquard-derive 0.8.0",
+ "jacquard-identity 0.8.0",
  "k256",
  "miette",
  "multibase",
···
 [[package]]
 name = "jacquard-common"
 version = "0.7.0"
+source = "git+https://tangled.org/@nonbinary.computer/jacquard#ef09feb782cf34eda616c9511fa12e439e1062c6"
 dependencies = [
  "base64 0.22.1",
  "bon",
  "bytes",
  "chrono",
- "ciborium",
  "cid",
- "ed25519-dalek",
- "futures",
- "futures-lite",
- "getrandom 0.2.16",
+ "genawaiter",
  "getrandom 0.3.4",
  "http",
  "ipld-core",
···
  "miette",
  "multibase",
  "multihash",
- "n0-future",
  "ouroboros",
  "p256",
  "rand 0.9.2",
···
  "smol_str",
  "thiserror 2.0.17",
  "tokio",
- "tokio-tungstenite-wasm",
  "tokio-util",
- "tracing",
  "trait-variant",
  "url",
- "zstd",
 ]
 
 [[package]]
 name = "jacquard-common"
-version = "0.7.0"
-source = "git+https://tangled.org/@nonbinary.computer/jacquard#ef09feb782cf34eda616c9511fa12e439e1062c6"
+version = "0.8.0"
 dependencies = [
  "base64 0.22.1",
  "bon",
  "bytes",
  "chrono",
+ "ciborium",
  "cid",
- "genawaiter",
+ "ed25519-dalek",
+ "futures",
+ "futures-lite",
+ "getrandom 0.2.16",
  "getrandom 0.3.4",
  "http",
  "ipld-core",
···
  "miette",
  "multibase",
  "multihash",
+ "n0-future",
  "ouroboros",
  "p256",
  "rand 0.9.2",
···
  "smol_str",
  "thiserror 2.0.17",
  "tokio",
+ "tokio-tungstenite-wasm",
  "tokio-util",
+ "tracing",
  "trait-variant",
  "url",
+ "zstd",
 ]
 
 [[package]]
 name = "jacquard-derive"
 version = "0.7.0"
+source = "git+https://tangled.org/@nonbinary.computer/jacquard#ef09feb782cf34eda616c9511fa12e439e1062c6"
 dependencies = [
- "jacquard-common 0.7.0",
  "proc-macro2",
  "quote",
- "serde",
- "serde_json",
  "syn 2.0.106",
 ]
 
 [[package]]
 name = "jacquard-derive"
-version = "0.7.0"
-source = "git+https://tangled.org/@nonbinary.computer/jacquard#ef09feb782cf34eda616c9511fa12e439e1062c6"
+version = "0.8.0"
 dependencies = [
+ "jacquard-common 0.8.0",
  "proc-macro2",
  "quote",
+ "serde",
+ "serde_json",
  "syn 2.0.106",
 ]
 
 [[package]]
 name = "jacquard-identity"
 version = "0.7.0"
+source = "git+https://tangled.org/@nonbinary.computer/jacquard#ef09feb782cf34eda616c9511fa12e439e1062c6"
 dependencies = [
  "bon",
  "bytes",
- "hickory-resolver",
  "http",
- "jacquard-api 0.7.1",
+ "jacquard-api 0.7.0",
  "jacquard-common 0.7.0",
  "miette",
- "n0-future",
  "percent-encoding",
  "reqwest",
  "serde",
···
  "serde_json",
  "thiserror 2.0.17",
  "tokio",
- "tracing",
  "trait-variant",
  "url",
  "urlencoding",
···
 
 [[package]]
 name = "jacquard-identity"
-version = "0.7.0"
-source = "git+https://tangled.org/@nonbinary.computer/jacquard#ef09feb782cf34eda616c9511fa12e439e1062c6"
+version = "0.8.0"
 dependencies = [
  "bon",
  "bytes",
+ "hickory-resolver",
  "http",
- "jacquard-api 0.7.0",
- "jacquard-common 0.7.0 (git+https://tangled.org/@nonbinary.computer/jacquard)",
+ "jacquard-api 0.8.0",
+ "jacquard-common 0.8.0",
  "miette",
+ "n0-future",
  "percent-encoding",
  "reqwest",
  "serde",
···
  "serde_json",
  "thiserror 2.0.17",
  "tokio",
+ "tracing",
  "trait-variant",
  "url",
  "urlencoding",
···
 
 [[package]]
 name = "jacquard-lexicon"
-version = "0.7.0"
+version = "0.8.0"
 dependencies = [
  "async-trait",
  "clap",
···
  "glob",
  "heck 0.5.0",
  "jacquard-api 0.7.0",
- "jacquard-common 0.7.0 (git+https://tangled.org/@nonbinary.computer/jacquard)",
- "jacquard-identity 0.7.0 (git+https://tangled.org/@nonbinary.computer/jacquard)",
+ "jacquard-common 0.7.0",
+ "jacquard-identity 0.7.0",
  "kdl",
  "miette",
  "prettyplease",
···
 
 [[package]]
 name = "jacquard-oauth"
-version = "0.7.0"
+version = "0.8.0"
 dependencies = [
  "base64 0.22.1",
  "bytes",
···
  "dashmap",
  "elliptic-curve",
  "http",
- "jacquard-common 0.7.0",
- "jacquard-identity 0.7.0",
+ "jacquard-common 0.8.0",
+ "jacquard-identity 0.8.0",
  "jose-jwa",
  "jose-jwk",
  "miette",
···
 
 [[package]]
 name = "jacquard-repo"
-version = "0.7.0"
+version = "0.8.0"
 dependencies = [
  "anyhow",
  "bytes",
···
  "hex",
  "ipld-core",
  "iroh-car",
- "jacquard-common 0.7.0",
- "jacquard-derive 0.7.0",
+ "jacquard-common 0.8.0",
+ "jacquard-derive 0.8.0",
  "k256",
  "miette",
  "multihash",

Cargo.toml

···
 
 [workspace.package]
 edition = "2024"
-version = "0.7.0"
+version = "0.8.0"
 authors = ["Orual <[e-mail]>"]
 #repository = "https://github.com/rsform/jacquard"
 repository = "https://tangled.org/@nonbinary.computer/jacquard"

README.md

···
 
 It is also designed around zero-copy/borrowed deserialization: types like [`Post<'_>`](https://tangled.org/@nonbinary.computer/jacquard/blob/main/crates/jacquard-api/src/app_bsky/feed/post.rs) can borrow data (via the [`CowStr<'_>`](https://docs.rs/jacquard/latest/jacquard/cowstr/enum.CowStr.html) type and a host of other types built on top of it) directly from the response buffer instead of allocating owned copies. Owned versions are themselves mostly inlined or reference-counted pointers and are therefore still quite efficient. The `IntoStatic` trait (which is derivable) makes it easy to get an owned version and avoid worrying about lifetimes.
 
-## 0.7.0 Release Highlights:
+## 0.8.0 Release Highlights:
 
-- **Bluesky-style rich text support**
-  - Parses from supplied text as well as explicit builder
-  - Sanitizes input text
-  - Also handles \[]() Markdown-style links
-  - Optionally pulls out candidates for link/record embedding
-  - Optionally fetches Opengraph link data for external links
-- **Moderation label application**
-  - Generic implementation of atproto moderation/labeling client-side filtering/tagging via traits
-  - Implementations for Bluesky and other types on best-effort basis
-  - Demonstration options for use while avoiding Bluesky namespace or AppView infrastructure
-- **Websocket Subscriber-sent message control traits/code**
-  - Primarily useful for Jetstream or other custom Websocket services
-- Fixed some `Data` value type deserialization issues
+**`jacquard-repo` crate**
+ - Complete implementation of the atproto repository spec
+ - [Sync v1.1](https://github.com/bluesky-social/proposals/blob/main/0006-sync-iteration/README.md#commit-validation-mst-operation-inversion) commit event support (both proof production and verification), well-validated in testing
+ - repository CAR file read/write support
+ - CAR file write order compatible with streaming mode from the [sync iteration proposal](https://github.com/bluesky-social/proposals/blob/main/0006-sync-iteration/README.md#streaming-car-processing)
+ - Big rewrite of all the errors in the crate, improvements to context and overall structure
 
 > [!WARNING]
 > A lot of the streaming code is still pretty experimental. The examples work, though.\
···
 | `jacquard-api` | Autogenerated API bindings | [![Crates.io](https://img.shields.io/crates/v/jacquard-api.svg)](https://crates.io/crates/jacquard-api) [![Documentation](https://docs.rs/jacquard-api/badge.svg)](https://docs.rs/jacquard-api) |
 | `jacquard-oauth` | atproto OAuth implementation | [![Crates.io](https://img.shields.io/crates/v/jacquard-oauth.svg)](https://crates.io/crates/jacquard-oauth) [![Documentation](https://docs.rs/jacquard-oauth/badge.svg)](https://docs.rs/jacquard-oauth) |
 | `jacquard-identity` | Identity resolution | [![Crates.io](https://img.shields.io/crates/v/jacquard-identity.svg)](https://crates.io/crates/jacquard-identity) [![Documentation](https://docs.rs/jacquard-identity/badge.svg)](https://docs.rs/jacquard-identity) |
+| `jacquard-repo` | Repository primitives (MST, commits, CAR I/O) | [![Crates.io](https://img.shields.io/crates/v/jacquard-repo.svg)](https://crates.io/crates/jacquard-repo) [![Documentation](https://docs.rs/jacquard-repo/badge.svg)](https://docs.rs/jacquard-repo) |
 | `jacquard-lexicon` | Lexicon parsing and code generation | [![Crates.io](https://img.shields.io/crates/v/jacquard-lexicon.svg)](https://crates.io/crates/jacquard-lexicon) [![Documentation](https://docs.rs/jacquard-lexicon/badge.svg)](https://docs.rs/jacquard-lexicon) |
 | `jacquard-derive` | Macros for lexicon types | [![Crates.io](https://img.shields.io/crates/v/jacquard-derive.svg)](https://crates.io/crates/jacquard-derive) [![Documentation](https://docs.rs/jacquard-derive/badge.svg)](https://docs.rs/jacquard-derive) |
 

crates/jacquard-api/Cargo.toml

···
 name = "jacquard-api"
 description = "Generated AT Protocol API bindings for Jacquard"
 edition.workspace = true
-version = "0.7.1"
+version = "0.8.0"
 authors.workspace = true
 repository.workspace = true
 keywords.workspace = true
···
 [dependencies]
 bon.workspace = true
 bytes = { workspace = true, features = ["serde"] }
-jacquard-common = { version = "0.7", path = "../jacquard-common" }
-jacquard-derive = { version = "0.7", path = "../jacquard-derive" }
+jacquard-common = { version = "0.8", path = "../jacquard-common" }
+jacquard-derive = { version = "0.8", path = "../jacquard-derive" }
 miette.workspace = true
 serde.workspace = true
 serde_ipld_dagcbor.workspace = true

crates/jacquard-axum/Cargo.toml

···
 [package]
 name = "jacquard-axum"
 edition.workspace = true
-version = "0.6.0"
+version = "0.8.0"
 authors.workspace = true
 repository.workspace = true
 keywords.workspace = true
···
 [dependencies]
 axum = "0.8.6"
 bytes.workspace = true
-jacquard = { version = "0.7", path = "../jacquard", default-features = false, features = ["api"] }
-jacquard-common = { version = "0.7", path = "../jacquard-common", features = ["reqwest-client"] }
-jacquard-derive = { version = "0.7", path = "../jacquard-derive" }
-jacquard-identity = { version = "0.7", path = "../jacquard-identity", optional = true }
+jacquard = { version = "0.8", path = "../jacquard", default-features = false, features = ["api"] }
+jacquard-common = { version = "0.8", path = "../jacquard-common", features = ["reqwest-client"] }
+jacquard-derive = { version = "0.8", path = "../jacquard-derive" }
+jacquard-identity = { version = "0.8", path = "../jacquard-identity", optional = true }
 miette.workspace = true
 multibase = { version = "0.9.1", optional = true }
 serde.workspace = true

crates/jacquard-common/Cargo.toml

···
 name = "jacquard-common"
 description = "Core AT Protocol types and utilities for Jacquard"
 edition.workspace = true
-version = "0.7.0"
+version = "0.8.0"
 authors.workspace = true
 repository.workspace = true
 keywords.workspace = true

crates/jacquard-derive/Cargo.toml

···
 syn.workspace = true
 
 [dev-dependencies]
-jacquard-common = { version = "0.7", path = "../jacquard-common" }
+jacquard-common = { version = "0.8", path = "../jacquard-common" }
 serde.workspace = true
 serde_json.workspace = true

crates/jacquard-identity/Cargo.toml

···
 [package]
 name = "jacquard-identity"
 edition.workspace = true
-version = "0.7.0"
+version = "0.8.0"
 authors.workspace = true
 repository.workspace = true
 keywords.workspace = true
···
 trait-variant.workspace = true
 bon.workspace = true
 bytes.workspace = true
-jacquard-common = { version = "0.7", path = "../jacquard-common", features = ["reqwest-client"] }
-jacquard-api = {  version = "0.7", path = "../jacquard-api", default-features = false, features = ["minimal"] }
+jacquard-common = { version = "0.8", path = "../jacquard-common", features = ["reqwest-client"] }
+jacquard-api = {  version = "0.8", path = "../jacquard-api", default-features = false, features = ["minimal"] }
 percent-encoding.workspace = true
 reqwest.workspace = true
 url.workspace = true

crates/jacquard-lexicon/Cargo.toml

···
 glob = "0.3"
 heck.workspace = true
 #itertools.workspace = true
-jacquard-api = {  version = "0.7", git = "https://tangled.org/@nonbinary.computer/jacquard" }
-jacquard-common = { version = "0.7", features = [ "reqwest-client" ], git = "https://tangled.org/@nonbinary.computer/jacquard" }
-jacquard-identity = { version = "0.7", git = "https://tangled.org/@nonbinary.computer/jacquard" }
+jacquard-api = {  version = "0.8", git = "https://tangled.org/@nonbinary.computer/jacquard" }
+jacquard-common = { version = "0.8", features = [ "reqwest-client" ], git = "https://tangled.org/@nonbinary.computer/jacquard" }
+jacquard-identity = { version = "0.8", git = "https://tangled.org/@nonbinary.computer/jacquard" }
 kdl = "6"
 miette = { workspace = true, features = ["fancy"] }
 prettyplease.workspace = true

crates/jacquard-oauth/Cargo.toml

···
 [package]
 name = "jacquard-oauth"
-version = "0.7.0"
+version = "0.8.0"
 edition.workspace = true
 description = "AT Protocol OAuth 2.1 core types and helpers for Jacquard"
 authors.workspace = true
···
 streaming = ["jacquard-common/streaming", "dep:n0-future"]
 
 [dependencies]
-jacquard-common = { version = "0.7", path = "../jacquard-common", features = ["reqwest-client"] }
-jacquard-identity = { version = "0.7", path = "../jacquard-identity" }
+jacquard-common = { version = "0.8", path = "../jacquard-common", features = ["reqwest-client"] }
+jacquard-identity = { version = "0.8", path = "../jacquard-identity" }
 serde = { workspace = true, features = ["derive"] }
 serde_json = { workspace = true }
 url = { workspace = true }

crates/jacquard-repo/Cargo.toml

···
 
 [dependencies]
 # Internal
-jacquard-common = { path = "../jacquard-common", version = "0.7.0", features = ["crypto-ed25519", "crypto-k256", "crypto-p256"] }
-jacquard-derive = { path = "../jacquard-derive", version = "0.7.0" }
+jacquard-common = { path = "../jacquard-common", version = "0.8.0", features = ["crypto-ed25519", "crypto-k256", "crypto-p256"] }
+jacquard-derive = { path = "../jacquard-derive", version = "0.8.0" }
 
 # Serialization
 serde.workspace = true

crates/jacquard-repo/src/lib.rs

···
 //! This crate provides building blocks for working with AT Protocol repositories:
 //!
 //! - **MST (Merkle Search Tree)**: Immutable tree operations with deterministic structure
-//! - **Commits**: Signed commit structures for Sync v1 (version 2) and v1.1 (version 3)
+//! - **Commits**: Signed commit structures (versions 2 and 3) with signature verification
 //! - **CAR I/O**: Import and export repositories in CAR (Content Addressable aRchive) format
 //! - **Storage**: Pluggable block storage abstraction with in-memory and file-backed implementations
 //!

crates/jacquard-repo/tests/mst_diff_suite.rs

···
     Ok((parsed.root, parsed.blocks))
 }
 
-/// Convert base32 CID string to IpldCid
-fn parse_cid(cid_str: &str) -> anyhow::Result<IpldCid> {
-    Ok(cid_str.parse()?)
-}
-
 /// Convert IpldCid to base32 string (for comparison)
 fn cid_to_string(cid: &IpldCid) -> String {
     cid.to_string()
···
 
     // Replicate create_commit's relevant_blocks logic (from repo.rs:276-290)
     let mut relevant_blocks = BTreeMap::new();
-    let ops_count = diff.creates.len() + diff.updates.len() + diff.deletes.len();
-
     // For each operation, collect blocks along the path in BOTH trees for inductive validation
     for (key, _cid) in &diff.creates {
         mst_b
···
     Subset,    // actual is subset of expected (missing blocks)
     Superset,  // actual is superset of expected (extra blocks)
     Different, // neither subset nor superset
-    NotImplemented,
 }
 
 /// Summary statistics across all tests
···
             Ok(result) => {
                 if let Some(ref info) = result.inductive_proof_nodes_info {
                     if matches!(info.match_status, MatchStatus::Subset) {
-                        let missing: Vec<_> = info.expected.difference(&info.actual).cloned().collect();
+                        let missing: Vec<_> =
+                            info.expected.difference(&info.actual).cloned().collect();
                         missing_block_cases.push((result.test_name, missing));
                     }
                 }

crates/jacquard/Cargo.toml

···
 required-features = ["api_bluesky", "loopback"]
 
 [dependencies]
-jacquard-api = { version = "0.7", path = "../jacquard-api" }
-jacquard-common = { version = "0.7", path = "../jacquard-common", features = [
+jacquard-api = { version = "0.8", path = "../jacquard-api" }
+jacquard-common = { version = "0.8", path = "../jacquard-common", features = [
     "reqwest-client",
 ] }
-jacquard-oauth = { version = "0.7", path = "../jacquard-oauth" }
-jacquard-derive = { version = "0.7", path = "../jacquard-derive", optional = true }
-jacquard-identity = { version = "0.7", path = "../jacquard-identity" }
+jacquard-oauth = { version = "0.8", path = "../jacquard-oauth" }
+jacquard-derive = { version = "0.8", path = "../jacquard-derive", optional = true }
+jacquard-identity = { version = "0.8", path = "../jacquard-identity" }
 
 bon.workspace = true
 trait-variant.workspace = true

crates/jacquard/src/lib.rs

···
 //! - [`jacquard-axum`](https://docs.rs/jacquard-axum/latest/jacquard_axum/index.html) - Server-side XRPC handler extractors for Axum framework (not re-exported, depends on jacquard)
 //! - [`jacquard-oauth`](https://docs.rs/jacquard-oauth/latest/jacquard_oauth/index.html) - OAuth/DPoP flow implementation with session management
 //! - [`jacquard-identity`](https://docs.rs/jacquard-identity/latest/jacquard_identity/index.html) - Identity resolution (handle → DID, DID → Doc, OAuth metadata)
+//! - [`jacquard-repo`](https://docs.rs/jacquard-repo/latest/jacquard_repo/index.html) - Repository primitives (MST, commits, CAR I/O, block storage)
 //! - [`jacquard-lexicon`](https://docs.rs/jacquard-lexicon/latest/jacquard_lexicon/index.html) - Lexicon resolution, fetching, parsing and Rust code generation from schemas
 //! - [`jacquard-derive`](https://docs.rs/jacquard-derive/latest/jacquard_derive/index.html) - Macros (`#[lexicon]`, `#[open_union]`, `#[derive(IntoStatic)]`)
 //!