CodeSampleX

Beispiel

serde_core 1.0.229

Verifiziertes Beispiel für cargo serde_core 1.0.229. Der Vertrag lief auf rust 1 · linux alpine/x64 · docker und bestand: serde_core::de::IntoDeserializer…

sha256:821443a7884b3103416265387e08f17174ad654afc338010a9626e87dc3a8e17

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-14

Fall

HOW
Ziel
verify pkg:cargo/serde_core@1.0.229
Pakete
Erstellt
2026-09-14T20:48:58Z

Contract

  1. serde_core::de::IntoDeserializer deserializes primitive integer values
  2. serde_core::de::value::BorrowedStrDeserializer and boolean IntoDeserializer deserialize basic types
  3. serde_core::de::value::SeqDeserializer drives custom Visitor sequence deserialization into a struct

Dateien

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

Quellartefakt herunterladen (tar.gz)

Quelltext

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-serde-core"
version = "1.0.0"
dependencies = [
 "serde_core",
]

[[package]]
name = "serde_core"
version = "1.0.229"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "67dca2c9c51e58a4791a4b1ed58308b39c64224d349a935ab5039aa360942a48"
dependencies = [
 "serde_derive",
]

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

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

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

[dependencies]
serde_core = "=1.0.229"

[[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/serde_core@1.0.229
Kind: HOW

Use EXACTLY these public packages and versions:
  - pkg:cargo/serde_core@1.0.229

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:aadd7e9bc9cc2424c264d12faa24862c26c05afcb79a8ad0092bd818739f614c","contract":["serde_core::de::IntoDeserializer deserializes primitive integer values","serde_core::de::value::BorrowedStrDeserializer and boolean IntoDeserializer deserialize basic types","serde_core::de::value::SeqDeserializer drives custom Visitor sequence deserialization into a struct"],"goal":"verify pkg:cargo/serde_core@1.0.229","kind":"HOW","packages":["pkg:cargo/serde_core@1.0.229"],"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/serde_core@1.0.229"],"schemaVersion":1,"subject":"pkg:cargo/serde_core@1.0.229","verifierAdapter":"cargo@1"}
spec.json
{
  "schemaVersion": 1,
  "goal": "verify pkg:cargo/serde_core@1.0.229",
  "kind": "HOW",
  "packages": [
    "pkg:cargo/serde_core@1.0.229"
  ]
}
src/lib.rs
//! Clean-room verification sample for serde_core.

pub use serde_core::*;
test/contract.rs
use serde_core::de::value::{BorrowedStrDeserializer, Error as ValueError, SeqDeserializer};
use serde_core::de::{self, Deserialize, IntoDeserializer};
use serde_core::ser::{Serialize, Serializer};

#[derive(Debug, PartialEq)]
struct Point {
    x: i32,
    y: i32,
}

impl Serialize for Point {
    fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
    where
        S: Serializer,
    {
        use serde_core::ser::SerializeTuple;
        let mut tuple = serializer.serialize_tuple(2)?;
        tuple.serialize_element(&self.x)?;
        tuple.serialize_element(&self.y)?;
        tuple.end()
    }
}

impl<'de> Deserialize<'de> for Point {
    fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>
    where
        D: de::Deserializer<'de>,
    {
        struct PointVisitor;

        impl<'de> de::Visitor<'de> for PointVisitor {
            type Value = Point;

            fn expecting(&self, formatter: &mut core::fmt::Formatter) -> core::fmt::Result {
                formatter.write_str("a tuple of two i32 values")
            }

            fn visit_seq<A>(self, mut seq: A) -> Result<Point, A::Error>
            where
                A: de::SeqAccess<'de>,
            {
                let x = seq
                    .next_element()?
                    .ok_or_else(|| de::Error::invalid_length(0, &self))?;
                let y = seq
                    .next_element()?
                    .ok_or_else(|| de::Error::invalid_length(1, &self))?;
                Ok(Point { x, y })
            }
        }

        deserializer.deserialize_tuple(2, PointVisitor)
    }
}

fn main() {
    // 1. Primitive integer types deserialize from into_deserializer
    let int_val: Result<i64, ValueError> = i64::deserialize(123456789i64.into_deserializer());
    assert_eq!(int_val.expect("deserialize i64"), 123456789i64);

    let u32_val: Result<u32, ValueError> = u32::deserialize(999u32.into_deserializer());
    assert_eq!(u32_val.expect("deserialize u32"), 999u32);

    // 2. String slices and booleans deserialize using serde_core deserializers
    let str_deserializer = BorrowedStrDeserializer::<ValueError>::new("serde_core");
    let str_val: Result<&str, ValueError> = <&str>::deserialize(str_deserializer);
    assert_eq!(str_val.expect("deserialize str"), "serde_core");

    let bool_val: Result<bool, ValueError> = bool::deserialize(true.into_deserializer());
    assert!(bool_val.expect("deserialize bool"));

    // 3. Sequential deserializer drives custom visitor sequence consumption
    let elements = vec![10i32, 20i32];
    let seq_deserializer: SeqDeserializer<_, ValueError> = SeqDeserializer::new(elements.into_iter());
    let point = Point::deserialize(seq_deserializer).expect("deserialize Point");
    assert_eq!(point, Point { x: 10, y: 20 });

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

Ursprungs-Seeder

anonym