@enmaq/mdgl 0.2.0 → 0.3.0

package/README.md

@@ -1,49 +1,87 @@
-# @enmaq/mdgl (npm - subset, NOT conformant)
+# @enmaq/mdgl (npm)
 
-One npm package for JavaScript and TypeScript. The TypeScript source is
-`src/index.ts`; `npm run build` (`tsc`, also run by `prepack` and `npm test`)
-compiles it to `dist/index.js` (CommonJS) plus `dist/index.d.ts`. `dist/` is a
-build artifact and is not committed.
+One npm package for JavaScript and TypeScript. TypeScript source is `src/`
+(`parse.ts` syntax, `check.ts` semantics); `npm run build` (`tsc`) compiles it to
+`dist/*.js` (CommonJS) plus `.d.ts`. `dist/` is a build artifact and is not committed.
 
-This is a **SUBSET** check, not full MDGL: a tiny limit/header checker, not an
-MDGL parser. It does not pass the conformance suite. The Go module is the
-reference.
+## Status
 
-## Scope
+Implemented: full MDGL 0.1 lexical parsing and semantic checking per `SPEC.md`:
+Go-style quoted escapes, UTF-8 byte columns, finite non-exponent decimals,
+scene/actor/action ordering, actor references, forward parents and cycles, all
+actor and action argument types, duplicates and unknowns with did-you-mean,
+overlapping properties, timing/period/repeat/fallback, and the stage, count and
+text limits. Also implemented: evaluator and terminal-cell renderer (`compile`, `frameNs`,
+`fallbackFrame`; all nine actions, easing, repeat/Done/fallback, parent transforms, text, braille rect/circle,
+wire cube) and the NDJSON conformance adapter (`bin/mdgl-adapter.js`, `handleLine`). Rect/circle follow a coordinator reference profile, not SPEC text.
+The current shared corpus has 86 fixtures (64 normative + 22 non-normative or profile-assumption); all five adapters (Go, Rust, C, TypeScript/JavaScript, Python) passed it in an independent verification on 2026-10-10 UTC, accepted by the coordinator. That is bounded evidence under conformance protocol v1, not a universal SPEC certification.
+Braille lines are quantized to 1e-9, clipped to the stage dot box, then stepped (ceil of the longer span, 1..800), as the SPEC
+rule and the coordinator reference profile state; this reproduces all 24 cube fixtures. No full-conformance claim: rect/circle and cube colour have only
+non-normative reference-profile observable fixtures (`obs_ref_*`), and normative rect/circle coverage is still an open gap.
+The 0.2.0 package was an earlier limited header/resource check.
 
-Checked (mirrors the Go reference on these rules only): input <= 256 KiB (UTF-8
-bytes), each line <= 16 KiB, a single `scene` header with `width` (1..200),
-`height` (1..60) and `fallback`, no unknown/duplicate scene keys, optional
-leading `mdgl 0.1`, scene before actors before actions, <= 64 actors,
-<= 1024 actions.
-
-NOT checked: full grammar, actor/action bodies, references, timing, arguments,
-`period`/`repeat`/`fps`/`fallback` values, string limits, rendering, frames.
-JS strings cannot hold invalid UTF-8, so that rule is not applicable.
-
-`check(source)` returns `Diag[]` (`{line, col, message}`; also exported as
-`Problem`, with `CheckResult = Diag[]`). An empty array means
-"no limit/header problems found", **not** "valid MDGL". Non-strings throw `TypeError`.
+## API
 
 ```ts
-import { check } from '@enmaq/mdgl';
-console.log(check('scene width=8 height=1 fallback=end\n')); // []
+import { check, parse, parseChecked } from '@enmaq/mdgl';
+check(source);         // Diag[] ({line, col, message}); [] means valid; the first entry is the compat diagnostic
+parse(source);         // source-located statements, no semantic checks
+parseChecked(source);  // { ok: true, doc: {scene, actors, actions} } or { ok: false, diagnostics }
 ```
 
-## Development
+Non-strings throw `TypeError`. Times in the checked model are integer nanoseconds.
+
+## Unicode compatibility profile
 
-`npm test` builds, type-checks `test/consumer/consumer.ts` (strict typed
-consumer) and runs the shared 25-case table against `dist/`.
+Grapheme counting and cell width use pinned Unicode 15.0.0 tables (`src/unicode-tables.ts`, generated by
+`scripts/gen-unicode.js` from the official unicode.org 15.0.0 data; input hashes are in the table header;
+licence in `UNICODE-LICENSE.txt`). This is a compatibility profile, not a new normative MDGL rule. One extended
+grapheme cluster (UAX #29, no GB9c) occupies one cell. `cellRune` emits the first non-mark rune; U+FFFD when the
+cluster is width 2 (East Asian W/F first rune, regional indicators including flag pairs, emoji-style VS16 and
+keycap sequences); a blank only for a cluster made entirely of marks (zero-width format or default-ignorable runes are non-mark and are emitted, still one cell).
+Not modelled: width of ZWJ sequences beyond their first rune, and terminal-specific width tables.
 
-## Install and versions
+## Examples
+
+Two runnable examples render one frame of the shared `../examples/text.mdgl` using the public API
+(`check`, `compile`, `frameNs`, `fallbackFrame`):
 
 ```
-npm install @enmaq/mdgl
+npm install
+npm run example:js                      # builds, then node examples/render.mjs
+npm run example:ts                      # builds, compiles examples/render.ts, runs it
+node examples/render.mjs ../examples/ui-motion.mdgl --time 2.5   # another scene, absolute seconds
+node examples/render.mjs --fallback                              # fallback frame (no done flag)
 ```
 
-```ts
-import { check } from '@enmaq/mdgl';   // CommonJS: const { check } = require('@enmaq/mdgl');
-const diags = check(source);    // Diag[] of {line, col, message}; [] = no limit/header problems
+Invalid MDGL prints `file:line:col: message` and exits 1; unreadable files or a bad `--time` exit 2.
+Circle radius is limited to 100 (diameter 200); rect and cube sizes to 200.
+
+## Terminal player: `mdgl play FILE`
+
+The package installs an `mdgl` command (and the `mdgl-adapter` conformance adapter):
+
+```
+npm install @enmaq/mdgl        # or: npx -p @enmaq/mdgl mdgl play scene.mdgl
+mdgl play scene.mdgl           # animate in the terminal; Ctrl+C stops
+mdgl check scene.mdgl          # validate; file:line:col: message on stderr
+mdgl frames scene.mdgl --at 0,1.5   # print frames at absolute seconds
 ```
 
-Versions track the shared MDGL release (`VERSION`). The package will be published with the 0.2.0 cohort; see [RELEASING.md](../RELEASING.md).
+Playback follows the SPEC: frame time is the monotonic elapsed time (late timers drop frames, never
+change state), the scene `fps` sets the rate, only changed cells are rewritten (fg and bg), each
+update is one DEC synchronized-output (mode 2026) chunk, and the cursor is hidden and restored on every exit path. Finite scenes stop
+when the evaluator reports done; infinite repeat runs until interrupted. Cell glyphs are sanitised, so
+a scene can never inject terminal escapes. When stdout is not a terminal, or `NO_COLOR` or
+`MDGL_REDUCED_MOTION` is set to a non-empty value, `play` prints the plain fallback frame once, with no escapes or timers.
+
+Exit codes: 0 normal, 1 invalid scene or output error, 2 usage error or unreadable file, 130 Ctrl+C, 143 SIGTERM.
+Limits: the terminal must be at least as wide and tall as the scene (no resize handling); `play` needs an ANSI terminal.
+
+Library: `play(scene, {write, clock, onWriteError?, onInterrupt?})` returns `{done, stop}` and does no I/O itself;
+`examples/play.mjs` shows the wiring, and `plainFallback(scene)` gives the redirected-output text.
+
+## Development
+
+`npm test` builds, type-checks `test/consumer/consumer.ts` and runs the tests,
+including every `.mdgl` file in `../conformance`.

package/UNICODE-LICENSE.txt

@@ -0,0 +1,39 @@
+UNICODE LICENSE V3
+
+COPYRIGHT AND PERMISSION NOTICE
+
+Copyright © 1991-2026 Unicode, Inc.
+
+NOTICE TO USER: Carefully read the following legal agreement. BY
+DOWNLOADING, INSTALLING, COPYING OR OTHERWISE USING DATA FILES, AND/OR
+SOFTWARE, YOU UNEQUIVOCALLY ACCEPT, AND AGREE TO BE BOUND BY, ALL OF THE
+TERMS AND CONDITIONS OF THIS AGREEMENT. IF YOU DO NOT AGREE, DO NOT
+DOWNLOAD, INSTALL, COPY, DISTRIBUTE OR USE THE DATA FILES OR SOFTWARE.
+
+Permission is hereby granted, free of charge, to any person obtaining a
+copy of data files and any associated documentation (the "Data Files") or
+software and any associated documentation (the "Software") to deal in the
+Data Files or Software without restriction, including without limitation
+the rights to use, copy, modify, merge, publish, distribute, and/or sell
+copies of the Data Files or Software, and to permit persons to whom the
+Data Files or Software are furnished to do so, provided that either (a)
+this copyright and permission notice appear with all copies of the Data
+Files or Software, or (b) this copyright and permission notice appear in
+associated Documentation.
+
+THE DATA FILES AND SOFTWARE ARE PROVIDED "AS IS", WITHOUT WARRANTY OF ANY
+KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT OF
+THIRD PARTY RIGHTS.
+
+IN NO EVENT SHALL THE COPYRIGHT HOLDER OR HOLDERS INCLUDED IN THIS NOTICE
+BE LIABLE FOR ANY CLAIM, OR ANY SPECIAL INDIRECT OR CONSEQUENTIAL DAMAGES,
+OR ANY DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS,
+WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION,
+ARISING OUT OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THE DATA
+FILES OR SOFTWARE.
+
+Except as contained in this notice, the name of a copyright holder shall
+not be used in advertising or otherwise to promote the sale, use or other
+dealings in these Data Files or Software without prior written
+authorization of the copyright holder.

package/bin/mdgl-adapter.js

@@ -0,0 +1,31 @@
+#!/usr/bin/env node
+'use strict';
+// Newline-delimited JSON conformance adapter (PROTOCOL v1). One response line per request line,
+// processed in order; the final non-empty line without a newline is answered once.
+const { handleLine, invalidUtf8, MAX_REQUEST_LINE } = require('../dist/adapter.js');
+// Fatal decode of the complete line bytes: malformed UTF-8 is rejected, never replaced; a BOM is kept (ignoreBOM) so JSON parsing rejects it.
+const dec = new TextDecoder('utf-8', { fatal: true, ignoreBOM: true });
+let buf = Buffer.alloc(0), skipping = false;
+const emit = (s) => process.stdout.write(s + '\n');
+function line(b) {
+  if (b.length > MAX_REQUEST_LINE) return emit(handleLine('', b.length));
+  let text;
+  try { text = dec.decode(b); } catch (e) { return emit(invalidUtf8()); }
+  emit(handleLine(text, b.length));
+}
+process.stdin.on('data', (chunk) => {
+  buf = Buffer.concat([buf, chunk]);
+  for (;;) {
+    const nl = buf.indexOf(10);
+    if (nl < 0) {
+      if (buf.length > MAX_REQUEST_LINE && !skipping) { emit(handleLine('', MAX_REQUEST_LINE + 1)); skipping = true; }
+      if (skipping) buf = Buffer.alloc(0);
+      return;
+    }
+    const l = buf.subarray(0, nl);
+    buf = buf.subarray(nl + 1);
+    if (skipping) { skipping = false; continue; }
+    line(l);
+  }
+});
+process.stdin.on('end', () => { if (!skipping && buf.length > 0) line(buf); });

package/bin/mdgl.js

@@ -0,0 +1,105 @@
+#!/usr/bin/env node
+'use strict';
+// mdgl command line: check FILE | frames FILE --at t1,t2 | play FILE.
+// Exit codes: 0 ok, 1 invalid scene or output error, 2 usage or unreadable file,
+// 130 interrupted by Ctrl+C (SIGINT), 143 terminated (SIGTERM).
+const fs = require('node:fs');
+const { performance } = require('node:perf_hooks');
+const mdgl = require('../dist/index.js');
+const pkg = require('../package.json');
+
+const USAGE = `usage: mdgl <command> [options]
+
+commands:
+  play FILE             play FILE in the terminal (Ctrl+C stops it)
+  check FILE            validate FILE; prints file:line:col: message and exits 1 if invalid
+  frames FILE --at T,T  print the frame at each absolute time T (seconds), conformance format
+
+play shows the fallback frame once, without escapes or timers, when stdout is not a terminal
+or NO_COLOR or MDGL_REDUCED_MOTION is set to a non-empty value.
+
+options:
+  -h, --help     show this help
+  -V, --version  show the version
+
+exit codes: 0 ok, 1 invalid scene or output error, 2 usage or unreadable file, 130 Ctrl+C
+`;
+const usage = (msg) => { if (msg) process.stderr.write(`mdgl: ${msg}\n`); process.stderr.write(USAGE); process.exitCode = 2; };
+
+function load(file) {
+  let src;
+  try { src = fs.readFileSync(file, 'utf8'); } catch (e) { process.stderr.write(`mdgl: cannot read ${file}\n`); process.exitCode = 2; return null; }
+  const r = mdgl.compile(src);
+  if (!r.ok) {
+    for (const d of r.diagnostics) process.stderr.write(`${file}:${d.line}:${d.col}: ${d.message}\n`);
+    process.exitCode = 1;
+    return null;
+  }
+  return r.scene;
+}
+/** decimal seconds -> integer nanoseconds, or null */
+function seconds(s) {
+  const m = /^([0-9]+)(?:\.([0-9]+))?$/.exec(s);
+  if (!m) return null;
+  const ns = Number(m[1]) * 1e9 + Number(((m[2] || '') + '000000000').slice(0, 9));
+  return Number.isSafeInteger(ns) ? ns : null;
+}
+function writeOut(text) {
+  return new Promise((resolve) => {
+    const onErr = (e) => { process.stderr.write(`mdgl: write error: ${e && e.code ? e.code : 'failed'}\n`); process.exitCode = 1; resolve(); };
+    process.stdout.once('error', onErr);
+    process.stdout.write(text, () => { process.stdout.off('error', onErr); resolve(); });
+  });
+}
+
+async function play(file) {
+  const scene = load(file);
+  if (!scene) return;
+  const reduced = (process.env.NO_COLOR || '') !== '' || (process.env.MDGL_REDUCED_MOTION || '') !== '';
+  if (!process.stdout.isTTY || reduced) { await writeOut(mdgl.plainFallback(scene)); return; }
+  const out = process.stdout;
+  const handle = mdgl.play(scene, {
+    write: (s) => { out.write(s); },
+    clock: { now: () => performance.now(), setTimeout: (f, ms) => setTimeout(f, ms), clearTimeout: (h) => clearTimeout(h) },
+    onWriteError: (cb) => { out.on('error', cb); return () => out.off('error', cb); },
+    onInterrupt: (cb) => {
+      const a = () => cb(130), b = () => cb(143);
+      process.on('SIGINT', a);
+      process.on('SIGTERM', b);
+      return () => { process.off('SIGINT', a); process.off('SIGTERM', b); };
+    },
+  });
+  const res = await handle.done;
+  // keep a late stream error from crashing during teardown
+  out.on('error', () => {});
+  if (res.reason === 'write-error') process.stderr.write(`mdgl: write error: ${res.error && res.error.code ? res.error.code : 'failed'}\n`);
+  process.exitCode = res.code;
+}
+
+async function main(argv) {
+  const [cmd, ...rest] = argv;
+  if (cmd === undefined) return usage();
+  if (cmd === '-h' || cmd === '--help' || cmd === 'help') { process.stdout.write(USAGE); return; }
+  if (cmd === '-V' || cmd === '--version') { process.stdout.write(`${pkg.version}\n`); return; }
+  if (!['play', 'check', 'frames'].includes(cmd)) return usage(`unknown command ${JSON.stringify(cmd)}`);
+  if (rest.includes('-h') || rest.includes('--help')) { process.stdout.write(USAGE); return; }
+  const at = rest.indexOf('--at');
+  const times = at >= 0 ? rest.splice(at, 2)[1] : undefined;
+  const flags = rest.filter((a) => a.startsWith('-'));
+  if (flags.length) return usage(`unknown option ${flags[0]}`);
+  if (rest.length !== 1) return usage('expected exactly one FILE');
+  const file = rest[0];
+  if (cmd === 'check') { if (load(file)) process.stdout.write('ok\n'); return; }
+  if (cmd === 'frames') {
+    if (times === undefined) return usage('frames needs --at T,T');
+    const list = times.split(',');
+    const ns = list.map(seconds);
+    if (ns.includes(null)) return usage('--at takes non-negative decimal seconds');
+    const scene = load(file);
+    if (!scene) return;
+    await writeOut(list.map((t, i) => `@${t}\n${mdgl.frameNs(scene, ns[i]).cells.map((r) => r.map((c) => mdgl.sanitizeRune(c.r)).join('').replace(/ +$/, '')).join('\n')}\n`).join(''));
+    return;
+  }
+  await play(file);
+}
+main(process.argv.slice(2)).catch((e) => { process.stderr.write(`mdgl: ${e && e.message ? e.message : e}\n`); process.exitCode = 1; });

package/dist/adapter.d.ts

@@ -0,0 +1,7 @@
+export declare const MAX_REQUEST_LINE = 2097152;
+/** Exact mathematical integer value of a JSON number lexeme, or null if it is not an integer. */
+export declare function mathInt(lex: string): bigint | null;
+/** bad_request response for a line whose bytes are not valid UTF-8 (the id is unrecoverable). */
+export declare const invalidUtf8: () => string;
+/** Handle one request line (without its newline). Always returns exactly one response line. */
+export declare function handleLine(line: string, lineBytes?: number): string;

package/dist/adapter.js

@@ -0,0 +1,231 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.invalidUtf8 = exports.MAX_REQUEST_LINE = void 0;
+exports.mathInt = mathInt;
+exports.handleLine = handleLine;
+// Conformance adapter core (PROTOCOL v1): one request line in, one response line out.
+// Pure string -> string; bin/mdgl-adapter.js wires stdin/stdout. JSON numbers are kept as
+// lexemes and validated as exact mathematical integers (9007199254740991.1 rejects).
+const check_1 = require("./check");
+const eval_1 = require("./eval");
+exports.MAX_REQUEST_LINE = 2097152;
+class Bad extends Error {
+}
+function parseJson(t) {
+    let i = 0, lone = false, depth = 0;
+    const ws = () => { while (i < t.length && (t[i] === ' ' || t[i] === '\t' || t[i] === '\n' || t[i] === '\r'))
+        i++; };
+    const lit = (w, v) => { if (!t.startsWith(w, i))
+        throw new Bad(); i += w.length; return v; };
+    const str = () => {
+        i++;
+        let o = '';
+        for (;;) {
+            if (i >= t.length)
+                throw new Bad();
+            const c = t[i];
+            if (c === '"') {
+                i++;
+                return o;
+            }
+            if (c < ' ')
+                throw new Bad();
+            if (c !== '\\') {
+                o += c;
+                i++;
+                continue;
+            }
+            const e = t[i + 1];
+            const m = { '"': '"', '\\': '\\', '/': '/', b: '\b', f: '\f', n: '\n', r: '\r', t: '\t' };
+            if (e in m) {
+                o += m[e];
+                i += 2;
+            }
+            else if (e === 'u') {
+                const h = t.slice(i + 2, i + 6);
+                if (!/^[0-9a-fA-F]{4}$/.test(h))
+                    throw new Bad();
+                const cu = parseInt(h, 16);
+                if (cu >= 0xd800 && cu < 0xdc00) {
+                    const lo = /^\\u([dD][c-fC-F][0-9a-fA-F]{2})/.exec(t.slice(i + 6, i + 12));
+                    if (lo) {
+                        o += String.fromCharCode(cu, parseInt(lo[1], 16));
+                        i += 12;
+                        continue;
+                    }
+                    lone = true;
+                }
+                else if (cu >= 0xdc00 && cu < 0xe000)
+                    lone = true;
+                o += String.fromCharCode(cu);
+                i += 6;
+            }
+            else
+                throw new Bad();
+        }
+    };
+    const val = () => {
+        ws();
+        const c = t[i];
+        if (++depth > 200)
+            throw new Bad();
+        let r;
+        if (c === '{') {
+            i++;
+            const o = {};
+            ws();
+            if (t[i] === '}')
+                i++;
+            else
+                for (;;) {
+                    ws();
+                    if (t[i] !== '"')
+                        throw new Bad();
+                    const k = str();
+                    ws();
+                    if (t[i++] !== ':')
+                        throw new Bad();
+                    o[k] = val();
+                    ws();
+                    if (t[i] === ',') {
+                        i++;
+                        continue;
+                    }
+                    if (t[i++] === '}')
+                        break;
+                    throw new Bad();
+                }
+            r = o;
+        }
+        else if (c === '[') {
+            i++;
+            const a = [];
+            ws();
+            if (t[i] === ']')
+                i++;
+            else
+                for (;;) {
+                    a.push(val());
+                    ws();
+                    if (t[i] === ',') {
+                        i++;
+                        continue;
+                    }
+                    if (t[i++] === ']')
+                        break;
+                    throw new Bad();
+                }
+            r = a;
+        }
+        else if (c === '"')
+            r = str();
+        else if (c === 't')
+            r = lit('true', true);
+        else if (c === 'f')
+            r = lit('false', false);
+        else if (c === 'n')
+            r = lit('null', null);
+        else {
+            const m = /^-?(?:0|[1-9][0-9]*)(?:\.[0-9]+)?(?:[eE][+-]?[0-9]+)?/.exec(t.slice(i, i + 4096));
+            if (!m)
+                throw new Bad();
+            i += m[0].length;
+            r = { num: m[0] };
+        }
+        depth--;
+        return r;
+    };
+    const v = val();
+    ws();
+    if (i !== t.length)
+        throw new Bad();
+    return { v, lone };
+}
+/** Exact mathematical integer value of a JSON number lexeme, or null if it is not an integer. */
+function mathInt(lex) {
+    const m = /^(-?)(\d+)(?:\.(\d+))?(?:[eE]([+-]?\d+))?$/.exec(lex);
+    if (!m)
+        return null;
+    const frac = m[3] ?? '';
+    const exp = Number(m[4] ?? '0') - frac.length;
+    let d = BigInt(m[2] + frac);
+    if (d === 0n)
+        return 0n;
+    if (exp > 400)
+        return null; // far beyond any accepted range; treat as out of range by callers
+    if (exp >= 0)
+        d *= 10n ** BigInt(exp);
+    else {
+        const p = 10n ** BigInt(-exp);
+        if (-exp > 4000 || d % p !== 0n)
+            return null;
+        d /= p;
+    }
+    return m[1] ? -d : d;
+}
+const isNum = (v) => typeof v === 'object' && v !== null && !Array.isArray(v) && 'num' in v && typeof v.num === 'string';
+function intIn(v, lo, hi) {
+    if (!isNum(v))
+        return null;
+    const n = mathInt(v.num);
+    return n === null || n < lo || n > hi ? null : Number(n);
+}
+const out = (o) => JSON.stringify(o);
+const fail = (id, code, message, extra) => out({ v: 1, id, ok: false, error: { code, message, ...extra } });
+/** bad_request response for a line whose bytes are not valid UTF-8 (the id is unrecoverable). */
+const invalidUtf8 = () => fail(null, 'bad_request', 'request line is not valid UTF-8');
+exports.invalidUtf8 = invalidUtf8;
+/** Handle one request line (without its newline). Always returns exactly one response line. */
+function handleLine(line, lineBytes = line.length) {
+    if (lineBytes > exports.MAX_REQUEST_LINE)
+        return fail(null, 'bad_request', 'request line too long');
+    let top, lone;
+    try {
+        ({ v: top, lone } = parseJson(line));
+    }
+    catch (e) {
+        return fail(null, 'bad_request', line.trim() === '' ? 'blank line' : 'invalid JSON');
+    }
+    if (typeof top !== 'object' || top === null || Array.isArray(top) || isNum(top))
+        return fail(null, 'bad_request', 'request must be a JSON object');
+    const o = top;
+    const id = typeof o.id === 'string' ? o.id : null;
+    if (!isNum(o.v) || mathInt(o.v.num) === null)
+        return fail(id, 'bad_request', 'v must be an integer');
+    if (mathInt(o.v.num) !== 1n)
+        return fail(id, 'unsupported_version', `protocol version ${o.v.num} is not supported`);
+    if (id === null)
+        return fail(null, 'bad_request', 'id must be a string');
+    if (o.op !== 'check' && o.op !== 'frame')
+        return fail(id, 'bad_request', 'op must be "check" or "frame"');
+    if (typeof o.source !== 'string')
+        return fail(id, 'bad_request', 'source must be a string');
+    if (lone)
+        return fail(id, 'bad_request', 'source contains a lone surrogate');
+    let width = 0, height = 0, tNs = 0, fb = false;
+    if (o.op === 'frame') {
+        const w = intIn(o.width, 1n, 200n), h = intIn(o.height, 1n, 60n);
+        if (w === null || h === null)
+            return fail(id, 'bad_request', 'width and height must be integers in 1..200 and 1..60');
+        width = w;
+        height = h;
+        if ('fallback' in o && typeof o.fallback !== 'boolean')
+            return fail(id, 'bad_request', 'fallback must be a boolean');
+        fb = o.fallback === true;
+        if (!fb) {
+            const t = intIn(o.time_ns, 0n, 9007199254740991n);
+            if (t === null)
+                return fail(id, 'bad_request', 'time_ns must be an integer in 0..2^53-1');
+            tNs = t;
+        }
+    }
+    const r = (0, check_1.parseChecked)(o.source);
+    if (o.op === 'check')
+        return out({ v: 1, id, ok: true, diagnostics: r.ok ? [] : r.diagnostics });
+    if (!r.ok)
+        return fail(id, 'invalid_source', 'source has diagnostics', { diagnostics: r.diagnostics });
+    const sc = (0, eval_1.compileDocument)(r.doc);
+    const f = fb ? (0, eval_1.fallbackFrame)(sc, width, height) : (0, eval_1.frameNs)(sc, tNs, width, height);
+    const cells = f.cells.map((row) => row.map((c) => ({ r: c.r, fg: c.fg, bg: c.bg })));
+    return out(fb ? { v: 1, id, ok: true, width: f.width, height: f.height, cells } : { v: 1, id, ok: true, width: f.width, height: f.height, cells, done: f.done });
+}

package/dist/check.d.ts

@@ -0,0 +1,48 @@
+import { ActionStmt, ActorStmt, Diag, Document } from './parse';
+export declare const MAX_ACTORS = 64;
+export declare const MAX_ACTIONS = 1024;
+export type Fallback = {
+    kind: 'start';
+} | {
+    kind: 'end';
+} | {
+    kind: 'at';
+    ns: number;
+};
+export interface CheckedScene {
+    line: number;
+    width: number;
+    height: number;
+    fps: number;
+    /** explicit period in ns, if given */
+    period?: number;
+    /** repeat count; Infinity for `infinite` */
+    repeat: number;
+    fallback: Fallback;
+    /** simple duration in ns: explicit period, else greatest action end */
+    duration: number;
+}
+export interface CheckedAction extends ActionStmt {
+    beginNs: number;
+    endNs: number;
+    property: string;
+    durNs: number;
+}
+export interface CheckedDocument {
+    scene: CheckedScene;
+    actors: ActorStmt[];
+    actions: CheckedAction[];
+}
+export type ParseResult = {
+    ok: true;
+    doc: CheckedDocument;
+} | {
+    ok: false;
+    diagnostics: Diag[];
+};
+/** Check a parsed document; returns the checked model or the first diagnostic. */
+export declare function checkDocument(doc: Document): ParseResult;
+/** Parse and check; returns the checked, source-located scene model or diagnostics. */
+export declare function parseChecked(source: string): ParseResult;
+/** Compat API: `[]` means the source is valid; otherwise the first diagnostic. */
+export declare function check(source: string): Diag[];