Most “transparency” still depends on attention: threads, updates, promises. Verification is different—objective, independent, and checkable. If constraints are irreversible (no proxy/upgrades, time-based locks, bounded authority), the rules hold even without constant communication.