eyeling 1.24.4 → 1.24.6

package/see/examples/output/age.md

@@ -1,48 +0,0 @@
-# Age checker  
-
-## Entailment  
-The compiled query selected 1 fact(s) after the rule closure was computed.  
-Main entailment: **:test is true.**  
-
-Selected entailments:  
-- :test :is true .  
-
-## Explanation  
-Starts with 1 source fact(s), applies 1 rule(s), and reaches a fixpoint.  
-The log:query projection then keeps only the matching fact(s) shown above.  
-
-Selected explanation support:  
-  - :test :is true . _(no recorded rule support)_  
-
-The query-selected facts are serialized in the Formal TriG Output section.  
-
-## Formal TriG Output  
-
-```trig  
-@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#> .  
-@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .  
-
-:test :is true .  
-
-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/output/annotation.md

@@ -1,43 +0,0 @@
-# Annotation  
-
-## Entailment  
-The derivation produced 1 formula-valued entailment(s).  
-Main entailment: **:t log:nameOf { :a :name "Alice" }.**  
-
-Selected entailments:  
-- :t log:nameOf { :a :name "Alice" } .  
-
-## Explanation  
-Starts with 4 source fact(s), applies 0 rule(s), and reaches a fixpoint.  
-
-Selected explanation support:  
-  - :t log:nameOf { :a :name "Alice" } . _(source)_  
-
-The formula-valued facts are serialized in the Formal TriG Output section.  
-
-## Formal TriG Output  
-
-```trig  
-@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#> .  
-@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .  
-
-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/output/backward.md

@@ -1,50 +0,0 @@
-# Backward rule example  
-
-## Entailment  
-The derivation produced 1 new fact(s) from 0 stated fact(s).  
-Main entailment: **5 :isIndeedMoreInterestingThan 3.**  
-
-Selected entailments:  
-- 5 :isIndeedMoreInterestingThan 3 .  
-
-## Explanation  
-Starts with 0 source fact(s), applies 2 rule(s), and reaches a fixpoint.  
-
-Derivation steps:  
-- Rule 2: 5 :moreInterestingThan 3 => 5 :isIndeedMoreInterestingThan 3 derives 5 :isIndeedMoreInterestingThan 3 .  
-  - Uses: no graph premises; built-ins/constants satisfied the rule.  
-
-Selected explanation support:  
-  - 5 :isIndeedMoreInterestingThan 3 . _(derived by Rule 2)_  
-    - no graph premises; built-ins/constants satisfied the rule.  
-
-The selected facts are serialized in the Formal TriG Output section.  
-
-## Formal TriG Output  
-
-```trig  
-@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#> .  
-@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .  
-
-5 :isIndeedMoreInterestingThan 3 .  
-
-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/output/backward_recursion.md

@@ -1,54 +0,0 @@
-# Backward recursion coverage  
-
-## Entailment  
-The compiled query selected 2 fact(s) after the rule closure was computed.  
-Main entailment: **:a :reaches :c.**  
-
-Selected entailments:  
-- :a :reaches :c .  
-- :a :reaches :b .  
-
-## Explanation  
-Starts with 2 source fact(s), applies 3 rule(s), and reaches a fixpoint.  
-The log:query projection then keeps only the matching fact(s) shown above.  
-
-Derivation steps:  
-- Rule 3: :a :ancestor ?who => :a :reaches ?who derives :a :reaches :b ., :a :reaches :c .  
-  - Uses: no graph premises; built-ins/constants satisfied the rule.  
-
-Selected explanation support:  
-  - :a :reaches :c . _(derived by Rule 3)_  
-    - no graph premises; built-ins/constants satisfied the rule.  
-  - :a :reaches :b . _(derived by Rule 3)_  
-    - no graph premises; built-ins/constants satisfied the rule.  
-
-The query-selected facts are serialized in the Formal TriG Output section.  
-
-## Formal TriG Output  
-
-```trig  
-@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#> .  
-@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .  
-
-:a :reaches :b .  
-:a :reaches :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/output/bayes_diagnosis.md

@@ -1,103 +0,0 @@
-# Bayes Diagnosis  
-
-## Entailment  
-The most likely disease is COVID-19 (posterior = 0.941209).  
-
-Full posterior distribution:  
-  COVID-19              posterior = 0.941209  (unnormalized = 0.00154700)  
-  Influenza             posterior = 0.029204  (unnormalized = 0.00004800)  
-  Allergic rhinitis     posterior = 0.000456  (unnormalized = 0.00000075)  
-  Bacterial pneumonia   posterior = 0.029131  (unnormalized = 0.00004788)  
-
-## Explanation  
-Evidence: Fever=present, DryCough=present, LossOfSmell=present, Sneezing=absent, ShortBreath=present. Evidence total (normalizing constant) = 0.00164363. Each posterior is prior(d) times the product of symptom likelihood factors, divided by the evidence total.  
-
-**Generated derivation support**  
-
-Compiled support: 85 source fact(s), 9 rule(s), fixpoint reached before rendering.  
-
-Derivation steps:  
-- Rule 10 (3 premise pattern(s) => 2 conclusion pattern(s)) derives :Case :scores (0.001547 0.000048 7.5e-7 0.00004788) ., :Case :evidenceTotal 0.00164363 .  
-  - Uses: :Case :diseases (:COVID19 :Influenza :AllergicRhinitis :BacterialPneumonia) . _(source)_  
-- Rule 11 (6 premise pattern(s) => 5 conclusion pattern(s)) derives _:r11_6fcdcfca2e82_headBlank30 :disease :COVID19 ., _:r11_6fcdcfca2e82_headBlank30 :unnormalized 0.001547 ., _:r11_6fcdcfca2e82_headBlank30 :posterior 0.941209396275317 ., :Case :result _:r11_6fcdcfca2e82_headBlank30 ., … +16 more  
-  - Uses: :Case :diseases (:COVID19 :Influenza :AllergicRhinitis :BacterialPneumonia) . _(source)_; :Case :scores (0.001547 0.000048 7.5e-7 0.00004788) . _(derived)_; :Case :evidenceTotal 0.00164363 . _(derived)_  
-- Rule 12 (11 premise pattern(s) => 2 conclusion pattern(s)) derives :Case :winner :COVID19 ., :Case :winnerPosterior 0.941209396275317 .  
-  - Uses: _:r11_6fcdcfca2e82_headBlank30 :disease :COVID19 . _(derived)_; _:r11_6fcdcfca2e82_headBlank30 :posterior 0.941209396275317 . _(derived)_; :Case :result _:r11_6fcdcfca2e82_headBlank30 . _(derived)_; :COVID19 :posterior 0.941209396275317 . _(derived)_; … +3 more premise fact(s)  
-- Rule 13 (13 premise pattern(s) => 2 conclusion pattern(s)) derives :bayesDiagnosis log:outputString "[authored report]" ., :bayesDiagnosis :recommends :COVID19 .  
-  - Uses: :Case :winner :COVID19 . _(derived)_; :Case :winnerPosterior 0.941209396275317 . _(derived)_; :Case :evidenceTotal 0.00164363 . _(derived)_; :COVID19 :label "COVID-19" . _(source)_; … +4 more premise fact(s)  
-
-Selected explanation support:  
-  - :bayesDiagnosis :recommends :COVID19 . _(derived by Rule 13)_  
-    - :Case :winner :COVID19 . _(derived by Rule 12)_  
-      - _:r11_6fcdcfca2e82_headBlank30 :disease :COVID19 . _(derived by Rule 11)_  
-        - :Case :diseases (:COVID19 :Influenza :AllergicRhinitis :BacterialPneumonia) . _(source)_  
-        - :Case :scores (0.001547 0.000048 7.5e-7 0.00004788) . _(derived by Rule 10)_  
-          - :Case :diseases (:COVID19 :Influenza :AllergicRhinitis :BacterialPneumonia) . _(source)_  
-        - :Case :evidenceTotal 0.00164363 . _(derived by Rule 10)_  
-          - :Case :diseases (:COVID19 :Influenza :AllergicRhinitis :BacterialPneumonia) . _(source)_  
-      - _:r11_6fcdcfca2e82_headBlank30 :posterior 0.941209396275317 . _(derived by Rule 11)_  
-        - :Case :diseases (:COVID19 :Influenza :AllergicRhinitis :BacterialPneumonia) . _(source)_  
-        - :Case :scores (0.001547 0.000048 7.5e-7 0.00004788) . _(derived by Rule 10)_  
-          - :Case :diseases (:COVID19 :Influenza :AllergicRhinitis :BacterialPneumonia) . _(source)_  
-        - :Case :evidenceTotal 0.00164363 . _(derived by Rule 10)_  
-          - :Case :diseases (:COVID19 :Influenza :AllergicRhinitis :BacterialPneumonia) . _(source)_  
-      - :Case :result _:r11_6fcdcfca2e82_headBlank30 . _(derived by Rule 11)_  
-        - :Case :diseases (:COVID19 :Influenza :AllergicRhinitis :BacterialPneumonia) . _(source)_  
-        - :Case :scores (0.001547 0.000048 7.5e-7 0.00004788) . _(derived by Rule 10)_  
-          - :Case :diseases (:COVID19 :Influenza :AllergicRhinitis :BacterialPneumonia) . _(source)_  
-        - :Case :evidenceTotal 0.00164363 . _(derived by Rule 10)_  
-          - :Case :diseases (:COVID19 :Influenza :AllergicRhinitis :BacterialPneumonia) . _(source)_  
-      - :COVID19 :posterior 0.941209396275317 . _(derived by Rule 11)_  
-        - :Case :diseases (:COVID19 :Influenza :AllergicRhinitis :BacterialPneumonia) . _(source)_  
-        - :Case :scores (0.001547 0.000048 7.5e-7 0.00004788) . _(derived by Rule 10)_  
-          - :Case :diseases (:COVID19 :Influenza :AllergicRhinitis :BacterialPneumonia) . _(source)_  
-        - :Case :evidenceTotal 0.00164363 . _(derived by Rule 10)_  
-          - :Case :diseases (:COVID19 :Influenza :AllergicRhinitis :BacterialPneumonia) . _(source)_  
-      - ... 3 more premise fact(s)  
-    - :Case :winnerPosterior 0.941209396275317 . _(derived by Rule 12)_  
-      - _:r11_6fcdcfca2e82_headBlank30 :disease :COVID19 . _(derived by Rule 11)_  
-        - :Case :diseases (:COVID19 :Influenza :AllergicRhinitis :BacterialPneumonia) . _(source)_  
-        - :Case :scores (0.001547 0.000048 7.5e-7 0.00004788) . _(derived by Rule 10)_  
-          - :Case :diseases (:COVID19 :Influenza :AllergicRhinitis :BacterialPneumonia) . _(source)_  
-        - :Case :evidenceTotal 0.00164363 . _(derived by Rule 10)_  
-          - :Case :diseases (:COVID19 :Influenza :AllergicRhinitis :BacterialPneumonia) . _(source)_  
-      - _:r11_6fcdcfca2e82_headBlank30 :posterior 0.941209396275317 . _(derived by Rule 11)_  
-        - :Case :diseases (:COVID19 :Influenza :AllergicRhinitis :BacterialPneumonia) . _(source)_  
-        - :Case :scores (0.001547 0.000048 7.5e-7 0.00004788) . _(derived by Rule 10)_  
-          - :Case :diseases (:COVID19 :Influenza :AllergicRhinitis :BacterialPneumonia) . _(source)_  
-        - :Case :evidenceTotal 0.00164363 . _(derived by Rule 10)_  
-          - :Case :diseases (:COVID19 :Influenza :AllergicRhinitis :BacterialPneumonia) . _(source)_  
-      - ... 3 more premise fact(s)  
-    - ... 4 more premise fact(s)  
-  - … support tree truncated after 40 line(s)  
-
-## Formal TriG Output  
-
-```trig  
-@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#> .  
-@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .  
-
-:bayesDiagnosis :recommends :COVID19 .  
-
-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/output/bayes_therapy.md

@@ -1,84 +0,0 @@
-# Bayes Therapy  
-
-## Entailment  
-Recommended therapy: Paxlovid (utility = 3.585174).  
-expected success : 0.388517  
-adverse probability : 0.100000  
-
-Therapy utilities:  
-  Paxlovid        utility = 3.585174  success = 0.388517  adverse = 0.100000  
-  Oseltamivir     utility = 2.611410  success = 0.285141  adverse = 0.080000  
-  Supportive care utility = 2.885120  success = 0.291512  adverse = 0.010000  
-  Antibiotic      utility = 0.899526  success = 0.110953  adverse = 0.070000  
-  Antihistamine   utility = 0.912689  success = 0.100269  adverse = 0.030000  
-
-## Explanation  
-The N3 source first computes disease posteriors from the symptom evidence. It then combines those posterior probabilities with therapy-specific success probabilities, subtracting the weighted adverse-effect penalty from the weighted expected benefit.  
-
-**Generated derivation support**  
-
-Compiled support: 104 source fact(s), 20 rule(s), fixpoint reached before rendering.  
-
-Derivation steps:  
-- Rule 20 (5 premise pattern(s) => 3 conclusion pattern(s)) derives :Case :scores (0.009282 0.008208 0.00012825 0.00156408) ., :Case :evidenceTotal 0.01918233 ., :Case :posteriors (0.48388282341092 0.42789379600914 0.00668584056264281 0.0815375400172972) .  
-  - Uses: :Case :diseases (:COVID19 :Influenza :AllergicRhinitis :BacterialPneumonia) . _(source)_  
-- Rule 21 (4 premise pattern(s) => 1 conclusion pattern(s)) derives :COVID19 :posterior 0.48388282341092 ., :Influenza :posterior 0.42789379600914 ., :AllergicRhinitis :posterior 0.00668584056264281 ., :BacterialPneumonia :posterior 0.0815375400172972 .  
-  - Uses: :Case :diseases (:COVID19 :Influenza :AllergicRhinitis :BacterialPneumonia) . _(source)_; :Case :posteriors (0.48388282341092 0.42789379600914 0.00668584056264281 0.0815375400172972) . _(derived)_  
-- Rule 22 (12 premise pattern(s) => 3 conclusion pattern(s)) derives :Paxlovid :expectedSuccess 0.388517401170765 ., :Paxlovid :expectedAdverse 0.1 ., :Paxlovid :utility 3.58517401170765 ., :Oseltamivir :expectedSuccess 0.285141012588148 ., … +11 more  
-  - Uses: :Case :posteriors (0.48388282341092 0.42789379600914 0.00668584056264281 0.0815375400172972) . _(derived)_; :Paxlovid rdf:type :Therapy . _(source)_; :Paxlovid :successByDisease (0.75 0.05 0.02 0.05) . _(source)_; :Paxlovid :adverse 0.1 . _(source)_; … +14 more premise fact(s)  
-- Rule 27: :Case :therapies ?ts; (?ts) :bestTherapy ?best => :Case :recommendedTherapy ?best derives :Case :recommendedTherapy :Paxlovid .  
-  - Uses: :Case :therapies (:Paxlovid :Oseltamivir :SupportiveCare :Antibiotic :Antihistamine) . _(source)_  
-- Rule 28 (21 premise pattern(s) => 2 conclusion pattern(s)) derives :bayesTherapy log:outputString "[authored report]" ., :bayesTherapy :recommends :Paxlovid .  
-  - Uses: :Case :recommendedTherapy :Paxlovid . _(derived)_; :Paxlovid :label "Paxlovid" . _(source)_; :Paxlovid :expectedSuccess 0.388517401170765 . _(derived)_; :Paxlovid :expectedAdverse 0.1 . _(derived)_; … +13 more premise fact(s)  
-
-Selected explanation support:  
-  - :bayesTherapy :recommends :Paxlovid . _(derived by Rule 28)_  
-    - :Case :recommendedTherapy :Paxlovid . _(derived by Rule 27)_  
-      - :Case :therapies (:Paxlovid :Oseltamivir :SupportiveCare :Antibiotic :Antihistamine) . _(source)_  
-    - :Paxlovid :label "Paxlovid" . _(source)_  
-    - :Paxlovid :expectedSuccess 0.388517401170765 . _(derived by Rule 22)_  
-      - :Case :posteriors (0.48388282341092 0.42789379600914 0.00668584056264281 0.0815375400172972) . _(derived by Rule 20)_  
-        - :Case :diseases (:COVID19 :Influenza :AllergicRhinitis :BacterialPneumonia) . _(source)_  
-      - :Paxlovid rdf:type :Therapy . _(source)_  
-      - :Paxlovid :successByDisease (0.75 0.05 0.02 0.05) . _(source)_  
-      - :Paxlovid :adverse 0.1 . _(source)_  
-      - ... 2 more premise fact(s)  
-    - :Paxlovid :expectedAdverse 0.1 . _(derived by Rule 22)_  
-      - :Case :posteriors (0.48388282341092 0.42789379600914 0.00668584056264281 0.0815375400172972) . _(derived by Rule 20)_  
-        - :Case :diseases (:COVID19 :Influenza :AllergicRhinitis :BacterialPneumonia) . _(source)_  
-      - :Paxlovid rdf:type :Therapy . _(source)_  
-      - :Paxlovid :successByDisease (0.75 0.05 0.02 0.05) . _(source)_  
-      - :Paxlovid :adverse 0.1 . _(source)_  
-      - ... 2 more premise fact(s)  
-    - ... 13 more premise fact(s)  
-
-## Formal TriG Output  
-
-```trig  
-@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#> .  
-@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .  
-
-:bayesTherapy :recommends :Paxlovid .  
-
-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/output/bmi.md

@@ -1,164 +0,0 @@
-# BMI — Body Mass Index example.  
-
-## Entailment  
-BMI = 22.72  
-Category = Normal  
-At height 178 cm, a healthy-weight range is about 58.6–78.9 kg (BMI 18.5–24.9).  
-
-## Explanation  
-BMI is defined as weight in kilograms divided by height in meters squared. This program first normalizes the input to SI units, computes BMI, and then applies WHO adult categories as half-open intervals. The healthy-weight band is the weight range at the same height that corresponds to BMI 18.5 through 24.9.  
-
-**Generated derivation support**  
-
-Compiled support: 3 source fact(s), 12 rule(s), fixpoint reached before rendering.  
-
-Derivation steps:  
-- Rule 1 (4 premise pattern(s) => 3 conclusion pattern(s)) derives :Case :weightKg 72 ., :Case :heightM 1.78 ., :Reason :units "Inputs were already metric, so kilograms stay kilograms and centimeters are divided by 100 to obtain meters." .  
-  - Uses: :Input :unitSystem "metric" . _(source)_; :Input :weight 72 . _(source)_; :Input :height 178 . _(source)_  
-- Rule 3 (15 premise pattern(s) => 7 conclusion pattern(s)) derives :Case :heightSquared 3.1684 ., :Case :bmi 22.7244034844085 ., :Case :bmiRounded 22.72 ., :Case :healthyMinKg 58.6154 ., … +3 more  
-  - Uses: :Case :weightKg 72 . _(derived)_; :Case :heightM 1.78 . _(derived)_  
-- Rule 5 (3 premise pattern(s) => 1 conclusion pattern(s)) derives :Decision :category "Normal" .  
-  - Uses: :Case :bmi 22.7244034844085 . _(derived)_  
-- Rule 10 (7 premise pattern(s) => 5 conclusion pattern(s)) derives :Answer :bmi 22.72 ., :Answer :category "Normal" ., :Answer :healthyMinKg 58.6 ., :Answer :healthyMaxKg 78.9 ., … +1 more  
-  - Uses: :Case :bmiRounded 22.72 . _(derived)_; :Case :healthyMinKgRounded 58.6 . _(derived)_; :Case :healthyMaxKgRounded 78.9 . _(derived)_; :Case :heightM 1.78 . _(derived)_; … +1 more premise fact(s)  
-- Rule 11 (6 premise pattern(s) => 4 conclusion pattern(s)) derives :Reason :formula "BMI is defined as weight in kilograms divided by height in meters squared." ., :Reason :calculation "The normalized weight and height were used to compute BMI, then the result was mapped to the WHO adult category table." ., :Reason :categoryRule "Normal" ., :Reason :unitsExplanation "Inputs were already metric, so kilograms stay kilograms and centimeters are divided by 100 to obtain meters." .  
-  - Uses: :Case :weightKg 72 . _(derived)_; :Case :heightM 1.78 . _(derived)_; :Case :heightSquared 3.1684 . _(derived)_; :Case :bmiRounded 22.72 . _(derived)_; … +2 more premise fact(s)  
-- Rule 13 (6 premise pattern(s) => 1 conclusion pattern(s)) derives :report log:outputString "[authored report]" .  
-  - Uses: :Answer :bmi 22.72 . _(derived)_; :Answer :category "Normal" . _(derived)_; :Answer :healthyMinKg 58.6 . _(derived)_; :Answer :healthyMaxKg 78.9 . _(derived)_; … +1 more premise fact(s)  
-
-Selected explanation support:  
-  - :report log:outputString "[authored report]" . _(authored report, Rule 13)_  
-  - :Reason :unitsExplanation "Inputs were already metric, so kilograms stay kilograms and centimeters are divided by 100 to obtain meters." . _(derived by Rule 11)_  
-    - :Case :weightKg 72 . _(derived by Rule 1)_  
-      - :Input :unitSystem "metric" . _(source)_  
-      - :Input :weight 72 . _(source)_  
-      - :Input :height 178 . _(source)_  
-    - :Case :heightM 1.78 . _(derived by Rule 1)_  
-      - :Input :unitSystem "metric" . _(source)_  
-      - :Input :weight 72 . _(source)_  
-      - :Input :height 178 . _(source)_  
-    - :Case :heightSquared 3.1684 . _(derived by Rule 3)_  
-      - :Case :weightKg 72 . _(derived by Rule 1)_  
-        - :Input :unitSystem "metric" . _(source)_  
-        - :Input :weight 72 . _(source)_  
-        - :Input :height 178 . _(source)_  
-      - :Case :heightM 1.78 . _(derived by Rule 1)_  
-        - :Input :unitSystem "metric" . _(source)_  
-        - :Input :weight 72 . _(source)_  
-        - :Input :height 178 . _(source)_  
-    - :Case :bmiRounded 22.72 . _(derived by Rule 3)_  
-      - :Case :weightKg 72 . _(derived by Rule 1)_  
-        - :Input :unitSystem "metric" . _(source)_  
-        - :Input :weight 72 . _(source)_  
-        - :Input :height 178 . _(source)_  
-      - :Case :heightM 1.78 . _(derived by Rule 1)_  
-        - :Input :unitSystem "metric" . _(source)_  
-        - :Input :weight 72 . _(source)_  
-        - :Input :height 178 . _(source)_  
-    - ... 2 more premise fact(s)  
-  - :Reason :categoryRule "Normal" . _(derived by Rule 11)_  
-    - :Case :weightKg 72 . _(derived by Rule 1)_  
-      - :Input :unitSystem "metric" . _(source)_  
-      - :Input :weight 72 . _(source)_  
-      - :Input :height 178 . _(source)_  
-    - :Case :heightM 1.78 . _(derived by Rule 1)_  
-      - :Input :unitSystem "metric" . _(source)_  
-      - :Input :weight 72 . _(source)_  
-      - :Input :height 178 . _(source)_  
-    - :Case :heightSquared 3.1684 . _(derived by Rule 3)_  
-      - :Case :weightKg 72 . _(derived by Rule 1)_  
-        - :Input :unitSystem "metric" . _(source)_  
-        - :Input :weight 72 . _(source)_  
-        - :Input :height 178 . _(source)_  
-      - :Case :heightM 1.78 . _(derived by Rule 1)_  
-        - :Input :unitSystem "metric" . _(source)_  
-        - :Input :weight 72 . _(source)_  
-        - :Input :height 178 . _(source)_  
-    - :Case :bmiRounded 22.72 . _(derived by Rule 3)_  
-      - :Case :weightKg 72 . _(derived by Rule 1)_  
-        - :Input :unitSystem "metric" . _(source)_  
-        - :Input :weight 72 . _(source)_  
-        - :Input :height 178 . _(source)_  
-      - :Case :heightM 1.78 . _(derived by Rule 1)_  
-        - :Input :unitSystem "metric" . _(source)_  
-        - :Input :weight 72 . _(source)_  
-        - :Input :height 178 . _(source)_  
-    - ... 2 more premise fact(s)  
-  - :Reason :calculation "The normalized weight and height were used to compute BMI, then the result was mapped to the WHO adult category table." . _(derived by Rule 11)_  
-    - :Case :weightKg 72 . _(derived by Rule 1)_  
-      - :Input :unitSystem "metric" . _(source)_  
-      - :Input :weight 72 . _(source)_  
-      - :Input :height 178 . _(source)_  
-    - :Case :heightM 1.78 . _(derived by Rule 1)_  
-      - :Input :unitSystem "metric" . _(source)_  
-      - :Input :weight 72 . _(source)_  
-      - :Input :height 178 . _(source)_  
-    - :Case :heightSquared 3.1684 . _(derived by Rule 3)_  
-      - :Case :weightKg 72 . _(derived by Rule 1)_  
-        - :Input :unitSystem "metric" . _(source)_  
-        - :Input :weight 72 . _(source)_  
-        - :Input :height 178 . _(source)_  
-      - :Case :heightM 1.78 . _(derived by Rule 1)_  
-        - :Input :unitSystem "metric" . _(source)_  
-        - :Input :weight 72 . _(source)_  
-        - :Input :height 178 . _(source)_  
-    - :Case :bmiRounded 22.72 . _(derived by Rule 3)_  
-      - :Case :weightKg 72 . _(derived by Rule 1)_  
-        - :Input :unitSystem "metric" . _(source)_  
-        - :Input :weight 72 . _(source)_  
-        - :Input :height 178 . _(source)_  
-      - :Case :heightM 1.78 . _(derived by Rule 1)_  
-        - :Input :unitSystem "metric" . _(source)_  
-        - :Input :weight 72 . _(source)_  
-        - :Input :height 178 . _(source)_  
-    - ... 2 more premise fact(s)  
-
-## Formal TriG Output  
-
-```trig  
-@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#> .  
-@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .  
-
-:Case :weightKg 72 .  
-:Case :heightM 1.78 .  
-:Reason :units "Inputs were already metric, so kilograms stay kilograms and centimeters are divided by 100 to obtain meters." .  
-:Case :heightSquared 3.1684 .  
-:Case :bmi 22.7244034844085 .  
-:Case :bmiRounded 22.72 .  
-:Case :healthyMinKg 58.6154 .  
-:Case :healthyMaxKg 78.89316 .  
-:Case :healthyMinKgRounded 58.6 .  
-:Case :healthyMaxKgRounded 78.9 .  
-:Decision :category "Normal" .  
-:Answer :bmi 22.72 .  
-:Answer :category "Normal" .  
-:Answer :healthyMinKg 58.6 .  
-:Answer :healthyMaxKg 78.9 .  
-:Answer :heightCm 178 .  
-:Reason :formula "BMI is defined as weight in kilograms divided by height in meters squared." .  
-:Reason :calculation "The normalized weight and height were used to compute BMI, then the result was mapped to the WHO adult category table." .  
-:Reason :categoryRule "Normal" .  
-:Reason :unitsExplanation "Inputs were already metric, so kilograms stay kilograms and centimeters are divided by 100 to obtain meters." .  
-:report log:outputString "=== Answer ===\nBMI = 22.72\nCategory = Normal\nAt height 178 cm, a healthy-weight range is about 58.6–78.9 kg (BMI 18.5–24.9).\n\n=== Explanation ===\nBMI is defined as weight in kilograms divided by height in meters squared. This program first normalizes the input to SI units, computes BMI, and then applies WHO adult categories as half-open intervals. The healthy-weight band is the weight range at the same height that corresponds to BMI 18.5 through 24.9.\n\n" .  
-
-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/output/builtin_coverage.md

@@ -1,99 +0,0 @@
-# Builtin coverage smoke  
-
-## Entailment  
-The compiled query selected 29 fact(s) after the rule closure was computed.  
-Main entailment: **:assurance :member "c".**  
-
-Selected entailments:  
-- :assurance :member "c" .  
-- :assurance :member "b" .  
-- :assurance :formula { :x :p :y . :a :b :c } .  
-- :assurance :month 1 .  
-- :assurance :year 2024 .  
-- :assurance :member "a" .  
-
-## Explanation  
-Starts with 0 source fact(s), applies 1 rule(s), and reaches a fixpoint.  
-The log:query projection then keeps only the matching fact(s) shown above.  
-
-Derivation steps:  
-- Rule 1 (30 premise pattern(s) => 27 conclusion pattern(s)) derives :assurance :sum 9 ., :assurance :product 24 ., :assurance :difference 5 ., :assurance :quotient 3 ., … +25 more  
-  - Uses: no graph premises; built-ins/constants satisfied the rule.  
-
-Selected explanation support:  
-  - :assurance :member "c" . _(derived by Rule 1)_  
-    - no graph premises; built-ins/constants satisfied the rule.  
-  - :assurance :member "b" . _(derived by Rule 1)_  
-    - no graph premises; built-ins/constants satisfied the rule.  
-  - :assurance :formula { :x :p :y . :a :b :c } . _(derived by Rule 1)_  
-    - no graph premises; built-ins/constants satisfied the rule.  
-  - :assurance :month 1 . _(derived by Rule 1)_  
-    - no graph premises; built-ins/constants satisfied the rule.  
-  - :assurance :year 2024 . _(derived by Rule 1)_  
-    - no graph premises; built-ins/constants satisfied the rule.  
-  - :assurance :member "a" . _(derived by Rule 1)_  
-    - no graph premises; built-ins/constants satisfied the rule.  
-
-The query-selected facts are serialized in the Formal TriG Output section.  
-
-## Formal TriG Output  
-
-```trig  
-@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#> .  
-@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .  
-@prefix out: <https://example.org/see/output#> .  
-
-:assurance :sum 9 .  
-:assurance :product 24 .  
-:assurance :difference 5 .  
-:assurance :quotient 3 .  
-:assurance :integerQuotient 2 .  
-:assurance :remainder 1 .  
-:assurance :negation -3 .  
-:assurance :absoluteValue 3 .  
-:assurance :degrees 180 .  
-:assurance :stringLength 3 .  
-:assurance :concatenation "abc" .  
-:assurance :format "item x 7" .  
-:assurance :scrape "ef" .  
-:assurance :charAt "b" .  
-:assurance :setCharAt "aZc" .  
-:assurance :sha256 "2cf24dba5fb0a30e26e83b2ac5b9e29e1b161e5c1fa7425e73043362938b9824" .  
-:assurance :first "a" .  
-:assurance :rest ("b" "c") .  
-:assurance :last "c" .  
-:assurance :listLength 3 .  
-:assurance :reverse ("c" "b" "a") .  
-:assurance :removed ("b") .  
-:assurance :appended ("a" "b" "c") .  
-:assurance :member "a" .  
-:assurance :year 2024 .  
-:assurance :month 1 .  
-:assurance :formula out:formula1 .  
-
-out:formula1 {  
-  :x :p :y .  
-  :a :b :c .  
-}  
-:assurance :member "b" .  
-:assurance :member "c" .  
-
-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 .  
-}  
-```  
-