eyeling 1.23.4 → 1.24.0

package/see/examples/n3/control_system.n3

@@ -0,0 +1,59 @@
+# Control System
+# Compact SEE version of the EYE reasoning/control-system example.
+
+@prefix math: <http://www.w3.org/2000/10/swap/math#>.
+@prefix log: <http://www.w3.org/2000/10/swap/log#>.
+@prefix : <https://eyereasoner.github.io/see/examples/control-system#>.
+
+# Input, disturbance, state, and output facts used by the controller.
+:input1 :measurement1 (6 11).
+:input2 :measurement2 true.
+:input3 :measurement3 56967.
+:disturbance1 :measurement3 35766.
+:state3 :observation3 22.
+:output2 :measurement4 24.
+:output2 :target2 29.
+
+# Feedforward control for actuator 1.
+{
+  :input1 :measurement10 ?M1.
+  :input2 :measurement2 true.
+  :disturbance1 :measurement3 ?D1.
+  (?M1 19.6) math:product ?C1.
+  (10 ?C2) math:exponentiation ?D1.
+  (?C1 ?C2) math:difference ?C.
+} => {
+  :actuator1 :control1 ?C.
+}.
+
+# PND feedback control for actuator 2.
+{
+  :input3 :measurement3 ?M3.
+  :state3 :observation3 ?P3.
+  :output2 :measurement4 ?M4.
+  :output2 :target2 ?T2.
+  (?T2 ?M4) math:difference ?E.
+  (?P3 ?M4) math:difference ?D.
+  (5.8 ?E) math:product ?C1.
+  (7.3 ?E) math:quotient ?N.
+  (?N ?D) math:product ?C2.
+  (?C1 ?C2) math:sum ?C.
+} => {
+  :actuator2 :control1 ?C.
+}.
+
+# Backward rules for normalized sensor measurement.
+{ ?I :measurement10 ?M. } <= {
+  ?I :measurement1 (?M1 ?M2).
+  ?M1 math:lessThan ?M2.
+  (?M2 ?M1) math:difference ?M3.
+  (?M3 0.5) math:exponentiation ?M.
+}.
+
+{ ?I :measurement10 ?M1. } <= {
+  ?I :measurement1 (?M1 ?M2).
+  ?M1 math:notLessThan ?M2.
+}.
+
+# SEE projection of the two control commands.
+{ ?O :control1 ?C. } log:query { ?O :control1 ?C. }.

package/see/examples/n3/crypto_builtins_tests.n3

@@ -0,0 +1,18 @@
+# =====================
+# crypto builtins tests
+# =====================
+@prefix : <https://eyereasoner.github.io/see/examples/crypto-builtins-tests#>.
+@prefix crypto: <http://www.w3.org/2000/10/swap/crypto#>.
+
+# 4.1.1 crypto:sha (SHA-1)
+# "hello world" → 2aae6c35c94fcfb415dbe95f408b9ce91ee846ed
+{ "hello world" crypto:sha "2aae6c35c94fcfb415dbe95f408b9ce91ee846ed" . } => { :ok_crypto_sha_1 a :Pass . } .
+
+# Extra: crypto:md5
+{ "hello world" crypto:md5 "5eb63bbbe01eeed093cb22bb8f5acdc3" . } => { :ok_crypto_md5_1 a :Pass . } .
+
+# Extra: crypto:sha256
+{ "hello world" crypto:sha256 "b94d27b9934d3e08a52e52d7da7dabfac484efe37a5380ee9088f7ace2efcde9" . } => { :ok_crypto_sha256_1 a :Pass . } .
+
+# Extra: crypto:sha512
+{ "hello world" crypto:sha512 "309ecc489c12d6eb4cc40f50c902f2b4d0ed77ee511a7c7a9bcd3ca86d4cd86f989dd35bc5ff499670da34255b45b0cfd830e81f605dcf7dc5542e93ae9cd76f" . } => { :ok_crypto_sha512_1 a :Pass . } .

package/see/examples/n3/delfour.n3

@@ -0,0 +1,167 @@
+# =======
+# Delfour
+# =======
+# N3-compiled version of the Delfour insight-economy example. A private phone
+# condition is desensitized into a scoped low-sugar insight; the scanner may use
+# it for shopping assistance, but not for marketing.
+
+@prefix : <https://eyereasoner.github.io/see/examples/delfour#>.
+@prefix ins: <https://example.org/insight#>.
+@prefix odrl: <http://www.w3.org/ns/odrl/2/>.
+@prefix math: <http://www.w3.org/2000/10/swap/math#>.
+@prefix string: <http://www.w3.org/2000/10/swap/string#>.
+@prefix crypto: <http://www.w3.org/2000/10/swap/crypto#>.
+@prefix log: <http://www.w3.org/2000/10/swap/log#>.
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
+
+:case a :ShoppingCase;
+  :caseName "delfour";
+  :requestPurpose "shopping_assist";
+  :requestAction odrl:use;
+  :scannerAuthAt "2025-10-05T20:35:48Z"^^xsd:dateTime;
+  :scannerDutyAt "2025-10-05T20:37:48Z"^^xsd:dateTime;
+  :filesWritten 6;
+  :auditEntries 1.
+
+:householdProfile :condition "Diabetes".
+:scan :scannedProduct :classicBiscuits.
+
+:classicBiscuits a :Product;
+  :productName "Classic Tea Biscuits";
+  :sugarTenths 120;
+  :sugarPerServing 12.0.
+:lowSugarBiscuits a :Product;
+  :productName "Low-Sugar Tea Biscuits";
+  :sugarTenths 30;
+  :sugarPerServing 3.0.
+:darkChocolate a :Product;
+  :productName "85% Dark Chocolate";
+  :sugarTenths 60;
+  :sugarPerServing 6.0.
+:milkChocolate a :Product;
+  :productName "Milk Chocolate Bar";
+  :sugarTenths 150;
+  :sugarPerServing 15.0.
+
+:insight a ins:Insight;
+  :metric "sugar_g_per_serving";
+  :thresholdTenths 100;
+  :thresholdDisplay "10.0";
+  :thresholdG 10.0;
+  :scopeDevice "self-scanner";
+  :scopeEvent "pick_up_scanner";
+  :retailer "Delfour";
+  :createdAt "2025-10-05T20:33:48Z"^^xsd:dateTime;
+  :expiresAt "2025-10-05T22:33:48Z"^^xsd:dateTime;
+  :serializedLowercase "metric=sugar_g_per_serving;retailer=delfour;threshold=10.0;scope=self-scanner".
+
+:policy a odrl:Policy;
+  odrl:permission [
+    odrl:action odrl:use;
+    odrl:target :insight;
+    odrl:constraint [ odrl:leftOperand odrl:purpose; odrl:operator odrl:eq; odrl:rightOperand "shopping_assist" ]
+  ];
+  odrl:prohibition [
+    odrl:action odrl:distribute;
+    odrl:target :insight;
+    odrl:constraint [ odrl:leftOperand odrl:purpose; odrl:operator odrl:eq; odrl:rightOperand "marketing" ]
+  ];
+  odrl:duty [
+    odrl:action odrl:delete;
+    odrl:constraint [ odrl:leftOperand odrl:dateTime; odrl:operator odrl:eq; odrl:rightOperand "2025-10-05T22:33:48Z"^^xsd:dateTime ]
+  ].
+
+:envelope :canonicalJson "insight=lower_sugar;policy=shopping_assist_only;expires=2025-10-05T22:33:48Z".
+:signature :alg "SHA-256"; :payloadHashSHA256 "9025c5ccc1cc3e97aa639e3ca2d62e65ba0abed9cf3573b487c61d8cec6b3460".
+
+{ :householdProfile :condition "Diabetes". } => { :case :needsLowSugar true. }.
+{ :case :needsLowSugar true. } => { :insight :derivedFromNeed "low_sugar". }.
+{ :envelope :canonicalJson ?json. ?json crypto:sha256 ?digest. :signature :payloadHashSHA256 ?digest. } => { :assurance :payloadHashMatches true. }.
+{ :insight :serializedLowercase ?s. ?s string:notMatches "diabetes|medical". } => { :assurance :minimizationStripsSensitiveTerms true. }.
+{ :insight :scopeDevice ?device; :scopeEvent ?event; :expiresAt ?expiry. } => { :assurance :scopeComplete true. }.
+{
+  :policy odrl:permission [ odrl:action odrl:use; odrl:target :insight; odrl:constraint [ odrl:rightOperand "shopping_assist" ] ].
+  :case :scannerAuthAt ?authAt.
+  :insight :expiresAt ?expiresAt.
+  ?authAt math:notGreaterThan ?expiresAt.
+} => { :decision :outcome "Allowed". :assurance :authorizationAllowed true. }.
+{
+  :decision :outcome "Allowed".
+  :scan :scannedProduct ?product.
+  ?product :sugarPerServing ?sugar.
+  :insight :thresholdG ?threshold.
+  ?sugar math:notLessThan ?threshold.
+} => { :banner :headline "Track sugar per serving while you scan"; :note "High sugar". }.
+{
+  :scan :scannedProduct ?scanned.
+  ?scanned :sugarTenths ?scannedSugar.
+  ?candidate a :Product; :sugarTenths ?candidateSugar.
+  ?scannedSugar math:greaterThan ?candidateSugar.
+  1 log:notIncludes {
+    ?other a :Product; :sugarTenths ?otherSugar.
+    ?scannedSugar math:greaterThan ?otherSugar.
+    ?otherSugar math:lessThan ?candidateSugar.
+  }.
+} => { :case :suggestedAlternative ?candidate. }.
+{ :case :suggestedAlternative ?alt. ?alt :productName ?altName. } => { :banner :suggestedAlternative ?altName. }.
+{ :case :scannerDutyAt ?dutyAt. :insight :expiresAt ?expiresAt. ?dutyAt math:notGreaterThan ?expiresAt. } => { :assurance :dutyTimingConsistent true. }.
+{ :policy odrl:prohibition [ odrl:action odrl:distribute; odrl:constraint [ odrl:rightOperand "marketing" ] ]. } => { :assurance :marketingProhibited true. }.
+{ :case :filesWritten 6. } => { :assurance :filesWrittenExpected true. }.
+{ :banner :note "High sugar". } => { :assurance :bannerFlagsHighSugar true. }.
+{
+  :scan :scannedProduct ?scanned.
+  ?scanned :sugarTenths ?scannedSugar.
+  :case :suggestedAlternative ?alt.
+  ?alt :sugarTenths ?altSugar.
+  ?scannedSugar math:greaterThan ?altSugar.
+} => { :assurance :alternativeIsLowerSugar true. }.
+{
+  :assurance :payloadHashMatches true;
+    :minimizationStripsSensitiveTerms true;
+    :scopeComplete true;
+    :authorizationAllowed true;
+    :bannerFlagsHighSugar true;
+    :alternativeIsLowerSugar true;
+    :dutyTimingConsistent true;
+    :marketingProhibited true;
+    :filesWrittenExpected true.
+} => { :result :ready true. }.
+
+{ :case :filesWritten ?n. ?n math:notEqualTo 6. } => false.
+{ :case :scannerAuthAt ?authAt. :insight :expiresAt ?expiresAt. ?authAt math:greaterThan ?expiresAt. } => false.
+{ :policy odrl:prohibition [ odrl:action ?action ]. ?action log:notEqualTo odrl:distribute. } => false.
+
+{
+  :result :ready true.
+  :scan :scannedProduct ?scanned.
+  ?scanned :productName ?scannedName.
+  :case :suggestedAlternative ?alt; :caseName ?caseName; :auditEntries ?auditEntries; :filesWritten ?filesWritten.
+  ?alt :productName ?altName.
+  :insight :metric ?metric; :thresholdDisplay ?threshold; :scopeDevice ?device; :scopeEvent ?event; :retailer ?retailer; :expiresAt ?expiresAt.
+  :signature :alg ?alg.
+  :banner :headline ?headline.
+  ("=== Answer ===
+The scanner is allowed to use a neutral shopping insight and recommends %s instead of %s.
+case : %s
+decision : Allowed
+scanned product : %s
+suggested alternative: %s
+
+=== Explanation ===
+The phone desensitizes a diabetes-related household condition into a scoped low-sugar need, wraps it in an expiring Insight + Policy envelope, and the scanner consumes that envelope for shopping assistance.
+metric : %s
+threshold : %s
+scope : %s @ %s
+retailer : %s
+signature alg : %s
+banner headline : %s
+expires at : %s
+audit entries : %s
+bus files written : %s
+" ?altName ?scannedName ?caseName ?scannedName ?altName ?metric ?threshold ?device ?event ?retailer ?alg ?headline ?expiresAt ?auditEntries ?filesWritten) string:format ?Block.
+} => {
+  :delfour log:outputString ?Block.
+  :delfour :suggests ?alt.
+}.
+
+{ :delfour :suggests ?Product } log:query { :delfour :suggests ?Product }.

package/see/examples/n3/digital_product_passport.n3

@@ -0,0 +1,156 @@
+# ========================
+# Digital Product Passport
+# ========================
+# N3-compiled version of the smartphone Digital Product Passport example. The
+# rules fold component mass, recycled content, critical raw materials, public
+# documents, lifecycle footprint, and access-policy validations into a public PASS.
+
+@prefix : <https://eyereasoner.github.io/see/examples/digital-product-passport#>.
+@prefix math: <http://www.w3.org/2000/10/swap/math#>.
+@prefix list: <http://www.w3.org/2000/10/swap/list#>.
+@prefix log: <http://www.w3.org/2000/10/swap/log#>.
+@prefix string: <http://www.w3.org/2000/10/swap/string#>.
+
+:passport a :DigitalProductPassport;
+  :caseName "digital_product_passport";
+  :forProduct :ACME_X1000_SN123;
+  :publicEndpoint "https://example.org/dpp/ACME-X1000-SN123";
+  :publicSection "public";
+  :restrictedSection "restricted".
+
+:ACME_X1000_SN123 a :Product;
+  :model "ACME X1000";
+  :serialNumber "SN123";
+  :digitalLink "https://example.org/dpp/ACME-X1000-SN123";
+  :hasComponent :BatteryPack_01, :Chassis_01, :Mainboard_01.
+
+:BatteryPack_01 a :Component; :componentLabel "BatteryPack-01 Battery"; :type :Battery; :massG 48; :recycledMassG 0; :replaceable true; :containsMaterial :Lithium, :Cobalt, :Nickel.
+:Chassis_01 a :Component; :componentLabel "Chassis-01 Housing"; :type :Housing; :massG 32; :recycledMassG 12; :replaceable false; :containsMaterial :Aluminium.
+:Mainboard_01 a :Component; :componentLabel "Mainboard-01 Electronics"; :type :Electronics; :massG 25; :recycledMassG 2; :replaceable false; :containsMaterial :Copper, :GoldTrace.
+
+:Lithium a :Material; :criticalRawMaterial true; :materialName "Lithium".
+:Cobalt a :Material; :criticalRawMaterial true; :materialName "Cobalt".
+:Nickel a :Material; :criticalRawMaterial false; :materialName "Nickel".
+:Aluminium a :Material; :criticalRawMaterial false; :materialName "Aluminium".
+:Copper a :Material; :criticalRawMaterial false; :materialName "Copper".
+:GoldTrace a :Material; :criticalRawMaterial false; :materialName "GoldTrace".
+
+:Doc_UserManual a :Document; :docType :UserManual; :docTypeLabel "UserManual"; :section "public"; :url "https://example.org/manuals/acme-x1000".
+:Doc_RepairGuide a :Document; :docType :RepairGuide; :docTypeLabel "RepairGuide"; :section "public"; :url "https://example.org/repair/acme-x1000"; :declares :BatteryReplacementSupported.
+:Doc_SpareParts a :Document; :docType :SparePartsCatalog; :docTypeLabel "SparePartsCatalog"; :section "public"; :url "https://example.org/spares/acme-x1000".
+:Doc_DoC_CE a :Document; :docType :DeclarationOfConformity; :section "restricted".
+:Doc_SubstanceDeclaration a :Document; :docType :SubstanceDeclaration; :section "restricted".
+
+:Policy :publicDocType :UserManual, :RepairGuide, :SparePartsCatalog;
+  :restrictedDocType :DeclarationOfConformity, :SubstanceDeclaration;
+  :requiredPublicClaim :BatteryReplacementSupported.
+
+:Footprint :manufacturingGCO2e 32000; :transportGCO2e 2500; :usePhaseGCO2e 18000.
+:Lifecycle :orderedEvents (:Event_Mfg_01 :Event_Sale_01 :Event_Repair_01).
+:Event_Mfg_01 :onDate "2026-01-15".
+:Event_Sale_01 :onDate "2026-01-25".
+:Event_Repair_01 :onDate "2026-02-05".
+
+{
+  :ACME_X1000_SN123 :hasComponent ?c.
+  ?c :containsMaterial ?m.
+  ?m :criticalRawMaterial true.
+} => {
+  :passport :exposesCriticalMaterial ?m.
+}.
+{
+  :ACME_X1000_SN123 :hasComponent ?c.
+  ?c :massG ?m; :recycledMassG ?r.
+} => {
+  :MassRollup :componentMass ?m;
+    :componentRecycledMass ?r.
+}.
+{
+  (48 32 25) math:sum ?totalMass.
+  (0 12 2) math:sum ?recycledMass.
+  ( ?recycledMass 100 ) math:product ?pctNumerator.
+  ( ?pctNumerator ?totalMass ) math:integerQuotient ?recycledPct.
+} => {
+  :passport :totalMassG ?totalMass;
+    :recycledMassG ?recycledMass;
+    :recycledPct ?recycledPct.
+}.
+{
+  :Footprint :manufacturingGCO2e ?mfg; :transportGCO2e ?transport; :usePhaseGCO2e ?use.
+  ( ?mfg ?transport ?use ) math:sum ?total.
+} => {
+  :passport :lifecycleFootprintGCO2e ?total.
+}.
+{
+  :Policy :publicDocType ?docType.
+  ?doc a :Document; :docType ?docType; :section "public".
+} => {
+  :passport :hasRequiredPublicDocType ?docType.
+}.
+{
+  :Policy :restrictedDocType ?docType.
+  ?doc a :Document; :docType ?docType; :section "restricted".
+} => {
+  :passport :keepsRestrictedDocTypeRestricted ?docType.
+}.
+{
+  :ACME_X1000_SN123 :hasComponent ?battery.
+  ?battery :type :Battery; :replaceable true.
+  :Doc_RepairGuide :section "public"; :declares :BatteryReplacementSupported.
+  :passport :hasRequiredPublicDocType :UserManual, :RepairGuide, :SparePartsCatalog.
+} => {
+  :passport :repairFriendly true.
+}.
+{
+  :passport :publicEndpoint ?endpoint.
+  :ACME_X1000_SN123 :digitalLink ?endpoint.
+} => {
+  :passport :digitalLinkMatchesEndpoint true.
+}.
+{
+  :Event_Mfg_01 :onDate ?d1.
+  :Event_Sale_01 :onDate ?d2.
+  :Event_Repair_01 :onDate ?d3.
+  ?d1 string:notGreaterThan ?d2.
+  ?d2 string:notGreaterThan ?d3.
+} => {
+  :passport :lifecycleChronological true.
+}.
+{
+  :passport :totalMassG ?totalMass; :recycledMassG ?recycledMass.
+  ?totalMass math:greaterThan 0.
+  ?recycledMass math:notGreaterThan ?totalMass.
+} => {
+  :passport :massBalanced true.
+}.
+{
+  :passport :massBalanced true;
+    :recycledPct ?pct;
+    :lifecycleFootprintGCO2e ?footprint;
+    :exposesCriticalMaterial :Lithium, :Cobalt;
+    :repairFriendly true;
+    :hasRequiredPublicDocType :UserManual, :RepairGuide, :SparePartsCatalog;
+    :keepsRestrictedDocTypeRestricted :DeclarationOfConformity, :SubstanceDeclaration;
+    :digitalLinkMatchesEndpoint true;
+    :lifecycleChronological true.
+} => {
+  :passport :decision "PASS".
+}.
+
+{ :passport :decision ?decision. ?decision log:notEqualTo "PASS". } => false.
+{ :passport :recycledMassG ?r; :totalMassG ?t. ?r math:greaterThan ?t. } => false.
+
+{
+  :passport :decision "PASS";
+    :totalMassG ?mass;
+    :recycledPct ?pct;
+    :lifecycleFootprintGCO2e ?footprint;
+    :publicEndpoint ?endpoint.
+  :ACME_X1000_SN123 :model ?model; :serialNumber ?serial.
+  ("=== Answer ===\nPassport decision : PASS for %s %s.\nrecycled content : %d%%\nlifecycle footprint : %d gCO2e\ntotal component mass : %d g\ncritical raw materials : Lithium, Cobalt\ncircularity hint : repairFriendly\npublic endpoint : %s\n\n=== Explanation ===\nThe passport folds the explicit component list to derive total mass and recycled mass, then computes an integer recycled-content percentage. Lifecycle footprint is derived by summing manufacturing, transport, and use-phase emissions. The product is repair-friendly because the battery is replaceable and the public passport section exposes repair, spare-parts, and manual documentation. Restricted declarations remain in the restricted section.\n\nComponent roll-up:\nBatteryPack-01 Battery mass=48g recycled=0g materials=Lithium, Cobalt, Nickel replaceable=yes\nChassis-01 Housing mass=32g recycled=12g materials=Aluminium replaceable=no\nMainboard-01 Electronics mass=25g recycled=2g materials=Copper, GoldTrace replaceable=no\nPublic documents:\nDoc-UserManual UserManual https://example.org/manuals/acme-x1000\nDoc-RepairGuide RepairGuide https://example.org/repair/acme-x1000\nDoc-SpareParts SparePartsCatalog https://example.org/spares/acme-x1000" ?model ?serial ?pct ?footprint ?mass ?endpoint) string:format ?Block.
+} => {
+  :digitalProductPassport log:outputString ?Block.
+  :digitalProductPassport :decision "PASS".
+}.
+
+{ :digitalProductPassport :decision ?Decision } log:query { :digitalProductPassport :decision ?Decision }.

package/see/examples/n3/dijkstra.n3

@@ -0,0 +1,46 @@
+# ===========================================================
+# Dijkstra's algorithm to find the shortest path
+# ===========================================================
+@prefix list: <http://www.w3.org/2000/10/swap/list#>.
+@prefix math: <http://www.w3.org/2000/10/swap/math#>.
+@prefix log: <http://www.w3.org/2000/10/swap/log#>.
+@prefix : <https://eyereasoner.github.io/see/examples/dijkstra#>.
+
+# edges
+(:a :b) :edge 4 .
+(:a :c) :edge 2 .
+(:b :c) :edge 1 .
+(:b :d) :edge 5 .
+(:c :d) :edge 8 .
+(:c :e) :edge 10 .
+(:d :e) :edge 2 .
+(:d :f) :edge 6 .
+(:e :f) :edge 3 .
+
+{ (?A ?B) :edge ?C. } => { (?B ?A) :edge ?C. }.
+
+# Dijkstra's algorithm
+{ (?Start ?Goal) :dijkstra (?Path ?Cost) } <= {
+  (((0 ?Start)) ?Goal ()) :dijkstra2 (?RevPath ?Cost).
+  ?RevPath list:reverse ?Path.
+}.
+
+{ (?L1 ?Goal ?L2) :dijkstra2 (?L3 ?Cost) } <= {
+  ?L1 list:firstRest (?L4 ?L5).
+  ?L4 list:firstRest (?Cost ?L3).
+  ?L3 list:firstRest (?Goal ?Path).
+}.
+
+{ (?L1 ?Goal ?Visited) :dijkstra2 (?ResultPath ?ResultCost) } <= {
+  ?L1 list:firstRest (?L2 ?Queue).
+  ?L2 list:firstRest (?Cost ?L3).
+  ?L3 list:firstRest (?Node ?Path).
+  (?L4 { ?L4 list:firstRest (?NewCost ?L5). ?L5 list:firstRest (?Neighbor ?L6). ?L6 list:firstRest (?Node ?Path). (?Node ?Neighbor) :edge ?Weight. ?Visited list:notMember ?Neighbor. (?Cost ?Weight) math:sum ?NewCost. } ?Neighbors) log:collectAllIn ?SCOPE.
+  (?Queue ?Neighbors) list:append ?NewQueue.
+  ?NewQueue list:sort ?SortedQueue.
+  ?L7 list:firstRest (?Node ?Visited).
+  (?SortedQueue ?Goal ?L7) :dijkstra2 (?ResultPath ?ResultCost).
+}.
+
+# find the paths
+{ (:a :f) :dijkstra (?Path ?Cost). } => { (:a :f) :path (?Path ?Cost). }.

package/see/examples/n3/dijkstra_risk_path.n3

@@ -0,0 +1,67 @@
+# ==================
+# Dijkstra Risk Path
+# ==================
+# N3-compiled 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 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.
+  :pathRelay :score ?RelayScore.
+  :pathDirectC :score ?DirectCScore.
+  :pathViaC :score ?ViaCScore.
+  ?Best math:lessThan ?CScore.
+  ?Best math:lessThan ?RelayScore.
+  ?Best math:lessThan ?DirectCScore.
+  ?Best math:lessThan ?ViaCScore.
+} => {
+  :Case :selectedPath :pathB.
+  :Case :trustGate :noEnumeratedPathIsLower.
+}.
+
+# The lower raw-cost route through DepotC is rejected because its risk is high.
+{
+  :pathViaC :rawCost ?ViaRaw; :score ?ViaCScore; :riskSum ?Risk.
+  :pathB :rawCost ?BestRaw; :score ?Best.
+  ?ViaRaw math:lessThan ?BestRaw.
+  ?Best math:lessThan ?ViaCScore.
+} => {
+  :Case :notes :riskCanOutweighRawCost.
+}.
+
+{
+  :Case :selectedPath :pathB; :trustGate :noEnumeratedPathIsLower; :notes :riskCanOutweighRawCost.
+  :pathB :routeText ?Route; :rawCost ?Raw; :riskSum ?Risk; :score ?Score; :edgeCount ?Edges.
+  ("=== Answer ===\nselected path : %s\nraw cost : %.2f\nrisk sum : %.2f\nrisk-adjusted score : %.2f\nedges in selected path : %d\n\n=== Explanation ===\nEach 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." ?Route ?Raw ?Risk ?Score ?Edges) string:format ?Block.
+} => {
+  :dijkstraRiskPath log:outputString ?Block.
+  :dijkstraRiskPath :selects :pathB.
+}.
+
+{ :dijkstraRiskPath :selects ?Path } log:query { :dijkstraRiskPath :selects ?Path }.

package/see/examples/n3/dog.n3

@@ -0,0 +1,20 @@
+# ===============================================
+# Dog license example
+# If you have more than 4 dogs you need a license.
+# ===============================================
+
+@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#>.
+
+:alice :hasDog :dog1, :dog2, :dog3, :dog4, :dog5.
+:bob :hasDog :dog6, :dog7.
+
+{
+ ?Subject :hasDog ?Any.
+ (1 { ?Subject :hasDog ?Dog } ?List) log:collectAllIn ?Scope.
+ ?List math:sum ?Count.
+ ?Count math:greaterThan 4.
+} => {
+ ?Subject :mustHave :dogLicense.
+}.

package/see/examples/n3/eco_route_insight.n3

@@ -0,0 +1,88 @@
+# =================
+# Eco Route Insight
+# =================
+# N3-compiled 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 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.
+  :Policy :fuelIndexThreshold ?Threshold; :maxEtaDelayMinutes ?MaxDelay.
+  ?Current math:greaterThan ?Threshold.
+  ?Alt math:lessThan ?Current.
+  (?AltEta ?CurrentEta) math:difference ?Delay.
+  ?Delay math:notGreaterThan ?MaxDelay.
+  (?Current ?Alt) math:difference ?Saving.
+} => {
+  :Insight :status "issue";
+    :showEcoBanner "yes";
+    :suggestedRoute :altLowFuel;
+    :estimatedSaving ?Saving.
+}.
+
+{
+  :Insight :status "issue"; :showEcoBanner ?Show; :suggestedRoute :altLowFuel; :estimatedSaving ?Saving.
+  :Scenario :audience ?Audience; :allowedUse ?Use; :expiresAt ?Expiry.
+  :currentRoute :distanceKm ?CurrentDistance; :gradientFactor ?CurrentGradient; :fuelIndex ?CurrentIndex.
+  :altLowFuel :id ?AltId; :distanceKm ?AltDistance; :gradientFactor ?AltGradient; :fuelIndex ?AltIndex.
+  :Shipment :id ?ShipmentId; :payloadTons ?PayloadTons.
+  :Envelope :rawDataExported ?Raw; :payloadDigest ?Digest; :signatureKey ?Key; :signature ?Signature.
+  :Policy :fuelIndexThreshold ?Threshold; :signatureAlgorithm ?Algorithm.
+  ("=== Answer ===\ninsight status : issue\nshow eco banner : %s\naudience : %s\nallowed use : %s\nsuggested route : %s\ncurrent fuel index : %.2f\nsuggested fuel index : %.2f\nestimated saving : %.2f\nexpires at : %s\nraw data exported : %s\nsignature algorithm : %s\npayload digest : %s\nsignature key : %s\nsignature : %s\n\n=== Explanation ===\nThe current route uses fuel index = distanceKm × (payloadKg / 1000) × gradientFactor. For %s, Current urban route gives %.2f × %.2f × %.2f = %.2f. The policy threshold is %.2f, so a local eco banner is justified. The selected alternative %s gives %.2f × %.2f × %.2f = %.2f, saving %.2f 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." ?Show ?Audience ?Use ?AltId ?CurrentIndex ?AltIndex ?Saving ?Expiry ?Raw ?Algorithm ?Digest ?Key ?Signature ?ShipmentId ?CurrentDistance ?PayloadTons ?CurrentGradient ?CurrentIndex ?Threshold ?AltId ?AltDistance ?PayloadTons ?AltGradient ?AltIndex ?Saving) string:format ?Block.
+} => {
+  :ecoRouteInsight log:outputString ?Block.
+  :ecoRouteInsight :issues :Insight.
+}.
+
+{ :ecoRouteInsight :issues ?Insight } log:query { :ecoRouteInsight :issues ?Insight }.

package/see/examples/n3/equals.n3

@@ -0,0 +1,11 @@
+# =================================
+# Equals test
+# Example from Patrick Hochstenbach
+# =================================
+
+@prefix owl: <http://www.w3.org/2002/07/owl#>.
+@prefix : <http://example.org/socrates#>.
+
+:X = :Y .
+
+{ :X owl:sameAs :Y } => { :test :is true }.

package/see/examples/n3/equivalence_classes_overlap_implies_same_class.n3

@@ -0,0 +1,19 @@
+# If two equivalence classes share an element, they are the same class.
+@prefix : <https://eyereasoner.github.io/eye/reasoning#>.
+@prefix log: <http://www.w3.org/2000/10/swap/log#>.
+
+{ ?x :inX true. } => { ?x :sim ?x. }.
+{ ?x :sim ?y. } => { ?y :sim ?x. }.
+{ ?x :sim ?y. ?y :sim ?z. } => { ?x :sim ?z. }.
+{ ?u :sim ?x. } => { ?u :inClassOf ?x. }.
+{ ?x :sim ?y. } => { (?x ?y) :sameClass true. }.
+{ (?x ?y) :sameClass true. } => { (?y ?x) :sameClass true. }.
+{ ?z :inClassOf ?x. ?z :inClassOf ?y. (?x ?y) :sameClass true. } => { (?x ?y ?z) :sharedMemberShowsSameClass true. }.
+
+:a :inX true.
+:b :inX true.
+:c :inX true.
+:b :sim :a.
+:b :sim :c.
+
+{ (?x ?y ?z) :sharedMemberShowsSameClass true. ?x log:notEqualTo ?y. } log:query { :result :sameClassBecauseOfSharedMember (?x ?y ?z). }.