eyeling 1.23.5 → 1.24.0

package/see/examples/input/delfour.trig

@@ -0,0 +1,90 @@
+@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#> .
+@prefix see: <https://example.org/see#> .
+@prefix in: <https://example.org/see/input#> .
+
+# Formal SEE input evidence in RDF 1.2 TriG.
+# The generated runner reads this TriG evidence directly.
+
+:case rdf:type :ShoppingCase .
+:case :caseName "delfour" .
+:case :requestPurpose "shopping_assist" .
+:case :requestAction odrl:use .
+:case :scannerAuthAt "2025-10-05T20:35:48Z" .
+:case :scannerDutyAt "2025-10-05T20:37:48Z" .
+:case :filesWritten 6 .
+:case :auditEntries 1 .
+:householdProfile :condition "Diabetes" .
+:scan :scannedProduct :classicBiscuits .
+:classicBiscuits rdf:type :Product .
+:classicBiscuits :productName "Classic Tea Biscuits" .
+:classicBiscuits :sugarTenths 120 .
+:classicBiscuits :sugarPerServing 12 .
+:lowSugarBiscuits rdf:type :Product .
+:lowSugarBiscuits :productName "Low-Sugar Tea Biscuits" .
+:lowSugarBiscuits :sugarTenths 30 .
+:lowSugarBiscuits :sugarPerServing 3 .
+:darkChocolate rdf:type :Product .
+:darkChocolate :productName "85% Dark Chocolate" .
+:darkChocolate :sugarTenths 60 .
+:darkChocolate :sugarPerServing 6 .
+:milkChocolate rdf:type :Product .
+:milkChocolate :productName "Milk Chocolate Bar" .
+:milkChocolate :sugarTenths 150 .
+:milkChocolate :sugarPerServing 15 .
+:insight rdf:type ins:Insight .
+:insight :metric "sugar_g_per_serving" .
+:insight :thresholdTenths 100 .
+:insight :thresholdDisplay "10.0" .
+:insight :thresholdG 10 .
+:insight :scopeDevice "self-scanner" .
+:insight :scopeEvent "pick_up_scanner" .
+:insight :retailer "Delfour" .
+:insight :createdAt "2025-10-05T20:33:48Z" .
+:insight :expiresAt "2025-10-05T22:33:48Z" .
+:insight :serializedLowercase "metric=sugar_g_per_serving;retailer=delfour;threshold=10.0;scope=self-scanner" .
+:policy rdf:type odrl:Policy .
+_:blank1 odrl:action odrl:use .
+_:blank1 odrl:target :insight .
+_:blank2 odrl:leftOperand odrl:purpose .
+_:blank2 odrl:operator odrl:eq .
+_:blank2 odrl:rightOperand "shopping_assist" .
+_:blank1 odrl:constraint _:blank2 .
+:policy odrl:permission _:blank1 .
+_:blank3 odrl:action odrl:distribute .
+_:blank3 odrl:target :insight .
+_:blank4 odrl:leftOperand odrl:purpose .
+_:blank4 odrl:operator odrl:eq .
+_:blank4 odrl:rightOperand "marketing" .
+_:blank3 odrl:constraint _:blank4 .
+:policy odrl:prohibition _:blank3 .
+_:blank5 odrl:action odrl:delete .
+_:blank6 odrl:leftOperand odrl:dateTime .
+_:blank6 odrl:operator odrl:eq .
+_:blank6 odrl:rightOperand "2025-10-05T22:33:48Z" .
+_:blank5 odrl:constraint _:blank6 .
+:policy odrl:duty _:blank5 .
+:envelope :canonicalJson "insight=lower_sugar;policy=shopping_assist_only;expires=2025-10-05T22:33:48Z" .
+:signature :alg "SHA-256" .
+:signature :payloadHashSHA256 "9025c5ccc1cc3e97aa639e3ca2d62e65ba0abed9cf3573b487c61d8cec6b3460" .
+
+in:metadata {
+  in:run a see:InputDataset .
+  in:run see:name "delfour" .
+  in:run see:title "Delfour" .
+  in:run see:sourceFile "examples/n3/delfour.n3" .
+  in:run see:sourceSHA256 "250631cb3de8addff7037b54789b63b2ea034eb6b579c61a9feca542efd584c1" .
+  in:run see:description "N3-compiled version of the Delfour insight-economy example. A private phone\ncondition is desensitized into a scoped low-sugar insight; the scanner may use\nit for shopping assistance, but not for marketing." .
+  in:run see:compiler "see.js N3-to-JS compiler" .
+  in:run see:inputFacts 61 .
+  in:run see:compiledRules 16 .
+  in:run see:compiledBackwardRules 0 .
+  in:run see:compiledFuses 3 .
+  in:run see:compiledQueries 1 .
+}

package/see/examples/input/digital_product_passport.trig

@@ -0,0 +1,116 @@
+@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#> .
+@prefix see: <https://example.org/see#> .
+@prefix in: <https://example.org/see/input#> .
+
+# Formal SEE input evidence in RDF 1.2 TriG.
+# The generated runner reads this TriG evidence directly.
+
+:passport rdf:type :DigitalProductPassport .
+:passport :caseName "digital_product_passport" .
+:passport :forProduct :ACME_X1000_SN123 .
+:passport :publicEndpoint "https://example.org/dpp/ACME-X1000-SN123" .
+:passport :publicSection "public" .
+:passport :restrictedSection "restricted" .
+:ACME_X1000_SN123 rdf:type :Product .
+:ACME_X1000_SN123 :model "ACME X1000" .
+:ACME_X1000_SN123 :serialNumber "SN123" .
+:ACME_X1000_SN123 :digitalLink "https://example.org/dpp/ACME-X1000-SN123" .
+:ACME_X1000_SN123 :hasComponent :BatteryPack_01 .
+:ACME_X1000_SN123 :hasComponent :Chassis_01 .
+:ACME_X1000_SN123 :hasComponent :Mainboard_01 .
+:BatteryPack_01 rdf:type :Component .
+:BatteryPack_01 :componentLabel "BatteryPack-01 Battery" .
+:BatteryPack_01 :type :Battery .
+:BatteryPack_01 :massG 48 .
+:BatteryPack_01 :recycledMassG 0 .
+:BatteryPack_01 :replaceable true .
+:BatteryPack_01 :containsMaterial :Lithium .
+:BatteryPack_01 :containsMaterial :Cobalt .
+:BatteryPack_01 :containsMaterial :Nickel .
+:Chassis_01 rdf:type :Component .
+:Chassis_01 :componentLabel "Chassis-01 Housing" .
+:Chassis_01 :type :Housing .
+:Chassis_01 :massG 32 .
+:Chassis_01 :recycledMassG 12 .
+:Chassis_01 :replaceable false .
+:Chassis_01 :containsMaterial :Aluminium .
+:Mainboard_01 rdf:type :Component .
+:Mainboard_01 :componentLabel "Mainboard-01 Electronics" .
+:Mainboard_01 :type :Electronics .
+:Mainboard_01 :massG 25 .
+:Mainboard_01 :recycledMassG 2 .
+:Mainboard_01 :replaceable false .
+:Mainboard_01 :containsMaterial :Copper .
+:Mainboard_01 :containsMaterial :GoldTrace .
+:Lithium rdf:type :Material .
+:Lithium :criticalRawMaterial true .
+:Lithium :materialName "Lithium" .
+:Cobalt rdf:type :Material .
+:Cobalt :criticalRawMaterial true .
+:Cobalt :materialName "Cobalt" .
+:Nickel rdf:type :Material .
+:Nickel :criticalRawMaterial false .
+:Nickel :materialName "Nickel" .
+:Aluminium rdf:type :Material .
+:Aluminium :criticalRawMaterial false .
+:Aluminium :materialName "Aluminium" .
+:Copper rdf:type :Material .
+:Copper :criticalRawMaterial false .
+:Copper :materialName "Copper" .
+:GoldTrace rdf:type :Material .
+:GoldTrace :criticalRawMaterial false .
+:GoldTrace :materialName "GoldTrace" .
+:Doc_UserManual rdf:type :Document .
+:Doc_UserManual :docType :UserManual .
+:Doc_UserManual :docTypeLabel "UserManual" .
+:Doc_UserManual :section "public" .
+:Doc_UserManual :url "https://example.org/manuals/acme-x1000" .
+:Doc_RepairGuide rdf:type :Document .
+:Doc_RepairGuide :docType :RepairGuide .
+:Doc_RepairGuide :docTypeLabel "RepairGuide" .
+:Doc_RepairGuide :section "public" .
+:Doc_RepairGuide :url "https://example.org/repair/acme-x1000" .
+:Doc_RepairGuide :declares :BatteryReplacementSupported .
+:Doc_SpareParts rdf:type :Document .
+:Doc_SpareParts :docType :SparePartsCatalog .
+:Doc_SpareParts :docTypeLabel "SparePartsCatalog" .
+:Doc_SpareParts :section "public" .
+:Doc_SpareParts :url "https://example.org/spares/acme-x1000" .
+:Doc_DoC_CE rdf:type :Document .
+:Doc_DoC_CE :docType :DeclarationOfConformity .
+:Doc_DoC_CE :section "restricted" .
+:Doc_SubstanceDeclaration rdf:type :Document .
+:Doc_SubstanceDeclaration :docType :SubstanceDeclaration .
+:Doc_SubstanceDeclaration :section "restricted" .
+:Policy :publicDocType :UserManual .
+:Policy :publicDocType :RepairGuide .
+:Policy :publicDocType :SparePartsCatalog .
+:Policy :restrictedDocType :DeclarationOfConformity .
+:Policy :restrictedDocType :SubstanceDeclaration .
+:Policy :requiredPublicClaim :BatteryReplacementSupported .
+:Footprint :manufacturingGCO2e 32000 .
+:Footprint :transportGCO2e 2500 .
+:Footprint :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" .
+
+in:metadata {
+  in:run a see:InputDataset .
+  in:run see:name "digital_product_passport" .
+  in:run see:title "Digital Product Passport" .
+  in:run see:sourceFile "examples/n3/digital_product_passport.n3" .
+  in:run see:sourceSHA256 "502e99d8e51a930eba50cb2411263cb6db5d98d63fe3dd48254612d993a9ab95" .
+  in:run see:description "N3-compiled version of the smartphone Digital Product Passport example. The\nrules fold component mass, recycled content, critical raw materials, public\ndocuments, lifecycle footprint, and access-policy validations into a public PASS." .
+  in:run see:compiler "see.js N3-to-JS compiler" .
+  in:run see:inputFacts 90 .
+  in:run see:compiledRules 12 .
+  in:run see:compiledBackwardRules 0 .
+  in:run see:compiledFuses 2 .
+  in:run see:compiledQueries 1 .
+}

package/see/examples/input/dijkstra.trig

@@ -0,0 +1,34 @@
+@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#> .
+@prefix see: <https://example.org/see#> .
+@prefix in: <https://example.org/see/input#> .
+
+# Formal SEE input evidence in RDF 1.2 TriG.
+# The generated runner reads this TriG evidence directly.
+
+(: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 .
+
+in:metadata {
+  in:run a see:InputDataset .
+  in:run see:name "dijkstra" .
+  in:run see:title "Dijkstra's algorithm to find the shortest path" .
+  in:run see:sourceFile "examples/n3/dijkstra.n3" .
+  in:run see:sourceSHA256 "e877c1cfea99078228bd424f6e55761e56cc54bc1e64b21540231620cc3620ab" .
+  in:run see:description "" .
+  in:run see:compiler "see.js N3-to-JS compiler" .
+  in:run see:inputFacts 9 .
+  in:run see:compiledRules 2 .
+  in:run see:compiledBackwardRules 3 .
+  in:run see:compiledFuses 0 .
+  in:run see:compiledQueries 0 .
+}

package/see/examples/input/dijkstra_risk_path.trig

@@ -0,0 +1,46 @@
+@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#> .
+
+# Formal SEE 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?" .
+:Case :start :ClinicA .
+:Case :goal :HubZ .
+:Case :riskWeight 2 .
+:pathB :routeText "ClinicA -> DepotB -> LabD -> HubZ" .
+:pathB :rawCost 10 .
+:pathB :riskSum 0.55 .
+:pathB :score 11.1 .
+:pathB :edgeCount 3 .
+:pathB :uses :ClinicA .
+:pathB :uses :DepotB .
+:pathB :uses :LabD .
+:pathB :uses :HubZ .
+:pathC :score 11.3 .
+:pathRelay :score 11.7 .
+:pathDirectC :rawCost 10 .
+:pathDirectC :score 11.6 .
+:pathDirectC :riskSum 0.8 .
+:pathViaC :rawCost 8 .
+:pathViaC :score 11.2 .
+:pathViaC :riskSum 1.6 .
+
+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/input/dog.trig

@@ -0,0 +1,31 @@
+@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#> .
+
+# Formal SEE input evidence in RDF 1.2 TriG.
+# The generated runner reads this TriG evidence directly.
+
+:alice :hasDog :dog1 .
+:alice :hasDog :dog2 .
+:alice :hasDog :dog3 .
+:alice :hasDog :dog4 .
+:alice :hasDog :dog5 .
+:bob :hasDog :dog6 .
+:bob :hasDog :dog7 .
+
+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/input/eco_route_insight.trig

@@ -0,0 +1,58 @@
+@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#> .
+
+# Formal SEE input evidence in RDF 1.2 TriG.
+# The generated runner reads this TriG evidence directly.
+
+:Scenario :driver "Jamal" .
+:Scenario :audience "Depot X" .
+:Scenario :allowedUse "ui.eco.banner" .
+:Scenario :issuedAt "2025-01-01T09:00:00Z" .
+:Scenario :expiresAt "2025-01-01T11:00:00Z" .
+:Policy :fuelIndexThreshold 120 .
+:Policy :maxEtaDelayMinutes 5 .
+:Policy :allowedUse "ui.eco.banner" .
+:Policy :signatureAlgorithm "HMAC-SHA256" .
+:Shipment :id "shipment-1" .
+:Shipment :payloadTons 2.5 .
+:currentRoute :id "current-route" .
+:currentRoute :label "Current urban route" .
+:currentRoute :distanceKm 42 .
+:currentRoute :gradientFactor 1.15 .
+:currentRoute :etaMinutes 64 .
+:currentRoute :fuelIndex 120.75 .
+:altLowFuel :id "alt-low-fuel" .
+:altLowFuel :label "Lower-fuel route" .
+:altLowFuel :distanceKm 38 .
+:altLowFuel :gradientFactor 1.05 .
+:altLowFuel :etaMinutes 66 .
+:altLowFuel :fuelIndex 99.75 .
+:altHillyShortcut :id "alt-hilly-shortcut" .
+:altHillyShortcut :label "Shorter hilly shortcut" .
+:altHillyShortcut :distanceKm 35 .
+:altHillyShortcut :gradientFactor 1.42 .
+:altHillyShortcut :etaMinutes 63 .
+:altHillyShortcut :fuelIndex 124.25 .
+:Envelope :rawDataExported "no" .
+:Envelope :payloadDigest "00e19becd91e81d6881749655d23d43002d9ea714bba61e855eafbc8ef9a5135" .
+:Envelope :signatureKey "local-demo-key" .
+:Envelope :signature "7fFGBN8fyI7xrmRz5VreeAUSf3LC_ywbj32NGk2ovUs" .
+
+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/input/equals.trig

@@ -0,0 +1,25 @@
+@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#> .
+
+# Formal SEE input evidence in RDF 1.2 TriG.
+# The generated runner reads this TriG evidence directly.
+
+:X owl:sameAs :Y .
+
+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/input/equivalence_classes_overlap_implies_same_class.trig

@@ -0,0 +1,28 @@
+@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#> .
+
+# Formal SEE input evidence in RDF 1.2 TriG.
+# The generated runner reads this TriG evidence directly.
+
+:a :inX true .
+:b :inX true .
+:c :inX true .
+:b :sim :a .
+:b :sim :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/input/euler_identity.trig

@@ -0,0 +1,34 @@
+@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#> .
+
+# Formal SEE input evidence in RDF 1.2 TriG.
+# The generated runner reads this TriG evidence directly.
+
+:EulerIdentity rdf:type :ExactComplexEquation .
+:EulerIdentity :name "Euler identity" .
+:EulerIdentity :formula "exp(i*pi) + 1 = 0" .
+:EulerIdentity :usesPhase :phasePi .
+:one rdf:type :ComplexNumber .
+:one :exact (1 0) .
+:zero rdf:type :ComplexNumber .
+:zero :exact (0 0) .
+:phasePi rdf:type :ComplexPhase .
+:phasePi :definedAs "cos(pi) + i sin(pi)" .
+
+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/input/ev_roundtrip_planner.trig

@@ -0,0 +1,90 @@
+@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#> .
+
+# Formal SEE input evidence in RDF 1.2 TriG.
+# The generated runner reads this TriG evidence directly.
+
+:Thresholds :minBelief 0.93 .
+:Thresholds :maxCost 0.09 .
+:Thresholds :maxDuration 260 .
+:Start :city :Brussels .
+:Start :battery :high .
+:Start :pass :none .
+:Goal :city :Cologne .
+:plan1 rdf:type gps:Plan .
+:plan1 gps:actions "drive_bru_liege -> drive_liege_aachen -> shuttle_aachen_cologne" .
+:plan1 gps:duration 210 .
+:plan1 gps:cost 0.054 .
+:plan1 gps:belief 0.974175 .
+:plan1 gps:comfort 0.89832 .
+:plan1 gps:finalCity "Cologne" .
+:plan1 gps:finalBattery "low" .
+:plan1 gps:finalPass "none" .
+:plan1 gps:fuelRemaining 5 .
+:plan1 gps:rank 1 .
+:plan2 rdf:type gps:Plan .
+:plan2 gps:actions "buy_pass_brussels -> drive_bru_liege -> drive_liege_aachen -> shuttle_aachen_cologne" .
+:plan2 gps:duration 220 .
+:plan2 gps:cost 0.058 .
+:plan2 gps:belief 0.973201 .
+:plan2 gps:comfort 0.889337 .
+:plan2 gps:finalCity "Cologne" .
+:plan2 gps:finalBattery "low" .
+:plan2 gps:finalPass "yes" .
+:plan2 gps:fuelRemaining 4 .
+:plan2 gps:rank 2 .
+:plan3 rdf:type gps:Plan .
+:plan3 gps:actions "buy_pass_brussels -> drive_bru_liege -> drive_liege_aachen -> fast_charge_aachen_pass -> premium_corridor_aachen_cologne" .
+:plan3 gps:duration 220 .
+:plan3 gps:cost 0.063 .
+:plan3 gps:belief 0.953737 .
+:plan3 gps:comfort 0.880398 .
+:plan3 gps:finalCity "Cologne" .
+:plan3 gps:finalBattery "low" .
+:plan3 gps:finalPass "yes" .
+:plan3 gps:fuelRemaining 3 .
+:plan3 gps:rank 3 .
+:plan4 rdf:type gps:Plan .
+:plan4 gps:actions "drive_bru_liege -> buy_pass_liege -> drive_liege_aachen -> shuttle_aachen_cologne" .
+:plan4 gps:duration 225 .
+:plan4 gps:cost 0.057 .
+:plan4 gps:belief 0.969304 .
+:plan4 gps:comfort 0.880354 .
+:plan4 gps:finalCity "Cologne" .
+:plan4 gps:finalBattery "low" .
+:plan4 gps:finalPass "yes" .
+:plan4 gps:fuelRemaining 4 .
+:plan4 gps:rank 4 .
+:plan5 rdf:type gps:Plan .
+:plan5 gps:actions "drive_bru_liege -> buy_pass_liege -> drive_liege_aachen -> fast_charge_aachen_pass -> premium_corridor_aachen_cologne" .
+:plan5 gps:duration 225 .
+:plan5 gps:cost 0.062 .
+:plan5 gps:belief 0.949918 .
+:plan5 gps:comfort 0.871505 .
+:plan5 gps:finalCity "Cologne" .
+:plan5 gps:finalBattery "low" .
+:plan5 gps:finalPass "yes" .
+:plan5 gps:fuelRemaining 3 .
+:plan5 gps:rank 5 .
+:PlanSet :acceptableCount 8 .
+:PlanSet :fuelBudget 8 .
+
+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/input/existential_rule.trig

@@ -0,0 +1,26 @@
+@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#> .
+
+# Formal SEE input evidence in RDF 1.2 TriG.
+# The generated runner reads this TriG evidence directly.
+
+:Socrates rdf:type :Human .
+:Plato rdf:type :Human .
+
+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/input/expression_eval.trig

@@ -0,0 +1,41 @@
+@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#> .
+
+# Formal SEE input evidence in RDF 1.2 TriG.
+# The generated runner reads this TriG evidence directly.
+
+:n2 :n 2 .
+:n3 :n 3 .
+:n10 :n 10 .
+:n4 :n 4 .
+:eMul rdf:type :Expr .
+:eMul :op :mul .
+:eMul :left :n2 .
+:eMul :right :n3 .
+:eSub rdf:type :Expr .
+:eSub :op :sub .
+:eSub :left :n10 .
+:eSub :right :n4 .
+:eAdd rdf:type :Expr .
+:eAdd :op :add .
+:eAdd :left :eMul .
+:eAdd :right :eSub .
+:Root :expr :eAdd .
+
+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 .
+}

package/see/examples/input/family_cousins.trig

@@ -0,0 +1,39 @@
+@prefix : <http://example.org/family#> .
+@prefix math: <http://www.w3.org/2000/10/swap/math#> .
+@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.
+# The generated runner reads this TriG evidence directly.
+
+:Adam :parentOf :Bob .
+:Adam :parentOf :Carol .
+:Bob :parentOf :Dave .
+:Bob :parentOf :Eve .
+:Carol :parentOf :Frank .
+:Carol :parentOf :Grace .
+:Dave :parentOf :Heidi .
+:Eve :parentOf :Ivan .
+:Frank :parentOf :Judy .
+:Dave :branch :b .
+:Eve :branch :b .
+:Frank :branch :c .
+:Grace :branch :c .
+:b :differentFrom :c .
+:c :differentFrom :b .
+
+in:metadata {
+  in:run a see:InputDataset .
+  in:run see:name "family_cousins" .
+  in:run see:title "Family cousins" .
+  in:run see:sourceFile "examples/n3/family_cousins.n3" .
+  in:run see:sourceSHA256 "5254e987fd72e71aafad53c8e3e9eb91d034cfd06878fcd02f611539200ab3e4" .
+  in:run see:description "" .
+  in:run see:compiler "see.js N3-to-JS compiler" .
+  in:run see:inputFacts 15 .
+  in:run see:compiledRules 4 .
+  in:run see:compiledBackwardRules 0 .
+  in:run see:compiledFuses 0 .
+  in:run see:compiledQueries 0 .
+}