eyeling 1.23.4 → 1.24.0

package/see/examples/doc/path_discovery.md

@@ -0,0 +1,33 @@
+# 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 **Insight** section, an **Explanation** section, and a **Formal TriG Output** section containing the selected derived/query facts.

package/see/examples/doc/rc_discharge_envelope.md

@@ -0,0 +1,33 @@
+# 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 **Insight** section, an **Explanation** section, and a **Formal TriG Output** section containing the selected derived/query facts.

package/see/examples/doc/rdf_message_flow.md

@@ -0,0 +1,35 @@
+# 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 **Insight** section, an **Explanation** section, and a **Formal TriG Output** section containing the selected derived/query facts.

package/see/examples/doc/rdf_messages.md

@@ -0,0 +1,37 @@
+# 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 **Insight** section, an **Explanation** section, and a **Formal TriG Output** section containing the selected derived/query facts.

package/see/examples/doc/school_placement_audit.md

@@ -0,0 +1,31 @@
+# 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 **Insight** section, an **Explanation** section, and a **Formal TriG Output** section containing the selected derived/query facts.

package/see/examples/doc/smoke_arithmetic.md

@@ -0,0 +1,31 @@
+# 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 **Insight** section, an **Explanation** section, and a **Formal TriG Output** section containing the selected derived/query facts.

package/see/examples/doc/socrates.md

@@ -0,0 +1,24 @@
+# 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 **Insight** section, an **Explanation** section, and a **Formal TriG Output** section containing the selected derived/query facts.

package/see/examples/doc/wind_turbine.md

@@ -0,0 +1,37 @@
+# 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 **Insight** section, an **Explanation** section, and a **Formal TriG Output** section containing the selected derived/query facts.

package/see/examples/doc/witch.md

@@ -0,0 +1,28 @@
+# 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 **Insight** section, an **Explanation** section, and a **Formal TriG Output** section containing the selected derived/query facts.