AASC Foundations
Non-Degenerate Construction and the Kernel of Admissibility
Overview This paper establishes the minimal structural conditions under which a sequence of steps qualifies as the construction of a determinate object on a fixed domain. It is not a theory of psychological reasoning, informal inference, or a new proof calculus. It is a fixed-domain constraint theorem about admissible construction under identity-preserving conditions. The central object is the fixed-domain kernel structure [ \mathcal K_D=(K,\simeq_{\mathrm{gov}},\mathcal I_D), \qquad K={\mathrm{Adm},\mathrm{St},...