eyeling 1.24.5 → 1.24.7

package/HANDBOOK.md

@@ -36,7 +36,6 @@
 - [Appendix I — The Eyeling Playground](#app-i)
 - [Appendix J — Formalism Is Fine](#app-j)
 - [Appendix K — Whitehead-inspired becoming examples](#app-k)
-- [Appendix L — SEE: Specialized Eyeling Executables](#app-l)
 
 ---
 
@@ -3830,101 +3829,3 @@ For the handbook, these examples matter for two reasons. First, they provide a c
 
 That is why this appendix belongs after Appendix J. “Formalism is fine” not only because it supports rigor, but because it can remain flexible enough to describe worlds in motion. The becoming examples are small demonstrations of that claim. They show that a compact N3 reasoner can host process-oriented models without ceasing to be simple, readable, and executable.
 
----
-
-<a id="app-l"></a>
-
-## Appendix L — SEE: Specialized Eyeling Executables
-
-SEE, **Specialized Eyeling Executables**, is the companion example system under `see/`. It compiles selected Eyeling-style N3 programs into small, standalone JavaScript runners. The goal is not to replace the main reasoner. The goal is to turn a particular reasoning task into an executable artifact that carries its input evidence, derivation logic, entailment, explanation, and reference output together.
-
-The short mental model is:
-
-```text
-N3 source + TriG evidence -> specialized JavaScript -> entailment + explanation
-```
-
-### L.1 Why SEE exists
-
-The normal Eyeling CLI is a general reasoner: it parses an input file, runs the engine, and prints the resulting closure, selected query output, or rendered `log:outputString` report.
-
-SEE is narrower and more packageable. For each committed example, `see.js` generates:
-
-- `see/examples/<name>.js` — a runnable JavaScript derivation program,
-- `see/examples/input/<name>.trig` — the RDF/TriG evidence read by the runner,
-- `see/examples/output/<name>.md` — the expected Markdown result,
-- `see/examples/doc/<name>.md` — a short generated explanation of the compiled example.
-
-That makes each example easier to audit. A reviewer can inspect the source N3, the generated runner, the input evidence, and the expected entailment/explanation without reconstructing the whole test setup.
-
-### L.2 Entailment plus explanation
-
-SEE reports use an **Entailment** section and an **Explanation** section. The entailment is the selected result of the reasoning task. The explanation records how the compiled runner reached it: source facts, rules, selected support trees, and the formal TriG output when relevant.
-
-This vocabulary is deliberately more precise than a generic “result”. It says: the program is not merely presenting a suggestion; it is presenting something that follows from the encoded facts, rules, gates, and query projection.
-
-### L.3 Direct TriG input
-
-Generated SEE runners read their committed `.trig` input directly. Earlier versions used an intermediate `.n3` conversion step, but the current design keeps the evidence in TriG and lets the runner parse that committed input. This matters for examples that are closer to RDF data exchange than to hand-written N3 rule files.
-
-SEE includes RDF compatibility examples. The `triple_terms` example uses RDF 1.2 triple terms, and the `rdf_dataset` example combines ordinary default-graph triples, an RDF/TriG named graph block, and RDF 1.2 triple terms.
-
-A triple-term input can contain:
-
-```trig
-VERSION "1.2"
-
-:observation rdf:reifies <<( :sensor :reports :overheating )>> .
-```
-
-In RDF compatibility mode, Eyeling accepts this surface form by translating the triple term to a singleton quoted formula internally:
-
-```n3
-:observation rdf:reifies { :sensor :reports :overheating } .
-```
-
-The dataset example also uses named graph syntax, which RDF compatibility mode normalizes to `log:nameOf` graph terms:
-
-```trig
-:factoryDataset {
-  :observation rdf:reifies <<( :sensor :reports :overheating )>> .
-}
-```
-
-is compiled through the same internal N3 shape:
-
-```n3
-:factoryDataset log:nameOf {
-  :observation rdf:reifies { :sensor :reports :overheating } .
-} .
-```
-
-That is enough for SEE to demonstrate RDF 1.1/RDF 1.2-style dataset input and triple-term output without forcing Eyeling to implement a separate full RDF dataset model. The compatibility layer is explicit rather than default, so ordinary N3 files remain strict N3.
-
-### L.4 Generation and tests
-
-The root package scripts treat SEE as part of the normal repository workflow:
-
-```bash
-npm run generate
-npm run test:see
-```
-
-`npm run generate` refreshes the generated SEE artifacts from `see/examples/n3/*.n3`. `npm run test:see` runs every generated SEE example and compares its Markdown output with the committed reference output.
-
-In the full test suite, this means SEE is not just documentation. It is executable regression coverage for a broad range of Eyeling behavior: forward rules, backward rules, builtins, fuses, queries, RDF lists, formula-valued terms, generated explanations, opt-in RDF 1.2 triple-term compatibility, and opt-in RDF/TriG dataset-syntax compatibility.
-
-### L.5 When to add a SEE example
-
-A normal Eyeling example is best when you want to demonstrate a language feature or a compact reasoning pattern directly in N3.
-
-A SEE example is best when you want a more self-contained artifact:
-
-- the input evidence matters,
-- the final entailment should be explained in Markdown,
-- the example should be runnable without an external reasoner at runtime,
-- the generated JavaScript itself is worth inspecting,
-- or the example should become stable regression coverage for a specific reasoning workflow.
-
-In that sense, SEE is an executable publication format for selected Eyeling examples: small enough to read, deterministic enough to test, and explicit enough to audit.
-

package/README.md

@@ -1,6 +1,7 @@
 # eyeling
 
-[![npm version](https://img.shields.io/npm/v/eyeling.svg)](https://www.npmjs.com/package/eyeling) [![DOI](https://zenodo.org/badge/581706557.svg)](https://doi.org/10.5281/zenodo.19068086)
+[![npm version](https://img.shields.io/npm/v/eyeling.svg)](https://www.npmjs.com/package/eyeling)
+[![DOI](https://img.shields.io/badge/DOI-10.5281%2Fzenodo.19068086-blue.svg)](https://doi.org/10.5281/zenodo.19068086)
 
 A compact [Notation3 (N3)](https://notation3.org/) reasoner in **JavaScript**.
 
@@ -16,5 +17,4 @@ echo '@prefix : <http://example.org/> .
 
 - [Handbook](https://eyereasoner.github.io/eyeling/HANDBOOK)
 - [Playground](https://eyereasoner.github.io/eyeling/demo)
-- [SEE: Specialized Eyeling Executables](https://github.com/eyereasoner/eyeling/tree/main/see)
 - [Conformance report](https://codeberg.org/phochste/notation3tests/src/branch/main/reports/report.md)

package/dist/browser/eyeling.browser.js

@@ -4249,6 +4249,12 @@ function isBuiltinPred(p) {
     return v === LOG_NS + 'implies' || v === LOG_NS + 'impliedBy';
   }
 
+  // log:nameOf is the ordinary fact predicate used by the RDF/TriG
+  // compatibility layer for named graph blocks. It must remain matchable
+  // against extensional facts instead of being swallowed as an unimplemented
+  // log:* builtin.
+  if (v === LOG_NS + 'nameOf') return false;
+
   // Treat RDF Collections as list-term builtins too.
   if (v === RDF_NS + 'first' || v === RDF_NS + 'rest') {
     return true;

package/{see/examples/n3 → examples}/annotation.n3

@@ -1,4 +1,4 @@
-@prefix : <https://eyereasoner.github.io/see/examples/annotation#>.
+@prefix : <https://eyereasoner.github.io/eyeling/examples/annotation#>.
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 @prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
 :a :name "Alice" .

package/{see/examples/n3/backward_recursion.n3 → examples/backward-recursion.n3}

@@ -2,8 +2,6 @@
 # Demonstrates recursive <= rules compiled into specialized JavaScript.
 
 @prefix : <urn:example#>.
-:a :parent :b.
-:b :parent :c.
 
 { ?x :ancestor ?y } <= { ?x :parent ?y }.
 { ?x :ancestor ?z } <= { ?x :parent ?y. ?y :ancestor ?z }.

package/examples/collection.n3

@@ -0,0 +1,3 @@
+@prefix : <https://eyereasoner.github.io/eyeling/examples/collection#>.
+(1 _:b2 (2)) :p2 :q2 .
+_:b2 :p :q .

package/examples/context-association.n3

@@ -0,0 +1,59 @@
+# Context association
+#
+# Uses an external RDF/TriG input dataset whose named graph blocks associate a
+# data graph, a signature graph, and a metadata graph. This Eyeling example
+# verifies that the graph contexts form a signed association around Bob's data.
+
+@prefix foaf: <http://xmlns.com/foaf/0.1/>.
+@prefix sec: <https://w3id.org/security#>.
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
+@prefix log: <http://www.w3.org/2000/10/swap/log#>.
+@prefix : <http://example.org/#>.
+
+{
+  ?dataGraph log:nameOf ?dataContext.
+  ?dataContext log:includes { :Bob foaf:name "Bob" }.
+
+  ?signatureGraph log:nameOf ?signatureContext.
+  ?signatureContext log:includes {
+    ?dataGraph sec:proof ?dataSignature.
+    ?proof a sec:DataIntegrityProof.
+    ?proof sec:cryptosuite "ecdsa-rdfc-2019".
+    ?proof sec:issuer <https://university.example/issuers/14>.
+    ?proof sec:validUntil "2025-04-03T00:00:00.000Z"^^xsd:dateTime.
+  }.
+
+  ?metadataGraph log:nameOf ?metadataContext.
+  ?metadataContext log:includes {
+    ?signatureGraph sec:proof ?metadataSignature.
+    ?metadataProof a sec:DataIntegrityProof.
+    ?metadataProof sec:proofPurpose "assertionMethod".
+  }.
+}
+=>
+{
+  :association :subject :Bob.
+  :association :dataGraph ?dataGraph.
+  :association :signatureGraph ?signatureGraph.
+  :association :metadataGraph ?metadataGraph.
+  :association :cryptosuite "ecdsa-rdfc-2019".
+  :association :issuer <https://university.example/issuers/14>.
+  :association :status :contextAssociationVerified.
+}.
+
+{
+  :association :status :contextAssociationVerified.
+}
+=>
+{
+  :report log:outputString "# Context association\n\n## Entailment\nThe RDF dataset associates Bob's data graph with a Data Integrity proof graph and a second metadata proof graph.\n\n## Explanation\nThe input TriG names three graph contexts. The data graph states Bob's name. The signature graph links to that data graph with a proof and records an ecdsa-rdfc-2019 Data Integrity proof from the university issuer. The metadata graph then signs the signature graph itself, giving a chained context association.".
+}.
+
+# query
+{
+  :association ?P ?O.
+}
+log:query
+{
+  :association ?P ?O.
+}.

package/{see/examples/n3/dijkstra_risk_path.n3 → examples/dijkstra-risk-path.n3}

@@ -1,35 +1,20 @@
 # ==================
 # Dijkstra Risk Path
 # ==================
-# N3-compiled version of the risk-adjusted route example. The original JSON
+# N3 version of the risk-adjusted route example. The original JSON
 # input is preserved as the data-input sidecar; this source compiles the
 # executable derivation and report.
 
-@prefix : <https://eyereasoner.github.io/see/examples/dijkstra-risk-path#>.
+@prefix : <https://eyereasoner.github.io/eyeling/examples/dijkstra-risk-path#>.
 @prefix math: <http://www.w3.org/2000/10/swap/math#>.
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 @prefix string: <http://www.w3.org/2000/10/swap/string#>.
 
-:Case
-  :question "Which clinic-to-hub route has the lowest risk-adjusted score?";
-  :start :ClinicA;
-  :goal :HubZ;
-  :riskWeight 2.0.
 
-:pathB
-  :routeText "ClinicA -> DepotB -> LabD -> HubZ";
-  :rawCost 10.0;
-  :riskSum 0.55;
-  :score 11.10;
-  :edgeCount 3;
-  :uses :ClinicA, :DepotB, :LabD, :HubZ.
 
-:pathC :score 11.30.
-:pathRelay :score 11.70.
-:pathDirectC :rawCost 10.0; :score 11.60; :riskSum 0.80.
-:pathViaC :rawCost 8.0; :score 11.20; :riskSum 1.60.
 
 # The selected route must be strictly lower than each enumerated alternative.
+
 {
   :pathB :score ?Best.
   :pathC :score ?CScore.

package/{see/examples/n3/eco_route_insight.n3 → examples/eco-route-insight.n3}

@@ -1,60 +1,15 @@
 # =================
 # Eco Route Insight
 # =================
-# N3-compiled version of the privacy-preserving eco route insight. The JSON
+# N3 version of the privacy-preserving eco route insight. The JSON
 # input remains the data-input sidecar; this source compiles the local decision
 # and signed-envelope explanation.
 
-@prefix : <https://eyereasoner.github.io/see/examples/eco-route-insight#>.
+@prefix : <https://eyereasoner.github.io/eyeling/examples/eco-route-insight#>.
 @prefix math: <http://www.w3.org/2000/10/swap/math#>.
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 @prefix string: <http://www.w3.org/2000/10/swap/string#>.
 
-:Scenario
-  :driver "Jamal";
-  :audience "Depot X";
-  :allowedUse "ui.eco.banner";
-  :issuedAt "2025-01-01T09:00:00Z";
-  :expiresAt "2025-01-01T11:00:00Z".
-
-:Policy
-  :fuelIndexThreshold 120.0;
-  :maxEtaDelayMinutes 5;
-  :allowedUse "ui.eco.banner";
-  :signatureAlgorithm "HMAC-SHA256".
-
-:Shipment :id "shipment-1"; :payloadTons 2.5.
-
-:currentRoute
-  :id "current-route";
-  :label "Current urban route";
-  :distanceKm 42.0;
-  :gradientFactor 1.15;
-  :etaMinutes 64;
-  :fuelIndex 120.75.
-
-:altLowFuel
-  :id "alt-low-fuel";
-  :label "Lower-fuel route";
-  :distanceKm 38.0;
-  :gradientFactor 1.05;
-  :etaMinutes 66;
-  :fuelIndex 99.75.
-
-:altHillyShortcut
-  :id "alt-hilly-shortcut";
-  :label "Shorter hilly shortcut";
-  :distanceKm 35.0;
-  :gradientFactor 1.42;
-  :etaMinutes 63;
-  :fuelIndex 124.25.
-
-:Envelope
-  :rawDataExported "no";
-  :payloadDigest "00e19becd91e81d6881749655d23d43002d9ea714bba61e855eafbc8ef9a5135";
-  :signatureKey "local-demo-key";
-  :signature "7fFGBN8fyI7xrmRz5VreeAUSf3LC_ywbj32NGk2ovUs".
-
 {
   :currentRoute :fuelIndex ?Current; :etaMinutes ?CurrentEta.
   :altLowFuel :fuelIndex ?Alt; :etaMinutes ?AltEta.

package/{see/examples/n3/genetic_knapsack_selection.n3 → examples/genetic-knapsack-selection.n3}

@@ -1,36 +1,14 @@
 # ===========================
 # Genetic Knapsack Selection
 # ===========================
-# N3-compiled version of the deterministic one-bit mutation knapsack example.
+# N3 version of the deterministic one-bit mutation knapsack example.
 # The original item list JSON is preserved as the data-input sidecar.
 
-@prefix : <https://eyereasoner.github.io/see/examples/genetic-knapsack-selection#>.
+@prefix : <https://eyereasoner.github.io/eyeling/examples/genetic-knapsack-selection#>.
 @prefix math: <http://www.w3.org/2000/10/swap/math#>.
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 @prefix string: <http://www.w3.org/2000/10/swap/string#>.
 
-:Run
-  :capacity 50;
-  :startGenome "000000000000";
-  :maxGenerations 64.
-
-:FinalLocal
-  :genome "101000000101";
-  :selectedItems "item01, item03, item10, item12";
-  :weight 50;
-  :value 101;
-  :fitness 999899;
-  :generationsEvaluated 5.
-
-:ExhaustiveOptimum
-  :genome "001000011111";
-  :value 104.
-
-:NeighborSummary
-  :oneBitNeighborsEvaluated 12;
-  :bestNeighborValue 101;
-  :capacityRespected true.
-
 {
   :Run :capacity ?Capacity.
   :FinalLocal :weight ?Weight; :value ?Value.

package/{see/examples → examples}/input/annotation.trig

@@ -1,10 +1,10 @@
-@prefix : <https://eyereasoner.github.io/see/examples/annotation#> .
+@prefix : <https://eyereasoner.github.io/eyeling/examples/annotation#> .
 @prefix log: <http://www.w3.org/2000/10/swap/log#> .
 @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
 @prefix see: <https://example.org/see#> .
 @prefix in: <https://example.org/see/input#> .
 
-# Formal SEE input evidence in RDF 1.2 TriG.
+# Formal Eyeling input evidence in RDF 1.2 TriG.
 # The generated runner reads this TriG evidence directly.
 
 :a :name "Alice" .
@@ -22,7 +22,7 @@ in:metadata {
   in:run see:sourceFile "examples/n3/annotation.n3" .
   in:run see:sourceSHA256 "fa6faef8fac2e328ccfb894c21eef260b0935a936b5e9806f8889719e7f39e4f" .
   in:run see:description "" .
-  in:run see:compiler "see.js N3-to-JS compiler" .
+  in:run see:compiler "Eyeling RDF/TriG input sidecar" .
   in:run see:inputFacts 4 .
   in:run see:compiledRules 0 .
   in:run see:compiledBackwardRules 0 .

package/{see/examples/input/backward_recursion.trig → examples/input/backward-recursion.trig}

@@ -3,7 +3,7 @@
 @prefix see: <https://example.org/see#> .
 @prefix in: <https://example.org/see/input#> .
 
-# Formal SEE input evidence in RDF 1.2 TriG.
+# Formal Eyeling input evidence in RDF 1.2 TriG.
 # The generated runner reads this TriG evidence directly.
 
 :a :parent :b .
@@ -16,7 +16,7 @@ in:metadata {
   in:run see:sourceFile "examples/n3/backward_recursion.n3" .
   in:run see:sourceSHA256 "1249b9825793b7f0174c87a4d0e44752cb63f3940cc332c0d00fc6bb15a081d1" .
   in:run see:description "Demonstrates recursive <= rules compiled into specialized JavaScript." .
-  in:run see:compiler "see.js N3-to-JS compiler" .
+  in:run see:compiler "Eyeling RDF/TriG input sidecar" .
   in:run see:inputFacts 2 .
   in:run see:compiledRules 1 .
   in:run see:compiledBackwardRules 2 .

package/{see/examples/input/builtin_coverage.trig → examples/input/builtin-coverage.trig}

@@ -3,7 +3,7 @@
 @prefix see: <https://example.org/see#> .
 @prefix in: <https://example.org/see/input#> .
 
-# Formal SEE input evidence in RDF 1.2 TriG.
+# Formal Eyeling input evidence in RDF 1.2 TriG.
 # The generated runner reads this TriG evidence directly.
 
 # No source facts were present in the N3 program.
@@ -15,7 +15,7 @@ in:metadata {
   in:run see:sourceFile "examples/n3/builtin_coverage.n3" .
   in:run see:sourceSHA256 "4ea25a79da436dd28fb54de1a7d0f5d49729b47f384f9bd36411c5cc1b821dbc" .
   in:run see:description "Exercises math, string, list, crypto, time, and log builtins in compiled JavaScript." .
-  in:run see:compiler "see.js N3-to-JS compiler" .
+  in:run see:compiler "Eyeling RDF/TriG input sidecar" .
   in:run see:inputFacts 0 .
   in:run see:compiledRules 1 .
   in:run see:compiledBackwardRules 0 .

package/{see/examples → examples}/input/collection.trig

@@ -1,9 +1,9 @@
-@prefix : <https://eyereasoner.github.io/see/examples/collection#> .
+@prefix : <https://eyereasoner.github.io/eyeling/examples/collection#> .
 @prefix log: <http://www.w3.org/2000/10/swap/log#> .
 @prefix see: <https://example.org/see#> .
 @prefix in: <https://example.org/see/input#> .
 
-# Formal SEE input evidence in RDF 1.2 TriG.
+# Formal Eyeling input evidence in RDF 1.2 TriG.
 # The generated runner reads this TriG evidence directly.
 
 (1 _:b2 (2)) :p2 :q2 .
@@ -16,7 +16,7 @@ in:metadata {
   in:run see:sourceFile "examples/n3/collection.n3" .
   in:run see:sourceSHA256 "ebce812d5e37729432cb77a638cde078af333450cc12ebd66b06083867cee7fa" .
   in:run see:description "" .
-  in:run see:compiler "see.js N3-to-JS compiler" .
+  in:run see:compiler "Eyeling RDF/TriG input sidecar" .
   in:run see:inputFacts 2 .
   in:run see:compiledRules 0 .
   in:run see:compiledBackwardRules 0 .

package/examples/input/context-association.trig

@@ -0,0 +1,35 @@
+@prefix foaf: <http://xmlns.com/foaf/0.1/>.
+@prefix sec: <https://w3id.org/security#>.
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
+@prefix : <http://example.org/#>.
+
+_:g0 {
+    :Bob foaf:name "Bob".
+}
+
+# sign data graph
+_:g1 {
+    _:g0 sec:proof _:dataSignature.
+    _:signature1 
+        a sec:DataIntegrityProof;
+        sec:cryptosuite "ecdsa-rdfc-2019";
+        sec:created "2021-11-13T18:19:39Z";
+        sec:verificationMethod "https://university.example/issuers/14#key-1";
+        sec:proofPurpose "assertionMethod";
+        sec:proofValue "z58DAdFfa9SkqZMVPxAQp...jQCrfFPP2oumHKtz";
+        sec:issuer <https://university.example/issuers/14>;
+        sec:validFrom "2024-04-03T00:00:00.000Z"^^xsd:dateTime;
+        sec:validUntil "2025-04-03T00:00:00.000Z"^^xsd:dateTime.
+}
+
+# sign signature graph for verifiable metadata if needed
+_:g3 {
+    _:g1 sec:proof _:signature2.
+    _:signature2 
+        a sec:DataIntegrityProof;
+        sec:cryptosuite "ecdsa-rdfc-2019";
+        sec:created "2021-11-13T18:19:39Z";
+        sec:verificationMethod "https://university.example/issuers/14#key-1";
+        sec:proofPurpose "assertionMethod";
+        sec:proofValue "adad123efv434r5200...dqed2t44v43das".
+}

package/{see/examples/input/dijkstra_risk_path.trig → examples/input/dijkstra-risk-path.trig}

@@ -1,11 +1,11 @@
-@prefix : <https://eyereasoner.github.io/see/examples/dijkstra-risk-path#> .
+@prefix : <https://eyereasoner.github.io/eyeling/examples/dijkstra-risk-path#> .
 @prefix math: <http://www.w3.org/2000/10/swap/math#> .
 @prefix log: <http://www.w3.org/2000/10/swap/log#> .
 @prefix string: <http://www.w3.org/2000/10/swap/string#> .
 @prefix see: <https://example.org/see#> .
 @prefix in: <https://example.org/see/input#> .
 
-# Formal SEE input evidence in RDF 1.2 TriG.
+# Formal Eyeling input evidence in RDF 1.2 TriG.
 # The generated runner reads this TriG evidence directly.
 
 :Case :question "Which clinic-to-hub route has the lowest risk-adjusted score?" .
@@ -36,8 +36,8 @@ in:metadata {
   in:run see:title "Dijkstra Risk Path" .
   in:run see:sourceFile "examples/n3/dijkstra_risk_path.n3" .
   in:run see:sourceSHA256 "a11f23a58252e557817c5d26cabdfee5ce8c5c08a40a54ab680eaa8960c88937" .
-  in:run see:description "N3-compiled version of the risk-adjusted route example. The original JSON\ninput is preserved as the data-input sidecar; this source compiles the\nexecutable derivation and report." .
-  in:run see:compiler "see.js N3-to-JS compiler" .
+  in:run see:description "N3 version of the risk-adjusted route example. The original JSON\ninput is preserved as the data-input sidecar; this source compiles the\nexecutable derivation and report." .
+  in:run see:compiler "Eyeling RDF/TriG input sidecar" .
   in:run see:inputFacts 21 .
   in:run see:compiledRules 3 .
   in:run see:compiledBackwardRules 0 .

package/{see/examples/input/eco_route_insight.trig → examples/input/eco-route-insight.trig}

@@ -1,11 +1,11 @@
-@prefix : <https://eyereasoner.github.io/see/examples/eco-route-insight#> .
+@prefix : <https://eyereasoner.github.io/eyeling/examples/eco-route-insight#> .
 @prefix math: <http://www.w3.org/2000/10/swap/math#> .
 @prefix log: <http://www.w3.org/2000/10/swap/log#> .
 @prefix string: <http://www.w3.org/2000/10/swap/string#> .
 @prefix see: <https://example.org/see#> .
 @prefix in: <https://example.org/see/input#> .
 
-# Formal SEE input evidence in RDF 1.2 TriG.
+# Formal Eyeling input evidence in RDF 1.2 TriG.
 # The generated runner reads this TriG evidence directly.
 
 :Scenario :driver "Jamal" .
@@ -48,8 +48,8 @@ in:metadata {
   in:run see:title "Eco Route Insight" .
   in:run see:sourceFile "examples/n3/eco_route_insight.n3" .
   in:run see:sourceSHA256 "b5af0caa2e473b5957ba8cec647ee4e2edf4cdc2a5c28110e8536c19381b0bd3" .
-  in:run see:description "N3-compiled version of the privacy-preserving eco route insight. The JSON\ninput remains the data-input sidecar; this source compiles the local decision\nand signed-envelope explanation." .
-  in:run see:compiler "see.js N3-to-JS compiler" .
+  in:run see:description "N3 version of the privacy-preserving eco route insight. The JSON\ninput remains the data-input sidecar; this source compiles the local decision\nand signed-envelope explanation." .
+  in:run see:compiler "Eyeling RDF/TriG input sidecar" .
   in:run see:inputFacts 33 .
   in:run see:compiledRules 2 .
   in:run see:compiledBackwardRules 0 .

package/{see/examples/input/genetic_knapsack_selection.trig → examples/input/genetic-knapsack-selection.trig}

@@ -1,11 +1,11 @@
-@prefix : <https://eyereasoner.github.io/see/examples/genetic-knapsack-selection#> .
+@prefix : <https://eyereasoner.github.io/eyeling/examples/genetic-knapsack-selection#> .
 @prefix math: <http://www.w3.org/2000/10/swap/math#> .
 @prefix log: <http://www.w3.org/2000/10/swap/log#> .
 @prefix string: <http://www.w3.org/2000/10/swap/string#> .
 @prefix see: <https://example.org/see#> .
 @prefix in: <https://example.org/see/input#> .
 
-# Formal SEE input evidence in RDF 1.2 TriG.
+# Formal Eyeling input evidence in RDF 1.2 TriG.
 # The generated runner reads this TriG evidence directly.
 
 :Run :capacity 50 .
@@ -29,8 +29,8 @@ in:metadata {
   in:run see:title "Genetic Knapsack Selection" .
   in:run see:sourceFile "examples/n3/genetic_knapsack_selection.n3" .
   in:run see:sourceSHA256 "c8fb351156e7656f2e3600f0d1eaf8a624742a91f688425564822cea78530855" .
-  in:run see:description "N3-compiled version of the deterministic one-bit mutation knapsack example.\nThe original item list JSON is preserved as the data-input sidecar." .
-  in:run see:compiler "see.js N3-to-JS compiler" .
+  in:run see:description "N3 version of the deterministic one-bit mutation knapsack example.\nThe original item list JSON is preserved as the data-input sidecar." .
+  in:run see:compiler "Eyeling RDF/TriG input sidecar" .
   in:run see:inputFacts 14 .
   in:run see:compiledRules 2 .
   in:run see:compiledBackwardRules 0 .

package/{see/examples/input/rc_discharge_envelope.trig → examples/input/rc-discharge-envelope.trig}

@@ -1,11 +1,11 @@
-@prefix : <https://eyereasoner.github.io/see/examples/rc-discharge-envelope#> .
+@prefix : <https://eyereasoner.github.io/eyeling/examples/rc-discharge-envelope#> .
 @prefix math: <http://www.w3.org/2000/10/swap/math#> .
 @prefix log: <http://www.w3.org/2000/10/swap/log#> .
 @prefix string: <http://www.w3.org/2000/10/swap/string#> .
 @prefix see: <https://example.org/see#> .
 @prefix in: <https://example.org/see/input#> .
 
-# Formal SEE input evidence in RDF 1.2 TriG.
+# Formal Eyeling input evidence in RDF 1.2 TriG.
 # The generated runner reads this TriG evidence directly.
 
 :case :samplePeriod 0.025 .
@@ -27,8 +27,8 @@ in:metadata {
   in:run see:title "RC Discharge Envelope" .
   in:run see:sourceFile "examples/n3/rc_discharge_envelope.n3" .
   in:run see:sourceSHA256 "41acff69cd2994230faedf5a466b4c43d47cdff9dc6d834baecd9865979160b8" .
-  in:run see:description "Certify when a sampled RC capacitor is guaranteed below tolerance using an\nupper decay bound. The witness is derived by N3 rules and compiled to SEE." .
-  in:run see:compiler "see.js N3-to-JS compiler" .
+  in:run see:description "Certify when a sampled RC capacitor is guaranteed below tolerance using an\nupper decay bound. The witness is derived by N3 rules and run by Eyeling." .
+  in:run see:compiler "Eyeling RDF/TriG input sidecar" .
   in:run see:inputFacts 12 .
   in:run see:compiledRules 6 .
   in:run see:compiledBackwardRules 0 .

package/{see/examples/input/rdf_dataset.trig → examples/input/rdf-dataset.trig}

@@ -1,12 +1,12 @@
 VERSION "1.2"
 
-@prefix : <https://eyereasoner.github.io/see/examples/rdf-dataset#> .
+@prefix : <https://eyereasoner.github.io/eyeling/examples/rdf-dataset#> .
 @prefix log: <http://www.w3.org/2000/10/swap/log#> .
 @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
 @prefix see: <https://example.org/see#> .
 @prefix in: <https://example.org/see/input#> .
 
-# Formal SEE input evidence in RDF 1.2 TriG.
+# Formal Eyeling input evidence in RDF 1.2 TriG.
 # The generated runner reads this TriG evidence directly.
 
 :sensor :reports :overheating .
@@ -24,8 +24,8 @@ in:metadata {
   in:run see:title "RDF dataset compatibility" .
   in:run see:sourceFile "examples/n3/rdf_dataset.n3" .
   in:run see:sourceSHA256 "76035a24eb72fc1d28a5e1f3021baefee0dde667aa8fc9f2b0a111f9c773b744" .
-  in:run see:description "RDF 1.1 named graph data and RDF 1.2 triple terms are normalized to ordinary N3 graph terms before SEE compiles the derivation." .
-  in:run see:compiler "see.js N3-to-JS compiler" .
+  in:run see:description "RDF 1.1 named graph data and RDF 1.2 triple terms are normalized to ordinary N3 graph terms before Eyeling reads the derivation." .
+  in:run see:compiler "Eyeling RDF/TriG input sidecar" .
   in:run see:inputFacts 4 .
   in:run see:compiledRules 1 .
   in:run see:compiledBackwardRules 0 .

package/{see/examples/input/rdf_message_flow.trig → examples/input/rdf-message-flow.trig}

@@ -1,4 +1,4 @@
-@prefix : <https://eyereasoner.github.io/see/examples/rdf-message-flow#> .
+@prefix : <https://eyereasoner.github.io/eyeling/examples/rdf-message-flow#> .
 @prefix msg: <https://example.org/msg#> .
 @prefix prov: <http://www.w3.org/ns/prov#> .
 @prefix sosa: <http://www.w3.org/ns/sosa/> .
@@ -10,7 +10,7 @@
 @prefix see: <https://example.org/see#> .
 @prefix in: <https://example.org/see/input#> .
 
-# Formal SEE input evidence in RDF 1.2 TriG.
+# Formal Eyeling input evidence in RDF 1.2 TriG.
 # The generated runner reads this TriG evidence directly.
 
 :temperatureFlow rdf:type msg:MessageStream .
@@ -91,7 +91,7 @@ in:metadata {
   in:run see:sourceFile "examples/n3/rdf_message_flow.n3" .
   in:run see:sourceSHA256 "e4e534c8ac3c2aa276e7158cca8d3146531879033f73685c302b486be2ab0099" .
   in:run see:description "A companion to rdf_messages.n3. This example focuses on a live stream where\nRDF Messages continuously flow through a small processing pipeline. The next\nmessage is released only after the current message reaches the sink, so the\nstream behaves as an ordered, replayable flow rather than a single merged RDF\ngraph." .
-  in:run see:compiler "see.js N3-to-JS compiler" .
+  in:run see:compiler "Eyeling RDF/TriG input sidecar" .
   in:run see:inputFacts 42 .
   in:run see:compiledRules 9 .
   in:run see:compiledBackwardRules 0 .