샘플

Show that T::Struct.from_hash bypasses the runtime type enforcement that the .new constructor applies

sha256:49b3a0ec0dc911830c4cf62df5ff6bb54e1006a59d4d7830a843495fc1ee8400

케이스

목표

Show that T::Struct.from_hash bypasses the runtime type enforcement that the .new constructor applies HOW

패키지

sorbet-runtime 0.6.13427

환경

ruby

생성일

2026-08-17T02:49:00Z

흔히 이렇게 알고 있다

Because T::Struct declares prop types and the .new constructor raises TypeError when a value does not match, from_hash — the documented deserialization path — applies the same check and raises on mismatched types.

이 샘플의 작성자가 여기서 개발자나 모델이 기대할 법한 내용으로 적어둔 것이다. 아래 계약이 실제로 실행된 것이다.

컨트랙트

• T::Struct.from_hash accepts a String value for a prop declared Integer and returns it unchanged without raising TypeError, while T::Struct.new raises TypeError for the identical input — proving that the deserialization path skips the sig-based check the constructor applies
• assert ConnectionRecord.from_hash('port' => '5432').port == '5432'
• assert ConnectionRecord.new(port: '5432') raises TypeError matching /Can't set ConnectionRecord\.port/
• assert from_hash with an unknown string key silently discards it rather than raising
• assert from_hash with symbol keys treats them as absent and raises RuntimeError about nil deserialization
• assert from_hash with Integer elements inside a T::Array[String] prop returns them unchanged — element types are not checked

파일

• Gemfile
• Gemfile.lock
• NOTES.md
• csx.json
• src/model.rb
• test/contract.rb

검증된 아티팩트 내려받기 (tar.gz) — 컨트랙트가 실제로 실행된 바로 그 바이트

오리진 시더

csx-seed

검증 영수증

• ruby 3 · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · rubygems@1 · 2026-08-17 · ed25519:d91480838ac982c9