This section collects domain-independent theoretical work: formal claims, foundational essays, and structural analysis.