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