MeTTaScript 2.3.1

MesTTo · MesTTo · commit 9c7fc85d4749 · 2026-07-23T19:09:04.000+10:00
diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
@@ -1,3 +1,13 @@
+# MeTTaScript 2.3.1
+
+A patch fix for the native-stack recovery path added in 2.3.0. When a very deep structural comparison
+exhausts the JavaScript call stack, the engine recovers by re-running the comparison iteratively. That
+recovery matched the error message with a regular expression, and compiling the regex while the stack was
+still near its limit could itself overflow and surface a spurious `SyntaxError` instead of the correct
+`StackOverflow` result — reachable when a deep comparison runs from inside another deep recursion (a
+compiled grounded call). The recovery now runs on any range error without inspecting the message. Behavior
+is otherwise unchanged and byte-identical to 2.3.0.
+
 # MeTTaScript 2.3.0
 
 Deep recursion now scales past the native stack. A reduction that nests tens of thousands of levels deep, a
diff --git a/compat/browser/package.json b/compat/browser/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@metta-ts/browser",
-  "version": "2.3.0",
+  "version": "2.3.1",
   "license": "MIT",
   "type": "module",
   "main": "./dist/index.js",
diff --git a/compat/core/package.json b/compat/core/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@metta-ts/core",
-  "version": "2.3.0",
+  "version": "2.3.1",
   "license": "MIT",
   "type": "module",
   "main": "./dist/index.js",
diff --git a/compat/das-client/package.json b/compat/das-client/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@metta-ts/das-client",
-  "version": "2.3.0",
+  "version": "2.3.1",
   "license": "MIT",
   "type": "module",
   "main": "./dist/index.js",
diff --git a/compat/das-gateway/package.json b/compat/das-gateway/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@metta-ts/das-gateway",
-  "version": "2.3.0",
+  "version": "2.3.1",
   "license": "MIT",
   "type": "module",
   "main": "./dist/index.js",
diff --git a/compat/debug/package.json b/compat/debug/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@metta-ts/debug",
-  "version": "2.3.0",
+  "version": "2.3.1",
   "license": "MIT",
   "type": "module",
   "main": "./dist/index.js",
diff --git a/compat/edsl/package.json b/compat/edsl/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@metta-ts/edsl",
-  "version": "2.3.0",
+  "version": "2.3.1",
   "license": "MIT",
   "type": "module",
   "main": "./dist/index.js",
diff --git a/compat/grapher/package.json b/compat/grapher/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@metta-ts/grapher",
-  "version": "2.3.0",
+  "version": "2.3.1",
   "license": "MIT",
   "type": "module",
   "main": "./dist/index.js",
diff --git a/compat/hyperon/package.json b/compat/hyperon/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@metta-ts/hyperon",
-  "version": "2.3.0",
+  "version": "2.3.1",
   "license": "MIT",
   "type": "module",
   "main": "./dist/index.js",
diff --git a/compat/libraries/package.json b/compat/libraries/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@metta-ts/libraries",
-  "version": "2.3.0",
+  "version": "2.3.1",
   "license": "MIT",
   "type": "module",
   "main": "./dist/index.js",
diff --git a/compat/node/package.json b/compat/node/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@metta-ts/node",
-  "version": "2.3.0",
+  "version": "2.3.1",
   "license": "MIT",
   "type": "module",
   "main": "./dist/index.js",
diff --git a/compat/prolog/package.json b/compat/prolog/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@metta-ts/prolog",
-  "version": "2.3.0",
+  "version": "2.3.1",
   "license": "MIT",
   "type": "module",
   "main": "./dist/index.js",
diff --git a/compat/py/package.json b/compat/py/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@metta-ts/py",
-  "version": "2.3.0",
+  "version": "2.3.1",
   "license": "MIT",
   "type": "module",
   "main": "./dist/index.js",
diff --git a/packages/browser/package.json b/packages/browser/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@mettascript/browser",
-  "version": "2.3.0",
+  "version": "2.3.1",
   "license": "MIT",
   "type": "module",
   "main": "./dist/index.js",
diff --git a/packages/core/package.json b/packages/core/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@mettascript/core",
-  "version": "2.3.0",
+  "version": "2.3.1",
   "license": "MIT",
   "type": "module",
   "main": "./dist/index.js",
diff --git a/packages/core/src/atom.ts b/packages/core/src/atom.ts
@@ -545,13 +545,16 @@ function hasNanGround(a: Atom): boolean {
 
 /** Structural equality. Interned symbols short-circuit to reference identity. The recursive `atomEqRec`
  *  is the fast, memoised common path (no per-call allocation); a term deep enough to exhaust the native
- *  stack throws, and the catch re-runs the comparison iteratively (`atomEqIter`) from the now-unwound,
- *  shallow stack. The wrapper adds one try/catch per top-level call — the recursion itself stays raw. */
+ *  stack throws, and the catch re-runs the comparison iteratively (`atomEqIter`) after its frames unwind.
+ *  The wrapper adds one try/catch per top-level call — the recursion itself stays raw. */
 export function atomEq(a: Atom, b: Atom): boolean {
   try {
     return atomEqRec(a, b);
   } catch (e) {
-    if (e instanceof RangeError && /call stack/i.test(e.message)) return atomEqIter(a, b);
+    // Do not inspect the message here. A caller can already have nearly exhausted the native stack, so
+    // compiling or running a RegExp can overflow before the iterative fallback starts. Any RangeError the
+    // complete iterative comparison encounters still propagates.
+    if (e instanceof RangeError) return atomEqIter(a, b);
     throw e;
   }
 }
diff --git a/packages/das-client/package.json b/packages/das-client/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@mettascript/das-client",
-  "version": "2.3.0",
+  "version": "2.3.1",
   "license": "MIT",
   "type": "module",
   "main": "./dist/index.js",
diff --git a/packages/das-gateway/package.json b/packages/das-gateway/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@mettascript/das-gateway",
-  "version": "2.3.0",
+  "version": "2.3.1",
   "license": "MIT",
   "type": "module",
   "main": "./dist/index.js",
diff --git a/packages/debug/package.json b/packages/debug/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@mettascript/debug",
-  "version": "2.3.0",
+  "version": "2.3.1",
   "license": "MIT",
   "type": "module",
   "main": "./dist/index.js",
diff --git a/packages/edsl/package.json b/packages/edsl/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@mettascript/edsl",
-  "version": "2.3.0",
+  "version": "2.3.1",
   "author": "MesTTo",
   "license": "MIT",
   "description": "Ergonomic, typed TypeScript eDSL for MeTTa: term builders, tagged templates, host-interop builders, and auto-grounding of TypeScript values.",
diff --git a/packages/grapher/package.json b/packages/grapher/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@mettascript/grapher",
-  "version": "2.3.0",
+  "version": "2.3.1",
   "author": "MesTTo",
   "license": "MIT",
   "description": "MeTTa visual editor and reduction renderer for browser and Node.js, with node-graph and nested-block views.",
diff --git a/packages/hyperon/package.json b/packages/hyperon/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@mettascript/hyperon",
-  "version": "2.3.0",
+  "version": "2.3.1",
   "license": "MIT",
   "type": "module",
   "main": "./dist/index.js",
diff --git a/packages/libraries/package.json b/packages/libraries/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@mettascript/libraries",
-  "version": "2.3.0",
+  "version": "2.3.1",
   "license": "MIT",
   "type": "module",
   "main": "./dist/index.js",
diff --git a/packages/node/package.json b/packages/node/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@mettascript/node",
-  "version": "2.3.0",
+  "version": "2.3.1",
   "license": "MIT",
   "type": "module",
   "main": "./dist/index.js",
diff --git a/packages/prolog/package.json b/packages/prolog/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@mettascript/prolog",
-  "version": "2.3.0",
+  "version": "2.3.1",
   "license": "MIT",
   "type": "module",
   "main": "./dist/index.js",
diff --git a/packages/py/package.json b/packages/py/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@mettascript/py",
-  "version": "2.3.0",
+  "version": "2.3.1",
   "license": "MIT",
   "type": "module",
   "main": "./dist/index.js",

Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`{`
`2`	`2`	`"name": "@metta-ts/browser",`
`3`		`- "version": "2.3.0",`
	`3`	`+ "version": "2.3.1",`
`4`	`4`	`"license": "MIT",`
`5`	`5`	`"type": "module",`
`6`	`6`	`"main": "./dist/index.js",`
Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`{`
`2`	`2`	`"name": "@metta-ts/core",`
`3`		`- "version": "2.3.0",`
	`3`	`+ "version": "2.3.1",`
`4`	`4`	`"license": "MIT",`
`5`	`5`	`"type": "module",`
`6`	`6`	`"main": "./dist/index.js",`
Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`{`
`2`	`2`	`"name": "@metta-ts/das-client",`
`3`		`- "version": "2.3.0",`
	`3`	`+ "version": "2.3.1",`
`4`	`4`	`"license": "MIT",`
`5`	`5`	`"type": "module",`
`6`	`6`	`"main": "./dist/index.js",`
Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`{`
`2`	`2`	`"name": "@metta-ts/das-gateway",`
`3`		`- "version": "2.3.0",`
	`3`	`+ "version": "2.3.1",`
`4`	`4`	`"license": "MIT",`
`5`	`5`	`"type": "module",`
`6`	`6`	`"main": "./dist/index.js",`
Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`{`
`2`	`2`	`"name": "@metta-ts/debug",`
`3`		`- "version": "2.3.0",`
	`3`	`+ "version": "2.3.1",`
`4`	`4`	`"license": "MIT",`
`5`	`5`	`"type": "module",`
`6`	`6`	`"main": "./dist/index.js",`
Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`{`
`2`	`2`	`"name": "@metta-ts/edsl",`
`3`		`- "version": "2.3.0",`
	`3`	`+ "version": "2.3.1",`
`4`	`4`	`"license": "MIT",`
`5`	`5`	`"type": "module",`
`6`	`6`	`"main": "./dist/index.js",`
Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`{`
`2`	`2`	`"name": "@metta-ts/grapher",`
`3`		`- "version": "2.3.0",`
	`3`	`+ "version": "2.3.1",`
`4`	`4`	`"license": "MIT",`
`5`	`5`	`"type": "module",`
`6`	`6`	`"main": "./dist/index.js",`
Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`{`
`2`	`2`	`"name": "@metta-ts/hyperon",`
`3`		`- "version": "2.3.0",`
	`3`	`+ "version": "2.3.1",`
`4`	`4`	`"license": "MIT",`
`5`	`5`	`"type": "module",`
`6`	`6`	`"main": "./dist/index.js",`
Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`{`
`2`	`2`	`"name": "@metta-ts/libraries",`
`3`		`- "version": "2.3.0",`
	`3`	`+ "version": "2.3.1",`
`4`	`4`	`"license": "MIT",`
`5`	`5`	`"type": "module",`
`6`	`6`	`"main": "./dist/index.js",`