seam-lang 2.0.1 → 2.0.3

package/README.md

@@ -1,11 +1,13 @@
 # Seam
 
-[![npm version](https://img.shields.io/npm/v/seam.svg)](https://www.npmjs.com/package/seam)
+[![npm version](https://img.shields.io/npm/v/seam-lang.svg)](https://www.npmjs.com/package/seam-lang)
 [![DOI](https://img.shields.io/badge/DOI-10.5281%2Fzenodo.20761726-blue.svg)](https://doi.org/10.5281/zenodo.20761726)
 
-Seam is a small logic programming language for facts, rules, goals, answers, and proofs.
-Its source syntax is Prolog-like Horn-clause syntax with deliberate seam choices, including ISO Prolog-style `X` variables, explicit `table(path, 2).` declarations for tabled predicates, advisory `mode/3` declarations for host tooling, explicit Herbrand witness terms for executable existential-style consequences, and stratified-negation diagnostics for portable `not/1` usage.
-It grew out of logic-language experiments in the EYE/N3 reasoning tradition, but is packaged here as its own project.
+Seam is a small reasoning language for facts, rules, goals, answers, and proofs.
+
+It uses Prolog-like syntax with ISO Prolog-style variables such as X, plus practical features for tabled predicates, mode declarations, witness terms, and portable not/1 usage.
+
+Seam grew out of experiments in the EYE tradition, but is packaged as its own project.
 
 ## Install and run
 
@@ -14,7 +16,7 @@ Seam has no runtime npm dependencies and no build step. From a source checkout,
 ```bash
 node bin/seam.js examples/ancestor.pl
 node bin/seam.js --proof examples/socrates.pl
-node bin/seam.js --warnings examples/policy.pl
+node bin/seam.js --warnings test/conformance/warnings/negation/unstratified_mutual.pl
 printf 'works(stdin, true) :- eq(ok, ok).\n' | node bin/seam.js -
 ```
 

package/docs/guide.md

@@ -246,7 +246,7 @@ seam -s examples/observability-log-correlation.pl
 Add `-w` or `--warnings` when you want non-fatal portability diagnostics, such as unstratified `not/1` dependencies, printed to stderr while normal answer output still goes to stdout:
 
 ```sh
-seam --warnings policy.pl
+seam --warnings test/conformance/warnings/negation/unstratified_mutual.pl
 ```
 
 The playground has matching `--stats` and `--proof` checkboxes, so browser runs can show the same counters or explanations like the CLI.

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "seam-lang",
-  "version": "2.0.1",
-  "description": "A small Prolog-like logic programming language for facts, rules, goals, answers, and proofs.",
+  "version": "2.0.3",
+  "description": "A small reasoning language with ISO Prolog-compatible surface syntax.",
   "type": "module",
   "main": "./index.js",
   "types": "./index.d.ts",

package/src/cli.js

@@ -139,7 +139,7 @@ Usage:
   seam [options] [file-or-url.pl|- ...]
 
 Input:
-  file-or-url.pl       Read a Seam program from a local file or http(s) URL.
+  file-or-url.pl        Read a Seam program from a local file or http(s) URL.
   -                     Read a Seam program from standard input.
 
 Options: