CodeSampleX

샘플

syn 3.0.6

검증된 샘플 — cargo syn 3.0.6. rust 1 · linux alpine/x64 · docker에서 contract를 실행해 통과했습니다: syn::parse_str parses a basic function into syn::ItemFn with ident and…

sha256:6602fe7e2f5594e217fab12e15d74aed7599e76bcb38e61ffead04e7eea4f6d1

이 네트워크가 제공하는 것은 하나입니다. 빌드되는 샘플. 샌드박스에서 돌리고 서명된 영수증을 보관합니다. 등급을 매기지 않고 무엇도 보증하지 않습니다 — 같은 코드가 당신 환경에서 빌드되는지는 측정한 적이 없습니다. 통과한 계약 영수증을 낸 서로 다른 서명 키의 수입니다. 하나면 작성자 혼자이고, 둘 이상이면 다른 사람도 빌드했다는 뜻입니다. 키는 스스로 만드는 것이고 뒤에 등록된 신원이 없으므로, 세는 것은 사람이 아니라 키입니다. MIT-0

실행 증거

선언된 환경과 서명된 실행을 분리해 두었습니다. 이 샘플이 무엇을 어디서 실행했는지 그대로 볼 수 있습니다.

증거 기준
서명된 컨트랙트 통과
검증 영수증
1
빌드한 서명 키
1
선언된 환경 linux · alpine · musl x64 cargo

검증 실행 환경

환경 컨트랙트 단계 실행일
rust 1 · linux alpine/x64 · docker ed25519:c1973797be207ac4 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · cargo@1rust:1-alpine@sha256:a10e64dd139b…
2026-09-20

케이스

HOW
목표
verify pkg:cargo/syn@3.0.6
패키지
생성일
2026-09-20T14:14:06Z

컨트랙트

  1. syn::parse_str parses a basic function into syn::ItemFn with ident and return type
  2. syn::parse_str parses a struct definition into syn::DeriveInput with Data::Struct
  3. syn::parse_str parses a method call into syn::ExprMethodCall with receiver and method ident
  4. syn::parse_str parses a type into syn::Type::Path with segment ident
  5. syn::parse_file parses source code into syn::File with items
  6. syn::parse_str returns an error when Rust syntax is invalid

파일

  • Cargo.lock
  • Cargo.toml
  • PROMPT.md
  • csx.json
  • spec.json
  • src/lib.rs
  • test/contract.rs

소스 아티팩트 내려받기 (tar.gz)

소스

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

[[package]]
name = "proc-macro2"
version = "1.0.107"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "985e7ec9bb745e6ce6535b544d84d6cd6f7ad8bd711c398938ae983b91a766d9"
dependencies = [
 "unicode-ident",
]

[[package]]
name = "quote"
version = "1.0.47"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "1fbf4db142a473a8d80c26bbf18454ed458bf8d26c8219c331daecfdbd079001"
dependencies = [
 "proc-macro2",
]

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

[[package]]
name = "syn"
version = "3.0.6"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8593e8e72159ed2257d083c7a454a85cbf854f37a0966d8d483aff8c8a3ebcee"
dependencies = [
 "proc-macro2",
 "quote",
 "unicode-ident",
]

[[package]]
name = "unicode-ident"
version = "1.0.26"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "d245f478577f809a851594d02313b640fb437e0bb33866753cff937863096954"
Cargo.toml
[package]
name = "sample-syn"
version = "1.0.0"
edition = "2021"
publish = false

[dependencies]
syn = { version = "=3.0.6", features = ["full", "extra-traits"] }

[[bin]]
name = "contract"
path = "test/contract.rs"
PROMPT.md
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/syn@3.0.6
Kind: HOW

Use EXACTLY these public packages and versions:
  - pkg:cargo/syn@3.0.6
Required runtime conditions:
  - ecosystem: golang
  - language: go
  - packageManager: go@1.26.6
  - runtime: go@1.26.6

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.
csx.json
{"case":{"caseId":"case:sha256:99ab8b2406b414858e6c8de0353b9e9e92fc4e7d254dd07d1f73e94b777f20c0","contract":["syn::parse_str parses a basic function into syn::ItemFn with ident and return type","syn::parse_str parses a struct definition into syn::DeriveInput with Data::Struct","syn::parse_str parses a method call into syn::ExprMethodCall with receiver and method ident","syn::parse_str parses a type into syn::Type::Path with segment ident","syn::parse_file parses source code into syn::File with items","syn::parse_str returns an error when Rust syntax is invalid"],"goal":"verify pkg:cargo/syn@3.0.6","kind":"HOW","packages":["pkg:cargo/syn@3.0.6"],"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/syn@3.0.6"],"schemaVersion":1,"subject":"pkg:cargo/syn@3.0.6","verifierAdapter":"cargo@1"}
spec.json
{
  "schemaVersion": 1,
  "goal": "verify pkg:cargo/syn@3.0.6",
  "kind": "HOW",
  "packages": [
    "pkg:cargo/syn@3.0.6"
  ],
  "runtimeConditions": {
    "ecosystem": "golang",
    "language": "go",
    "packageManager": "go@1.26.6",
    "runtime": "go@1.26.6"
  }
}
src/lib.rs
//! Clean-room verification sample for pkg:cargo/syn@3.0.6.

pub use syn::*;
test/contract.rs
use syn::{parse_file, parse_str, Data, DeriveInput, Expr, File, Item, ItemFn, ReturnType, Type};

fn main() {
    // 1. syn::parse_str parses a basic function into syn::ItemFn with ident and return type
    let item: ItemFn = parse_str("fn compute() -> u32 { 42 }").expect("failed to parse ItemFn");
    assert_eq!(item.sig.ident.to_string(), "compute");
    match item.sig.output {
        ReturnType::Type(_, ref ty) => match **ty {
            Type::Path(ref tp) => {
                assert_eq!(tp.path.segments[0].ident.to_string(), "u32");
            }
            _ => panic!("expected Type::Path for return type"),
        },
        _ => panic!("expected ReturnType::Type"),
    }

    // 2. syn::parse_str parses a struct definition into syn::DeriveInput with Data::Struct
    let input: DeriveInput =
        parse_str("pub struct Config { pub port: u16, pub host: String }")
            .expect("failed to parse DeriveInput");
    assert_eq!(input.ident.to_string(), "Config");
    match input.data {
        Data::Struct(ref s) => {
            assert_eq!(s.fields.len(), 2);
        }
        _ => panic!("expected Data::Struct"),
    }

    // 3. syn::parse_str parses a method call into syn::ExprMethodCall with receiver and method ident
    let expr: Expr = parse_str("service.start()").expect("failed to parse ExprMethodCall");
    match expr {
        Expr::MethodCall(ref call) => {
            assert_eq!(call.method.to_string(), "start");
            assert!(call.args.is_empty());
        }
        _ => panic!("expected Expr::MethodCall"),
    }

    // 4. syn::parse_str parses a type into syn::Type::Path with segment ident
    let ty: Type = parse_str("Option<String>").expect("failed to parse Type");
    match ty {
        Type::Path(ref tp) => {
            assert_eq!(tp.path.segments[0].ident.to_string(), "Option");
        }
        _ => panic!("expected Type::Path"),
    }

    // 5. syn::parse_file parses source code into syn::File with items
    let file: File = parse_file("fn alpha() {} fn beta() {}").expect("failed to parse File");
    assert_eq!(file.items.len(), 2);
    match (&file.items[0], &file.items[1]) {
        (Item::Fn(f1), Item::Fn(f2)) => {
            assert_eq!(f1.sig.ident.to_string(), "alpha");
            assert_eq!(f2.sig.ident.to_string(), "beta");
        }
        _ => panic!("expected Item::Fn"),
    }

    // 6. syn::parse_str returns an error when Rust syntax is invalid
    let invalid = parse_str::<Expr>("fn invalid syntax +++");
    assert!(invalid.is_err(), "expected error for invalid syntax");

    println!("All pkg:cargo/syn@3.0.6 contract assertions passed successfully.");
}

오리진 시더

익명