-
Brouwer Ordinals and the Shape of a Witness
de Jong et al. (2026) put an ordinal axis under decidability. We read that axis as past-tense and set it against the max-plus past of a Petri net — one coordinate gives the kind of sequence a Brouwer limit takes, not the limit, and the bridge beyond that is unbuilt.