Metacomp Technologies (United States)

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

Construct validation of a multidimensional measure of perceptual–motor integration in young children

Aim: Perceptual and praxis skills are fundamental to adaptive functioning in early childhood. The aim of this study was to develop and examine the psychometric properties of the Perception and Praxis Scale (PPS), designed to assess sensory–motor integration across four domains: s...