eyeleng 1.0.2 → 1.0.4

package/HANDBOOK.md

@@ -1,6 +1,6 @@
 # Eyeleng Handbook
 
-This handbook explains Eyeleng both as JavaScript code and as a reasoning machine. It is written for a computer science student who knows basic programming, data structures, and logic, but may not yet know RDF, SHACL Rules, or forward-chaining reasoners.
+This handbook explains Eyeleng — short for **EYE Logic Engine** — both as JavaScript code and as a reasoning machine. It is written for a computer science student who knows basic programming, data structures, and logic, but may not yet know RDF, SHACL Rules, or forward-chaining reasoners.
 
 The chapters are meant to be read linearly. Each chapter also stands on its own, so you can jump directly to the parser, the evaluator, dependency analysis, imports, or the command-line interface when you need that part.
 
@@ -41,7 +41,7 @@ The chapters are meant to be read linearly. Each chapter also stands on its own,
 
 ## 1. What Eyeleng Is
 
-Eyeleng is a compact JavaScript implementation of the Shape Rules Language, or SRL, from the SHACL 1.2 Rules draft.
+Eyeleng stands for **EYE Logic Engine**. It is a compact JavaScript implementation of SHACL 1.2 Rules, including the Shape Rules Language, or SRL, and RDF Rules syntax front-ends.
 
 A tiny Eyeleng program looks like this:
 

package/README.md

@@ -3,7 +3,7 @@
 [![npm version](https://img.shields.io/npm/v/eyeleng.svg)](https://www.npmjs.com/package/eyeleng)
 [![DOI](https://img.shields.io/badge/DOI-10.5281%2Fzenodo.20342577-blue.svg)](https://doi.org/10.5281/zenodo.20342577)
 
-`eyeleng` is a JavaScript implementation of SHACL 1.2 Rules, including SRL and RDF Rules syntax front-ends.
+`eyeleng` stands for **EYE Logic Engine**. Eyeleng is a JavaScript implementation of SHACL 1.2 Rules, including SRL and RDF Rules syntax front-ends.
 
 ## Quick start
 
@@ -27,4 +27,6 @@ Open [Playground](https://eyereasoner.github.io/eyeleng/playground) for a self-c
 
 The examples live in [examples/](./examples/) at one level. Draft SRL examples are named `spec-*.srl`, RDF Rules syntax examples use `.ttl`, and deep taxonomy benchmarks are named `deep-taxonomy-*.srl`.
 
-Status: Eyeleng runs a growing implementation of the SHACL 1.2 Rules draft surface. It is not a conformance claim and does not implement SHACL validation.
+Status: Eyeleng runs a growing implementation of the SHACL 1.2 Rules draft surface. It does not implement SHACL validation.
+
+The official Eyeleng EARL 1.0 test report for the W3C SHACL 1.2 Rules manifest is in [reports/w3c-shacl12-rules-earl.ttl](./reports/w3c-shacl12-rules-earl.ttl). It records 88/88 passing tests for `https://w3c.github.io/data-shapes/shacl12-test-suite/tests/rules/manifest-rules.ttl`.

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "eyeleng",
-  "version": "1.0.2",
-  "description": "A JavaScript implementation of SHACL Rules, including SRL and RDF Rules syntax front-ends.",
+  "version": "1.0.4",
+  "description": "The EYE Logic Engine: a JavaScript implementation of SHACL Rules, including SRL and RDF Rules syntax front-ends.",
   "keywords": [
     "SRL",
     "reasoner"
@@ -25,6 +25,7 @@
     "dist",
     "src",
     "tools",
+    "reports",
     "test",
     "examples"
   ],