This supplementary note clarifies the mathematical hierarchy of Gamma-DG and the structural position of Gamma-DG Core I. In particular, it explains Core I as a reusable minimal nucleus obtained by extracting and axiomatizing the essential structure shared by existing concrete constructions. It also positions those concrete constructions not as external theorem sources for Core I, but as first representative realizations of its axioms and derived propositions.
Yoshihito Kawanishi (Thu,) studied this question.