eyeling 1.24.0 → 1.24.2

package/see/examples/digital_product_passport.js

@@ -8,6 +8,7 @@ const crypto = require('crypto');
 
 function canonical(term) {
   if (term.kind === 'list') return ['list', term.items.map(canonical)];
+  if (term.kind === 'triple') return ['triple', canonical(term.s), canonical(term.p), canonical(term.o)];
   if (term.kind === 'formula') return ['formula', term.atoms.map((a) => [canonical(a.s), canonical(a.p), canonical(a.o)])];
   return [term.kind, term.value];
 }
@@ -17,6 +18,7 @@ function compoundIndexKey() { return Array.from(arguments).map(termIndexKey).joi
 function termIsConcrete(t) {
   if (!t || t.kind === 'var') return false;
   if (t.kind === 'list') return t.items.every(termIsConcrete);
+  if (t.kind === 'triple') return termIsConcrete(t.s) && termIsConcrete(t.p) && termIsConcrete(t.o);
   if (t.kind === 'formula') return t.atoms.every((a) => termIsConcrete(a.s) && termIsConcrete(a.p) && termIsConcrete(a.o));
   return true;
 }
@@ -32,6 +34,7 @@ function primitive(t) {
   if (t.kind === 'iri') return t.value.replace(/^:/, '');
   if (t.kind === 'blank') return t.value;
   if (t.kind === 'list') return t.items.map(primitive);
+  if (t.kind === 'triple') return termToN3(t);
   if (t.kind === 'formula') return termToN3(t);
   return undefined;
 }
@@ -52,6 +55,7 @@ function termToN3(t) {
   if (t.kind === 'var') return '?' + t.value;
   if (t.kind === 'blank') return t.value.startsWith('_:') ? t.value : '_:' + t.value.replace(/^_+/, '');
   if (t.kind === 'list') return '(' + t.items.map(termToN3).join(' ') + ')';
+  if (t.kind === 'triple') return '<<( ' + termToN3(t.s) + ' ' + termToN3(t.p) + ' ' + termToN3(t.o) + ' )>>';
   if (t.kind === 'formula') return '{ ' + t.atoms.map(atomToN3).join(' . ') + ' }';
   return String(t.value ?? t);
 }
@@ -74,6 +78,7 @@ function resolve(term, env, seen = new Set()) {
     return resolve(env[term.value], env, seen);
   }
   if (term.kind === 'list') return list(term.items.map((item) => resolve(item, env, seen)));
+  if (term.kind === 'triple') return { kind: 'triple', s: resolve(term.s, env), p: resolve(term.p, env), o: resolve(term.o, env) };
   if (term.kind === 'formula') return { kind: 'formula', atoms: term.atoms.map((a) => ({ s: resolve(a.s, env), p: resolve(a.p, env), o: resolve(a.o, env) })) };
   return term;
 }
@@ -91,6 +96,14 @@ function unify(a, b, env) {
     }
     return out;
   }
+  if (a.kind === 'triple' || b.kind === 'triple') {
+    if (a.kind !== 'triple' || b.kind !== 'triple') return null;
+    let out = unify(a.s, b.s, env);
+    if (!out) return null;
+    out = unify(a.p, b.p, out);
+    if (!out) return null;
+    return unify(a.o, b.o, out);
+  }
   return deepEqual(a, b) ? env : null;
 }
 function bind(pattern, value, env) { return unify(pattern, value, env); }
@@ -106,6 +119,7 @@ function termIsGround(t, env) {
   const r = resolve(t, env);
   if (r.kind === 'var') return false;
   if (r.kind === 'list') return r.items.every((item) => termIsGround(item, env));
+  if (r.kind === 'triple') return termIsGround(r.s, env) && termIsGround(r.p, env) && termIsGround(r.o, env);
   if (r.kind === 'formula') return r.atoms.every((atom) => atomIsGround(atom, env));
   return true;
 }
@@ -665,6 +679,7 @@ function instantiate(term, env, ruleId) {
   }
   if (term.kind === 'blank') return blank('_:r' + ruleId + '_' + envSignature(env) + '_' + term.value.replace(/^_/, ''));
   if (term.kind === 'list') return list(term.items.map((item) => instantiate(item, env, ruleId)));
+  if (term.kind === 'triple') return { kind: 'triple', s: instantiate(term.s, env, ruleId), p: instantiate(term.p, env, ruleId), o: instantiate(term.o, env, ruleId) };
   if (term.kind === 'formula') return { kind: 'formula', atoms: term.atoms.map((a) => ({ s: instantiate(a.s, env, ruleId), p: instantiate(a.p, env, ruleId), o: instantiate(a.o, env, ruleId) })) };
   return cloneTerm(term);
 }
@@ -1040,19 +1055,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 +1129,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 +1146,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) {
@@ -2731,7 +2746,7 @@ const QUERIES = [
     ]
   }
 ];
-const DOC_MARKDOWN = "# Digital Product Passport\n\nGenerated by `see.js` from a Notation3 source file.\n\nN3-compiled version of the smartphone Digital Product Passport example. The\nrules fold component mass, recycled content, critical raw materials, public\ndocuments, lifecycle footprint, and access-policy validations into a public PASS.\n\n## Compilation summary\n\n- Example name: `digital_product_passport`\n- Input facts emitted: 90\n- Forward rules compiled: 12\n- Backward predicate rules compiled: 0\n- Fuses compiled: 2\n- Predicate count: 53\n\n## Built-ins used\n\n- `log:notEqualTo`\n- `log:outputString`\n- `math:greaterThan`\n- `math:integerQuotient`\n- `math:notGreaterThan`\n- `math:product`\n- `math:sum`\n- `string:format`\n- `string:notGreaterThan`\n\n## Runtime model\n\nThe 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.\n\n## Output model\n\nRunning `node examples/digital_product_passport.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 = "# Digital Product Passport\n\nGenerated by `see.js` from a Notation3 source file.\n\nN3-compiled version of the smartphone Digital Product Passport example. The\nrules fold component mass, recycled content, critical raw materials, public\ndocuments, lifecycle footprint, and access-policy validations into a public PASS.\n\n## Compilation summary\n\n- Example name: `digital_product_passport`\n- Input facts emitted: 90\n- Forward rules compiled: 12\n- Backward predicate rules compiled: 0\n- Fuses compiled: 2\n- Predicate count: 53\n\n## Built-ins used\n\n- `log:notEqualTo`\n- `log:outputString`\n- `math:greaterThan`\n- `math:integerQuotient`\n- `math:notGreaterThan`\n- `math:product`\n- `math:sum`\n- `string:format`\n- `string:notGreaterThan`\n\n## Runtime model\n\nThe 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.\n\n## Output model\n\nRunning `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.\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 !== "502e99d8e51a930eba50cb2411263cb6db5d98d63fe3dd48254612d993a9ab95") 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 === "502e99d8e51a930eba50cb2411263cb6db5d98d63fe3dd48254612d993a9ab95", 'input evidence facts were loaded': expectedFacts > 0 ? facts.length === expectedFacts : facts.length >= 0, 'compiled rules were loaded': RULES.length === 14, '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(''); }
@@ -2765,6 +2780,16 @@ function formalOutputFacts(graph, queries, rules, initialFacts) {
   }
   return out;
 }
+function termHasTripleTerm(term) {
+  if (!term) return false;
+  if (term.kind === 'triple') return true;
+  if (term.kind === 'list') return term.items.some(termHasTripleTerm);
+  if (term.kind === 'formula') return term.atoms.some(atomHasTripleTerm);
+  return false;
+}
+function atomHasTripleTerm(atom) { return termHasTripleTerm(atom.s) || termHasTripleTerm(atom.p) || termHasTripleTerm(atom.o); }
+function factsHaveTripleTerms(facts) { return (facts || []).some(atomHasTripleTerm); }
+function trigHasVersion12(trig) { return /^s*(?:@version|VERSION)s+["']1.2["']/mi.test(String(trig || '')); }
 function trigGraphBlock(label, atoms) {
   const lines = [label + ' {'];
   for (const atom of atoms || []) lines.push('  ' + atomToN3(atom) + ' .');
@@ -2812,7 +2837,8 @@ function formalOutputToTrig(facts, trig) {
   const prefixes = prefixLinesFromTrig(trig);
   if (state.needOutPrefix && !prefixes.some((line) => line.toLowerCase().startsWith('@prefix out:'))) prefixes.push('@prefix out: <https://example.org/see/output#> .');
   const nl = String.fromCharCode(10);
-  return prefixes.join(nl) + nl + nl + body.join(nl);
+  const version = factsHaveTripleTerms(facts) ? 'VERSION "1.2"' + nl + nl : '';
+  return version + prefixes.join(nl) + nl + nl + body.join(nl);
 }
 function appendFormalTrigOutput(markdown, graph, queries, rules, initialFacts, data) {
   const trig = formalOutputToTrig(formalOutputFacts(graph, queries, rules, initialFacts), data && data.trig);

package/see/examples/dijkstra.js

@@ -8,6 +8,7 @@ const crypto = require('crypto');
 
 function canonical(term) {
   if (term.kind === 'list') return ['list', term.items.map(canonical)];
+  if (term.kind === 'triple') return ['triple', canonical(term.s), canonical(term.p), canonical(term.o)];
   if (term.kind === 'formula') return ['formula', term.atoms.map((a) => [canonical(a.s), canonical(a.p), canonical(a.o)])];
   return [term.kind, term.value];
 }
@@ -17,6 +18,7 @@ function compoundIndexKey() { return Array.from(arguments).map(termIndexKey).joi
 function termIsConcrete(t) {
   if (!t || t.kind === 'var') return false;
   if (t.kind === 'list') return t.items.every(termIsConcrete);
+  if (t.kind === 'triple') return termIsConcrete(t.s) && termIsConcrete(t.p) && termIsConcrete(t.o);
   if (t.kind === 'formula') return t.atoms.every((a) => termIsConcrete(a.s) && termIsConcrete(a.p) && termIsConcrete(a.o));
   return true;
 }
@@ -32,6 +34,7 @@ function primitive(t) {
   if (t.kind === 'iri') return t.value.replace(/^:/, '');
   if (t.kind === 'blank') return t.value;
   if (t.kind === 'list') return t.items.map(primitive);
+  if (t.kind === 'triple') return termToN3(t);
   if (t.kind === 'formula') return termToN3(t);
   return undefined;
 }
@@ -52,6 +55,7 @@ function termToN3(t) {
   if (t.kind === 'var') return '?' + t.value;
   if (t.kind === 'blank') return t.value.startsWith('_:') ? t.value : '_:' + t.value.replace(/^_+/, '');
   if (t.kind === 'list') return '(' + t.items.map(termToN3).join(' ') + ')';
+  if (t.kind === 'triple') return '<<( ' + termToN3(t.s) + ' ' + termToN3(t.p) + ' ' + termToN3(t.o) + ' )>>';
   if (t.kind === 'formula') return '{ ' + t.atoms.map(atomToN3).join(' . ') + ' }';
   return String(t.value ?? t);
 }
@@ -74,6 +78,7 @@ function resolve(term, env, seen = new Set()) {
     return resolve(env[term.value], env, seen);
   }
   if (term.kind === 'list') return list(term.items.map((item) => resolve(item, env, seen)));
+  if (term.kind === 'triple') return { kind: 'triple', s: resolve(term.s, env), p: resolve(term.p, env), o: resolve(term.o, env) };
   if (term.kind === 'formula') return { kind: 'formula', atoms: term.atoms.map((a) => ({ s: resolve(a.s, env), p: resolve(a.p, env), o: resolve(a.o, env) })) };
   return term;
 }
@@ -91,6 +96,14 @@ function unify(a, b, env) {
     }
     return out;
   }
+  if (a.kind === 'triple' || b.kind === 'triple') {
+    if (a.kind !== 'triple' || b.kind !== 'triple') return null;
+    let out = unify(a.s, b.s, env);
+    if (!out) return null;
+    out = unify(a.p, b.p, out);
+    if (!out) return null;
+    return unify(a.o, b.o, out);
+  }
   return deepEqual(a, b) ? env : null;
 }
 function bind(pattern, value, env) { return unify(pattern, value, env); }
@@ -106,6 +119,7 @@ function termIsGround(t, env) {
   const r = resolve(t, env);
   if (r.kind === 'var') return false;
   if (r.kind === 'list') return r.items.every((item) => termIsGround(item, env));
+  if (r.kind === 'triple') return termIsGround(r.s, env) && termIsGround(r.p, env) && termIsGround(r.o, env);
   if (r.kind === 'formula') return r.atoms.every((atom) => atomIsGround(atom, env));
   return true;
 }
@@ -665,6 +679,7 @@ function instantiate(term, env, ruleId) {
   }
   if (term.kind === 'blank') return blank('_:r' + ruleId + '_' + envSignature(env) + '_' + term.value.replace(/^_/, ''));
   if (term.kind === 'list') return list(term.items.map((item) => instantiate(item, env, ruleId)));
+  if (term.kind === 'triple') return { kind: 'triple', s: instantiate(term.s, env, ruleId), p: instantiate(term.p, env, ruleId), o: instantiate(term.o, env, ruleId) };
   if (term.kind === 'formula') return { kind: 'formula', atoms: term.atoms.map((a) => ({ s: instantiate(a.s, env, ruleId), p: instantiate(a.p, env, ruleId), o: instantiate(a.o, env, ruleId) })) };
   return cloneTerm(term);
 }
@@ -1040,19 +1055,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 +1129,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 +1146,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) {
@@ -1945,7 +1960,7 @@ const RULES = [
   }
 ];
 const QUERIES = [];
-const DOC_MARKDOWN = "# Dijkstra's algorithm to find the shortest path\n\nGenerated by `see.js` from a Notation3 source file.\n\n## Compilation summary\n\n- Example name: `dijkstra`\n- Input facts emitted: 9\n- Forward rules compiled: 2\n- Backward predicate rules compiled: 3\n- Fuses compiled: 0\n- Predicate count: 9\n\n## Built-ins used\n\n- `list:append`\n- `list:firstRest`\n- `list:reverse`\n- `list:sort`\n- `log:collectAllIn`\n\n## Runtime model\n\nThe 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.\n\n## Output model\n\nRunning `node examples/dijkstra.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 = "# Dijkstra's algorithm to find the shortest path\n\nGenerated by `see.js` from a Notation3 source file.\n\n## Compilation summary\n\n- Example name: `dijkstra`\n- Input facts emitted: 9\n- Forward rules compiled: 2\n- Backward predicate rules compiled: 3\n- Fuses compiled: 0\n- Predicate count: 9\n\n## Built-ins used\n\n- `list:append`\n- `list:firstRest`\n- `list:reverse`\n- `list:sort`\n- `log:collectAllIn`\n\n## Runtime model\n\nThe 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.\n\n## Output model\n\nRunning `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.\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 !== "e877c1cfea99078228bd424f6e55761e56cc54bc1e64b21540231620cc3620ab") 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 === "e877c1cfea99078228bd424f6e55761e56cc54bc1e64b21540231620cc3620ab", 'input evidence facts were loaded': expectedFacts > 0 ? facts.length === expectedFacts : facts.length >= 0, 'compiled rules were loaded': RULES.length === 5, '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(''); }
@@ -1979,6 +1994,16 @@ function formalOutputFacts(graph, queries, rules, initialFacts) {
   }
   return out;
 }
+function termHasTripleTerm(term) {
+  if (!term) return false;
+  if (term.kind === 'triple') return true;
+  if (term.kind === 'list') return term.items.some(termHasTripleTerm);
+  if (term.kind === 'formula') return term.atoms.some(atomHasTripleTerm);
+  return false;
+}
+function atomHasTripleTerm(atom) { return termHasTripleTerm(atom.s) || termHasTripleTerm(atom.p) || termHasTripleTerm(atom.o); }
+function factsHaveTripleTerms(facts) { return (facts || []).some(atomHasTripleTerm); }
+function trigHasVersion12(trig) { return /^s*(?:@version|VERSION)s+["']1.2["']/mi.test(String(trig || '')); }
 function trigGraphBlock(label, atoms) {
   const lines = [label + ' {'];
   for (const atom of atoms || []) lines.push('  ' + atomToN3(atom) + ' .');
@@ -2026,7 +2051,8 @@ function formalOutputToTrig(facts, trig) {
   const prefixes = prefixLinesFromTrig(trig);
   if (state.needOutPrefix && !prefixes.some((line) => line.toLowerCase().startsWith('@prefix out:'))) prefixes.push('@prefix out: <https://example.org/see/output#> .');
   const nl = String.fromCharCode(10);
-  return prefixes.join(nl) + nl + nl + body.join(nl);
+  const version = factsHaveTripleTerms(facts) ? 'VERSION "1.2"' + nl + nl : '';
+  return version + prefixes.join(nl) + nl + nl + body.join(nl);
 }
 function appendFormalTrigOutput(markdown, graph, queries, rules, initialFacts, data) {
   const trig = formalOutputToTrig(formalOutputFacts(graph, queries, rules, initialFacts), data && data.trig);

package/see/examples/dijkstra_risk_path.js

@@ -8,6 +8,7 @@ const crypto = require('crypto');
 
 function canonical(term) {
   if (term.kind === 'list') return ['list', term.items.map(canonical)];
+  if (term.kind === 'triple') return ['triple', canonical(term.s), canonical(term.p), canonical(term.o)];
   if (term.kind === 'formula') return ['formula', term.atoms.map((a) => [canonical(a.s), canonical(a.p), canonical(a.o)])];
   return [term.kind, term.value];
 }
@@ -17,6 +18,7 @@ function compoundIndexKey() { return Array.from(arguments).map(termIndexKey).joi
 function termIsConcrete(t) {
   if (!t || t.kind === 'var') return false;
   if (t.kind === 'list') return t.items.every(termIsConcrete);
+  if (t.kind === 'triple') return termIsConcrete(t.s) && termIsConcrete(t.p) && termIsConcrete(t.o);
   if (t.kind === 'formula') return t.atoms.every((a) => termIsConcrete(a.s) && termIsConcrete(a.p) && termIsConcrete(a.o));
   return true;
 }
@@ -32,6 +34,7 @@ function primitive(t) {
   if (t.kind === 'iri') return t.value.replace(/^:/, '');
   if (t.kind === 'blank') return t.value;
   if (t.kind === 'list') return t.items.map(primitive);
+  if (t.kind === 'triple') return termToN3(t);
   if (t.kind === 'formula') return termToN3(t);
   return undefined;
 }
@@ -52,6 +55,7 @@ function termToN3(t) {
   if (t.kind === 'var') return '?' + t.value;
   if (t.kind === 'blank') return t.value.startsWith('_:') ? t.value : '_:' + t.value.replace(/^_+/, '');
   if (t.kind === 'list') return '(' + t.items.map(termToN3).join(' ') + ')';
+  if (t.kind === 'triple') return '<<( ' + termToN3(t.s) + ' ' + termToN3(t.p) + ' ' + termToN3(t.o) + ' )>>';
   if (t.kind === 'formula') return '{ ' + t.atoms.map(atomToN3).join(' . ') + ' }';
   return String(t.value ?? t);
 }
@@ -74,6 +78,7 @@ function resolve(term, env, seen = new Set()) {
     return resolve(env[term.value], env, seen);
   }
   if (term.kind === 'list') return list(term.items.map((item) => resolve(item, env, seen)));
+  if (term.kind === 'triple') return { kind: 'triple', s: resolve(term.s, env), p: resolve(term.p, env), o: resolve(term.o, env) };
   if (term.kind === 'formula') return { kind: 'formula', atoms: term.atoms.map((a) => ({ s: resolve(a.s, env), p: resolve(a.p, env), o: resolve(a.o, env) })) };
   return term;
 }
@@ -91,6 +96,14 @@ function unify(a, b, env) {
     }
     return out;
   }
+  if (a.kind === 'triple' || b.kind === 'triple') {
+    if (a.kind !== 'triple' || b.kind !== 'triple') return null;
+    let out = unify(a.s, b.s, env);
+    if (!out) return null;
+    out = unify(a.p, b.p, out);
+    if (!out) return null;
+    return unify(a.o, b.o, out);
+  }
   return deepEqual(a, b) ? env : null;
 }
 function bind(pattern, value, env) { return unify(pattern, value, env); }
@@ -106,6 +119,7 @@ function termIsGround(t, env) {
   const r = resolve(t, env);
   if (r.kind === 'var') return false;
   if (r.kind === 'list') return r.items.every((item) => termIsGround(item, env));
+  if (r.kind === 'triple') return termIsGround(r.s, env) && termIsGround(r.p, env) && termIsGround(r.o, env);
   if (r.kind === 'formula') return r.atoms.every((atom) => atomIsGround(atom, env));
   return true;
 }
@@ -665,6 +679,7 @@ function instantiate(term, env, ruleId) {
   }
   if (term.kind === 'blank') return blank('_:r' + ruleId + '_' + envSignature(env) + '_' + term.value.replace(/^_/, ''));
   if (term.kind === 'list') return list(term.items.map((item) => instantiate(item, env, ruleId)));
+  if (term.kind === 'triple') return { kind: 'triple', s: instantiate(term.s, env, ruleId), p: instantiate(term.p, env, ruleId), o: instantiate(term.o, env, ruleId) };
   if (term.kind === 'formula') return { kind: 'formula', atoms: term.atoms.map((a) => ({ s: instantiate(a.s, env, ruleId), p: instantiate(a.p, env, ruleId), o: instantiate(a.o, env, ruleId) })) };
   return cloneTerm(term);
 }
@@ -1040,19 +1055,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 +1129,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 +1146,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) {
@@ -1749,7 +1764,7 @@ const QUERIES = [
     ]
   }
 ];
-const DOC_MARKDOWN = "# Dijkstra Risk Path\n\nGenerated by `see.js` from a Notation3 source file.\n\nN3-compiled version of the risk-adjusted route example. The original JSON\ninput is preserved as the data-input sidecar; this source compiles the\nexecutable derivation and report.\n\n## Compilation summary\n\n- Example name: `dijkstra_risk_path`\n- Input facts emitted: 21\n- Forward rules compiled: 3\n- Backward predicate rules compiled: 0\n- Fuses compiled: 0\n- Predicate count: 17\n\n## Built-ins used\n\n- `log:outputString`\n- `math:lessThan`\n- `string:format`\n\n## Runtime model\n\nThe 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.\n\n## Output model\n\nRunning `node examples/dijkstra_risk_path.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 = "# Dijkstra Risk Path\n\nGenerated by `see.js` from a Notation3 source file.\n\nN3-compiled version of the risk-adjusted route example. The original JSON\ninput is preserved as the data-input sidecar; this source compiles the\nexecutable derivation and report.\n\n## Compilation summary\n\n- Example name: `dijkstra_risk_path`\n- Input facts emitted: 21\n- Forward rules compiled: 3\n- Backward predicate rules compiled: 0\n- Fuses compiled: 0\n- Predicate count: 17\n\n## Built-ins used\n\n- `log:outputString`\n- `math:lessThan`\n- `string:format`\n\n## Runtime model\n\nThe 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.\n\n## Output model\n\nRunning `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.\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 !== "a11f23a58252e557817c5d26cabdfee5ce8c5c08a40a54ab680eaa8960c88937") 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 === "a11f23a58252e557817c5d26cabdfee5ce8c5c08a40a54ab680eaa8960c88937", '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 === 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(''); }
@@ -1783,6 +1798,16 @@ function formalOutputFacts(graph, queries, rules, initialFacts) {
   }
   return out;
 }
+function termHasTripleTerm(term) {
+  if (!term) return false;
+  if (term.kind === 'triple') return true;
+  if (term.kind === 'list') return term.items.some(termHasTripleTerm);
+  if (term.kind === 'formula') return term.atoms.some(atomHasTripleTerm);
+  return false;
+}
+function atomHasTripleTerm(atom) { return termHasTripleTerm(atom.s) || termHasTripleTerm(atom.p) || termHasTripleTerm(atom.o); }
+function factsHaveTripleTerms(facts) { return (facts || []).some(atomHasTripleTerm); }
+function trigHasVersion12(trig) { return /^s*(?:@version|VERSION)s+["']1.2["']/mi.test(String(trig || '')); }
 function trigGraphBlock(label, atoms) {
   const lines = [label + ' {'];
   for (const atom of atoms || []) lines.push('  ' + atomToN3(atom) + ' .');
@@ -1830,7 +1855,8 @@ function formalOutputToTrig(facts, trig) {
   const prefixes = prefixLinesFromTrig(trig);
   if (state.needOutPrefix && !prefixes.some((line) => line.toLowerCase().startsWith('@prefix out:'))) prefixes.push('@prefix out: <https://example.org/see/output#> .');
   const nl = String.fromCharCode(10);
-  return prefixes.join(nl) + nl + nl + body.join(nl);
+  const version = factsHaveTripleTerms(facts) ? 'VERSION "1.2"' + nl + nl : '';
+  return version + prefixes.join(nl) + nl + nl + body.join(nl);
 }
 function appendFormalTrigOutput(markdown, graph, queries, rules, initialFacts, data) {
   const trig = formalOutputToTrig(formalOutputFacts(graph, queries, rules, initialFacts), data && data.trig);

package/see/examples/doc/age.md

@@ -24,4 +24,4 @@ The generated `examples/age.js` is a specialized JavaScript derivation program.
 
 ## Output model
 
-Running `node examples/age.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.
+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

@@ -21,4 +21,4 @@ The generated `examples/annotation.js` is a specialized JavaScript derivation pr
 
 ## Output model
 
-Running `node examples/annotation.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.
+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

@@ -23,4 +23,4 @@ The generated `examples/backward.js` is a specialized JavaScript derivation prog
 
 ## Output model
 
-Running `node examples/backward.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.
+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

@@ -23,4 +23,4 @@ The generated `examples/backward_recursion.js` is a specialized JavaScript deriv
 
 ## Output model
 
-Running `node examples/backward_recursion.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.
+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

@@ -38,4 +38,4 @@ The generated `examples/bayes_diagnosis.js` is a specialized JavaScript derivati
 
 ## Output model
 
-Running `node examples/bayes_diagnosis.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.
+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

@@ -37,4 +37,4 @@ The generated `examples/bayes_therapy.js` is a specialized JavaScript derivation
 
 ## Output model
 
-Running `node examples/bayes_therapy.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.
+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

@@ -35,4 +35,4 @@ The generated `examples/bmi.js` is a specialized JavaScript derivation program.
 
 ## Output model
 
-Running `node examples/bmi.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.
+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

@@ -50,4 +50,4 @@ The generated `examples/builtin_coverage.js` is a specialized JavaScript derivat
 
 ## Output model
 
-Running `node examples/builtin_coverage.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.
+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

@@ -21,4 +21,4 @@ The generated `examples/collection.js` is a specialized JavaScript derivation pr
 
 ## Output model
 
-Running `node examples/collection.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.
+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

@@ -35,4 +35,4 @@ The generated `examples/complex.js` is a specialized JavaScript derivation progr
 
 ## Output model
 
-Running `node examples/complex.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.
+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

@@ -32,4 +32,4 @@ The generated `examples/complex_matrix_stability.js` is a specialized JavaScript
 
 ## Output model
 
-Running `node examples/complex_matrix_stability.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.
+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

@@ -21,4 +21,4 @@ The generated `examples/composition_of_injective_functions_is_injective.js` is a
 
 ## Output model
 
-Running `node examples/composition_of_injective_functions_is_injective.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.
+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

@@ -29,4 +29,4 @@ The generated `examples/control_system.js` is a specialized JavaScript derivatio
 
 ## Output model
 
-Running `node examples/control_system.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.
+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

@@ -24,4 +24,4 @@ The generated `examples/crypto_builtins_tests.js` is a specialized JavaScript de
 
 ## Output model
 
-Running `node examples/crypto_builtins_tests.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.
+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

@@ -34,4 +34,4 @@ The generated `examples/delfour.js` is a specialized JavaScript derivation progr
 
 ## Output model
 
-Running `node examples/delfour.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.
+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.