eyeling 1.23.5 → 1.24.0

package/see/examples/input/fastpow.trig

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

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

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

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

package/see/examples/input/genetic_knapsack_selection.trig

@@ -0,0 +1,39 @@
+@prefix : <https://eyereasoner.github.io/see/examples/genetic-knapsack-selection#> .
+@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.
+
+:Run :capacity 50 .
+:Run :startGenome "000000000000" .
+:Run :maxGenerations 64 .
+:FinalLocal :genome "101000000101" .
+:FinalLocal :selectedItems "item01, item03, item10, item12" .
+:FinalLocal :weight 50 .
+:FinalLocal :value 101 .
+:FinalLocal :fitness 999899 .
+:FinalLocal :generationsEvaluated 5 .
+:ExhaustiveOptimum :genome "001000011111" .
+:ExhaustiveOptimum :value 104 .
+:NeighborSummary :oneBitNeighborsEvaluated 12 .
+:NeighborSummary :bestNeighborValue 101 .
+:NeighborSummary :capacityRespected true .
+
+in:metadata {
+  in:run a see:InputDataset .
+  in:run see:name "genetic_knapsack_selection" .
+  in:run see:title "Genetic Knapsack Selection" .
+  in:run see:sourceFile "examples/n3/genetic_knapsack_selection.n3" .
+  in:run see:sourceSHA256 "c8fb351156e7656f2e3600f0d1eaf8a624742a91f688425564822cea78530855" .
+  in:run see:description "N3-compiled version of the deterministic one-bit mutation knapsack example.\nThe original item list JSON is preserved as the data-input sidecar." .
+  in:run see:compiler "see.js N3-to-JS compiler" .
+  in:run see:inputFacts 14 .
+  in:run see:compiledRules 2 .
+  in:run see:compiledBackwardRules 0 .
+  in:run see:compiledFuses 0 .
+  in:run see:compiledQueries 1 .
+}

package/see/examples/input/goldbach_1000.trig

@@ -0,0 +1,53 @@
+@prefix : <https://eyereasoner.github.io/see/examples/goldbach-1000#> .
+@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.
+
+:BoundedRun :minEven 4 .
+:BoundedRun :maxEven 1000 .
+:BoundedRun :evenCount 499 .
+:BoundedRun :counterexamples 0 .
+:BoundedRun :sampleWitnesses "4=2+2; 28=5+23; 100=3+97; 998=7+991; 1000=3+997" .
+:w4 :even 4 .
+:w4 :p 2 .
+:w4 :q 2 .
+:w28 :even 28 .
+:w28 :p 5 .
+:w28 :q 23 .
+:w100 :even 100 .
+:w100 :p 3 .
+:w100 :q 97 .
+:w998 :even 998 .
+:w998 :p 7 .
+:w998 :q 991 .
+:w1000 :even 1000 .
+:w1000 :p 3 .
+:w1000 :q 997 .
+2 :prime true .
+3 :prime true .
+5 :prime true .
+7 :prime true .
+23 :prime true .
+97 :prime true .
+991 :prime true .
+997 :prime true .
+
+in:metadata {
+  in:run a see:InputDataset .
+  in:run see:name "goldbach_1000" .
+  in:run see:title "Goldbach 1000" .
+  in:run see:sourceFile "examples/n3/goldbach_1000.n3" .
+  in:run see:sourceSHA256 "f40ec2cb172140ebdb5632a0abf0f0498be1183564755aaf76748545a2b49158" .
+  in:run see:description "N3-compiled version of the bounded Goldbach SEE example. It keeps the bounded\nresult as committed data and uses rules to verify the representative witness\nequations that are shown in the report." .
+  in:run see:compiler "see.js N3-to-JS compiler" .
+  in:run see:inputFacts 28 .
+  in:run see:compiledRules 3 .
+  in:run see:compiledBackwardRules 0 .
+  in:run see:compiledFuses 1 .
+  in:run see:compiledQueries 1 .
+}

package/see/examples/input/good_cobbler.trig

@@ -0,0 +1,24 @@
+@prefix : <https://eyereasoner.github.io/see/examples/good-cobbler#> .
+@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.
+
+:joe :is (:good :Cobbler) .
+
+in:metadata {
+  in:run a see:InputDataset .
+  in:run see:name "good_cobbler" .
+  in:run see:title "Good cobbler" .
+  in:run see:sourceFile "examples/n3/good_cobbler.n3" .
+  in:run see:sourceSHA256 "7aeddb38a902b2684ba8824e3ec909e24716520433e9fbd31f6a0238cc1bd686" .
+  in:run see:description "Example from https://shs.hal.science/halshs-04148373/document\nUsing term logic http://intrologic.stanford.edu/chapters/chapter_11.html" .
+  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/gps.trig

@@ -0,0 +1,35 @@
+@prefix log: <http://www.w3.org/2000/10/swap/log#> .
+@prefix math: <http://www.w3.org/2000/10/swap/math#> .
+@prefix list: <http://www.w3.org/2000/10/swap/list#> .
+@prefix string: <http://www.w3.org/2000/10/swap/string#> .
+@prefix gps: <https://eyereasoner.github.io/see/examples/gps#> .
+@prefix : <https://eyereasoner.github.io/see/examples/gps#> .
+@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.
+
+:i1 :location :Gent .
+:question :text "Which route should we take from Gent to Oostende?" .
+:routeDirect :label "Gent -> Brugge -> Oostende" .
+:routeViaKortrijk :label "Gent -> Kortrijk -> Brugge -> Oostende" .
+:mapBE gps:segment (:Gent :Brugge :drive_gent_brugge 1500 0.006 0.96 0.99) .
+:mapBE gps:segment (:Gent :Kortrijk :drive_gent_kortrijk 1600 0.007 0.96 0.99) .
+:mapBE gps:segment (:Kortrijk :Brugge :drive_kortrijk_brugge 1600 0.007 0.96 0.99) .
+:mapBE gps:segment (:Brugge :Oostende :drive_brugge_oostende 900 0.004 0.98 1) .
+
+in:metadata {
+  in:run a see:InputDataset .
+  in:run see:name "gps" .
+  in:run see:title "GPS route planning" .
+  in:run see:sourceFile "examples/n3/gps.n3" .
+  in:run see:sourceSHA256 "3ca7a57d4a2d06215e852e74b51d71f6b0aa36230eb172fa3e17465052c06404" .
+  in:run see:description "Goal-driven path planning over a tiny western-Belgium map. The N3 source is\nadapted from Eyeling's GPS example and compiles to a standalone SEE example." .
+  in:run see:compiler "see.js N3-to-JS compiler" .
+  in:run see:inputFacts 8 .
+  in:run see:compiledRules 5 .
+  in:run see:compiledBackwardRules 2 .
+  in:run see:compiledFuses 4 .
+  in:run see:compiledQueries 0 .
+}

package/see/examples/input/gray_code_counter.trig

@@ -0,0 +1,33 @@
+@prefix : <https://eyereasoner.github.io/see/examples/gray-code-counter#> .
+@prefix list: <http://www.w3.org/2000/10/swap/list#> .
+@prefix log: <http://www.w3.org/2000/10/swap/log#> .
+@prefix math: <http://www.w3.org/2000/10/swap/math#> .
+@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.
+
+:Counter :bits 4 .
+:Counter :steps 16 .
+:Counter :sequence (0 1 3 2 6 7 5 4 12 13 15 14 10 11 9 8) .
+:Counter :uniqueStateCount 16 .
+:Counter :sequencePrefix "0000, 0001, 0011, 0010, 0110, 0111, 0101, 0100" .
+:Counter :wrapTransition "1000 -> 0000" .
+:Counter :maxHammingDistance 1 .
+
+in:metadata {
+  in:run a see:InputDataset .
+  in:run see:name "gray_code_counter" .
+  in:run see:title "Gray Code Counter" .
+  in:run see:sourceFile "examples/n3/gray_code_counter.n3" .
+  in:run see:sourceSHA256 "61f77dc563c8a38d612cf4fba812e6066f00449e27b9bc620e866a52e08ea4d2" .
+  in:run see:description "N3-compiled version of the 4-bit Gray counter SEE example.  The example keeps\nthe known reflected Gray-code sequence as data, derives its visited-state count\nwith a list builtin, and derives the published invariants before rendering the\nSEE report." .
+  in:run see:compiler "see.js N3-to-JS compiler" .
+  in:run see:inputFacts 7 .
+  in:run see:compiledRules 3 .
+  in:run see:compiledBackwardRules 0 .
+  in:run see:compiledFuses 0 .
+  in:run see:compiledQueries 0 .
+}

package/see/examples/input/greatest_lower_bound_uniqueness.trig

@@ -0,0 +1,29 @@
+@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 :inP true .
+:b :inP true .
+:g1 :inP true .
+:g2 :inP true .
+:g1 :glbOf (:a :b) .
+:g2 :glbOf (:a :b) .
+
+in:metadata {
+  in:run a see:InputDataset .
+  in:run see:name "greatest_lower_bound_uniqueness" .
+  in:run see:title "In a partial order, a greatest lower bound is unique." .
+  in:run see:sourceFile "examples/n3/greatest_lower_bound_uniqueness.n3" .
+  in:run see:sourceSHA256 "3a199585b9906a895deba6508458c88551558aec89fdc1b490ed9493bbb63433" .
+  in:run see:description "" .
+  in:run see:compiler "see.js N3-to-JS compiler" .
+  in:run see:inputFacts 6 .
+  in:run see:compiledRules 7 .
+  in:run see:compiledBackwardRules 0 .
+  in:run see:compiledFuses 0 .
+  in:run see:compiledQueries 1 .
+}

package/see/examples/input/group_inverse_uniqueness.trig

@@ -0,0 +1,29 @@
+@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.
+
+:x :inG true .
+:i :inG true .
+:j :inG true .
+:e :inG true .
+:i :inverseOf :x .
+:j :inverseOf :x .
+
+in:metadata {
+  in:run a see:InputDataset .
+  in:run see:name "group_inverse_uniqueness" .
+  in:run see:title "In a group, the inverse of an element is unique." .
+  in:run see:sourceFile "examples/n3/group_inverse_uniqueness.n3" .
+  in:run see:sourceSHA256 "956bff60a7e087600d31b0fce180031de1e03f7a995b3f2949e531653b7b5dc3" .
+  in:run see:description "" .
+  in:run see:compiler "see.js N3-to-JS compiler" .
+  in:run see:inputFacts 6 .
+  in:run see:compiledRules 6 .
+  in:run see:compiledBackwardRules 0 .
+  in:run see:compiledFuses 0 .
+  in:run see:compiledQueries 1 .
+}

package/see/examples/input/hadamard_approx.trig

@@ -0,0 +1,32 @@
+@prefix : <https://eyereasoner.github.io/see/examples/hadamard-approx#> .
+@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.
+
+:sqrt2Proc rdf:type :DyadicBisection .
+:sqrt2Proc :maxN 20 .
+:HGate rdf:type :SingleQubitGate .
+:HGate :name "H" .
+:HGate :usesScale :invSqrt2 .
+:invSqrt2 rdf:type :PositiveRealApprox .
+:invSqrt2 :definedAs "1/sqrt2" .
+:sqrt2Proc :state (0 1 2) .
+
+in:metadata {
+  in:run a see:InputDataset .
+  in:run see:name "hadamard_approx" .
+  in:run see:title "Hadamard gate approximation" .
+  in:run see:sourceFile "examples/n3/hadamard_approx.n3" .
+  in:run see:sourceSHA256 "e8ecabf81463a98ebcb7a1970dfe31792d96011b5e060ad2ed6f5f02ee46a6d2" .
+  in:run see:description "" .
+  in:run see:compiler "see.js N3-to-JS compiler" .
+  in:run see:inputFacts 8 .
+  in:run see:compiledRules 10 .
+  in:run see:compiledBackwardRules 0 .
+  in:run see:compiledFuses 0 .
+  in:run see:compiledQueries 3 .
+}

package/see/examples/input/hanoi.trig

@@ -0,0 +1,26 @@
+@prefix math: <http://www.w3.org/2000/10/swap/math#> .
+@prefix list: <http://www.w3.org/2000/10/swap/list#> .
+@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.
+
+# No source facts were present in the N3 program.
+
+in:metadata {
+  in:run a see:InputDataset .
+  in:run see:name "hanoi" .
+  in:run see:title "Towers of Hanoi" .
+  in:run see:sourceFile "examples/n3/hanoi.n3" .
+  in:run see:sourceSHA256 "f2ef15363d9c2430bd3b68d500d3d256d241b8fcf4fd368b287a91e15289df1d" .
+  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 2 .
+  in:run see:compiledFuses 0 .
+  in:run see:compiledQueries 0 .
+}

package/see/examples/input/odrl_dpv_risk_ranked.trig

@@ -0,0 +1,107 @@
+@prefix : <https://example.org/odrl-dpv-risk-ranked#> .
+@prefix odrl: <http://www.w3.org/ns/odrl/2/> .
+@prefix dpv: <https://w3id.org/dpv#> .
+@prefix risk: <https://w3id.org/dpv/risk#> .
+@prefix dct: <http://purl.org/dc/terms/> .
+@prefix log: <http://www.w3.org/2000/10/swap/log#> .
+@prefix math: <http://www.w3.org/2000/10/swap/math#> .
+@prefix tosl: <https://example.org/tosl-profile#> .
+@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.
+
+:ConsumerExample rdf:type :ConsumerProfile .
+:ConsumerExample rdf:type odrl:Party .
+:ConsumerExample dct:title "Example consumer profile" .
+:ConsumerExample :hasNeed :Need_DataCannotBeRemoved .
+:ConsumerExample :hasNeed :Need_ChangeOnlyWithPriorNotice .
+:ConsumerExample :hasNeed :Need_NoSharingWithoutConsent .
+:ConsumerExample :hasNeed :Need_DataPortability .
+:Need_DataCannotBeRemoved rdf:type :Need .
+:Need_DataCannotBeRemoved :importance 20 .
+:Need_DataCannotBeRemoved dct:description "Provider must not remove the consumer account/data." .
+:Need_ChangeOnlyWithPriorNotice rdf:type :Need .
+:Need_ChangeOnlyWithPriorNotice :importance 15 .
+:Need_ChangeOnlyWithPriorNotice :minNoticeDays 14 .
+:Need_ChangeOnlyWithPriorNotice dct:description "Agreement may change only with prior notice (>= 14 days)." .
+:Need_NoSharingWithoutConsent rdf:type :Need .
+:Need_NoSharingWithoutConsent :importance 12 .
+:Need_NoSharingWithoutConsent dct:description "No data sharing without explicit consent." .
+:Need_DataPortability rdf:type :Need .
+:Need_DataPortability :importance 10 .
+:Need_DataPortability dct:description "Consumer must be able to export their data." .
+:Agreement1 rdf:type :Agreement .
+:Agreement1 dct:title "Example Agreement" .
+:Agreement1 :policyGraph in:formula1 .
+:ClauseC1 rdf:type :Clause .
+:ClauseC1 :clauseId "C1" .
+:ClauseC1 :text "Provider may remove the user account (and associated data) at its discretion." .
+:ClauseC2 rdf:type :Clause .
+:ClauseC2 :clauseId "C2" .
+:ClauseC2 :text "Provider may change terms by informing users at least 3 days in advance." .
+:ClauseC3 rdf:type :Clause .
+:ClauseC3 :clauseId "C3" .
+:ClauseC3 :text "Provider may share user data with partners for business purposes." .
+:ClauseC4 rdf:type :Clause .
+:ClauseC4 :clauseId "C4" .
+:ClauseC4 :text "Users are not permitted to export their data." .
+:ProcessContext1 rdf:type dpv:Process .
+:ProcessContext1 dct:source :Agreement1 .
+:ProcessContext1 dct:title "Service operation under Agreement1" .
+
+in:formula1 {
+  :Policy1 rdf:type odrl:Policy .
+  :Policy1 odrl:permission :PermDeleteAccount .
+  :Policy1 odrl:permission :PermChangeTerms .
+  :Policy1 odrl:permission :PermShareData .
+  :Policy1 odrl:prohibition :ProhibitExportData .
+  :PermDeleteAccount rdf:type odrl:Permission .
+  :PermDeleteAccount odrl:assigner :Provider .
+  :PermDeleteAccount odrl:assignee :ConsumerExample .
+  :PermDeleteAccount odrl:action tosl:removeAccount .
+  :PermDeleteAccount odrl:target :UserAccount .
+  :PermDeleteAccount :clause :ClauseC1 .
+  :PermChangeTerms rdf:type odrl:Permission .
+  :PermChangeTerms odrl:assigner :Provider .
+  :PermChangeTerms odrl:assignee :ConsumerExample .
+  :PermChangeTerms odrl:action tosl:changeTerms .
+  :PermChangeTerms odrl:target :AgreementText .
+  _:blank1 rdf:type odrl:Duty .
+  _:blank1 odrl:action odrl:inform .
+  _:blank2 rdf:type odrl:Constraint .
+  _:blank2 odrl:leftOperand tosl:noticeDays .
+  _:blank2 odrl:operator odrl:gteq .
+  _:blank2 odrl:rightOperand 3 .
+  _:blank1 odrl:constraint _:blank2 .
+  :PermChangeTerms odrl:duty _:blank1 .
+  :PermChangeTerms :clause :ClauseC2 .
+  :PermShareData rdf:type odrl:Permission .
+  :PermShareData odrl:assigner :Provider .
+  :PermShareData odrl:assignee :ConsumerExample .
+  :PermShareData odrl:action tosl:shareData .
+  :PermShareData odrl:target :UserData .
+  :PermShareData :clause :ClauseC3 .
+  :ProhibitExportData rdf:type odrl:Prohibition .
+  :ProhibitExportData odrl:assigner :Provider .
+  :ProhibitExportData odrl:assignee :ConsumerExample .
+  :ProhibitExportData odrl:action tosl:exportData .
+  :ProhibitExportData odrl:target :UserData .
+  :ProhibitExportData :clause :ClauseC4 .
+}
+
+in:metadata {
+  in:run a see:InputDataset .
+  in:run see:name "odrl_dpv_risk_ranked" .
+  in:run see:title "ODRL + DPV risk assessment with ranked, explainable output." .
+  in:run see:sourceFile "examples/n3/odrl_dpv_risk_ranked.n3" .
+  in:run see:sourceSHA256 "e3360556d6e82bda9f502d362cc110e2cd681608ae1388cf8071660f6fbe6200" .
+  in:run see:description "What this file does\n- Models an agreement as an ODRL policy (odrl:Policy) containing permissions,\nprohibitions, duties, and constraints. ODRL is expressive enough to encode the\nnormative “may/must/must-not” structure of TOS clauses as RDF.\n- Links each ODRL rule to a clause resource (:Clause) to keep human-readable text\nwhile preserving machine-readable structure for reasoning.\n- Uses N3 rules with log:includes / log:notIncludes to detect missing safeguards\n(e.g., missing notice constraints, missing inform duties, missing consent constraints).\n- Generates DPV risks (dpv:Risk) and classifies them using DPV-RISK concepts:\nrisk:hasRiskSource, dpv:hasConsequence, dpv:hasImpact, dpv:hasSeverity, dpv:hasRiskLevel.\n- Produces mitigations as dpv:RiskMitigationMeasure resources and attaches them\nto risks with dpv:isMitigatedByMeasure.\n- Computes a numeric score for each risk and prints a ranked, explainable report.\nRanking / output\n- Output strings are emitted as log:outputString triples.\n- When running with Eyeling “strings” mode (-r), strings are printed in deterministic\norder based on their subject key. The program encodes ranking via an “inverse score”\nkey (e.g., 1000 - score) so higher-risk items appear first.\nReferences\n- N3 spec:          https://w3c.github.io/N3/spec/\n- Eyeling builtins: https://eyereasoner.github.io/eyeling/HANDBOOK#ch11\n- ODRL vocab:       https://www.w3.org/TR/odrl-vocab/\n- DPV risk module:  https://dev.dpvcg.org/dpv/modules/risk\n- DPV-RISK:         https://w3id.org/dpv/risk" .
+  in:run see:compiler "see.js N3-to-JS compiler" .
+  in:run see:inputFacts 38 .
+  in:run see:compiledRules 9 .
+  in:run see:compiledBackwardRules 0 .
+  in:run see:compiledFuses 0 .
+  in:run see:compiledQueries 3 .
+}