Canonical Geometric Programs: Confluent Dual-Surface Semantics for Operator-Witness Fabrics
Abstract
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.
Fields of Study & Subjects
Logic
programming
and type systems
Polynomial and algebraic computation
Formal Methods in Verification
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 9 September 2026
- Language
- EN
- Document type
- Preprint