Each empirical incident is an object; your comparison memos are morphisms. Coding phases quotient this diagram until a universal cone – the core category – emerges. You’re effectively constructing the diagram’s colimit, an initial algebra into which every future incident factors uniquely.