CodeSampleX

Sample

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

Execution evidence

Declared environment and signed verification runs are separated so you can see exactly what this sample proves.

Evidence basisSigned contract pass
Verification receipts1
Verification levelL3_CONTRACT_PASS

Declared environment

Execution context
ruby
Operating system
linux
Architecture
x64
Runtime
ruby
Language
ruby
Package manager
bundler@4.0.18

Verification-run environments

Execution context
ruby 3
Operating system
linux debian · glibc
Architecture
x64
Runtime
ruby 3
Language
ruby
Package manager
bundler@4.0.18
Execution
container · docker

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

Case

Goal
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
Packages
activesupport 8.1.3.1
Environment
ruby
Created
2026-08-17T21:34:32Z

Commonly assumed

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.

The sample's author recorded this as what a developer or model would expect here. The contract below is what actually ran.

Contract

Files

Download the source artifact (tar.gz)

Origin Seeder

csx-seed

Verification receipts