I.C04 — NF Deduplication Invariant

Address DAG construction is deduplication-invariant: identifying shared branches produces the same DAG regardless of order. Follows from Hyperfactorization uniqueness. NF-level analogue of NF-Confluence.