sync_wrapper 1.0.2

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

[[package]]
name = "sample-sync-wrapper"
version = "1.0.0"
dependencies = [
 "sync_wrapper",
]

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

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

[dependencies]
sync_wrapper = "=1.0.2"

[[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/sync_wrapper@1.0.2
Kind: HOW

Use EXACTLY these public packages and versions:
  - pkg:cargo/sync_wrapper@1.0.2

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:74bb7695fc75a8f64e53e1ba8a6dcdd9358d63848914a0b17c7f71dfe9455290","contract":["SyncWrapper wraps a non-Sync value and implements Sync","SyncWrapper get_mut grants exclusive mutable access to the wrapped value","SyncWrapper into_inner unwraps and returns ownership of the inner value","SyncWrapper implements Default and From conversion traits","SyncWrapper get_pin_mut yields a pinned mutable reference to the inner value","SyncFuture wraps a future to implement Sync and returns the output upon polling"],"goal":"verify pkg:cargo/sync_wrapper@1.0.2","kind":"HOW","packages":["pkg:cargo/sync_wrapper@1.0.2"],"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/sync_wrapper@1.0.2"],"schemaVersion":1,"subject":"pkg:cargo/sync_wrapper@1.0.2","verifierAdapter":"cargo@1"}

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

//! Clean-room verification sample for sync_wrapper.

pub use sync_wrapper::*;

use std::cell::Cell;
use std::future::Future;
use std::pin::Pin;
use std::task::{Context, Poll, RawWaker, RawWakerVTable, Waker};
use sync_wrapper::{SyncFuture, SyncWrapper};

fn assert_sync<T: Sync>() {}

fn noop_waker() -> Waker {
    const VTABLE: RawWakerVTable = RawWakerVTable::new(
        |_| RawWaker::new(std::ptr::null(), &VTABLE),
        |_| {},
        |_| {},
        |_| {},
    );
    unsafe { Waker::from_raw(RawWaker::new(std::ptr::null(), &VTABLE)) }
}

struct ReadyFuture(i32);

impl Future for ReadyFuture {
    type Output = i32;
    fn poll(self: Pin<&mut Self>, _cx: &mut Context<'_>) -> Poll<Self::Output> {
        Poll::Ready(self.0)
    }
}

fn main() {
    // 1. SyncWrapper wraps a non-Sync value and implements Sync
    assert_sync::<SyncWrapper<Cell<i32>>>();
    let wrapper = SyncWrapper::new(Cell::new(42));
    assert_eq!(format!("{:?}", wrapper), "SyncWrapper");

    // 2. SyncWrapper get_mut grants exclusive mutable access to the wrapped value
    let mut num_wrapper = SyncWrapper::new(10);
    *num_wrapper.get_mut() += 25;
    assert_eq!(*num_wrapper.get_mut(), 35);

    // 3. SyncWrapper into_inner unwraps and returns ownership of the inner value
    let extracted = num_wrapper.into_inner();
    assert_eq!(extracted, 35);

    // 4. SyncWrapper implements Default and From conversion traits
    let def_wrapper: SyncWrapper<i32> = SyncWrapper::default();
    assert_eq!(def_wrapper.into_inner(), 0);
    let from_wrapper: SyncWrapper<String> = SyncWrapper::from(String::from("hello"));
    assert_eq!(from_wrapper.into_inner(), "hello");

    // 5. SyncWrapper get_pin_mut yields a pinned mutable reference to the inner value
    let mut pin_target = SyncWrapper::new(100);
    let mut pinned = Pin::new(&mut pin_target);
    *pinned.as_mut().get_pin_mut() = 200;
    assert_eq!(pin_target.into_inner(), 200);

    // 6. SyncFuture wraps a future to implement Sync and returns the output upon polling
    assert_sync::<SyncFuture<ReadyFuture>>();
    let mut sync_fut = SyncFuture::new(ReadyFuture(777));
    assert_eq!(format!("{:?}", sync_fut), "SyncFuture");
    let waker = noop_waker();
    let mut cx = Context::from_waker(&waker);
    let poll_result = Pin::new(&mut sync_fut).poll(&mut cx);
    assert_eq!(poll_result, Poll::Ready(777));

    let fut_for_unwrap = SyncFuture::new(ReadyFuture(888));
    let inner_fut = fut_for_unwrap.into_inner();
    assert_eq!(inner_fut.0, 888);

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