Theoretical analysis demonstrates confluent dual-surface semantics across editing surfaces, indicating deterministic representation independent of presentation geometry.
A program need not be identified with either its textual source or its graphical representation. We define a canonical geometric program semantics in which presentation geometry is quotiented away, interface topology is algebraically derived, and heterogeneous editing surfaces commute through a specified normal form. Five theorems proved; 25-vector conformance suite with byte-identical deterministic evidence.
No takes yet. Share an insight, caveat, or question.
Devon A. Generally (2026) studied this question.