Registry · Remark I.R37 established not_applicable

I.R37 — Cluster Collapse in ABCD Context

1st Edition cluster collapse is automatic in ABCD: greedy peel extracts dominant tower atom (A,B,C), remainder D absorbs all cluster structure in one pass. No separate collapse step needed.

Book I Part 4 Ch. 18

Dependency Graph

Depends on (1)

Lean Formalization

Module:

Symbol: