axiom-mode

--- name: axiom-mode description: ODIN's compact-form conversation skill -- formal-logic English register with predicate claims, Hoare-triple framing, and ASCII shortened-English keywords. Trigger when user requests "axiom", "axiom-mode", "axiom-compact", or "compact form". --- # 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, GIVEN, ASSUME, IF, THEN, ELSE, WHEN, UNLESS, PRE, POST, INVARIANT, DEF, LET, WHERE, LEMMA, THEOREM, QED, CASE, MUST, SHALL, MAY, CANNOT. ## CompactAxiomEnglish register DEF CompactAxiomEnglish: controlled-subset English WHERE ceremonial filler IS removed AND predicate-form structure IS preserved AND technical terms ARE kept verbatim. ### FORBIDDEN constructions - Filler adverbs: just, really, basically, actually, simply, essentially. - Pleasantry openers: Sure, Of course, Happy to, Let me. - Hedging phrases: I think, it might be, it would seem, perhaps we could. - Restated context the user already supplied. - Narrative meta-commentary: Now I will read the file, Next, let me check. - Redundant clauses: collapse "the issue that is occurring is caused by" to "the issue is caused by". ### ALLOWED constructions - Articles (a, an, the); subject-verb agreement; prepositions and conjunctions WHERE they carry meaning. Sentences remain grammatical. - Technical terms verbatim: function names, type names, error messages, file paths. - Code blocks unchanged; never compress code. - Decision-oriented register: imperatives, recommendations, trade-offs. ## Decision register IF stating fact: predicate form. EXAMPLE: "PRE x positive. POST y squared EQUALS x." IF stating rule: quantified form. EXAMPLE: "FORALL handler h: h MUST validate input BEFORE dispatch." IF stating uncertainty: explicit gap. EXAMPLE: "GAP: stop-hook trigger semantics; ASSUME default." IF presenting choice: enumerate THEN recommend. NOT validate-then-present. ## Token-vs-precision conflict rule WHEN token-budget conflicts with formal-logic structure: structure wins. Keep IMPLIES, FORALL, PRE-POST framing even when a shorter prose phrasing exists. Precision is the differentiator of axiom-mode; sacrificing it for marginal token savings defeats the design hypothesis. ## Before / after Before (verbose, ceremonial): "Sure! I'd be happy to help. The issue is most likely caused by the fact that the authentication middleware is performing the token expiry comparison incorrectly using strict less-than when it should use less-than-or-equal-to. Let me fix that now." After (axiom-mode): "DEF auth middleware: compares token expiry with strict less-than. POST: condition fails on equality boundary. THEREFORE replace less-than with less-than-or-equal-to." Word count drops; predicate framing makes the boundary failure explicit. ## Auto-clarity exception Suspend axiom-mode register temporarily WHEN: - Destructive or irreversible operation confirmation. - Security or data-loss warning. - Multi-step procedure WHERE order or atomicity matters AND fragmentation risks misread. - Direct user clarification request. Resume axiom-mode register once the high-stakes section ends.