eyeling 1.23.4 → 1.24.0

package/see/examples/output/dijkstra_risk_path.md

@@ -0,0 +1,76 @@
+# Dijkstra Risk Path  
+
+## Insight  
+selected path : ClinicA -> DepotB -> LabD -> HubZ  
+raw cost : 10.00  
+risk sum : 0.55  
+risk-adjusted score : 11.10  
+edges in selected path : 3  
+
+## Explanation  
+Each edge contributes its delivery cost plus the configured risk penalty. The N3 source enumerates the small graph's simple route candidates and compares the selected route against each alternative score. The selected route balances cost and risk through DepotB and LabD, while the apparently cheaper DepotC path is rejected once risk is priced in.  
+
+**Generated derivation support**  
+
+Compiled support: 21 source fact(s), 3 rule(s), fixpoint reached before rendering.  
+
+Derivation steps:  
+- Rule 1 (9 premise pattern(s) => 2 conclusion pattern(s)) derives :Case :selectedPath :pathB ., :Case :trustGate :noEnumeratedPathIsLower .  
+  - Uses: :pathB :score 11.1 . _(source)_; :pathC :score 11.3 . _(source)_; :pathRelay :score 11.7 . _(source)_; :pathDirectC :score 11.6 . _(source)_; … +1 more premise fact(s)  
+- Rule 2 (7 premise pattern(s) => 1 conclusion pattern(s)) derives :Case :notes :riskCanOutweighRawCost .  
+  - Uses: :pathViaC :rawCost 8 . _(source)_; :pathViaC :score 11.2 . _(source)_; :pathViaC :riskSum 1.6 . _(source)_; :pathB :rawCost 10 . _(source)_; … +1 more premise fact(s)  
+- Rule 3 (9 premise pattern(s) => 2 conclusion pattern(s)) derives :dijkstraRiskPath log:outputString "[authored report]" ., :dijkstraRiskPath :selects :pathB .  
+  - Uses: :Case :selectedPath :pathB . _(derived)_; :Case :trustGate :noEnumeratedPathIsLower . _(derived)_; :Case :notes :riskCanOutweighRawCost . _(derived)_; :pathB :routeText "ClinicA -> DepotB -> LabD -> HubZ" . _(source)_; … +4 more premise fact(s)  
+
+Selected explanation support:  
+  - :dijkstraRiskPath :selects :pathB . _(derived by Rule 3)_  
+    - :Case :selectedPath :pathB . _(derived by Rule 1)_  
+      - :pathB :score 11.1 . _(source)_  
+      - :pathC :score 11.3 . _(source)_  
+      - :pathRelay :score 11.7 . _(source)_  
+      - :pathDirectC :score 11.6 . _(source)_  
+      - ... 1 more premise fact(s)  
+    - :Case :trustGate :noEnumeratedPathIsLower . _(derived by Rule 1)_  
+      - :pathB :score 11.1 . _(source)_  
+      - :pathC :score 11.3 . _(source)_  
+      - :pathRelay :score 11.7 . _(source)_  
+      - :pathDirectC :score 11.6 . _(source)_  
+      - ... 1 more premise fact(s)  
+    - :Case :notes :riskCanOutweighRawCost . _(derived by Rule 2)_  
+      - :pathViaC :rawCost 8 . _(source)_  
+      - :pathViaC :score 11.2 . _(source)_  
+      - :pathViaC :riskSum 1.6 . _(source)_  
+      - :pathB :rawCost 10 . _(source)_  
+      - ... 1 more premise fact(s)  
+    - :pathB :routeText "ClinicA -> DepotB -> LabD -> HubZ" . _(source)_  
+    - ... 4 more premise fact(s)  
+
+## Formal TriG Output  
+
+```trig  
+@prefix : <https://eyereasoner.github.io/see/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#> .  
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .  
+
+:dijkstraRiskPath :selects :pathB .  
+
+in:metadata {  
+  in:run a see:InputDataset .  
+  in:run see:name "dijkstra_risk_path" .  
+  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:inputFacts 21 .  
+  in:run see:compiledRules 3 .  
+  in:run see:compiledBackwardRules 0 .  
+  in:run see:compiledFuses 0 .  
+  in:run see:compiledQueries 1 .  
+}  
+```  
+

package/see/examples/output/dog.md

@@ -0,0 +1,50 @@
+# Dog license example  
+
+## Insight  
+The derivation produced 1 new fact(s) from 7 stated fact(s).  
+Main conclusion: **:alice :mustHave :dogLicense.**  
+
+Selected conclusions:  
+- :alice :mustHave :dogLicense .  
+
+## Explanation  
+Starts with 7 source fact(s), applies 1 rule(s), and reaches a fixpoint.  
+
+Derivation steps:  
+- Rule 1 (4 premise pattern(s) => 1 conclusion pattern(s)) derives :alice :mustHave :dogLicense .  
+  - Uses: :alice :hasDog :dog1 . _(source)_  
+
+Selected explanation support:  
+  - :alice :mustHave :dogLicense . _(derived by Rule 1)_  
+    - :alice :hasDog :dog1 . _(source)_  
+
+The selected facts are serialized in the Formal TriG Output section.  
+
+## Formal TriG Output  
+
+```trig  
+@prefix log: <http://www.w3.org/2000/10/swap/log#> .  
+@prefix math: <http://www.w3.org/2000/10/swap/math#> .  
+@prefix : <https://eyereasoner.github.io/ns#> .  
+@prefix see: <https://example.org/see#> .  
+@prefix in: <https://example.org/see/input#> .  
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .  
+
+:alice :mustHave :dogLicense .  
+
+in:metadata {  
+  in:run a see:InputDataset .  
+  in:run see:name "dog" .  
+  in:run see:title "Dog license example" .  
+  in:run see:sourceFile "examples/n3/dog.n3" .  
+  in:run see:sourceSHA256 "3487cceaf7e09eac16d9048cca2140bd1a474a2da0bf2091ffc0e0e5f87b3167" .  
+  in:run see:description "If you have more than 4 dogs you need a license." .  
+  in:run see:compiler "see.js N3-to-JS compiler" .  
+  in:run see:inputFacts 7 .  
+  in:run see:compiledRules 1 .  
+  in:run see:compiledBackwardRules 0 .  
+  in:run see:compiledFuses 0 .  
+  in:run see:compiledQueries 0 .  
+}  
+```  
+

package/see/examples/output/eco_route_insight.md

@@ -0,0 +1,88 @@
+# Eco Route Insight  
+
+## Insight  
+insight status : issue  
+show eco banner : yes  
+audience : Depot X  
+allowed use : ui.eco.banner  
+suggested route : alt-low-fuel  
+current fuel index : 120.75  
+suggested fuel index : 99.75  
+estimated saving : 21.00  
+expires at : 2025-01-01T11:00:00Z  
+raw data exported : no  
+signature algorithm : HMAC-SHA256  
+payload digest : 00e19becd91e81d6881749655d23d43002d9ea714bba61e855eafbc8ef9a5135  
+signature key : local-demo-key  
+signature : 7fFGBN8fyI7xrmRz5VreeAUSf3LC_ywbj32NGk2ovUs  
+
+## Explanation  
+The current route uses fuel index = distanceKm × (payloadKg / 1000) × gradientFactor. For shipment-1, Current urban route gives 42.00 × 2.50 × 1.15 = 120.75. The policy threshold is 120.00, so a local eco banner is justified. The selected alternative alt-low-fuel gives 38.00 × 2.50 × 1.05 = 99.75, saving 21.00 while staying within the ETA delay limit. The signed envelope exposes audience, use, expiry, route suggestion, and compact fuel indices, but not raw payload, GPS trace, driver behavior, or raw telemetry.  
+
+**Generated derivation support**  
+
+Compiled support: 33 source fact(s), 2 rule(s), fixpoint reached before rendering.  
+
+Derivation steps:  
+- Rule 1 (11 premise pattern(s) => 4 conclusion pattern(s)) derives :Insight :status "issue" ., :Insight :showEcoBanner "yes" ., :Insight :suggestedRoute :altLowFuel ., :Insight :estimatedSaving 21 .  
+  - Uses: :currentRoute :fuelIndex 120.75 . _(source)_; :currentRoute :etaMinutes 64 . _(source)_; :altLowFuel :fuelIndex 99.75 . _(source)_; :altLowFuel :etaMinutes 66 . _(source)_; … +2 more premise fact(s)  
+- Rule 2 (23 premise pattern(s) => 2 conclusion pattern(s)) derives :ecoRouteInsight log:outputString "[authored report]" ., :ecoRouteInsight :issues :Insight .  
+  - Uses: :Insight :status "issue" . _(derived)_; :Insight :showEcoBanner "yes" . _(derived)_; :Insight :suggestedRoute :altLowFuel . _(derived)_; :Insight :estimatedSaving 21 . _(derived)_; … +18 more premise fact(s)  
+
+Selected explanation support:  
+  - :ecoRouteInsight :issues :Insight . _(derived by Rule 2)_  
+    - :Insight :status "issue" . _(derived by Rule 1)_  
+      - :currentRoute :fuelIndex 120.75 . _(source)_  
+      - :currentRoute :etaMinutes 64 . _(source)_  
+      - :altLowFuel :fuelIndex 99.75 . _(source)_  
+      - :altLowFuel :etaMinutes 66 . _(source)_  
+      - ... 2 more premise fact(s)  
+    - :Insight :showEcoBanner "yes" . _(derived by Rule 1)_  
+      - :currentRoute :fuelIndex 120.75 . _(source)_  
+      - :currentRoute :etaMinutes 64 . _(source)_  
+      - :altLowFuel :fuelIndex 99.75 . _(source)_  
+      - :altLowFuel :etaMinutes 66 . _(source)_  
+      - ... 2 more premise fact(s)  
+    - :Insight :suggestedRoute :altLowFuel . _(derived by Rule 1)_  
+      - :currentRoute :fuelIndex 120.75 . _(source)_  
+      - :currentRoute :etaMinutes 64 . _(source)_  
+      - :altLowFuel :fuelIndex 99.75 . _(source)_  
+      - :altLowFuel :etaMinutes 66 . _(source)_  
+      - ... 2 more premise fact(s)  
+    - :Insight :estimatedSaving 21 . _(derived by Rule 1)_  
+      - :currentRoute :fuelIndex 120.75 . _(source)_  
+      - :currentRoute :etaMinutes 64 . _(source)_  
+      - :altLowFuel :fuelIndex 99.75 . _(source)_  
+      - :altLowFuel :etaMinutes 66 . _(source)_  
+      - ... 2 more premise fact(s)  
+    - ... 18 more premise fact(s)  
+
+## Formal TriG Output  
+
+```trig  
+@prefix : <https://eyereasoner.github.io/see/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#> .  
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .  
+
+:ecoRouteInsight :issues :Insight .  
+
+in:metadata {  
+  in:run a see:InputDataset .  
+  in:run see:name "eco_route_insight" .  
+  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:inputFacts 33 .  
+  in:run see:compiledRules 2 .  
+  in:run see:compiledBackwardRules 0 .  
+  in:run see:compiledFuses 0 .  
+  in:run see:compiledQueries 1 .  
+}  
+```  
+

package/see/examples/output/equals.md

@@ -0,0 +1,50 @@
+# Equals test  
+
+## Insight  
+The derivation produced 1 new fact(s) from 1 stated fact(s).  
+Main conclusion: **:test is true.**  
+
+Selected conclusions:  
+- :test :is true .  
+
+## Explanation  
+Starts with 1 source fact(s), applies 1 rule(s), and reaches a fixpoint.  
+
+Derivation steps:  
+- Rule 1: :X owl:sameAs :Y => :test :is true derives :test :is true .  
+  - Uses: :X owl:sameAs :Y . _(source)_  
+
+Selected explanation support:  
+  - :test :is true . _(derived by Rule 1)_  
+    - :X owl:sameAs :Y . _(source)_  
+
+The selected facts are serialized in the Formal TriG Output section.  
+
+## Formal TriG Output  
+
+```trig  
+@prefix owl: <http://www.w3.org/2002/07/owl#> .  
+@prefix : <http://example.org/socrates#> .  
+@prefix log: <http://www.w3.org/2000/10/swap/log#> .  
+@prefix see: <https://example.org/see#> .  
+@prefix in: <https://example.org/see/input#> .  
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .  
+
+:test :is true .  
+
+in:metadata {  
+  in:run a see:InputDataset .  
+  in:run see:name "equals" .  
+  in:run see:title "Equals test" .  
+  in:run see:sourceFile "examples/n3/equals.n3" .  
+  in:run see:sourceSHA256 "29dfd303c09b0b2f05c637d6a56b6e3b198053a0732aa179ca3e75265dfb8003" .  
+  in:run see:description "Example from Patrick Hochstenbach" .  
+  in:run see:compiler "see.js N3-to-JS compiler" .  
+  in:run see:inputFacts 1 .  
+  in:run see:compiledRules 1 .  
+  in:run see:compiledBackwardRules 0 .  
+  in:run see:compiledFuses 0 .  
+  in:run see:compiledQueries 0 .  
+}  
+```  
+

package/see/examples/output/equivalence_classes_overlap_implies_same_class.md

@@ -0,0 +1,86 @@
+# If two equivalence classes share an element, they are the same class.  
+
+## Insight  
+The compiled query selected 18 fact(s) after the rule closure was computed.  
+Main conclusion: **:result :sameClassBecauseOfSharedMember (:a :b :c).**  
+
+Selected conclusions:  
+- :result :sameClassBecauseOfSharedMember (:a :b :c) .  
+- :result :sameClassBecauseOfSharedMember (:a :c :c) .  
+- :result :sameClassBecauseOfSharedMember (:c :b :a) .  
+- :result :sameClassBecauseOfSharedMember (:c :a :a) .  
+- :result :sameClassBecauseOfSharedMember (:b :a :c) .  
+- :result :sameClassBecauseOfSharedMember (:b :c :c) .  
+
+## Explanation  
+Starts with 5 source fact(s), applies 7 rule(s), and reaches a fixpoint.  
+The log:query projection then keeps only the matching fact(s) shown above.  
+
+Derivation steps:  
+- Rule 1: ?x :inX true => ?x :sim ?x derives :a :sim :a ., :b :sim :b ., :c :sim :c .  
+  - Uses: :a :inX true . _(source)_; :b :inX true . _(source)_; :c :inX true . _(source)_  
+- Rule 2: ?x :sim ?y => ?y :sim ?x derives :a :sim :b ., :c :sim :b .  
+  - Uses: :b :sim :a . _(source)_; :b :sim :c . _(source)_  
+- Rule 3: ?x :sim ?y; ?y :sim ?z => ?x :sim ?z derives :a :sim :c ., :c :sim :a .  
+  - Uses: :a :sim :b . _(derived)_; :b :sim :c . _(source)_; :c :sim :b . _(derived)_; :b :sim :a . _(source)_  
+- Rule 4: ?u :sim ?x => ?u :inClassOf ?x derives :b :inClassOf :a ., :b :inClassOf :c ., :a :inClassOf :a ., :b :inClassOf :b ., … +5 more  
+  - Uses: :b :sim :a . _(source)_; :b :sim :c . _(source)_; :a :sim :a . _(derived)_; :b :sim :b . _(derived)_; … +5 more premise fact(s)  
+- Rule 5: ?x :sim ?y => (?x ?y) :sameClass true derives (:b :a) :sameClass true ., (:b :c) :sameClass true ., (:a :a) :sameClass true ., (:b :b) :sameClass true ., … +5 more  
+  - Uses: :b :sim :a . _(source)_; :b :sim :c . _(source)_; :a :sim :a . _(derived)_; :b :sim :b . _(derived)_; … +5 more premise fact(s)  
+- Rule 7 (3 premise pattern(s) => 1 conclusion pattern(s)) derives (:a :a :b) :sharedMemberShowsSameClass true ., (:a :c :b) :sharedMemberShowsSameClass true ., (:a :b :b) :sharedMemberShowsSameClass true ., (:c :a :b) :sharedMemberShowsSameClass true ., … +23 more  
+  - Uses: :b :inClassOf :a . _(derived)_; (:a :a) :sameClass true . _(derived)_; :b :inClassOf :c . _(derived)_; (:a :c) :sameClass true . _(derived)_; … +14 more premise fact(s)  
+
+Selected explanation support:  
+  - :result :sameClassBecauseOfSharedMember (:a :b :c) . _(no recorded rule support)_  
+  - :result :sameClassBecauseOfSharedMember (:a :c :c) . _(no recorded rule support)_  
+  - :result :sameClassBecauseOfSharedMember (:c :b :a) . _(no recorded rule support)_  
+  - :result :sameClassBecauseOfSharedMember (:c :a :a) . _(no recorded rule support)_  
+  - :result :sameClassBecauseOfSharedMember (:b :a :c) . _(no recorded rule support)_  
+  - :result :sameClassBecauseOfSharedMember (:b :c :c) . _(no recorded rule support)_  
+
+The query-selected facts are serialized in the Formal TriG Output section.  
+
+## Formal TriG Output  
+
+```trig  
+@prefix : <https://eyereasoner.github.io/eye/reasoning#> .  
+@prefix log: <http://www.w3.org/2000/10/swap/log#> .  
+@prefix see: <https://example.org/see#> .  
+@prefix in: <https://example.org/see/input#> .  
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .  
+
+:result :sameClassBecauseOfSharedMember (:a :c :b) .  
+:result :sameClassBecauseOfSharedMember (:a :b :b) .  
+:result :sameClassBecauseOfSharedMember (:c :a :b) .  
+:result :sameClassBecauseOfSharedMember (:c :b :b) .  
+:result :sameClassBecauseOfSharedMember (:a :b :a) .  
+:result :sameClassBecauseOfSharedMember (:a :c :a) .  
+:result :sameClassBecauseOfSharedMember (:b :a :b) .  
+:result :sameClassBecauseOfSharedMember (:b :c :b) .  
+:result :sameClassBecauseOfSharedMember (:c :b :c) .  
+:result :sameClassBecauseOfSharedMember (:c :a :c) .  
+:result :sameClassBecauseOfSharedMember (:b :a :a) .  
+:result :sameClassBecauseOfSharedMember (:b :c :a) .  
+:result :sameClassBecauseOfSharedMember (:b :c :c) .  
+:result :sameClassBecauseOfSharedMember (:b :a :c) .  
+:result :sameClassBecauseOfSharedMember (:c :a :a) .  
+:result :sameClassBecauseOfSharedMember (:c :b :a) .  
+:result :sameClassBecauseOfSharedMember (:a :c :c) .  
+:result :sameClassBecauseOfSharedMember (:a :b :c) .  
+
+in:metadata {  
+  in:run a see:InputDataset .  
+  in:run see:name "equivalence_classes_overlap_implies_same_class" .  
+  in:run see:title "If two equivalence classes share an element, they are the same class." .  
+  in:run see:sourceFile "examples/n3/equivalence_classes_overlap_implies_same_class.n3" .  
+  in:run see:sourceSHA256 "b36ed917f7af601a38f6a1657ce4956a4e38484573c40d0a963e3008cbb46f5f" .  
+  in:run see:description "" .  
+  in:run see:compiler "see.js N3-to-JS compiler" .  
+  in:run see:inputFacts 5 .  
+  in:run see:compiledRules 7 .  
+  in:run see:compiledBackwardRules 0 .  
+  in:run see:compiledFuses 0 .  
+  in:run see:compiledQueries 1 .  
+}  
+```  
+

package/see/examples/output/euler_identity.md

@@ -0,0 +1,73 @@
+# Euler identity (exact, certificate-friendly):  
+
+## Insight  
+The compiled query selected 6 fact(s) after the rule closure was computed.  
+Main conclusion: **:result :identityHolds true.**  
+
+Selected conclusions:  
+- :result :identityHolds true .  
+- :result :phaseModSqIsOne true .  
+- :result :phaseModSq 1 .  
+- :result :rhsZero (0 0) .  
+- :result :lhsPlusOne (0 0) .  
+- :result :phasePi (-1 0) .  
+
+## Explanation  
+Starts with 10 source fact(s), applies 5 rule(s), and reaches a fixpoint.  
+The log:query projection then keeps only the matching fact(s) shown above.  
+
+Derivation steps:  
+- Rule 1: (0 1) math:difference ?minusOne => :phasePi :exact (?minusOne 0) derives :phasePi :exact (-1 0) .  
+  - Uses: no graph premises; built-ins/constants satisfied the rule.  
+- Rule 2 (4 premise pattern(s) => 2 conclusion pattern(s)) derives :EulerIdentity :lhsExact (0 0) ., :EulerIdentity :rhsExact (0 0) .  
+  - Uses: :phasePi :exact (-1 0) . _(derived)_; :one :exact (1 0) . _(source)_  
+- Rule 3: :EulerIdentity :lhsExact (?sumRe ?sumIm); :zero :exact (?sumRe ?sumIm) => :EulerIdentity :holds true derives :EulerIdentity :holds true .  
+  - Uses: :EulerIdentity :lhsExact (0 0) . _(derived)_; :zero :exact (0 0) . _(source)_  
+- Rule 4 (4 premise pattern(s) => 1 conclusion pattern(s)) derives :phasePi :modSq 1 .  
+  - Uses: :phasePi :exact (-1 0) . _(derived)_  
+- Rule 5: :phasePi :modSq ?modSq; ?modSq math:equalTo 1 => :phasePi :modSqIsOne true derives :phasePi :modSqIsOne true .  
+  - Uses: :phasePi :modSq 1 . _(derived)_  
+
+Selected explanation support:  
+  - :result :identityHolds true . _(no recorded rule support)_  
+  - :result :phaseModSqIsOne true . _(no recorded rule support)_  
+  - :result :phaseModSq 1 . _(no recorded rule support)_  
+  - :result :rhsZero (0 0) . _(no recorded rule support)_  
+  - :result :lhsPlusOne (0 0) . _(no recorded rule support)_  
+  - :result :phasePi (-1 0) . _(no recorded rule support)_  
+
+The query-selected facts are serialized in the Formal TriG Output section.  
+
+## Formal TriG Output  
+
+```trig  
+@prefix : <https://eyereasoner.github.io/see/examples/euler-identity#> .  
+@prefix log: <http://www.w3.org/2000/10/swap/log#> .  
+@prefix math: <http://www.w3.org/2000/10/swap/math#> .  
+@prefix see: <https://example.org/see#> .  
+@prefix in: <https://example.org/see/input#> .  
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .  
+
+:result :phasePi (-1 0) .  
+:result :lhsPlusOne (0 0) .  
+:result :rhsZero (0 0) .  
+:result :phaseModSq 1 .  
+:result :phaseModSqIsOne true .  
+:result :identityHolds true .  
+
+in:metadata {  
+  in:run a see:InputDataset .  
+  in:run see:name "euler_identity" .  
+  in:run see:title "Euler identity (exact, certificate-friendly):" .  
+  in:run see:sourceFile "examples/n3/euler_identity.n3" .  
+  in:run see:sourceSHA256 "8a0467bd923b3774627c99aa4cc9fe34baaa0bbaff1847399cd025d24b39c17a" .  
+  in:run see:description "exp(i*pi) + 1 = 0\nPhilosophy:\nUnlike the T-gate example, this phase needs no approximation. exp(i*pi) lands exactly at\n(-1,0) = cos(pi) + i sin(pi), so the identity can be certified using integer arithmetic\nalone.\nMethod:\n1) Construct -1 as 0 - 1.\n2) Represent exp(i*pi) exactly as (-1, 0).\n3) Add 1 componentwise to obtain (0, 0).\n4) Sanity validation the phase modulus: |-1 + 0i|^2 = 1.\n5) Project only the intended certificates via log:query." .  
+  in:run see:compiler "see.js N3-to-JS compiler" .  
+  in:run see:inputFacts 10 .  
+  in:run see:compiledRules 5 .  
+  in:run see:compiledBackwardRules 0 .  
+  in:run see:compiledFuses 0 .  
+  in:run see:compiledQueries 1 .  
+}  
+```  
+

package/see/examples/output/ev_roundtrip_planner.md

@@ -0,0 +1,79 @@
+# EV Roadtrip Planner  
+
+## Insight  
+Select plan : drive_bru_liege -> drive_liege_aachen -> shuttle_aachen_cologne.  
+route result : Cologne battery=low pass=none  
+duration : 210.0 minutes  
+cost : 0.054  
+belief : 0.974175  
+comfort : 0.898320  
+acceptable plans : 8  
+fuel remaining : 5 of 8  
+
+## Explanation  
+The planner starts with car1 at Brussels, battery=high, pass=none, then composes action descriptions until the goal city Cologne is reached. Duration and cost are summed across each candidate; belief and comfort are multiplied, matching the N3 planner pattern. The selected plan is the fastest acceptable candidate under belief > 0.93, cost < 0.090, and duration < 260.0. It uses the shuttle from Aachen to Cologne, avoiding an extra charge stop while keeping belief at 0.974175.  
+
+Top acceptable plans:  
+1. drive_bru_liege -> drive_liege_aachen -> shuttle_aachen_cologne | duration=210.0 cost=0.054 belief=0.974175 comfort=0.898320 final=Cologne/low/none  
+2. buy_pass_brussels -> drive_bru_liege -> drive_liege_aachen -> shuttle_aachen_cologne | duration=220.0 cost=0.058 belief=0.973201 comfort=0.889337 final=Cologne/low/yes  
+3. buy_pass_brussels -> drive_bru_liege -> drive_liege_aachen -> fast_charge_aachen_pass -> premium_corridor_aachen_cologne | duration=220.0 cost=0.063 belief=0.953737 comfort=0.880398 final=Cologne/low/yes  
+4. drive_bru_liege -> buy_pass_liege -> drive_liege_aachen -> shuttle_aachen_cologne | duration=225.0 cost=0.057 belief=0.969304 comfort=0.880354 final=Cologne/low/yes  
+5. drive_bru_liege -> buy_pass_liege -> drive_liege_aachen -> fast_charge_aachen_pass -> premium_corridor_aachen_cologne | duration=225.0 cost=0.062 belief=0.949918 comfort=0.871505 final=Cologne/low/yes  
+
+**Generated derivation support**  
+
+Compiled support: 64 source fact(s), 3 rule(s), fixpoint reached before rendering.  
+
+Derivation steps:  
+- Rule 1 (10 premise pattern(s) => 1 conclusion pattern(s)) derives :plan1 gps:acceptable true ., :plan2 gps:acceptable true ., :plan3 gps:acceptable true ., :plan4 gps:acceptable true ., … +1 more  
+  - Uses: :plan1 rdf:type gps:Plan . _(source)_; :plan1 gps:duration 210 . _(source)_; :plan1 gps:cost 0.054 . _(source)_; :plan1 gps:belief 0.974175 . _(source)_; … +19 more premise fact(s)  
+- Rule 2: :plan1 gps:acceptable true; :plan1 gps:rank 1 => :PlanSet :selected :plan1 derives :PlanSet :selected :plan1 .  
+  - Uses: :plan1 gps:acceptable true . _(derived)_; :plan1 gps:rank 1 . _(source)_  
+- Rule 4 (45 premise pattern(s) => 2 conclusion pattern(s)) derives :evRoadtripPlanner log:outputString "[authored report]" ., :evRoadtripPlanner :selects :plan1 .  
+  - Uses: :PlanSet :selected :plan1 . _(derived)_; :PlanSet :acceptableCount 8 . _(source)_; :PlanSet :fuelBudget 8 . _(source)_; :plan1 gps:actions "drive_bru_liege -> drive_liege_aachen -> shuttle_aachen_cologne" . _(source)_; … +40 more premise fact(s)  
+
+Selected explanation support:  
+  - :evRoadtripPlanner :selects :plan1 . _(derived by Rule 4)_  
+    - :PlanSet :selected :plan1 . _(derived by Rule 2)_  
+      - :plan1 gps:acceptable true . _(derived by Rule 1)_  
+        - :plan1 rdf:type gps:Plan . _(source)_  
+        - :plan1 gps:duration 210 . _(source)_  
+        - :plan1 gps:cost 0.054 . _(source)_  
+        - :plan1 gps:belief 0.974175 . _(source)_  
+        - ... 3 more premise fact(s)  
+      - :plan1 gps:rank 1 . _(source)_  
+    - :PlanSet :acceptableCount 8 . _(source)_  
+    - :PlanSet :fuelBudget 8 . _(source)_  
+    - :plan1 gps:actions "drive_bru_liege -> drive_liege_aachen -> shuttle_aachen_cologne" . _(source)_  
+    - ... 40 more premise fact(s)  
+
+## Formal TriG Output  
+
+```trig  
+@prefix : <https://eyereasoner.github.io/see/examples/ev-roundtrip-planner#> .  
+@prefix gps: <https://eyereasoner.github.io/see/examples/gps#> .  
+@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#> .  
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .  
+
+:evRoadtripPlanner :selects :plan1 .  
+
+in:metadata {  
+  in:run a see:InputDataset .  
+  in:run see:name "ev_roundtrip_planner" .  
+  in:run see:title "EV Roadtrip Planner" .  
+  in:run see:sourceFile "examples/n3/ev_roundtrip_planner.n3" .  
+  in:run see:sourceSHA256 "0adbefa76f008fdb320ee926631bf5e997a8c3b8b7159ec8c3c9111db3437c65" .  
+  in:run see:description "N3-compiled version of the hand-written EV roadtrip planner. Candidate plans\nare represented as data; rules apply the same acceptance thresholds and select\nthe fastest acceptable route." .  
+  in:run see:compiler "see.js N3-to-JS compiler" .  
+  in:run see:inputFacts 64 .  
+  in:run see:compiledRules 3 .  
+  in:run see:compiledBackwardRules 0 .  
+  in:run see:compiledFuses 1 .  
+  in:run see:compiledQueries 1 .  
+}  
+```  
+

package/see/examples/output/existential_rule.md

@@ -0,0 +1,54 @@
+# Existential rule  
+
+## Insight  
+The derivation produced 2 new fact(s) from 2 stated fact(s).  
+Main conclusion: **:Plato is _:B.**  
+
+Selected conclusions:  
+- :Plato :is _:B .  
+- :Socrates :is _:B .  
+
+## Explanation  
+Starts with 2 source fact(s), applies 1 rule(s), and reaches a fixpoint.  
+
+Derivation steps:  
+- Rule 1: ?S rdf:type :Human => ?S :is _:B derives :Socrates :is _:B ., :Plato :is _:B .  
+  - Uses: :Socrates rdf:type :Human . _(source)_; :Plato rdf:type :Human . _(source)_  
+
+Selected explanation support:  
+  - :Plato :is _:B . _(derived by Rule 1)_  
+    - :Plato rdf:type :Human . _(source)_  
+  - :Socrates :is _:B . _(derived by Rule 1)_  
+    - :Socrates rdf:type :Human . _(source)_  
+
+The selected facts are serialized in the Formal TriG Output section.  
+
+## Formal TriG Output  
+
+```trig  
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .  
+@prefix : <https://eyereasoner.github.io/eye/reasoning#> .  
+@prefix log: <http://www.w3.org/2000/10/swap/log#> .  
+@prefix see: <https://example.org/see#> .  
+@prefix in: <https://example.org/see/input#> .  
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .  
+
+:Socrates :is _:B .  
+:Plato :is _:B .  
+
+in:metadata {  
+  in:run a see:InputDataset .  
+  in:run see:name "existential_rule" .  
+  in:run see:title "Existential rule" .  
+  in:run see:sourceFile "examples/n3/existential_rule.n3" .  
+  in:run see:sourceSHA256 "f47b48d679b4bf2149782d40e01abb6f0d72cbbd0582bd7ab8a0ed2046f991f7" .  
+  in:run see:description "" .  
+  in:run see:compiler "see.js N3-to-JS compiler" .  
+  in:run see:inputFacts 2 .  
+  in:run see:compiledRules 1 .  
+  in:run see:compiledBackwardRules 0 .  
+  in:run see:compiledFuses 0 .  
+  in:run see:compiledQueries 0 .  
+}  
+```  
+

package/see/examples/output/expression_eval.md

@@ -0,0 +1,50 @@
+# A tiny expression evaluator in N3  
+
+## Insight  
+The derivation produced 1 new fact(s) from 17 stated fact(s).  
+Main conclusion: **:Root :result 12.**  
+
+Selected conclusions:  
+- :Root :result 12 .  
+
+## Explanation  
+Starts with 17 source fact(s), applies 5 rule(s), and reaches a fixpoint.  
+
+Derivation steps:  
+- Rule 5: :Root :expr ?E; ?E :value ?V => :Root :result ?V derives :Root :result 12 .  
+  - Uses: :Root :expr :eAdd . _(source)_  
+
+Selected explanation support:  
+  - :Root :result 12 . _(derived by Rule 5)_  
+    - :Root :expr :eAdd . _(source)_  
+
+The selected facts are serialized in the Formal TriG Output section.  
+
+## Formal TriG Output  
+
+```trig  
+@prefix math: <http://www.w3.org/2000/10/swap/math#> .  
+@prefix : <https://eyereasoner.github.io/eye/reasoning#> .  
+@prefix log: <http://www.w3.org/2000/10/swap/log#> .  
+@prefix see: <https://example.org/see#> .  
+@prefix in: <https://example.org/see/input#> .  
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .  
+
+:Root :result 12 .  
+
+in:metadata {  
+  in:run a see:InputDataset .  
+  in:run see:name "expression_eval" .  
+  in:run see:title "A tiny expression evaluator in N3" .  
+  in:run see:sourceFile "examples/n3/expression_eval.n3" .  
+  in:run see:sourceSHA256 "8b33d5122b55a40c19af6d1504d29871bcd864dce595d6824acd4515d76e360c" .  
+  in:run see:description "" .  
+  in:run see:compiler "see.js N3-to-JS compiler" .  
+  in:run see:inputFacts 17 .  
+  in:run see:compiledRules 1 .  
+  in:run see:compiledBackwardRules 4 .  
+  in:run see:compiledFuses 0 .  
+  in:run see:compiledQueries 0 .  
+}  
+```  
+