eyeling 1.24.5 → 1.24.7

package/see/examples/doc/age.md

@@ -1,27 +0,0 @@
-# Age checker
-
-Generated by `see.js` from a Notation3 source file.
-
-Is the age of a person above some duration?
-
-## Compilation summary
-
-- Example name: `age`
-- Input facts emitted: 1
-- Forward rules compiled: 0
-- Backward predicate rules compiled: 1
-- Fuses compiled: 0
-- Predicate count: 6
-
-## Built-ins used
-
-- `math:difference`
-- `math:greaterThan`
-
-## Runtime model
-
-The generated `examples/age.js` is a specialized JavaScript derivation program. For ordinary sources, `see.js` emits the source facts as `examples/input/age.trig`. For rules-only sources, generation can reuse an existing external evidence file such as `examples/input/age.trig` or `examples/input/age.trig`. The runner reads that TriG evidence directly and performs a local fixpoint derivation; it does not parse the program source or call an external reasoner.
-
-## Output model
-
-Running `node examples/age.js` produces a SEE-style Markdown report with an **Entailment** section, an **Explanation** section, and a **Formal TriG Output** section containing the selected derived/query facts.

package/see/examples/doc/annotation.md

@@ -1,24 +0,0 @@
-# Annotation
-
-Generated by `see.js` from a Notation3 source file.
-
-## Compilation summary
-
-- Example name: `annotation`
-- Input facts emitted: 4
-- Forward rules compiled: 0
-- Backward predicate rules compiled: 0
-- Fuses compiled: 0
-- Predicate count: 4
-
-## Built-ins used
-
-- `log:nameOf`
-
-## Runtime model
-
-The generated `examples/annotation.js` is a specialized JavaScript derivation program. For ordinary sources, `see.js` emits the source facts as `examples/input/annotation.trig`. For rules-only sources, generation can reuse an existing external evidence file such as `examples/input/annotation.trig` or `examples/input/annotation.trig`. The runner reads that TriG evidence directly and performs a local fixpoint derivation; it does not parse the program source or call an external reasoner.
-
-## Output model
-
-Running `node examples/annotation.js` produces a SEE-style Markdown report with an **Entailment** section, an **Explanation** section, and a **Formal TriG Output** section containing the selected derived/query facts.

package/see/examples/doc/backward.md

@@ -1,26 +0,0 @@
-# Backward rule example
-
-Generated by `see.js` from a Notation3 source file.
-
-See https://www.w3.org/2000/10/swap/doc/tutorial-1.pdf page 17
-
-## Compilation summary
-
-- Example name: `backward`
-- Input facts emitted: 0
-- Forward rules compiled: 1
-- Backward predicate rules compiled: 1
-- Fuses compiled: 0
-- Predicate count: 3
-
-## Built-ins used
-
-- `math:greaterThan`
-
-## Runtime model
-
-The generated `examples/backward.js` is a specialized JavaScript derivation program. For ordinary sources, `see.js` emits the source facts as `examples/input/backward.trig`. For rules-only sources, generation can reuse an existing external evidence file such as `examples/input/backward.trig` or `examples/input/backward.trig`. The runner reads that TriG evidence directly and performs a local fixpoint derivation; it does not parse the program source or call an external reasoner.
-
-## Output model
-
-Running `node examples/backward.js` produces a SEE-style Markdown report with an **Entailment** section, an **Explanation** section, and a **Formal TriG Output** section containing the selected derived/query facts.

package/see/examples/doc/backward_recursion.md

@@ -1,26 +0,0 @@
-# Backward recursion coverage
-
-Generated by `see.js` from a Notation3 source file.
-
-Demonstrates recursive <= rules compiled into specialized JavaScript.
-
-## Compilation summary
-
-- Example name: `backward_recursion`
-- Input facts emitted: 2
-- Forward rules compiled: 1
-- Backward predicate rules compiled: 2
-- Fuses compiled: 0
-- Predicate count: 3
-
-## Built-ins used
-
-- none
-
-## Runtime model
-
-The generated `examples/backward_recursion.js` is a specialized JavaScript derivation program. For ordinary sources, `see.js` emits the source facts as `examples/input/backward_recursion.trig`. For rules-only sources, generation can reuse an existing external evidence file such as `examples/input/backward-recursion.trig` or `examples/input/backward_recursion.trig`. The runner reads that TriG evidence directly and performs a local fixpoint derivation; it does not parse the program source or call an external reasoner.
-
-## Output model
-
-Running `node examples/backward_recursion.js` produces a SEE-style Markdown report with an **Entailment** section, an **Explanation** section, and a **Formal TriG Output** section containing the selected derived/query facts.

package/see/examples/doc/bayes_diagnosis.md

@@ -1,41 +0,0 @@
-# Bayes Diagnosis
-
-Generated by `see.js` from a Notation3 source file.
-
-Naive Bayes diagnosis example, adapted from Eyeling's bayes-diagnosis.n3.
-The facts and rules compute unnormalized likelihoods, normalize them into
-posterior probabilities, and emit a SEE report for the highest posterior.
-Values are illustrative only and are not medical advice.
-
-## Compilation summary
-
-- Example name: `bayes_diagnosis`
-- Input facts emitted: 85
-- Forward rules compiled: 4
-- Backward predicate rules compiled: 5
-- Fuses compiled: 4
-- Predicate count: 34
-
-## Built-ins used
-
-- `list:firstRest`
-- `list:iterate`
-- `list:map`
-- `list:memberAt`
-- `log:outputString`
-- `math:difference`
-- `math:greaterThan`
-- `math:lessThan`
-- `math:notLessThan`
-- `math:product`
-- `math:quotient`
-- `math:sum`
-- `string:format`
-
-## Runtime model
-
-The generated `examples/bayes_diagnosis.js` is a specialized JavaScript derivation program. For ordinary sources, `see.js` emits the source facts as `examples/input/bayes_diagnosis.trig`. For rules-only sources, generation can reuse an existing external evidence file such as `examples/input/bayes-diagnosis.trig` or `examples/input/bayes_diagnosis.trig`. The runner reads that TriG evidence directly and performs a local fixpoint derivation; it does not parse the program source or call an external reasoner.
-
-## Output model
-
-Running `node examples/bayes_diagnosis.js` produces a SEE-style Markdown report with an **Entailment** section, an **Explanation** section, and a **Formal TriG Output** section containing the selected derived/query facts.

package/see/examples/doc/bayes_therapy.md

@@ -1,40 +0,0 @@
-# Bayes Therapy
-
-Generated by `see.js` from a Notation3 source file.
-
-Extends the Bayesian diagnosis model with a therapy utility layer. Adapted
-from Eyeling's bayes-therapy.n3. Values are illustrative only and are not
-medical advice.
-
-## Compilation summary
-
-- Example name: `bayes_therapy`
-- Input facts emitted: 104
-- Forward rules compiled: 5
-- Backward predicate rules compiled: 15
-- Fuses compiled: 8
-- Predicate count: 45
-
-## Built-ins used
-
-- `list:firstRest`
-- `list:iterate`
-- `list:map`
-- `list:memberAt`
-- `log:outputString`
-- `math:difference`
-- `math:greaterThan`
-- `math:lessThan`
-- `math:notLessThan`
-- `math:product`
-- `math:quotient`
-- `math:sum`
-- `string:format`
-
-## Runtime model
-
-The generated `examples/bayes_therapy.js` is a specialized JavaScript derivation program. For ordinary sources, `see.js` emits the source facts as `examples/input/bayes_therapy.trig`. For rules-only sources, generation can reuse an existing external evidence file such as `examples/input/bayes-therapy.trig` or `examples/input/bayes_therapy.trig`. The runner reads that TriG evidence directly and performs a local fixpoint derivation; it does not parse the program source or call an external reasoner.
-
-## Output model
-
-Running `node examples/bayes_therapy.js` produces a SEE-style Markdown report with an **Entailment** section, an **Explanation** section, and a **Formal TriG Output** section containing the selected derived/query facts.

package/see/examples/doc/bmi.md

@@ -1,38 +0,0 @@
-# BMI — Body Mass Index example.
-
-Generated by `see.js` from a Notation3 source file.
-
-This example turns a familiar health calculation into a small, inspectable
-SEE example. It normalizes either metric or US inputs, computes BMI, assigns
-a WHO adult category, and derives a healthy-range weight band for the given
-height. The report explains the result and includes independent validations for
-boundary handling and category behavior.
-For reproducibility and documentation only; not medical advice.
-
-## Compilation summary
-
-- Example name: `bmi`
-- Input facts emitted: 3
-- Forward rules compiled: 12
-- Backward predicate rules compiled: 0
-- Fuses compiled: 1
-- Predicate count: 27
-
-## Built-ins used
-
-- `log:notEqualTo`
-- `log:outputString`
-- `math:lessThan`
-- `math:notLessThan`
-- `math:product`
-- `math:quotient`
-- `math:rounded`
-- `string:concatenation`
-
-## Runtime model
-
-The generated `examples/bmi.js` is a specialized JavaScript derivation program. For ordinary sources, `see.js` emits the source facts as `examples/input/bmi.trig`. For rules-only sources, generation can reuse an existing external evidence file such as `examples/input/bmi.trig` or `examples/input/bmi.trig`. The runner reads that TriG evidence directly and performs a local fixpoint derivation; it does not parse the program source or call an external reasoner.
-
-## Output model
-
-Running `node examples/bmi.js` produces a SEE-style Markdown report with an **Entailment** section, an **Explanation** section, and a **Formal TriG Output** section containing the selected derived/query facts.

package/see/examples/doc/builtin_coverage.md

@@ -1,53 +0,0 @@
-# Builtin coverage smoke
-
-Generated by `see.js` from a Notation3 source file.
-
-Exercises math, string, list, crypto, time, and log builtins in compiled JavaScript.
-
-## Compilation summary
-
-- Example name: `builtin_coverage`
-- Input facts emitted: 0
-- Forward rules compiled: 1
-- Backward predicate rules compiled: 0
-- Fuses compiled: 0
-- Predicate count: 58
-
-## Built-ins used
-
-- `crypto:sha256`
-- `list:append`
-- `list:first`
-- `list:in`
-- `list:last`
-- `list:length`
-- `list:member`
-- `list:remove`
-- `list:rest`
-- `list:reverse`
-- `log:conjunction`
-- `math:absoluteValue`
-- `math:degrees`
-- `math:difference`
-- `math:integerQuotient`
-- `math:negation`
-- `math:product`
-- `math:quotient`
-- `math:remainder`
-- `math:sum`
-- `string:charAt`
-- `string:concatenation`
-- `string:contains`
-- `string:containsIgnoringCase`
-- `string:format`
-- `string:length`
-- `string:scrape`
-- `string:setCharAt`
-
-## Runtime model
-
-The generated `examples/builtin_coverage.js` is a specialized JavaScript derivation program. For ordinary sources, `see.js` emits the source facts as `examples/input/builtin_coverage.trig`. For rules-only sources, generation can reuse an existing external evidence file such as `examples/input/builtin-coverage.trig` or `examples/input/builtin_coverage.trig`. The runner reads that TriG evidence directly and performs a local fixpoint derivation; it does not parse the program source or call an external reasoner.
-
-## Output model
-
-Running `node examples/builtin_coverage.js` produces a SEE-style Markdown report with an **Entailment** section, an **Explanation** section, and a **Formal TriG Output** section containing the selected derived/query facts.

package/see/examples/doc/collection.md

@@ -1,24 +0,0 @@
-# Collection
-
-Generated by `see.js` from a Notation3 source file.
-
-## Compilation summary
-
-- Example name: `collection`
-- Input facts emitted: 2
-- Forward rules compiled: 0
-- Backward predicate rules compiled: 0
-- Fuses compiled: 0
-- Predicate count: 2
-
-## Built-ins used
-
-- none
-
-## Runtime model
-
-The generated `examples/collection.js` is a specialized JavaScript derivation program. For ordinary sources, `see.js` emits the source facts as `examples/input/collection.trig`. For rules-only sources, generation can reuse an existing external evidence file such as `examples/input/collection.trig` or `examples/input/collection.trig`. The runner reads that TriG evidence directly and performs a local fixpoint derivation; it does not parse the program source or call an external reasoner.
-
-## Output model
-
-Running `node examples/collection.js` produces a SEE-style Markdown report with an **Entailment** section, an **Explanation** section, and a **Formal TriG Output** section containing the selected derived/query facts.

package/see/examples/doc/complex.md

@@ -1,38 +0,0 @@
-# Complex numbers
-
-Generated by `see.js` from a Notation3 source file.
-
-See https://en.wikipedia.org/wiki/Complex_number
-
-## Compilation summary
-
-- Example name: `complex`
-- Input facts emitted: 0
-- Forward rules compiled: 1
-- Backward predicate rules compiled: 8
-- Fuses compiled: 0
-- Predicate count: 19
-
-## Built-ins used
-
-- `math:absoluteValue`
-- `math:acos`
-- `math:asin`
-- `math:cos`
-- `math:difference`
-- `math:exponentiation`
-- `math:lessThan`
-- `math:negation`
-- `math:notLessThan`
-- `math:product`
-- `math:quotient`
-- `math:sin`
-- `math:sum`
-
-## Runtime model
-
-The generated `examples/complex.js` is a specialized JavaScript derivation program. For ordinary sources, `see.js` emits the source facts as `examples/input/complex.trig`. For rules-only sources, generation can reuse an existing external evidence file such as `examples/input/complex.trig` or `examples/input/complex.trig`. The runner reads that TriG evidence directly and performs a local fixpoint derivation; it does not parse the program source or call an external reasoner.
-
-## Output model
-
-Running `node examples/complex.js` produces a SEE-style Markdown report with an **Entailment** section, an **Explanation** section, and a **Formal TriG Output** section containing the selected derived/query facts.

package/see/examples/doc/complex_matrix_stability.md

@@ -1,35 +0,0 @@
-# Complex Matrix Stability
-
-Generated by `see.js` from a Notation3 source file.
-
-Diagonal 2x2 complex matrices are classified for discrete-time stability.
-This adapts the Eyeling complex matrix example as a committed SEE N3
-source that compiles to a standalone JavaScript example.
-
-## Compilation summary
-
-- Example name: `complex_matrix_stability`
-- Input facts emitted: 40
-- Forward rules compiled: 2
-- Backward predicate rules compiled: 15
-- Fuses compiled: 0
-- Predicate count: 28
-
-## Built-ins used
-
-- `log:outputString`
-- `math:difference`
-- `math:greaterThan`
-- `math:lessThan`
-- `math:notLessThan`
-- `math:product`
-- `math:sum`
-- `string:format`
-
-## Runtime model
-
-The generated `examples/complex_matrix_stability.js` is a specialized JavaScript derivation program. For ordinary sources, `see.js` emits the source facts as `examples/input/complex_matrix_stability.trig`. For rules-only sources, generation can reuse an existing external evidence file such as `examples/input/complex-matrix-stability.trig` or `examples/input/complex_matrix_stability.trig`. The runner reads that TriG evidence directly and performs a local fixpoint derivation; it does not parse the program source or call an external reasoner.
-
-## Output model
-
-Running `node examples/complex_matrix_stability.js` produces a SEE-style Markdown report with an **Entailment** section, an **Explanation** section, and a **Formal TriG Output** section containing the selected derived/query facts.

package/see/examples/doc/composition_of_injective_functions_is_injective.md

@@ -1,24 +0,0 @@
-# Composition of injective functions is injective.
-
-Generated by `see.js` from a Notation3 source file.
-
-## Compilation summary
-
-- Example name: `composition_of_injective_functions_is_injective`
-- Input facts emitted: 12
-- Forward rules compiled: 8
-- Backward predicate rules compiled: 0
-- Fuses compiled: 0
-- Predicate count: 10
-
-## Built-ins used
-
-- `log:notEqualTo`
-
-## Runtime model
-
-The generated `examples/composition_of_injective_functions_is_injective.js` is a specialized JavaScript derivation program. For ordinary sources, `see.js` emits the source facts as `examples/input/composition_of_injective_functions_is_injective.trig`. For rules-only sources, generation can reuse an existing external evidence file such as `examples/input/composition-of-injective-functions-is-injective.trig` or `examples/input/composition_of_injective_functions_is_injective.trig`. The runner reads that TriG evidence directly and performs a local fixpoint derivation; it does not parse the program source or call an external reasoner.
-
-## Output model
-
-Running `node examples/composition_of_injective_functions_is_injective.js` produces a SEE-style Markdown report with an **Entailment** section, an **Explanation** section, and a **Formal TriG Output** section containing the selected derived/query facts.

package/see/examples/doc/control_system.md

@@ -1,32 +0,0 @@
-# Control System
-
-Generated by `see.js` from a Notation3 source file.
-
-Compact SEE version of the EYE reasoning/control-system example.
-
-## Compilation summary
-
-- Example name: `control_system`
-- Input facts emitted: 7
-- Forward rules compiled: 2
-- Backward predicate rules compiled: 2
-- Fuses compiled: 0
-- Predicate count: 15
-
-## Built-ins used
-
-- `math:difference`
-- `math:exponentiation`
-- `math:lessThan`
-- `math:notLessThan`
-- `math:product`
-- `math:quotient`
-- `math:sum`
-
-## Runtime model
-
-The generated `examples/control_system.js` is a specialized JavaScript derivation program. For ordinary sources, `see.js` emits the source facts as `examples/input/control_system.trig`. For rules-only sources, generation can reuse an existing external evidence file such as `examples/input/control-system.trig` or `examples/input/control_system.trig`. The runner reads that TriG evidence directly and performs a local fixpoint derivation; it does not parse the program source or call an external reasoner.
-
-## Output model
-
-Running `node examples/control_system.js` produces a SEE-style Markdown report with an **Entailment** section, an **Explanation** section, and a **Formal TriG Output** section containing the selected derived/query facts.

package/see/examples/doc/crypto_builtins_tests.md

@@ -1,27 +0,0 @@
-# crypto builtins tests
-
-Generated by `see.js` from a Notation3 source file.
-
-## Compilation summary
-
-- Example name: `crypto_builtins_tests`
-- Input facts emitted: 0
-- Forward rules compiled: 4
-- Backward predicate rules compiled: 0
-- Fuses compiled: 0
-- Predicate count: 5
-
-## Built-ins used
-
-- `crypto:md5`
-- `crypto:sha`
-- `crypto:sha256`
-- `crypto:sha512`
-
-## Runtime model
-
-The generated `examples/crypto_builtins_tests.js` is a specialized JavaScript derivation program. For ordinary sources, `see.js` emits the source facts as `examples/input/crypto_builtins_tests.trig`. For rules-only sources, generation can reuse an existing external evidence file such as `examples/input/crypto-builtins-tests.trig` or `examples/input/crypto_builtins_tests.trig`. The runner reads that TriG evidence directly and performs a local fixpoint derivation; it does not parse the program source or call an external reasoner.
-
-## Output model
-
-Running `node examples/crypto_builtins_tests.js` produces a SEE-style Markdown report with an **Entailment** section, an **Explanation** section, and a **Formal TriG Output** section containing the selected derived/query facts.

package/see/examples/doc/delfour.md

@@ -1,37 +0,0 @@
-# Delfour
-
-Generated by `see.js` from a Notation3 source file.
-
-N3-compiled version of the Delfour insight-economy example. A private phone
-condition is desensitized into a scoped low-sugar insight; the scanner may use
-it for shopping assistance, but not for marketing.
-
-## Compilation summary
-
-- Example name: `delfour`
-- Input facts emitted: 61
-- Forward rules compiled: 16
-- Backward predicate rules compiled: 0
-- Fuses compiled: 3
-- Predicate count: 62
-
-## Built-ins used
-
-- `crypto:sha256`
-- `log:notEqualTo`
-- `log:notIncludes`
-- `log:outputString`
-- `math:greaterThan`
-- `math:notEqualTo`
-- `math:notGreaterThan`
-- `math:notLessThan`
-- `string:format`
-- `string:notMatches`
-
-## Runtime model
-
-The generated `examples/delfour.js` is a specialized JavaScript derivation program. For ordinary sources, `see.js` emits the source facts as `examples/input/delfour.trig`. For rules-only sources, generation can reuse an existing external evidence file such as `examples/input/delfour.trig` or `examples/input/delfour.trig`. The runner reads that TriG evidence directly and performs a local fixpoint derivation; it does not parse the program source or call an external reasoner.
-
-## Output model
-
-Running `node examples/delfour.js` produces a SEE-style Markdown report with an **Entailment** section, an **Explanation** section, and a **Formal TriG Output** section containing the selected derived/query facts.

package/see/examples/doc/digital_product_passport.md

@@ -1,36 +0,0 @@
-# Digital Product Passport
-
-Generated by `see.js` from a Notation3 source file.
-
-N3-compiled version of the smartphone Digital Product Passport example. The
-rules fold component mass, recycled content, critical raw materials, public
-documents, lifecycle footprint, and access-policy validations into a public PASS.
-
-## Compilation summary
-
-- Example name: `digital_product_passport`
-- Input facts emitted: 90
-- Forward rules compiled: 12
-- Backward predicate rules compiled: 0
-- Fuses compiled: 2
-- Predicate count: 53
-
-## Built-ins used
-
-- `log:notEqualTo`
-- `log:outputString`
-- `math:greaterThan`
-- `math:integerQuotient`
-- `math:notGreaterThan`
-- `math:product`
-- `math:sum`
-- `string:format`
-- `string:notGreaterThan`
-
-## Runtime model
-
-The generated `examples/digital_product_passport.js` is a specialized JavaScript derivation program. For ordinary sources, `see.js` emits the source facts as `examples/input/digital_product_passport.trig`. For rules-only sources, generation can reuse an existing external evidence file such as `examples/input/digital-product-passport.trig` or `examples/input/digital_product_passport.trig`. The runner reads that TriG evidence directly and performs a local fixpoint derivation; it does not parse the program source or call an external reasoner.
-
-## Output model
-
-Running `node examples/digital_product_passport.js` produces a SEE-style Markdown report with an **Entailment** section, an **Explanation** section, and a **Formal TriG Output** section containing the selected derived/query facts.

package/see/examples/doc/dijkstra.md

@@ -1,28 +0,0 @@
-# Dijkstra's algorithm to find the shortest path
-
-Generated by `see.js` from a Notation3 source file.
-
-## Compilation summary
-
-- Example name: `dijkstra`
-- Input facts emitted: 9
-- Forward rules compiled: 2
-- Backward predicate rules compiled: 3
-- Fuses compiled: 0
-- Predicate count: 9
-
-## Built-ins used
-
-- `list:append`
-- `list:firstRest`
-- `list:reverse`
-- `list:sort`
-- `log:collectAllIn`
-
-## Runtime model
-
-The generated `examples/dijkstra.js` is a specialized JavaScript derivation program. For ordinary sources, `see.js` emits the source facts as `examples/input/dijkstra.trig`. For rules-only sources, generation can reuse an existing external evidence file such as `examples/input/dijkstra.trig` or `examples/input/dijkstra.trig`. The runner reads that TriG evidence directly and performs a local fixpoint derivation; it does not parse the program source or call an external reasoner.
-
-## Output model
-
-Running `node examples/dijkstra.js` produces a SEE-style Markdown report with an **Entailment** section, an **Explanation** section, and a **Formal TriG Output** section containing the selected derived/query facts.

package/see/examples/doc/dijkstra_risk_path.md

@@ -1,30 +0,0 @@
-# Dijkstra Risk Path
-
-Generated by `see.js` from a Notation3 source file.
-
-N3-compiled version of the risk-adjusted route example. The original JSON
-input is preserved as the data-input sidecar; this source compiles the
-executable derivation and report.
-
-## Compilation summary
-
-- Example name: `dijkstra_risk_path`
-- Input facts emitted: 21
-- Forward rules compiled: 3
-- Backward predicate rules compiled: 0
-- Fuses compiled: 0
-- Predicate count: 17
-
-## Built-ins used
-
-- `log:outputString`
-- `math:lessThan`
-- `string:format`
-
-## Runtime model
-
-The generated `examples/dijkstra_risk_path.js` is a specialized JavaScript derivation program. For ordinary sources, `see.js` emits the source facts as `examples/input/dijkstra_risk_path.trig`. For rules-only sources, generation can reuse an existing external evidence file such as `examples/input/dijkstra-risk-path.trig` or `examples/input/dijkstra_risk_path.trig`. The runner reads that TriG evidence directly and performs a local fixpoint derivation; it does not parse the program source or call an external reasoner.
-
-## Output model
-
-Running `node examples/dijkstra_risk_path.js` produces a SEE-style Markdown report with an **Entailment** section, an **Explanation** section, and a **Formal TriG Output** section containing the selected derived/query facts.

package/see/examples/doc/dog.md

@@ -1,28 +0,0 @@
-# Dog license example
-
-Generated by `see.js` from a Notation3 source file.
-
-If you have more than 4 dogs you need a license.
-
-## Compilation summary
-
-- Example name: `dog`
-- Input facts emitted: 7
-- Forward rules compiled: 1
-- Backward predicate rules compiled: 0
-- Fuses compiled: 0
-- Predicate count: 5
-
-## Built-ins used
-
-- `log:collectAllIn`
-- `math:greaterThan`
-- `math:sum`
-
-## Runtime model
-
-The generated `examples/dog.js` is a specialized JavaScript derivation program. For ordinary sources, `see.js` emits the source facts as `examples/input/dog.trig`. For rules-only sources, generation can reuse an existing external evidence file such as `examples/input/dog.trig` or `examples/input/dog.trig`. The runner reads that TriG evidence directly and performs a local fixpoint derivation; it does not parse the program source or call an external reasoner.
-
-## Output model
-
-Running `node examples/dog.js` produces a SEE-style Markdown report with an **Entailment** section, an **Explanation** section, and a **Formal TriG Output** section containing the selected derived/query facts.

package/see/examples/doc/eco_route_insight.md

@@ -1,33 +0,0 @@
-# Eco Route Insight
-
-Generated by `see.js` from a Notation3 source file.
-
-N3-compiled version of the privacy-preserving eco route insight. The JSON
-input remains the data-input sidecar; this source compiles the local decision
-and signed-envelope explanation.
-
-## Compilation summary
-
-- Example name: `eco_route_insight`
-- Input facts emitted: 33
-- Forward rules compiled: 2
-- Backward predicate rules compiled: 0
-- Fuses compiled: 0
-- Predicate count: 30
-
-## Built-ins used
-
-- `log:outputString`
-- `math:difference`
-- `math:greaterThan`
-- `math:lessThan`
-- `math:notGreaterThan`
-- `string:format`
-
-## Runtime model
-
-The generated `examples/eco_route_insight.js` is a specialized JavaScript derivation program. For ordinary sources, `see.js` emits the source facts as `examples/input/eco_route_insight.trig`. For rules-only sources, generation can reuse an existing external evidence file such as `examples/input/eco-route-insight.trig` or `examples/input/eco_route_insight.trig`. The runner reads that TriG evidence directly and performs a local fixpoint derivation; it does not parse the program source or call an external reasoner.
-
-## Output model
-
-Running `node examples/eco_route_insight.js` produces a SEE-style Markdown report with an **Entailment** section, an **Explanation** section, and a **Formal TriG Output** section containing the selected derived/query facts.