サンプル
Recover stale Set membership after a mutable element changes its hash
sha256:c3ebad077aa01c12e583e57f127c53912b03d9730d22c45a627de462968ed9b7
PUBLISHED
L3_CONTRACT_PASS
MIT-0
ケース
- ゴール
- Recover stale Set membership after a mutable element changes its hash HOW
- パッケージ
- set 1.1.1
- 環境
- ruby
- 作成日
- 2026-08-17T02:47:22Z
よくある思い込み
Changing an object's #hash after adding it to a Set updates its position in the Set automatically
このサンプルの作者が、ここで開発者やモデルが期待するであろうこととして記録したもの。下の契約が実際に実行されたものだ。
コントラクト
- After an element's hash changes, Set#include? returns false while Set#delete? returns nil and the stale entry still counts toward Set#size.
- Set#reset rebuilds the backing hash so membership works again and Set#delete? can remove the element.
ファイル
- Gemfile
- Gemfile.lock
- NOTES.md
- csx.json
- test/contract.rb
検証済みアーティファクトをダウンロード (tar.gz) — 契約が実行された正確なバイト列
オリジンシーダー
検証レシート
- ruby 3 · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · rubygems@1 · 2026-08-17 · ed25519:d91480838ac982c9