eyeling 1.27.3 → 1.27.5

package/HANDBOOK.md

@@ -3851,7 +3851,9 @@ The playground also exposes configuration toggles that are especially useful for
 - **RDF/TriG compatibility**, which mirrors command-line `-r, --rdf` for RDF surface syntax and message-log replay,
 - **stream RDF Messages**, which mirrors `--stream-messages` under RDF mode and runs the editor rules over one RDF Message at a time.
 
-For streamed RDF Messages in the playground, put the extraction rules and any small background knowledge in the editor, then provide the large RDF Message Log through the **RDF Message Log URL** field. The URL is preserved in compact share links. A pasted message log in the editor is still useful for small teaching examples, but the URL field is the intended path for large logs because it lets the worker fetch and parse the stream incrementally rather than asking CodeMirror to hold the log text.
+For streamed RDF Messages in the playground, put the extraction rules and any small background knowledge in the editor, then provide the large RDF Message Log through the **RDF Message Log URL** field. The URL is preserved in compact share links. A pasted message log in the editor is still useful for small teaching examples, but the URL field is the intended path for large logs because it lets the worker fetch and parse the stream incrementally rather than asking CodeMirror to hold the log text. URL fetches follow HTTP redirects, so short, stable, or repository URLs can redirect to the actual raw resource while the final URL is still used for base handling where needed.
+
+The layout is responsive: on small screens the URL fields and action buttons stack vertically, controls remain tap-friendly, and the editor/output panes scroll internally when their height is capped. That keeps the playground useful on phones for opening shared links, changing toggles, and running small or URL-backed streaming examples.
 
 Together these choices make the playground better suited to live explanation, teaching, and debugging than a minimal browser wrapper would be.
 

package/dist/browser/eyeling.browser.js

@@ -10900,10 +10900,10 @@ function normalizeRdfCompatibility(inputText) {
   // unless they actually contain RDF 1.2 triple terms, VERSION directives, or a
   // plausible top-level TriG named graph block.
   const hasTripleTerms = text.includes('<<');
-  const hasVersionDirective = /^\s*(?:@version|VERSION)\s+(["'])1\.2\1\s*\.?\s*(?:#.*)?$/im.test(text);
+  const hasVersionDirective = /^\s*(?:@version|VERSION)\s+(["'])(?:1\.1|1\.2|1\.2-basic)\1\s*\.?\s*(?:#.*)?$/im.test(text);
   const hasMessageVersionDirective = /^\s*(?:@version|VERSION)\s+(["'])(?:1\.1|1\.2|1\.2-basic)-messages\1\s*\.?\s*(?:#.*)?$/im.test(text);
-  const hasNamedGraphCandidate = /(?:^|[.\r\n])\s*(?:GRAPH\s+)?(?:<[^>\r\n]*>|_:[A-Za-z][A-Za-z0-9_-]*|[A-Za-z][A-Za-z0-9_-]*:[^\s{};,.()[\]]*)\s*\{/m.test(text);
-  const hasAnnotationSyntax = /(?:^|\s)~\s*(?:<|_:[A-Za-z]|[A-Za-z][A-Za-z0-9_-]*:|\{\|)|\{\|/.test(text);
+  const hasNamedGraphCandidate = /(?:^|[.\r\n])\s*(?:GRAPH\s+)?(?:<[^>\r\n]*>|_:[A-Za-z][A-Za-z0-9_-]*|[A-Za-z][A-Za-z0-9_-]*:[^\s{};,.()[\]]*|:[^\s{};,.()[\]]+)\s*\{/m.test(text);
+  const hasAnnotationSyntax = /(?:^|\s)~|\{\|/.test(text);
 
   if (!hasTripleTerms && !hasVersionDirective && !hasMessageVersionDirective && !hasNamedGraphCandidate && !hasAnnotationSyntax) return text;
 
@@ -11190,8 +11190,10 @@ function normalizeRdfCompatibility(inputText) {
         }
         if (s.startsWith('{|', j)) {
           const block = readAnnotationBlockAt(s, j);
+          const inner = block.inner.trim();
+          if (!inner) throw new N3SyntaxError('Empty RDF annotation block is not allowed');
           if (!reifier) reifier = `_:rdfAnnotation${++generatedBlank}`;
-          annotationBlocks.push(block.inner.trim());
+          annotationBlocks.push(inner);
           j = block.end;
           continue;
         }
@@ -11199,7 +11201,7 @@ function normalizeRdfCompatibility(inputText) {
       }
 
       const after = skipWsAndComments(s, j);
-      if (s[after] !== '.') return null;
+      if (!['.', ';', ',', '}'].includes(s[after])) return null;
       if (!reifier && annotationBlocks.length === 0) return null;
 
       const baseTriple = `${subj.text} ${pred.text} ${obj.text}`;
@@ -11209,10 +11211,15 @@ function normalizeRdfCompatibility(inputText) {
       for (const inner of annotationBlocks) {
         if (inner) extra.push(`${reifier} ${inner} .`);
       }
+
+      let continuation = '';
+      if (s[after] === ';') continuation = `\n${subj.text} `;
+      else if (s[after] === ',') continuation = `\n${subj.text} ${pred.text} `;
+
       return {
         start,
-        end: after + 1,
-        text: `${baseTriple} .${extra.length ? '\n' + extra.join('\n') : ''}`,
+        end: s[after] === '}' ? after : after + 1,
+        text: `${baseTriple} .${extra.length ? '\n' + extra.join('\n') : ''}${continuation}`,
       };
     }
 
@@ -11306,6 +11313,29 @@ function normalizeRdfCompatibility(inputText) {
         while (i < s.length && s[i] !== '\n' && s[i] !== '\r') i += 1;
         continue;
       }
+      if (s.startsWith('{|', i)) {
+        i += 2;
+        while (i < s.length) {
+          if (s[i] === '"' || s[i] === "'") {
+            i = readStringAt(s, i).end;
+            continue;
+          }
+          if (s[i] === '<' && !s.startsWith('<<', i)) {
+            i = readIriAt(s, i).end;
+            continue;
+          }
+          if (s[i] === '#') {
+            while (i < s.length && s[i] !== '\n' && s[i] !== '\r') i += 1;
+            continue;
+          }
+          if (s.startsWith('|}', i)) {
+            i += 2;
+            break;
+          }
+          i += 1;
+        }
+        continue;
+      }
       if (ch === '{') depth += 1;
       if (ch === '}') {
         depth -= 1;
@@ -11330,6 +11360,28 @@ function normalizeRdfCompatibility(inputText) {
         out += s.slice(i, termStart);
         i = termStart;
 
+        // Preserve directives and keep the scanner at statement-start for
+        // following TriG graph blocks. SPARQL-style PREFIX/BASE/VERSION lines
+        // have no trailing '.', while @prefix/@base/@version directives do.
+        if (startsWordAt(s, 'PREFIX', i) || startsWordAt(s, 'BASE', i) || startsWordAt(s, 'VERSION', i)) {
+          let end = i;
+          while (end < s.length && s[end] !== '\n' && s[end] !== '\r') end += 1;
+          out += s.slice(i, end);
+          i = end;
+          statementStart = true;
+          continue;
+        }
+        if (s[i] === '@') {
+          const lower = s.slice(i, i + 9).toLowerCase();
+          if (lower.startsWith('@prefix') || lower.startsWith('@base') || lower.startsWith('@version')) {
+            const end = skipOldStyleDirective(s, i);
+            out += s.slice(i, end);
+            i = end;
+            statementStart = true;
+            continue;
+          }
+        }
+
         // Top-level TriG default graph block: { ... } .
         if (s[i] === '{') {
           const block = readBalancedBlock(s, i);
@@ -11618,7 +11670,7 @@ function normalizeRdfCompatibility(inputText) {
   function normalizeMessageChunk(chunk, messageIndex) {
     let body = String(chunk || '');
     if (hasTripleTerms || body.includes('<<')) body = convertTripleTerms(body);
-    if (hasAnnotationSyntax || /(?:^|\s)~\s*(?:<|_:[A-Za-z]|[A-Za-z][A-Za-z0-9_-]*:|\{\|)|\{\|/.test(body)) {
+    if (hasAnnotationSyntax || /(?:^|\s)~|\{\|/.test(body)) {
       body = convertAnnotations(body);
     }
     body = normalizeNamedGraphs(body);
@@ -12151,6 +12203,17 @@ function lex(inputText, opts = {}) {
           i++;
         }
         while (peek() === '-') {
+          if (peek(1) === '-') {
+            const dir = sliceChars(i + 2, i + 5);
+            const afterDir = peek(5);
+            if ((dir === 'ltr' || dir === 'rtl') && (afterDir === null || !/[A-Za-z0-9-]/.test(afterDir))) {
+              tagChars.push('--', dir);
+              i += 5;
+              break;
+            }
+            throw new N3SyntaxError('Invalid language direction (expected --ltr or --rtl)', start);
+          }
+
           tagChars.push('-');
           i++; // consume '-'
           const segChars = [];
@@ -14901,7 +14964,7 @@ function splitLiteralLexAndLang(value) {
     return { lexical: value, language: '' };
   }
   const language = value.slice(lastQuote + 2);
-  if (!/^[A-Za-z]+(?:-[A-Za-z0-9]+)*$/.test(language)) {
+  if (!/^[A-Za-z]+(?:-[A-Za-z0-9]+)*(?:--(?:ltr|rtl))?$/.test(language)) {
     return { lexical: value, language: '' };
   }
   return { lexical: value.slice(0, lastQuote + 1), language };
@@ -14938,6 +15001,51 @@ function internalTermToRdfJs(term, factory, position) {
   return unsupportedRdfJsTerm(term, position);
 }
 
+function internalRdf12TermToRdfJs(term, factory, position) {
+  const rdfFactory = getDataFactory(factory);
+  if (term instanceof GraphTerm) {
+    if (position === 'predicate' || position === 'graph') {
+      return unsupportedRdfJsTerm(term, position);
+    }
+    if (!Array.isArray(term.triples) || term.triples.length !== 1) {
+      return unsupportedRdfJsTerm(term, position);
+    }
+    const triple = term.triples[0];
+    return rdfFactory.quad(
+      internalRdf12TermToRdfJs(triple.s, rdfFactory, 'subject'),
+      internalTermToRdfJs(triple.p, rdfFactory, 'predicate'),
+      internalRdf12TermToRdfJs(triple.o, rdfFactory, 'object'),
+      rdfFactory.defaultGraph(),
+    );
+  }
+  return internalTermToRdfJs(term, rdfFactory, position);
+}
+
+function assertRdfJsQuadShape(subject, predicate, object, graph) {
+  if (!['NamedNode', 'BlankNode', 'Quad'].includes(subject.termType)) {
+    throw new TypeError(`Invalid RDF subject termType ${subject.termType}`);
+  }
+  if (predicate.termType !== 'NamedNode') {
+    throw new TypeError(`Invalid RDF predicate termType ${predicate.termType}`);
+  }
+  if (!['NamedNode', 'BlankNode', 'Literal', 'Quad'].includes(object.termType)) {
+    throw new TypeError(`Invalid RDF object termType ${object.termType}`);
+  }
+  if (!['DefaultGraph', 'NamedNode', 'BlankNode'].includes(graph.termType)) {
+    throw new TypeError(`Invalid RDF graph termType ${graph.termType}`);
+  }
+}
+
+function internalTripleToRdfJsQuadInGraph(triple, graph, factory) {
+  const rdfFactory = getDataFactory(factory);
+  const subject = internalRdf12TermToRdfJs(triple.s, rdfFactory, 'subject');
+  const predicate = internalTermToRdfJs(triple.p, rdfFactory, 'predicate');
+  const object = internalRdf12TermToRdfJs(triple.o, rdfFactory, 'object');
+  const graphTerm = graph || rdfFactory.defaultGraph();
+  assertRdfJsQuadShape(subject, predicate, object, graphTerm);
+  return rdfFactory.quad(subject, predicate, object, graphTerm);
+}
+
 function internalTripleToRdfJsQuad(triple, factory) {
   const rdfFactory = getDataFactory(factory);
   return rdfFactory.quad(
@@ -15424,6 +15532,7 @@ module.exports = {
   rdfJsQuadToInternalTriple,
   internalTermToRdfJs,
   internalTripleToRdfJsQuad,
+  internalTripleToRdfJsQuadInGraph,
   normalizeParsedReasonerInputSync,
   normalizeReasonerInputSync,
   normalizeReasonerInputAsync,

package/eyeling.js

@@ -10900,10 +10900,10 @@ function normalizeRdfCompatibility(inputText) {
   // unless they actually contain RDF 1.2 triple terms, VERSION directives, or a
   // plausible top-level TriG named graph block.
   const hasTripleTerms = text.includes('<<');
-  const hasVersionDirective = /^\s*(?:@version|VERSION)\s+(["'])1\.2\1\s*\.?\s*(?:#.*)?$/im.test(text);
+  const hasVersionDirective = /^\s*(?:@version|VERSION)\s+(["'])(?:1\.1|1\.2|1\.2-basic)\1\s*\.?\s*(?:#.*)?$/im.test(text);
   const hasMessageVersionDirective = /^\s*(?:@version|VERSION)\s+(["'])(?:1\.1|1\.2|1\.2-basic)-messages\1\s*\.?\s*(?:#.*)?$/im.test(text);
-  const hasNamedGraphCandidate = /(?:^|[.\r\n])\s*(?:GRAPH\s+)?(?:<[^>\r\n]*>|_:[A-Za-z][A-Za-z0-9_-]*|[A-Za-z][A-Za-z0-9_-]*:[^\s{};,.()[\]]*)\s*\{/m.test(text);
-  const hasAnnotationSyntax = /(?:^|\s)~\s*(?:<|_:[A-Za-z]|[A-Za-z][A-Za-z0-9_-]*:|\{\|)|\{\|/.test(text);
+  const hasNamedGraphCandidate = /(?:^|[.\r\n])\s*(?:GRAPH\s+)?(?:<[^>\r\n]*>|_:[A-Za-z][A-Za-z0-9_-]*|[A-Za-z][A-Za-z0-9_-]*:[^\s{};,.()[\]]*|:[^\s{};,.()[\]]+)\s*\{/m.test(text);
+  const hasAnnotationSyntax = /(?:^|\s)~|\{\|/.test(text);
 
   if (!hasTripleTerms && !hasVersionDirective && !hasMessageVersionDirective && !hasNamedGraphCandidate && !hasAnnotationSyntax) return text;
 
@@ -11190,8 +11190,10 @@ function normalizeRdfCompatibility(inputText) {
         }
         if (s.startsWith('{|', j)) {
           const block = readAnnotationBlockAt(s, j);
+          const inner = block.inner.trim();
+          if (!inner) throw new N3SyntaxError('Empty RDF annotation block is not allowed');
           if (!reifier) reifier = `_:rdfAnnotation${++generatedBlank}`;
-          annotationBlocks.push(block.inner.trim());
+          annotationBlocks.push(inner);
           j = block.end;
           continue;
         }
@@ -11199,7 +11201,7 @@ function normalizeRdfCompatibility(inputText) {
       }
 
       const after = skipWsAndComments(s, j);
-      if (s[after] !== '.') return null;
+      if (!['.', ';', ',', '}'].includes(s[after])) return null;
       if (!reifier && annotationBlocks.length === 0) return null;
 
       const baseTriple = `${subj.text} ${pred.text} ${obj.text}`;
@@ -11209,10 +11211,15 @@ function normalizeRdfCompatibility(inputText) {
       for (const inner of annotationBlocks) {
         if (inner) extra.push(`${reifier} ${inner} .`);
       }
+
+      let continuation = '';
+      if (s[after] === ';') continuation = `\n${subj.text} `;
+      else if (s[after] === ',') continuation = `\n${subj.text} ${pred.text} `;
+
       return {
         start,
-        end: after + 1,
-        text: `${baseTriple} .${extra.length ? '\n' + extra.join('\n') : ''}`,
+        end: s[after] === '}' ? after : after + 1,
+        text: `${baseTriple} .${extra.length ? '\n' + extra.join('\n') : ''}${continuation}`,
       };
     }
 
@@ -11306,6 +11313,29 @@ function normalizeRdfCompatibility(inputText) {
         while (i < s.length && s[i] !== '\n' && s[i] !== '\r') i += 1;
         continue;
       }
+      if (s.startsWith('{|', i)) {
+        i += 2;
+        while (i < s.length) {
+          if (s[i] === '"' || s[i] === "'") {
+            i = readStringAt(s, i).end;
+            continue;
+          }
+          if (s[i] === '<' && !s.startsWith('<<', i)) {
+            i = readIriAt(s, i).end;
+            continue;
+          }
+          if (s[i] === '#') {
+            while (i < s.length && s[i] !== '\n' && s[i] !== '\r') i += 1;
+            continue;
+          }
+          if (s.startsWith('|}', i)) {
+            i += 2;
+            break;
+          }
+          i += 1;
+        }
+        continue;
+      }
       if (ch === '{') depth += 1;
       if (ch === '}') {
         depth -= 1;
@@ -11330,6 +11360,28 @@ function normalizeRdfCompatibility(inputText) {
         out += s.slice(i, termStart);
         i = termStart;
 
+        // Preserve directives and keep the scanner at statement-start for
+        // following TriG graph blocks. SPARQL-style PREFIX/BASE/VERSION lines
+        // have no trailing '.', while @prefix/@base/@version directives do.
+        if (startsWordAt(s, 'PREFIX', i) || startsWordAt(s, 'BASE', i) || startsWordAt(s, 'VERSION', i)) {
+          let end = i;
+          while (end < s.length && s[end] !== '\n' && s[end] !== '\r') end += 1;
+          out += s.slice(i, end);
+          i = end;
+          statementStart = true;
+          continue;
+        }
+        if (s[i] === '@') {
+          const lower = s.slice(i, i + 9).toLowerCase();
+          if (lower.startsWith('@prefix') || lower.startsWith('@base') || lower.startsWith('@version')) {
+            const end = skipOldStyleDirective(s, i);
+            out += s.slice(i, end);
+            i = end;
+            statementStart = true;
+            continue;
+          }
+        }
+
         // Top-level TriG default graph block: { ... } .
         if (s[i] === '{') {
           const block = readBalancedBlock(s, i);
@@ -11618,7 +11670,7 @@ function normalizeRdfCompatibility(inputText) {
   function normalizeMessageChunk(chunk, messageIndex) {
     let body = String(chunk || '');
     if (hasTripleTerms || body.includes('<<')) body = convertTripleTerms(body);
-    if (hasAnnotationSyntax || /(?:^|\s)~\s*(?:<|_:[A-Za-z]|[A-Za-z][A-Za-z0-9_-]*:|\{\|)|\{\|/.test(body)) {
+    if (hasAnnotationSyntax || /(?:^|\s)~|\{\|/.test(body)) {
       body = convertAnnotations(body);
     }
     body = normalizeNamedGraphs(body);
@@ -12151,6 +12203,17 @@ function lex(inputText, opts = {}) {
           i++;
         }
         while (peek() === '-') {
+          if (peek(1) === '-') {
+            const dir = sliceChars(i + 2, i + 5);
+            const afterDir = peek(5);
+            if ((dir === 'ltr' || dir === 'rtl') && (afterDir === null || !/[A-Za-z0-9-]/.test(afterDir))) {
+              tagChars.push('--', dir);
+              i += 5;
+              break;
+            }
+            throw new N3SyntaxError('Invalid language direction (expected --ltr or --rtl)', start);
+          }
+
           tagChars.push('-');
           i++; // consume '-'
           const segChars = [];
@@ -14901,7 +14964,7 @@ function splitLiteralLexAndLang(value) {
     return { lexical: value, language: '' };
   }
   const language = value.slice(lastQuote + 2);
-  if (!/^[A-Za-z]+(?:-[A-Za-z0-9]+)*$/.test(language)) {
+  if (!/^[A-Za-z]+(?:-[A-Za-z0-9]+)*(?:--(?:ltr|rtl))?$/.test(language)) {
     return { lexical: value, language: '' };
   }
   return { lexical: value.slice(0, lastQuote + 1), language };
@@ -14938,6 +15001,51 @@ function internalTermToRdfJs(term, factory, position) {
   return unsupportedRdfJsTerm(term, position);
 }
 
+function internalRdf12TermToRdfJs(term, factory, position) {
+  const rdfFactory = getDataFactory(factory);
+  if (term instanceof GraphTerm) {
+    if (position === 'predicate' || position === 'graph') {
+      return unsupportedRdfJsTerm(term, position);
+    }
+    if (!Array.isArray(term.triples) || term.triples.length !== 1) {
+      return unsupportedRdfJsTerm(term, position);
+    }
+    const triple = term.triples[0];
+    return rdfFactory.quad(
+      internalRdf12TermToRdfJs(triple.s, rdfFactory, 'subject'),
+      internalTermToRdfJs(triple.p, rdfFactory, 'predicate'),
+      internalRdf12TermToRdfJs(triple.o, rdfFactory, 'object'),
+      rdfFactory.defaultGraph(),
+    );
+  }
+  return internalTermToRdfJs(term, rdfFactory, position);
+}
+
+function assertRdfJsQuadShape(subject, predicate, object, graph) {
+  if (!['NamedNode', 'BlankNode', 'Quad'].includes(subject.termType)) {
+    throw new TypeError(`Invalid RDF subject termType ${subject.termType}`);
+  }
+  if (predicate.termType !== 'NamedNode') {
+    throw new TypeError(`Invalid RDF predicate termType ${predicate.termType}`);
+  }
+  if (!['NamedNode', 'BlankNode', 'Literal', 'Quad'].includes(object.termType)) {
+    throw new TypeError(`Invalid RDF object termType ${object.termType}`);
+  }
+  if (!['DefaultGraph', 'NamedNode', 'BlankNode'].includes(graph.termType)) {
+    throw new TypeError(`Invalid RDF graph termType ${graph.termType}`);
+  }
+}
+
+function internalTripleToRdfJsQuadInGraph(triple, graph, factory) {
+  const rdfFactory = getDataFactory(factory);
+  const subject = internalRdf12TermToRdfJs(triple.s, rdfFactory, 'subject');
+  const predicate = internalTermToRdfJs(triple.p, rdfFactory, 'predicate');
+  const object = internalRdf12TermToRdfJs(triple.o, rdfFactory, 'object');
+  const graphTerm = graph || rdfFactory.defaultGraph();
+  assertRdfJsQuadShape(subject, predicate, object, graphTerm);
+  return rdfFactory.quad(subject, predicate, object, graphTerm);
+}
+
 function internalTripleToRdfJsQuad(triple, factory) {
   const rdfFactory = getDataFactory(factory);
   return rdfFactory.quad(
@@ -15424,6 +15532,7 @@ module.exports = {
   rdfJsQuadToInternalTriple,
   internalTermToRdfJs,
   internalTripleToRdfJsQuad,
+  internalTripleToRdfJsQuadInGraph,
   normalizeParsedReasonerInputSync,
   normalizeReasonerInputSync,
   normalizeReasonerInputAsync,

package/lib/lexer.js

@@ -400,10 +400,10 @@ function normalizeRdfCompatibility(inputText) {
   // unless they actually contain RDF 1.2 triple terms, VERSION directives, or a
   // plausible top-level TriG named graph block.
   const hasTripleTerms = text.includes('<<');
-  const hasVersionDirective = /^\s*(?:@version|VERSION)\s+(["'])1\.2\1\s*\.?\s*(?:#.*)?$/im.test(text);
+  const hasVersionDirective = /^\s*(?:@version|VERSION)\s+(["'])(?:1\.1|1\.2|1\.2-basic)\1\s*\.?\s*(?:#.*)?$/im.test(text);
   const hasMessageVersionDirective = /^\s*(?:@version|VERSION)\s+(["'])(?:1\.1|1\.2|1\.2-basic)-messages\1\s*\.?\s*(?:#.*)?$/im.test(text);
-  const hasNamedGraphCandidate = /(?:^|[.\r\n])\s*(?:GRAPH\s+)?(?:<[^>\r\n]*>|_:[A-Za-z][A-Za-z0-9_-]*|[A-Za-z][A-Za-z0-9_-]*:[^\s{};,.()[\]]*)\s*\{/m.test(text);
-  const hasAnnotationSyntax = /(?:^|\s)~\s*(?:<|_:[A-Za-z]|[A-Za-z][A-Za-z0-9_-]*:|\{\|)|\{\|/.test(text);
+  const hasNamedGraphCandidate = /(?:^|[.\r\n])\s*(?:GRAPH\s+)?(?:<[^>\r\n]*>|_:[A-Za-z][A-Za-z0-9_-]*|[A-Za-z][A-Za-z0-9_-]*:[^\s{};,.()[\]]*|:[^\s{};,.()[\]]+)\s*\{/m.test(text);
+  const hasAnnotationSyntax = /(?:^|\s)~|\{\|/.test(text);
 
   if (!hasTripleTerms && !hasVersionDirective && !hasMessageVersionDirective && !hasNamedGraphCandidate && !hasAnnotationSyntax) return text;
 
@@ -690,8 +690,10 @@ function normalizeRdfCompatibility(inputText) {
         }
         if (s.startsWith('{|', j)) {
           const block = readAnnotationBlockAt(s, j);
+          const inner = block.inner.trim();
+          if (!inner) throw new N3SyntaxError('Empty RDF annotation block is not allowed');
           if (!reifier) reifier = `_:rdfAnnotation${++generatedBlank}`;
-          annotationBlocks.push(block.inner.trim());
+          annotationBlocks.push(inner);
           j = block.end;
           continue;
         }
@@ -699,7 +701,7 @@ function normalizeRdfCompatibility(inputText) {
       }
 
       const after = skipWsAndComments(s, j);
-      if (s[after] !== '.') return null;
+      if (!['.', ';', ',', '}'].includes(s[after])) return null;
       if (!reifier && annotationBlocks.length === 0) return null;
 
       const baseTriple = `${subj.text} ${pred.text} ${obj.text}`;
@@ -709,10 +711,15 @@ function normalizeRdfCompatibility(inputText) {
       for (const inner of annotationBlocks) {
         if (inner) extra.push(`${reifier} ${inner} .`);
       }
+
+      let continuation = '';
+      if (s[after] === ';') continuation = `\n${subj.text} `;
+      else if (s[after] === ',') continuation = `\n${subj.text} ${pred.text} `;
+
       return {
         start,
-        end: after + 1,
-        text: `${baseTriple} .${extra.length ? '\n' + extra.join('\n') : ''}`,
+        end: s[after] === '}' ? after : after + 1,
+        text: `${baseTriple} .${extra.length ? '\n' + extra.join('\n') : ''}${continuation}`,
       };
     }
 
@@ -806,6 +813,29 @@ function normalizeRdfCompatibility(inputText) {
         while (i < s.length && s[i] !== '\n' && s[i] !== '\r') i += 1;
         continue;
       }
+      if (s.startsWith('{|', i)) {
+        i += 2;
+        while (i < s.length) {
+          if (s[i] === '"' || s[i] === "'") {
+            i = readStringAt(s, i).end;
+            continue;
+          }
+          if (s[i] === '<' && !s.startsWith('<<', i)) {
+            i = readIriAt(s, i).end;
+            continue;
+          }
+          if (s[i] === '#') {
+            while (i < s.length && s[i] !== '\n' && s[i] !== '\r') i += 1;
+            continue;
+          }
+          if (s.startsWith('|}', i)) {
+            i += 2;
+            break;
+          }
+          i += 1;
+        }
+        continue;
+      }
       if (ch === '{') depth += 1;
       if (ch === '}') {
         depth -= 1;
@@ -830,6 +860,28 @@ function normalizeRdfCompatibility(inputText) {
         out += s.slice(i, termStart);
         i = termStart;
 
+        // Preserve directives and keep the scanner at statement-start for
+        // following TriG graph blocks. SPARQL-style PREFIX/BASE/VERSION lines
+        // have no trailing '.', while @prefix/@base/@version directives do.
+        if (startsWordAt(s, 'PREFIX', i) || startsWordAt(s, 'BASE', i) || startsWordAt(s, 'VERSION', i)) {
+          let end = i;
+          while (end < s.length && s[end] !== '\n' && s[end] !== '\r') end += 1;
+          out += s.slice(i, end);
+          i = end;
+          statementStart = true;
+          continue;
+        }
+        if (s[i] === '@') {
+          const lower = s.slice(i, i + 9).toLowerCase();
+          if (lower.startsWith('@prefix') || lower.startsWith('@base') || lower.startsWith('@version')) {
+            const end = skipOldStyleDirective(s, i);
+            out += s.slice(i, end);
+            i = end;
+            statementStart = true;
+            continue;
+          }
+        }
+
         // Top-level TriG default graph block: { ... } .
         if (s[i] === '{') {
           const block = readBalancedBlock(s, i);
@@ -1118,7 +1170,7 @@ function normalizeRdfCompatibility(inputText) {
   function normalizeMessageChunk(chunk, messageIndex) {
     let body = String(chunk || '');
     if (hasTripleTerms || body.includes('<<')) body = convertTripleTerms(body);
-    if (hasAnnotationSyntax || /(?:^|\s)~\s*(?:<|_:[A-Za-z]|[A-Za-z][A-Za-z0-9_-]*:|\{\|)|\{\|/.test(body)) {
+    if (hasAnnotationSyntax || /(?:^|\s)~|\{\|/.test(body)) {
       body = convertAnnotations(body);
     }
     body = normalizeNamedGraphs(body);
@@ -1651,6 +1703,17 @@ function lex(inputText, opts = {}) {
           i++;
         }
         while (peek() === '-') {
+          if (peek(1) === '-') {
+            const dir = sliceChars(i + 2, i + 5);
+            const afterDir = peek(5);
+            if ((dir === 'ltr' || dir === 'rtl') && (afterDir === null || !/[A-Za-z0-9-]/.test(afterDir))) {
+              tagChars.push('--', dir);
+              i += 5;
+              break;
+            }
+            throw new N3SyntaxError('Invalid language direction (expected --ltr or --rtl)', start);
+          }
+
           tagChars.push('-');
           i++; // consume '-'
           const segChars = [];

package/lib/rdfjs.js

@@ -265,7 +265,7 @@ function splitLiteralLexAndLang(value) {
     return { lexical: value, language: '' };
   }
   const language = value.slice(lastQuote + 2);
-  if (!/^[A-Za-z]+(?:-[A-Za-z0-9]+)*$/.test(language)) {
+  if (!/^[A-Za-z]+(?:-[A-Za-z0-9]+)*(?:--(?:ltr|rtl))?$/.test(language)) {
     return { lexical: value, language: '' };
   }
   return { lexical: value.slice(0, lastQuote + 1), language };
@@ -302,6 +302,51 @@ function internalTermToRdfJs(term, factory, position) {
   return unsupportedRdfJsTerm(term, position);
 }
 
+function internalRdf12TermToRdfJs(term, factory, position) {
+  const rdfFactory = getDataFactory(factory);
+  if (term instanceof GraphTerm) {
+    if (position === 'predicate' || position === 'graph') {
+      return unsupportedRdfJsTerm(term, position);
+    }
+    if (!Array.isArray(term.triples) || term.triples.length !== 1) {
+      return unsupportedRdfJsTerm(term, position);
+    }
+    const triple = term.triples[0];
+    return rdfFactory.quad(
+      internalRdf12TermToRdfJs(triple.s, rdfFactory, 'subject'),
+      internalTermToRdfJs(triple.p, rdfFactory, 'predicate'),
+      internalRdf12TermToRdfJs(triple.o, rdfFactory, 'object'),
+      rdfFactory.defaultGraph(),
+    );
+  }
+  return internalTermToRdfJs(term, rdfFactory, position);
+}
+
+function assertRdfJsQuadShape(subject, predicate, object, graph) {
+  if (!['NamedNode', 'BlankNode', 'Quad'].includes(subject.termType)) {
+    throw new TypeError(`Invalid RDF subject termType ${subject.termType}`);
+  }
+  if (predicate.termType !== 'NamedNode') {
+    throw new TypeError(`Invalid RDF predicate termType ${predicate.termType}`);
+  }
+  if (!['NamedNode', 'BlankNode', 'Literal', 'Quad'].includes(object.termType)) {
+    throw new TypeError(`Invalid RDF object termType ${object.termType}`);
+  }
+  if (!['DefaultGraph', 'NamedNode', 'BlankNode'].includes(graph.termType)) {
+    throw new TypeError(`Invalid RDF graph termType ${graph.termType}`);
+  }
+}
+
+function internalTripleToRdfJsQuadInGraph(triple, graph, factory) {
+  const rdfFactory = getDataFactory(factory);
+  const subject = internalRdf12TermToRdfJs(triple.s, rdfFactory, 'subject');
+  const predicate = internalTermToRdfJs(triple.p, rdfFactory, 'predicate');
+  const object = internalRdf12TermToRdfJs(triple.o, rdfFactory, 'object');
+  const graphTerm = graph || rdfFactory.defaultGraph();
+  assertRdfJsQuadShape(subject, predicate, object, graphTerm);
+  return rdfFactory.quad(subject, predicate, object, graphTerm);
+}
+
 function internalTripleToRdfJsQuad(triple, factory) {
   const rdfFactory = getDataFactory(factory);
   return rdfFactory.quad(
@@ -788,6 +833,7 @@ module.exports = {
   rdfJsQuadToInternalTriple,
   internalTermToRdfJs,
   internalTripleToRdfJsQuad,
+  internalTripleToRdfJsQuadInGraph,
   normalizeParsedReasonerInputSync,
   normalizeReasonerInputSync,
   normalizeReasonerInputAsync,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "eyeling",
-  "version": "1.27.3",
+  "version": "1.27.5",
   "description": "A minimal Notation3 (N3) reasoner in JavaScript.",
   "main": "./index.js",
   "keywords": [
@@ -52,7 +52,15 @@
     "posttest": "npm run test:package",
     "preversion": "npm test",
     "postversion": "git push origin HEAD --follow-tags",
-    "test:stream-messages": "node test/stream_messages.test.js"
+    "test:stream-messages": "node test/stream_messages.test.js",
+    "rdf12": "npm run rdf-12-turtle && npm run rdf-12-ntriples && npm run rdf-12-nquads && npm run rdf-12-trig",
+    "rdf-12-ntriples": "rdf-test-suite spec/rdf12-parser.js https://w3c.github.io/rdf-tests/rdf/rdf12/rdf-n-triples/syntax/manifest.ttl -i '{ \"format\": \"n-triples\" }' -c .rdf-test-suite-cache/",
+    "rdf-12-nquads": "rdf-test-suite spec/rdf12-parser.js https://w3c.github.io/rdf-tests/rdf/rdf12/rdf-n-quads/syntax/manifest.ttl -i '{ \"format\": \"n-quads\" }' -c .rdf-test-suite-cache/",
+    "rdf-12-turtle": "rdf-test-suite spec/rdf12-parser.js https://w3c.github.io/rdf-tests/rdf/rdf12/rdf-turtle/syntax/manifest.ttl -i '{ \"format\": \"turtle\" }' -c .rdf-test-suite-cache/",
+    "rdf-12-trig": "rdf-test-suite spec/rdf12-parser.js https://w3c.github.io/rdf-tests/rdf/rdf12/rdf-trig/syntax/manifest.ttl -i '{ \"format\": \"trig\" }' -c .rdf-test-suite-cache/"
+  },
+  "devDependencies": {
+    "rdf-test-suite": "^2.1.4"
   },
   "exports": {
     ".": {

package/test/playground.test.js

@@ -96,6 +96,15 @@ function startStaticServer(rootDir) {
         return;
       }
 
+      if (pathname === '/redirect/playground-stream-messages.txt') {
+        res.writeHead(302, {
+          Location: '/test/fixtures/playground-stream-messages.txt',
+          'Cache-Control': 'no-store',
+        });
+        res.end();
+        return;
+      }
+
       if (pathname === '/' || pathname === '') pathname = '/playground.html';
       // Prevent directory traversal.
       let fsPath = path.resolve(rootDir, '.' + pathname);
@@ -1132,7 +1141,7 @@ ${JSON.stringify(last, null, 2)}`);
     assert.equal(logQueryTurtle.sourceHidden, false, 'Expected Turtle log:query output to show source directly');
     endTest();
 
-    beginTest('playground streams RDF Messages from a URL while keeping rules in the editor');
+    beginTest('playground follows redirects while streaming RDF Messages from a URL');
     const streamMessageRules = `@prefix : <urn:test#> .
 @prefix eymsg: <https://eyereasoner.github.io/eyeling/vocab/message#> .
 @prefix log: <http://www.w3.org/2000/10/swap/log#> .
@@ -1146,7 +1155,7 @@ ${JSON.stringify(last, null, 2)}`);
 }.
 `;
     await setProgram(streamMessageRules);
-    await setStreamMessageUrlMode(started.baseUrl + '/test/fixtures/playground-stream-messages.txt');
+    await setStreamMessageUrlMode(started.baseUrl + '/redirect/playground-stream-messages.txt');
     await clickRun();
     const streamedMessages = await waitForState(
       'URL-backed RDF Message stream completion',