eyeling 1.24.5 → 1.24.7

package/see/examples/doc/path_discovery.md

@@ -1,33 +0,0 @@
-# Path Discovery
-
-Generated by `see.js` from a Notation3 source file.
-
-SEE version of the Eyeling airport path-discovery example.
-The full airroutes evidence is intentionally stored in
-examples/input/path-discovery.trig, not in this source file. This file keeps
-only the path-finding rules and the query shape from the upstream example.
-
-## Compilation summary
-
-- Example name: `path_discovery`
-- Input facts emitted: 0
-- Forward rules compiled: 1
-- Backward predicate rules compiled: 2
-- Fuses compiled: 0
-- Predicate count: 9
-
-## Built-ins used
-
-- `list:firstRest`
-- `list:notMember`
-- `log:collectAllIn`
-- `math:notGreaterThan`
-- `math:sum`
-
-## Runtime model
-
-The generated `examples/path_discovery.js` is a specialized JavaScript derivation program. For ordinary sources, `see.js` emits the source facts as `examples/input/path_discovery.trig`. For rules-only sources, generation can reuse an existing external evidence file such as `examples/input/path-discovery.trig` or `examples/input/path_discovery.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/path_discovery.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/rc_discharge_envelope.md

@@ -1,33 +0,0 @@
-# RC Discharge Envelope
-
-Generated by `see.js` from a Notation3 source file.
-
-Certify when a sampled RC capacitor is guaranteed below tolerance using an
-upper decay bound. The witness is derived by N3 rules and compiled to SEE.
-
-## Compilation summary
-
-- Example name: `rc_discharge_envelope`
-- Input facts emitted: 12
-- Forward rules compiled: 6
-- Backward predicate rules compiled: 0
-- Fuses compiled: 0
-- Predicate count: 22
-
-## Built-ins used
-
-- `log:outputString`
-- `math:exponentiation`
-- `math:lessThan`
-- `math:notGreaterThan`
-- `math:notLessThan`
-- `math:product`
-- `string:format`
-
-## Runtime model
-
-The generated `examples/rc_discharge_envelope.js` is a specialized JavaScript derivation program. For ordinary sources, `see.js` emits the source facts as `examples/input/rc_discharge_envelope.trig`. For rules-only sources, generation can reuse an existing external evidence file such as `examples/input/rc-discharge-envelope.trig` or `examples/input/rc_discharge_envelope.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/rc_discharge_envelope.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/rdf_dataset.md

@@ -1,26 +0,0 @@
-# RDF dataset compatibility
-
-Generated by `see.js` from a Notation3 source file.
-
-RDF 1.1 named graph data and RDF 1.2 triple terms are normalized to ordinary N3 graph terms before SEE compiles the derivation.
-
-## Compilation summary
-
-- Example name: `rdf_dataset`
-- Input facts emitted: 4
-- Forward rules compiled: 1
-- Backward predicate rules compiled: 0
-- Fuses compiled: 0
-- Predicate count: 5
-
-## Built-ins used
-
-- `log:nameOf`
-
-## Runtime model
-
-The generated `examples/rdf_dataset.js` is a specialized JavaScript derivation program. For ordinary sources, `see.js` emits the source facts as `examples/input/rdf_dataset.trig`. For rules-only sources, generation can reuse an existing external evidence file such as `examples/input/rdf-dataset.trig` or `examples/input/rdf_dataset.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/rdf_dataset.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/rdf_message_flow.md

@@ -1,35 +0,0 @@
-# RDF Message Flow
-
-Generated by `see.js` from a Notation3 source file.
-
-A companion to rdf_messages.n3. This example focuses on a live stream where
-RDF Messages continuously flow through a small processing pipeline. The next
-message is released only after the current message reaches the sink, so the
-stream behaves as an ordered, replayable flow rather than a single merged RDF
-graph.
-
-## Compilation summary
-
-- Example name: `rdf_message_flow`
-- Input facts emitted: 42
-- Forward rules compiled: 9
-- Backward predicate rules compiled: 0
-- Fuses compiled: 0
-- Predicate count: 25
-
-## Built-ins used
-
-- `list:length`
-- `log:includes`
-- `log:outputString`
-- `math:greaterThan`
-- `math:notGreaterThan`
-- `string:format`
-
-## Runtime model
-
-The generated `examples/rdf_message_flow.js` is a specialized JavaScript derivation program. For ordinary sources, `see.js` emits the source facts as `examples/input/rdf_message_flow.trig`. For rules-only sources, generation can reuse an existing external evidence file such as `examples/input/rdf-message-flow.trig` or `examples/input/rdf_message_flow.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/rdf_message_flow.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/rdf_messages.md

@@ -1,37 +0,0 @@
-# RDF Messages
-
-Generated by `see.js` from a Notation3 source file.
-
-This SEE example models the main idea from
-https://pietercolpaert.be/papers/eswc2026-rdf-messages/:
-a message stream/log is not just one freely mergeable RDF graph. It is an
-ordered sequence of RDF Datasets that are interpreted atomically, one message
-at a time. The middle message is deliberately empty to model a heartbeat, and
-the local blank-node label "_:b0" is deliberately reused by two messages to
-show message-scoped blank nodes.
-
-## Compilation summary
-
-- Example name: `rdf_messages`
-- Input facts emitted: 25
-- Forward rules compiled: 6
-- Backward predicate rules compiled: 0
-- Fuses compiled: 0
-- Predicate count: 26
-
-## Built-ins used
-
-- `list:length`
-- `log:includes`
-- `log:notEqualTo`
-- `log:outputString`
-- `math:notEqualTo`
-- `string:format`
-
-## Runtime model
-
-The generated `examples/rdf_messages.js` is a specialized JavaScript derivation program. For ordinary sources, `see.js` emits the source facts as `examples/input/rdf_messages.trig`. For rules-only sources, generation can reuse an existing external evidence file such as `examples/input/rdf-messages.trig` or `examples/input/rdf_messages.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/rdf_messages.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/school_placement_audit.md

@@ -1,31 +0,0 @@
-# School Placement Route Audit
-
-Generated by `see.js` from a Notation3 source file.
-
-N3-compiled version of the school placement audit. The original student,
-school, distance, and policy JSON is preserved as the data-input sidecar.
-
-## Compilation summary
-
-- Example name: `school_placement_audit`
-- Input facts emitted: 26
-- Forward rules compiled: 4
-- Backward predicate rules compiled: 0
-- Fuses compiled: 0
-- Predicate count: 19
-
-## Built-ins used
-
-- `log:notEqualTo`
-- `log:outputString`
-- `math:greaterThan`
-- `math:lessThan`
-- `string:format`
-
-## Runtime model
-
-The generated `examples/school_placement_audit.js` is a specialized JavaScript derivation program. For ordinary sources, `see.js` emits the source facts as `examples/input/school_placement_audit.trig`. For rules-only sources, generation can reuse an existing external evidence file such as `examples/input/school-placement-audit.trig` or `examples/input/school_placement_audit.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/school_placement_audit.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/smoke_arithmetic.md

@@ -1,31 +0,0 @@
-# Smoke Arithmetic
-
-Generated by `see.js` from a Notation3 source file.
-
-Small Notation3 source used to prove that see.js generates a specialized JS
-example which derives its answer from facts, math built-ins, fuses, and string
-formatting instead of reading a prewritten conclusion.
-
-## Compilation summary
-
-- Example name: `smoke_arithmetic`
-- Input facts emitted: 2
-- Forward rules compiled: 2
-- Backward predicate rules compiled: 0
-- Fuses compiled: 0
-- Predicate count: 7
-
-## Built-ins used
-
-- `log:outputString`
-- `math:greaterThan`
-- `math:product`
-- `string:format`
-
-## Runtime model
-
-The generated `examples/smoke_arithmetic.js` is a specialized JavaScript derivation program. For ordinary sources, `see.js` emits the source facts as `examples/input/smoke_arithmetic.trig`. For rules-only sources, generation can reuse an existing external evidence file such as `examples/input/smoke-arithmetic.trig` or `examples/input/smoke_arithmetic.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/smoke_arithmetic.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/socrates.md

@@ -1,24 +0,0 @@
-# Socrates inference
-
-Generated by `see.js` from a Notation3 source file.
-
-## Compilation summary
-
-- Example name: `socrates`
-- Input facts emitted: 2
-- Forward rules compiled: 1
-- Backward predicate rules compiled: 0
-- Fuses compiled: 0
-- Predicate count: 2
-
-## Built-ins used
-
-- none
-
-## Runtime model
-
-The generated `examples/socrates.js` is a specialized JavaScript derivation program. For ordinary sources, `see.js` emits the source facts as `examples/input/socrates.trig`. For rules-only sources, generation can reuse an existing external evidence file such as `examples/input/socrates.trig` or `examples/input/socrates.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/socrates.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/triple_terms.md

@@ -1,26 +0,0 @@
-# Triple terms
-
-Generated by `see.js` from a Notation3 source file.
-
-Demonstrates RDF 1.2 TriG triple terms as input evidence and as a derived entailment.
-
-## Compilation summary
-
-- Example name: `triple_terms`
-- Input facts emitted: 2
-- Forward rules compiled: 1
-- Backward predicate rules compiled: 0
-- Fuses compiled: 0
-- Predicate count: 3
-
-## Built-ins used
-
-- none
-
-## Runtime model
-
-The generated `examples/triple_terms.js` is a specialized JavaScript derivation program. For ordinary sources, `see.js` emits the source facts as `examples/input/triple_terms.trig`. For rules-only sources, generation can reuse an existing external evidence file such as `examples/input/triple-terms.trig` or `examples/input/triple_terms.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/triple_terms.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/wind_turbine.md

@@ -1,37 +0,0 @@
-# Wind Turbine Envelope
-
-Generated by `see.js` from a Notation3 source file.
-
-Classify wind-speed samples against a turbine operating envelope and compute
-interval energy. The classification and cubic power curve are expressed in N3
-rules and compiled into a standalone SEE JavaScript example.
-
-## Compilation summary
-
-- Example name: `wind_turbine`
-- Input facts emitted: 23
-- Forward rules compiled: 7
-- Backward predicate rules compiled: 0
-- Fuses compiled: 0
-- Predicate count: 22
-
-## Built-ins used
-
-- `log:outputString`
-- `math:difference`
-- `math:exponentiation`
-- `math:lessThan`
-- `math:notGreaterThan`
-- `math:notLessThan`
-- `math:product`
-- `math:quotient`
-- `math:sum`
-- `string:format`
-
-## Runtime model
-
-The generated `examples/wind_turbine.js` is a specialized JavaScript derivation program. For ordinary sources, `see.js` emits the source facts as `examples/input/wind_turbine.trig`. For rules-only sources, generation can reuse an existing external evidence file such as `examples/input/wind-turbine.trig` or `examples/input/wind_turbine.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/wind_turbine.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/witch.md

@@ -1,28 +0,0 @@
-# Burn the witch
-
-Generated by `see.js` from a Notation3 source file.
-
-http://clarkparsia.com/weblog/2007/01/02/burn-the-witch/
-http://www.netfunny.com/rhf/jokes/90q4/burnher.html
-original http://www.w3.org/2000/10/swap/test/reason/witch.n3
-
-## Compilation summary
-
-- Example name: `witch`
-- Input facts emitted: 3
-- Forward rules compiled: 4
-- Backward predicate rules compiled: 0
-- Fuses compiled: 0
-- Predicate count: 2
-
-## Built-ins used
-
-- none
-
-## Runtime model
-
-The generated `examples/witch.js` is a specialized JavaScript derivation program. For ordinary sources, `see.js` emits the source facts as `examples/input/witch.trig`. For rules-only sources, generation can reuse an existing external evidence file such as `examples/input/witch.trig` or `examples/input/witch.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/witch.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.