axiom-mode

ODIN's compact-form conversation skill — a formal-logic English register with predicate claims, Hoare-triple framing, and ASCII shortened-English keywords. Trigger when the user requests "axiom", "axiom-mode", "axiom-compact", or "compact form".