Pins the cases that separate a complete slice from a truncated one, including the zero-argument script whose empty slice is complete, and asserts no hook runner slices the vector on its own.