CodeSampleX

Sample

In Minitest 6.0.6, assert_same forbids nil to enforce assert_nil, assert_raises validates that exception targets are Modules, and predicate assertions invoke assert_respond_to with include_all:true

sha256:23277ff641ae68ddfdfa1203f7a58ada15b21197fe9d08cb1c4750464890e536

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

Verification-run environments

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

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

Case

Goal
In Minitest 6.0.6, assert_same forbids nil to enforce assert_nil, assert_raises validates that exception targets are Modules, and predicate assertions invoke assert_respond_to with include_all:true HOW
Packages
minitest 6.0.6
Environment
ruby
Created
2026-08-17T18:03:47Z

Commonly assumed

Calling assert_same with nil compares identity using equal? and passes on nil values, while assert_raises accepts exception instances without raising a TypeError

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