eyeling 1.24.4 → 1.24.6

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/{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 .

package/{see/examples/input/rdf_messages.trig → examples/input/rdf-messages.trig}

@@ -1,4 +1,4 @@
-@prefix : <https://eyereasoner.github.io/see/examples/rdf-messages#> .
+@prefix : <https://eyereasoner.github.io/eyeling/examples/rdf-messages#> .
 @prefix msg: <https://w3c-cg.github.io/rsp/spec/messages#> .
 @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.
 
 :temperatureLog rdf:type msg:MessageLog .
@@ -59,8 +59,8 @@ in:metadata {
   in:run see:title "RDF Messages" .
   in:run see:sourceFile "examples/n3/rdf_messages.n3" .
   in:run see:sourceSHA256 "2ea8b414b92e65531cf384000955ca47811d5b7c779a8d2c9fb007515e745f32" .
-  in:run see:description "This SEE example models the main idea from\nhttps://pietercolpaert.be/papers/eswc2026-rdf-messages/:\na message stream/log is not just one freely mergeable RDF graph. It is an\nordered sequence of RDF Datasets that are interpreted atomically, one message\nat a time. The middle message is deliberately empty to model a heartbeat, and\nthe local blank-node label \"_:b0\" is deliberately reused by two messages to\nshow message-scoped blank nodes." .
-  in:run see:compiler "see.js N3-to-JS compiler" .
+  in:run see:description "This Eyeling example models the main idea from\nhttps://pietercolpaert.be/papers/eswc2026-rdf-messages/:\na message stream/log is not just one freely mergeable RDF graph. It is an\nordered sequence of RDF Datasets that are interpreted atomically, one message\nat a time. The middle message is deliberately empty to model a heartbeat, and\nthe local blank-node label \"_:b0\" is deliberately reused by two messages to\nshow message-scoped blank nodes." .
+  in:run see:compiler "Eyeling RDF/TriG input sidecar" .
   in:run see:inputFacts 25 .
   in:run see:compiledRules 6 .
   in:run see:compiledBackwardRules 0 .

package/{see/examples/input/school_placement_audit.trig → examples/input/school-placement-audit.trig}

@@ -1,11 +1,11 @@
-@prefix : <https://eyereasoner.github.io/see/examples/school-placement-audit#> .
+@prefix : <https://eyereasoner.github.io/eyeling/examples/school-placement-audit#> .
 @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.
 
 :Policy :maxWalkingMeters 2500 .
@@ -41,8 +41,8 @@ in:metadata {
   in:run see:title "School Placement Route Audit" .
   in:run see:sourceFile "examples/n3/school_placement_audit.n3" .
   in:run see:sourceSHA256 "8bea39b2ea4c3045fed64b6e7adef0ca8cdf8d14c3735e28e831a759dae600fd" .
-  in:run see:description "N3-compiled version of the school placement audit. The original student,\nschool, distance, and policy 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 school placement audit. The original student,\nschool, distance, and policy JSON is preserved as the data-input sidecar." .
+  in:run see:compiler "Eyeling RDF/TriG input sidecar" .
   in:run see:inputFacts 26 .
   in:run see:compiledRules 4 .
   in:run see:compiledBackwardRules 0 .

package/{see/examples/input/smoke_arithmetic.trig → examples/input/smoke-arithmetic.trig}

@@ -5,7 +5,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.
 
 :Input :x 6 .
@@ -17,8 +17,8 @@ in:metadata {
   in:run see:title "Smoke Arithmetic" .
   in:run see:sourceFile "examples/n3/smoke_arithmetic.n3" .
   in:run see:sourceSHA256 "e254b8b9be8207c07f29cf30426466e2d916286b5f93ea4385786a5d80303499" .
-  in:run see:description "Small Notation3 source used to prove that see.js generates a specialized JS\nexample which derives its answer from facts, math built-ins, fuses, and string\nformatting instead of reading a prewritten conclusion." .
-  in:run see:compiler "see.js N3-to-JS compiler" .
+  in:run see:description "Small Notation3 source used to prove that Eyeling derives its answer from facts, math built-ins, fuses, and string formatting instead of reading a prewritten conclusion." .
+  in:run see:compiler "Eyeling RDF/TriG input sidecar" .
   in:run see:inputFacts 2 .
   in:run see:compiledRules 2 .
   in:run see:compiledBackwardRules 0 .

package/{see/examples/input/triple_terms.trig → examples/input/triple-terms.trig}

@@ -1,12 +1,12 @@
 VERSION "1.2"
 
-@prefix : <https://eyereasoner.github.io/eyeling/see/examples/triple_terms#> .
+@prefix : <https://eyereasoner.github.io/eyeling/examples/triple_terms#> .
 @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
 @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.
 
 :observation rdf:reifies <<( :sensor :reports :overheating )>> .
@@ -19,7 +19,7 @@ in:metadata {
   in:run see:sourceFile "examples/n3/triple_terms.n3" .
   in:run see:sourceSHA256 "f94fae1b4087f790c085c4dd1570875694238a882213951b457480ee26c06944" .
   in:run see:description "Demonstrates RDF 1.2 TriG triple terms as input evidence and as a derived entailment." .
-  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 0 .

package/examples/output/backward-recursion.n3

@@ -0,0 +1,4 @@
+@prefix : <urn:example#> .
+
+:a :reaches :b .
+:a :reaches :c .

package/examples/output/context-association.n3

@@ -0,0 +1,9 @@
+@prefix : <http://example.org/#> .
+
+:association :subject :Bob .
+:association :dataGraph _:src2_g0 .
+:association :signatureGraph _:src2_g1 .
+:association :metadataGraph _:src2_g3 .
+:association :cryptosuite "ecdsa-rdfc-2019" .
+:association :issuer <https://university.example/issuers/14> .
+:association :status :contextAssociationVerified .

package/examples/output/dijkstra-risk-path.n3

@@ -0,0 +1,3 @@
+@prefix : <https://eyereasoner.github.io/eyeling/examples/dijkstra-risk-path#> .
+
+:dijkstraRiskPath :selects :pathB .

package/examples/output/eco-route-insight.n3

@@ -0,0 +1,3 @@
+@prefix : <https://eyereasoner.github.io/eyeling/examples/eco-route-insight#> .
+
+:ecoRouteInsight :issues :Insight .

package/examples/output/genetic-knapsack-selection.n3

@@ -0,0 +1,3 @@
+@prefix : <https://eyereasoner.github.io/eyeling/examples/genetic-knapsack-selection#> .
+
+:geneticKnapsackSelection :selects :FinalLocal .

package/examples/output/rc-discharge-envelope.n3

@@ -0,0 +1,9 @@
+=== Answer ===
+exact decay symbol : exp(-1/4)
+certified decay interval : [0.7788007830, 0.7788007831]
+first below tolerance step : 13
+first below tolerance time : 0.325 s
+upper voltage at step 13 : 0.930581 V
+
+=== Explanation ===
+The physical decay factor is exp(-1/4), but the example uses a finite double interval as the certificate. Because the interval lies strictly between 0 and 1, the capacitor voltage envelope contracts each sample. The upper envelope is the safety-relevant bound: once it falls below 1.0 V, every compatible exact trajectory is below tolerance.

package/examples/output/rc-discharge-envelope.txt

@@ -0,0 +1,9 @@
+=== Answer ===
+exact decay symbol : exp(-1/4)
+certified decay interval : [0.7788007830, 0.7788007831]
+first below tolerance step : 13
+first below tolerance time : 0.325 s
+upper voltage at step 13 : 0.930581 V
+
+=== Explanation ===
+The physical decay factor is exp(-1/4), but the example uses a finite double interval as the certificate. Because the interval lies strictly between 0 and 1, the capacitor voltage envelope contracts each sample. The upper envelope is the safety-relevant bound: once it falls below 1.0 V, every compatible exact trajectory is below tolerance.

package/examples/output/rdf-dataset.n3

@@ -0,0 +1,5 @@
+VERSION "1.2"
+
+@prefix : <https://eyereasoner.github.io/eyeling/examples/rdf-dataset#> .
+
+:workOrder :entails <<( :sensor :needs :inspection )>> .

package/examples/output/rdf-message-flow.n3

@@ -0,0 +1,7 @@
+@prefix : <https://eyereasoner.github.io/eyeling/examples/rdf-message-flow#> .
+
+:rdfMessageFlowExample :demonstrates :ContinuousFlow .
+:rdfMessageFlowExample :demonstrates :BackPressureRelease .
+:rdfMessageFlowExample :demonstrates :AtomicMessageContext .
+:rdfMessageFlowExample :demonstrates :HeartbeatInFlow .
+:rdfMessageFlowExample :demonstrates :ThresholdRouting .

package/examples/output/rdf-messages.n3

@@ -0,0 +1,7 @@
+@prefix : <https://eyereasoner.github.io/eyeling/examples/rdf-messages#> .
+
+:rdfMessagesExample :demonstrates :ExplicitBoundaries .
+:rdfMessagesExample :demonstrates :AtomicMessageContext .
+:rdfMessagesExample :demonstrates :EmptyHeartbeat .
+:rdfMessagesExample :demonstrates :MessageScopedBlankNodes .
+:rdfMessagesExample :demonstrates :ReplayableMessageLog .

package/examples/output/school-placement-audit.n3

@@ -0,0 +1,3 @@
+@prefix : <https://eyereasoner.github.io/eyeling/examples/school-placement-audit#> .
+
+:schoolPlacementAudit :reports :Audit .

package/examples/output/smoke-arithmetic.n3

@@ -0,0 +1,5 @@
+=== Answer ===
+product = 42
+
+=== Explanation ===
+The compiled rule multiplies :x and :y using math:product.

package/examples/output/smoke-arithmetic.txt

@@ -0,0 +1,5 @@
+=== Answer ===
+product = 42
+
+=== Explanation ===
+The compiled rule multiplies :x and :y using math:product.

package/examples/output/triple-terms.n3

@@ -0,0 +1,5 @@
+VERSION "1.2"
+
+@prefix : <https://eyereasoner.github.io/eyeling/examples/triple_terms#> .
+
+:observation :entails <<( :sensor :needs :inspection )>> .

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

@@ -2,26 +2,13 @@
 # RC Discharge Envelope
 # =====================
 # Certify when a sampled RC capacitor is guaranteed below tolerance using an
-# upper decay bound. The witness is derived by N3 rules and compiled to SEE.
+# upper decay bound. The witness is derived by N3 rules and run by Eyeling.
 
-@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#>.
 
-:case
-  :samplePeriod 0.025;
-  :exactDecaySymbol "exp(-1/4)";
-  :decayLower 0.778800783;
-  :decayUpper 0.7788007831;
-  :initialVoltage 24.0;
-  :tolerance 1.0;
-  :maxStep 18;
-  :candidateStep :step12, :step13.
-
-:step12 :index 12.
-:step13 :index 13; :previousStep :step12.
-
 {
   :case :initialVoltage ?Initial; :decayUpper ?DecayUpper; :candidateStep ?Step.
   ?Step :index ?Index.

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

@@ -1,20 +1,11 @@
 # RDF dataset compatibility
-# RDF 1.1 named graph data and RDF 1.2 triple terms are normalized to ordinary N3 graph terms before SEE compiles the derivation.
+# RDF 1.1 named graph data and RDF 1.2 triple terms are normalized to ordinary N3 graph terms before Eyeling reads the derivation.
 
 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#> .
 
-:sensor :reports :overheating .
-:overheating :requires :inspection .
-:maintenanceSystem :trusted true .
-
-:factoryDataset {
-  :observation rdf:reifies <<( :sensor :reports :overheating )>> .
-  :observation :recordedBy :maintenanceSystem .
-}
-
 {
   :sensor :reports ?condition .
   ?condition :requires ?action .