Sample
Handle Abbrev prefix collisions from duplicate words, string versus regexp pattern filtering, and symbol array key mismatches without silent abbreviation loss or type errors
sha256:0fea21bf24bc525e3315724e790103706e8cc6f62c11aca8302241a23a8d4ae5
PUBLISHED
L3_CONTRACT_PASS
MIT-0
Execution evidence
Declared environment and signed verification runs are separated so you can see exactly what this sample proves.
Evidence basisSigned contract pass
Verification receipts1
Verification levelL3_CONTRACT_PASS
Declared environment
- Execution context
- ruby
- Operating system
- linux
- Architecture
- x64
- Runtime
- ruby
- Language
- ruby
- Package manager
- bundler
Verification-run environments
- Execution context
- ruby 3
- Operating system
- linux debian · glibc
- Architecture
- x64
- Runtime
- ruby 3
- Language
- ruby
- Package manager
- bundler
- Execution
- container · docker
CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · rubygems@1 · 2026-08-17
Case
- Goal
- Handle Abbrev prefix collisions from duplicate words, string versus regexp pattern filtering, and symbol array key mismatches without silent abbreviation loss or type errors HOW
- Packages
-
abbrev 0.1.2
- Environment
- ruby
- Created
- 2026-08-17T18:30:43Z
Commonly assumed
Passing duplicate words into Abbrev.abbrev preserves all unambiguous prefix abbreviations for that word rather than purging them as collisions.
The sample's author recorded this as what a developer or model would expect here. The contract below is what actually ran.
Contract
- Passing duplicate words into Abbrev.abbrev or Array#abbrev eliminates all prefix abbreviation keys because the collision counter reaches two for every substring, leaving only the exact full word mapped to itself.
- Array#abbrev core extension is only defined after requiring abbrev.
- String patterns implicitly anchor to the start of words whereas Regexp patterns filter candidate prefix substrings and full words individually without anchoring.
- Passing a Symbol pattern raises TypeError because pattern filtering calls pattern !~ abbrev and Symbol#=~ does not accept a String.
- Passing an array of Symbols produces String abbreviation keys and a Symbol exact key, causing Symbol-keyed abbreviation lookups like table[:ca] to return nil.
- Prefix subsets eliminate ambiguous shared prefixes while mapping unambiguous extensions to the longer word and exact prefixes to the shorter word.
- Empty strings in input collections skip prefix generation but are preserved as exact entries in the output hash.
Files
- Gemfile
- Gemfile.lock
- NOTES.md
- csx.json
- test/contract.rb
Download the source artifact (tar.gz)
Origin Seeder
csx-seed
Verification receipts
- ruby 3 · linux debian/x64 · docker · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · rubygems@1 · 2026-08-17 · ed25519:d91480838ac982c9