MeTTa TS 1.4.0

Author: MesTTo

README.md

@@ -1,6 +1,10 @@
 # MeTTa TS
 
-A pure-TypeScript implementation of **MeTTa** (Meta Type Talk), the OpenCog Hyperon language. The core engine runs anywhere TypeScript runs: the browser, Node, Deno, Bun, edge and serverless functions, and inside TypeScript-based AI agents. No native addons, no required WASM, no Rust.
+MeTTa TS is a metagraph rewriting database, written in pure TypeScript. You store facts in a space, query them by pattern, and compute by writing rewrite rules over the same facts, all with the same pattern-matching mechanism.
+
+A metagraph is the most expressive of the graph data models. A graph joins two nodes with an edge, a hypergraph joins any number of nodes, and a metagraph lets links contain other links, so a fact can be about another fact: `(Believes Tom (parent Bob Ann))` is a statement whose subject is itself a statement. Rules live in the space as atoms too, so you compute by rewriting the data itself, and a program can query and rewrite its own rules.
+
+The core engine runs anywhere TypeScript runs: the browser, Node, Deno, Bun, edge and serverless functions, and inside TypeScript-based AI agents. No native addons, no required WASM, no Rust. MeTTa (Meta Type Talk) is the language of OpenCog Hyperon, and MeTTa TS is a faithful port of its interpreter, but you do not need to know Hyperon to use it.
 
 <p align="center">
   <img src="website/public/recursion.gif" width="840" alt="The factorial (fact 5) reducing to 120, played side by side as a node graph and as nested blocks in MeTTaGrapher" />

RELEASE_NOTES.md

@@ -1,3 +1,39 @@
+# MeTTa TS 1.4.0
+
+MeTTa TS 1.4.0 replaces the two command-line tools with one `metta` command and
+documents every package.
+
+## The metta CLI
+
+`@metta-ts/node` now installs a single `metta` command with subcommands:
+
+- `metta run <file.metta>` runs a program, and `metta <file.metta>` is shorthand for it.
+- `metta check <file.metta>` runs the static analyzer.
+- `metta debug (--file <p> | --source '<m>') <why|eval|run>` is the engine debugger.
+- `metta graph <file.metta> -o out.gif` renders the reduction as an animated GIF through
+  `@metta-ts/grapher`, which is loaded only when you use the command.
+
+The earlier `metta-ts` and `metta-debug` commands stay as aliases, so existing scripts keep
+working. Note that the Python Hyperon package also installs a `metta` executable, so if both
+are on your PATH they shadow each other; the `metta-ts` alias reaches this runner.
+
+## Documentation
+
+The API reference now covers all twelve packages, with new pages for `@metta-ts/py`,
+`@metta-ts/prolog`, `@metta-ts/libraries`, `@metta-ts/debug`, and the Distributed AtomSpace
+packages. The debugger and traces page moved out of the visual-editor section into a Tools
+section next to the CLI and MeTTaGrapher.
+
+The README and the repository description now open by saying what MeTTa TS is, a metagraph
+rewriting database in pure TypeScript, instead of assuming you already know OpenCog Hyperon.
+
+## Verification
+
+`pnpm -r build`, `pnpm typecheck`, `pnpm lint`, and `pnpm format:check` pass. The test suite
+runs 1228 tests plus the 23-file byte-identical oracle, and the documentation site builds with
+no dead links. The `metta-ts` and `metta-debug` aliases are covered by tests asserting they
+stay byte-identical to `metta run` and `metta debug`.
+
 # MeTTa TS 1.3.1
 
 MeTTa TS 1.3.1 fixes the type checker's arity check for overloaded operations. An

packages/browser/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@metta-ts/browser",
-  "version": "1.3.1",
+  "version": "1.4.0",
   "license": "MIT",
   "type": "module",
   "main": "./dist/index.js",

packages/core/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@metta-ts/core",
-  "version": "1.3.1",
+  "version": "1.4.0",
   "license": "MIT",
   "type": "module",
   "main": "./dist/index.js",

packages/das-client/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@metta-ts/das-client",
-  "version": "1.3.1",
+  "version": "1.4.0",
   "license": "MIT",
   "type": "module",
   "main": "./dist/index.js",

packages/das-gateway/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@metta-ts/das-gateway",
-  "version": "1.3.1",
+  "version": "1.4.0",
   "license": "MIT",
   "type": "module",
   "main": "./dist/index.js",

packages/debug/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@metta-ts/debug",
-  "version": "1.3.1",
+  "version": "1.4.0",
   "license": "MIT",
   "type": "module",
   "main": "./dist/index.js",

packages/edsl/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@metta-ts/edsl",
-  "version": "1.3.1",
+  "version": "1.4.0",
   "author": "MesTTo",
   "license": "MIT",
   "description": "Ergonomic, typed TypeScript eDSL for MeTTa: term builders, tagged templates, host-interop builders, and auto-grounding of TypeScript values.",

packages/grapher/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@metta-ts/grapher",
-  "version": "1.3.1",
+  "version": "1.4.0",
   "author": "MesTTo",
   "license": "MIT",
   "description": "MeTTa visual editor and reduction renderer for browser and Node.js, with node-graph and nested-block views.",

packages/hyperon/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@metta-ts/hyperon",
-  "version": "1.3.1",
+  "version": "1.4.0",
   "license": "MIT",
   "type": "module",
   "main": "./dist/index.js",