eyeling 1.33.1 → 1.33.3

package/test/run.js

@@ -5,57 +5,206 @@ const cp = require('node:child_process');
 
 const { C, formatDuration } = require('./report');
 
+const node = process.execPath;
+
+// Run test files directly instead of through `npm run …`. This keeps the
+// output in the compact Eyeling reporter style and avoids npm's script banners
+// between the colored OK/FAIL test lines.
 const sections = [
-  ['Build bundle', 'npm', ['run', 'build']],
-  ['Packlist checks', 'npm', ['run', 'test:packlist']],
-  ['API tests', 'npm', ['run', 'test:api']],
-  ['Streaming RDF Messages tests', 'npm', ['run', 'test:stream-messages']],
-  ['Builtin contract tests', 'npm', ['run', 'test:builtins']],
-  ['Store tests', 'npm', ['run', 'test:store']],
-  ['Examples tests', 'npm', ['run', 'test:examples']],
-  ['Proof examples tests', 'npm', ['run', 'test:examples:proof']],
-  ['Manifest tests', 'npm', ['run', 'test:manifest']],
-  ['RDF 1.2 syntax tests', 'npm', ['run', 'test:rdf12']],
-  ['Playground tests', 'npm', ['run', 'test:playground']],
-  ['Eyelang second-engine tests', 'npm', ['run', 'test:eyelang']],
-  ['Package tests', 'npm', ['run', 'test:package']],
+  ['Build bundle', node, ['tools/bundle.js']],
+  ['Packlist checks', node, ['test/packlist.test.js']],
+  ['API tests', node, ['test/api.test.js']],
+  ['Streaming RDF Messages tests', node, ['test/stream_messages.test.js']],
+  ['Builtin contract tests', node, ['test/builtins.test.js']],
+  ['Store tests', node, ['test/store.test.js']],
+  ['Examples tests', node, ['test/examples.test.js']],
+  ['Proof examples tests', node, ['test/examples.test.js', '--proof-only']],
+  ['Manifest tests', node, ['test/manifest.test.js']],
+  ['RDF 1.2 syntax tests', node, ['test/rdf12.test.js']],
+  ['Playground tests', node, ['test/playground.test.js']],
+  ['Eyelang second-engine tests', node, ['test/eyelang.test.js']],
+  ['Eyelang corpus tests', node, ['test/eyelang/run-all.mjs']],
+  ['Package tests', node, ['test/package.test.js']],
 ];
 
+const aggregate = {
+  total: 0,
+  ok: 0,
+  incomplete: 0,
+  nonconform: 0,
+  crashed: 0,
+};
+
 function sectionLine(kind, label, ms) {
   const suffix = typeof ms === 'number' ? ` (${formatDuration(ms)})` : '';
   console.log(`${C.y}==${C.n} ${kind} ${label}${suffix}`);
 }
 
+function stripAnsi(s) {
+  return String(s).replace(/\x1b\[[0-9;]*m/g, '');
+}
+
+function makeSectionSummary() {
+  return {
+    // Normal Eyeling tests use report.js: "OK 001 ..." / "FAIL 001 ...".
+    reportOk: 0,
+    reportFail: 0,
+    // Older corpus runners used: "1 OK ..." / "1 FAIL ...". Keep
+    // parsing that shape so aggregate totals remain robust across local runs.
+    numberedOk: 0,
+    numberedFail: 0,
+    // notation3tests prints a suite-level line with the real manifest count.
+    manifestTotal: null,
+  };
+}
+
+function parseLineForSummary(rawLine, summary) {
+  const line = stripAnsi(rawLine).trimEnd();
+  if (!line) return;
+
+  if (/^OK\s+\d{3}\s/.test(line)) {
+    summary.reportOk++;
+    return;
+  }
+  if (/^FAIL\s+\d{3}\s/.test(line)) {
+    summary.reportFail++;
+    return;
+  }
+  if (/^\d+\s+OK\s+/.test(line)) {
+    summary.numberedOk++;
+    return;
+  }
+  if (/^\d+\s+FAIL\s+/.test(line)) {
+    summary.numberedFail++;
+    return;
+  }
+
+  const manifest = line.match(
+    /^TOTAL\s+\[COUNT:(\d+)\]\s+OK:\s*[^0-9]*(\d+)[^0-9]+INCOMPLETE:\s*[^0-9]*(\d+)[^0-9]+NONCONFORM:\s*[^0-9]*(\d+)[^0-9]+CRASHED:\s*[^0-9]*(\d+)/,
+  );
+  if (manifest) {
+    summary.manifestTotal = {
+      count: Number(manifest[1]),
+      ok: Number(manifest[2]),
+      incomplete: Number(manifest[3]),
+      nonconform: Number(manifest[4]),
+      crashed: Number(manifest[5]),
+    };
+  }
+}
+
+function makeStreamingParser(summary) {
+  let buffer = '';
+  return {
+    feed(chunk) {
+      buffer += String(chunk);
+      const lines = buffer.split(/\r?\n/);
+      buffer = lines.pop() || '';
+      for (const line of lines) parseLineForSummary(line, summary);
+    },
+    finish() {
+      if (buffer) parseLineForSummary(buffer, summary);
+      buffer = '';
+    },
+  };
+}
+
+function addSectionToAggregate(summary) {
+  if (summary.manifestTotal) {
+    aggregate.total += summary.manifestTotal.count;
+    aggregate.ok += summary.manifestTotal.ok;
+    aggregate.incomplete += summary.manifestTotal.incomplete;
+    aggregate.nonconform += summary.manifestTotal.nonconform;
+    aggregate.crashed += summary.manifestTotal.crashed;
+    return;
+  }
+
+  const ok = summary.reportOk + summary.numberedOk;
+  const failed = summary.reportFail + summary.numberedFail;
+  aggregate.total += ok + failed;
+  aggregate.ok += ok;
+  aggregate.nonconform += failed;
+}
+
+function scoreLine() {
+  const score = aggregate.total === 0 ? 0 : (100 * aggregate.ok) / aggregate.total;
+  return `TOTAL [COUNT:${aggregate.total}] OK: ⭐${aggregate.ok}⭐ INCOMPLETE: ⭐${aggregate.incomplete}⭐ NONCONFORM: ⭐${aggregate.nonconform}⭐ CRASHED: ⭐${aggregate.crashed}⭐ => SCORE: ⭐⭐⭐${score.toFixed(1)}⭐⭐⭐`;
+}
+
+function childEnv() {
+  const env = { ...process.env };
+  if (!env.NO_COLOR && C.g && !env.FORCE_COLOR) env.FORCE_COLOR = '1';
+  return env;
+}
+
 function runSection(label, cmd, args) {
   console.log('');
   sectionLine('Start', label);
   const startedAt = Date.now();
-  const r = cp.spawnSync(cmd, args, {
-    cwd: process.cwd(),
-    env: process.env,
-    shell: process.platform === 'win32',
-    stdio: 'inherit',
+  const summary = makeSectionSummary();
+  const stdoutParser = makeStreamingParser(summary);
+  const stderrParser = makeStreamingParser(summary);
+
+  return new Promise((resolve) => {
+    const child = cp.spawn(cmd, args, {
+      cwd: process.cwd(),
+      env: childEnv(),
+      shell: process.platform === 'win32',
+      stdio: ['inherit', 'pipe', 'pipe'],
+    });
+
+    child.stdout.on('data', (chunk) => {
+      stdoutParser.feed(chunk);
+      process.stdout.write(chunk);
+    });
+    child.stderr.on('data', (chunk) => {
+      stderrParser.feed(chunk);
+      process.stderr.write(chunk);
+    });
+
+    child.on('error', (err) => {
+      stdoutParser.finish();
+      stderrParser.finish();
+      addSectionToAggregate(summary);
+      aggregate.total++;
+      aggregate.crashed++;
+      const elapsed = Date.now() - startedAt;
+      console.error(`${C.r}FAIL${C.n} ${label}: ${err.message || String(err)}`);
+      sectionLine('End', `${label} failed`, elapsed);
+      console.log('');
+      resolve(1);
+    });
+
+    child.on('close', (code, signal) => {
+      stdoutParser.finish();
+      stderrParser.finish();
+      addSectionToAggregate(summary);
+      const elapsed = Date.now() - startedAt;
+      const status = typeof code === 'number' ? code : 1;
+      if (status !== 0 && summary.reportFail + summary.numberedFail === 0 && !summary.manifestTotal) {
+        aggregate.total++;
+        aggregate.crashed++;
+      }
+      const suffix = signal ? ` (${signal})` : '';
+      sectionLine('End', status === 0 ? `${label} passed` : `${label} failed${suffix}`, elapsed);
+      console.log('');
+      resolve(status);
+    });
   });
-  const elapsed = Date.now() - startedAt;
-  if (r.error) {
-    console.error(`${C.r}FAIL${C.n} ${label}: ${r.error.message || String(r.error)}`);
-    sectionLine('End', `${label} failed`, elapsed);
-    console.log('');
-    return 1;
-  }
-  const status = typeof r.status === 'number' ? r.status : 1;
-  sectionLine('End', status === 0 ? `${label} passed` : `${label} failed`, elapsed);
-  console.log('');
-  return status;
 }
 
-let status = 0;
-for (const [label, cmd, args] of sections) {
-  const sectionStatus = runSection(label, cmd, args);
-  if (sectionStatus !== 0) {
-    status = sectionStatus;
-    break;
+(async function main() {
+  let status = 0;
+  for (const [label, cmd, args] of sections) {
+    const sectionStatus = await runSection(label, cmd, args);
+    if (sectionStatus !== 0) {
+      status = sectionStatus;
+      break;
+    }
   }
-}
 
-process.exit(status);
+  console.log('');
+  console.log(scoreLine());
+
+  process.exit(status);
+})();

package/examples/eyelang/annotation-rdf12.ttl

@@ -1,12 +0,0 @@
-# Inspired by eyereasoner/eyeling examples/annotation.n3.
-# Demonstrates RDF 1.2 annotation syntax lowered through rdf:reifies.
-VERSION "1.2"
-PREFIX : <http://example.org/annotation#>
-PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
-
-:a :name "Alice" ~ :t {| :statedBy :bob ; :recorded "2021-07-07"^^xsd:date |} .
-
-{ ?Statement rdf:reifies <<( ?Person :name ?Name )>> .
-  ?Statement :statedBy ?Agent . }
-=>
-{ ?Person :nameStatementBy ?Agent . } .

package/examples/eyelang/directional-language.ttl

@@ -1,9 +0,0 @@
-# RDF 1.2 directional language-tagged string example.
-VERSION "1.2"
-PREFIX : <http://example.org/lang#>
-
-:greeting :label "שלום"@he--rtl .
-
-{ ?Thing :label ?Text . }
-=>
-{ ?Thing :hasDirectionalLabel true . } .

package/examples/eyelang/eyeling-ackermann.n3

@@ -1,41 +0,0 @@
-# Adapted from eyeling/examples/ackermann.n3.
-# Demonstrates <= rules over RDF lists and exact BigInt-capable math builtins.
-@prefix math: <http://www.w3.org/2000/10/swap/math#>.
-@prefix : <https://eyereasoner.github.io/eyeling/examples/ackermann#>.
-
-# ackermann(x, y) = hyper(x, y + 3, 2) - 3.
-{ (?X ?Y) :ackermann ?A } <= {
-  (?Y 3) math:sum ?B.
-  (?X ?B 2) :ackermann ?C.
-  (?C 3) math:difference ?A.
-}.
-
-# Successor, addition, multiplication, and exponentiation levels.
-{ (0 ?Y ?Z) :ackermann ?A } <= { (?Y 1) math:sum ?A }.
-{ (1 ?Y ?Z) :ackermann ?A } <= { (?Y ?Z) math:sum ?A }.
-{ (2 ?Y ?Z) :ackermann ?A } <= { (?Y ?Z) math:product ?A }.
-{ (3 ?Y ?Z) :ackermann ?A } <= { (?Z ?Y) math:exponentiation ?A }.
-
-# Tetration and higher hyperoperations.
-{ (?X 0 ?Z) :ackermann 1 } <= { ?X math:greaterThan 3 }.
-{ (?X ?Y ?Z) :ackermann ?A } <= {
-  ?X math:greaterThan 3.
-  ?Y math:notEqualTo 0.
-  (?Y 1) math:difference ?B.
-  (?X ?B ?Z) :ackermann ?C.
-  (?X 1) math:difference ?D.
-  (?D ?C ?Z) :ackermann ?A.
-}.
-
-{ (0 0) :ackermann ?A } => { :ackermann_0_0 :value ?A }.
-{ (0 6) :ackermann ?A } => { :ackermann_0_6 :value ?A }.
-{ (1 2) :ackermann ?A } => { :ackermann_1_2 :value ?A }.
-{ (1 7) :ackermann ?A } => { :ackermann_1_7 :value ?A }.
-{ (2 2) :ackermann ?A } => { :ackermann_2_2 :value ?A }.
-{ (2 9) :ackermann ?A } => { :ackermann_2_9 :value ?A }.
-{ (3 4) :ackermann ?A } => { :ackermann_3_4 :value ?A }.
-{ (3 1000) :ackermann ?A } => { :ackermann_3_1000 :value ?A }.
-{ (4 0) :ackermann ?A } => { :ackermann_4_0 :value ?A }.
-{ (4 1) :ackermann ?A } => { :ackermann_4_1 :value ?A }.
-{ (4 2) :ackermann ?A } => { :ackermann_4_2 :value ?A }.
-{ (5 0) :ackermann ?A } => { :ackermann_5_0 :value ?A }.

package/examples/eyelang/eyeling-age-threshold.n3

@@ -1,12 +0,0 @@
-# Adapted from eyeling/examples/age.n3.
-# Classifies people against age thresholds using N3 math builtins.
-@prefix math: <http://www.w3.org/2000/10/swap/math#>.
-@prefix : <https://eyereasoner.github.io/eyeling/examples/age#>.
-
-:alice :age 23.
-:bob :age 17.
-:carol :age 65.
-
-{ ?P :age ?A. ?A math:notLessThan 18. } => { ?P :adult true. }.
-{ ?P :age ?A. ?A math:notLessThan 65. } => { ?P :senior true. }.
-{ ?P :adult true. ?P :senior true. } => { ?P :discount :seniorPass. }.

package/examples/eyelang/eyeling-alignment-demo.n3

@@ -1,11 +0,0 @@
-# Adapted from eyeling/examples/alignment-demo.n3.
-# Simple vocabulary alignment using owl:sameAs and an explicit transfer rule.
-@prefix owl: <http://www.w3.org/2002/07/owl#>.
-@prefix schema: <https://schema.org/>.
-@prefix ex: <https://example.org/ns#>.
-@prefix : <https://eyereasoner.github.io/ns#>.
-
-ex:label = schema:name.
-:alice ex:label "Alice".
-
-{ ?p owl:sameAs ?q. ?s ?p ?o. } => { ?s ?q ?o. }.

package/examples/eyelang/eyeling-allen-interval-calculus-small.n3

@@ -1,13 +0,0 @@
-# Adapted from eyeling/examples/allen-interval-calculus.n3.
-# Classifies a few interval relations with math comparisons.
-@prefix math: <http://www.w3.org/2000/10/swap/math#>.
-@prefix : <https://eyereasoner.github.io/eyeling/examples/allen#>.
-
-:a :start 1; :end 3.
-:b :start 3; :end 5.
-:c :start 4; :end 8.
-:d :start 1; :end 8.
-
-{ ?X :end ?XE. ?Y :start ?YS. ?XE math:equalTo ?YS. } => { (?X ?Y) :allen :meets. }.
-{ ?X :start ?XS; :end ?XE. ?Y :start ?YS; :end ?YE. ?XS math:lessThan ?YS. ?XE math:greaterThan ?YS. ?XE math:lessThan ?YE. } => { (?X ?Y) :allen :overlaps. }.
-{ ?X :start ?XS; :end ?XE. ?Y :start ?YS; :end ?YE. ?XS math:equalTo ?YS. ?XE math:lessThan ?YE. } => { (?X ?Y) :allen :starts. }.

package/examples/eyelang/eyeling-backward-recursion.n3

@@ -1,11 +0,0 @@
-# Adapted from eyeling/examples/backward-recursion.n3.
-# Demonstrates recursive <= rules.
-@prefix : <urn:example#>.
-
-:a :parent :b.
-:b :parent :c.
-:c :parent :d.
-
-{ ?x :ancestor ?y } <= { ?x :parent ?y }.
-{ ?x :ancestor ?z } <= { ?x :parent ?y. ?y :ancestor ?z }.
-{ :a :ancestor ?who } => { :a :reaches ?who }.

package/examples/eyelang/eyeling-backward.n3

@@ -1,10 +0,0 @@
-# Adapted from eyeling/examples/backward.n3.
-# Backward rule example: <= acts like a :- rule over N3 triples.
-@prefix math: <http://www.w3.org/2000/10/swap/math#>.
-@prefix : <https://eyereasoner.github.io/ns#>.
-
-# something is more interesting if it is greater
-{ ?X :moreInterestingThan ?Y. } <= { ?X math:greaterThan ?Y. }.
-
-# derivation (forward)
-{ 5 :moreInterestingThan 3. } => { 5 :isIndeedMoreInterestingThan 3. }.

package/examples/eyelang/eyeling-basic-monadic-small.n3

@@ -1,11 +0,0 @@
-# Adapted from eyeling/examples/basic-monadic.n3.
-# A tiny monadic propagation benchmark.
-@prefix : <https://eyereasoner.github.io/eyeling/examples/basic-monadic#>.
-
-:i0 a :N0.
-:i1 a :N0.
-:i2 a :N1.
-
-{ ?X a :N0. } => { ?X a :N1. }.
-{ ?X a :N1. } => { ?X a :N2. }.
-{ ?X a :N2. } => { ?X :accepted true. }.

package/examples/eyelang/eyeling-bmi.n3

@@ -1,10 +0,0 @@
-# Adapted from eyeling/examples/bmi.n3.
-# Computes BMI from mass and squared height using math builtins.
-@prefix math: <http://www.w3.org/2000/10/swap/math#>.
-@prefix : <https://eyereasoner.github.io/ns#>.
-
-:alice :massKg 72;
-       :heightM 1.8.
-
-{ ?P :heightM ?H. (?H 2) math:exponentiation ?H2. } => { ?P :heightSquared ?H2. }.
-{ ?P :massKg ?M. ?P :heightSquared ?H2. (?M ?H2) math:quotient ?BMI. } => { ?P :bmi ?BMI. }.

package/examples/eyelang/eyeling-cat-koko.n3

@@ -1,15 +0,0 @@
-# Adapted from eyeling/examples/cat-koko.n3.
-# The original derives nested rules; this version keeps the animal split and log:notEqualTo test.
-@prefix log: <http://www.w3.org/2000/10/swap/log#>.
-@prefix : <https://eyereasoner.github.io/ns#>.
-
-:Koko a :Animal.
-
-{ :Koko a :Animal. } => {
-  :catKoko a :Cat.
-  :britishKoko a :BritishShortHair.
-}.
-
-{ ?X a :Cat. ?Y a :BritishShortHair. ?X log:notEqualTo ?Y. } => {
-  :test :is true.
-}.

package/examples/eyelang/eyeling-collatz-small.n3

@@ -1,11 +0,0 @@
-# Adapted from eyeling/examples/collatz-1000.n3.
-# A small, bounded Collatz step demonstration.
-@prefix math: <http://www.w3.org/2000/10/swap/math#>.
-@prefix : <https://eyereasoner.github.io/eyeling/examples/collatz#>.
-
-:case6 :value 6.
-:case7 :value 7.
-
-{ ?C :value ?N. (?N 2) math:remainder 0. (?N 2) math:integerQuotient ?M. } => { ?C :next ?M. }.
-{ ?C :value ?N. (?N 2) math:remainder 1. (?N 3) math:product ?T. (?T 1) math:sum ?M. } => { ?C :next ?M. }.
-{ ?C :next ?N. ?N math:greaterThan 10. } => { ?C :jumpsAboveTen true. }.

package/examples/eyelang/eyeling-collection.n3

@@ -1,11 +0,0 @@
-# Adapted from eyeling/examples/collection.n3.
-# Shows N3/RDF collections in subject and object positions.
-@prefix list: <http://www.w3.org/2000/10/swap/list#>.
-@prefix : <https://eyereasoner.github.io/eyeling/examples/collection#>.
-
-(1 _:b2 (2)) :p2 :q2.
-_:b2 :p :q.
-
-{ (1 _:b2 (2)) list:length ?Length. } => {
-  :collection :length ?Length.
-}.

package/examples/eyelang/eyeling-complex-arithmetic.n3

@@ -1,10 +0,0 @@
-# Adapted from eyeling/examples/complex.n3.
-# Computes complex addition on pair-shaped RDF collections.
-@prefix math: <http://www.w3.org/2000/10/swap/math#>.
-@prefix : <https://eyereasoner.github.io/eyeling/examples/complex#>.
-
-:z1 :cartesian (3 4).
-:z2 :cartesian (5 -2).
-
-{ ?A :cartesian (?AR ?AI). ?B :cartesian (?BR ?BI). (?AR ?BR) math:sum ?RR. (?AI ?BI) math:sum ?RI. } => { (?A ?B) :sum (?RR ?RI). }.
-{ (:z1 :z2) :sum ?Z. } => { :example :complexSum ?Z. }.

package/examples/eyelang/eyeling-context-association.n3

@@ -1,11 +0,0 @@
-# Adapted from eyeling/examples/context-association.n3.
-# Associates named contexts with facts and derives their subjects.
-@prefix : <https://eyereasoner.github.io/eyeling/examples/context-association#>.
-
-:ctx1 :contains :fact1.
-:ctx2 :contains :fact2.
-:fact1 :subject :alice; :predicate :likes; :object :tea.
-:fact2 :subject :bob; :predicate :likes; :object :coffee.
-
-{ ?C :contains ?F. ?F :subject ?S. } => { ?C :mentions ?S. }.
-{ ?C :mentions ?S. } => { ?S :mentionedIn ?C. }.

package/examples/eyelang/eyeling-control-system-small.n3

@@ -1,11 +0,0 @@
-# Adapted from eyeling/examples/control-system.n3.
-# Flags control measurements outside a safe envelope.
-@prefix math: <http://www.w3.org/2000/10/swap/math#>.
-@prefix : <https://eyereasoner.github.io/eyeling/examples/control-system#>.
-
-:loop1 :target 100; :actual 103; :tolerance 5.
-:loop2 :target 100; :actual 111; :tolerance 5.
-
-{ ?L :target ?T; :actual ?A. (?A ?T) math:difference ?D. ?D math:absoluteValue ?Abs. } => { ?L :absoluteError ?Abs. }.
-{ ?L :absoluteError ?E; :tolerance ?Tol. ?E math:notGreaterThan ?Tol. } => { ?L :status :ok. }.
-{ ?L :absoluteError ?E; :tolerance ?Tol. ?E math:greaterThan ?Tol. } => { ?L :status :alarm. }.

package/examples/eyelang/eyeling-crypto-builtins-extra.n3

@@ -1,10 +0,0 @@
-# Adapted from eyeling/examples/crypto-builtins-tests.n3.
-# Extra digest checks beyond the compact builtins demo.
-@prefix crypto: <http://www.w3.org/2000/10/swap/crypto#>.
-@prefix string: <http://www.w3.org/2000/10/swap/string#>.
-@prefix : <https://eyereasoner.github.io/eyeling/examples/crypto-extra#>.
-
-:payload :text "eyelang".
-
-{ :payload :text ?T. ?T crypto:sha256 ?H. ?H string:length ?L. } => { :payload :sha256Length ?L; :sha256 ?H. }.
-{ :payload :sha256Length 64. } => { :payload :hashLooksComplete true. }.

package/examples/eyelang/eyeling-crypto-builtins.n3

@@ -1,8 +0,0 @@
-# Inspired by eyeling/examples/crypto-builtins-tests.n3.
-@prefix crypto: <http://www.w3.org/2000/10/swap/crypto#>.
-@prefix : <https://eyereasoner.github.io/ns#>.
-
-:payload :text "eyelang".
-
-{ :payload :text ?Text. ?Text crypto:sha256 ?Digest. } => { :payload :sha256 ?Digest. }.
-{ :payload :text ?Text. ?Text crypto:md5 ?Digest. } => { :payload :md5 ?Digest. }.

package/examples/eyelang/eyeling-deep-taxonomy-10.n3

@@ -1,18 +0,0 @@
-# Adapted from eyeling/examples/deep-taxonomy-10.n3.
-# Depth-10 classification chain.
-@prefix : <https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#>.
-
-:ind a :N0.
-
-{ ?X a :N0. } => { ?X a :N1, :I1, :J1. }.
-{ ?X a :N1. } => { ?X a :N2, :I2, :J2. }.
-{ ?X a :N2. } => { ?X a :N3, :I3, :J3. }.
-{ ?X a :N3. } => { ?X a :N4, :I4, :J4. }.
-{ ?X a :N4. } => { ?X a :N5, :I5, :J5. }.
-{ ?X a :N5. } => { ?X a :N6, :I6, :J6. }.
-{ ?X a :N6. } => { ?X a :N7, :I7, :J7. }.
-{ ?X a :N7. } => { ?X a :N8, :I8, :J8. }.
-{ ?X a :N8. } => { ?X a :N9, :I9, :J9. }.
-{ ?X a :N9. } => { ?X a :N10, :I10, :J10. }.
-{ ?X a :N10. } => { ?X a :A2. }.
-{ :ind a :A2. } => { :test :is true. }.

package/examples/eyelang/eyeling-derived-backward-rule-flat.n3

@@ -1,10 +0,0 @@
-# Adapted from eyeling/examples/derived-backward-rule.n3.
-# Demonstrates an inverse-property rule without nested-rule materialization.
-@prefix : <https://eyereasoner.github.io/eyeling/examples/derived-backward-rule#>.
-
-:parentOf :invOf :childOf.
-:alice :parentOf :bob.
-:claire :parentOf :diana.
-
-{ ?P :invOf ?Q. ?Y ?P ?X. } => { ?X ?Q ?Y. }.
-{ ?X :childOf ?Y. } => { ?X :hasParent ?Y. }.

package/examples/eyelang/eyeling-derived-rule-flat.n3

@@ -1,9 +0,0 @@
-# Adapted from eyeling/examples/derived-rule.n3.
-# eyelang's N3 layer does not materialize nested rules yet, so this is a flat equivalent.
-@prefix : <https://eyereasoner.github.io/eyeling/examples/derived-rule#>.
-
-:Minka a :Cat.
-:Charly a :Dog.
-
-{ ?X a :Cat. ?Y a :Dog. } => { :test :is true. }.
-{ ?X a :Cat. ?Y a :Dog. } => { ?X :compatibleWith ?Y. }.

package/examples/eyelang/eyeling-digital-product-passport-small.n3

@@ -1,11 +0,0 @@
-# Adapted from eyeling/examples/digital-product-passport.n3.
-# Simple product passport conformance rules.
-@prefix string: <http://www.w3.org/2000/10/swap/string#>.
-@prefix : <https://eyereasoner.github.io/eyeling/examples/digital-product-passport#>.
-
-:bike1 :serial "EU-BIKE-001"; :batteryId "BAT-77"; :recycledContent "32%".
-:toy1 :serial "TOY-9"; :batteryId ""; :recycledContent "0%".
-
-{ ?P :serial ?S. ?S string:startsWith "EU-". } => { ?P :hasEuSerial true. }.
-{ ?P :batteryId ?B. ?B string:startsWith "BAT-". } => { ?P :hasBatteryPassport true. }.
-{ ?P :hasEuSerial true. ?P :hasBatteryPassport true. } => { ?P :passportStatus :ready. }.

package/examples/eyelang/eyeling-dijkstra-tiny.n3

@@ -1,14 +0,0 @@
-# Adapted from eyeling/examples/dijkstra.n3.
-# Tiny weighted path expansion without aggregate minimization.
-@prefix math: <http://www.w3.org/2000/10/swap/math#>.
-@prefix : <https://eyereasoner.github.io/eyeling/examples/dijkstra#>.
-
-:e1 :from :a; :to :b; :cost 2.
-:e2 :from :a; :to :c; :cost 5.
-:e3 :from :b; :to :c; :cost 1.
-:e4 :from :b; :to :d; :cost 4.
-:e5 :from :c; :to :d; :cost 1.
-
-{ ?E :from ?S; :to ?O; :cost ?C. } => { (?S ?O) :pathCost ?C. }.
-{ (?S ?M) :pathCost ?C1. ?E :from ?M; :to ?O; :cost ?C2. (?C1 ?C2) math:sum ?CT. } => { (?S ?O) :pathCost ?CT. }.
-{ (:a :d) :pathCost ?C. ?C math:notGreaterThan 6. } => { :route :candidateCost ?C. }.

package/examples/eyelang/eyeling-dog-license.n3

@@ -1,13 +0,0 @@
-# Adapted from eyeling/examples/dog.n3.
-# The original uses log:collectAllIn; this compatibility example supplies the count directly.
-@prefix math: <http://www.w3.org/2000/10/swap/math#>.
-@prefix : <https://eyereasoner.github.io/ns#>.
-
-:alice :hasDog :dog1, :dog2, :dog3, :dog4, :dog5;
-       :dogCount 5.
-:bob :hasDog :dog6, :dog7;
-     :dogCount 2.
-
-{ ?Subject :dogCount ?Count. ?Count math:greaterThan 4. } => {
-  ?Subject :mustHave :dogLicense.
-}.

package/examples/eyelang/eyeling-drone-corridor-planner-small.n3

@@ -1,13 +0,0 @@
-# Adapted from eyeling/examples/drone-corridor-planner.n3.
-# Finds allowed drone corridor hops under wind limits.
-@prefix math: <http://www.w3.org/2000/10/swap/math#>.
-@prefix : <https://eyereasoner.github.io/eyeling/examples/drone-corridor#>.
-
-:c1 :from :dock; :to :tower; :wind 12.
-:c2 :from :tower; :to :field; :wind 18.
-:c3 :from :dock; :to :field; :wind 25.
-:policy :maxWind 20.
-
-{ ?C :from ?A; :to ?B; :wind ?W. :policy :maxWind ?M. ?W math:notGreaterThan ?M. } => { ?C :allowed true. }.
-{ ?C :allowed true; :from ?A; :to ?B. } => { ?A :canFlyTo ?B. }.
-{ :dock :canFlyTo :tower. :tower :canFlyTo :field. } => { :mission :hasTwoHopRoute true. }.

package/examples/eyelang/eyeling-equals.n3

@@ -1,8 +0,0 @@
-# Adapted from eyeling/examples/equals.n3.
-# N3 '=' is lowered to owl:sameAs.
-@prefix owl: <http://www.w3.org/2002/07/owl#>.
-@prefix : <http://example.org/socrates#>.
-
-:X = :Y.
-
-{ :X owl:sameAs :Y. } => { :test :is true. }.

package/examples/eyelang/eyeling-equivalence-classes.n3

@@ -1,11 +0,0 @@
-# Adapted from eyeling/examples/equivalence-classes-overlap-implies-same-class.n3.
-# If two class sets share a member, they are linked as the same class.
-@prefix log: <http://www.w3.org/2000/10/swap/log#>.
-@prefix : <https://eyereasoner.github.io/eyeling/examples/equivalence-classes#>.
-
-:classA :member :alice, :bob.
-:classB :member :bob, :carol.
-:classC :member :diana.
-
-{ ?C1 :member ?X. ?C2 :member ?X. ?C1 log:notEqualTo ?C2. } => { ?C1 :sameClassAs ?C2. }.
-{ ?C1 :sameClassAs ?C2. } => { ?C2 :sameClassAs ?C1. }.

package/examples/eyelang/eyeling-euler-identity.n3

@@ -1,9 +0,0 @@
-# Adapted from eyeling/examples/euler-identity.n3.
-# Numeric trigonometric builtins around pi.
-@prefix math: <http://www.w3.org/2000/10/swap/math#>.
-@prefix : <https://eyereasoner.github.io/eyeling/examples/euler-identity#>.
-
-:pi :radians 3.141592653589793.
-
-{ :pi :radians ?P. ?P math:cos ?C. ?P math:sin ?S. } => { :euler :cosPi ?C; :sinPi ?S. }.
-{ :euler :cosPi ?C. ?C math:notGreaterThan -1. } => { :euler :cosPiAtMinusOne true. }.

package/examples/eyelang/eyeling-existential-rule.n3

@@ -1,9 +0,0 @@
-# Adapted from eyeling/examples/existential-rule.n3.
-# Uses explicit blank-node witnesses in the rule head.
-@prefix : <https://eyereasoner.github.io/eyeling/examples/existential-rule#>.
-
-:Socrates a :Human.
-:Plato a :Human.
-
-{ ?S a :Human. } => { ?S :hasNature _:humanNature. }.
-{ ?S :hasNature _:humanNature. } => { ?S :witnessed true. }.