deriva 0.0.5 → 0.0.7

package/LICENSE.md

@@ -1,6 +1,6 @@
 # MIT License
 
-### Copyright 2021-2026 Jos De Roo
+### Copyright 2021-2026 Jos De Roo, KNoWS office of IDLab, Ghent University - imec
 
 Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:
 

package/README.md

@@ -1,5 +1,9 @@
 # Deriva
 
+<p align="center">
+  <img src="docs/assets/deriva-logo.png" alt="Deriva logo" width="180">
+</p>
+
 [![npm version](https://img.shields.io/npm/v/deriva.svg)](https://www.npmjs.com/package/deriva)
 
 Deriva is a small reasoning language for turning facts and rules into answers and proofs.
@@ -12,6 +16,14 @@ and tabled automatically.
 
 ## Install and run
 
+Install the published CLI globally:
+
+```bash
+npm install --global deriva
+deriva --version
+printf 'works(stdin, true) :- eq(ok, ok).\n' | deriva -
+```
+
 Deriva has no runtime npm dependencies and no build step. From a source checkout, run the CLI directly with Node.js 18 or newer:
 
 ```bash

package/docs/guide.md

@@ -38,6 +38,13 @@ node bin/deriva.js facts.pl rules.pl
 printf 'works(stdin, true) :- eq(ok, ok).\n' | node bin/deriva.js -
 ```
 
+To install the published CLI instead, use:
+
+```sh
+npm install --global deriva
+deriva --version
+```
+
 You can also use npm's local package-bin runner from the checkout:
 
 ```sh
@@ -554,12 +561,12 @@ deriva -s examples/observability-log-correlation.pl > /dev/null
 
 For a release:
 
-1. update `VERSION`;
-2. update `README.md` and the language reference;
-3. regenerate golden outputs if behavior changed;
-4. run `npm run test:deriva`;
-5. run `node test/run-conformance-report.mjs conformance-report.md`;
-6. publish the repository with the browser playground assets if publishing the playground. The playground includes controls equivalent to CLI `--stats` and `--proof`.
+1. update `README.md` and the language reference when behavior or public guidance changed;
+2. regenerate golden outputs if behavior changed;
+3. execute `npm test`;
+4. execute npm version with `patch` (or `minor`/`major` as appropriate).
+
+The `preversion` script reruns the full test suite and refreshes [`conformance-report.md`](../conformance-report.md). The version command updates `package.json`, creates the release commit and `v*` tag, and the `postversion` script pushes the commit and tag. The tag triggers the GitHub Release and trusted npm publishing workflows. A push to `main` also deploys the browser playground through GitHub Pages.
 
 ## Relationship to Eyeling
 
@@ -578,7 +585,7 @@ A useful rule of thumb:
 | Human-auditable derivations | Either | Both can emit proof explanations when requested. |
 | Large generated Horn-clause workloads | deriva | The engine specializes in predicate/arity indexing, scalar argument indexes, fast fact paths, and materialized output goals. |
 
-On local smoke benchmarks, deriva is substantially faster on large generated Horn-clause and recursion-heavy workloads. These numbers are 5-run medians with stdout redirected to `/dev/null`, using Node.js `v22.16.0`, deriva from this checkout, and Eyeling package version `1.34.6` with its default output mode. The ratio is `Eyeling median / deriva median`, so larger numbers mea deriva was faster.
+On local smoke benchmarks, deriva is substantially faster on large generated Horn-clause and recursion-heavy workloads. These numbers are 5-run medians with stdout redirected to `/dev/null`, using Node.js `v22.16.0`, deriva from this checkout, and Eyeling package version `1.34.6` with its default output mode. The ratio is `Eyeling median / deriva median`, so larger numbers mean deriva was faster.
 
 | Example | deriva median | Eyeling median | Ratio |
 | --- | ---: | ---: | ---: |

package/docs/language-reference.md

@@ -33,6 +33,7 @@
   - [8.2 Equality, identity, and unification](#82-equality-identity-and-unification)
   - [8.3 Goal-directed execution versus model-theoretic meaning](#83-goal-directed-execution-versus-model-theoretic-meaning)
   - [8.4 Built-ins and operational extensions](#84-built-ins-and-operational-extensions)
+  - [8.5 Stratified negation](#85-stratified-negation)
 - [9. Standard built-in predicates](#9-standard-built-in-predicates)
   - [9.1 Equality and unification](#91-equality-and-unification)
   - [9.2 Arithmetic](#92-arithmetic)
@@ -48,6 +49,7 @@
 - [11. Declarations](#11-declarations)
   - [11.1 Automatic hybrid reasoning](#111-automatic-hybrid-reasoning)
   - [11.2 Default-output materialization](#112-default-output-materialization)
+  - [11.3 Advisory modes and determinism](#113-advisory-modes-and-determinism)
 - [12. deriva Sockets](#12-deriva-sockets)
   - [12.1 Socket vocabulary](#121-socket-vocabulary)
   - [12.2 Socket example](#122-socket-example)
@@ -802,7 +804,7 @@ A conforming deriva implementation supports the standard language described abov
 
 Browser execution, package layout, CLI URL loading, and any implementation-specific built-ins described in host documentation are outside this conformance surface unless separately standardized.
 
-Conformance cases live in the repository under `test/conformance/`. They are run by `npm test` before the example suite, and can be run alone with `node test/run-conformance.mjs`. Positive cases have input programs under `conformance/cases/` and exact expected standard-output files under `conformance/expected/`; both use `.pl` so expected output remains deriva-readable. Expected-error cases live under `conformance/errors/` with exact messages under `conformance/expected-errors/`. Expected-warning cases live under `conformance/warnings/` with exact `--warnings` stdout and stderr files under `conformance/expected-warnings/`. The corpus is grouped by language area, including arithmetic, strings, lists, terms, atoms, variables, negation, declarations, materialization, rules, syntax, and errors.
+Conformance cases live in the repository under `test/conformance/`. They are run by `npm test` before the example suite, and can be run alone with `node test/run-conformance.mjs`. Positive cases have input programs under `test/conformance/cases/` and exact expected standard-output files under `test/conformance/expected/`; both use `.pl` so expected output remains deriva-readable. Expected-error cases live under `test/conformance/errors/` with exact messages under `test/conformance/expected-errors/`. Expected-warning cases live under `test/conformance/warnings/` with exact `--warnings` stdout and stderr files under `test/conformance/expected-warnings/`. Proof cases live under `test/conformance/proofs/` with exact explanation output under `test/conformance/expected-proofs/`. The corpus is grouped by language area, including arithmetic, strings, lists, terms, atoms, variables, negation, declarations, materialization, rules, syntax, and errors.
 
 ## 15. Relationship to ISO Prolog
 

package/package.json

@@ -3,7 +3,7 @@
   "publishConfig": {
     "access": "public"
   },
-  "version": "0.0.5",
+  "version": "0.0.7",
   "description": "Deriva turns facts and rules into answers and proofs.",
   "type": "module",
   "main": "./index.js",

package/playground.html

@@ -3,6 +3,7 @@
 <head>
   <meta charset="utf-8">
   <meta name="viewport" content="width=device-width, initial-scale=1">
+  <link rel="icon" type="image/png" href="docs/assets/deriva-logo.png">
   <title>Deriva Playground</title>
   <style>
     :root {