C.3:13 - SoTA-Echoing
Model theory, type systems, ontology engineering, and schema practice distinguish intensional declarations, candidate evaluation, extensions, and assertion scope. C.3 adapts that separation to FPF’s object discipline: declaration epistemes follow A.6.0 and C.2.1, context slices and claim scope follow A.2.6, mathematical representations follow C.29, and durable kind admission follows E.24.UK.