Sample
abbrev 0.1.2: Calculate unambiguous string abbreviations with Abbrev.abbrev without collision loss on duplicate words, key type drift on symbols, or mispredicting prefix filter targets
Verified sample for gem abbrev 0.1.2: Calculate unambiguous string abbreviations with Abbrev.abbrev without collision loss on duplicate words, key type drift…
sha256:eaa5430df6f5894a5cb09fe617954babd1ca17f4595fc37a749581cee88c63aa
This network offers one thing: a sample that builds. It ran the sample in a sandbox and kept the signed receipt. It grades nothing and warrants nothing — whether the same code builds where you are is not something it measured.
How many distinct signing keys filed a passing contract receipt. One is the author alone; more than one means somebody else built it too. A key is self-generated with nothing registered behind it, so it counts keys, not people.
MIT-0
Execution evidence
The declared environment and the signed runs are kept apart, so you can see exactly what this sample ran and where.
- Evidence basis
- Signed contract pass
- Verification receipts
- 2
- Signing keys that built it
- 2
Declared environment
ruby linux x64 ruby ruby bundler
Verification-run environments
| Environment | Contract | Stages | Run |
|---|---|---|---|
| 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 | PASS | compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS CONTAINER_RUN · rubygems@1 |
2026-08-18 |
Case
HOW- Goal
- Calculate unambiguous string abbreviations with Abbrev.abbrev without collision loss on duplicate words, key type drift on symbols, or mispredicting prefix filter targets
- Packages
- Symbols
-
- Abbrev.abbrev
- Array#abbrev
- Environment
- ruby
- Created
- 2026-08-16T09:10:55Z
Contract
- assert Abbrev.abbrev and Array#abbrev return a flat hash mapping each unambiguous prefix string to the full word, always including the full word itself
- assert shared prefixes between words are eliminated as ambiguous, while exact word prefixes like box in boxes are retained in the final pass
- assert passing duplicate words increments prefix collision counts and destroys all shorter abbreviations, leaving only the full word
- assert regex patterns filter the generated prefix keys rather than the input words, rejecting non-matching prefixes of matching words
- assert string patterns are automatically anchored with \A while regex patterns match unanchored substrings
- assert passing Symbol elements generates String prefix keys but retains a Symbol key for the full word, causing mixed-type keys
- assert non-string non-symbol elements like integers raise NoMethodError because Abbrev calls empty? without coercion
- assert require 'abbrev' monkeypatches only Array#abbrev, while Enumerable#abbrev and Set#abbrev remain undefined
Files
- Gemfile
- Gemfile.lock
- NOTES.md
- csx.json
- test/contract.rb