num-traits 0.2.19: num_traits::One, num_traits::Zero, num_traits::cast

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

[[package]]
name = "autocfg"
version = "1.5.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "f2032f911046de80f0a198e0901378627c33f59ea0ac00e363d481118bd70a53"

[[package]]
name = "num-traits"
version = "0.2.19"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "071dfc062690e90b734c0b2273ce72ad0ffa95f0c74596bc250dcfd960262841"
dependencies = [
 "autocfg",
]

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

[package]
name = "sample-num-traits"
version = "1.0.0"
edition = "2021"
publish = false

[dependencies]
num-traits = "=0.2.19"

[[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/num-traits@0.2.19
Kind: HOW

Use EXACTLY these public packages and versions:
  - pkg:cargo/num-traits@0.2.19
Demonstrate these symbols/APIs:
  - num_traits::One
  - num_traits::Zero
  - num_traits::cast

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:81ecf5a7fff5b595dfe1cb752e0a109d0e7a1b220e36aace5d159663bf0aaed0","contract":["Zero::zero returns additive identity for primitive numeric types","Zero::is_zero checks whether value equals additive identity","One::one returns multiplicative identity for primitive numeric types","One::is_one checks whether value equals multiplicative identity","cast converts between primitive numeric types within range","cast returns None on numeric overflow or out of range conversion"],"goal":"verify pkg:cargo/num-traits@0.2.19","kind":"HOW","packages":["pkg:cargo/num-traits@0.2.19"],"schemaVersion":1,"symbols":["num_traits::One","num_traits::Zero","num_traits::cast"]},"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/num-traits@0.2.19"],"schemaVersion":1,"subject":"pkg:cargo/num-traits@0.2.19","symbols":["num_traits::One","num_traits::Zero","num_traits::cast"],"verifierAdapter":"cargo@1"}

{
  "schemaVersion": 1,
  "goal": "verify pkg:cargo/num-traits@0.2.19",
  "kind": "HOW",
  "packages": [
    "pkg:cargo/num-traits@0.2.19"
  ],
  "symbols": [
    "num_traits::One",
    "num_traits::Zero",
    "num_traits::cast"
  ]
}

//! Clean-room verification sample for num-traits.

pub use num_traits::*;

use num_traits::{cast, One, Zero};

fn main() {
    // 1. Zero::zero returns additive identity for primitive numeric types
    let z_i32: i32 = Zero::zero();
    assert_eq!(z_i32, 0);
    let z_f64: f64 = Zero::zero();
    assert_eq!(z_f64, 0.0);

    // 2. Zero::is_zero checks whether value equals additive identity
    assert!(z_i32.is_zero());
    assert!(!1_i32.is_zero());
    assert!(z_f64.is_zero());
    assert!(!1.5_f64.is_zero());

    // 3. One::one returns multiplicative identity for primitive numeric types
    let o_i32: i32 = One::one();
    assert_eq!(o_i32, 1);
    let o_f64: f64 = One::one();
    assert_eq!(o_f64, 1.0);

    // 4. One::is_one checks whether value equals multiplicative identity
    assert!(o_i32.is_one());
    assert!(!0_i32.is_one());
    assert!(o_f64.is_one());
    assert!(!2.0_f64.is_one());

    // 5. cast converts between primitive numeric types within range
    let cast_val: Option<f64> = cast(42_i32);
    assert_eq!(cast_val, Some(42.0));

    let cast_u8: Option<u8> = cast(255_i32);
    assert_eq!(cast_u8, Some(255_u8));

    // 6. cast returns None on numeric overflow or out of range conversion
    let overflow: Option<u8> = cast(256_i32);
    assert_eq!(overflow, None);

    let neg_to_u8: Option<u8> = cast(-1_i32);
    assert_eq!(neg_to_u8, None);

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