functionalscript 0.43.1 → 0.45.0

package/fjs/djs/parser/proof.f.mjs

@@ -0,0 +1,555 @@
+/**
+ * @import { DjsTokenWithMetadata } from '../tokenizer/types.ts'
+ */
+
+import { parseFromTokens } from './module.f.mjs'
+import { tokenize } from '../tokenizer/module.f.mjs'
+import { toArray } from '../../types/list/module.f.mjs'
+import { sort } from '../../types/object/module.f.mjs'
+import { stringToList } from '../../text/utf16/module.f.mjs'
+import { stringifyAsTree } from '../serializer/module.f.mjs'
+import { stringify } from '../../media/json/module.f.mjs'
+import { assert, assertEq } from '../../asserts/module.f.mjs'
+
+/** @type {(s: string) => readonly DjsTokenWithMetadata[]} */
+const tokenizeString = s => toArray(tokenize(stringToList(s))(''))
+
+const stringifyDjsModule = stringifyAsTree(sort)
+
+export const proof = {
+    valid: [
+        () => {
+            const tokenList = tokenizeString('export default null')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'ok', obj)
+            const result = stringifyDjsModule(obj[1])
+            assertEq(result, '[[],[null]]')
+        },
+        () => {
+            const tokenList = tokenizeString('export default true')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'ok', obj)
+            const result = stringifyDjsModule(obj[1])
+            assertEq(result, '[[],[true]]')
+        },
+        () => {
+            const tokenList = tokenizeString('export default false')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'ok', obj)
+            const result = stringifyDjsModule(obj[1])
+            assertEq(result, '[[],[false]]')
+        },
+        () => {
+            const tokenList = tokenizeString('export default undefined')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'ok', obj)
+            const result = stringifyDjsModule(obj[1])
+            assertEq(result, '[[],[undefined]]')
+        },
+        () => {
+            const tokenList = tokenizeString('export default 0.1')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'ok', obj)
+            const result = stringifyDjsModule(obj[1])
+            assertEq(result, '[[],[0.1]]')
+        },
+        () => {
+            const tokenList = tokenizeString('export default 1.1e+2')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'ok', obj)
+            const result = stringifyDjsModule(obj[1])
+            assertEq(result, '[[],[110]]')
+        },
+        () => {
+            const tokenList = tokenizeString('export default "abc"')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'ok', obj)
+            const result = stringifyDjsModule(obj[1])
+            assertEq(result, '[[],["abc"]]')
+        },
+        () => {
+            const tokenList = tokenizeString('export default []')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'ok', obj)
+            const result = stringifyDjsModule(obj[1])
+            assertEq(result, '[[],[["array",[]]]]')
+        },
+        () => {
+            const tokenList = tokenizeString('export default [1]')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'ok', obj)
+            const result = stringifyDjsModule(obj[1])
+            assertEq(result, '[[],[["array",[1]]]]')
+        },
+        () => {
+            const tokenList = tokenizeString('export default [[]]')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'ok', obj)
+            const result = stringifyDjsModule(obj[1])
+            assertEq(result, '[[],[["array",[["array",[]]]]]]')
+        },
+        () => {
+            const tokenList = tokenizeString('export default [0,[1,[2,[]]],3]')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'ok', obj)
+            const result = stringifyDjsModule(obj[1])
+            assertEq(result, '[[],[["array",[0,["array",[1,["array",[2,["array",[]]]]]],3]]]]')
+        },
+        () => {
+            const tokenList = tokenizeString('export default {}')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'ok', obj)
+            const result = stringifyDjsModule(obj[1])
+            if (result !== '[[],[{}]]') { throw result }
+        },
+        () => {
+            const tokenList = tokenizeString('export default [{}]')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'ok', obj)
+            const result = stringifyDjsModule(obj[1])
+            if (result !== '[[],[["array",[{}]]]]') { throw result }
+        },
+        () => {
+            const tokenList = tokenizeString('export default {"a":true,"b":false,"c":null,"d":undefined}')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'ok', obj)
+            const result = stringifyDjsModule(obj[1])
+            if (result !== '[[],[{"a":true,"b":false,"c":null,"d":undefined}]]') { throw result }
+        },
+        () => {
+            const tokenList = tokenizeString('export default {"a":{"b":{"c":["d"]}}}')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'ok', obj)
+            const result = stringifyDjsModule(obj[1])
+            if (result !== '[[],[{"a":{"b":{"c":["array",["d"]]}}}]]') { throw result }
+        },
+        () => {
+            const tokenList = tokenizeString('export default {a: 1}')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'ok', obj)
+            const result = stringifyDjsModule(obj[1])
+            if (result !== '[[],[{"a":1}]]') { throw result }
+        },
+        () => {
+            const tokenList = tokenizeString('export default 1234567890n')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'ok', obj)
+            const result = stringifyDjsModule(obj[1])
+            assertEq(result, '[[],[1234567890n]]')
+        },
+        () => {
+            const tokenList = tokenizeString('export default [1234567890n]')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'ok', obj)
+            const result = stringifyDjsModule(obj[1])
+            assertEq(result, '[[],[["array",[1234567890n]]]]')
+        },
+        () => {
+            const tokenList = tokenizeString('export default [1,]')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'ok', obj)
+            const result = stringifyDjsModule(obj[1])
+            assertEq(result, '[[],[["array",[1]]]]')
+        },
+        () => {
+            const tokenList = tokenizeString('export default {"a":1,}')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'ok', obj)
+            const result = stringifyDjsModule(obj[1])
+            if (result !== '[[],[{"a":1}]]') { throw result }
+        }
+    ],
+    invalid: [
+        () => {
+            const tokenList = tokenizeString('export default')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'error', obj)
+            assertEq(obj[1].message, 'unexpected end')
+        },
+        () => {
+            const tokenList = tokenizeString('export default "123')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'error', obj)
+            assertEq(obj[1].message, 'unexpected token')
+        },
+        // A literal control character inside a string is not valid JSON
+        // syntax (RFC 8259 §7), and DJS string literals are JSON strings.
+        () => {
+            const tokenList = tokenizeString('export default "\t"')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'error', obj)
+            assertEq(obj[1].message, 'unexpected token')
+        },
+        () => {
+            const tokenList = tokenizeString('export default [,]')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'error', obj)
+            assertEq(obj[1].message, 'unexpected token')
+        },
+        () => {
+            const tokenList = tokenizeString('export default [1 2]')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'error', obj)
+            assertEq(obj[1].message, 'unexpected token')
+        },
+        () => {
+            const tokenList = tokenizeString('export default [1,,2]')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'error', obj)
+            assertEq(obj[1].message, 'unexpected token')
+        },
+        () => {
+            const tokenList = tokenizeString('export default []]')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'error', obj)
+            assertEq(obj[1].message, 'unexpected token')
+        },
+        () => {
+            const tokenList = tokenizeString('export default ["a"')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'error', obj)
+            assertEq(obj[1].message, 'unexpected end')
+        },
+        () => {
+            const tokenList = tokenizeString('export default [,1]')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'error', obj)
+            assertEq(obj[1].message, 'unexpected token')
+        },
+        () => {
+            const tokenList = tokenizeString('export default [:]')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'error', obj)
+            assertEq(obj[1].message, 'unexpected token')
+        },
+        () => {
+            const tokenList = tokenizeString('export default ]')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'error', obj)
+            assertEq(obj[1].message, 'unexpected token')
+        },
+        () => {
+            const tokenList = tokenizeString('export default {,}')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'error', obj)
+            assertEq(obj[1].message, 'unexpected token')
+        },
+        () => {
+            const tokenList = tokenizeString('export default {1:2}')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'error', obj)
+            assertEq(obj[1].message, 'unexpected token')
+        },
+        () => {
+            const tokenList = tokenizeString('export default {"1"2}')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'error', obj)
+            assertEq(obj[1].message, 'unexpected token')
+        },
+        () => {
+            const tokenList = tokenizeString('export default {"1"::2}')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'error', obj)
+            assertEq(obj[1].message, 'unexpected token')
+        },
+        () => {
+            const tokenList = tokenizeString('export default {"1":2,,"3":4')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'error', obj)
+            assertEq(obj[1].message, 'unexpected token')
+        },
+        () => {
+            const tokenList = tokenizeString('export default {}}')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'error', obj)
+            assertEq(obj[1].message, 'unexpected token')
+        },
+        () => {
+            const tokenList = tokenizeString('export default {"1":2')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'error', obj)
+            assertEq(obj[1].message, 'unexpected end')
+        },
+        () => {
+            const tokenList = tokenizeString('export default {,"1":2}')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'error', obj)
+            assertEq(obj[1].message, 'unexpected token')
+        },
+        () => {
+            const tokenList = tokenizeString('export default }')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'error', obj)
+            assertEq(obj[1].message, 'unexpected token')
+        },
+        () => {
+            const tokenList = tokenizeString('export default [{]}')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'error', obj)
+            assertEq(obj[1].message, 'unexpected token')
+        },
+        () => {
+            const tokenList = tokenizeString('export default {[}]')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'error', obj)
+            assertEq(obj[1].message, 'unexpected token')
+        },
+        () => {
+            const tokenList = tokenizeString('export default 10-5')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'error', obj)
+            assertEq(obj[1].message, 'unexpected token')
+        },
+    ],
+    errorMetadata: [
+        () => {
+            // column 17 is the ',' itself — the tokenizer's metadata is start-anchored
+            // (each token's own position), unlike the previous tokenizer's metadata, which
+            // lagged by one token (an artifact of when its state machine flushed a token).
+            const tokenList = tokenizeString('export default [,]')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'error', obj)
+            const errorString = stringify(sort)(obj[1])
+            if (errorString !== '{"message":"unexpected token","metadata":{"column":17,"line":1,"path":""}}') { throw errorString }
+        },
+    ],
+    validWhiteSpaces:[
+        () => {
+            const tokenList = tokenizeString(' export default [ 0 , 1 , 2 ] ')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'ok', obj)
+            const result = stringifyDjsModule(obj[1])
+            assertEq(result, '[[],[["array",[0,1,2]]]]')
+        },
+        () => {
+            const tokenList = tokenizeString(' export default { "a" : 0 , "b" : 1 } ')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'ok', obj)
+            const result = stringifyDjsModule(obj[1])
+            if (result !== '[[],[{"a":0,"b":1}]]') { throw result }
+        },
+        () => {
+            const tokenList = tokenizeString('\nexport\ndefault\n[\n0\n,\n1\n,\n2\n]\n')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'ok', obj)
+            const result = stringifyDjsModule(obj[1])
+            assertEq(result, '[[],[["array",[0,1,2]]]]')
+        },
+        () => {
+            const tokenList = tokenizeString('\rexport\rdefault\r{\r"a"\r:\r0\r,\r"b"\r:\r1\r}\r')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'ok', obj)
+            const result = stringifyDjsModule(obj[1])
+            if (result !== '[[],[{"a":0,"b":1}]]') { throw result }
+        },
+    ],
+    validJson:[
+        () => {
+            const tokenList = tokenizeString('null')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'ok', obj)
+            const result = stringifyDjsModule(obj[1])
+            assertEq(result, '[[],[null]]')
+        },
+        () => {
+            const tokenList = tokenizeString('1')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'ok', obj)
+            const result = stringifyDjsModule(obj[1])
+            assertEq(result, '[[],[1]]')
+        },
+        () => {
+            const tokenList = tokenizeString('[]')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'ok', obj)
+            const result = stringifyDjsModule(obj[1])
+            assertEq(result, '[[],[["array",[]]]]')
+        },
+        () => {
+            const tokenList = tokenizeString('{"valid":"json"}')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'ok', obj)
+            const result = stringifyDjsModule(obj[1])
+            if (result !== '[[],[{"valid":"json"}]]') { throw result }
+        }
+    ],
+    invalidModule:[
+        () => {
+            const tokenList = tokenizeString('module=null')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'error', obj)
+            assertEq(obj[1].message, 'const not found', obj)
+        },
+        () => {
+            const tokenList = tokenizeString('export null')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'error', obj)
+            assertEq(obj[1].message, 'unexpected token', obj)
+        },
+        () => {
+            const tokenList = tokenizeString('export default = null')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'error', obj)
+            assertEq(obj[1].message, 'unexpected token', obj)
+        },
+    ],
+    validWithConst:[
+        () => {
+            const tokenList = tokenizeString('const a = 1 \n const b = 2 \n export default 3')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'ok', obj)
+            const result = stringifyDjsModule(obj[1])
+            assertEq(result, '[[],[1,2,3]]')
+        },
+        () => {
+            const tokenList = tokenizeString('const a = 1 \n const b = 2 \n export default b')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'ok', obj)
+            const result = stringifyDjsModule(obj[1])
+            assertEq(result, '[[],[1,2,["cref",1]]]')
+        },
+        () => {
+            const tokenList = tokenizeString('const a = 1 \n const b = 2 \n export default [b,a,b]')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'ok', obj)
+            const result = stringifyDjsModule(obj[1])
+            assertEq(result, '[[],[1,2,["array",[["cref",1],["cref",0],["cref",1]]]]]')
+        },
+        () => {
+            const tokenList = tokenizeString('const a = 1 \n const b = 2 \n export default {"1st":b,"2nd":a,"3rd":b}')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'ok', obj)
+            const result = stringifyDjsModule(obj[1])
+            if (result !== '[[],[1,2,{"1st":["cref",1],"2nd":["cref",0],"3rd":["cref",1]}]]') { throw result }
+        },
+    ],
+    invalidWithConst:[
+        () => {
+            const tokenList = tokenizeString('const a = 1 const b = 2 export default 3')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'error', obj)
+            assertEq(obj[1].message, 'unexpected token', obj)
+        },
+        () => {
+            const tokenList = tokenizeString('const = 1 \n const b = 2 \n export default 3')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'error', obj)
+            assertEq(obj[1].message, 'unexpected token', obj)
+        },
+        () => {
+            const tokenList = tokenizeString('const a = 1 \n const a = 2 \n export default 3')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'error', obj)
+            assertEq(obj[1].message, 'duplicate id', obj)
+        },
+        () => {
+            // No newline after the const's value: the parser hits `eof` while
+            // still in the newline-required state, instead of the following
+            // `nl` token every other `const` test provides.
+            const tokenList = tokenizeString('const a = 1')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'error', obj)
+            assertEq(obj[1].message, 'unexpected end', obj)
+        },
+    ],
+    validWithArgs:[
+        () => {
+            const tokenList = tokenizeString('import a from "test/test.f.mjs" \n export default a')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'ok', obj)
+            const result = stringifyDjsModule(obj[1])
+            assertEq(result, '[["test/test.f.mjs"],[["aref",0]]]')
+        },
+        () => {
+            const tokenList = tokenizeString('import a from "first/test.f.mjs" \n import b from "second/test.f.mjs" \n export default [b, a, b]')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'ok', obj)
+            const result = stringifyDjsModule(obj[1])
+            assertEq(result, '[["first/test.f.mjs","second/test.f.mjs"],[["array",[["aref",1],["aref",0],["aref",1]]]]]')
+        },
+        () => {
+            const tokenList = tokenizeString('import a from "test/test.f.mjs" \n const b = null \n export default [b, a, b]')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'ok', obj)
+            const result = stringifyDjsModule(obj[1])
+            assertEq(result, '[["test/test.f.mjs"],[null,["array",[["cref",0],["aref",0],["cref",0]]]]]')
+        },
+    ],
+    invalidWithArgs:[
+        () => {
+            const tokenList = tokenizeString('import a from "test/test.f.mjs" export default a')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'error', obj)
+            assertEq(obj[1].message, 'unexpected token', obj)
+        },
+        () => {
+            const tokenList = tokenizeString('import a from \n export default a')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'error', obj)
+            assertEq(obj[1].message, 'unexpected token', obj)
+        },
+        () => {
+            const tokenList = tokenizeString('import a "test/test.f.mjs" \n export default a')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'error', obj)
+            assertEq(obj[1].message, 'unexpected token', obj)
+        },
+        () => {
+            const tokenList = tokenizeString('import from "test/test.f.mjs" \n export default a')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'error', obj)
+            assertEq(obj[1].message, 'unexpected token', obj)
+        },
+        () => {
+            const tokenList = tokenizeString('import a from "first/test.f.mjs" \n import a from "second/test.f.mjs" \n export default [b, a, b]')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'error', obj)
+            assertEq(obj[1].message, 'duplicate id', obj)
+        },
+        () => {
+            const tokenList = tokenizeString('import a from "test/test.f.mjs" \n const a = null \n export default null')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'error', obj)
+            assertEq(obj[1].message, 'duplicate id', obj)
+        },
+    ],
+    comments: [
+        () => {
+            const tokenList = tokenizeString('export //comment \n default /* comment */ null //comment')
+            const obj = parseFromTokens(tokenList)
+            assert(obj[0] === 'ok', obj)
+            const result = stringifyDjsModule(obj[1])
+            assertEq(result, '[[],[null]]')
+        },
+    ],
+    // Regression: closing a container popped the parser stack with `drop(1)`,
+    // which is lazy, so every closed container left one unforced thunk wrapping
+    // the stack. The chain was forced only at the end, costing a call-stack
+    // frame per container and overflowing at roughly 5000 of them — whether
+    // nested or flat siblings — while primitives were unbounded. `fjs/media/json`
+    // carried the same defect and was fixed in the same way.
+    containerStackCost: [
+        () => {
+            const [tag, value] = parseFromTokens(tokenizeString(
+                `export default [${Array(20000).fill('{}').join(',')}]`))
+            assert(tag === 'ok', tag)
+            assertEq(value[1].length, 1)
+        },
+        () => {
+            const [tag] = parseFromTokens(tokenizeString(
+                `export default [${Array(20000).fill('[]').join(',')}]`))
+            assert(tag === 'ok', tag)
+        },
+        () => {
+            const [tag] = parseFromTokens(tokenizeString(
+                'export default ' + '['.repeat(20000) + ']'.repeat(20000)))
+            assert(tag === 'ok', tag)
+        },
+        () => {
+            // primitives never touched the stack — the baseline that always passed
+            const [tag] = parseFromTokens(tokenizeString(
+                `export default [${Array.from({ length: 20000 }, (_, i) => i).join(',')}]`))
+            assert(tag === 'ok', tag)
+        },
+    ]
+}

package/fjs/djs/parser/types.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Type-level API for `fjs/djs/parser/module.f.mjs`: the `ParseError` shape
+ * `parseFromTokens` reports.
+ *
+ * @module
+ */
+import type { TokenMetadata } from '../../js/tokenizer/types.ts';
+export type ParseError = {
+    readonly message: string;
+    readonly metadata: TokenMetadata | null;
+};

package/fjs/djs/proof.f.d.mts

@@ -0,0 +1,13 @@
+/**
+ * @import { Vec } from '../types/bit_vec/types.ts'
+ */
+export declare const proof: {
+    tooFewArgs: {
+        noArgs: () => void;
+        oneArg: () => void;
+    };
+    success: () => void;
+    jsonOutput: () => void;
+    fileNotFound: () => void;
+    parseError: () => void;
+};

package/fjs/djs/proof.f.mjs

@@ -0,0 +1,55 @@
+/**
+ * @import { Vec } from '../types/bit_vec/types.ts'
+ */
+
+import { compile } from './module.f.mjs'
+import { virtual, emptyState } from '../effects/node/virtual/module.f.mjs'
+import { utf8, utf8ToString } from '../text/module.f.mjs'
+import { assert, assertEq } from '../asserts/module.f.mjs'
+
+/** @type {(root: typeof emptyState.root, path: string) => string} */
+const readOutput = (root, path) => {
+    const file = root[path]
+    if (!Array.isArray(file) || file.length === 0) { throw `${path} is not a file` }
+    return utf8ToString(/** @type {readonly Vec[]} */ (file)[0])
+}
+
+export const proof = {
+    tooFewArgs: {
+        noArgs: () => {
+            const [state, code] = virtual(emptyState)(compile([]))
+            assertEq(code, 1)
+            assert(state.stderr.includes('Requires 2 or more arguments'), state.stderr)
+        },
+        oneArg: () => {
+            const [state, code] = virtual(emptyState)(compile(['input.f.js']))
+            assertEq(code, 1)
+            assert(state.stderr.includes('Requires 2 or more arguments'), state.stderr)
+        },
+    },
+    success: () => {
+        const root = { 'input.f.js': [utf8('export default 42')] }
+        const [state, code] = virtual({ ...emptyState, root })(compile(['input.f.js', 'output.f.js']))
+        assertEq(code, 0)
+        const content = readOutput(state.root, 'output.f.js')
+        assertEq(content, 'export default 42')
+    },
+    jsonOutput: () => {
+        const root = { 'input.f.js': [utf8('export default 42')] }
+        const [state, code] = virtual({ ...emptyState, root })(compile(['input.f.js', 'output.json']))
+        assertEq(code, 0)
+        const content = readOutput(state.root, 'output.json')
+        assertEq(content, '42')
+    },
+    fileNotFound: () => {
+        const [state, code] = virtual(emptyState)(compile(['missing.f.js', 'output.f.js']))
+        assertEq(code, 0)
+        assert(state.stderr.includes('file not found'), state.stderr)
+    },
+    parseError: () => {
+        const root = { 'bad.f.js': [utf8('export default @')] }
+        const [state, code] = virtual({ ...emptyState, root })(compile(['bad.f.js', 'output.f.js']))
+        assertEq(code, 0)
+        assert(state.stderr !== '', 'expected error output')
+    },
+}

package/fjs/djs/serializer/module.f.d.mts

@@ -0,0 +1,30 @@
+/**
+ * DJS serializer for formatting AST values back to source text.
+ *
+ * @module
+ *
+ * @import { Unknown, Object } from '../types.ts'
+ * @import { Fold } from '../../types/function/operator/types.ts'
+ * @import { Entry as ObjectEntry } from '../../types/object/types.ts'
+ * @import { List } from '../../types/list/types.ts'
+ */
+import type { Unknown } from '../types.ts';
+import type { Entry as ObjectEntry } from '../../types/object/types.ts';
+import type { List } from '../../types/list/types.ts';
+export declare const undefinedSerialize: string[];
+export type _RefCounter = readonly [number, number];
+export type _MapEntries = (entries: List<ObjectEntry<Unknown>>) => List<ObjectEntry<Unknown>>;
+export type _Refs = ReadonlyMap<Unknown, _RefCounter>;
+export type _GetConstsState = {
+    readonly added: ReadonlySet<Unknown>;
+    readonly consts: List<Unknown>;
+};
+export type _RefLookup = (value: Unknown) => List<string> | null;
+/** @type {(mapEntries: _MapEntries) => (value: Unknown) => List<string>} */
+export declare const serializeWithoutConst: (mapEntries: _MapEntries) => (value: Unknown) => List<string>;
+/** @type {(sort: _MapEntries) => (djs: Unknown) => string} */
+export declare const stringify: (sort: _MapEntries) => (djs: Unknown) => string;
+/** @type {(mapEntries: _MapEntries) => (value: Unknown) => string} */
+export declare const stringifyAsTree: (mapEntries: _MapEntries) => (value: Unknown) => string;
+/** @type {(djs: Unknown) => _Refs} */
+export declare const countRefs: (djs: Unknown) => _Refs;