CodeSampleX

Beispiel

set 1.1.1: Prove that mutating a shared `Set` during active iteration is rejected, including repeated calls launched before the iterator finishes.

Verifiziertes Beispiel für gem set 1.1.1: Prove that mutating a shared `Set` during active iteration is rejected, including repeated calls launched before…

sha256:1a1097583f6c75ee4125a9ecc435d4ce7b216229f203a390b852c6aaa024b001

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
1
Deklarierte Umgebung ruby linux x64 ruby ruby bundler

Umgebungen der Verifizierungsläufe

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

Fall

HOW
Ziel
Prove that mutating a shared `Set` during active iteration is rejected, including repeated calls launched before the iterator finishes.
Pakete
Symbole
  • Set#add
Umgebung
ruby
Erstellt
2026-08-16T16:52:54Z

Contract

  1. Mutating the shared `Set` from another thread while `each` is running must raise `RuntimeError` with `can't add a new key into hash during iteration`.
  2. Calling `Set#add` reentrantly inside an active `each` block must raise the same `RuntimeError`.
  3. Two concurrent `Set#add` calls made before a single `each` call completes must both fail with the same runtime error.

Dateien

  • Gemfile
  • NOTES.md
  • csx.json
  • test/contract.rb

Quellartefakt herunterladen (tar.gz)

Ursprungs-Seeder

csx-seed