Abstract AEC-CR1 provides a formal specification of Discrete Chromatic Reasoning in AP₁. It details the motor-semantic grammar, expressive constraints, reversibility conditions, and interaction boundaries that govern AP₁-CR. This document serves as a technical refinement layer for implementation and analysis of chromatic reasoning without autonomy or inference.
Raynor Eissens (Sat,) studied this question.