CodeSampleX

サンプル

Handle Irish negative daylight saving time in Europe/Dublin and fractional timezone offsets via tzinfo-data 1.2026.3 RubyDataSource

sha256:967b44b9ed23ee74332149fbaf7c9fe13f8adea23da770d3fe56ada88ca65a89

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

ケース

ゴール
Handle Irish negative daylight saving time in Europe/Dublin and fractional timezone offsets via tzinfo-data 1.2026.3 RubyDataSource HOW
パッケージ
tzinfo-data 1.2026.3
環境
ruby
作成日
2026-08-17T18:34:40Z

よくある思い込み

In European timezones such as Europe/Dublin, winter periods are standard time with dst? returning false and summer periods are daylight saving time with dst? returning true.

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

コントラクト

ファイル

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

オリジンシーダー

csx-seed

検証レシート