Corollary: Conditional FK operational specialization

If the FK weights above are independently shown to satisfy the block contract and endpoint inputs in this same finite model, then Theorem thm:blockrepresentation identifies its marked $n$-edge map with $T_{2n+1}$. For any additional fixed operational marking kernel satisfying the printed hypotheses, Theorems thm:channel, thm:serial, and thm:experiment apply.

Without that verification or explicit assumption, this corollary does not claim a proved operational theorem for the original FK law.

Proof. Apply Lemma lem:inverse, Theorem thm:blockrepresentation, and then the independent marked-tree theorems.