The ingest verb refuses an output carrying no items, where the framework's clean-run contingency records a null result as a run with an empty item set

The ingest verb refuses an output carrying no items, where the framework's clean-run contingency records a null result as a run with an empty item set

Grounds

• pursued: we expect the framework's section 13 clean-run contingency to be recordable only if the one writer of a run record accepts an output with no items, because there is no other writer; a null result that still could not be committed at any of the four positions, or an every-item-refused run committed as a run with an empty item set, would show it wrong