eyeling 1.24.4 → 1.24.6

package/see/examples/output/collection.md

@@ -1,44 +0,0 @@
-# Collection  
-
-## Entailment  
-The derivation produced 0 new fact(s) from 2 stated fact(s).  
-Main entailment: **_:b2 :p :q.**  
-
-Selected entailments:  
-- _:b2 :p :q .  
-- (1 _:b2 (2)) :p2 :q2 .  
-
-## Explanation  
-Starts with 2 source fact(s), applies 0 rule(s), and reaches a fixpoint.  
-
-Selected explanation support:  
-  - _:b2 :p :q . _(source)_  
-  - (1 _:b2 (2)) :p2 :q2 . _(source)_  
-
-The selected facts are serialized in the Formal TriG Output section.  
-
-## Formal TriG Output  
-
-```trig  
-@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#> .  
-@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .  
-
-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/output/complex.md

@@ -1,61 +0,0 @@
-# Complex numbers  
-
-## Entailment  
-The derivation produced 1 formula-valued entailment(s).  
-Main entailment: **:test is { ((-1 0) (0.5 0)) complex:exponentiation (-3.49148133884313e-15 1) . ((2.71828182845905 0) (0 3.14159265358979)) complex:exponentiation (-1 3.23108914886517e-15) . ((0 1) (0 1)) complex:exponentiation (0.207879576350761 0) . ((2.71828182845905 0) (-1.57079632679 0)) complex:exponentiation (0.207879576351779 0) . (2 0) complex:asin (1.5707963267949 1.31695789692482) . (2 0) complex:acos (0 -1.31695789692482) }.**  
-
-Selected entailments:  
-- :test :is { ((-1 0) (0.5 0)) complex:exponentiation (-3.49148133884313e-15 1) . ((2.71828182845905 0) (0 3.14159265358979)) complex:exponentiation (-1 3.23108914886517e-15) . ((0 1) (0 1)) complex:exponentiation (0.207879576350761 0) . ((2.71828182845905 0) (-1.57079632679 0)) complex:exponentiation (0.207879576351779 0) . (2 0) complex:asin (1.5707963267949 1.31695789692482) . (2 0) complex:acos (0 -1.31695789692482) } .  
-
-## Explanation  
-Starts with 0 source fact(s), applies 9 rule(s), and reaches a fixpoint.  
-
-Derivation steps:  
-- Rule 9 (6 premise pattern(s) => 1 conclusion pattern(s)) derives :test :is { ((-1 0) (0.5 0)) complex:exponentiation (-3.49148133884313e-15 1) . ((2.71828182845905 0) (0 3.14159265358979)) complex:exponentiation (-1 3.23108914886517e-15) . ((0 1) (0 1)) complex:exponentiation (0.207879576350761 0) . ((2.71828182845905 0) (-1.57079632679 0)) complex:exponentiation (0.207879576351779 0) . (2 0) complex:asin (1.5707963267949 1.31695789692482) . (2 0) complex:acos (0 -1.31695789692482) } .  
-  - Uses: no graph premises; built-ins/constants satisfied the rule.  
-
-Selected explanation support:  
-  - :test :is { ((-1 0) (0.5 0)) complex:exponentiation (-3.49148133884313e-15 1) . ((2.71828182845905 0) (0 3.14159265358979)) complex:exponentiation (-1 3.23108914886517e-15) . ((0 1) (0 1)) complex:exponentiation (0.207879576350761 0) . ((2.71828182845905 0) (-1.57079632679 0)) complex:exponentiation (0.207879576351779 0) . (2 0) complex:asin (1.5707963267949 1.31695789692482) . (2 0) complex:acos (0 -1.31695789692482) } . _(derived by Rule 9)_  
-    - no graph premises; built-ins/constants satisfied the rule.  
-
-The formula-valued 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 complex: <https://eyereasoner.github.io/eye/complex#> .  
-@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#> .  
-@prefix out: <https://example.org/see/output#> .  
-
-:test :is out:formula1 .  
-
-out:formula1 {  
-  ((-1 0) (0.5 0)) complex:exponentiation (-3.49148133884313e-15 1) .  
-  ((2.71828182845905 0) (0 3.14159265358979)) complex:exponentiation (-1 3.23108914886517e-15) .  
-  ((0 1) (0 1)) complex:exponentiation (0.207879576350761 0) .  
-  ((2.71828182845905 0) (-1.57079632679 0)) complex:exponentiation (0.207879576351779 0) .  
-  (2 0) complex:asin (1.5707963267949 1.31695789692482) .  
-  (2 0) complex:acos (0 -1.31695789692482) .  
-}  
-
-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/output/complex_matrix_stability.md

@@ -1,55 +0,0 @@
-# Complex Matrix Stability  
-
-## Entailment  
-A_unstable = [[(1,1),(0,0)],[(0,0),(2,0)]] has spectral radius 2 and is unstable. A_stable = [[(1,0),(0,0)],[(0,0),(-1,0)]] has spectral radius 1 and is marginally stable. A_damped = [[(0,0),(0,0)],[(0,0),(0,0)]] has spectral radius 0 and is damped.  
-
-## Explanation  
-For a discrete-time linear system x_{k+1} = A x_k, diagonal matrix eigenvalues are the diagonal entries. The largest squared complex modulus determines the spectral radius class. The N3 derivation also validates that |z*w|^2 = |z|^2*|w|^2 for a concrete complex product and that scaling A_unstable by 2 multiplies the squared spectral radius by 4.  
-
-**Generated derivation support**  
-
-Compiled support: 40 source fact(s), 17 rule(s), fixpoint reached before rendering.  
-
-Derivation steps:  
-- Rule 16 (9 premise pattern(s) => 1 conclusion pattern(s)) derives :Case :scenarioOk true .  
-  - Uses: :Case :unstableMatrix :A_unstable . _(source)_; :Case :stableMatrix :A_stable . _(source)_; :Case :dampedMatrix :A_damped . _(source)_  
-- Rule 17 (8 premise pattern(s) => 1 conclusion pattern(s)) derives :report log:outputString "[authored report]" .  
-  - Uses: :Case :scenarioOk true . _(derived)_; :A_unstable :pretty "[[(1,1),(0,0)],[(0,0),(2,0)]]" . _(source)_; :A_stable :pretty "[[(1,0),(0,0)],[(0,0),(-1,0)]]" . _(source)_; :A_damped :pretty "[[(0,0),(0,0)],[(0,0),(0,0)]]" . _(source)_  
-
-Selected explanation support:  
-  - :report log:outputString "[authored report]" . _(authored report, Rule 17)_  
-  - :Case :scenarioOk true . _(derived by Rule 16)_  
-    - :Case :unstableMatrix :A_unstable . _(source)_  
-    - :Case :stableMatrix :A_stable . _(source)_  
-    - :Case :dampedMatrix :A_damped . _(source)_  
-
-## Formal TriG Output  
-
-```trig  
-@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#> .  
-@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .  
-
-:Case :scenarioOk true .  
-:report log:outputString "=== Answer ===\nA_unstable = [[(1,1),(0,0)],[(0,0),(2,0)]] has spectral radius 2 and is unstable. A_stable = [[(1,0),(0,0)],[(0,0),(-1,0)]] has spectral radius 1 and is marginally stable. A_damped = [[(0,0),(0,0)],[(0,0),(0,0)]] has spectral radius 0 and is damped.\n\n=== Explanation ===\nFor a discrete-time linear system x_{k+1} = A x_k, diagonal matrix eigenvalues are the diagonal entries. The largest squared complex modulus determines the spectral radius class. The N3 derivation also validates that |z*w|^2 = |z|^2*|w|^2 for a concrete complex product and that scaling A_unstable by 2 multiplies the squared spectral radius by 4." .  
-
-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/output/composition_of_injective_functions_is_injective.md

@@ -1,62 +0,0 @@
-# Composition of injective functions is injective.  
-
-## Entailment  
-The compiled query selected 2 fact(s) after the rule closure was computed.  
-Main entailment: **:result :sameInputByCompositeInjectivity (:h :b :a).**  
-
-Selected entailments:  
-- :result :sameInputByCompositeInjectivity (:h :b :a) .  
-- :result :sameInputByCompositeInjectivity (:h :a :b) .  
-
-## Explanation  
-Starts with 12 source fact(s), applies 8 rule(s), and reaches a fixpoint.  
-The log:query projection then keeps only the matching fact(s) shown above.  
-
-Derivation steps:  
-- Rule 1: ?x :inX true => (?x ?x) :sameTerm true derives (:a :a) :sameTerm true ., (:b :b) :sameTerm true .  
-  - Uses: :a :inX true . _(source)_; :b :inX true . _(source)_  
-- Rule 2: ?y :inY true => (?y ?y) :sameTerm true derives (:p :p) :sameTerm true ., (:q :q) :sameTerm true .  
-  - Uses: :p :inY true . _(source)_; :q :inY true . _(source)_  
-- Rule 3: ?z :inZ true => (?z ?z) :sameTerm true derives (:r :r) :sameTerm true .  
-  - Uses: :r :inZ true . _(source)_  
-- Rule 6 (4 premise pattern(s) => 1 conclusion pattern(s)) derives (:p :q) :sameTerm true ., (:q :p) :sameTerm true ., (:a :b) :sameTerm true ., (:b :a) :sameTerm true .  
-  - Uses: :g :injective true . _(source)_; (:g :p) :app :r . _(source)_; (:g :q) :app :r . _(source)_; (:r :r) :sameTerm true . _(derived)_; … +5 more premise fact(s)  
-- Rule 7 (3 premise pattern(s) => 1 conclusion pattern(s)) derives (:h :a) :app :r ., (:h :b) :app :r .  
-  - Uses: :h :compositeOf (:g :f) . _(source)_; (:f :a) :app :p . _(source)_; (:g :p) :app :r . _(source)_; (:f :b) :app :q . _(source)_; … +1 more premise fact(s)  
-- Rule 8 (9 premise pattern(s) => 1 conclusion pattern(s)) derives (:h :a :a) :sameInputUnderEqualCompositeOutput true ., (:h :b :b) :sameInputUnderEqualCompositeOutput true ., (:h :a :b) :sameInputUnderEqualCompositeOutput true ., (:h :b :a) :sameInputUnderEqualCompositeOutput true .  
-  - Uses: :h :compositeOf (:g :f) . _(source)_; :f :injective true . _(source)_; :g :injective true . _(source)_; (:f :a) :app :p . _(source)_; … +8 more premise fact(s)  
-
-Selected explanation support:  
-  - :result :sameInputByCompositeInjectivity (:h :b :a) . _(no recorded rule support)_  
-  - :result :sameInputByCompositeInjectivity (:h :a :b) . _(no recorded rule support)_  
-
-The query-selected facts are serialized in the Formal TriG Output section.  
-
-## Formal TriG Output  
-
-```trig  
-@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#> .  
-@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .  
-
-:result :sameInputByCompositeInjectivity (:h :a :b) .  
-:result :sameInputByCompositeInjectivity (:h :b :a) .  
-
-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/output/control_system.md

@@ -1,61 +0,0 @@
-# Control System  
-
-## Entailment  
-The compiled query selected 2 fact(s) after the rule closure was computed.  
-Main entailment: **:actuator2 :control1 26.08.**  
-
-Selected entailments:  
-- :actuator2 :control1 26.08 .  
-- :actuator1 :control1 39.2734619867828 .  
-
-## Explanation  
-Starts with 7 source fact(s), applies 4 rule(s), and reaches a fixpoint.  
-The log:query projection then keeps only the matching fact(s) shown above.  
-
-Derivation steps:  
-- Rule 1 (6 premise pattern(s) => 1 conclusion pattern(s)) derives :actuator1 :control1 39.2734619867828 .  
-  - Uses: :input2 :measurement2 true . _(source)_; :disturbance1 :measurement3 35766 . _(source)_  
-- Rule 2 (10 premise pattern(s) => 1 conclusion pattern(s)) derives :actuator2 :control1 26.08 .  
-  - Uses: :input3 :measurement3 56967 . _(source)_; :state3 :observation3 22 . _(source)_; :output2 :measurement4 24 . _(source)_; :output2 :target2 29 . _(source)_  
-
-Selected explanation support:  
-  - :actuator2 :control1 26.08 . _(derived by Rule 2)_  
-    - :input3 :measurement3 56967 . _(source)_  
-    - :state3 :observation3 22 . _(source)_  
-    - :output2 :measurement4 24 . _(source)_  
-    - :output2 :target2 29 . _(source)_  
-  - :actuator1 :control1 39.2734619867828 . _(derived by Rule 1)_  
-    - :input2 :measurement2 true . _(source)_  
-    - :disturbance1 :measurement3 35766 . _(source)_  
-
-The query-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 : <https://eyereasoner.github.io/see/examples/control-system#> .  
-@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#> .  
-
-:actuator1 :control1 39.2734619867828 .  
-:actuator2 :control1 26.08 .  
-
-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/output/crypto_builtins_tests.md

@@ -1,68 +0,0 @@
-# crypto builtins tests  
-
-## Entailment  
-The derivation produced 4 new fact(s) from 0 stated fact(s).  
-Main entailment: **:ok_crypto_sha512_1 is a :Pass.**  
-
-Selected entailments:  
-- :ok_crypto_sha512_1 rdf:type :Pass .  
-- :ok_crypto_sha256_1 rdf:type :Pass .  
-- :ok_crypto_md5_1 rdf:type :Pass .  
-- :ok_crypto_sha_1 rdf:type :Pass .  
-
-## Explanation  
-Starts with 0 source fact(s), applies 4 rule(s), and reaches a fixpoint.  
-
-Derivation steps:  
-- Rule 1: "hello world" crypto:sha "2aae6c35c94fcfb415dbe95f408b9ce91ee846ed" => :ok_crypto_sha_1 rdf:type :Pass derives :ok_crypto_sha_1 rdf:type :Pass .  
-  - Uses: no graph premises; built-ins/constants satisfied the rule.  
-- Rule 2: "hello world" crypto:md5 "5eb63bbbe01eeed093cb22bb8f5acdc3" => :ok_crypto_md5_1 rdf:type :Pass derives :ok_crypto_md5_1 rdf:type :Pass .  
-  - Uses: no graph premises; built-ins/constants satisfied the rule.  
-- Rule 3: "hello world" crypto:sha256 "b94d27b9934d3e08a52e52d7da7dabfac484efe37a5380ee9088f7ace2efcde9" => :ok_crypto_sha256_1 rdf:type :Pass derives :ok_crypto_sha256_1 rdf:type :Pass .  
-  - Uses: no graph premises; built-ins/constants satisfied the rule.  
-- Rule 4: "hello world" crypto:sha512 "309ecc489c12d6eb4cc40f50c902f2b4d0ed77ee511a7c7a9bcd3ca86d4cd86f989dd35bc5ff499670da34255b45b0cfd830e81f605dcf7dc5542e93ae9cd76f" => :ok_crypto_sha512_1 rdf:type :Pass derives :ok_crypto_sha512_1 rdf:type :Pass .  
-  - Uses: no graph premises; built-ins/constants satisfied the rule.  
-
-Selected explanation support:  
-  - :ok_crypto_sha512_1 rdf:type :Pass . _(derived by Rule 4)_  
-    - no graph premises; built-ins/constants satisfied the rule.  
-  - :ok_crypto_sha256_1 rdf:type :Pass . _(derived by Rule 3)_  
-    - no graph premises; built-ins/constants satisfied the rule.  
-  - :ok_crypto_md5_1 rdf:type :Pass . _(derived by Rule 2)_  
-    - no graph premises; built-ins/constants satisfied the rule.  
-  - :ok_crypto_sha_1 rdf:type :Pass . _(derived by Rule 1)_  
-    - 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 : <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#> .  
-@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .  
-
-:ok_crypto_sha_1 rdf:type :Pass .  
-:ok_crypto_md5_1 rdf:type :Pass .  
-:ok_crypto_sha256_1 rdf:type :Pass .  
-:ok_crypto_sha512_1 rdf:type :Pass .  
-
-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/output/delfour.md

@@ -1,100 +0,0 @@
-# Delfour  
-
-## Entailment  
-The scanner is allowed to use a neutral shopping insight and recommends Low-Sugar Tea Biscuits instead of Classic Tea Biscuits.  
-case : delfour  
-decision : Allowed  
-scanned product : Classic Tea Biscuits  
-suggested alternative: Low-Sugar Tea Biscuits  
-
-## Explanation  
-The phone desensitizes a diabetes-related household condition into a scoped low-sugar need, wraps it in an expiring Insight + Policy envelope, and the scanner consumes that envelope for shopping assistance.  
-metric : sugar_g_per_serving  
-threshold : 10.0  
-scope : self-scanner @ pick_up_scanner  
-retailer : Delfour  
-signature alg : SHA-256  
-banner headline : Track sugar per serving while you scan  
-expires at : 2025-10-05T22:33:48Z  
-audit entries : 1  
-bus files written : 6  
-
-**Generated derivation support**  
-
-Compiled support: 61 source fact(s), 16 rule(s), fixpoint reached before rendering.  
-
-Derivation steps:  
-- Rule 1: :householdProfile :condition "Diabetes" => :case :needsLowSugar true derives :case :needsLowSugar true .  
-  - Uses: :householdProfile :condition "Diabetes" . _(source)_  
-- Rule 2: :case :needsLowSugar true => :insight :derivedFromNeed "low_sugar" derives :insight :derivedFromNeed "low_sugar" .  
-  - Uses: :case :needsLowSugar true . _(derived)_  
-- Rule 3 (3 premise pattern(s) => 1 conclusion pattern(s)) derives :assurance :payloadHashMatches true .  
-  - Uses: :envelope :canonicalJson "insight=lower_sugar;policy=shopping_assist_only;expires=2025-10-05T22:33:48Z" . _(source)_; :signature :payloadHashSHA256 "9025c5ccc1cc3e97aa639e3ca2d62e65ba0abed9cf3573b487c61d8cec6b3460" . _(source)_  
-- Rule 4: :insight :serializedLowercase ?s; ?s string:notMatches "diabetes|medical" => :assurance :minimizationStripsSensitiveTerms true derives :assurance :minimizationStripsSensitiveTerms true .  
-  - Uses: :insight :serializedLowercase "metric=sugar_g_per_serving;retailer=delfour;threshold=10.0;scope=self-scanner" . _(source)_  
-- Rule 5 (3 premise pattern(s) => 1 conclusion pattern(s)) derives :assurance :scopeComplete true .  
-  - Uses: :insight :scopeDevice "self-scanner" . _(source)_; :insight :scopeEvent "pick_up_scanner" . _(source)_; :insight :expiresAt "2025-10-05T22:33:48Z" . _(source)_  
-- Rule 6 (8 premise pattern(s) => 2 conclusion pattern(s)) derives :decision :outcome "Allowed" ., :assurance :authorizationAllowed true .  
-  - Uses: _:blank1 odrl:action odrl:use . _(source)_; _:blank1 odrl:target :insight . _(source)_; _:blank2 odrl:rightOperand "shopping_assist" . _(source)_; _:blank1 odrl:constraint _:blank2 . _(source)_; … +3 more premise fact(s)  
-
-Selected explanation support:  
-  - :delfour :suggests :lowSugarBiscuits . _(derived by Rule 19)_  
-    - :result :ready true . _(derived by Rule 15)_  
-      - :assurance :payloadHashMatches true . _(derived by Rule 3)_  
-        - :envelope :canonicalJson "insight=lower_sugar;policy=shopping_assist_only;expires=2025-10-05T22:33:48Z" . _(source)_  
-        - :signature :payloadHashSHA256 "9025c5ccc1cc3e97aa639e3ca2d62e65ba0abed9cf3573b487c61d8cec6b3460" . _(source)_  
-      - :assurance :minimizationStripsSensitiveTerms true . _(derived by Rule 4)_  
-        - :insight :serializedLowercase "metric=sugar_g_per_serving;retailer=delfour;threshold=10.0;scope=self-scanner" . _(source)_  
-      - :assurance :scopeComplete true . _(derived by Rule 5)_  
-        - :insight :scopeDevice "self-scanner" . _(source)_  
-        - :insight :scopeEvent "pick_up_scanner" . _(source)_  
-        - :insight :expiresAt "2025-10-05T22:33:48Z" . _(source)_  
-      - :assurance :authorizationAllowed true . _(derived by Rule 6)_  
-        - _:blank1 odrl:action odrl:use . _(source)_  
-        - _:blank1 odrl:target :insight . _(source)_  
-        - _:blank2 odrl:rightOperand "shopping_assist" . _(source)_  
-        - _:blank1 odrl:constraint _:blank2 . _(source)_  
-        - ... 3 more premise fact(s)  
-      - ... 5 more premise fact(s)  
-    - :scan :scannedProduct :classicBiscuits . _(source)_  
-    - :classicBiscuits :productName "Classic Tea Biscuits" . _(source)_  
-    - :case :suggestedAlternative :lowSugarBiscuits . _(derived by Rule 8)_  
-      - :scan :scannedProduct :classicBiscuits . _(source)_  
-      - :classicBiscuits :sugarTenths 120 . _(source)_  
-      - :lowSugarBiscuits rdf:type :Product . _(source)_  
-      - :lowSugarBiscuits :sugarTenths 30 . _(source)_  
-    - ... 12 more premise fact(s)  
-
-## Formal TriG Output  
-
-```trig  
-@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#> .  
-@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .  
-
-:delfour :suggests :lowSugarBiscuits .  
-
-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 .  
-}  
-```  
-

package/see/examples/output/digital_product_passport.md

@@ -1,100 +0,0 @@
-# Digital Product Passport  
-
-## Entailment  
-Passport decision : PASS for ACME X1000 SN123.  
-recycled content : 13%  
-lifecycle footprint : 52500 gCO2e  
-total component mass : 105 g  
-critical raw materials : Lithium, Cobalt  
-circularity hint : repairFriendly  
-public endpoint : https://example.org/dpp/ACME-X1000-SN123  
-
-## Explanation  
-The passport folds the explicit component list to derive total mass and recycled mass, then computes an integer recycled-content percentage. Lifecycle footprint is derived by summing manufacturing, transport, and use-phase emissions. The product is repair-friendly because the battery is replaceable and the public passport section exposes repair, spare-parts, and manual documentation. Restricted declarations remain in the restricted section.  
-
-Component roll-up:  
-BatteryPack-01 Battery mass=48g recycled=0g materials=Lithium, Cobalt, Nickel replaceable=yes  
-Chassis-01 Housing mass=32g recycled=12g materials=Aluminium replaceable=no  
-Mainboard-01 Electronics mass=25g recycled=2g materials=Copper, GoldTrace replaceable=no  
-Public documents:  
-Doc-UserManual UserManual https://example.org/manuals/acme-x1000  
-Doc-RepairGuide RepairGuide https://example.org/repair/acme-x1000  
-Doc-SpareParts SparePartsCatalog https://example.org/spares/acme-x1000  
-
-**Generated derivation support**  
-
-Compiled support: 90 source fact(s), 12 rule(s), fixpoint reached before rendering.  
-
-Derivation steps:  
-- Rule 1 (3 premise pattern(s) => 1 conclusion pattern(s)) derives :passport :exposesCriticalMaterial :Lithium ., :passport :exposesCriticalMaterial :Cobalt .  
-  - Uses: :ACME_X1000_SN123 :hasComponent :BatteryPack_01 . _(source)_; :BatteryPack_01 :containsMaterial :Lithium . _(source)_; :Lithium :criticalRawMaterial true . _(source)_; :BatteryPack_01 :containsMaterial :Cobalt . _(source)_; … +1 more premise fact(s)  
-- Rule 2 (3 premise pattern(s) => 2 conclusion pattern(s)) derives :MassRollup :componentMass 48 ., :MassRollup :componentRecycledMass 0 ., :MassRollup :componentMass 32 ., :MassRollup :componentRecycledMass 12 ., … +2 more  
-  - Uses: :ACME_X1000_SN123 :hasComponent :BatteryPack_01 . _(source)_; :BatteryPack_01 :massG 48 . _(source)_; :BatteryPack_01 :recycledMassG 0 . _(source)_; :ACME_X1000_SN123 :hasComponent :Chassis_01 . _(source)_; … +5 more premise fact(s)  
-- Rule 3 (4 premise pattern(s) => 3 conclusion pattern(s)) derives :passport :totalMassG 105 ., :passport :recycledMassG 14 ., :passport :recycledPct 13 .  
-  - Uses: no graph premises; built-ins/constants satisfied the rule.  
-- Rule 4 (4 premise pattern(s) => 1 conclusion pattern(s)) derives :passport :lifecycleFootprintGCO2e 52500 .  
-  - Uses: :Footprint :manufacturingGCO2e 32000 . _(source)_; :Footprint :transportGCO2e 2500 . _(source)_; :Footprint :usePhaseGCO2e 18000 . _(source)_  
-- Rule 5 (4 premise pattern(s) => 1 conclusion pattern(s)) derives :passport :hasRequiredPublicDocType :UserManual ., :passport :hasRequiredPublicDocType :RepairGuide ., :passport :hasRequiredPublicDocType :SparePartsCatalog .  
-  - Uses: :Policy :publicDocType :UserManual . _(source)_; :Doc_UserManual rdf:type :Document . _(source)_; :Doc_UserManual :docType :UserManual . _(source)_; :Doc_UserManual :section "public" . _(source)_; … +8 more premise fact(s)  
-- Rule 6 (4 premise pattern(s) => 1 conclusion pattern(s)) derives :passport :keepsRestrictedDocTypeRestricted :DeclarationOfConformity ., :passport :keepsRestrictedDocTypeRestricted :SubstanceDeclaration .  
-  - Uses: :Policy :restrictedDocType :DeclarationOfConformity . _(source)_; :Doc_DoC_CE rdf:type :Document . _(source)_; :Doc_DoC_CE :docType :DeclarationOfConformity . _(source)_; :Doc_DoC_CE :section "restricted" . _(source)_; … +4 more premise fact(s)  
-
-Selected explanation support:  
-  - :digitalProductPassport :decision "PASS" . _(derived by Rule 14)_  
-    - :passport :decision "PASS" . _(derived by Rule 11)_  
-      - :passport :massBalanced true . _(derived by Rule 10)_  
-        - :passport :totalMassG 105 . _(derived by Rule 3)_  
-          - no graph premises; built-ins/constants satisfied the rule.  
-        - :passport :recycledMassG 14 . _(derived by Rule 3)_  
-          - no graph premises; built-ins/constants satisfied the rule.  
-      - :passport :recycledPct 13 . _(derived by Rule 3)_  
-        - no graph premises; built-ins/constants satisfied the rule.  
-      - :passport :lifecycleFootprintGCO2e 52500 . _(derived by Rule 4)_  
-        - :Footprint :manufacturingGCO2e 32000 . _(source)_  
-        - :Footprint :transportGCO2e 2500 . _(source)_  
-        - :Footprint :usePhaseGCO2e 18000 . _(source)_  
-      - :passport :exposesCriticalMaterial :Lithium . _(derived by Rule 1)_  
-        - :ACME_X1000_SN123 :hasComponent :BatteryPack_01 . _(source)_  
-        - :BatteryPack_01 :containsMaterial :Lithium . _(source)_  
-        - :Lithium :criticalRawMaterial true . _(source)_  
-      - ... 9 more premise fact(s)  
-    - :passport :totalMassG 105 . _(derived by Rule 3)_  
-      - no graph premises; built-ins/constants satisfied the rule.  
-    - :passport :recycledPct 13 . _(derived by Rule 3)_  
-      - no graph premises; built-ins/constants satisfied the rule.  
-    - :passport :lifecycleFootprintGCO2e 52500 . _(derived by Rule 4)_  
-      - :Footprint :manufacturingGCO2e 32000 . _(source)_  
-      - :Footprint :transportGCO2e 2500 . _(source)_  
-      - :Footprint :usePhaseGCO2e 18000 . _(source)_  
-    - ... 3 more premise fact(s)  
-
-## Formal TriG Output  
-
-```trig  
-@prefix : <https://eyereasoner.github.io/see/examples/digital-product-passport#> .  
-@prefix math: <http://www.w3.org/2000/10/swap/math#> .  
-@prefix list: <http://www.w3.org/2000/10/swap/list#> .  
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .  
-@prefix string: <http://www.w3.org/2000/10/swap/string#> .  
-@prefix see: <https://example.org/see#> .  
-@prefix in: <https://example.org/see/input#> .  
-@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .  
-
-:digitalProductPassport :decision "PASS" .  
-
-in:metadata {  
-  in:run a see:InputDataset .  
-  in:run see:name "digital_product_passport" .  
-  in:run see:title "Digital Product Passport" .  
-  in:run see:sourceFile "examples/n3/digital_product_passport.n3" .  
-  in:run see:sourceSHA256 "502e99d8e51a930eba50cb2411263cb6db5d98d63fe3dd48254612d993a9ab95" .  
-  in:run see:description "N3-compiled version of the smartphone Digital Product Passport example. The\nrules fold component mass, recycled content, critical raw materials, public\ndocuments, lifecycle footprint, and access-policy validations into a public PASS." .  
-  in:run see:compiler "see.js N3-to-JS compiler" .  
-  in:run see:inputFacts 90 .  
-  in:run see:compiledRules 12 .  
-  in:run see:compiledBackwardRules 0 .  
-  in:run see:compiledFuses 2 .  
-  in:run see:compiledQueries 1 .  
-}  
-```  
-

package/see/examples/output/dijkstra.md

@@ -1,74 +0,0 @@
-# Dijkstra's algorithm to find the shortest path  
-
-## Entailment  
-The derivation produced 9 new fact(s) from 9 stated fact(s).  
-Main entailment: **(:f :e) :edge 3.**  
-
-Selected entailments:  
-- (:f :e) :edge 3 .  
-- (:f :d) :edge 6 .  
-- (:e :d) :edge 2 .  
-- (:e :c) :edge 10 .  
-- (:d :c) :edge 8 .  
-- (:d :b) :edge 5 .  
-
-## Explanation  
-Starts with 9 source fact(s), applies 5 rule(s), and reaches a fixpoint.  
-
-Derivation steps:  
-- Rule 1: (?A ?B) :edge ?C => (?B ?A) :edge ?C derives (:b :a) :edge 4 ., (:c :a) :edge 2 ., (:c :b) :edge 1 ., (:d :b) :edge 5 ., … +5 more  
-  - Uses: (:a :b) :edge 4 . _(source)_; (:a :c) :edge 2 . _(source)_; (:b :c) :edge 1 . _(source)_; (:b :d) :edge 5 . _(source)_; … +5 more premise fact(s)  
-
-Selected explanation support:  
-  - (:f :e) :edge 3 . _(derived by Rule 1)_  
-    - (:e :f) :edge 3 . _(source)_  
-  - (:f :d) :edge 6 . _(derived by Rule 1)_  
-    - (:d :f) :edge 6 . _(source)_  
-  - (:e :d) :edge 2 . _(derived by Rule 1)_  
-    - (:d :e) :edge 2 . _(source)_  
-  - (:e :c) :edge 10 . _(derived by Rule 1)_  
-    - (:c :e) :edge 10 . _(source)_  
-  - (:d :c) :edge 8 . _(derived by Rule 1)_  
-    - (:c :d) :edge 8 . _(source)_  
-  - (:d :b) :edge 5 . _(derived by Rule 1)_  
-    - (:b :d) :edge 5 . _(source)_  
-
-The selected facts are serialized in the Formal TriG Output section.  
-
-## Formal TriG Output  
-
-```trig  
-@prefix list: <http://www.w3.org/2000/10/swap/list#> .  
-@prefix math: <http://www.w3.org/2000/10/swap/math#> .  
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .  
-@prefix : <https://eyereasoner.github.io/see/examples/dijkstra#> .  
-@prefix see: <https://example.org/see#> .  
-@prefix in: <https://example.org/see/input#> .  
-@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .  
-
-(:b :a) :edge 4 .  
-(:c :a) :edge 2 .  
-(:c :b) :edge 1 .  
-(:d :b) :edge 5 .  
-(:d :c) :edge 8 .  
-(:e :c) :edge 10 .  
-(:e :d) :edge 2 .  
-(:f :d) :edge 6 .  
-(:f :e) :edge 3 .  
-
-in:metadata {  
-  in:run a see:InputDataset .  
-  in:run see:name "dijkstra" .  
-  in:run see:title "Dijkstra's algorithm to find the shortest path" .  
-  in:run see:sourceFile "examples/n3/dijkstra.n3" .  
-  in:run see:sourceSHA256 "e877c1cfea99078228bd424f6e55761e56cc54bc1e64b21540231620cc3620ab" .  
-  in:run see:description "" .  
-  in:run see:compiler "see.js N3-to-JS compiler" .  
-  in:run see:inputFacts 9 .  
-  in:run see:compiledRules 2 .  
-  in:run see:compiledBackwardRules 3 .  
-  in:run see:compiledFuses 0 .  
-  in:run see:compiledQueries 0 .  
-}  
-```  
-