theses Philosophical and ontological axioms. Observation → structural kernel → pressure test → codification. Specification layer above code.