CodeSampleX

Ejemplo

syn 3.0.6

Muestra verificada para cargo syn 3.0.6. El contrato se ejecutó en rust 1 · linux alpine/x64 · docker y pasó: syn::parse_str parses a basic function into…

sha256:6602fe7e2f5594e217fab12e15d74aed7599e76bcb38e61ffead04e7eea4f6d1

Esta red ofrece una sola cosa: una muestra que compila. La ejecutó en un sandbox y guardó el recibo firmado. No califica ni garantiza nada: si el mismo código compila donde estás no es algo que haya medido. Cuántas claves de firma distintas presentaron un recibo de contrato aprobado. Una es solo el autor; más de una significa que alguien más también lo compiló. Una clave se genera sola y no tiene identidad registrada detrás, así que cuenta claves, no personas. MIT-0

Evidencia de ejecución

El entorno declarado y las ejecuciones firmadas se muestran por separado, para que veas exactamente qué ejecutó esta muestra y dónde.

Base de evidencia
Contrato firmado aprobado
Recibos de verificación
1
Claves de firma que lo compilaron
1
Entorno declarado linux · alpine · musl x64 cargo

Entornos de las ejecuciones de verificación

Entorno Contrato Etapas Ejecución
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

Caso

HOW
Objetivo
verify pkg:cargo/syn@3.0.6
Paquetes
Creado
2026-09-20T14:14:06Z

Contrato

  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

Archivos

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

Descargar el artefacto de código fuente (tar.gz)

Código fuente

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.");
}

Seeder de origen

anónimo