Devon A. Generally

Canonical Geometric Programs: Confluent Dual-Surface Semantics for Operator-Witness Fabrics

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 co...

Empirical Evaluation of Quaternary Iteration Control on a Deterministic Looped Transformer

We report a preregistered empirical test of the quaternary iteration control contract on Loom, a deterministic looped transformer with analytical weights that executes programs compiled from C. The contract specifies a four-valued evaluator interface (NO with a named failure mode...