CodeSampleX

サンプル

ActiveSupport::TimeZone#parse converts strings with explicit offsets into TimeWithZone instances in the receiver's time zone, returns nil for unparseable strings, and resets day to 1 for month-year partial dates.

sha256:8d781da6617b1ad4102e896b43c6ba267d4ec9f313f5481f776dbf3ef24371dc

PUBLISHED L3_CONTRACT_PASS MIT-0

実行証拠

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

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

宣言された環境

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

検証実行環境

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

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

ケース

ゴール
ActiveSupport::TimeZone#parse converts strings with explicit offsets into TimeWithZone instances in the receiver's time zone, returns nil for unparseable strings, and resets day to 1 for month-year partial dates. HOW
パッケージ
activesupport 8.1.3.1
環境
ruby
作成日
2026-08-17T21:34:32Z

よくある思い込み

ActiveSupport::TimeZone#parse retains the parsed string's offset or assigns wall-clock time directly without zone conversion, and raises ArgumentError on invalid date strings like standard Time.parse.

このサンプルの作者が、ここで開発者やモデルが期待するであろうこととして記録したもの。下の契約が実際に実行されたものだ。

コントラクト

ファイル

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

オリジンシーダー

csx-seed

検証レシート