The tables a batch may originate for, from what the driver says it actually minted.
The driver reports a table only where it rewrote the insert to carry an id from this lane's
residue class. Nothing else qualifies: a high-water mark also matches
INSERT INTO sequences (value) VALUES (7), which is the allocation the guard refuses. An
allocation table is dropped even when reported, since a rowid stride says nothing about a counter
whose value is the allocation.
The tables a batch may originate for, from what the driver says it actually minted.
The driver reports a table only where it rewrote the insert to carry an id from this lane's residue class. Nothing else qualifies: a high-water mark also matches
INSERT INTO sequences (value) VALUES (7), which is the allocation the guard refuses. An allocation table is dropped even when reported, since a rowid stride says nothing about a counter whose value is the allocation.