eyeling 1.24.5 → 1.24.7

package/see/examples/input/digital_product_passport.trig

@@ -1,116 +0,0 @@
-@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

@@ -1,34 +0,0 @@
-@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/dog.trig

@@ -1,31 +0,0 @@
-@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/equals.trig

@@ -1,25 +0,0 @@
-@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

@@ -1,28 +0,0 @@
-@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

@@ -1,34 +0,0 @@
-@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

@@ -1,90 +0,0 @@
-@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

@@ -1,26 +0,0 @@
-@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

@@ -1,41 +0,0 @@
-@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

@@ -1,39 +0,0 @@
-@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 .
-}

package/see/examples/input/fastpow.trig

@@ -1,25 +0,0 @@
-@prefix : <https://eyereasoner.github.io/see/examples/fastpow#> .
-@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.
-
-# No source facts were present in the N3 program.
-
-in:metadata {
-  in:run a see:InputDataset .
-  in:run see:name "fastpow" .
-  in:run see:title "Fast exponentiation demo" .
-  in:run see:sourceFile "examples/n3/fastpow.n3" .
-  in:run see:sourceSHA256 "be6ae46e774f3887cf89f2302ba55a826a08d3c846b77dd3c78a90e32d0ebc14" .
-  in:run see:description "" .
-  in:run see:compiler "see.js N3-to-JS compiler" .
-  in:run see:inputFacts 0 .
-  in:run see:compiledRules 1 .
-  in:run see:compiledBackwardRules 7 .
-  in:run see:compiledFuses 0 .
-  in:run see:compiledQueries 0 .
-}

package/see/examples/input/fibonacci.trig

@@ -1,51 +0,0 @@
-@prefix : <https://eyereasoner.github.io/see/examples/fibonacci#> .
-@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.
-
-:Run :target 10000 .
-:Run :sampleIndex 0 .
-:Run :sampleIndex 1 .
-:Run :sampleIndex 2 .
-:Run :sampleIndex 10 .
-:Run :sampleIndex 100 .
-:Run :sampleIndex 1000 .
-:Run :sampleIndex 10000 .
-:Run :method :bigIntegerRecurrence .
-:bigIntegerRecurrence :baseCase "F(0)=0" .
-:bigIntegerRecurrence :baseCase "F(1)=1" .
-:bigIntegerRecurrence :stepRule "F(n)=F(n-1)+F(n-2)" .
-:Sample0 :index 0 .
-:Sample0 :value "0" .
-:Sample1 :index 1 .
-:Sample1 :value "1" .
-:Sample2 :index 2 .
-:Sample2 :value "1" .
-:Sample10 :index 10 .
-:Sample10 :value "55" .
-:Sample100 :index 100 .
-:Sample100 :value "354224848179261915075" .
-:Sample1000 :index 1000 .
-:Sample1000 :digits 209 .
-:Sample10000 :index 10000 .
-:Sample10000 :digits 2090 .
-:Sample10000 :value "33644764876431783266621612005107543310302148460680063906564769974680081442166662368155595513633734025582065332680836159373734790483865268263040892463056431887354544369559827491606602099884183933864652731300088830269235673613135117579297437854413752130520504347701602264758318906527890855154366159582987279682987510631200575428783453215515103870818298969791613127856265033195487140214287532698187962046936097879900350962302291026368131493195275630227837628441540360584402572114334961180023091208287046088923962328835461505776583271252546093591128203925285393434620904245248929403901706233888991085841065183173360437470737908552631764325733993712871937587746897479926305837065742830161637408969178426378624212835258112820516370298089332099905707920064367426202389783111470054074998459250360633560933883831923386783056136435351892133279732908133732642652633989763922723407882928177953580570993691049175470808931841056146322338217465637321248226383092103297701648054726243842374862411453093812206564914032751086643394517512161526545361333111314042436854805106765843493523836959653428071768775328348234345557366719731392746273629108210679280784718035329131176778924659089938635459327894523777674406192240337638674004021330343297496902028328145933418826817683893072003634795623117103101291953169794607632737589253530772552375943788434504067715555779056450443016640119462580972216729758615026968443146952034614932291105970676243268515992834709891284706740862008587135016260312071903172086094081298321581077282076353186624611278245537208532365305775956430072517744315051539600905168603220349163222640885248852433158051534849622434848299380905070483482449327453732624567755879089187190803662058009594743150052402532709746995318770724376825907419939632265984147498193609285223945039707165443156421328157688908058783183404917434556270520223564846495196112460268313970975069382648706613264507665074611512677522748621598642530711298441182622661057163515069260029861704945425047491378115154139941550671256271197133252763631939606902895650288268608362241082050562430701794976171121233066073310059947366875" .
-
-in:metadata {
-  in:run a see:InputDataset .
-  in:run see:name "fibonacci" .
-  in:run see:title "Fibonacci Example (Big)" .
-  in:run see:sourceFile "examples/n3/fibonacci.n3" .
-  in:run see:sourceSHA256 "25d93f4de352e797e1afb277f9f5805b1cdaface366f199b1195cc601555a172" .
-  in:run see:description "N3-compiled version of the exact Fibonacci example. The target and sample indices are represented as formal TriG input\nevidence when this source is compiled." .
-  in:run see:compiler "see.js N3-to-JS compiler" .
-  in:run see:inputFacts 27 .
-  in:run see:compiledRules 1 .
-  in:run see:compiledBackwardRules 0 .
-  in:run see:compiledFuses 0 .
-  in:run see:compiledQueries 1 .
-}

package/see/examples/input/french_cities.trig

@@ -1,38 +0,0 @@
-@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
-@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
-@prefix owl: <http://www.w3.org/2002/07/owl#> .
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .
-@prefix : <https://eyereasoner.github.io/see/examples/french-cities#> .
-@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.
-
-:paris :oneway :orleans .
-:paris :oneway :chartres .
-:paris :oneway :amiens .
-:orleans :oneway :blois .
-:orleans :oneway :bourges .
-:blois :oneway :tours .
-:chartres :oneway :lemans .
-:lemans :oneway :angers .
-:lemans :oneway :tours .
-:angers :oneway :nantes .
-:oneway rdfs:subPropertyOf :path .
-:path rdf:type owl:TransitiveProperty .
-
-in:metadata {
-  in:run a see:InputDataset .
-  in:run see:name "french_cities" .
-  in:run see:title "French cities — graph path traversal." .
-  in:run see:sourceFile "examples/n3/french_cities.n3" .
-  in:run see:sourceSHA256 "7e3672e6ab314845d44cdd16e7a91484c205de77ff8c9a06971f857612692be4" .
-  in:run see:description "Based on the EYE reasoning/graph example: graph.axiom.n3 plus graph.filter.n3.\nIt asks whether Paris can reach Nantes by following one-way links, using a\nsubproperty rule and a transitive-property rule." .
-  in:run see:compiler "see.js N3-to-JS compiler" .
-  in:run see:inputFacts 12 .
-  in:run see:compiledRules 2 .
-  in:run see:compiledBackwardRules 0 .
-  in:run see:compiledFuses 0 .
-  in:run see:compiledQueries 1 .
-}

package/see/examples/input/fundamental_theorem_arithmetic.trig

@@ -1,42 +0,0 @@
-@prefix : <https://eyereasoner.github.io/see/examples/fundamental-theorem-arithmetic#> .
-@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.
-
-:Case :n 202692987 .
-:Case :factors (3 3 7 829 3881) .
-:Case :flatFactorString "3 * 3 * 7 * 829 * 3881" .
-:Case :primePowerString "3^2 * 7 * 829 * 3881" .
-:Case :largestFlatFactorString "3881 * 829 * 7 * 3 * 3" .
-:Case :sortedComparison "3 * 3 * 7 * 829 * 3881" .
-:Case :smallestTrace "  202692987 = 3 * 67564329\n  67564329 = 3 * 22521443\n  22521443 = 7 * 3217349\n  3217349 = 829 * 3881\n  3881 is prime" .
-:SampleSummary :sampleCount 6 .
-:SampleSummary :largestSample 600851475143 .
-:SampleSummary :totalFactorsWithMultiplicity 31 .
-:SampleSummary :distinctPrimesSeen 17 .
-:SampleSummary :sampleBlock "  360360 = 2^3 * 3^2 * 5 * 7 * 11 * 13\n  202692987 = 3^2 * 7 * 829 * 3881\n  4294967295 = 3 * 5 * 17 * 257 * 65537\n  600851475143 = 71 * 839 * 1471 * 6857\n  9876543210 = 2 * 3^2 * 5 * 17^2 * 379721\n  9999999967 = 9999999967" .
-3 :primeWitness true .
-7 :primeWitness true .
-829 :primeWitness true .
-3881 :primeWitness true .
-
-in:metadata {
-  in:run a see:InputDataset .
-  in:run see:name "fundamental_theorem_arithmetic" .
-  in:run see:title "Fundamental Theorem Arithmetic" .
-  in:run see:sourceFile "examples/n3/fundamental_theorem_arithmetic.n3" .
-  in:run see:sourceSHA256 "d88eca366c590d49544e49453cbe69ba38938f8bc23919278bfaadd0bed0cd2d" .
-  in:run see:description "N3-compiled version of the hand-written SEE example. The primary case mirrors\nEyeling's fundamental-theorem-arithmetic.n3: n = 202692987 is validated against\nthe factorization 3^2 * 7 * 829 * 3881. Extra sample summaries are kept as\ndata so the SEE report still documents the larger regression set." .
-  in:run see:compiler "see.js N3-to-JS compiler" .
-  in:run see:inputFacts 16 .
-  in:run see:compiledRules 4 .
-  in:run see:compiledBackwardRules 0 .
-  in:run see:compiledFuses 3 .
-  in:run see:compiledQueries 1 .
-}