eyeling 1.24.5 → 1.24.6

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 .

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

@@ -7,7 +7,7 @@
 # stream behaves as an ordered, replayable flow rather than a single merged RDF
 # graph.
 
-@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/>.
@@ -17,85 +17,18 @@
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 @prefix string: <http://www.w3.org/2000/10/swap/string#>.
 
-:temperatureFlow
-  a msg:MessageStream;
-  msg:orderedMessages (:m001 :m002 :m003 :m004 :m005);
-  msg:message :m001, :m002, :m003, :m004, :m005;
-  :pipeline (:ingest :validate :interpret :route :sink);
-  :highThreshold 26.
 
 # The stream starts with just the first message at ingress. Later messages are
 # not pre-loaded; each one is released by the previous message after sink.
-:m001 :atStage :ingest.
-
-:m001
-  a msg:RDFMessage;
-  msg:offset 1;
-  msg:nextMessage :m002;
-  prov:generatedAtTime "2026-05-12T18:20:00Z"^^xsd:dateTime;
-  msg:payloadKind :observation;
-  msg:expectedResult 21;
-  msg:payload {
-    _:m001b0
-      a sosa:Observation;
-      sosa:madeBySensor :thermometerA;
-      sosa:resultTime "2026-05-12T18:20:00Z"^^xsd:dateTime;
-      sosa:hasSimpleResult 21.
-  }.
-
-:m002
-  a msg:RDFMessage;
-  msg:offset 2;
-  msg:nextMessage :m003;
-  prov:generatedAtTime "2026-05-12T18:21:00Z"^^xsd:dateTime;
-  msg:payloadKind :observation;
-  msg:expectedResult 22;
-  msg:payload {
-    _:m002b0
-      a sosa:Observation;
-      sosa:madeBySensor :thermometerA;
-      sosa:resultTime "2026-05-12T18:21:00Z"^^xsd:dateTime;
-      sosa:hasSimpleResult 22.
-  }.
+
+
 
 # Empty heartbeat: it flows through the same pipeline and keeps the stream live.
-:m003
-  a msg:RDFMessage;
-  msg:offset 3;
-  msg:nextMessage :m004;
-  prov:generatedAtTime "2026-05-12T18:22:00Z"^^xsd:dateTime;
-  msg:payloadKind :heartbeat.
-
-:m004
-  a msg:RDFMessage;
-  msg:offset 4;
-  msg:nextMessage :m005;
-  prov:generatedAtTime "2026-05-12T18:23:00Z"^^xsd:dateTime;
-  msg:payloadKind :observation;
-  msg:expectedResult 28;
-  msg:payload {
-    _:m004b0
-      a sosa:Observation;
-      sosa:madeBySensor :thermometerA;
-      sosa:resultTime "2026-05-12T18:23:00Z"^^xsd:dateTime;
-      sosa:hasSimpleResult 28.
-  }.
-
-:m005
-  a msg:RDFMessage;
-  msg:offset 5;
-  prov:generatedAtTime "2026-05-12T18:24:00Z"^^xsd:dateTime;
-  msg:payloadKind :observation;
-  msg:expectedResult 29;
-  msg:payload {
-    _:m005b0
-      a sosa:Observation;
-      sosa:madeBySensor :thermometerA;
-      sosa:resultTime "2026-05-12T18:24:00Z"^^xsd:dateTime;
-      sosa:hasSimpleResult 29.
-  }.
+
+
 
 # Stage 1: once a message has entered the stream, validate its envelope.
+
 { ?Message :atStage :ingest. } => {
   ?Message :atStage :validate.
 }.
@@ -116,7 +49,8 @@
     msg:payloadKind :observation;
     msg:expectedResult ?Result;
     msg:payload ?Payload.
-  ?Payload log:includes { ?Observation sosa:hasSimpleResult ?Result. }.
+  ?Payload log:nameOf ?PayloadContext.
+  ?PayloadContext log:includes { ?Observation sosa:hasSimpleResult ?Result. }.
 } => {
   ?Message msg:payloadResult ?Result.
   ?Message :atStage :route.
@@ -175,7 +109,7 @@
   ?Next :atStage :ingest.
 }.
 
-# The SEE verdict is emitted only after all five messages have flowed through
+# The Eyeling verdict is emitted only after all five messages have flowed through
 # ingest, validation, interpretation, routing, and sink.
 {
   :temperatureFlow msg:orderedMessages ?Messages;

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

@@ -1,7 +1,7 @@
 # ============
 # RDF Messages
 # ============
-# This SEE example models the main idea from
+# This Eyeling example models the main idea from
 # https://pietercolpaert.be/papers/eswc2026-rdf-messages/:
 # a message stream/log is not just one freely mergeable RDF graph. It is an
 # ordered sequence of RDF Datasets that are interpreted atomically, one message
@@ -9,7 +9,7 @@
 # the local blank-node label "_:b0" is deliberately reused by two messages to
 # show message-scoped blank nodes.
 
-@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/>.
@@ -19,51 +19,13 @@
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 @prefix string: <http://www.w3.org/2000/10/swap/string#>.
 
-:temperatureLog
-  a msg:MessageLog;
-  msg:orderedMessages (:m001 :m002 :m003);
-  msg:message :m001, :m002, :m003;
-  msg:profile :generatedAtTimeProfile;
-  msg:retentionPolicy "replayable archive".
 
-:m001
-  a msg:RDFMessage;
-  msg:offset 1;
-  prov:generatedAtTime "2026-05-12T18:20:00Z"^^xsd:dateTime;
-  msg:payloadKind :observation;
-  msg:localBlankLabel "_:b0";
-  msg:expectedResult 22;
-  msg:payload {
-    _:m001b0
-      a sosa:Observation;
-      sosa:madeBySensor :thermometerA;
-      sosa:resultTime "2026-05-12T18:20:00Z"^^xsd:dateTime;
-      sosa:hasSimpleResult 22.
-  }.
 
 # Empty RDF Message: a legal heartbeat/keep-alive event.
-:m002
-  a msg:RDFMessage;
-  msg:offset 2;
-  prov:generatedAtTime "2026-05-12T18:22:00Z"^^xsd:dateTime;
-  msg:payloadKind :heartbeat.
 
-:m003
-  a msg:RDFMessage;
-  msg:offset 3;
-  prov:generatedAtTime "2026-05-12T18:25:00Z"^^xsd:dateTime;
-  msg:payloadKind :observation;
-  msg:localBlankLabel "_:b0";
-  msg:expectedResult 23;
-  msg:payload {
-    _:m003b0
-      a sosa:Observation;
-      sosa:madeBySensor :thermometerA;
-      sosa:resultTime "2026-05-12T18:25:00Z"^^xsd:dateTime;
-      sosa:hasSimpleResult 23.
-  }.
 
 # A message with an offset inside a log has an explicit replay boundary.
+
 {
   ?Log a msg:MessageLog;
     msg:message ?Message.
@@ -80,7 +42,8 @@
   ?Message a msg:RDFMessage;
     msg:expectedResult ?Result;
     msg:payload ?Payload.
-  ?Payload log:includes { ?Observation sosa:hasSimpleResult ?Result. }.
+  ?Payload log:nameOf ?PayloadContext.
+  ?PayloadContext log:includes { ?Observation sosa:hasSimpleResult ?Result. }.
 } => {
   ?Message msg:payloadResult ?Result.
 }.
@@ -120,7 +83,7 @@
   :MessageContext :differentObservationsStayContextual true.
 }.
 
-# The SEE verdict is emitted only when all message-specific validations have been
+# The Eyeling verdict is emitted only when all message-specific validations have been
 # derived from the log, message metadata, payload formulas, and built-ins.
 {
   :temperatureLog msg:orderedMessages ?Messages.

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

@@ -1,26 +1,14 @@
 # ============================
 # School Placement Route Audit
 # ============================
-# N3-compiled version of the school placement audit. The original student,
+# N3 version of the school placement audit. The original student,
 # school, distance, and policy JSON is preserved as the data-input sidecar.
 
-@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#>.
 
-:Policy :maxWalkingMeters 2500; :preferencePenaltyMeters 600.
-
-:Ada :name "Ada"; :provisional :Centrum; :auditedBest :Lindholmen; :hiddenDetour 3000; :walkingMeters 3600.
-:Bjorn :name "Björn"; :provisional :Centrum; :auditedBest :Backa; :hiddenDetour 2000; :walkingMeters 3100.
-:Clara :name "Clara"; :provisional :Haga; :auditedBest :Haga; :hiddenDetour 150; :walkingMeters 800.
-:Davi :name "Davi"; :provisional :Centrum; :auditedBest :Haga; :hiddenDetour 1800; :walkingMeters 2800.
-
-:Lindholmen :label "Lindholmen".
-:Haga :label "Haga".
-:Centrum :label "Centrum".
-:Backa :label "Backa".
-
 {
   ?Student :provisional ?Provisional; :auditedBest ?Audited; :walkingMeters ?Walk.
   :Policy :maxWalkingMeters ?MaxWalking.

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

@@ -1,15 +1,13 @@
 # Smoke Arithmetic
-# Small Notation3 source used to prove that see.js generates a specialized JS
-# example which derives its answer from facts, math built-ins, fuses, and string
-# formatting instead of reading a prewritten conclusion.
+# 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.
 
 @prefix : <https://example.org/see/smoke#>.
 @prefix math: <http://www.w3.org/2000/10/swap/math#>.
 @prefix string: <http://www.w3.org/2000/10/swap/string#>.
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 
-:Input :x 6; :y 7.
-
 { :Input :x ?X; :y ?Y.
   (?X ?Y) math:product ?Product.
   ?Product math:greaterThan 0.

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

@@ -4,13 +4,10 @@
 
 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#> .
 
-:observation rdf:reifies <<( :sensor :reports :overheating )>> .
-:overheating :requires :inspection .
-
 {
   ?observation rdf:reifies <<( ?device :reports ?condition )>> .
   ?condition :requires ?action .

package/eyeling.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/lib/builtins.js

@@ -4238,6 +4238,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/package.json

@@ -1,6 +1,6 @@
 {
   "name": "eyeling",
-  "version": "1.24.5",
+  "version": "1.24.6",
   "description": "A minimal Notation3 (N3) reasoner in JavaScript.",
   "main": "./index.js",
   "keywords": [
@@ -31,26 +31,23 @@
     "lib",
     "test",
     "tools",
-    "examples",
-    "see"
+    "examples"
   ],
   "engines": {
     "node": ">=18"
   },
   "scripts": {
     "prebuild": "eslint . --fix",
-    "generate": "set -e; for f in see/examples/n3/*.n3; do ./see/see.js generate \"$f\" --force; done",
-    "build": "npm run generate && node tools/bundle.js",
+    "build": "node tools/bundle.js",
     "test:packlist": "node test/packlist.test.js",
     "test:api": "node test/api.test.js",
     "test:builtins": "node test/builtins.test.js",
     "test:examples": "node test/examples.test.js",
-    "test:see": "node test/see.test.js",
     "test:manifest": "node test/manifest.test.js",
     "test:playground": "node test/playground.test.js",
     "test:package": "node test/package.test.js",
     "pretest": "npm run build && npm run test:packlist",
-    "test": "npm run test:api && npm run test:builtins && npm run test:examples && npm run test:see && npm run test:manifest && npm run test:playground",
+    "test": "npm run test:api && npm run test:builtins && npm run test:examples && npm run test:manifest && npm run test:playground",
     "posttest": "npm run test:package",
     "preversion": "npm test",
     "postversion": "git push origin HEAD --follow-tags"