Knowledge is formalized as typed graphs: acyclicity belongs to a relation that carries order, and a check holds it

The axiom dag-formalized (.ontoref/ontology/core.ncl:46-49, invariant = true) says: 'All project knowledge — concepts, tensions, decisions, state — is formalized as directed acyclic graphs.' No ADR