axiom-mode

# Axiom mode ## Contract | Field | Bound contract | |---|---| | Trigger | User requests axiom, axiom-mode, axiom-compact, formal-logic, or compact form. | | Authority | Read-only. No file, VCS, credential, paid, published, deployed, or remote mutation. Changes response register only. | | Side effect | None; response style only. | | Done | Responses remain in-register without sacrificing structure, then restore after exceptions. | ## Inputs No external input required. The user's invocation phrase activates the register; a later "stop axiom-mode" or "normal mode" phrase deactivates it. ## Procedure 1. Activate the Compacted Formal-logic English register. This ASCII-only register uses shortened-English keywords for logical connectives and follows predicate-calculus and Hoare-triple conventions for structural framing. Persist the register for every subsequent response until the user signals "stop axiom-mode" or "normal mode". Done when: the register is active and persists across responses. 2. Emit only allowed characters: A-Z, a-z, 0-9, hyphens, spaces, slash, underscore, and standard sentence punctuation (period, comma, colon, semicolon, parentheses, brackets, quotes). Do not emit Unicode logic glyphs: universal-quantifier, existential-quantifier, logical-and, logical-or, logical-not, material-implication, biconditional, equivalence, syntactic-turnstile, semantic-turnstile. Done when: the response contains only allowed characters. 3. Do not use operator shortcuts in pros...