CodeSampleX

サンプル

sorbet-runtime enforces runtime type contracts on method parameters, splat args, keyword args, and return types, while methods declared with void return T::Private::Types::Void::VOID

sha256:f6d3f52b7021574a292722deefc568c1687dbefd06dc599af876c204036282f6

PUBLISHED L3_CONTRACT_PASS MIT-0

実行証拠

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

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

宣言された環境

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

検証実行環境

実行コンテキスト
ruby 3
OS
linux debian · glibc
アーキテクチャ
x64
ランタイム
ruby 3
言語
ruby
パッケージマネージャー
bundler
実行方式
container · docker

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

ケース

ゴール
sorbet-runtime enforces runtime type contracts on method parameters, splat args, keyword args, and return types, while methods declared with void return T::Private::Types::Void::VOID HOW
パッケージ
sorbet-runtime 0.6.13427
環境
ruby
作成日
2026-08-17T12:22:12Z

コントラクト

ファイル

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

オリジンシーダー

csx-seed

検証レシート