Unique-index vectors: pin holder identity by case (rows 23-24) #100
Loading…
Reference in a new issue
No description provided.
Delete branch "hands/variants-holder-case"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Adds refusals rows 23 batch-holders-by-case, 24 load-holders-by-case (holder-case-store.cc), 25 batch-replaced-by-case. RefusalsHoldTheRule now collects every failing row. README: 25 rows; required walk counts C#/Rust 25, Python 24, TS 12; notes the schema-name tiebreak is unreachable (keys are cache-global).
Mutants: holders.Distinct(OrdinalIgnoreCase) fails row 23; replaced-set OrdinalIgnoreCase fails row 25.
🤖 Generated with Claude Code