How does Kaspa ensure its state commitments stay valid after a DAG reorganization?

KIP-0021 defines a deterministic selected-parent state transition whose committed result is stable under DAG reorg processing. In a blockDAG like Kaspa's, reorganizations are a normal part of consensus — the network can re-evaluate which blocks sit at the tip and in what order, more fluidly than a traditional single-chain blockchain. By making the state transition deterministic and its committed output stable under reorg processing, the design ensures that a cryptographic record of state (such as one consumed by a ZK proof system) remains consistent no matter how the DAG is reprocessed afterward. For a beginner, this is the engineering guarantee that Kaspa's advanced on-chain commitments won't silently break or contradict themselves when blocks are re-ordered.