Registry · Definition I.D24 established formalized

I.D24 — Address DAG

Full quadtree (recurse on all 4 coordinates by index) globally deduplicated by index identity. Diamond-shaped finite DAG: branching out from root, reconverging via shared indices, terminating at alpha_1.

Book I Part 4 Ch. 20

Dependency Graph

Depends on (2)

I.D23 I.D17

Depended on by (6)

I.C04 I.P09 II.D35 II.D36 II.T25 II.T26

Lean Formalization

Module: TauLib.BookI.Coordinates.ABCD

Symbol: Tau.Coordinates.dag_indices