eyeling 1.24.3 → 1.24.5

package/tools/n3gen.js

@@ -1,2166 +0,0 @@
-#!/usr/bin/env node
-'use strict';
-
-/*
- * n3gen.js — Convert Turtle (.ttl) or TriG (.trig) to N3.
- *
- * This tool always emits N3 to stdout. The input syntax is selected by the file
- * extension:
- *   - .ttl  (RDF 1.2 Turtle)
- *   - .trig (RDF 1.2 TriG)
- * *
- * TriG → N3 mapping (named graphs)
- *   TriG: <graphName> { ...triples... }
- *   N3:   <graphName> log:nameOf { ...triples... } .
- *
- *
- * RDF 1.2 Turtle-star / TriG-star
- *   - triple terms:    log:nameOf <<( s p o )>>
- *   - sugar form:      << s p o >> :is true .
- *   triple terms are emitted as singleton graph terms in N3:
- *     log:nameOf { s p o . } .
- *
- * ----------------------------------------------------------------------------
- * Usage
- *   n3gen file.ttl  > file.n3
- *   n3gen file.trig > file.n3
- */
-
-const fs = require('node:fs/promises');
-const path = require('node:path');
-const process = require('node:process');
-
-const crypto = require('node:crypto');
-
-function stripIriRef(s) {
-  // Allow passing an IRIREF like <...>
-  if (typeof s !== 'string') return '';
-  s = s.trim();
-  if (s.startsWith('<') && s.endsWith('>')) return s.slice(1, -1);
-  return s;
-}
-
-function normalizeSkolemRoot(root) {
-  root = stripIriRef(root);
-  if (!root) return '';
-  // Ensure it ends with '/.well-known/genid/' OR at least with '/'
-  if (!root.endsWith('/')) root += '/';
-  return root;
-}
-
-// Skolemization (Option C)
-//
-// We mint recognizable Skolem IRIs using a stable, per-input UUID:
-//
-//   @prefix skolem: <https://eyereasoner.github.io/.well-known/genid/UUID#>.
-//
-// and then replace cross-scope blank nodes with IRIs like: skolem:e38
-//
-// The UUID is deterministic from the *input file content* (SHA-256 based).
-const SKOLEM_PREFIX = 'skolem';
-const DEFAULT_SKOLEM_ROOT = 'https://eyereasoner.github.io/.well-known/genid/';
-const SKOLEM_ROOT = normalizeSkolemRoot(process.env.SKOLEM_ROOT) || DEFAULT_SKOLEM_ROOT;
-
-let SKOLEM_UUID = null; // e.g., '3f2504e0-4f89-5d3a-9a0c-0305e82c3301'
-let SKOLEM_PREFIX_IRI = null; // e.g., 'https://.../.well-known/genid/<UUID>#'
-
-function deterministicUuidFromText(inputText) {
-  const h = crypto.createHash('sha256').update(inputText, 'utf8').digest();
-  const b = Buffer.from(h.subarray(0, 16));
-
-  // Set version (5) and variant (RFC 4122) bits to make it look like a UUID.
-  b[6] = (b[6] & 0x0f) | 0x50;
-  b[8] = (b[8] & 0x3f) | 0x80;
-
-  const hex = b.toString('hex');
-  return `${hex.slice(0, 8)}-${hex.slice(8, 12)}-${hex.slice(12, 16)}-${hex.slice(16, 20)}-${hex.slice(20)}`;
-}
-
-function initSkolemForInput(inputText) {
-  SKOLEM_UUID = deterministicUuidFromText(inputText);
-  SKOLEM_PREFIX_IRI = `${SKOLEM_ROOT}${SKOLEM_UUID}#`;
-}
-
-function pnLocalSafe(s) {
-  // Turtle PN_LOCAL allows percent escapes (PLX). We make sure all "special"
-  // encodeURIComponent survivors are percent-escaped too.
-  return encodeURIComponent(s).replace(/[!'()*]/g, (c) => '%' + c.charCodeAt(0).toString(16).toUpperCase());
-}
-
-// ---------------------------------------------------------------------------
-// Mapping namespace
-// ---------------------------------------------------------------------------
-
-// Use the W3C log: vocabulary to represent:
-//   - TriG named graphs as N3 graph terms:
-//       <g> log:nameOf { ... } .
-//   - RDF 1.2 Turtle-star / TriG-star reified triples:
-//       <reifier> log:nameOf { <s> <p> <o> . } .
-const LOG_NS = 'http://www.w3.org/2000/10/swap/log#';
-const log = {
-  nameOf: `${LOG_NS}nameOf`,
-};
-
-// ---------------------------------------------------------------------------
-// Minimal Turtle/N3 model + lexer + parser
-// ---------------------------------------------------------------------------
-
-const RDF_NS = 'http://www.w3.org/1999/02/22-rdf-syntax-ns#';
-const XSD_NS = 'http://www.w3.org/2001/XMLSchema#';
-const OWL_NS = 'http://www.w3.org/2002/07/owl#';
-
-// Avoid literal triple-quote sequences in this source (helps embedding in tools).
-const DQ3 = '"'.repeat(3);
-const SQ3 = "'".repeat(3);
-
-// RDF 1.2: language tags follow BCP47 and may be followed by an initial direction suffix ("--ltr" / "--rtl").
-// We validate in the lexer so downstream code can treat it as an opaque tag string.
-const LANGTAG_WITH_DIR_REGEX = /^[A-Za-z]{1,8}(?:-[A-Za-z0-9]{1,8})*(?:--(?:ltr|rtl))?$/i;
-
-function resolveIriRef(ref, base) {
-  // RDF 1.2: resolve relative IRI references using RFC3986 basic algorithm (via WHATWG URL).
-  // If the reference is malformed, fail fast rather than silently returning a broken IRI.
-  if (!base) return ref;
-  if (/^[A-Za-z][A-Za-z0-9+.-]*:/.test(ref)) return ref; // already absolute
-  const resolved = new URL(ref, base); // throws on invalid
-  return resolved.href;
-}
-
-class Term {}
-class Iri extends Term {
-  constructor(value) {
-    super();
-    this.value = value;
-  }
-}
-class Literal extends Term {
-  constructor(value) {
-    super();
-    this.value = value; // raw lexical form, e.g. "foo", 12, or "\"x\"^^<dt>"
-  }
-}
-class Blank extends Term {
-  constructor(label) {
-    super();
-    this.label = label; // _:b1 etc
-  }
-}
-class Var extends Term {
-  constructor(name) {
-    super();
-    this.name = name; // no leading '?'
-  }
-}
-class ListTerm extends Term {
-  constructor(elems) {
-    super();
-    this.elems = elems;
-  }
-}
-class OpenListTerm extends Term {
-  constructor(prefix, tailVar) {
-    super();
-    this.prefix = prefix; // Term[]
-    this.tailVar = tailVar; // string
-  }
-}
-class GraphTerm extends Term {
-  constructor(triples) {
-    super();
-    this.triples = triples; // Triple[]
-  }
-}
-class Triple {
-  constructor(s, p, o) {
-    this.s = s;
-    this.p = p;
-    this.o = o;
-  }
-}
-
-const __iriIntern = new Map();
-const __literalIntern = new Map();
-function internIri(value) {
-  let t = __iriIntern.get(value);
-  if (!t) {
-    t = new Iri(value);
-    __iriIntern.set(value, t);
-  }
-  return t;
-}
-function internLiteral(value) {
-  let t = __literalIntern.get(value);
-  if (!t) {
-    t = new Literal(value);
-    __literalIntern.set(value, t);
-  }
-  return t;
-}
-
-class PrefixEnv {
-  constructor(map, baseIri) {
-    this.map = map || {}; // prefix -> IRI (including "" for @prefix :)
-    this.baseIri = baseIri || ''; // base IRI
-  }
-
-  static newDefault() {
-    return new PrefixEnv({}, '');
-  }
-
-  setPrefix(pfx, iri) {
-    this.map[pfx] = iri;
-  }
-
-  setBase(iri) {
-    this.baseIri = iri;
-  }
-
-  expandQName(qn) {
-    const idx = qn.indexOf(':');
-    if (idx < 0) return qn;
-    const pfx = qn.slice(0, idx);
-    const local = qn.slice(idx + 1);
-    const base = Object.prototype.hasOwnProperty.call(this.map, pfx) ? this.map[pfx] : null;
-    if (base == null) return qn;
-    return base + local;
-  }
-
-  // Best-effort QName compaction for writing (safe-ish, not fully Turtle grammar)
-  shrinkIri(iri) {
-    let bestPfx = null;
-    let bestBase = '';
-    for (const [pfx, base] of Object.entries(this.map)) {
-      if (!base) continue;
-      if (iri.startsWith(base) && base.length > bestBase.length) {
-        bestPfx = pfx;
-        bestBase = base;
-      }
-    }
-    if (bestPfx == null) return null;
-
-    const local = iri.slice(bestBase.length);
-
-    // Conservative “looks like PN_LOCAL-ish”
-    if (!local) return null;
-    if (!/^[A-Za-z0-9_.~-]+$/.test(local)) return null;
-
-    if (bestPfx === '') return `:${local}`;
-    return `${bestPfx}:${local}`;
-  }
-}
-
-// -------------------- LEXER ------------------------------
-
-class Token {
-  constructor(typ, value = null) {
-    this.typ = typ;
-    this.value = value;
-  }
-  toString() {
-    if (this.value == null) return `Token(${this.typ})`;
-    return `Token(${this.typ}, ${JSON.stringify(this.value)})`;
-  }
-}
-
-function isWs(c) {
-  return /\s/.test(c);
-}
-function isNameChar(c) {
-  return /[\p{L}\p{N}_\-:%]/u.test(c);
-}
-
-function stripQuotes(s) {
-  if (s.startsWith(DQ3) && s.endsWith(DQ3)) return s.slice(3, -3);
-  if (s.startsWith(SQ3) && s.endsWith(SQ3)) return s.slice(3, -3);
-  if ((s.startsWith('"') && s.endsWith('"')) || (s.startsWith("'") && s.endsWith("'"))) return s.slice(1, -1);
-  return s;
-}
-
-function decodeN3StringEscapes(s) {
-  let out = '';
-  for (let i = 0; i < s.length; i++) {
-    const c = s[i];
-    if (c !== '\\') {
-      out += c;
-      continue;
-    }
-    if (i + 1 >= s.length) {
-      out += '\\';
-      continue;
-    }
-    const e = s[++i];
-    switch (e) {
-      case 't':
-        out += '\t';
-        break;
-      case 'n':
-        out += '\n';
-        break;
-      case 'r':
-        out += '\r';
-        break;
-      case 'b':
-        out += '\b';
-        break;
-      case 'f':
-        out += '\f';
-        break;
-      case '"':
-        out += '"';
-        break;
-      case "'":
-        out += "'";
-        break;
-      case '\\':
-        out += '\\';
-        break;
-      case 'u': {
-        const hex = s.slice(i + 1, i + 5);
-        if (/^[0-9A-Fa-f]{4}$/.test(hex)) {
-          out += String.fromCharCode(parseInt(hex, 16));
-          i += 4;
-        } else out += '\\u';
-        break;
-      }
-      case 'U': {
-        const hex = s.slice(i + 1, i + 9);
-        if (/^[0-9A-Fa-f]{8}$/.test(hex)) {
-          const cp = parseInt(hex, 16);
-          if (cp >= 0 && cp <= 0x10ffff) out += String.fromCodePoint(cp);
-          else out += '\\U' + hex;
-          i += 8;
-        } else out += '\\U';
-        break;
-      }
-      default:
-        out += '\\' + e;
-    }
-  }
-  return out;
-}
-
-function lex(inputText) {
-  const chars = Array.from(inputText);
-  const n = chars.length;
-  let i = 0;
-  const tokens = [];
-
-  function peek(offset = 0) {
-    const j = i + offset;
-    return j >= 0 && j < n ? chars[j] : null;
-  }
-
-  while (i < n) {
-    const c = peek();
-    if (c === null) break;
-
-    // 1) whitespace
-    if (isWs(c)) {
-      i++;
-      continue;
-    }
-
-    // 2) # comments
-    if (c === '#') {
-      while (i < n && chars[i] !== '\n' && chars[i] !== '\r') i++;
-      continue;
-    }
-    // 3) operators: =>, <= ; single '=' as owl:sameAs
-    if (c === '=') {
-      if (peek(1) === '>') {
-        tokens.push(new Token('OpImplies'));
-        i += 2;
-        continue;
-      } else {
-        tokens.push(new Token('Equals'));
-        i += 1;
-        continue;
-      }
-    }
-
-    // RDF 1.2 Turtle-star / TriG-star tokens
-    if (c === '>' && peek(1) === '>') {
-      tokens.push(new Token('StarClose'));
-      i += 2;
-      continue;
-    }
-    if (c === '~') {
-      tokens.push(new Token('Tilde'));
-      i += 1;
-      continue;
-    }
-
-    // RDF 1.2 Turtle/TriG annotations: annotation blocks {| ... |}
-    if (c === '{' && peek(1) === '|') {
-      tokens.push(new Token('AnnOpen'));
-      i += 2;
-      continue;
-    }
-    if (c === '|' && peek(1) === '}') {
-      tokens.push(new Token('AnnClose'));
-      i += 2;
-      continue;
-    }
-
-    if (c === '<') {
-      if (peek(1) === '<') {
-        tokens.push(new Token('StarOpen'));
-        i += 2;
-        continue;
-      }
-      if (peek(1) === '=') {
-        tokens.push(new Token('OpImpliedBy'));
-        i += 2;
-        continue;
-      }
-      if (peek(1) === '-') {
-        tokens.push(new Token('OpPredInvert'));
-        i += 2;
-        continue;
-      }
-      i++; // consume '<'
-      const iriChars = [];
-      while (i < n && chars[i] !== '>') {
-        iriChars.push(chars[i]);
-        i++;
-      }
-      if (i >= n || chars[i] !== '>') throw new Error('Unterminated IRI <...>');
-      i++; // consume '>'
-      tokens.push(new Token('IriRef', iriChars.join('')));
-      continue;
-    }
-
-    // 4) path operators: !, ^, ^^
-    if (c === '!') {
-      tokens.push(new Token('OpPathFwd'));
-      i++;
-      continue;
-    }
-    if (c === '^') {
-      if (peek(1) === '^') {
-        tokens.push(new Token('HatHat'));
-        i += 2;
-        continue;
-      }
-      tokens.push(new Token('OpPathRev'));
-      i++;
-      continue;
-    }
-
-    // 5) punctuation
-    // RDF 1.2: allow decimal literals that start with ".<digit>" (e.g., .5)
-    if ('{}()[];,~'.includes(c) || c === '.' || c === ',') {
-      if (c === '.' && peek(1) !== null && /[0-9]/.test(peek(1))) {
-        // handled by numeric literal logic below
-      } else {
-        const mapping = {
-          '{': 'LBrace',
-          '}': 'RBrace',
-          '(': 'LParen',
-          ')': 'RParen',
-          '[': 'LBracket',
-          ']': 'RBracket',
-          ';': 'Semicolon',
-          '~': 'Tilde',
-          ',': 'Comma',
-          '.': 'Dot',
-        };
-        tokens.push(new Token(mapping[c]));
-        i++;
-        continue;
-      }
-    }
-
-    // 6) string literals: short or long (double or single)
-    if (c === '"') {
-      if (peek(1) === '"' && peek(2) === '"') {
-        i += 3;
-        const sChars = [];
-        let closed = false;
-        while (i < n) {
-          const cc = chars[i];
-          if (cc === '\\') {
-            i++;
-            if (i < n) {
-              const esc = chars[i];
-              i++;
-              sChars.push('\\', esc);
-            } else sChars.push('\\');
-            continue;
-          }
-          if (cc === '"') {
-            let run = 0;
-            while (i + run < n && chars[i + run] === '"') run++;
-            if (run >= 3) {
-              for (let k = 0; k < run - 3; k++) sChars.push('"');
-              i += run;
-              closed = true;
-              break;
-            }
-            for (let k = 0; k < run; k++) sChars.push('"');
-            i += run;
-            continue;
-          }
-          sChars.push(cc);
-          i++;
-        }
-        if (!closed) throw new Error('Unterminated long string literal');
-        const raw = DQ3 + sChars.join('') + DQ3;
-        const decoded = decodeN3StringEscapes(stripQuotes(raw));
-        const canon = JSON.stringify(decoded);
-        tokens.push(new Token('Literal', canon));
-        continue;
-      }
-
-      i++;
-      const sChars = [];
-      while (i < n) {
-        const cc = chars[i];
-        i++;
-        if (cc === '\\') {
-          if (i < n) {
-            const esc = chars[i];
-            i++;
-            sChars.push('\\', esc);
-          }
-          continue;
-        }
-        if (cc === '"') break;
-        sChars.push(cc);
-      }
-      const raw = '"' + sChars.join('') + '"';
-      const decoded = decodeN3StringEscapes(stripQuotes(raw));
-      const canon = JSON.stringify(decoded);
-      tokens.push(new Token('Literal', canon));
-      continue;
-    }
-
-    if (c === "'") {
-      if (peek(1) === "'" && peek(2) === "'") {
-        i += 3;
-        const sChars = [];
-        let closed = false;
-        while (i < n) {
-          const cc = chars[i];
-          if (cc === '\\') {
-            i++;
-            if (i < n) {
-              const esc = chars[i];
-              i++;
-              sChars.push('\\', esc);
-            } else sChars.push('\\');
-            continue;
-          }
-          if (cc === "'") {
-            let run = 0;
-            while (i + run < n && chars[i + run] === "'") run++;
-            if (run >= 3) {
-              for (let k = 0; k < run - 3; k++) sChars.push("'");
-              i += run;
-              closed = true;
-              break;
-            }
-            for (let k = 0; k < run; k++) sChars.push("'");
-            i += run;
-            continue;
-          }
-          sChars.push(cc);
-          i++;
-        }
-        if (!closed) throw new Error('Unterminated long string literal');
-        const raw = SQ3 + sChars.join('') + SQ3;
-        const decoded = decodeN3StringEscapes(stripQuotes(raw));
-        const canon = JSON.stringify(decoded);
-        tokens.push(new Token('Literal', canon));
-        continue;
-      }
-
-      i++;
-      const sChars = [];
-      while (i < n) {
-        const cc = chars[i];
-        i++;
-        if (cc === '\\') {
-          if (i < n) {
-            const esc = chars[i];
-            i++;
-            sChars.push('\\', esc);
-          }
-          continue;
-        }
-        if (cc === "'") break;
-        sChars.push(cc);
-      }
-      const raw = "'" + sChars.join('') + "'";
-      const decoded = decodeN3StringEscapes(stripQuotes(raw));
-      const canon = JSON.stringify(decoded);
-      tokens.push(new Token('Literal', canon));
-      continue;
-    }
-
-    // 7) directives or language tags with '@'
-    if (c === '@') {
-      const prevTok = tokens.length ? tokens[tokens.length - 1] : null;
-      const prevWasQuotedLiteral =
-        prevTok && prevTok.typ === 'Literal' && typeof prevTok.value === 'string' && prevTok.value.startsWith('"');
-
-      i++; // consume '@'
-
-      if (prevWasQuotedLiteral) {
-        // RDF 1.2: language tags follow BCP47 and may be followed by an initial text direction: @lang--ltr / @lang--rtl
-        const tagChars = [];
-        let cc = peek();
-        if (cc === null || !/[A-Za-z]/.test(cc)) throw new Error("Invalid language tag (expected [A-Za-z] after '@')");
-
-        // Primary language subtag (1..8 alpha)
-        while ((cc = peek()) !== null && /[A-Za-z]/.test(cc)) {
-          tagChars.push(cc);
-          i++;
-          // primary subtag length limit
-          if (tagChars.length > 8) throw new Error('Invalid language tag (primary subtag too long; max 8)');
-        }
-
-        // Additional BCP47 subtags: -[A-Za-z0-9]{1,8}
-        while ((cc = peek()) === '-' && peek(1) !== '-') {
-          tagChars.push('-');
-          i++;
-          const segChars = [];
-          let dd = peek();
-          if (dd === null || !/[A-Za-z0-9]/.test(dd))
-            throw new Error("Invalid language tag (expected [A-Za-z0-9]+ after '-')");
-          while ((dd = peek()) !== null && /[A-Za-z0-9]/.test(dd)) {
-            segChars.push(dd);
-            i++;
-            if (segChars.length > 8) throw new Error('Invalid language tag subtag too long; max 8');
-          }
-          if (!segChars.length) throw new Error("Invalid language tag (expected [A-Za-z0-9]+ after '-')");
-          tagChars.push(...segChars);
-        }
-
-        // Optional initial direction suffix: --ltr / --rtl
-        if (peek() === '-' && peek(1) === '-') {
-          i += 2;
-          const dirChars = [];
-          let dd;
-          while ((dd = peek()) !== null && /[A-Za-z]/.test(dd)) {
-            dirChars.push(dd);
-            i++;
-            if (dirChars.length > 3) break;
-          }
-          const dir = dirChars.join('').toLowerCase();
-          if (dir !== 'ltr' && dir !== 'rtl') {
-            throw new Error('Invalid language direction (expected --ltr or --rtl)');
-          }
-          tagChars.push('-', '-', dir);
-        }
-
-        const lang = tagChars.join('');
-        if (!LANGTAG_WITH_DIR_REGEX.test(lang)) {
-          throw new Error(`Invalid BCP47 language tag: ${lang}`);
-        }
-
-        tokens.push(new Token('LangTag', lang));
-        continue;
-      }
-
-      const wordChars = [];
-      let cc;
-      while ((cc = peek()) !== null && /[A-Za-z]/.test(cc)) {
-        wordChars.push(cc);
-        i++;
-      }
-      const word = wordChars.join('');
-      if (word === 'prefix') tokens.push(new Token('AtPrefix'));
-      else if (word === 'base') tokens.push(new Token('AtBase'));
-      else throw new Error(`Unknown directive @${word}`);
-      continue;
-    }
-
-    // 8) numeric literals (RDF 1.2 Turtle shorthand: integer / decimal / double)
-    //   integer: [+-]?[0-9]+
-    //   decimal: [+-]?[0-9]*\.[0-9]+   (allows .5)
-    //   double : [+-]?(?:[0-9]+\.[0-9]*|\.[0-9]+|[0-9]+)[eE][+-]?[0-9]+
-    if (
-      /[0-9]/.test(c) ||
-      (c === '.' && peek(1) !== null && /[0-9]/.test(peek(1))) ||
-      ((c === '-' || c === '+') &&
-        peek(1) !== null &&
-        (/[0-9]/.test(peek(1)) || (peek(1) === '.' && peek(2) !== null && /[0-9]/.test(peek(2)))))
-    ) {
-      const rest = chars.slice(i).join('');
-
-      let m = rest.match(/^[+-]?(?:[0-9]+\.[0-9]*|\.[0-9]+|[0-9]+)[eE][+-]?[0-9]+/);
-      if (m) {
-        tokens.push(new Token('Literal', m[0]));
-        i += m[0].length;
-        continue;
-      }
-
-      m = rest.match(/^[+-]?[0-9]*\.[0-9]+/);
-      if (m) {
-        tokens.push(new Token('Literal', m[0]));
-        i += m[0].length;
-        continue;
-      }
-
-      m = rest.match(/^[+-]?[0-9]+/);
-      if (m) {
-        tokens.push(new Token('Literal', m[0]));
-        i += m[0].length;
-        continue;
-      }
-
-      // If we got here, it looked like a number start but didn't match any legal form.
-      throw new Error(`Invalid numeric literal near: ${rest.slice(0, 32)}`);
-    }
-
-    // 9) var: ?x  (SPARQL vars)  or  $this / $value (SHACL SPARQL vars)
-    if (c === '?' || c === '$') {
-      const sigil = c;
-      i++;
-      const nameChars = [];
-      let cc;
-      while ((cc = peek()) !== null && isNameChar(cc)) {
-        nameChars.push(cc);
-        i++;
-      }
-      if (!nameChars.length) throw new Error(`Expected variable name after '${sigil}'`);
-      tokens.push(new Token('Var', nameChars.join('')));
-      continue;
-    }
-
-    // 10) identifier / qname / keywords
-    if (isNameChar(c) || c === '_') {
-      const nameChars = [c];
-      i++;
-      while (i < n) {
-        const cc = chars[i];
-        if (isNameChar(cc) || cc === '_' || cc === '.') {
-          nameChars.push(cc);
-          i++;
-          continue;
-        }
-        break;
-      }
-      const word = nameChars.join('');
-
-      // If an identifier ends with one or more '.' characters, treat them as statement terminators.
-      // This allows Turtle like ':s :p :o.' (no whitespace before '.').
-      // Keep '...' as a single identifier (used by some N3 syntaxes).
-      if (word !== '...' && word.endsWith('.') && word.length > 1) {
-        let w = word;
-        let dots = 0;
-        while (w.endsWith('.') && w.length > 0 && w !== '...') {
-          w = w.slice(0, -1);
-          dots++;
-        }
-        if (w.length > 0) {
-          // Re-run the literal/ident decision on w, then emit Dot tokens.
-          if (w === 'true' || w === 'false') tokens.push(new Token('Literal', w));
-          else tokens.push(new Token('Ident', w));
-          for (let d = 0; d < dots; d++) tokens.push(new Token('Dot'));
-          continue;
-        }
-      }
-
-      // true/false as literals
-      if (word === 'true' || word === 'false') tokens.push(new Token('Literal', word));
-      else tokens.push(new Token('Ident', word));
-      continue;
-    }
-
-    throw new Error(`Unexpected character in input: ${JSON.stringify(c)}`);
-  }
-
-  tokens.push(new Token('EOF'));
-  return tokens;
-}
-
-// -------------------- PARSER (Turtle + N3-graphs; TriG extension separately) --------------------
-
-class TurtleParser {
-  constructor(tokens) {
-    this.toks = tokens;
-    this.pos = 0;
-    this.prefixes = PrefixEnv.newDefault();
-    this.blankCounter = 0;
-    this.pendingTriples = [];
-    this.reifierCounter = 0;
-    this.reifiesEmitted = new Set();
-  }
-
-  peek() {
-    return this.toks[this.pos];
-  }
-
-  next() {
-    const tok = this.toks[this.pos];
-    this.pos += 1;
-    return tok;
-  }
-
-  expect(typ) {
-    const tok = this.next();
-    if (tok.typ !== typ) throw new Error(`Expected ${typ}, got ${tok.toString()}`);
-    return tok;
-  }
-
-  // Generate a fresh blank node used for RDF 1.2 reifiedTriple sugar (<< s p o >>)
-  freshReifier() {
-    this.reifierCounter += 1;
-    return new Blank(`_:n3r${this.reifierCounter}`);
-  }
-
-  termKey(t) {
-    if (t == null) return '[]';
-    if (t instanceof Iri) return `I:${t.value}`;
-    if (t instanceof Blank) return `B:${t.label}`;
-    if (t instanceof Literal) return `L:${t.value}`;
-    if (t instanceof Var) return `V:${t.name}`;
-    if (t instanceof ListTerm) return `T:(` + t.elems.map((x) => this.termKey(x)).join(' ') + `)`;
-    if (t instanceof GraphTerm) {
-      const inner = t.triples
-        .map((tr) => `${this.termKey(tr.s)} ${this.termKey(tr.p)} ${this.termKey(tr.o)}`)
-        .join(' | ');
-      return `G:{${inner}}`;
-    }
-    return `X:${String(t)}`;
-  }
-
-  // Emit the implicit (or explicit) reifier triple required by RDF 1.2 reifiedTriple sugar:
-  //   reifier log:nameOf tripleTerm .
-  // We represent tripleTerm in N3 as a quoted graph term: { s p o . }
-  emitReifies(reifier, tripleGraph) {
-    const key = `${this.termKey(reifier)}|${this.termKey(tripleGraph)}`;
-    if (this.reifiesEmitted.has(key)) return;
-    this.reifiesEmitted.add(key);
-    this.pendingTriples.push(new Triple(reifier, internIri(LOG_NS + 'nameOf'), tripleGraph));
-  }
-
-  // Accept '.' OR (when inside {...}) accept '}' as implicit terminator for last triple
-  expectDotOrRBrace() {
-    const tok = this.peek();
-    if (tok.typ === 'Dot') {
-      this.next();
-      return;
-    }
-    if (tok.typ === 'RBrace') return;
-    throw new Error(`Expected '.' (or '}'), got ${tok.toString()}`);
-  }
-
-  parsePrefixDirective() {
-    // @prefix pfx: <iri> .
-    const pfxTok = this.next();
-    if (pfxTok.typ !== 'Ident') throw new Error(`Expected prefix label after @prefix, got ${pfxTok.toString()}`);
-    const label = (pfxTok.value || '').replace(/:$/, '');
-    const iriTok = this.next();
-    let iri;
-    if (iriTok.typ === 'IriRef') iri = iriTok.value || '';
-    else if (iriTok.typ === 'Ident') iri = iriTok.value || '';
-    else throw new Error(`Expected IRI after @prefix, got ${iriTok.toString()}`);
-    this.expect('Dot');
-    this.prefixes.setPrefix(label, iri);
-  }
-
-  parseSparqlPrefixDirective() {
-    // PREFIX pfx: <iri>   (no trailing '.')
-    const pfxTok = this.next();
-    if (pfxTok.typ !== 'Ident') throw new Error(`Expected prefix label after PREFIX, got ${pfxTok.toString()}`);
-    const label = (pfxTok.value || '').replace(/:$/, '');
-    const iriTok = this.next();
-    let iri;
-    if (iriTok.typ === 'IriRef') iri = iriTok.value || '';
-    else if (iriTok.typ === 'Ident') iri = iriTok.value || '';
-    else throw new Error(`Expected IRI after PREFIX, got ${iriTok.toString()}`);
-    if (this.peek().typ === 'Dot') this.next(); // permissive
-    this.prefixes.setPrefix(label, iri);
-  }
-
-  parseBaseDirective() {
-    // @base <iri> .
-    const iriTok = this.next();
-    let iri;
-    if (iriTok.typ === 'IriRef') iri = iriTok.value || '';
-    else if (iriTok.typ === 'Ident') iri = iriTok.value || '';
-    else throw new Error(`Expected IRI after @base, got ${iriTok.toString()}`);
-    this.expect('Dot');
-    this.prefixes.setBase(iri);
-  }
-
-  parseSparqlBaseDirective() {
-    // BASE <iri>
-    const iriTok = this.next();
-    if (iriTok.typ !== 'IriRef') throw new Error(`Expected <IRI> after BASE, got ${iriTok.toString()}`);
-    const iri = iriTok.value || '';
-    if (this.peek().typ === 'Dot') this.next(); // permissive
-    this.prefixes.setBase(iri);
-  }
-
-  parseTurtleDocument() {
-    const triples = [];
-    while (this.peek().typ !== 'EOF') {
-      // RDF 1.2: VERSION announcement (e.g., VERSION "1.2")
-      if (
-        this.peek().typ === 'Ident' &&
-        typeof this.peek().value === 'string' &&
-        this.peek().value.toLowerCase() === 'version'
-      ) {
-        this.next(); // VERSION
-        const vTok = this.next();
-        if (vTok.typ !== 'Literal') throw new Error(`Expected a literal after VERSION, got ${vTok.toString()}`);
-        if (this.peek().typ === 'Dot') this.next(); // permissive
-        continue;
-      }
-
-      if (this.peek().typ === 'AtPrefix') {
-        this.next();
-        this.parsePrefixDirective();
-        continue;
-      }
-      if (this.peek().typ === 'AtBase') {
-        this.next();
-        this.parseBaseDirective();
-        continue;
-      }
-      // SPARQL-style directives
-      if (
-        this.peek().typ === 'Ident' &&
-        typeof this.peek().value === 'string' &&
-        this.peek().value.toLowerCase() === 'prefix' &&
-        this.toks[this.pos + 1] &&
-        this.toks[this.pos + 1].typ === 'Ident' &&
-        typeof this.toks[this.pos + 1].value === 'string' &&
-        this.toks[this.pos + 1].value.endsWith(':')
-      ) {
-        this.next(); // PREFIX
-        this.parseSparqlPrefixDirective();
-        continue;
-      }
-      if (
-        this.peek().typ === 'Ident' &&
-        typeof this.peek().value === 'string' &&
-        this.peek().value.toLowerCase() === 'base' &&
-        this.toks[this.pos + 1] &&
-        this.toks[this.pos + 1].typ === 'IriRef'
-      ) {
-        this.next(); // BASE
-        this.parseSparqlBaseDirective();
-        continue;
-      }
-
-      const subj = this.parseTerm();
-
-      let more;
-      if (this.peek().typ === 'Dot') {
-        more = [];
-        if (this.pendingTriples.length > 0) {
-          more = this.pendingTriples;
-          this.pendingTriples = [];
-        }
-        this.next();
-      } else {
-        more = this.parsePredicateObjectList(subj);
-        this.expect('Dot');
-      }
-      triples.push(...more);
-    }
-    return { triples, prefixes: this.prefixes };
-  }
-
-  parseTerm() {
-    let t = this.parsePathItem();
-    while (this.peek().typ === 'OpPathFwd' || this.peek().typ === 'OpPathRev') {
-      const dir = this.next().typ;
-      const pred = this.parsePathItem();
-
-      this.blankCounter += 1;
-      const bn = new Blank(`_:b${this.blankCounter}`);
-      this.pendingTriples.push(dir === 'OpPathFwd' ? new Triple(t, pred, bn) : new Triple(bn, pred, t));
-      t = bn;
-    }
-    return t;
-  }
-
-  parsePathItem() {
-    const tok = this.next();
-    const typ = tok.typ;
-    const val = tok.value;
-
-    if (typ === 'Equals') return internIri(OWL_NS + 'sameAs');
-
-    if (typ === 'IriRef') {
-      const base = this.prefixes.baseIri || '';
-      return internIri(resolveIriRef(val || '', base));
-    }
-
-    if (typ === 'Ident') {
-      const name = val || '';
-      if (name === 'a') return internIri(RDF_NS + 'type');
-      if (name.startsWith('_:')) return new Blank(name);
-      if (name.includes(':')) return internIri(this.prefixes.expandQName(name));
-      return internIri(name);
-    }
-
-    if (typ === 'Literal') {
-      let s = val || '';
-
-      // Optional language tag: "... "@en
-      if (this.peek().typ === 'LangTag') {
-        if (!(s.startsWith('"') && s.endsWith('"')))
-          throw new Error('Language tag is only allowed on quoted string literals');
-        const langTok = this.next();
-        s = `${s}@${langTok.value || ''}`;
-        if (this.peek().typ === 'HatHat') throw new Error('A literal cannot have both a language tag and a datatype');
-      }
-
-      // Optional datatype: ^^ <...> or ^^ qname
-      if (this.peek().typ === 'HatHat') {
-        this.next();
-        const dtTok = this.next();
-        let dtIri;
-        if (dtTok.typ === 'IriRef') dtIri = dtTok.value || '';
-        else if (dtTok.typ === 'Ident') {
-          const qn = dtTok.value || '';
-          dtIri = qn.includes(':') ? this.prefixes.expandQName(qn) : qn;
-        } else throw new Error(`Expected datatype after ^^, got ${dtTok.toString()}`);
-        s = `${s}^^<${dtIri}>`;
-      }
-
-      return internLiteral(s);
-    }
-
-    if (typ === 'Var') return new Var(val || '');
-    if (typ === 'LParen') return this.parseList();
-    if (typ === 'LBracket') return this.parseBlank();
-    if (typ === 'LBrace') throw new Error('N3 graph terms { ... } are not supported in Turtle/TriG input');
-    if (typ === 'StarOpen') return this.parseStarTerm();
-
-    throw new Error(`Unexpected term token: ${tok.toString()}`);
-  }
-
-  parseStarTerm() {
-    // RDF 1.2 Turtle-star / TriG-star:
-    // - tripleTerm: <<( s p o )>>
-    // - reifiedTriple (syntactic sugar): << s p o [~ reifier] >>
-    if (this.peek().typ === 'LParen') {
-      // tripleTerm
-      this.next(); // '('
-      const s = this.parseTerm();
-      const p = this.parseTerm();
-      const o = this.parseTerm();
-      this.expect('RParen');
-      this.expect('StarClose');
-      return new GraphTerm([new Triple(s, p, o)]);
-    }
-
-    // reifiedTriple sugar -> expand to a reifier node that log:nameOf a tripleTerm
-    const s = this.parseTerm();
-    const p = this.parseTerm();
-    const o = this.parseTerm();
-
-    let reifier;
-    if (this.peek().typ === 'Tilde') {
-      this.next();
-      reifier = this.parseTerm();
-    } else {
-      reifier = this.freshReifier();
-    }
-
-    this.expect('StarClose');
-
-    const tripleTerm = new GraphTerm([new Triple(s, p, o)]);
-    this.emitReifies(reifier, tripleTerm);
-    return reifier;
-  }
-
-  parseList() {
-    const elems = [];
-    while (this.peek().typ !== 'RParen') {
-      // Be permissive: allow commas inside lists (even though Turtle lists are whitespace-separated).
-      if (this.peek().typ === 'Comma') {
-        this.next();
-        continue;
-      }
-      elems.push(this.parseTerm());
-      if (this.peek().typ === 'EOF') throw new Error("Unterminated list '(' ... ')'");
-    }
-    this.next(); // ')'
-    return new ListTerm(elems);
-  }
-
-  parseBlank() {
-    // [] or [ ... ] property list
-    if (this.peek().typ === 'RBracket') {
-      this.next();
-      this.blankCounter += 1;
-      return new Blank(`_:b${this.blankCounter}`);
-    }
-
-    let id = null;
-    if (this.peek().typ === 'Ident' && (this.peek().value || '').startsWith('_:')) id = this.next().value;
-    else {
-      this.blankCounter += 1;
-      id = `_:b${this.blankCounter}`;
-    }
-
-    const subj = new Blank(id);
-    if (this.peek().typ !== 'RBracket') {
-      const more = this.parsePredicateObjectList(subj);
-      // Keep the triples produced by the property list so they are emitted with the surrounding statement.
-      this.pendingTriples.push(...more);
-    }
-
-    this.expect('RBracket');
-    return new Blank(id);
-  }
-
-  // Parses inside "{ ... }" AFTER the '{' has been consumed.
-  // We accept both "s p o ." and "s p o" before '}' as last triple (permissive).
-  parseGraph() {
-    const triples = [];
-    while (this.peek().typ !== 'RBrace') {
-      const subj = this.parseTerm();
-
-      let more;
-      if (this.peek().typ === 'Dot') {
-        more = [];
-        if (this.pendingTriples.length > 0) {
-          more = this.pendingTriples;
-          this.pendingTriples = [];
-        }
-        this.next();
-      } else {
-        more = this.parsePredicateObjectList(subj);
-        this.expectDotOrRBrace();
-        if (this.peek().typ === 'Dot') this.next();
-      }
-
-      triples.push(...more);
-    }
-    this.next(); // consume '}'
-    return new GraphTerm(triples);
-  }
-
-  parsePredicateObjectList(subject) {
-    const out = [];
-
-    if (this.pendingTriples.length > 0) {
-      out.push(...this.pendingTriples);
-      this.pendingTriples = [];
-    }
-
-    while (true) {
-      let verb;
-      let invert = false;
-
-      if (this.peek().typ === 'Ident' && (this.peek().value || '') === 'a') {
-        this.next();
-        verb = internIri(RDF_NS + 'type');
-      } else if (this.peek().typ === 'Ident' && (this.peek().value || '') === 'has') {
-        this.next();
-        invert = true;
-        verb = this.parseTerm();
-      } else {
-        if (this.peek().typ === 'OpPredInvert') {
-          invert = true;
-          this.next();
-        }
-        verb = this.parseTerm();
-      }
-
-      out.push(...this.parseAnnotatedObjectList(subject, verb, invert));
-
-      if (this.peek().typ === 'Semicolon') {
-        this.next();
-        if (
-          this.peek().typ === 'Dot' ||
-          this.peek().typ === 'RBrace' ||
-          this.peek().typ === 'RBracket' ||
-          this.peek().typ === 'AnnClose'
-        )
-          break;
-        continue;
-      }
-      break;
-    }
-
-    // Include any triples generated by nested blank node property lists / reifiers
-    // that were encountered while parsing this predicate-object list.
-    if (this.pendingTriples.length > 0) {
-      out.push(...this.pendingTriples);
-      this.pendingTriples = [];
-    }
-
-    return out;
-  }
-
-  parseObjectList() {
-    const objs = [this.parseTerm()];
-    while (this.peek().typ === 'Comma') {
-      this.next();
-      objs.push(this.parseTerm());
-    }
-    return objs;
-  }
-
-  // RDF 1.2 Turtle/TriG: triple annotations and reifiers
-  // After an object, Turtle 1.2 allows optional:
-  //   ~ <reifier>
-  //   {| <predicateObjectList> |}
-  // We convert these into eyeling-friendly N3 by emitting:
-  //   <reifier> log:nameOf { <s> <p> <o> . } .
-  //   <reifier> <annP> <annO> .
-
-  parseAnnotationBlock(reifier) {
-    this.expect('AnnOpen');
-    const out = [];
-    if (this.peek().typ !== 'AnnClose') {
-      out.push(...this.parsePredicateObjectList(reifier));
-    }
-    this.expect('AnnClose');
-    return out;
-  }
-
-  parseAnnotatedObjectList(subject, verb, invert) {
-    const out = [];
-    out.push(...this.parseAnnotatedObjectTriples(subject, verb, invert));
-    while (this.peek().typ === 'Comma') {
-      this.next();
-      out.push(...this.parseAnnotatedObjectTriples(subject, verb, invert));
-    }
-    return out;
-  }
-
-  parseAnnotatedObjectTriples(subject, verb, invert) {
-    const out = [];
-
-    const obj = this.parseTerm();
-    const s = invert ? obj : subject;
-    const o = invert ? subject : obj;
-
-    // asserted triple
-    // Special-case RDF 1.2 explicit triple reification:
-    //   _:r rdf:reifies <<( s p o )>> .
-    // Emit as:
-    //   _:r log:nameOf { s p o . } .
-    // This matches the mapping we already use for reifiedTriple sugar and annotations.
-    let assertedVerb = verb;
-    let assertedObj = o;
-    if (!invert && verb instanceof Iri && verb.value === RDF_NS + 'reifies' && obj instanceof GraphTerm) {
-      assertedVerb = internIri(log.nameOf);
-      assertedObj = obj;
-    }
-    out.push(new Triple(s, assertedVerb, assertedObj));
-
-    // optional reifier and/or annotation blocks
-    let reifier = null;
-
-    if (this.peek().typ === 'Tilde') {
-      this.next();
-      // Allow empty reifier: ~ {| ... |} (fresh blank node)
-      if (this.peek().typ === 'AnnOpen') reifier = this.freshReifier();
-      else reifier = this.parseTerm();
-    }
-
-    // If there is an annotation block without an explicit reifier, allocate one
-    if (!reifier && this.peek().typ === 'AnnOpen') {
-      reifier = this.freshReifier();
-    }
-
-    if (reifier) {
-      const tripleTerm = new GraphTerm([new Triple(s, assertedVerb, assertedObj)]);
-      this.emitReifies(reifier, tripleTerm);
-      if (this.pendingTriples.length) {
-        out.push(...this.pendingTriples);
-        this.pendingTriples = [];
-      }
-
-      // zero or more annotation blocks
-      while (this.peek().typ === 'AnnOpen') {
-        out.push(...this.parseAnnotationBlock(reifier));
-      }
-    }
-
-    return out;
-  }
-}
-
-// TriG: Turtle + graph blocks (graphName { ... })
-class TriGParser extends TurtleParser {
-  parseTrigDocument() {
-    const quads = []; // { s,p,o,g } where g is Term|null
-
-    while (this.peek().typ !== 'EOF') {
-      // RDF 1.2: VERSION announcement (e.g., VERSION "1.2")
-      if (
-        this.peek().typ === 'Ident' &&
-        typeof this.peek().value === 'string' &&
-        this.peek().value.toLowerCase() === 'version'
-      ) {
-        this.next(); // VERSION
-        const vTok = this.next();
-        if (vTok.typ !== 'Literal') throw new Error(`Expected a literal after VERSION, got ${vTok.toString()}`);
-        if (this.peek().typ === 'Dot') this.next(); // permissive
-        continue;
-      }
-
-      // directives
-      if (this.peek().typ === 'AtPrefix') {
-        this.next();
-        this.parsePrefixDirective();
-        continue;
-      }
-      if (this.peek().typ === 'AtBase') {
-        this.next();
-        this.parseBaseDirective();
-        continue;
-      }
-      if (
-        this.peek().typ === 'Ident' &&
-        typeof this.peek().value === 'string' &&
-        this.peek().value.toLowerCase() === 'prefix' &&
-        this.toks[this.pos + 1] &&
-        this.toks[this.pos + 1].typ === 'Ident' &&
-        typeof this.toks[this.pos + 1].value === 'string' &&
-        this.toks[this.pos + 1].value.endsWith(':')
-      ) {
-        this.next();
-        this.parseSparqlPrefixDirective();
-        continue;
-      }
-      if (
-        this.peek().typ === 'Ident' &&
-        typeof this.peek().value === 'string' &&
-        this.peek().value.toLowerCase() === 'base' &&
-        this.toks[this.pos + 1] &&
-        this.toks[this.pos + 1].typ === 'IriRef'
-      ) {
-        this.next();
-        this.parseSparqlBaseDirective();
-        continue;
-      }
-
-      // Default graph block: { ... }
-      if (this.peek().typ === 'LBrace') {
-        this.next(); // consume '{'
-        const f = this.parseGraph();
-        if (this.peek().typ === 'Dot') this.next(); // accept optional '.'
-        for (const tr of f.triples) quads.push({ s: tr.s, p: tr.p, o: tr.o, g: null });
-        continue;
-      }
-
-      // SPARQL-style named graph block: GRAPH <g> { ... }
-      if (
-        this.peek().typ === 'Ident' &&
-        typeof this.peek().value === 'string' &&
-        this.peek().value.toLowerCase() === 'graph'
-      ) {
-        this.next(); // GRAPH
-        const gname = this.parseTerm();
-        this.expect('LBrace');
-        const f = this.parseGraph();
-        if (this.peek().typ === 'Dot') this.next(); // accept optional '.'
-        for (const tr of f.triples) quads.push({ s: tr.s, p: tr.p, o: tr.o, g: gname });
-        continue;
-      }
-
-      // Either a Turtle triple in default graph, or a named graph block: graphName { ... }
-      const first = this.parseTerm();
-
-      if (this.peek().typ === 'LBrace') {
-        this.next(); // consume '{'
-        const f = this.parseGraph();
-        if (this.peek().typ === 'Dot') this.next(); // accept optional '.'
-        for (const tr of f.triples) quads.push({ s: tr.s, p: tr.p, o: tr.o, g: first });
-        continue;
-      }
-
-      // Plain Turtle triple statement in default graph
-      let more;
-      if (this.peek().typ === 'Dot') {
-        more = [];
-        if (this.pendingTriples.length > 0) {
-          more = this.pendingTriples;
-          this.pendingTriples = [];
-        }
-        this.next();
-      } else {
-        more = this.parsePredicateObjectList(first);
-        this.expect('Dot');
-      }
-      for (const tr of more) quads.push({ s: tr.s, p: tr.p, o: tr.o, g: null });
-    }
-
-    return { quads, prefixes: this.prefixes };
-  }
-}
-
-// ---------------------------------------------------------------------------
-// Serializers (Turtle-ish / TriG-ish / N3-ish)
-// ---------------------------------------------------------------------------
-
-/**
- * Render a Turtle/N3 literal token string, shrinking any datatype IRIRef (^^<...>)
- * to a prefixed name if possible, e.g. ^^<http://www.w3.org/2001/XMLSchema#date> -> ^^xsd:date
- * when an appropriate prefix is in scope.
- *
- * Note: this keeps the original lexical spelling and only rewrites the datatype IRIRef.
- */
-function literalToText(raw, prefixes) {
-  if (!raw || typeof raw !== 'string') return String(raw);
-
-  // Typed literal with datatype as IRIREF.
-  // Example: "2021-07-07"^^<http://www.w3.org/2001/XMLSchema#date>
-  // We only rewrite the datatype part.
-  const m = raw.match(/\^\^<([^>]+)>/);
-  if (!m) return raw;
-
-  const dtIri = m[1];
-  const qn = prefixes ? prefixes.shrinkIri(dtIri) : null;
-  if (!qn) return raw;
-
-  // Replace only the first occurrence.
-  return raw.replace(`^^<${dtIri}>`, `^^${qn}`);
-}
-
-function termToText(t, prefixes, skolemMap) {
-  if (t == null) return '[]';
-  if (t instanceof Iri) {
-    if (t.value === RDF_NS + 'type') return 'a';
-    const qn = prefixes ? prefixes.shrinkIri(t.value) : null;
-    return qn || `<${t.value}>`;
-  }
-  if (t instanceof Blank) {
-    if (skolemMap && skolemMap.has(t.label)) return skolemMap.get(t.label);
-    return t.label;
-  }
-  if (t instanceof Literal) return literalToText(t.value, prefixes);
-  if (t instanceof Var) return `?${t.name}`;
-  if (t instanceof ListTerm) return `(${t.elems.map((x) => termToText(x, prefixes, skolemMap)).join(' ')})`;
-  if (t instanceof OpenListTerm)
-    return `(${t.prefix.map((x) => termToText(x, prefixes, skolemMap)).join(' ')} ... ?${t.tailVar})`;
-  if (t instanceof GraphTerm) {
-    const inner = t.triples
-      .map(
-        (tr) =>
-          `${termToText(tr.s, prefixes, skolemMap)} ${termToText(tr.p, prefixes, skolemMap)} ${termToText(tr.o, prefixes, skolemMap)} .`,
-      )
-      .join(' ');
-    return `{ ${inner} }`;
-  }
-  return String(t);
-}
-
-// ---------------------------------------------------------------------------
-// Skolemize blank nodes that would otherwise "split" across quoted graph terms.
-//
-// In N3, blank nodes inside { ... } are existentially scoped to that formula,
-// so reusing the same _:id outside does NOT imply coreference.
-// For RDF 1.2 triple terms we serialize as { s p o . }, we optionally replace
-// any blank node that appears both inside a quoted graph term AND outside it
-// with a stable IRI constant (<urn:skolem:...>) to preserve identity.
-// ---------------------------------------------------------------------------
-
-function buildSkolemMapForBnodesThatCrossScopes(triples) {
-  // In RDF (incl. RDF 1.2 triple terms and TriG datasets), blank nodes can be
-  // shared across different “scopes” in the concrete syntax (e.g., between the
-  // default graph and named graphs, or between multiple named graphs, or between
-  // asserted triples and triple terms). In N3, blank nodes inside quoted graph
-  // terms (`{ ... }`) do NOT automatically corefer with blank nodes outside, or
-  // in other quoted graph terms.
-  //
-  // To preserve coreference, we Skolemize blank nodes that appear in more than
-  // one scope:
-  //   - OUT: outside any GraphTerm
-  //   - Gk:  inside the k-th encountered GraphTerm (each GraphTerm gets its own)
-  //
-  // Each such blank node label is replaced by a minted IRI in the skolem: namespace (see SKOLEM_PREFIX_IRI).
-  const scopesByLbl = new Map();
-  let graphTermId = 0;
-
-  function add(lbl, scope) {
-    if (!scopesByLbl.has(lbl)) scopesByLbl.set(lbl, new Set());
-    scopesByLbl.get(lbl).add(scope);
-  }
-
-  function visitTerm(t, scope) {
-    if (!t) return;
-    if (t instanceof Blank) {
-      add(t.label, scope);
-      return;
-    }
-    if (t instanceof ListTerm) {
-      for (const e of t.elems) visitTerm(e, scope);
-      return;
-    }
-    if (t instanceof OpenListTerm) {
-      for (const e of t.prefix) visitTerm(e, scope);
-      return;
-    }
-    if (t instanceof GraphTerm) {
-      const innerScope = `G${graphTermId++}`;
-      for (const tr of t.triples) {
-        visitTerm(tr.s, innerScope);
-        visitTerm(tr.p, innerScope);
-        visitTerm(tr.o, innerScope);
-      }
-      return;
-    }
-  }
-
-  for (const tr of triples) {
-    visitTerm(tr.s, 'OUT');
-    visitTerm(tr.p, 'OUT');
-    visitTerm(tr.o, 'OUT');
-  }
-
-  const skolemMap = new Map();
-  for (const [lbl, scopes] of scopesByLbl.entries()) {
-    if (scopes.size <= 1) continue;
-
-    const id = lbl.startsWith('_:') ? lbl.slice(2) : lbl;
-    const local = pnLocalSafe(id);
-    skolemMap.set(lbl, `${SKOLEM_PREFIX}:${local}`);
-  }
-  return skolemMap;
-}
-
-// ---------------------------------------------------------------------------
-// RDF list (rdf:first/rest) folding
-//
-// Some producers expand Turtle/N3 list syntax into explicit RDF collection
-// triples. When writing N3/Turtle, it is useful to fold those back into
-// ListTerm so the output matches common Turtle/N3 expectations.
-//
-// We fold only “plain” lists where each list node has exactly one rdf:first and
-// one rdf:rest triple, and no other outgoing triples. Intermediate nodes must
-// not be referenced from outside the list chain. This keeps the transformation
-// semantics-preserving.
-// ---------------------------------------------------------------------------
-
-function termKey(t) {
-  if (t == null) return 'N:null';
-  if (t instanceof Iri) return `I:${t.value}`;
-  if (t instanceof Blank) return `B:${t.label}`;
-  if (t instanceof Literal) return `L:${t.value}`;
-  if (t instanceof Var) return `V:${t.name}`;
-  if (t instanceof ListTerm) return `T:(` + t.elems.map(termKey).join(' ') + `)`;
-  if (t instanceof OpenListTerm) return `T:(` + t.prefix.map(termKey).join(' ') + ` ... ?${t.tailVar})`;
-  if (t instanceof GraphTerm)
-    return `G:{` + t.triples.map((tr) => `${termKey(tr.s)} ${termKey(tr.p)} ${termKey(tr.o)}`).join(' ; ') + `}`;
-  return `X:${String(t)}`;
-}
-
-function foldRdfLists(triples) {
-  const rdfFirst = RDF_NS + 'first';
-  const rdfRest = RDF_NS + 'rest';
-  const rdfNil = RDF_NS + 'nil';
-
-  const outBySubj = new Map(); // key -> { term, idxs: number[] }
-  const incoming = new Map(); // key -> total incoming as object
-  const incomingRest = new Map(); // key -> incoming via rdf:rest
-
-  function addIncoming(objKey, viaRest) {
-    incoming.set(objKey, (incoming.get(objKey) || 0) + 1);
-    if (viaRest) incomingRest.set(objKey, (incomingRest.get(objKey) || 0) + 1);
-  }
-
-  for (let i = 0; i < triples.length; i++) {
-    const tr = triples[i];
-    const sKey = termKey(tr.s);
-    if (!outBySubj.has(sKey)) outBySubj.set(sKey, { term: tr.s, idxs: [] });
-    outBySubj.get(sKey).idxs.push(i);
-
-    const oKey = termKey(tr.o);
-    const viaRest = isIri(tr.p, rdfRest);
-    addIncoming(oKey, viaRest);
-  }
-
-  function outgoingTriplesOf(key) {
-    const rec = outBySubj.get(key);
-    if (!rec) return [];
-    return rec.idxs.map((idx) => ({ idx, tr: triples[idx] }));
-  }
-
-  // Identify candidate list heads: blank nodes with exactly one rdf:first and one rdf:rest.
-  //
-  // NOTE: This converter currently writes one triple per line (it does not group by subject).
-  // In Turtle/N3, repeating a collection term ( ... ) across multiple triples would mint
-  // a fresh list each time. To remain semantics-preserving, we only fold “annotated” list
-  // heads (i.e., heads with extra outgoing predicates) when:
-  //   - the head is not referenced as an object elsewhere, and
-  //   - there is at most one extra outgoing triple.
-  const listMap = new Map(); // headKey -> { listTerm, removeIdxs:Set<number>, chainKeys:string[] }
-
-  for (const [sKey, rec] of outBySubj.entries()) {
-    if (!(rec.term instanceof Blank)) continue;
-
-    const outs = outgoingTriplesOf(sKey);
-    const firsts = outs.filter((x) => isIri(x.tr.p, rdfFirst));
-    const rests = outs.filter((x) => isIri(x.tr.p, rdfRest));
-    if (firsts.length !== 1 || rests.length !== 1) continue;
-
-    const extras = outs.filter((x) => !(isIri(x.tr.p, rdfFirst) || isIri(x.tr.p, rdfRest)));
-    const incHead = incoming.get(sKey) || 0;
-    const incHeadRest = incomingRest.get(sKey) || 0;
-
-    // Head sharing safety: if the head node is referenced multiple times,
-    // folding would duplicate the list (not semantics-preserving).
-    if (incHead > 1) continue;
-
-    if (extras.length > 0) {
-      if (incHead !== 0 || incHeadRest !== 0) continue;
-      if (extras.length > 1) continue;
-    }
-
-    // Walk the rdf:rest chain.
-    const elems = [];
-    const removeIdxs = new Set();
-    const chainKeys = [];
-    const seen = new Set();
-    const headKey = sKey;
-    let curKey = sKey;
-    let isOk = true;
-
-    while (true) {
-      if (seen.has(curKey)) {
-        isOk = false;
-        break;
-      }
-      seen.add(curKey);
-      chainKeys.push(curKey);
-
-      const outs2 = outgoingTriplesOf(curKey);
-      const f2 = outs2.filter((x) => isIri(x.tr.p, rdfFirst));
-      const r2 = outs2.filter((x) => isIri(x.tr.p, rdfRest));
-      if (f2.length !== 1 || r2.length !== 1) {
-        isOk = false;
-        break;
-      }
-
-      // Only the head is allowed to have extra outgoing predicates.
-      if (curKey !== headKey && outs2.length !== 2) {
-        isOk = false;
-        break;
-      }
-
-      elems.push(f2[0].tr.o);
-      removeIdxs.add(f2[0].idx);
-      removeIdxs.add(r2[0].idx);
-
-      const next = r2[0].tr.o;
-      if (next instanceof Iri && next.value === rdfNil) break;
-      if (!(next instanceof Blank)) {
-        isOk = false;
-        break;
-      }
-
-      const nextKey = termKey(next);
-
-      // Intermediate node safety: only referenced via rdf:rest and exactly once.
-      const inc = incoming.get(nextKey) || 0;
-      const incR = incomingRest.get(nextKey) || 0;
-      if (inc !== incR || incR !== 1) {
-        isOk = false;
-        break;
-      }
-
-      curKey = nextKey;
-    }
-
-    if (!isOk) continue;
-
-    listMap.set(headKey, { listTerm: new ListTerm(elems), removeIdxs, chainKeys });
-  }
-
-  if (listMap.size === 0) return triples;
-
-  // Prevent double folding: intermediate nodes in a folded chain should not also be heads.
-  const intermediate = new Set();
-  for (const v of listMap.values()) {
-    for (let i = 1; i < v.chainKeys.length; i++) intermediate.add(v.chainKeys[i]);
-  }
-  for (const k of intermediate) {
-    if (listMap.has(k)) listMap.delete(k);
-  }
-  if (listMap.size === 0) return triples;
-
-  // Build set of triple indices to remove (rdf:first/rest only).
-  const removeAll = new Set();
-  for (const v of listMap.values()) for (const idx of v.removeIdxs) removeAll.add(idx);
-
-  // Replace list-head blank nodes with ListTerm *recursively* so nested collections fold too.
-  function replaceTerm(t) {
-    if (t == null) return t;
-
-    if (t instanceof Blank) {
-      const m = listMap.get(termKey(t));
-      if (m) return replaceTerm(m.listTerm);
-      return t;
-    }
-    if (t instanceof ListTerm) {
-      return new ListTerm(t.elems.map((x) => replaceTerm(x)));
-    }
-    if (t instanceof OpenListTerm) {
-      return new OpenListTerm(
-        t.prefix.map((x) => replaceTerm(x)),
-        t.tailVar,
-      );
-    }
-    if (t instanceof GraphTerm) {
-      const inner = t.triples.map((tr) => new Triple(replaceTerm(tr.s), replaceTerm(tr.p), replaceTerm(tr.o)));
-      return new GraphTerm(inner);
-    }
-    return t;
-  }
-
-  const newTriples = [];
-  for (let i = 0; i < triples.length; i++) {
-    if (removeAll.has(i)) continue;
-    const tr = triples[i];
-    newTriples.push(new Triple(replaceTerm(tr.s), replaceTerm(tr.p), replaceTerm(tr.o)));
-  }
-
-  return newTriples;
-}
-
-function pruneUnusedPrefixes(prefixes, triples) {
-  if (!prefixes || !prefixes.map) return prefixes;
-
-  const used = new Set();
-
-  function visitTerm(t) {
-    if (!t) return;
-    if (t instanceof Iri) {
-      if (t.value === RDF_NS + 'type') return; // written as 'a'
-      const qn = prefixes.shrinkIri(t.value);
-      if (!qn) return;
-      const idx = qn.indexOf(':');
-      const pfx = idx === 0 ? '' : qn.slice(0, idx);
-      used.add(pfx);
-      return;
-    }
-
-    if (t instanceof Literal) {
-      // A typed literal may reference a QName in its datatype, e.g. "2021-07-07"^^xsd:date.
-      // Our Literal stores the full lexical token, so we conservatively scan for ^^prefix:local.
-      const re = /\^\^([A-Za-z_][A-Za-z0-9_.-]*|):[A-Za-z_][A-Za-z0-9_.-]*/g;
-      for (const m of t.value.matchAll(re)) {
-        const pfx = m[1] || '';
-        used.add(pfx);
-      }
-      return;
-    }
-
-    if (t instanceof ListTerm) {
-      for (const e of t.elems) visitTerm(e);
-      return;
-    }
-    if (t instanceof GraphTerm) {
-      for (const tr of t.triples) {
-        visitTerm(tr.s);
-        visitTerm(tr.p);
-        visitTerm(tr.o);
-      }
-    }
-  }
-
-  for (const tr of triples) {
-    visitTerm(tr.s);
-    visitTerm(tr.p);
-    visitTerm(tr.o);
-  }
-
-  const newMap = {};
-  for (const pfx of used) {
-    if (Object.prototype.hasOwnProperty.call(prefixes.map, pfx)) newMap[pfx] = prefixes.map[pfx];
-  }
-
-  return new PrefixEnv(newMap, prefixes.baseIri);
-}
-
-function isIri(t, iri) {
-  return t instanceof Iri && t.value === iri;
-}
-
-function renderPrefixPrologue(prefixes) {
-  const out = [];
-
-  if (prefixes && prefixes.baseIri) out.push(`@base <${prefixes.baseIri}> .`);
-
-  if (prefixes && prefixes.map) {
-    for (const [pfx, iri] of Object.entries(prefixes.map)) {
-      if (!iri) continue;
-      const label = pfx === '' ? ':' : `${pfx}:`;
-      out.push(`@prefix ${label} <${iri}> .`);
-    }
-  }
-  return out.join('\n');
-}
-
-function ensureSkolemPrefix(prefixes, skolemMap) {
-  if (!skolemMap || skolemMap.size === 0) return prefixes;
-
-  // Make skolem: prefix IRI deterministic.
-  //
-  // Preferred: initSkolemForInput(text) sets SKOLEM_UUID / SKOLEM_PREFIX_IRI
-  // deterministically from the input text (CLI and turtleToN3/trigToN3).
-  //
-  // Fallback (library/advanced usage): derive a stable UUID from the *set of
-  // blank-node labels that actually require skolemization* (plus @base if any).
-  // This removes the last source of non-determinism (crypto.randomUUID()).
-  if (!SKOLEM_UUID) {
-    const base = prefixes ? prefixes.baseIri || '' : '';
-    const labels = [...skolemMap.keys()].sort().join('\n');
-    const seed = ['n3gen-skolem', SKOLEM_ROOT, base, labels, ''].join('\n');
-    const uuid = deterministicUuidFromText(seed);
-    SKOLEM_PREFIX_IRI = `${SKOLEM_ROOT}${uuid}#`;
-  } else if (!SKOLEM_PREFIX_IRI) {
-    SKOLEM_PREFIX_IRI = `${SKOLEM_ROOT}${SKOLEM_UUID}#`;
-  }
-
-  const baseMap = prefixes && prefixes.map ? prefixes.map : {};
-  const newMap = { ...baseMap, [SKOLEM_PREFIX]: SKOLEM_PREFIX_IRI };
-  const baseIri = prefixes ? prefixes.baseIri : '';
-  return new PrefixEnv(newMap, baseIri);
-}
-
-// Ensure log: prefix is available whenever we emit log:nameOf (or any other log:* IRI).
-function usesLogNamespace(triples) {
-  let used = false;
-
-  function visitTerm(t) {
-    if (!t || used) return;
-
-    if (t instanceof Iri) {
-      if (t.value.startsWith(LOG_NS)) used = true;
-      return;
-    }
-
-    if (t instanceof Literal) {
-      // Detect log: use in typed literal tokens, or explicit IRI datatypes in LOG_NS.
-      if (t.value.includes('^^log:') || t.value.includes(`^^<${LOG_NS}`)) used = true;
-      return;
-    }
-
-    if (t instanceof ListTerm) {
-      for (const e of t.elems) visitTerm(e);
-      return;
-    }
-
-    if (t instanceof GraphTerm) {
-      for (const tr of t.triples) {
-        visitTerm(tr.s);
-        visitTerm(tr.p);
-        visitTerm(tr.o);
-      }
-    }
-  }
-
-  for (const tr of triples || []) {
-    // triples may be instances of Triple or plain objects with {s,p,o}
-    visitTerm(tr.s);
-    visitTerm(tr.p);
-    visitTerm(tr.o);
-    if (used) break;
-  }
-  return used;
-}
-
-function ensureLogPrefixIfUsed(prefixes, triples) {
-  if (!usesLogNamespace(triples)) return prefixes;
-
-  const baseMap = prefixes && prefixes.map ? prefixes.map : {};
-  const newMap = { ...baseMap, log: LOG_NS }; // overwrite any existing log: mapping
-  const baseIri = prefixes ? prefixes.baseIri : '';
-  return new PrefixEnv(newMap, baseIri);
-}
-
-function usesRdfNamespace(triples) {
-  let used = false;
-
-  function visitTerm(t) {
-    if (!t || used) return;
-
-    if (t instanceof Iri) {
-      // rdf:type is rendered as 'a', so it doesn't require declaring rdf:
-      if (t.value.startsWith(RDF_NS) && t.value !== RDF_NS + 'type') used = true;
-      return;
-    }
-
-    if (t instanceof Literal) {
-      // Conservative: detect rdf: appearing in a datatype token, e.g. ^^rdf:langString or ^^<...rdf-syntax-ns#...>
-      if (t.value.includes('^^rdf:') || t.value.includes(`^^<${RDF_NS}`)) used = true;
-      return;
-    }
-
-    if (t instanceof ListTerm) {
-      for (const e of t.elems) visitTerm(e);
-      return;
-    }
-
-    if (t instanceof GraphTerm) {
-      for (const tr of t.triples) {
-        visitTerm(tr.s);
-        visitTerm(tr.p);
-        visitTerm(tr.o);
-      }
-    }
-  }
-
-  for (const tr of triples || []) {
-    visitTerm(tr.s);
-    visitTerm(tr.p);
-    visitTerm(tr.o);
-    if (used) break;
-  }
-  return used;
-}
-
-function ensureRdfPrefixIfUsed(prefixes, triples) {
-  if (!usesRdfNamespace(triples)) return prefixes;
-
-  // If rdf: is already declared, keep it as-is; otherwise add it.
-  const baseMap = prefixes && prefixes.map ? prefixes.map : {};
-  if (Object.prototype.hasOwnProperty.call(baseMap, 'rdf')) return prefixes;
-
-  const newMap = { ...baseMap, rdf: RDF_NS };
-  const baseIri = prefixes ? prefixes.baseIri : '';
-  return new PrefixEnv(newMap, baseIri);
-}
-
-function usesXsdPrefix(triples) {
-  let used = false;
-
-  function visitTerm(t) {
-    if (!t || used) return;
-
-    if (t instanceof Iri) {
-      // If an XSD namespace IRI is printed (rare, but possible), xsd: prefix is required.
-      if (t.value.startsWith(XSD_NS)) used = true;
-      return;
-    }
-
-    if (t instanceof Literal) {
-      // Detect xsd: use in typed literal tokens, e.g. "2021-07-07"^^xsd:date.
-      // Also detect explicit IRI datatypes in XSD namespace.
-      if (t.value.includes('^^xsd:') || t.value.includes(`^^<${XSD_NS}`)) used = true;
-      return;
-    }
-
-    if (t instanceof ListTerm) {
-      for (const e of t.elems) visitTerm(e);
-      return;
-    }
-
-    if (t instanceof GraphTerm) {
-      for (const tr of t.triples) {
-        visitTerm(tr.s);
-        visitTerm(tr.p);
-        visitTerm(tr.o);
-      }
-      return;
-    }
-  }
-
-  for (const tr of triples || []) {
-    visitTerm(tr.s);
-    visitTerm(tr.p);
-    visitTerm(tr.o);
-    if (used) break;
-  }
-  return used;
-}
-
-function ensureXsdPrefixIfUsed(prefixes, triples) {
-  if (!usesXsdPrefix(triples)) return prefixes;
-
-  // If xsd: is already declared, keep it as-is; otherwise add it.
-  const baseMap = prefixes && prefixes.map ? prefixes.map : {};
-  if (Object.prototype.hasOwnProperty.call(baseMap, 'xsd')) return prefixes;
-
-  const newMap = { ...baseMap, xsd: XSD_NS };
-  const baseIri = prefixes ? prefixes.baseIri : '';
-  return new PrefixEnv(newMap, baseIri);
-}
-
-function groupQuadsByGraph(quads) {
-  const m = new Map(); // key -> { gTerm, triples: Triple[] }
-  function keyOfGraph(g) {
-    if (g == null) return 'DEFAULT';
-    if (g instanceof Iri) return `I:${g.value}`;
-    if (g instanceof Blank) return `B:${g.label}`;
-    return `X:${String(g)}`;
-  }
-  for (const q of quads) {
-    const k = keyOfGraph(q.g);
-    if (!m.has(k)) m.set(k, { gTerm: q.g, triples: [] });
-    m.get(k).triples.push(new Triple(q.s, q.p, q.o));
-  }
-  return m;
-}
-
-function writeN3LogNameOf({ datasetQuads, prefixes }) {
-  const blocks = [];
-  const grouped = groupQuadsByGraph(datasetQuads);
-
-  // For prefix pruning + Skolemization we build a synthetic triple stream that
-  // matches the *output* structure:
-  //   - default graph triples are “outside” any GraphTerm
-  //   - each named graph is wrapped as: gTerm log:nameOf { ... }
-  // This allows us to detect blank nodes that must corefer across graphs.
-  const pseudoTriplesForUse = [];
-  const logNameOfIri = new Iri(log.nameOf);
-
-  if (grouped.has('DEFAULT')) {
-    const { triples } = grouped.get('DEFAULT');
-    pseudoTriplesForUse.push(...foldRdfLists(triples));
-  }
-
-  for (const [k, { gTerm, triples }] of grouped.entries()) {
-    if (k === 'DEFAULT') continue;
-    const folded = foldRdfLists(triples);
-    pseudoTriplesForUse.push({ s: gTerm, p: logNameOfIri, o: new GraphTerm(folded) });
-  }
-
-  const prunedPrefixes = pruneUnusedPrefixes(prefixes, pseudoTriplesForUse);
-  const skolemMap = buildSkolemMapForBnodesThatCrossScopes(pseudoTriplesForUse);
-  const outPrefixes = ensureRdfPrefixIfUsed(
-    ensureXsdPrefixIfUsed(
-      ensureLogPrefixIfUsed(ensureSkolemPrefix(prunedPrefixes, skolemMap), pseudoTriplesForUse),
-      pseudoTriplesForUse,
-    ),
-    pseudoTriplesForUse,
-  );
-  const pro = renderPrefixPrologue(outPrefixes).trim();
-  if (pro) blocks.push(pro, '');
-
-  // default graph: emit triples at top-level (no log:nameOf wrapper)
-  if (grouped.has('DEFAULT')) {
-    const { triples } = grouped.get('DEFAULT');
-    const folded = foldRdfLists(triples);
-    for (const tr of folded) {
-      blocks.push(
-        `${termToText(tr.s, outPrefixes, skolemMap)} ${termToText(tr.p, outPrefixes, skolemMap)} ${termToText(tr.o, outPrefixes, skolemMap)} .`,
-      );
-    }
-    blocks.push('');
-  }
-
-  const named = [...grouped.entries()].filter(([k]) => k !== 'DEFAULT');
-  named.sort((a, b) => a[0].localeCompare(b[0]));
-  for (const [, { gTerm, triples }] of named) {
-    blocks.push(`${termToText(gTerm, outPrefixes, skolemMap)} log:nameOf {`);
-    const folded = foldRdfLists(triples);
-    if (folded.length) {
-      blocks.push(
-        folded
-          .map(
-            (tr) =>
-              `  ${termToText(tr.s, outPrefixes, skolemMap)} ${termToText(tr.p, outPrefixes, skolemMap)} ${termToText(tr.o, outPrefixes, skolemMap)} .`,
-          )
-          .join('\n'),
-      );
-    }
-    blocks.push('} .', '');
-  }
-
-  return blocks.join('\n').trim() + '\n';
-}
-
-// ---------------------------------------------------------------------------
-// Parsing + N3 output (Turtle/TriG -> N3)
-// ---------------------------------------------------------------------------
-
-function parseTriG(text) {
-  const p = new TriGParser(lex(text));
-  return p.parseTrigDocument();
-}
-
-function parseTurtle(text) {
-  const p = new TurtleParser(lex(text));
-  return p.parseTurtleDocument();
-}
-
-function writeN3Triples({ triples, prefixes }) {
-  const foldedTriples = foldRdfLists(triples);
-  const prunedPrefixes = pruneUnusedPrefixes(prefixes, foldedTriples);
-  const skolemMap = buildSkolemMapForBnodesThatCrossScopes(foldedTriples);
-  const outPrefixes = ensureRdfPrefixIfUsed(
-    ensureXsdPrefixIfUsed(
-      ensureLogPrefixIfUsed(ensureSkolemPrefix(prunedPrefixes, skolemMap), foldedTriples),
-      foldedTriples,
-    ),
-    foldedTriples,
-  );
-  const blocks = [];
-  const pro = renderPrefixPrologue(outPrefixes).trim();
-  if (pro) blocks.push(pro, '');
-  for (const tr of foldedTriples) {
-    blocks.push(
-      `${termToText(tr.s, outPrefixes, skolemMap)} ${termToText(tr.p, outPrefixes, skolemMap)} ${termToText(tr.o, outPrefixes, skolemMap)} .`,
-    );
-  }
-  return blocks.join('\n').trim() + '\n';
-}
-
-function turtleToN3(ttlText) {
-  // Ensure deterministic per-input Skolem prefix IRI even when used as a library.
-  initSkolemForInput(ttlText);
-  const { triples, prefixes } = parseTurtle(ttlText);
-  return writeN3Triples({ triples, prefixes });
-}
-
-function trigToN3(trigText) {
-  // Ensure deterministic per-input Skolem prefix IRI even when used as a library.
-  initSkolemForInput(trigText);
-  const { quads, prefixes } = parseTriG(trigText);
-  return writeN3LogNameOf({ datasetQuads: quads, prefixes });
-}
-
-function printHelp() {
-  process.stdout.write(`Usage:
-  n3gen <file.ttl|file.trig>
-
-Converts RDF 1.2 Turtle (.ttl) or TriG (.trig) to Notation 3 (.n3) and writes to stdout.
-
-Examples:
-  n3gen file.ttl  > file.n3
-  n3gen file.trig > file.n3
-`);
-}
-
-async function main() {
-  const args = process.argv.slice(2);
-  if (args.length === 0 || args.includes('--help') || args.includes('-h')) {
-    printHelp();
-    if (args.length === 0) process.exitCode = 2;
-    return;
-  }
-  if (args.length !== 1) {
-    printHelp();
-    process.exitCode = 2;
-    return;
-  }
-
-  const inputFile = args[0];
-  const ext = path.extname(inputFile).toLowerCase();
-
-  const text = await fs.readFile(inputFile, 'utf8');
-
-  if (ext === '.ttl') {
-    process.stdout.write(turtleToN3(text));
-    return;
-  }
-  if (ext === '.trig') {
-    process.stdout.write(trigToN3(text));
-    return;
-  }
-
-  throw new Error(`Unsupported file extension "${ext}". Use .ttl or .trig`);
-}
-
-main().catch((e) => {
-  console.error(e?.stack || String(e));
-  process.exitCode = 1;
-});