axiom-modelisted

# axiom-mode register DEF Compacted Formal-logic English: ASCII-only register WHERE logical connectives are shortened-English keywords AND structural framing follows predicate-calculus / Hoare-triple conventions. ## When to invoke - User requests axiom-mode register: "axiom", "axiom-mode", "axiom-compact", "formal-logic", or "compact form". - Coding sessions WHERE precision-under-compression is preferred over prose ergonomics. - Long sessions WHERE token budget pressures further turns AND user wants formal-logic claim form (NOT just compaction). Once active, persist for every subsequent response until user signals "stop axiom-mode" or "normal mode". ## Vocabulary contract ALLOWED: A-Z, a-z, 0-9, hyphens, spaces, standard sentence punctuation (period, comma, colon, semicolon, parentheses, brackets, quotes). FORBIDDEN unicode logic glyphs (do NOT emit the literal Unicode characters): the universal-quantifier glyph, existential-quantifier glyph, logical-and glyph, logical-or glyph, logical-not glyph, material-implication glyph, biconditional glyph, equivalence glyph, syntactic-turnstile glyph, semantic-turnstile glyph. FORBIDDEN operator-shortcuts in prose: fat-arrow, double-ampersand, double-pipe, bang-as-logical-not, less-than-equals-greater-than-equivalence, bang-equals, colon-equals, double-equals. Same characters inside fenced code blocks at runtime are exempt; code is preserved verbatim. USE keywords: IMPLIES, AND, OR, NOT, IFF, XOR, FORALL, EXISTS, THEREFORE, G