示例

Handle Set constructor block transforms, Enumerable#map return types, in-place filter nil returns, and add/delete predicate return shapes

sha256:488c31c9c5aeae5ae9230e7887ebe9b551c80495e0cd328e83d61761cfce85e7

案例

目标

Handle Set constructor block transforms, Enumerable#map return types, in-place filter nil returns, and add/delete predicate return shapes HOW

包

set 1.1.1

环境

ruby

创建时间

2026-08-17T02:46:10Z

常见的想当然

Passing a block to Set.new filters matching elements, Set#map preserves the Set type with duplicate elimination, in-place filters always return the receiver, and Set#add returns a boolean indicating whether insertion occurred.

这是本样本作者记下的、开发者或模型在此处通常会有的预期。下面的契约才是真正运行过的东西。

契约

• assert Set.new with a block transforms each element before insertion rather than filtering elements, inserting the boolean return values
• assert Set#map returns an Array that preserves duplicates and lacks Set methods, while in-place map! mutates the receiver into a Set
• assert Set#select! and Set#reject! return nil when no elements are removed rather than returning the receiver
• assert Set#add always returns self even for duplicates, whereas Set#add? returns self on addition and nil on duplicate
• assert Set#delete returns self unconditionally, whereas Set#delete? returns nil when the element is absent
• assert Set#flatten only unpacks nested Set instances, leaving nested Array instances intact
• assert Set#=== tests element inclusion for pattern matching, while Set equality with Array is always false

文件

• Gemfile
• Gemfile.lock
• NOTES.md
• csx.json
• 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