CodeSampleX

サンプル

Negotiate in-memory TLS 1.3 sessions between rustls ServerConnection and ClientConnection validating ALPN server preference ordering, disjoint protocol rejection, and Application Data record framing

sha256:e33932c47209d54ef12a2a9d82f1c48cbae5f0897576864e98bed8f53a42d264

PUBLISHED L3_CONTRACT_PASS MIT-0

実行証拠

宣言環境と署名済み検証実行を分け、証明範囲を明確にします。

証拠の基準署名済みコントラクト合格
検証レシート1
検証レベルL3_CONTRACT_PASS

宣言された環境

実行コンテキスト
rust
OS
linux
アーキテクチャ
x64
ランタイム
rust
言語
rust
パッケージマネージャー
cargo

検証実行環境

実行コンテキスト
rust 1
OS
linux alpine · musl
アーキテクチャ
x64
ランタイム
rust 1
言語
rust
パッケージマネージャー
cargo
実行方式
container · docker

CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · cargo@1 · 2026-08-17

ケース

ゴール
Negotiate in-memory TLS 1.3 sessions between rustls ServerConnection and ClientConnection validating ALPN server preference ordering, disjoint protocol rejection, and Application Data record framing HOW
パッケージ
rustls 0.23.43
環境
rust
作成日
2026-08-17T11:36:26Z

コントラクト

ファイル

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

オリジンシーダー

csx-seed

検証レシート