eyeling 1.24.5 → 1.24.7

package/see/examples/input/age.trig

@@ -1,27 +0,0 @@
-@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
-@prefix time: <http://www.w3.org/2000/10/swap/time#> .
-@prefix math: <http://www.w3.org/2000/10/swap/math#> .
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .
-@prefix : <https://example.org/#> .
-@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.
-
-:patH :birthDay "1944-08-21" .
-
-in:metadata {
-  in:run a see:InputDataset .
-  in:run see:name "age" .
-  in:run see:title "Age checker" .
-  in:run see:sourceFile "examples/n3/age.n3" .
-  in:run see:sourceSHA256 "bf52bb918b595bb68a0a6304729e8129f3a851dc16cd3980ec5932115f2e7aea" .
-  in:run see:description "Is the age of a person above some duration?" .
-  in:run see:compiler "see.js N3-to-JS compiler" .
-  in:run see:inputFacts 1 .
-  in:run see:compiledRules 0 .
-  in:run see:compiledBackwardRules 1 .
-  in:run see:compiledFuses 0 .
-  in:run see:compiledQueries 1 .
-}

package/see/examples/input/backward.trig

@@ -1,25 +0,0 @@
-@prefix math: <http://www.w3.org/2000/10/swap/math#> .
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .
-@prefix : <http://example.org/#> .
-@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 "backward" .
-  in:run see:title "Backward rule example" .
-  in:run see:sourceFile "examples/n3/backward.n3" .
-  in:run see:sourceSHA256 "328d66402900d98dda0c02e3c64a7f3633f01a0ba148031c17e8fbf353057d33" .
-  in:run see:description "See https://www.w3.org/2000/10/swap/doc/tutorial-1.pdf page 17" .
-  in:run see:compiler "see.js N3-to-JS compiler" .
-  in:run see:inputFacts 0 .
-  in:run see:compiledRules 1 .
-  in:run see:compiledBackwardRules 1 .
-  in:run see:compiledFuses 0 .
-  in:run see:compiledQueries 0 .
-}

package/see/examples/input/bayes_diagnosis.trig

@@ -1,111 +0,0 @@
-@prefix : <https://eyereasoner.github.io/see/examples/bayes-diagnosis#> .
-@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.
-
-:COVID19 rdf:type :Disease .
-:COVID19 :label "COVID-19" .
-:COVID19 :prior 0.05 .
-:Influenza rdf:type :Disease .
-:Influenza :label "Influenza" .
-:Influenza :prior 0.03 .
-:AllergicRhinitis rdf:type :Disease .
-:AllergicRhinitis :label "Allergic rhinitis" .
-:AllergicRhinitis :prior 0.1 .
-:BacterialPneumonia rdf:type :Disease .
-:BacterialPneumonia :label "Bacterial pneumonia" .
-:BacterialPneumonia :prior 0.01 .
-_:blank1 :symptom :Fever .
-_:blank1 :p 0.7 .
-:COVID19 :pGiven _:blank1 .
-_:blank2 :symptom :DryCough .
-_:blank2 :p 0.65 .
-:COVID19 :pGiven _:blank2 .
-_:blank3 :symptom :LossOfSmell .
-_:blank3 :p 0.4 .
-:COVID19 :pGiven _:blank3 .
-_:blank4 :symptom :Sneezing .
-_:blank4 :p 0.15 .
-:COVID19 :pGiven _:blank4 .
-_:blank5 :symptom :ShortBreath .
-_:blank5 :p 0.2 .
-:COVID19 :pGiven _:blank5 .
-_:blank6 :symptom :Fever .
-_:blank6 :p 0.8 .
-:Influenza :pGiven _:blank6 .
-_:blank7 :symptom :DryCough .
-_:blank7 :p 0.5 .
-:Influenza :pGiven _:blank7 .
-_:blank8 :symptom :LossOfSmell .
-_:blank8 :p 0.05 .
-:Influenza :pGiven _:blank8 .
-_:blank9 :symptom :Sneezing .
-_:blank9 :p 0.2 .
-:Influenza :pGiven _:blank9 .
-_:blank10 :symptom :ShortBreath .
-_:blank10 :p 0.1 .
-:Influenza :pGiven _:blank10 .
-_:blank11 :symptom :Fever .
-_:blank11 :p 0.05 .
-:AllergicRhinitis :pGiven _:blank11 .
-_:blank12 :symptom :DryCough .
-_:blank12 :p 0.15 .
-:AllergicRhinitis :pGiven _:blank12 .
-_:blank13 :symptom :LossOfSmell .
-_:blank13 :p 0.1 .
-:AllergicRhinitis :pGiven _:blank13 .
-_:blank14 :symptom :Sneezing .
-_:blank14 :p 0.8 .
-:AllergicRhinitis :pGiven _:blank14 .
-_:blank15 :symptom :ShortBreath .
-_:blank15 :p 0.05 .
-:AllergicRhinitis :pGiven _:blank15 .
-_:blank16 :symptom :Fever .
-_:blank16 :p 0.7 .
-:BacterialPneumonia :pGiven _:blank16 .
-_:blank17 :symptom :DryCough .
-_:blank17 :p 0.6 .
-:BacterialPneumonia :pGiven _:blank17 .
-_:blank18 :symptom :LossOfSmell .
-_:blank18 :p 0.02 .
-:BacterialPneumonia :pGiven _:blank18 .
-_:blank19 :symptom :Sneezing .
-_:blank19 :p 0.05 .
-:BacterialPneumonia :pGiven _:blank19 .
-_:blank20 :symptom :ShortBreath .
-_:blank20 :p 0.6 .
-:BacterialPneumonia :pGiven _:blank20 .
-:Case rdf:type :PatientCase .
-:Case :diseases (:COVID19 :Influenza :AllergicRhinitis :BacterialPneumonia) .
-_:blank21 :symptom :Fever .
-_:blank21 :present true .
-_:blank22 :symptom :DryCough .
-_:blank22 :present true .
-_:blank23 :symptom :LossOfSmell .
-_:blank23 :present true .
-_:blank24 :symptom :Sneezing .
-_:blank24 :present false .
-_:blank25 :symptom :ShortBreath .
-_:blank25 :present true .
-:Case :evidence (_:blank21 _:blank22 _:blank23 _:blank24 _:blank25) .
-
-in:metadata {
-  in:run a see:InputDataset .
-  in:run see:name "bayes_diagnosis" .
-  in:run see:title "Bayes Diagnosis" .
-  in:run see:sourceFile "examples/n3/bayes_diagnosis.n3" .
-  in:run see:sourceSHA256 "46feebe5109b413a4143b7bcb4bc77ac6c0b18a8fdd8f6a62ab06c42287035d9" .
-  in:run see:description "Naive Bayes diagnosis example, adapted from Eyeling's bayes-diagnosis.n3.\nThe facts and rules compute unnormalized likelihoods, normalize them into\nposterior probabilities, and emit a SEE report for the highest posterior.\nValues are illustrative only and are not medical advice." .
-  in:run see:compiler "see.js N3-to-JS compiler" .
-  in:run see:inputFacts 85 .
-  in:run see:compiledRules 4 .
-  in:run see:compiledBackwardRules 5 .
-  in:run see:compiledFuses 4 .
-  in:run see:compiledQueries 1 .
-}

package/see/examples/input/bayes_therapy.trig

@@ -1,130 +0,0 @@
-@prefix : <https://eyereasoner.github.io/see/examples/bayes-therapy#> .
-@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.
-
-:COVID19 rdf:type :Disease .
-:COVID19 :prior 0.05 .
-:Influenza rdf:type :Disease .
-:Influenza :prior 0.03 .
-:AllergicRhinitis rdf:type :Disease .
-:AllergicRhinitis :prior 0.1 .
-:BacterialPneumonia rdf:type :Disease .
-:BacterialPneumonia :prior 0.01 .
-_:blank1 :symptom :Fever .
-_:blank1 :p 0.7 .
-:COVID19 :pGiven _:blank1 .
-_:blank2 :symptom :DryCough .
-_:blank2 :p 0.65 .
-:COVID19 :pGiven _:blank2 .
-_:blank3 :symptom :LossOfSmell .
-_:blank3 :p 0.4 .
-:COVID19 :pGiven _:blank3 .
-_:blank4 :symptom :Sneezing .
-_:blank4 :p 0.15 .
-:COVID19 :pGiven _:blank4 .
-_:blank5 :symptom :ShortBreath .
-_:blank5 :p 0.2 .
-:COVID19 :pGiven _:blank5 .
-_:blank6 :symptom :Fever .
-_:blank6 :p 0.8 .
-:Influenza :pGiven _:blank6 .
-_:blank7 :symptom :DryCough .
-_:blank7 :p 0.5 .
-:Influenza :pGiven _:blank7 .
-_:blank8 :symptom :LossOfSmell .
-_:blank8 :p 0.05 .
-:Influenza :pGiven _:blank8 .
-_:blank9 :symptom :Sneezing .
-_:blank9 :p 0.2 .
-:Influenza :pGiven _:blank9 .
-_:blank10 :symptom :ShortBreath .
-_:blank10 :p 0.1 .
-:Influenza :pGiven _:blank10 .
-_:blank11 :symptom :Fever .
-_:blank11 :p 0.05 .
-:AllergicRhinitis :pGiven _:blank11 .
-_:blank12 :symptom :DryCough .
-_:blank12 :p 0.15 .
-:AllergicRhinitis :pGiven _:blank12 .
-_:blank13 :symptom :LossOfSmell .
-_:blank13 :p 0.1 .
-:AllergicRhinitis :pGiven _:blank13 .
-_:blank14 :symptom :Sneezing .
-_:blank14 :p 0.8 .
-:AllergicRhinitis :pGiven _:blank14 .
-_:blank15 :symptom :ShortBreath .
-_:blank15 :p 0.05 .
-:AllergicRhinitis :pGiven _:blank15 .
-_:blank16 :symptom :Fever .
-_:blank16 :p 0.7 .
-:BacterialPneumonia :pGiven _:blank16 .
-_:blank17 :symptom :DryCough .
-_:blank17 :p 0.6 .
-:BacterialPneumonia :pGiven _:blank17 .
-_:blank18 :symptom :LossOfSmell .
-_:blank18 :p 0.02 .
-:BacterialPneumonia :pGiven _:blank18 .
-_:blank19 :symptom :Sneezing .
-_:blank19 :p 0.05 .
-:BacterialPneumonia :pGiven _:blank19 .
-_:blank20 :symptom :ShortBreath .
-_:blank20 :p 0.6 .
-:BacterialPneumonia :pGiven _:blank20 .
-:Paxlovid rdf:type :Therapy .
-:Paxlovid :label "Paxlovid" .
-:Paxlovid :successByDisease (0.75 0.05 0.02 0.05) .
-:Paxlovid :adverse 0.1 .
-:Oseltamivir rdf:type :Therapy .
-:Oseltamivir :label "Oseltamivir" .
-:Oseltamivir :successByDisease (0.05 0.6 0.02 0.05) .
-:Oseltamivir :adverse 0.08 .
-:Antihistamine rdf:type :Therapy .
-:Antihistamine :label "Antihistamine" .
-:Antihistamine :successByDisease (0.1 0.1 0.75 0.05) .
-:Antihistamine :adverse 0.03 .
-:Antibiotic rdf:type :Therapy .
-:Antibiotic :label "Antibiotic" .
-:Antibiotic :successByDisease (0.05 0.05 0.02 0.8) .
-:Antibiotic :adverse 0.07 .
-:SupportiveCare rdf:type :Therapy .
-:SupportiveCare :label "Supportive care" .
-:SupportiveCare :successByDisease (0.3 0.3 0.25 0.2) .
-:SupportiveCare :adverse 0.01 .
-:Model :benefitWeight 10 .
-:Model :harmWeight 3 .
-:Case rdf:type :PatientCase .
-:Case :diseases (:COVID19 :Influenza :AllergicRhinitis :BacterialPneumonia) .
-:Case :therapies (:Paxlovid :Oseltamivir :SupportiveCare :Antibiotic :Antihistamine) .
-_:blank21 :symptom :Fever .
-_:blank21 :present true .
-_:blank22 :symptom :DryCough .
-_:blank22 :present true .
-_:blank23 :symptom :LossOfSmell .
-_:blank23 :present false .
-_:blank24 :symptom :Sneezing .
-_:blank24 :present false .
-_:blank25 :symptom :ShortBreath .
-_:blank25 :present false .
-:Case :evidence (_:blank21 _:blank22 _:blank23 _:blank24 _:blank25) .
-
-in:metadata {
-  in:run a see:InputDataset .
-  in:run see:name "bayes_therapy" .
-  in:run see:title "Bayes Therapy" .
-  in:run see:sourceFile "examples/n3/bayes_therapy.n3" .
-  in:run see:sourceSHA256 "18244b81f37328f7d77c8e88a4749891c3d773ffbf19affecd7f118c6208395d" .
-  in:run see:description "Extends the Bayesian diagnosis model with a therapy utility layer. Adapted\nfrom Eyeling's bayes-therapy.n3. Values are illustrative only and are not\nmedical advice." .
-  in:run see:compiler "see.js N3-to-JS compiler" .
-  in:run see:inputFacts 104 .
-  in:run see:compiledRules 5 .
-  in:run see:compiledBackwardRules 15 .
-  in:run see:compiledFuses 8 .
-  in:run see:compiledQueries 1 .
-}

package/see/examples/input/bmi.trig

@@ -1,28 +0,0 @@
-@prefix : <https://example.org/bmi#> .
-@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.
-
-:Input :unitSystem "metric" .
-:Input :weight 72 .
-:Input :height 178 .
-
-in:metadata {
-  in:run a see:InputDataset .
-  in:run see:name "bmi" .
-  in:run see:title "BMI — Body Mass Index example." .
-  in:run see:sourceFile "examples/n3/bmi.n3" .
-  in:run see:sourceSHA256 "c7163f49a56f4405350787563e15aee0975fabd71ca773a8b32077b19ef25d3c" .
-  in:run see:description "This example turns a familiar health calculation into a small, inspectable\nSEE example. It normalizes either metric or US inputs, computes BMI, assigns\na WHO adult category, and derives a healthy-range weight band for the given\nheight. The report explains the result and includes independent validations for\nboundary handling and category behavior.\nFor reproducibility and documentation only; not medical advice." .
-  in:run see:compiler "see.js N3-to-JS compiler" .
-  in:run see:inputFacts 3 .
-  in:run see:compiledRules 12 .
-  in:run see:compiledBackwardRules 0 .
-  in:run see:compiledFuses 1 .
-  in:run see:compiledQueries 0 .
-}

package/see/examples/input/complex.trig

@@ -1,26 +0,0 @@
-@prefix math: <http://www.w3.org/2000/10/swap/math#> .
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .
-@prefix complex: <https://eyereasoner.github.io/eye/complex#> .
-@prefix : <http://example.org/#> .
-@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 "complex" .
-  in:run see:title "Complex numbers" .
-  in:run see:sourceFile "examples/n3/complex.n3" .
-  in:run see:sourceSHA256 "f06171b97fcf380a64522165c21d4544ef88af39e5f8a679aad2e51bcc63c2b6" .
-  in:run see:description "See https://en.wikipedia.org/wiki/Complex_number" .
-  in:run see:compiler "see.js N3-to-JS compiler" .
-  in:run see:inputFacts 0 .
-  in:run see:compiledRules 1 .
-  in:run see:compiledBackwardRules 8 .
-  in:run see:compiledFuses 0 .
-  in:run see:compiledQueries 0 .
-}

package/see/examples/input/complex_matrix_stability.trig

@@ -1,65 +0,0 @@
-@prefix : <https://eyereasoner.github.io/see/examples/complex-matrix-stability#> .
-@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.
-
-:Case :unstableMatrix :A_unstable .
-:Case :stableMatrix :A_stable .
-:Case :dampedMatrix :A_damped .
-:Scale2 :k 2 .
-:c_0_0 :re 0 .
-:c_0_0 :im 0 .
-:c_0_0 :pretty "(0,0)" .
-:c_0_1 :re 0 .
-:c_0_1 :im 1 .
-:c_0_1 :pretty "(0,1)" .
-:c_1_0 :re 1 .
-:c_1_0 :im 0 .
-:c_1_0 :pretty "(1,0)" .
-:c_m1_0 :re -1 .
-:c_m1_0 :im 0 .
-:c_m1_0 :pretty "(-1,0)" .
-:c_1_1 :re 1 .
-:c_1_1 :im 1 .
-:c_1_1 :pretty "(1,1)" .
-:c_1_2 :re 1 .
-:c_1_2 :im 2 .
-:c_1_2 :pretty "(1,2)" .
-:c_2_0 :re 2 .
-:c_2_0 :im 0 .
-:c_2_0 :pretty "(2,0)" .
-:A_unstable :a11 :c_1_1 .
-:A_unstable :a12 :c_0_0 .
-:A_unstable :a21 :c_0_0 .
-:A_unstable :a22 :c_2_0 .
-:A_unstable :pretty "[[(1,1),(0,0)],[(0,0),(2,0)]]" .
-:A_stable :a11 :c_1_0 .
-:A_stable :a12 :c_0_0 .
-:A_stable :a21 :c_0_0 .
-:A_stable :a22 :c_m1_0 .
-:A_stable :pretty "[[(1,0),(0,0)],[(0,0),(-1,0)]]" .
-:A_damped :a11 :c_0_0 .
-:A_damped :a12 :c_0_0 .
-:A_damped :a21 :c_0_0 .
-:A_damped :a22 :c_0_0 .
-:A_damped :pretty "[[(0,0),(0,0)],[(0,0),(0,0)]]" .
-
-in:metadata {
-  in:run a see:InputDataset .
-  in:run see:name "complex_matrix_stability" .
-  in:run see:title "Complex Matrix Stability" .
-  in:run see:sourceFile "examples/n3/complex_matrix_stability.n3" .
-  in:run see:sourceSHA256 "0ffed52d668e21ce26c5de11d2783603153ab79b6e2f92dece41e70777531297" .
-  in:run see:description "Diagonal 2x2 complex matrices are classified for discrete-time stability.\nThis adapts the Eyeling complex matrix example as a committed SEE N3\nsource that compiles to a standalone JavaScript example." .
-  in:run see:compiler "see.js N3-to-JS compiler" .
-  in:run see:inputFacts 40 .
-  in:run see:compiledRules 2 .
-  in:run see:compiledBackwardRules 15 .
-  in:run see:compiledFuses 0 .
-  in:run see:compiledQueries 0 .
-}

package/see/examples/input/composition_of_injective_functions_is_injective.trig

@@ -1,35 +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 .
-:p :inY true .
-:q :inY true .
-:r :inZ true .
-:f :injective true .
-:g :injective true .
-:h :compositeOf (:g :f) .
-(:f :a) :app :p .
-(:f :b) :app :q .
-(:g :p) :app :r .
-(:g :q) :app :r .
-
-in:metadata {
-  in:run a see:InputDataset .
-  in:run see:name "composition_of_injective_functions_is_injective" .
-  in:run see:title "Composition of injective functions is injective." .
-  in:run see:sourceFile "examples/n3/composition_of_injective_functions_is_injective.n3" .
-  in:run see:sourceSHA256 "59429a6490d6587b42c78b3206d390c6a9c1570a2fcdfa09407be0261c99b88f" .
-  in:run see:description "" .
-  in:run see:compiler "see.js N3-to-JS compiler" .
-  in:run see:inputFacts 12 .
-  in:run see:compiledRules 8 .
-  in:run see:compiledBackwardRules 0 .
-  in:run see:compiledFuses 0 .
-  in:run see:compiledQueries 1 .
-}

package/see/examples/input/control_system.trig

@@ -1,31 +0,0 @@
-@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#> .
-@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.
-
-:input1 :measurement1 (6 11) .
-:input2 :measurement2 true .
-:input3 :measurement3 56967 .
-:disturbance1 :measurement3 35766 .
-:state3 :observation3 22 .
-:output2 :measurement4 24 .
-:output2 :target2 29 .
-
-in:metadata {
-  in:run a see:InputDataset .
-  in:run see:name "control_system" .
-  in:run see:title "Control System" .
-  in:run see:sourceFile "examples/n3/control_system.n3" .
-  in:run see:sourceSHA256 "0950a7098972ffc4883c2cc7410f7d54f5699111ecfc026bc88dba74ef0ffc40" .
-  in:run see:description "Compact SEE version of the EYE reasoning/control-system example." .
-  in:run see:compiler "see.js N3-to-JS compiler" .
-  in:run see:inputFacts 7 .
-  in:run see:compiledRules 2 .
-  in:run see:compiledBackwardRules 2 .
-  in:run see:compiledFuses 0 .
-  in:run see:compiledQueries 1 .
-}

package/see/examples/input/crypto_builtins_tests.trig

@@ -1,25 +0,0 @@
-@prefix : <https://eyereasoner.github.io/see/examples/crypto-builtins-tests#> .
-@prefix crypto: <http://www.w3.org/2000/10/swap/crypto#> .
-@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 "crypto_builtins_tests" .
-  in:run see:title "crypto builtins tests" .
-  in:run see:sourceFile "examples/n3/crypto_builtins_tests.n3" .
-  in:run see:sourceSHA256 "36867ada425da37071cbc96e74a10311adbfe437adf3d8e56b4a1d95a23763b5" .
-  in:run see:description "" .
-  in:run see:compiler "see.js N3-to-JS compiler" .
-  in:run see:inputFacts 0 .
-  in:run see:compiledRules 4 .
-  in:run see:compiledBackwardRules 0 .
-  in:run see:compiledFuses 0 .
-  in:run see:compiledQueries 0 .
-}

package/see/examples/input/delfour.trig

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