eyeling 1.28.8 → 1.29.0

package/test/api.test.js

@@ -769,6 +769,132 @@ bad.:example a bad.:Person.
 `,
     expectError: true,
   },
+  {
+    name: '12k2 invalid syntax: raw newline in short string literal should throw',
+    opt: { proofComments: false },
+    input: `
+@prefix : <http://example.org/> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+
+:my :value "
+123".
+
+{
+    :my :value "\n123".
+}
+=>
+{
+    :result :has :crash-syntax-11.
+}.
+
+{} => {
+    :test :contains :crash-syntax-11.
+}.
+
+{
+    :result :has :crash-syntax-11.
+}
+=>
+{
+    :test :is false.
+}.
+`,
+    expectError: true,
+  },
+  {
+    name: '12k3 invalid syntax: repeated dots in numeric-looking literal should throw',
+    opt: { proofComments: false },
+    input: `
+@prefix : <http://example.org/> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+
+:my :value 1.2.3.4.5.
+
+{
+    :my :value 1.2.3.4.5.
+}
+=>
+{
+    :result :has :crash-syntax-12.
+}.
+
+{} => {
+    :test :contains :crash-syntax-12.
+}.
+
+{
+    :result :has :crash-syntax-12.
+}
+=>
+{
+    :test :is false.
+}.
+`,
+    expectError: true,
+  },
+  {
+    name: '12k4 success literal: signed integer shorthand parses',
+    opt: { proofComments: false },
+    input: `
+@prefix : <http://example.org/> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+
+:my :value +42.
+
+{
+    :my :value +42.
+}
+=>
+{
+    :result :has :success-literal-32.
+}.
+
+{} => {
+    :test :contains :success-literal-32.
+}.
+
+{
+    :result :has :success-literal-32.
+}
+=>
+{
+    :test :is true.
+}.
+`,
+    expect: [/:result\s+:has\s+:success-literal-32\s*\./, /:test\s+:is\s+true\s*\./],
+  },
+  {
+    name: '12k5 success literal: leading-dot decimal shorthand parses',
+    opt: { proofComments: false },
+    input: `
+@prefix : <http://example.org/> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+
+:my :value .5.
+
+{
+    :my :value .5.
+}
+=>
+{
+    :result :has :success-literal-33.
+}.
+
+{} => {
+    :test :contains :success-literal-33.
+}.
+
+{
+    :result :has :success-literal-33.
+}
+=>
+{
+    :test :is true.
+}.
+`,
+    expect: [/:result\s+:has\s+:success-literal-33\s*\./, /:test\s+:is\s+true\s*\./],
+  },
+
   {
     name: '12l regression: IRIREF \\u escape decodes before log:uri comparison (mismatch stays falsey)',
     opt: { proofComments: false },
@@ -1360,7 +1486,7 @@ _:l2 rdf:rest rdf:nil.
       odrl:action ?Ignore ;
       odrl:duty [ odrl:action ?A ]
   ].
-  ( "%% Duty_(a,t)(action:%s)\n%% => ~Possible_(a,t)(~action:%s)\n" ?A ?A ) string:format ?Str.
+  ( "%% Duty_(a,t)(action:%s)\\n%% => ~Possible_(a,t)(~action:%s)\\n" ?A ?A ) string:format ?Str.
 }
 =>
 {

package/test/playground.test.js

@@ -906,16 +906,30 @@ ${JSON.stringify(last, null, 2)}`);
     const fuseProgram = fs.readFileSync(path.join(ROOT, 'examples', 'fuse.n3'), 'utf8');
     const outputStringProgram = `@prefix : <#> .
 @prefix log: <http://www.w3.org/2000/10/swap/log#> .
-:report log:outputString "## Hello from output string\n\nLine 2 with **bold** and [Eyeling](https://example.org/eyeling)\n" .
+:report log:outputString """## Hello from output string
+
+Line 2 with **bold** and [Eyeling](https://example.org/eyeling)
+""" .
 `;
     const riskMarkdownOutputStringProgram = `@prefix : <#> .
 @prefix log: <http://www.w3.org/2000/10/swap/log#> .
-:report log:outputString "# Risk report\n\n### Clause H1 — score 100\n\nRisk: secondary use is permitted without a safeguard. Clause H1: Hospital may provide electronic health data for secondary use.\n\n- **Mitigation for clause H1:** Require a permit before secondary use.\n" .
+:report log:outputString """# Risk report
+
+### Clause H1 — score 100
+
+Risk: secondary use is permitted without a safeguard. Clause H1: Hospital may provide electronic health data for secondary use.
+
+- **Mitigation for clause H1:** Require a permit before secondary use.
+""" .
 `;
     const baseOnlyMarkdownProgram = `@base <https://raw.githubusercontent.com/eyereasoner/eyeling/refs/heads/main/examples/smoke-arithmetic.n3> .
 @prefix : <#> .
 @prefix log: <http://www.w3.org/2000/10/swap/log#> .
-:report log:outputString "# stateurl link base\n\n[N3 rules](../smoke-arithmetic.n3)\n[Input TriG](../input/smoke-arithmetic.trig)\n" .
+:report log:outputString """# stateurl link base
+
+[N3 rules](../smoke-arithmetic.n3)
+[Input TriG](../input/smoke-arithmetic.trig)
+""" .
 `;
     const logQueryTurtleProgram = `@prefix : <#> .
 @prefix log: <http://www.w3.org/2000/10/swap/log#> .

package/test/store.test.js

@@ -0,0 +1,138 @@
+#!/usr/bin/env node
+'use strict';
+
+const fs = require('node:fs');
+const os = require('node:os');
+const path = require('node:path');
+
+const { pass, failResult, info } = require('./report');
+const { Iri, Triple } = require('../lib/prelude');
+const { createFactStore } = require('../lib/store');
+const { runAsync } = require('../index.js');
+
+const EX = 'http://example.org/';
+const a = new Iri(EX + 'a');
+const p = new Iri(EX + 'p');
+const q = new Iri(EX + 'q');
+const b = new Iri(EX + 'b');
+const c = new Iri(EX + 'c');
+const x = new Iri(EX + 'x');
+const y = new Iri(EX + 'y');
+const r = new Iri(EX + 'r');
+const z = new Iri(EX + 'z');
+
+const triples = [
+  new Triple(a, p, b),
+  new Triple(a, p, c),
+  new Triple(a, q, b),
+  new Triple(x, p, b),
+  new Triple(y, r, z),
+];
+
+async function collect(iterable) {
+  const out = [];
+  for await (const item of iterable) out.push(item);
+  return out;
+}
+
+async function withStore(factory, fn) {
+  const store = await factory();
+  try {
+    await store.batchAdd(triples, 'explicit');
+    await fn(store);
+  } finally {
+    if (store && typeof store.close === 'function') await store.close();
+  }
+}
+
+async function expectCount(store, label, args, expected) {
+  const out = await collect(store.match(...args));
+  if (out.length !== expected) {
+    throw new Error(`${label}: expected ${expected} match(es), got ${out.length}`);
+  }
+}
+
+const tests = [
+  {
+    name: 'memory store supports all eight triple match shapes',
+    fn: async () => withStore(() => createFactStore({ type: 'memory' }), async (store) => {
+      await expectCount(store, '(s,p,o)', [a, p, b], 1);
+      await expectCount(store, '(s,p,?)', [a, p, null], 2);
+      await expectCount(store, '(s,?,o)', [a, null, b], 2);
+      await expectCount(store, '(s,?,?)', [a, null, null], 3);
+      await expectCount(store, '(?,p,o)', [null, p, b], 2);
+      await expectCount(store, '(?,p,?)', [null, p, null], 3);
+      await expectCount(store, '(?,?,o)', [null, null, b], 3);
+      await expectCount(store, '(?,?,?)', [null, null, null], 5);
+    }),
+  },
+  {
+    name: 'persistent store supports all eight triple match shapes and duplicate prevention',
+    fn: async () => {
+      const dir = fs.mkdtempSync(path.join(os.tmpdir(), 'eyeling-store-test-'));
+      try {
+        await withStore(() => createFactStore({ name: 'patterns', path: dir, clear: true }), async (store) => {
+          await expectCount(store, '(s,p,o)', [a, p, b], 1);
+          await expectCount(store, '(s,p,?)', [a, p, null], 2);
+          await expectCount(store, '(s,?,o)', [a, null, b], 2);
+          await expectCount(store, '(s,?,?)', [a, null, null], 3);
+          await expectCount(store, '(?,p,o)', [null, p, b], 2);
+          await expectCount(store, '(?,p,?)', [null, p, null], 3);
+          await expectCount(store, '(?,?,o)', [null, null, b], 3);
+          await expectCount(store, '(?,?,?)', [null, null, null], 5);
+          const added = await store.add(new Triple(a, p, b), 'inferred');
+          if (added) throw new Error('duplicate insertion should return false');
+          if (typeof store.kindOf === 'function') {
+            const mask = await store.kindOf(new Triple(a, p, b));
+            if ((mask & 1) === 0 || (mask & 2) === 0) throw new Error('explicit/inferred bitmask should be preserved');
+          }
+        });
+      } finally {
+        fs.rmSync(dir, { recursive: true, force: true });
+      }
+    },
+  },
+  {
+    name: 'runAsync reuses a named persistent store across runs',
+    fn: async () => {
+      const dir = fs.mkdtempSync(path.join(os.tmpdir(), 'eyeling-runasync-store-'));
+      try {
+        const first = await runAsync('@prefix : <http://example.org/> .\n:a :p :b .', { store: { name: 'dataset', path: dir, clear: true } });
+        if (first.store) await first.store.close();
+
+        const second = await runAsync('@prefix : <http://example.org/> .\n{ ?s :p ?o } => { ?s :q ?o } .', { store: { name: 'dataset', path: dir } });
+        try {
+          const text = second.closureN3 || '';
+          if (!text.includes(':a :q :b .') && !text.includes(':a :q :b.')) throw new Error(`expected stored fact to feed rule, got:\n${text}`);
+          if (!second.store) throw new Error('runAsync should return the opened store');
+          const qMatches = await collect(second.store.match(a, q, b));
+          if (qMatches.length !== 1) throw new Error('expected inferred fact to be persisted');
+        } finally {
+          if (second.store) await second.store.close();
+        }
+      } finally {
+        fs.rmSync(dir, { recursive: true, force: true });
+      }
+    },
+  },
+];
+
+(async function main() {
+  const startAll = Date.now();
+  let passed = 0;
+  for (let i = 0; i < tests.length; i += 1) {
+    const n = i + 1;
+    const t0 = Date.now();
+    try {
+      await tests[i].fn();
+      pass(n, tests[i].name, Date.now() - t0);
+      passed += 1;
+    } catch (e) {
+      failResult(n, tests[i].name, Date.now() - t0);
+      console.error(e && e.stack ? e.stack : e);
+      process.exitCode = 1;
+      break;
+    }
+  }
+  info(`Store tests: ${passed}/${tests.length} passed`, Date.now() - startAll);
+})();

package/tools/bundle.js

@@ -240,6 +240,10 @@ function getBrowserApi() {
 
 export const INFERENCE_FUSE_EXIT_CODE = 65;
 
+export function runAsync(input, opts) {
+  return getBrowserApi().runAsync(input, opts);
+}
+
 export function reasonStream(input, opts) {
   return getBrowserApi().reasonStream(input, opts);
 }
@@ -248,6 +252,10 @@ export function reasonRdfJs(input, opts) {
   return getBrowserApi().reasonRdfJs(input, opts);
 }
 
+export function createFactStore(options) {
+  return getBrowserApi().createFactStore(options);
+}
+
 export function registerBuiltin(iri, handler) {
   return getBrowserApi().registerBuiltin(iri, handler);
 }
@@ -295,9 +303,11 @@ const eyeling = {
     return getBrowserApi().version;
   },
   INFERENCE_FUSE_EXIT_CODE,
+  runAsync,
   reasonStream,
   reasonRdfJs,
   rdfjs,
+  createFactStore,
   registerBuiltin,
   unregisterBuiltin,
   registerBuiltinModule,