Complete finite IO terminal migration
rewriteComponentProperties activity through commit c3b900c4. A later history reread found additional commits through 25551025, including 0620c358, ccad2fc4, 02780af1, 726dc66b, 4cf06264, 415a0a3b, 4ec4a203, 636e0d4f, and 3b3de5ff. Activity therefore had not ceased.Designator + Pin Number identities is blocked at the same guard step: current non-target properties cannot be certified stable between PRE comparison, allowed-field-only write, and POST reread. No identity was written speculatively.Finite accounting
Blocker evidence