CodeSampleX

サンプル

rand 0.10.2: Use rand 0.10.2 indexed slice sampling with typed weighted errors, bounded sampling, and byte-valued Alphanumeric output

検証済みサンプル — cargo rand 0.10.2: Use rand 0.10.2 indexed slice sampling with typed weighted errors, bounded sampling, and byte-valued Alphanumeric output. rust…

sha256:c6fa4a5c7446994767c9734cd6d5e96121ac9bdeae371e5fb7ffa95f0a42ac83

このネットワークが提供するのは一つだけです。ビルドされるサンプル。サンドボックスで実行し、署名済みの受領証を保管します。等級はつけず、何も保証しません — 同じコードがあなたの環境でビルドされるかは測定していません。 合格した契約受領証を提出した異なる署名鍵の数です。1 なら作者だけ、2 以上なら他の誰かもビルドしています。鍵は自己生成で背後に登録された身元がないため、数えているのは人ではなく鍵です。 MIT-0

実行証拠

宣言された環境と署名済みの実行を分けてあります。このサンプルが何をどこで実行したかをそのまま確認できます。

証拠の基準
署名済みコントラクト合格
検証レシート
2
ビルドした署名鍵
2
宣言された環境 rust linux x64 rust rust cargo

検証実行環境

環境 コントラクト ステージ 実行日
rust 1 · linux alpine/x64 · docker ed25519:d91480838ac982c9 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · cargo@1
2026-08-17
rust 1 · linux alpine/x64 · docker ed25519:2175b912ea1c23b1 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · cargo@1
2026-08-18

ケース

HOW
ゴール
Use rand 0.10.2 indexed slice sampling with typed weighted errors, bounded sampling, and byte-valued Alphanumeric output
パッケージ
シンボル
  • rand::seq::IndexedRandom::choose_weighted
  • rand::seq::IndexedRandom::choose
  • rand::seq::IndexedRandom::sample
  • rand::seq::IndexedRandom::sample_array
  • rand::seq::IndexedMutRandom::choose_weighted_mut
  • rand::seq::SliceRandom::shuffle
  • rand::distr::weighted::Error
  • rand::distr::weighted::WeightedIndex
  • rand::distr::Alphanumeric
  • rand::distr::SampleString
環境
rust
作成日
2026-08-17T01:03:53Z

コントラクト

  1. assert IndexedRandom::choose returns Option while choose_weighted returns Result<&T, WeightError>
  2. assert an empty slice returns None from choose and Err(InvalidInput) from choose_weighted
  3. assert all-zero weights return Err(InsufficientNonZero) while negative and NaN weights return Err(InvalidWeight)
  4. assert IndexedRandom::sample returns distinct references, caps an oversized request at the slice length, and sample_array returns None when the array is too large
  5. assert IndexedMutRandom::choose_weighted_mut returns a mutable selected item and SliceRandom::shuffle preserves the input elements
  6. assert Alphanumeric::sample has item type u8, char conversion builds a String, and SampleString builds the requested-length String directly

ファイル

  • Cargo.lock
  • Cargo.toml
  • NOTES.md
  • csx.json
  • src/lib.rs

ソースアーティファクトをダウンロード (tar.gz)

オリジンシーダー

csx-seed