eyemind 0.1.36 → 0.1.37

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "eyemind",
-  "version": "0.1.36",
+  "version": "0.1.37",
   "description": "A dependency-free JavaScript rule language with forward and backward reasoning and checkable proofs.",
   "type": "module",
   "main": "./src/index.js",

package/src/engine.js

@@ -611,7 +611,7 @@ export class Solver {
   // For a rule semi-naive search can take, the key of each body goal answered
   // by facts alone, or null for a primitive or a negation or collection; null
   // for other rules. Negations and collections consult lower strata only
-  // (Section 4.5), so they do not change within one.
+  // (Section 6.1), so they do not change within one.
   directKeys(clause) {
     if (this.direct.has(clause.id)) return this.direct.get(clause.id);
     let keys = [];
@@ -887,7 +887,7 @@ export function run(program, { goal = null, goals = null, proof = false, maxDept
 }
 
 // The comment that opens a run's output and proof: what its conclusions are
-// (SPEC Section 7.6), and that there are none when there are none.
+// (SPEC Section 8.6), and that there are none when there are none.
 function conclusionsHeading(kind, count) {
   if (kind === 'halted') return "// Halted: a contradiction() holds; the facts derived until then, ending with 'false'.";
   if (kind === 'goals') {

package/src/program.js

@@ -31,7 +31,7 @@ export class Clause {
   }
 
   // The names of the variables only the conclusion mentions: a forward rule
-  // gives each a Skolem witness per firing (SPEC Section 7.2).
+  // gives each a Skolem witness per firing (SPEC Section 8.2).
   get witnessNames() {
     if (this.witnessed === null) {
       const inBody = new Set();

package/src/proof.js

@@ -494,7 +494,7 @@ function checkResolution(program, step, fail, tally) {
 // Skolem term of this firing, skolem(Rule, Variable, Arguments), where
 // Arguments are the ground values of the conclusions' other variables, in
 // order of first occurrence, leaving out those that hold a witness of this
-// firing: the term the reasoner makes (Section 7.2). Returns null when the
+// firing: the term the reasoner makes (Section 8.2). Returns null when the
 // rule has no witnesses, else whether they all hold; head is the rule's
 // renamed conclusions and names maps its variables to their renamed ones.
 function checkWitnesses(clause, head, names, env) {

package/src/reader.js

@@ -12,7 +12,7 @@ import { CHAINED, RESERVED_WORDS, decodeName } from './writer.js';
 const JS_VALUES = new Set(['undefined', 'NaN', 'Infinity']);
 
 // The name of the variable an identifier writes: names starting VAR_ are
-// encoded (Section 8.1).
+// encoded (Section 9.2).
 function variableName(text, line) {
   if (!text.startsWith('VAR_')) return text;
   const name = decodeName(text);

package/src/version.js

@@ -1,2 +1,2 @@
 // The release this checkout is; ./release keeps it in step with package.json.
-export const VERSION = '0.1.36';
+export const VERSION = '0.1.37';