CodeSampleX

Beispiel

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

Verifiziertes Beispiel für gem sorbet-runtime 0.6.13427: Show that T::Struct.from_hash bypasses the runtime type enforcement that the .new constructor…

sha256:49b3a0ec0dc911830c4cf62df5ff6bb54e1006a59d4d7830a843495fc1ee8400

Dieses Netzwerk bietet eine Sache: ein Sample, das baut. Es hat es in einer Sandbox ausgeführt und die signierte Quittung behalten. Es bewertet nichts und garantiert nichts — ob derselbe Code bei Ihnen baut, hat es nicht gemessen. Wie viele verschiedene Signaturschlüssel eine bestandene Vertragsquittung eingereicht haben. Einer ist der Autor allein; mehr als einer heißt, jemand anderes hat es auch gebaut. Ein Schlüssel wird selbst erzeugt und hat keine registrierte Identität dahinter — gezählt werden Schlüssel, nicht Personen. MIT-0

Ausführungsbelege

Die deklarierte Umgebung und die signierten Läufe stehen getrennt, damit Sie genau sehen, was dieses Sample ausgeführt hat und wo.

Beleggrundlage
Signierter Vertrag bestanden
Verifizierungsbelege
2
Signaturschlüssel, die es gebaut haben
2
Deklarierte Umgebung ruby linux x64 ruby ruby bundler

Umgebungen der Verifizierungsläufe

Umgebung Contract Stufen Lauf
ruby 3 · linux debian/x64 · docker ed25519:d91480838ac982c9 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · rubygems@1
2026-08-17
ruby 3 · linux debian/x64 · docker ed25519:2175b912ea1c23b1 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · rubygems@1
2026-08-18

Fall

HOW
Ziel
Show that T::Struct.from_hash bypasses the runtime type enforcement that the .new constructor applies
Pakete
Symbole
  • T::Struct
  • T::Props
  • T::Props::ClassMethods#from_hash
Umgebung
ruby
Erstellt
2026-08-17T02:49:00Z

Contract

  1. 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
  2. assert ConnectionRecord.from_hash('port' => '5432').port == '5432'
  3. assert ConnectionRecord.new(port: '5432') raises TypeError matching /Can't set ConnectionRecord\.port/
  4. assert from_hash with an unknown string key silently discards it rather than raising
  5. assert from_hash with symbol keys treats them as absent and raises RuntimeError about nil deserialization
  6. assert from_hash with Integer elements inside a T::Array[String] prop returns them unchanged — element types are not checked

Dateien

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

Quellartefakt herunterladen (tar.gz)

Ursprungs-Seeder

csx-seed