eyeling 1.24.0 → 1.24.1

package/see/examples/output/rc_discharge_envelope.md

@@ -1,6 +1,6 @@
 # RC Discharge Envelope  
 
-## Insight  
+## Entailment  
 exact decay symbol : exp(-1/4)  
 certified decay interval : [0.7788007830, 0.7788007831]  
 first below tolerance step : 13  

package/see/examples/output/rdf_message_flow.md

@@ -1,6 +1,6 @@
 # RDF Message Flow  
 
-## Insight  
+## Entailment  
 Continuous RDF Message flow accepted: 5 ordered messages moved through the ingest → validate → interpret → route → sink pipeline. The threshold was 26, so results 21 and 22 were archived, the heartbeat kept the stream alive, and results 28 and 29 were emitted as alerts.  
 
 ## Explanation  

package/see/examples/output/rdf_messages.md

@@ -1,6 +1,6 @@
 # RDF Messages  
 
-## Insight  
+## Entailment  
 RDF Message log accepted: 3 explicit message boundaries are preserved. Message :m002 is an empty heartbeat, and the local blank-node label _:b0 is safely reused in separate messages.  
 
 ## Explanation  

package/see/examples/output/school_placement_audit.md

@@ -1,6 +1,6 @@
 # School Placement Route Audit  
 
-## Insight  
+## Entailment  
 audit result : fail  
 children affected by straight-line rule : Ada, Björn, Davi  
 largest hidden detour : Ada, 3000 m  

package/see/examples/output/smoke_arithmetic.md

@@ -1,6 +1,6 @@
 # Smoke Arithmetic  
 
-## Insight  
+## Entailment  
 product = 42  
 
 ## Explanation  

package/see/examples/output/socrates.md

@@ -1,10 +1,10 @@
 # Socrates inference  
 
-## Insight  
+## Entailment  
 The compiled query selected 2 fact(s) after the rule closure was computed.  
-Main conclusion: **:Socrates is a :Mortal.**  
+Main entailment: **:Socrates is a :Mortal.**  
 
-Selected conclusions:  
+Selected entailments:  
 - :Socrates rdf:type :Mortal .  
 - :Socrates rdf:type :Human .  
 

package/see/examples/output/wind_turbine.md

@@ -1,6 +1,6 @@
 # Wind Turbine Envelope  
 
-## Insight  
+## Entailment  
 operating thresholds : cut-in 3.5 m/s, rated 12.0 m/s, cut-out 25.0 m/s  
 rated power : 3.2 MW  
 interval classifications : t1 3.0 m/s stopped 0.000 MW; t2 6.5 m/s partial 0.440 MW; t3 11.2 m/s partial 2.586 MW; t4 15.0 m/s rated 3.200 MW; t5 24.5 m/s rated 3.200 MW; t6 27.0 m/s stopped 0.000 MW  

package/see/examples/output/witch.md

@@ -1,10 +1,10 @@
 # Burn the witch  
 
-## Insight  
+## Entailment  
 The derivation produced 6 new fact(s) from 3 stated fact(s).  
-Main conclusion: **:GIRL is a :WITCH.**  
+Main entailment: **:GIRL is a :WITCH.**  
 
-Selected conclusions:  
+Selected entailments:  
 - :GIRL rdf:type :WITCH .  
 - :GIRL rdf:type :BURNS .  
 - :GIRL rdf:type :ISMADEOFWOOD .  

package/see/examples/path_discovery.js

@@ -1040,19 +1040,19 @@ function renderStructuredOutput({ title, graph, queries = [], rules = [], initia
   const lines = [];
   lines.push('# ' + title);
   lines.push('');
-  lines.push('## Insight');
+  lines.push('## Entailment');
   if (mode === 'query') {
     lines.push('The compiled query selected ' + selected.length + ' fact(s) after the rule closure was computed.');
   } else if (mode === 'formula') {
-    lines.push('The derivation produced ' + selected.length + ' formula-valued conclusion(s).');
+    lines.push('The derivation produced ' + selected.length + ' formula-valued entailment(s).');
   } else {
     lines.push('The derivation produced ' + derived.length + ' new fact(s) from ' + initialFacts.length + ' stated fact(s).');
   }
-  if (keyFact) lines.push('Main conclusion: **' + factSentence(keyFact) + '**');
+  if (keyFact) lines.push('Main entailment: **' + factSentence(keyFact) + '**');
   const bullets = selected.slice(-6).reverse();
   if (bullets.length) {
     lines.push('');
-    lines.push('Selected conclusions:');
+    lines.push('Selected entailments:');
     for (const fact of bullets) lines.push('- ' + codeFact(fact));
   }
   lines.push('');
@@ -1114,15 +1114,15 @@ function dedupeExplanationHeadings(text) {
 function normalizePublicReport(markdown, title) {
   let text = String(markdown || '').trimEnd();
   if (!/^\s*#\s+/m.test(text)) text = '# ' + title + '\n\n' + text;
-  if (!/^##\s+Insight\s*$/mi.test(text)) {
-    text = text.replace(/^(#\s+[^\n]+\n*)/, '$1\n## Insight\n');
+  if (!/^##\s+Entailment\s*$/mi.test(text)) {
+    text = text.replace(/^(#\s+[^\n]+\n*)/, '$1\n## Entailment\n');
   }
   if (!/^##\s+Explanation\s*$/mi.test(text)) {
     text += '\n\n## Explanation\nNo additional explanation was provided by the generated output.';
   }
   text = text.replace(/^##\s+([^\n]+?)\s*$/gm, (line, heading) => {
     const normalized = heading.trim().toLowerCase();
-    if (normalized === 'insight' || normalized === 'explanation') return '## ' + (normalized === 'insight' ? 'Insight' : 'Explanation');
+    if (normalized === 'insight' || normalized === 'conclusion' || normalized === 'entailment' || normalized === 'explanation') return '## ' + (normalized === 'explanation' ? 'Explanation' : 'Entailment');
     return '**' + heading.trim() + '**';
   });
   text = dedupeExplanationHeadings(text);
@@ -1131,13 +1131,13 @@ function normalizePublicReport(markdown, title) {
 function markdownize(raw, title) {
   let text = String(raw || '');
   text = text
-    .replace(/===\s*Answer\s*===/g, '## Insight')
+    .replace(/===\s*Answer\s*===/g, '## Entailment')
     .replace(/===\s*Reason\s+Why\s*===/gi, '## Explanation')
     .replace(/===\s*Explanation\s*===/gi, '## Explanation')
     .replace(/===\s*([^=]+?)\s*===/g, (_, h) => '**' + h.trim() + '**');
   text = text.replace(/^C(\d+)\s+OK\s*-\s*/gm, 'C$1: ');
   text = dedupeExplanationHeadings(text);
-  if (!text.trim()) text = '## Insight\nNo log:outputString facts were derived.\n\n## Explanation\nThe compiled derivation did not produce authored report text.';
+  if (!text.trim()) text = '## Entailment\nNo log:outputString facts were derived.\n\n## Explanation\nThe compiled derivation did not produce authored report text.';
   return normalizePublicReport(text, title);
 }
 function authoredSupportAppendix(graph, queries, rules, initialFacts, trace) {
@@ -1649,7 +1649,7 @@ const RULES = [
   }
 ];
 const QUERIES = [];
-const DOC_MARKDOWN = "# Path Discovery\n\nGenerated by `see.js` from a Notation3 source file.\n\nSEE version of the Eyeling airport path-discovery example.\nThe full airroutes evidence is intentionally stored in\nexamples/input/path-discovery.trig, not in this source file. This file keeps\nonly the path-finding rules and the query shape from the upstream example.\n\n## Compilation summary\n\n- Example name: `path_discovery`\n- Input facts emitted: 0\n- Forward rules compiled: 1\n- Backward predicate rules compiled: 2\n- Fuses compiled: 0\n- Predicate count: 9\n\n## Built-ins used\n\n- `list:firstRest`\n- `list:notMember`\n- `log:collectAllIn`\n- `math:notGreaterThan`\n- `math:sum`\n\n## Runtime model\n\nThe 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.\n\n## Output model\n\nRunning `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.\n";
+const DOC_MARKDOWN = "# Path Discovery\n\nGenerated by `see.js` from a Notation3 source file.\n\nSEE version of the Eyeling airport path-discovery example.\nThe full airroutes evidence is intentionally stored in\nexamples/input/path-discovery.trig, not in this source file. This file keeps\nonly the path-finding rules and the query shape from the upstream example.\n\n## Compilation summary\n\n- Example name: `path_discovery`\n- Input facts emitted: 0\n- Forward rules compiled: 1\n- Backward predicate rules compiled: 2\n- Fuses compiled: 0\n- Predicate count: 9\n\n## Built-ins used\n\n- `list:firstRest`\n- `list:notMember`\n- `log:collectAllIn`\n- `math:notGreaterThan`\n- `math:sum`\n\n## Runtime model\n\nThe 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.\n\n## Output model\n\nRunning `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.\n";
 function seeMetadata(data) { return (data && data.__see) || {}; }
 function trustedDerivation(data) { const meta = seeMetadata(data); const facts = data && Array.isArray(data.facts) ? data.facts : []; const expectedFacts = EXPECTED_INPUT_FACTS || Number(meta.InputFacts || 0); if (meta.SourceSHA256 && meta.SourceSHA256 !== "9481a2b27a6cae4d73f312c7d8403d1abd7beab573f627f591ea8301073fe4db") throw new Error('input evidence does not match the N3 source compiled into this example'); const result = saturate(facts, RULES); const rawOutput = renderRawOutput(result.graph, QUERIES, RULES, facts); fail('Compiled N3 derivation failed', { 'input evidence metadata is present and matches compiled source': meta.SourceSHA256 === "9481a2b27a6cae4d73f312c7d8403d1abd7beab573f627f591ea8301073fe4db", 'input evidence facts were loaded': expectedFacts > 0 ? facts.length === expectedFacts : facts.length >= 0, 'compiled rules were loaded': RULES.length === 3, 'compiled query directives were loaded': QUERIES.length === 0, 'a derivation fixpoint was reached': result.graph.facts.length >= facts.length, 'query or output facts were produced': rawOutput.length > 0 }); return { ...result, rawOutput, inputFacts: facts }; }
 function snapshotMarkdown(markdown) { return markdown.split(/\n/).map((line) => line ? line + '  \n' : '\n').join(''); }

package/see/examples/rc_discharge_envelope.js

@@ -1040,19 +1040,19 @@ function renderStructuredOutput({ title, graph, queries = [], rules = [], initia
   const lines = [];
   lines.push('# ' + title);
   lines.push('');
-  lines.push('## Insight');
+  lines.push('## Entailment');
   if (mode === 'query') {
     lines.push('The compiled query selected ' + selected.length + ' fact(s) after the rule closure was computed.');
   } else if (mode === 'formula') {
-    lines.push('The derivation produced ' + selected.length + ' formula-valued conclusion(s).');
+    lines.push('The derivation produced ' + selected.length + ' formula-valued entailment(s).');
   } else {
     lines.push('The derivation produced ' + derived.length + ' new fact(s) from ' + initialFacts.length + ' stated fact(s).');
   }
-  if (keyFact) lines.push('Main conclusion: **' + factSentence(keyFact) + '**');
+  if (keyFact) lines.push('Main entailment: **' + factSentence(keyFact) + '**');
   const bullets = selected.slice(-6).reverse();
   if (bullets.length) {
     lines.push('');
-    lines.push('Selected conclusions:');
+    lines.push('Selected entailments:');
     for (const fact of bullets) lines.push('- ' + codeFact(fact));
   }
   lines.push('');
@@ -1114,15 +1114,15 @@ function dedupeExplanationHeadings(text) {
 function normalizePublicReport(markdown, title) {
   let text = String(markdown || '').trimEnd();
   if (!/^\s*#\s+/m.test(text)) text = '# ' + title + '\n\n' + text;
-  if (!/^##\s+Insight\s*$/mi.test(text)) {
-    text = text.replace(/^(#\s+[^\n]+\n*)/, '$1\n## Insight\n');
+  if (!/^##\s+Entailment\s*$/mi.test(text)) {
+    text = text.replace(/^(#\s+[^\n]+\n*)/, '$1\n## Entailment\n');
   }
   if (!/^##\s+Explanation\s*$/mi.test(text)) {
     text += '\n\n## Explanation\nNo additional explanation was provided by the generated output.';
   }
   text = text.replace(/^##\s+([^\n]+?)\s*$/gm, (line, heading) => {
     const normalized = heading.trim().toLowerCase();
-    if (normalized === 'insight' || normalized === 'explanation') return '## ' + (normalized === 'insight' ? 'Insight' : 'Explanation');
+    if (normalized === 'insight' || normalized === 'conclusion' || normalized === 'entailment' || normalized === 'explanation') return '## ' + (normalized === 'explanation' ? 'Explanation' : 'Entailment');
     return '**' + heading.trim() + '**';
   });
   text = dedupeExplanationHeadings(text);
@@ -1131,13 +1131,13 @@ function normalizePublicReport(markdown, title) {
 function markdownize(raw, title) {
   let text = String(raw || '');
   text = text
-    .replace(/===\s*Answer\s*===/g, '## Insight')
+    .replace(/===\s*Answer\s*===/g, '## Entailment')
     .replace(/===\s*Reason\s+Why\s*===/gi, '## Explanation')
     .replace(/===\s*Explanation\s*===/gi, '## Explanation')
     .replace(/===\s*([^=]+?)\s*===/g, (_, h) => '**' + h.trim() + '**');
   text = text.replace(/^C(\d+)\s+OK\s*-\s*/gm, 'C$1: ');
   text = dedupeExplanationHeadings(text);
-  if (!text.trim()) text = '## Insight\nNo log:outputString facts were derived.\n\n## Explanation\nThe compiled derivation did not produce authored report text.';
+  if (!text.trim()) text = '## Entailment\nNo log:outputString facts were derived.\n\n## Explanation\nThe compiled derivation did not produce authored report text.';
   return normalizePublicReport(text, title);
 }
 function authoredSupportAppendix(graph, queries, rules, initialFacts, trace) {
@@ -1868,7 +1868,7 @@ const RULES = [
   }
 ];
 const QUERIES = [];
-const DOC_MARKDOWN = "# RC Discharge Envelope\n\nGenerated by `see.js` from a Notation3 source file.\n\nCertify when a sampled RC capacitor is guaranteed below tolerance using an\nupper decay bound. The witness is derived by N3 rules and compiled to SEE.\n\n## Compilation summary\n\n- Example name: `rc_discharge_envelope`\n- Input facts emitted: 12\n- Forward rules compiled: 6\n- Backward predicate rules compiled: 0\n- Fuses compiled: 0\n- Predicate count: 22\n\n## Built-ins used\n\n- `log:outputString`\n- `math:exponentiation`\n- `math:lessThan`\n- `math:notGreaterThan`\n- `math:notLessThan`\n- `math:product`\n- `string:format`\n\n## Runtime model\n\nThe 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.\n\n## Output model\n\nRunning `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.\n";
+const DOC_MARKDOWN = "# RC Discharge Envelope\n\nGenerated by `see.js` from a Notation3 source file.\n\nCertify when a sampled RC capacitor is guaranteed below tolerance using an\nupper decay bound. The witness is derived by N3 rules and compiled to SEE.\n\n## Compilation summary\n\n- Example name: `rc_discharge_envelope`\n- Input facts emitted: 12\n- Forward rules compiled: 6\n- Backward predicate rules compiled: 0\n- Fuses compiled: 0\n- Predicate count: 22\n\n## Built-ins used\n\n- `log:outputString`\n- `math:exponentiation`\n- `math:lessThan`\n- `math:notGreaterThan`\n- `math:notLessThan`\n- `math:product`\n- `string:format`\n\n## Runtime model\n\nThe 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.\n\n## Output model\n\nRunning `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.\n";
 function seeMetadata(data) { return (data && data.__see) || {}; }
 function trustedDerivation(data) { const meta = seeMetadata(data); const facts = data && Array.isArray(data.facts) ? data.facts : []; const expectedFacts = EXPECTED_INPUT_FACTS || Number(meta.InputFacts || 0); if (meta.SourceSHA256 && meta.SourceSHA256 !== "41acff69cd2994230faedf5a466b4c43d47cdff9dc6d834baecd9865979160b8") throw new Error('input evidence does not match the N3 source compiled into this example'); const result = saturate(facts, RULES); const rawOutput = renderRawOutput(result.graph, QUERIES, RULES, facts); fail('Compiled N3 derivation failed', { 'input evidence metadata is present and matches compiled source': meta.SourceSHA256 === "41acff69cd2994230faedf5a466b4c43d47cdff9dc6d834baecd9865979160b8", 'input evidence facts were loaded': expectedFacts > 0 ? facts.length === expectedFacts : facts.length >= 0, 'compiled rules were loaded': RULES.length === 6, 'compiled query directives were loaded': QUERIES.length === 0, 'a derivation fixpoint was reached': result.graph.facts.length >= facts.length, 'query or output facts were produced': rawOutput.length > 0 }); return { ...result, rawOutput, inputFacts: facts }; }
 function snapshotMarkdown(markdown) { return markdown.split(/\n/).map((line) => line ? line + '  \n' : '\n').join(''); }

package/see/examples/rdf_message_flow.js

@@ -1040,19 +1040,19 @@ function renderStructuredOutput({ title, graph, queries = [], rules = [], initia
   const lines = [];
   lines.push('# ' + title);
   lines.push('');
-  lines.push('## Insight');
+  lines.push('## Entailment');
   if (mode === 'query') {
     lines.push('The compiled query selected ' + selected.length + ' fact(s) after the rule closure was computed.');
   } else if (mode === 'formula') {
-    lines.push('The derivation produced ' + selected.length + ' formula-valued conclusion(s).');
+    lines.push('The derivation produced ' + selected.length + ' formula-valued entailment(s).');
   } else {
     lines.push('The derivation produced ' + derived.length + ' new fact(s) from ' + initialFacts.length + ' stated fact(s).');
   }
-  if (keyFact) lines.push('Main conclusion: **' + factSentence(keyFact) + '**');
+  if (keyFact) lines.push('Main entailment: **' + factSentence(keyFact) + '**');
   const bullets = selected.slice(-6).reverse();
   if (bullets.length) {
     lines.push('');
-    lines.push('Selected conclusions:');
+    lines.push('Selected entailments:');
     for (const fact of bullets) lines.push('- ' + codeFact(fact));
   }
   lines.push('');
@@ -1114,15 +1114,15 @@ function dedupeExplanationHeadings(text) {
 function normalizePublicReport(markdown, title) {
   let text = String(markdown || '').trimEnd();
   if (!/^\s*#\s+/m.test(text)) text = '# ' + title + '\n\n' + text;
-  if (!/^##\s+Insight\s*$/mi.test(text)) {
-    text = text.replace(/^(#\s+[^\n]+\n*)/, '$1\n## Insight\n');
+  if (!/^##\s+Entailment\s*$/mi.test(text)) {
+    text = text.replace(/^(#\s+[^\n]+\n*)/, '$1\n## Entailment\n');
   }
   if (!/^##\s+Explanation\s*$/mi.test(text)) {
     text += '\n\n## Explanation\nNo additional explanation was provided by the generated output.';
   }
   text = text.replace(/^##\s+([^\n]+?)\s*$/gm, (line, heading) => {
     const normalized = heading.trim().toLowerCase();
-    if (normalized === 'insight' || normalized === 'explanation') return '## ' + (normalized === 'insight' ? 'Insight' : 'Explanation');
+    if (normalized === 'insight' || normalized === 'conclusion' || normalized === 'entailment' || normalized === 'explanation') return '## ' + (normalized === 'explanation' ? 'Explanation' : 'Entailment');
     return '**' + heading.trim() + '**';
   });
   text = dedupeExplanationHeadings(text);
@@ -1131,13 +1131,13 @@ function normalizePublicReport(markdown, title) {
 function markdownize(raw, title) {
   let text = String(raw || '');
   text = text
-    .replace(/===\s*Answer\s*===/g, '## Insight')
+    .replace(/===\s*Answer\s*===/g, '## Entailment')
     .replace(/===\s*Reason\s+Why\s*===/gi, '## Explanation')
     .replace(/===\s*Explanation\s*===/gi, '## Explanation')
     .replace(/===\s*([^=]+?)\s*===/g, (_, h) => '**' + h.trim() + '**');
   text = text.replace(/^C(\d+)\s+OK\s*-\s*/gm, 'C$1: ');
   text = dedupeExplanationHeadings(text);
-  if (!text.trim()) text = '## Insight\nNo log:outputString facts were derived.\n\n## Explanation\nThe compiled derivation did not produce authored report text.';
+  if (!text.trim()) text = '## Entailment\nNo log:outputString facts were derived.\n\n## Explanation\nThe compiled derivation did not produce authored report text.';
   return normalizePublicReport(text, title);
 }
 function authoredSupportAppendix(graph, queries, rules, initialFacts, trace) {
@@ -2455,7 +2455,7 @@ const QUERIES = [
     ]
   }
 ];
-const DOC_MARKDOWN = "# RDF Message Flow\n\nGenerated by `see.js` from a Notation3 source file.\n\nA companion to rdf_messages.n3. This example focuses on a live stream where\nRDF Messages continuously flow through a small processing pipeline. The next\nmessage is released only after the current message reaches the sink, so the\nstream behaves as an ordered, replayable flow rather than a single merged RDF\ngraph.\n\n## Compilation summary\n\n- Example name: `rdf_message_flow`\n- Input facts emitted: 42\n- Forward rules compiled: 9\n- Backward predicate rules compiled: 0\n- Fuses compiled: 0\n- Predicate count: 25\n\n## Built-ins used\n\n- `list:length`\n- `log:includes`\n- `log:outputString`\n- `math:greaterThan`\n- `math:notGreaterThan`\n- `string:format`\n\n## Runtime model\n\nThe 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.\n\n## Output model\n\nRunning `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.\n";
+const DOC_MARKDOWN = "# RDF Message Flow\n\nGenerated by `see.js` from a Notation3 source file.\n\nA companion to rdf_messages.n3. This example focuses on a live stream where\nRDF Messages continuously flow through a small processing pipeline. The next\nmessage is released only after the current message reaches the sink, so the\nstream behaves as an ordered, replayable flow rather than a single merged RDF\ngraph.\n\n## Compilation summary\n\n- Example name: `rdf_message_flow`\n- Input facts emitted: 42\n- Forward rules compiled: 9\n- Backward predicate rules compiled: 0\n- Fuses compiled: 0\n- Predicate count: 25\n\n## Built-ins used\n\n- `list:length`\n- `log:includes`\n- `log:outputString`\n- `math:greaterThan`\n- `math:notGreaterThan`\n- `string:format`\n\n## Runtime model\n\nThe 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.\n\n## Output model\n\nRunning `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.\n";
 function seeMetadata(data) { return (data && data.__see) || {}; }
 function trustedDerivation(data) { const meta = seeMetadata(data); const facts = data && Array.isArray(data.facts) ? data.facts : []; const expectedFacts = EXPECTED_INPUT_FACTS || Number(meta.InputFacts || 0); if (meta.SourceSHA256 && meta.SourceSHA256 !== "e4e534c8ac3c2aa276e7158cca8d3146531879033f73685c302b486be2ab0099") throw new Error('input evidence does not match the N3 source compiled into this example'); const result = saturate(facts, RULES); const rawOutput = renderRawOutput(result.graph, QUERIES, RULES, facts); fail('Compiled N3 derivation failed', { 'input evidence metadata is present and matches compiled source': meta.SourceSHA256 === "e4e534c8ac3c2aa276e7158cca8d3146531879033f73685c302b486be2ab0099", 'input evidence facts were loaded': expectedFacts > 0 ? facts.length === expectedFacts : facts.length >= 0, 'compiled rules were loaded': RULES.length === 9, 'compiled query directives were loaded': QUERIES.length === 1, 'a derivation fixpoint was reached': result.graph.facts.length >= facts.length, 'query or output facts were produced': rawOutput.length > 0 }); return { ...result, rawOutput, inputFacts: facts }; }
 function snapshotMarkdown(markdown) { return markdown.split(/\n/).map((line) => line ? line + '  \n' : '\n').join(''); }

package/see/examples/rdf_messages.js

@@ -1040,19 +1040,19 @@ function renderStructuredOutput({ title, graph, queries = [], rules = [], initia
   const lines = [];
   lines.push('# ' + title);
   lines.push('');
-  lines.push('## Insight');
+  lines.push('## Entailment');
   if (mode === 'query') {
     lines.push('The compiled query selected ' + selected.length + ' fact(s) after the rule closure was computed.');
   } else if (mode === 'formula') {
-    lines.push('The derivation produced ' + selected.length + ' formula-valued conclusion(s).');
+    lines.push('The derivation produced ' + selected.length + ' formula-valued entailment(s).');
   } else {
     lines.push('The derivation produced ' + derived.length + ' new fact(s) from ' + initialFacts.length + ' stated fact(s).');
   }
-  if (keyFact) lines.push('Main conclusion: **' + factSentence(keyFact) + '**');
+  if (keyFact) lines.push('Main entailment: **' + factSentence(keyFact) + '**');
   const bullets = selected.slice(-6).reverse();
   if (bullets.length) {
     lines.push('');
-    lines.push('Selected conclusions:');
+    lines.push('Selected entailments:');
     for (const fact of bullets) lines.push('- ' + codeFact(fact));
   }
   lines.push('');
@@ -1114,15 +1114,15 @@ function dedupeExplanationHeadings(text) {
 function normalizePublicReport(markdown, title) {
   let text = String(markdown || '').trimEnd();
   if (!/^\s*#\s+/m.test(text)) text = '# ' + title + '\n\n' + text;
-  if (!/^##\s+Insight\s*$/mi.test(text)) {
-    text = text.replace(/^(#\s+[^\n]+\n*)/, '$1\n## Insight\n');
+  if (!/^##\s+Entailment\s*$/mi.test(text)) {
+    text = text.replace(/^(#\s+[^\n]+\n*)/, '$1\n## Entailment\n');
   }
   if (!/^##\s+Explanation\s*$/mi.test(text)) {
     text += '\n\n## Explanation\nNo additional explanation was provided by the generated output.';
   }
   text = text.replace(/^##\s+([^\n]+?)\s*$/gm, (line, heading) => {
     const normalized = heading.trim().toLowerCase();
-    if (normalized === 'insight' || normalized === 'explanation') return '## ' + (normalized === 'insight' ? 'Insight' : 'Explanation');
+    if (normalized === 'insight' || normalized === 'conclusion' || normalized === 'entailment' || normalized === 'explanation') return '## ' + (normalized === 'explanation' ? 'Explanation' : 'Entailment');
     return '**' + heading.trim() + '**';
   });
   text = dedupeExplanationHeadings(text);
@@ -1131,13 +1131,13 @@ function normalizePublicReport(markdown, title) {
 function markdownize(raw, title) {
   let text = String(raw || '');
   text = text
-    .replace(/===\s*Answer\s*===/g, '## Insight')
+    .replace(/===\s*Answer\s*===/g, '## Entailment')
     .replace(/===\s*Reason\s+Why\s*===/gi, '## Explanation')
     .replace(/===\s*Explanation\s*===/gi, '## Explanation')
     .replace(/===\s*([^=]+?)\s*===/g, (_, h) => '**' + h.trim() + '**');
   text = text.replace(/^C(\d+)\s+OK\s*-\s*/gm, 'C$1: ');
   text = dedupeExplanationHeadings(text);
-  if (!text.trim()) text = '## Insight\nNo log:outputString facts were derived.\n\n## Explanation\nThe compiled derivation did not produce authored report text.';
+  if (!text.trim()) text = '## Entailment\nNo log:outputString facts were derived.\n\n## Explanation\nThe compiled derivation did not produce authored report text.';
   return normalizePublicReport(text, title);
 }
 function authoredSupportAppendix(graph, queries, rules, initialFacts, trace) {
@@ -2051,7 +2051,7 @@ const QUERIES = [
     ]
   }
 ];
-const DOC_MARKDOWN = "# RDF Messages\n\nGenerated by `see.js` from a Notation3 source file.\n\nThis SEE example models the main idea from\nhttps://pietercolpaert.be/papers/eswc2026-rdf-messages/:\na message stream/log is not just one freely mergeable RDF graph. It is an\nordered sequence of RDF Datasets that are interpreted atomically, one message\nat a time. The middle message is deliberately empty to model a heartbeat, and\nthe local blank-node label \"_:b0\" is deliberately reused by two messages to\nshow message-scoped blank nodes.\n\n## Compilation summary\n\n- Example name: `rdf_messages`\n- Input facts emitted: 25\n- Forward rules compiled: 6\n- Backward predicate rules compiled: 0\n- Fuses compiled: 0\n- Predicate count: 26\n\n## Built-ins used\n\n- `list:length`\n- `log:includes`\n- `log:notEqualTo`\n- `log:outputString`\n- `math:notEqualTo`\n- `string:format`\n\n## Runtime model\n\nThe 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.\n\n## Output model\n\nRunning `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.\n";
+const DOC_MARKDOWN = "# RDF Messages\n\nGenerated by `see.js` from a Notation3 source file.\n\nThis SEE example models the main idea from\nhttps://pietercolpaert.be/papers/eswc2026-rdf-messages/:\na message stream/log is not just one freely mergeable RDF graph. It is an\nordered sequence of RDF Datasets that are interpreted atomically, one message\nat a time. The middle message is deliberately empty to model a heartbeat, and\nthe local blank-node label \"_:b0\" is deliberately reused by two messages to\nshow message-scoped blank nodes.\n\n## Compilation summary\n\n- Example name: `rdf_messages`\n- Input facts emitted: 25\n- Forward rules compiled: 6\n- Backward predicate rules compiled: 0\n- Fuses compiled: 0\n- Predicate count: 26\n\n## Built-ins used\n\n- `list:length`\n- `log:includes`\n- `log:notEqualTo`\n- `log:outputString`\n- `math:notEqualTo`\n- `string:format`\n\n## Runtime model\n\nThe 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.\n\n## Output model\n\nRunning `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.\n";
 function seeMetadata(data) { return (data && data.__see) || {}; }
 function trustedDerivation(data) { const meta = seeMetadata(data); const facts = data && Array.isArray(data.facts) ? data.facts : []; const expectedFacts = EXPECTED_INPUT_FACTS || Number(meta.InputFacts || 0); if (meta.SourceSHA256 && meta.SourceSHA256 !== "2ea8b414b92e65531cf384000955ca47811d5b7c779a8d2c9fb007515e745f32") throw new Error('input evidence does not match the N3 source compiled into this example'); const result = saturate(facts, RULES); const rawOutput = renderRawOutput(result.graph, QUERIES, RULES, facts); fail('Compiled N3 derivation failed', { 'input evidence metadata is present and matches compiled source': meta.SourceSHA256 === "2ea8b414b92e65531cf384000955ca47811d5b7c779a8d2c9fb007515e745f32", 'input evidence facts were loaded': expectedFacts > 0 ? facts.length === expectedFacts : facts.length >= 0, 'compiled rules were loaded': RULES.length === 6, 'compiled query directives were loaded': QUERIES.length === 1, 'a derivation fixpoint was reached': result.graph.facts.length >= facts.length, 'query or output facts were produced': rawOutput.length > 0 }); return { ...result, rawOutput, inputFacts: facts }; }
 function snapshotMarkdown(markdown) { return markdown.split(/\n/).map((line) => line ? line + '  \n' : '\n').join(''); }

package/see/examples/school_placement_audit.js

@@ -1040,19 +1040,19 @@ function renderStructuredOutput({ title, graph, queries = [], rules = [], initia
   const lines = [];
   lines.push('# ' + title);
   lines.push('');
-  lines.push('## Insight');
+  lines.push('## Entailment');
   if (mode === 'query') {
     lines.push('The compiled query selected ' + selected.length + ' fact(s) after the rule closure was computed.');
   } else if (mode === 'formula') {
-    lines.push('The derivation produced ' + selected.length + ' formula-valued conclusion(s).');
+    lines.push('The derivation produced ' + selected.length + ' formula-valued entailment(s).');
   } else {
     lines.push('The derivation produced ' + derived.length + ' new fact(s) from ' + initialFacts.length + ' stated fact(s).');
   }
-  if (keyFact) lines.push('Main conclusion: **' + factSentence(keyFact) + '**');
+  if (keyFact) lines.push('Main entailment: **' + factSentence(keyFact) + '**');
   const bullets = selected.slice(-6).reverse();
   if (bullets.length) {
     lines.push('');
-    lines.push('Selected conclusions:');
+    lines.push('Selected entailments:');
     for (const fact of bullets) lines.push('- ' + codeFact(fact));
   }
   lines.push('');
@@ -1114,15 +1114,15 @@ function dedupeExplanationHeadings(text) {
 function normalizePublicReport(markdown, title) {
   let text = String(markdown || '').trimEnd();
   if (!/^\s*#\s+/m.test(text)) text = '# ' + title + '\n\n' + text;
-  if (!/^##\s+Insight\s*$/mi.test(text)) {
-    text = text.replace(/^(#\s+[^\n]+\n*)/, '$1\n## Insight\n');
+  if (!/^##\s+Entailment\s*$/mi.test(text)) {
+    text = text.replace(/^(#\s+[^\n]+\n*)/, '$1\n## Entailment\n');
   }
   if (!/^##\s+Explanation\s*$/mi.test(text)) {
     text += '\n\n## Explanation\nNo additional explanation was provided by the generated output.';
   }
   text = text.replace(/^##\s+([^\n]+?)\s*$/gm, (line, heading) => {
     const normalized = heading.trim().toLowerCase();
-    if (normalized === 'insight' || normalized === 'explanation') return '## ' + (normalized === 'insight' ? 'Insight' : 'Explanation');
+    if (normalized === 'insight' || normalized === 'conclusion' || normalized === 'entailment' || normalized === 'explanation') return '## ' + (normalized === 'explanation' ? 'Explanation' : 'Entailment');
     return '**' + heading.trim() + '**';
   });
   text = dedupeExplanationHeadings(text);
@@ -1131,13 +1131,13 @@ function normalizePublicReport(markdown, title) {
 function markdownize(raw, title) {
   let text = String(raw || '');
   text = text
-    .replace(/===\s*Answer\s*===/g, '## Insight')
+    .replace(/===\s*Answer\s*===/g, '## Entailment')
     .replace(/===\s*Reason\s+Why\s*===/gi, '## Explanation')
     .replace(/===\s*Explanation\s*===/gi, '## Explanation')
     .replace(/===\s*([^=]+?)\s*===/g, (_, h) => '**' + h.trim() + '**');
   text = text.replace(/^C(\d+)\s+OK\s*-\s*/gm, 'C$1: ');
   text = dedupeExplanationHeadings(text);
-  if (!text.trim()) text = '## Insight\nNo log:outputString facts were derived.\n\n## Explanation\nThe compiled derivation did not produce authored report text.';
+  if (!text.trim()) text = '## Entailment\nNo log:outputString facts were derived.\n\n## Explanation\nThe compiled derivation did not produce authored report text.';
   return normalizePublicReport(text, title);
 }
 function authoredSupportAppendix(graph, queries, rules, initialFacts, trace) {
@@ -1742,7 +1742,7 @@ const QUERIES = [
     ]
   }
 ];
-const DOC_MARKDOWN = "# School Placement Route Audit\n\nGenerated by `see.js` from a Notation3 source file.\n\nN3-compiled version of the school placement audit. The original student,\nschool, distance, and policy JSON is preserved as the data-input sidecar.\n\n## Compilation summary\n\n- Example name: `school_placement_audit`\n- Input facts emitted: 26\n- Forward rules compiled: 4\n- Backward predicate rules compiled: 0\n- Fuses compiled: 0\n- Predicate count: 19\n\n## Built-ins used\n\n- `log:notEqualTo`\n- `log:outputString`\n- `math:greaterThan`\n- `math:lessThan`\n- `string:format`\n\n## Runtime model\n\nThe 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.\n\n## Output model\n\nRunning `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.\n";
+const DOC_MARKDOWN = "# School Placement Route Audit\n\nGenerated by `see.js` from a Notation3 source file.\n\nN3-compiled version of the school placement audit. The original student,\nschool, distance, and policy JSON is preserved as the data-input sidecar.\n\n## Compilation summary\n\n- Example name: `school_placement_audit`\n- Input facts emitted: 26\n- Forward rules compiled: 4\n- Backward predicate rules compiled: 0\n- Fuses compiled: 0\n- Predicate count: 19\n\n## Built-ins used\n\n- `log:notEqualTo`\n- `log:outputString`\n- `math:greaterThan`\n- `math:lessThan`\n- `string:format`\n\n## Runtime model\n\nThe 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.\n\n## Output model\n\nRunning `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.\n";
 function seeMetadata(data) { return (data && data.__see) || {}; }
 function trustedDerivation(data) { const meta = seeMetadata(data); const facts = data && Array.isArray(data.facts) ? data.facts : []; const expectedFacts = EXPECTED_INPUT_FACTS || Number(meta.InputFacts || 0); if (meta.SourceSHA256 && meta.SourceSHA256 !== "8bea39b2ea4c3045fed64b6e7adef0ca8cdf8d14c3735e28e831a759dae600fd") throw new Error('input evidence does not match the N3 source compiled into this example'); const result = saturate(facts, RULES); const rawOutput = renderRawOutput(result.graph, QUERIES, RULES, facts); fail('Compiled N3 derivation failed', { 'input evidence metadata is present and matches compiled source': meta.SourceSHA256 === "8bea39b2ea4c3045fed64b6e7adef0ca8cdf8d14c3735e28e831a759dae600fd", 'input evidence facts were loaded': expectedFacts > 0 ? facts.length === expectedFacts : facts.length >= 0, 'compiled rules were loaded': RULES.length === 4, 'compiled query directives were loaded': QUERIES.length === 1, 'a derivation fixpoint was reached': result.graph.facts.length >= facts.length, 'query or output facts were produced': rawOutput.length > 0 }); return { ...result, rawOutput, inputFacts: facts }; }
 function snapshotMarkdown(markdown) { return markdown.split(/\n/).map((line) => line ? line + '  \n' : '\n').join(''); }

package/see/examples/smoke_arithmetic.js

@@ -1040,19 +1040,19 @@ function renderStructuredOutput({ title, graph, queries = [], rules = [], initia
   const lines = [];
   lines.push('# ' + title);
   lines.push('');
-  lines.push('## Insight');
+  lines.push('## Entailment');
   if (mode === 'query') {
     lines.push('The compiled query selected ' + selected.length + ' fact(s) after the rule closure was computed.');
   } else if (mode === 'formula') {
-    lines.push('The derivation produced ' + selected.length + ' formula-valued conclusion(s).');
+    lines.push('The derivation produced ' + selected.length + ' formula-valued entailment(s).');
   } else {
     lines.push('The derivation produced ' + derived.length + ' new fact(s) from ' + initialFacts.length + ' stated fact(s).');
   }
-  if (keyFact) lines.push('Main conclusion: **' + factSentence(keyFact) + '**');
+  if (keyFact) lines.push('Main entailment: **' + factSentence(keyFact) + '**');
   const bullets = selected.slice(-6).reverse();
   if (bullets.length) {
     lines.push('');
-    lines.push('Selected conclusions:');
+    lines.push('Selected entailments:');
     for (const fact of bullets) lines.push('- ' + codeFact(fact));
   }
   lines.push('');
@@ -1114,15 +1114,15 @@ function dedupeExplanationHeadings(text) {
 function normalizePublicReport(markdown, title) {
   let text = String(markdown || '').trimEnd();
   if (!/^\s*#\s+/m.test(text)) text = '# ' + title + '\n\n' + text;
-  if (!/^##\s+Insight\s*$/mi.test(text)) {
-    text = text.replace(/^(#\s+[^\n]+\n*)/, '$1\n## Insight\n');
+  if (!/^##\s+Entailment\s*$/mi.test(text)) {
+    text = text.replace(/^(#\s+[^\n]+\n*)/, '$1\n## Entailment\n');
   }
   if (!/^##\s+Explanation\s*$/mi.test(text)) {
     text += '\n\n## Explanation\nNo additional explanation was provided by the generated output.';
   }
   text = text.replace(/^##\s+([^\n]+?)\s*$/gm, (line, heading) => {
     const normalized = heading.trim().toLowerCase();
-    if (normalized === 'insight' || normalized === 'explanation') return '## ' + (normalized === 'insight' ? 'Insight' : 'Explanation');
+    if (normalized === 'insight' || normalized === 'conclusion' || normalized === 'entailment' || normalized === 'explanation') return '## ' + (normalized === 'explanation' ? 'Explanation' : 'Entailment');
     return '**' + heading.trim() + '**';
   });
   text = dedupeExplanationHeadings(text);
@@ -1131,13 +1131,13 @@ function normalizePublicReport(markdown, title) {
 function markdownize(raw, title) {
   let text = String(raw || '');
   text = text
-    .replace(/===\s*Answer\s*===/g, '## Insight')
+    .replace(/===\s*Answer\s*===/g, '## Entailment')
     .replace(/===\s*Reason\s+Why\s*===/gi, '## Explanation')
     .replace(/===\s*Explanation\s*===/gi, '## Explanation')
     .replace(/===\s*([^=]+?)\s*===/g, (_, h) => '**' + h.trim() + '**');
   text = text.replace(/^C(\d+)\s+OK\s*-\s*/gm, 'C$1: ');
   text = dedupeExplanationHeadings(text);
-  if (!text.trim()) text = '## Insight\nNo log:outputString facts were derived.\n\n## Explanation\nThe compiled derivation did not produce authored report text.';
+  if (!text.trim()) text = '## Entailment\nNo log:outputString facts were derived.\n\n## Explanation\nThe compiled derivation did not produce authored report text.';
   return normalizePublicReport(text, title);
 }
 function authoredSupportAppendix(graph, queries, rules, initialFacts, trace) {
@@ -1358,7 +1358,7 @@ const RULES = [
   }
 ];
 const QUERIES = [];
-const DOC_MARKDOWN = "# Smoke Arithmetic\n\nGenerated by `see.js` from a Notation3 source file.\n\nSmall Notation3 source used to prove that see.js generates a specialized JS\nexample which derives its answer from facts, math built-ins, fuses, and string\nformatting instead of reading a prewritten conclusion.\n\n## Compilation summary\n\n- Example name: `smoke_arithmetic`\n- Input facts emitted: 2\n- Forward rules compiled: 2\n- Backward predicate rules compiled: 0\n- Fuses compiled: 0\n- Predicate count: 7\n\n## Built-ins used\n\n- `log:outputString`\n- `math:greaterThan`\n- `math:product`\n- `string:format`\n\n## Runtime model\n\nThe 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.\n\n## Output model\n\nRunning `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.\n";
+const DOC_MARKDOWN = "# Smoke Arithmetic\n\nGenerated by `see.js` from a Notation3 source file.\n\nSmall Notation3 source used to prove that see.js generates a specialized JS\nexample which derives its answer from facts, math built-ins, fuses, and string\nformatting instead of reading a prewritten conclusion.\n\n## Compilation summary\n\n- Example name: `smoke_arithmetic`\n- Input facts emitted: 2\n- Forward rules compiled: 2\n- Backward predicate rules compiled: 0\n- Fuses compiled: 0\n- Predicate count: 7\n\n## Built-ins used\n\n- `log:outputString`\n- `math:greaterThan`\n- `math:product`\n- `string:format`\n\n## Runtime model\n\nThe 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.\n\n## Output model\n\nRunning `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.\n";
 function seeMetadata(data) { return (data && data.__see) || {}; }
 function trustedDerivation(data) { const meta = seeMetadata(data); const facts = data && Array.isArray(data.facts) ? data.facts : []; const expectedFacts = EXPECTED_INPUT_FACTS || Number(meta.InputFacts || 0); if (meta.SourceSHA256 && meta.SourceSHA256 !== "e254b8b9be8207c07f29cf30426466e2d916286b5f93ea4385786a5d80303499") throw new Error('input evidence does not match the N3 source compiled into this example'); const result = saturate(facts, RULES); const rawOutput = renderRawOutput(result.graph, QUERIES, RULES, facts); fail('Compiled N3 derivation failed', { 'input evidence metadata is present and matches compiled source': meta.SourceSHA256 === "e254b8b9be8207c07f29cf30426466e2d916286b5f93ea4385786a5d80303499", 'input evidence facts were loaded': expectedFacts > 0 ? facts.length === expectedFacts : facts.length >= 0, 'compiled rules were loaded': RULES.length === 2, 'compiled query directives were loaded': QUERIES.length === 0, 'a derivation fixpoint was reached': result.graph.facts.length >= facts.length, 'query or output facts were produced': rawOutput.length > 0 }); return { ...result, rawOutput, inputFacts: facts }; }
 function snapshotMarkdown(markdown) { return markdown.split(/\n/).map((line) => line ? line + '  \n' : '\n').join(''); }

package/see/examples/socrates.js

@@ -1040,19 +1040,19 @@ function renderStructuredOutput({ title, graph, queries = [], rules = [], initia
   const lines = [];
   lines.push('# ' + title);
   lines.push('');
-  lines.push('## Insight');
+  lines.push('## Entailment');
   if (mode === 'query') {
     lines.push('The compiled query selected ' + selected.length + ' fact(s) after the rule closure was computed.');
   } else if (mode === 'formula') {
-    lines.push('The derivation produced ' + selected.length + ' formula-valued conclusion(s).');
+    lines.push('The derivation produced ' + selected.length + ' formula-valued entailment(s).');
   } else {
     lines.push('The derivation produced ' + derived.length + ' new fact(s) from ' + initialFacts.length + ' stated fact(s).');
   }
-  if (keyFact) lines.push('Main conclusion: **' + factSentence(keyFact) + '**');
+  if (keyFact) lines.push('Main entailment: **' + factSentence(keyFact) + '**');
   const bullets = selected.slice(-6).reverse();
   if (bullets.length) {
     lines.push('');
-    lines.push('Selected conclusions:');
+    lines.push('Selected entailments:');
     for (const fact of bullets) lines.push('- ' + codeFact(fact));
   }
   lines.push('');
@@ -1114,15 +1114,15 @@ function dedupeExplanationHeadings(text) {
 function normalizePublicReport(markdown, title) {
   let text = String(markdown || '').trimEnd();
   if (!/^\s*#\s+/m.test(text)) text = '# ' + title + '\n\n' + text;
-  if (!/^##\s+Insight\s*$/mi.test(text)) {
-    text = text.replace(/^(#\s+[^\n]+\n*)/, '$1\n## Insight\n');
+  if (!/^##\s+Entailment\s*$/mi.test(text)) {
+    text = text.replace(/^(#\s+[^\n]+\n*)/, '$1\n## Entailment\n');
   }
   if (!/^##\s+Explanation\s*$/mi.test(text)) {
     text += '\n\n## Explanation\nNo additional explanation was provided by the generated output.';
   }
   text = text.replace(/^##\s+([^\n]+?)\s*$/gm, (line, heading) => {
     const normalized = heading.trim().toLowerCase();
-    if (normalized === 'insight' || normalized === 'explanation') return '## ' + (normalized === 'insight' ? 'Insight' : 'Explanation');
+    if (normalized === 'insight' || normalized === 'conclusion' || normalized === 'entailment' || normalized === 'explanation') return '## ' + (normalized === 'explanation' ? 'Explanation' : 'Entailment');
     return '**' + heading.trim() + '**';
   });
   text = dedupeExplanationHeadings(text);
@@ -1131,13 +1131,13 @@ function normalizePublicReport(markdown, title) {
 function markdownize(raw, title) {
   let text = String(raw || '');
   text = text
-    .replace(/===\s*Answer\s*===/g, '## Insight')
+    .replace(/===\s*Answer\s*===/g, '## Entailment')
     .replace(/===\s*Reason\s+Why\s*===/gi, '## Explanation')
     .replace(/===\s*Explanation\s*===/gi, '## Explanation')
     .replace(/===\s*([^=]+?)\s*===/g, (_, h) => '**' + h.trim() + '**');
   text = text.replace(/^C(\d+)\s+OK\s*-\s*/gm, 'C$1: ');
   text = dedupeExplanationHeadings(text);
-  if (!text.trim()) text = '## Insight\nNo log:outputString facts were derived.\n\n## Explanation\nThe compiled derivation did not produce authored report text.';
+  if (!text.trim()) text = '## Entailment\nNo log:outputString facts were derived.\n\n## Explanation\nThe compiled derivation did not produce authored report text.';
   return normalizePublicReport(text, title);
 }
 function authoredSupportAppendix(graph, queries, rules, initialFacts, trace) {
@@ -1295,7 +1295,7 @@ const QUERIES = [
     ]
   }
 ];
-const DOC_MARKDOWN = "# Socrates inference\n\nGenerated by `see.js` from a Notation3 source file.\n\n## Compilation summary\n\n- Example name: `socrates`\n- Input facts emitted: 2\n- Forward rules compiled: 1\n- Backward predicate rules compiled: 0\n- Fuses compiled: 0\n- Predicate count: 2\n\n## Built-ins used\n\n- none\n\n## Runtime model\n\nThe 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.\n\n## Output model\n\nRunning `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.\n";
+const DOC_MARKDOWN = "# Socrates inference\n\nGenerated by `see.js` from a Notation3 source file.\n\n## Compilation summary\n\n- Example name: `socrates`\n- Input facts emitted: 2\n- Forward rules compiled: 1\n- Backward predicate rules compiled: 0\n- Fuses compiled: 0\n- Predicate count: 2\n\n## Built-ins used\n\n- none\n\n## Runtime model\n\nThe 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.\n\n## Output model\n\nRunning `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.\n";
 function seeMetadata(data) { return (data && data.__see) || {}; }
 function trustedDerivation(data) { const meta = seeMetadata(data); const facts = data && Array.isArray(data.facts) ? data.facts : []; const expectedFacts = EXPECTED_INPUT_FACTS || Number(meta.InputFacts || 0); if (meta.SourceSHA256 && meta.SourceSHA256 !== "a0c8a488401f3247c2371978378e7f4c532c8b6c22d5f5642665e93fd8c576a4") throw new Error('input evidence does not match the N3 source compiled into this example'); const result = saturate(facts, RULES); const rawOutput = renderRawOutput(result.graph, QUERIES, RULES, facts); fail('Compiled N3 derivation failed', { 'input evidence metadata is present and matches compiled source': meta.SourceSHA256 === "a0c8a488401f3247c2371978378e7f4c532c8b6c22d5f5642665e93fd8c576a4", 'input evidence facts were loaded': expectedFacts > 0 ? facts.length === expectedFacts : facts.length >= 0, 'compiled rules were loaded': RULES.length === 1, 'compiled query directives were loaded': QUERIES.length === 1, 'a derivation fixpoint was reached': result.graph.facts.length >= facts.length, 'query or output facts were produced': rawOutput.length > 0 }); return { ...result, rawOutput, inputFacts: facts }; }
 function snapshotMarkdown(markdown) { return markdown.split(/\n/).map((line) => line ? line + '  \n' : '\n').join(''); }