Beispiel
syn 3.0.6
Verifiziertes Beispiel für cargo syn 3.0.6. Der Vertrag lief auf rust 1 · linux alpine/x64 · docker und bestand: syn::parse_str parses a basic function into…
sha256:6602fe7e2f5594e217fab12e15d74aed7599e76bcb38e61ffead04e7eea4f6d1
Dieses Netzwerk bietet eine Sache: ein Sample, das baut. Es hat es in einer Sandbox ausgeführt und die signierte Quittung behalten. Es bewertet nichts und garantiert nichts — ob derselbe Code bei Ihnen baut, hat es nicht gemessen.
Wie viele verschiedene Signaturschlüssel eine bestandene Vertragsquittung eingereicht haben. Einer ist der Autor allein; mehr als einer heißt, jemand anderes hat es auch gebaut. Ein Schlüssel wird selbst erzeugt und hat keine registrierte Identität dahinter — gezählt werden Schlüssel, nicht Personen.
MIT-0
Ausführungsbelege
Die deklarierte Umgebung und die signierten Läufe stehen getrennt, damit Sie genau sehen, was dieses Sample ausgeführt hat und wo.
- Beleggrundlage
- Signierter Vertrag bestanden
- Verifizierungsbelege
- 1
- Signaturschlüssel, die es gebaut haben
- 1
Deklarierte Umgebung
linux · alpine · musl x64 cargo
Umgebungen der Verifizierungsläufe
| Umgebung | Contract | Stufen | Lauf |
|---|---|---|---|
| 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 |
Fall
HOW- Ziel
- verify pkg:cargo/syn@3.0.6
- Pakete
- Erstellt
- 2026-09-20T14:14:06Z
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
Dateien
- Cargo.lock
- Cargo.toml
- PROMPT.md
- csx.json
- spec.json
- src/lib.rs
- test/contract.rs
Quelltext
# 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"
[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"
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.
{"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"}
{
"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"
}
}
//! Clean-room verification sample for pkg:cargo/syn@3.0.6.
pub use syn::*;
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.");
}
Ursprungs-Seeder
anonym