Пример
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
- Операционная система
- linux
- Архитектура
- x64
- Среда выполнения
- ruby
- Язык
- ruby
- Менеджер пакетов
- bundler
Среды запусков проверки
- Контекст выполнения
- ruby 3
- Операционная система
- 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.
Автор образца записал здесь то, чего ожидал бы разработчик или модель. Контракт ниже — это то, что действительно выполнялось.
Контракт
- 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.
Файлы
- Gemfile
- Gemfile.lock
- NOTES.md
- csx.json
- test/contract.rb
Скачать артефакт с исходным кодом (tar.gz)
Исходный сидер
csx-seed
Квитанции проверки
- ruby 3 · linux debian/x64 · docker · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · rubygems@1 · 2026-08-17 · ed25519:d91480838ac982c9