yoke 0.8.3

# This file is automatically @generated by Cargo.
# It is not intended for manual editing.
version = 4

[[package]]
name = "sample-yoke"
version = "1.0.0"
dependencies = [
 "yoke",
]

[[package]]
name = "stable_deref_trait"
version = "1.2.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "6ce2be8dc25455e1f91df71bfa12ad37d7af1092ae736f3a6cd0e37bc7810596"

[[package]]
name = "yoke"
version = "0.8.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "709fe23a0424b6a435d82152b1bd3fdfb0833487d5fa90d05d42762a9891fef5"
dependencies = [
 "stable_deref_trait",
 "zerofrom",
]

[[package]]
name = "zerofrom"
version = "0.1.8"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "0ec05a11813ea801ff6d75110ad09cd0824ddba17dfe17128ea0d5f68e6c5272"

[package]
name = "sample-yoke"
version = "1.0.0"
edition = "2021"
publish = false

[dependencies]
yoke = "=0.8.3"

[[bin]]
name = "contract"
path = "test/contract.rs"

Clean-room public code sample — generation instructions

Write a brand-new, minimal, self-contained code sample in this clean-room directory.
Do not copy, paraphrase, or reference any existing project source. Work only from this spec.

A csx.json manifest scaffold already exists. Do not recreate it from memory. Preserve its case.goal, packages and symbols; fill its empty case.contract with exact assertions and correct its environment, commands and verifierAdapter for the files you generate.

Goal: verify pkg:cargo/yoke@0.8.3
Kind: HOW

Use EXACTLY these public packages and versions:
  - pkg:cargo/yoke@0.8.3

Rules:
  - One focused purpose; the smallest project that proves the goal.
  - Include a contract test (test/contract.*) that runs OFFLINE and exits 0 exactly when the goal behavior works.
  - Pin every dependency with a lockfile so resolution is reproducible.
  - No secrets, credentials, or tokens. No real URLs (only example.com or localhost). No absolute paths.
  - No personal names, emails, company names, or project identifiers of any kind.
  - No binaries and no generated output (node_modules, dist, target, venv, .git, .env).
  - Keep it under 200 files and 256KB packed.

{"case":{"caseId":"case:sha256:8fddd6b511c50bfbeea5cab336a8867a9a96c4df7ddf8417e5f0930e5039e0fe","contract":["Yoke::attach_to_cart binds a borrowed str slice to an owned Rc backing cart","Yoke::try_attach_to_cart supports fallible construction from a cart returning Result","Yoke::new_always_owned wraps static data without heap allocation","Yoke::map_project projects yoke data to derived borrowed structure","Yoke::into_backing_cart recovers ownership of the underlying cart","Yoke supports byte slices borrowing from owned Vec backing cart"],"goal":"verify pkg:cargo/yoke@0.8.3","kind":"HOW","packages":["pkg:cargo/yoke@0.8.3"],"schemaVersion":1},"contractCommand":["cargo","run","--offline"],"environment":{"arch":"x64","distro":"alpine","ecosystem":"cargo","libc":"musl","os":"linux","packageManager":"cargo","schemaVersion":1},"license":"MIT-0","packages":["pkg:cargo/yoke@0.8.3"],"schemaVersion":1,"subject":"pkg:cargo/yoke@0.8.3","verifierAdapter":"cargo@1"}

{
  "schemaVersion": 1,
  "goal": "verify pkg:cargo/yoke@0.8.3",
  "kind": "HOW",
  "packages": [
    "pkg:cargo/yoke@0.8.3"
  ]
}

//! Clean-room verification sample for yoke.

pub use yoke::*;

use std::rc::Rc;
use std::sync::Arc;
use yoke::Yoke;

fn main() {
    // 1. Yoke::attach_to_cart binds a borrowed str slice to an owned Rc backing cart
    let buffer: Rc<str> = Rc::from("hello yoke zero-copy world");
    let yoke: Yoke<&str, Rc<str>> = Yoke::attach_to_cart(buffer.clone(), |s| &s[6..10]);
    assert_eq!(*yoke.get(), "yoke");
    assert_eq!(&**yoke.backing_cart(), "hello yoke zero-copy world");

    // 2. Yoke::try_attach_to_cart supports fallible construction from a cart returning Result
    let yoke_ok: Result<Yoke<&str, Rc<str>>, &'static str> =
        Yoke::try_attach_to_cart(buffer.clone(), |s| {
            s.get(6..10).ok_or("slice out of bounds")
        });
    assert!(yoke_ok.is_ok());
    assert_eq!(*yoke_ok.unwrap().get(), "yoke");

    let yoke_err: Result<Yoke<&str, Rc<str>>, &'static str> =
        Yoke::try_attach_to_cart(buffer, |s| {
            s.get(100..200).ok_or("slice out of bounds")
        });
    assert!(yoke_err.is_err());

    // 3. Yoke::new_always_owned wraps static data without heap allocation
    let static_yoke: Yoke<&'static str, ()> = Yoke::new_always_owned("static data");
    assert_eq!(*static_yoke.get(), "static data");

    // 4. Yoke::map_project projects yoke data to derived borrowed structure
    let buffer_arc: Arc<str> = Arc::from("apple:banana:cherry");
    let arc_yoke: Yoke<&str, Arc<str>> = Yoke::attach_to_cart(buffer_arc, |s| &s[..]);
    let projected: Yoke<&str, Arc<str>> = arc_yoke.map_project(|s, _| {
        let first_colon = s.find(':').unwrap_or(s.len());
        &s[..first_colon]
    });
    assert_eq!(*projected.get(), "apple");

    // 5. Yoke::into_backing_cart recovers ownership of the underlying cart
    let owner: Box<str> = Box::from("reusable memory buffer");
    let yoke_box: Yoke<&str, Box<str>> = Yoke::attach_to_cart(owner, |s| &s[0..8]);
    assert_eq!(*yoke_box.get(), "reusable");
    let recovered_cart: Box<str> = yoke_box.into_backing_cart();
    assert_eq!(&*recovered_cart, "reusable memory buffer");

    // 6. Yoke supports byte slices borrowing from owned Vec backing cart
    let byte_vec = vec![10u8, 20u8, 30u8, 40u8];
    let yoke_bytes: Yoke<&[u8], Vec<u8>> = Yoke::attach_to_cart(byte_vec, |v| &v[1..3]);
    assert_eq!(yoke_bytes.get(), &[20u8, 30u8]);

    println!("All yoke contract assertions passed successfully.");
}