open-agents-ai 0.187.433 → 0.187.435

package/dist/index.js

@@ -514275,30 +514275,94 @@ var init_embeddingAligner = __esm({
   }
 });
 
+// packages/memory/dist/crl/memory.js
+var init_memory4 = __esm({
+  "packages/memory/dist/crl/memory.js"() {
+    "use strict";
+    init_episodeStore();
+    init_crl();
+  }
+});
+
 // packages/memory/dist/crl/index.js
 var CRL_SYMBOLS, SYMBOL_MEANINGS, CRLParser, CRLEncoder, CRLDecoder, CRLTemplateResolver, CRL;
 var init_crl = __esm({
   "packages/memory/dist/crl/index.js"() {
     "use strict";
+    init_memory4();
     CRL_SYMBOLS = {
-      // Logical operators
+      // Logical operators (Core)
       THEREFORE: "∴",
+      // Conclusion marker (SymbCoT)
       BECAUSE: "∵",
+      // Premise marker
       EQUIVALENT: "≡",
+      // Definition/bidirectional
+      DEFINITION: ":=",
+      // Definitional equality
       IMPLIES: "→",
+      // Forward implication
       BICONDITIONAL: "↔",
+      // Mutual implication
+      STRONG_IMPLIES: "⟹",
+      // Logical entailment (Aristotle)
+      STRONG_IMPLIED_BY: "⟸",
+      // Reverse entailment
+      STRONG_BICONDITIONAL: "⟺",
+      // Logical equivalence
       NOT: "¬",
+      // Negation
       AND: "∧",
+      // Conjunction
       OR: "∨",
+      // Disjunction
       XOR: "⊕",
+      // Exclusive or
+      TRUE: "⊤",
+      // Tautology (LogicReward verification)
+      FALSE: "⊥",
+      // Contradiction
+      // Proof Theory / Metalogical (Aristotle framework)
+      PROVABLE: "⊢",
+      // Syntactic derivability
+      NOT_PROVABLE: "⊣",
+      // Refutation
+      MODELS: "⊨",
+      // Semantic entailment
+      NOT_MODELS: "⊭",
+      // Semantic refutation
+      FORCES: "⊩",
+      // Kripke semantics
+      NOT_PROVE: "⊬",
+      // Underivability
+      END_PROOF: "∎",
+      // QED/tombstone
+      NOTE: "※",
+      // Annotation marker
       // Relational operators
       ELEMENT_OF: "∈",
       NOT_ELEMENT_OF: "∉",
       PROPER_SUBSET: "⊂",
       SUBSET_OR_EQUAL: "⊆",
+      PROPER_SUPERSET: "⊃",
+      SUPERSET_OR_EQUAL: "⊇",
       UNION: "∪",
       INTERSECTION: "∩",
+      SET_DIFFERENCE: "∖",
+      SYMMETRIC_DIFF: "△",
       EMPTY: "∅",
+      POWER_SET: "℘",
+      // Comparison operators
+      EQUAL: "=",
+      NOT_EQUAL: "≠",
+      APPROXIMATELY: "≈",
+      PROPORTIONAL: "∝",
+      LESS_THAN: "<",
+      GREATER_THAN: ">",
+      LESS_OR_EQUAL: "≤",
+      GREATER_OR_EQUAL: "≥",
+      MUCH_LESS: "≪",
+      MUCH_GREATER: "≫",
       // Temporal/Sequential
       THEN: "⇒",
       FROM: "⇐",
@@ -514306,54 +514370,109 @@ var init_crl = __esm({
       CYCLE: "↻",
       NEXT: "⏵",
       PREVIOUS: "⏴",
-      // Modal/Evidential
+      // Modal/Evidential (MuSLR multimodal grounding)
       POSSIBLE: "◇",
+      DIAMOND: "◊",
+      // Possibility (alt)
       NECESSARY: "□",
+      BOX: "◻",
+      // Necessity (alt)
       OBSERVED: "⊙",
+      // Empirical evidence
       UNCERTAIN: "?",
       CRITICAL: "!",
       APPROXIMATE: "~",
+      NOT_POSSIBLE: "⟐",
+      // Impossibility
+      NOT_NECESSARY: "⟏",
+      // Contingency
       // Quantifiers
       FOR_ALL: "∀",
       EXISTS: "∃",
       NOT_EXISTS: "∄",
+      UNIQUE_EXISTS: "∃!",
+      // Exactly one
       AGGREGATE: "∑",
-      PRODUCT: "∏"
+      PRODUCT: "∏",
+      MOST: "∀∃"
+      // Majority quantifier
     };
     SYMBOL_MEANINGS = {
+      // Logical operators (Core)
       "∴": "therefore",
       "∵": "because",
       "≡": "equivalent",
+      ":=": "definition",
       "→": "implies",
       "↔": "biconditional",
+      "⟹": "strong_implies",
+      "⟸": "strong_implied_by",
+      "⟺": "strong_biconditional",
       "¬": "not",
       "∧": "and",
       "∨": "or",
       "⊕": "xor",
+      "⊤": "true",
+      "⊥": "false",
+      // Proof Theory / Metalogical (Aristotle framework)
+      "⊢": "provable",
+      "⊣": "not_provable",
+      "⊨": "models",
+      "⊭": "not_models",
+      "⊩": "forces",
+      "⊬": "not_prove",
+      "∎": "end_proof",
+      "※": "note",
+      // Relational operators
       "∈": "element_of",
       "∉": "not_element_of",
       "⊂": "proper_subset",
       "⊆": "subset_or_equal",
+      "⊃": "proper_superset",
+      "⊇": "superset_or_equal",
       "∪": "union",
       "∩": "intersection",
+      "∖": "set_difference",
+      "△": "symmetric_difference",
       "∅": "empty",
+      "℘": "power_set",
+      // Comparison operators
+      "=": "equal",
+      "≠": "not_equal",
+      "≈": "approximately",
+      "∝": "proportional",
+      "<": "less_than",
+      ">": "greater_than",
+      "≤": "less_or_equal",
+      "≥": "greater_or_equal",
+      "≪": "much_less",
+      "≫": "much_greater",
+      // Temporal/Sequential
       "⇒": "then",
       "⇐": "from",
       "⟳": "loop",
       "↻": "cycle",
       "⏵": "next",
       "⏴": "previous",
+      // Modal/Evidential (MuSLR multimodal grounding)
       "◇": "possible",
+      "◊": "diamond",
       "□": "necessary",
+      "◻": "box",
       "⊙": "observed",
       "?": "uncertain",
       "!": "critical",
       "~": "approximate",
+      "⟐": "not_possible",
+      "⟏": "not_necessary",
+      // Quantifiers
       "∀": "for_all",
       "∃": "exists",
       "∄": "not_exists",
+      "∃!": "unique_exists",
       "∑": "aggregate",
-      "∏": "product"
+      "∏": "product",
+      "∀∃": "most"
     };
     CRLParser = class {
       pos = 0;
@@ -514543,28 +514662,74 @@ var init_crl = __esm({
       peek(offset = 0) {
         return this.input[this.pos + offset] || "";
       }
+      // Extended quantifiers per LogicReward (ICLR 2026)
       isQuantifier(char) {
-        return ["∀", "∃", "∄", "∑", "∏"].includes(char);
+        return ["∀", "∃", "∄", "∃!", "∑", "∏", "∀∃"].includes(char);
       }
+      // Extended operators per Aristotle (ACL 2025) and MuSLR (NeurIPS 2025)
       isOperator(char) {
         return [
           "∴",
           "∵",
           "≡",
+          ":=",
           "→",
           "↔",
+          "⟹",
+          "⟸",
+          "⟺",
           "¬",
           "∧",
           "∨",
           "⊕",
+          "⊤",
+          "⊥",
+          "⊢",
+          "⊣",
+          "⊨",
+          "⊭",
+          "⊩",
+          "⊬",
+          "∎",
+          "※",
           "∈",
           "∉",
           "⊂",
           "⊆",
+          "⊃",
+          "⊇",
           "∪",
           "∩",
+          "∖",
+          "△",
+          "∅",
+          "℘",
+          "=",
+          "≠",
+          "≈",
+          "∝",
+          "<",
+          ">",
+          "≤",
+          "≥",
+          "≪",
+          "≫",
           "⇒",
-          "⇐"
+          "⇐",
+          "⟳",
+          "↻",
+          "⏵",
+          "⏴",
+          "◇",
+          "◊",
+          "□",
+          "◻",
+          "⊙",
+          "?",
+          "!",
+          "~",
+          "⟐",
+          "⟏"
         ].includes(char);
       }
     };
@@ -514574,9 +514739,13 @@ var init_crl = __esm({
        * Encode natural language text to CRL
        */
       encode(text) {
-        const concepts = this.extractConcepts(text);
-        const relations = this.extractRelations(text, concepts);
-        return this.buildExpression(concepts, relations);
+        let result = this.compress(text);
+        const concepts = this.extractConcepts(result);
+        const relations = this.extractRelations(result, concepts);
+        if (relations.length > 0) {
+          return this.buildExpression(concepts, relations);
+        }
+        return result;
       }
       /**
        * Extract key concepts from text
@@ -514777,13 +514946,16 @@ var init_crl = __esm({
           "⇒": "then",
           "⇐": "from"
         };
-        const from3 = this.renderConcept(node.from);
-        const to = this.renderConcept(node.to);
+        const from3 = node.from ? this.renderConcept(node.from) : "";
+        const to = node.to ? this.renderConcept(node.to) : "";
         const op = operatorMeanings[node.operator] || node.operator;
         if (node.edgeType) {
           return `${from3} ${node.edgeType} ${to}`;
         }
-        return `${from3} ${op} ${to}`;
+        if (from3 && to) {
+          return `${from3} ${op} ${to}`;
+        }
+        return op;
       }
       /**
        * Expand CRL symbols to natural language
@@ -514832,25 +515004,24 @@ var init_crl = __esm({
         });
       }
       resolveTemplate(template, context2) {
-        const parts = template.split(/[:|→]/);
-        const variable = parts[0].trim();
-        const defaultValue = parts[1]?.trim();
-        const typeAnnotation = parts[2]?.trim();
         let value2;
-        if (variable.startsWith("ctx:")) {
-          const ctxVar = variable.substring(5);
+        if (template.startsWith("ctx:")) {
+          const ctxVar = template.substring(4);
           value2 = context2[ctxVar];
-        } else if (variable.startsWith("mem:")) {
-          const memVar = variable.substring(4);
+        } else if (template.startsWith("mem:")) {
+          const memVar = template.substring(4);
           const memArray = context2.memories?.[memVar];
           value2 = memArray?.join(", ");
-        } else if (variable.startsWith("state:")) {
-          const stateVar = variable.substring(6);
+        } else if (template.startsWith("state:")) {
+          const stateVar = template.substring(6);
           value2 = context2.state?.[stateVar];
         } else {
-          value2 = context2.variables?.[variable];
+          const parts = template.split(/[:|→]/);
+          const variable = parts[0].trim();
+          const defaultValue = parts[1]?.trim();
+          value2 = context2.variables?.[variable] || defaultValue;
         }
-        return value2 || defaultValue || `[${variable}]`;
+        return value2 || `[${template}]`;
       }
     };
     CRL = {
@@ -514887,8 +515058,8 @@ var init_crl = __esm({
       /**
        * Resolve templates with context
        */
-      resolve(crl, context2) {
-        return this.resolver.resolve(crl, context2);
+      resolve(template, context2) {
+        return this.resolver.resolve(template, context2);
       }
     };
   }
@@ -535566,7 +535737,7 @@ ${CONTENT_BG_SEQ}`);
         const w = getTermWidth();
         const pos = this.rowPositions(rows);
         const inputWrap = this.wrapInput(w);
-        const cursorRow = pos.inputStartRow + inputWrap.cursorRow;
+        const cursorRow = pos.inputStartRow + 1 + inputWrap.cursorRow;
         const cursorCol = inputWrap.cursorCol;
         if (process.env.OA_DEBUG_CURSOR === "1") {
           console.error(`[CURSOR DEBUG] parkCursorInInput: row=${cursorRow}, col=${cursorCol}, inputStartRow=${pos.inputStartRow}, cursorRow=${inputWrap.cursorRow}, writeDepth=${this.writeDepth}`);

package/npm-shrinkwrap.json

@@ -1,12 +1,12 @@
 {
   "name": "open-agents-ai",
-  "version": "0.187.433",
+  "version": "0.187.435",
   "lockfileVersion": 3,
   "requires": true,
   "packages": {
     "": {
       "name": "open-agents-ai",
-      "version": "0.187.433",
+      "version": "0.187.435",
       "hasInstallScript": true,
       "license": "CC-BY-NC-4.0",
       "dependencies": {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "open-agents-ai",
-  "version": "0.187.433",
+  "version": "0.187.435",
   "description": "AI coding agent powered by open-source models (Ollama/vLLM) — interactive TUI with agentic tool-calling loop",
   "type": "module",
   "main": "./dist/index.js",