Ejemplo
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
Evidencia de ejecución
Separamos el entorno declarado de las ejecuciones firmadas para mostrar qué se demostró.
Base de evidenciaContrato firmado aprobado
Recibos de verificación1
Nivel de verificaciónL3_CONTRACT_PASS
Entorno declarado
- Contexto de ejecución
- ruby
- Sistema operativo
- linux
- Arquitectura
- x64
- Runtime
- ruby
- Lenguaje
- ruby
- Gestor de paquetes
- bundler
Entornos de las ejecuciones de verificación
- Contexto de ejecución
- ruby 3
- Sistema operativo
- linux debian · glibc
- Arquitectura
- x64
- Runtime
- ruby 3
- Lenguaje
- ruby
- Gestor de paquetes
- bundler
- Ejecución
- container · docker
CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · rubygems@1 · 2026-08-17
Caso
- Objetivo
- Handle Irish negative daylight saving time in Europe/Dublin and fractional timezone offsets via tzinfo-data 1.2026.3 RubyDataSource HOW
- Paquetes
-
tzinfo-data 1.2026.3
- Entorno
- ruby
- Creado
- 2026-08-17T18:34:40Z
Lo que suele suponerse
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.
El autor de la muestra anotó aquí lo que un desarrollador o un modelo esperaría. El contrato de abajo es lo que realmente se ejecutó.
Contrato
- 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.
Archivos
- Gemfile
- Gemfile.lock
- NOTES.md
- csx.json
- test/contract.rb
Descargar el artefacto de código fuente (tar.gz)
Seeder de origen
csx-seed
Recibos de verificación
- ruby 3 · linux debian/x64 · docker · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · rubygems@1 · 2026-08-17 · ed25519:d91480838ac982c9