eyeling 1.23.5 → 1.24.0

package/see/examples/input/age.trig

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

@@ -0,0 +1,31 @@
+@prefix : <https://eyereasoner.github.io/see/examples/annotation#> .
+@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.
+
+:a :name "Alice" .
+:t :statedBy :bob .
+:t :recorded "2021-07-07" .
+
+:t {
+  :a :name "Alice" .
+}
+
+in:metadata {
+  in:run a see:InputDataset .
+  in:run see:name "annotation" .
+  in:run see:title "Annotation" .
+  in:run see:sourceFile "examples/n3/annotation.n3" .
+  in:run see:sourceSHA256 "fa6faef8fac2e328ccfb894c21eef260b0935a936b5e9806f8889719e7f39e4f" .
+  in:run see:description "" .
+  in:run see:compiler "see.js N3-to-JS compiler" .
+  in:run see:inputFacts 4 .
+  in:run see:compiledRules 0 .
+  in:run see:compiledBackwardRules 0 .
+  in:run see:compiledFuses 0 .
+  in:run see:compiledQueries 0 .
+}

package/see/examples/input/backward.trig

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

@@ -0,0 +1,25 @@
+@prefix : <urn:example#> .
+@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 :parent :b .
+:b :parent :c .
+
+in:metadata {
+  in:run a see:InputDataset .
+  in:run see:name "backward_recursion" .
+  in:run see:title "Backward recursion coverage" .
+  in:run see:sourceFile "examples/n3/backward_recursion.n3" .
+  in:run see:sourceSHA256 "1249b9825793b7f0174c87a4d0e44752cb63f3940cc332c0d00fc6bb15a081d1" .
+  in:run see:description "Demonstrates recursive <= rules compiled into specialized JavaScript." .
+  in:run see:compiler "see.js N3-to-JS compiler" .
+  in:run see:inputFacts 2 .
+  in:run see:compiledRules 1 .
+  in:run see:compiledBackwardRules 2 .
+  in:run see:compiledFuses 0 .
+  in:run see:compiledQueries 1 .
+}

package/see/examples/input/bayes_diagnosis.trig

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

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

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

@@ -0,0 +1,24 @@
+@prefix : <urn:example#> .
+@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 "builtin_coverage" .
+  in:run see:title "Builtin coverage smoke" .
+  in:run see:sourceFile "examples/n3/builtin_coverage.n3" .
+  in:run see:sourceSHA256 "4ea25a79da436dd28fb54de1a7d0f5d49729b47f384f9bd36411c5cc1b821dbc" .
+  in:run see:description "Exercises math, string, list, crypto, time, and log builtins in compiled JavaScript." .
+  in:run see:compiler "see.js N3-to-JS compiler" .
+  in:run see:inputFacts 0 .
+  in:run see:compiledRules 1 .
+  in:run see:compiledBackwardRules 0 .
+  in:run see:compiledFuses 0 .
+  in:run see:compiledQueries 1 .
+}

package/see/examples/input/collection.trig

@@ -0,0 +1,25 @@
+@prefix : <https://eyereasoner.github.io/see/examples/collection#> .
+@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.
+
+(1 _:b2 (2)) :p2 :q2 .
+_:b2 :p :q .
+
+in:metadata {
+  in:run a see:InputDataset .
+  in:run see:name "collection" .
+  in:run see:title "Collection" .
+  in:run see:sourceFile "examples/n3/collection.n3" .
+  in:run see:sourceSHA256 "ebce812d5e37729432cb77a638cde078af333450cc12ebd66b06083867cee7fa" .
+  in:run see:description "" .
+  in:run see:compiler "see.js N3-to-JS compiler" .
+  in:run see:inputFacts 2 .
+  in:run see:compiledRules 0 .
+  in:run see:compiledBackwardRules 0 .
+  in:run see:compiledFuses 0 .
+  in:run see:compiledQueries 0 .
+}

package/see/examples/input/complex.trig

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

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

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

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

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