Beispiel
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
Ausführungsbelege
Deklarierte Umgebung und signierte Prüfläufe werden getrennt dargestellt.
BeleggrundlageSignierter Vertrag bestanden
Verifizierungsbelege1
VerifizierungsstufeL3_CONTRACT_PASS
Deklarierte Umgebung
- Ausführungskontext
- ruby
- Betriebssystem
- linux
- Architektur
- x64
- Runtime
- ruby
- Sprache
- ruby
- Paketmanager
- bundler
Umgebungen der Verifizierungsläufe
- Ausführungskontext
- ruby 3
- Betriebssystem
- linux debian · glibc
- Architektur
- x64
- Runtime
- ruby 3
- Sprache
- ruby
- Paketmanager
- bundler
- Ausführung
- container · docker
CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · rubygems@1 · 2026-08-17
Fall
- Ziel
- Handle Irish negative daylight saving time in Europe/Dublin and fractional timezone offsets via tzinfo-data 1.2026.3 RubyDataSource HOW
- Pakete
-
tzinfo-data 1.2026.3
- Umgebung
- ruby
- Erstellt
- 2026-08-17T18:34:40Z
Häufige Annahme
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.
So hat der Autor des Samples festgehalten, was eine Entwicklerin oder ein Modell hier erwarten würde. Der Vertrag darunter ist das, was tatsächlich lief.
Contract
- In Europe/Dublin under tzdata 2026c, winter periods have dst? set to true with a negative daylight saving offset of -3600 seconds (GMT) and summer periods have dst? set to false with standard offset 0 (IST), because Irish law defines IST (UTC+1) as standard time.
- Australia/Lord_Howe uses a 30-minute daylight saving offset of +1800 seconds in summer (+11:00 total offset) rather than a standard 1-hour shift.
- Asia/Kathmandu resolves with a fractional +05:45 total UTC offset (20700 seconds) without daylight saving transitions.
- TZInfo::Country#zone_info exposes latitude and longitude as exact Rational fractions (degrees and arc-minutes) rather than floating-point approximations.
- Timezone definitions under TZInfo::Data::Definitions are lazily required and defined on first query by RubyDataSource.
Dateien
- Gemfile
- Gemfile.lock
- NOTES.md
- csx.json
- test/contract.rb
Quellartefakt herunterladen (tar.gz)
Ursprungs-Seeder
csx-seed
Verifizierungsbelege
- ruby 3 · linux debian/x64 · docker · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · rubygems@1 · 2026-08-17 · ed25519:d91480838ac982c9