"""Identity graph — DAG invariants, depth indexing, and quorum soundness."""