A synthetic, data-use-only demonstration of deterministic evidence correction and direct-to-transitive dependent-output retraction. This version adds a visible contract-derived resolution path, presentation-only retraction wave, strict persisted-report verification, and hardened no-network public gates. No trading, signing, settlement, custody, financial authority, or source-authentication claim.