functionalscript 0.36.0 → 0.37.0

package/fs/djs/serializer/proof.f.js

@@ -1,7 +1,7 @@
-import { countRefs, stringify, stringifyAsTree } from "./module.f.js";
-import { sort } from "../../types/object/module.f.js";
-import { identity } from "../../types/function/module.f.js";
-import { setProperty } from "../../json/module.f.js";
+import { countRefs, stringify, stringifyAsTree } from './module.f.js';
+import { sort } from '../../types/object/module.f.js';
+import { identity } from '../../types/function/module.f.js';
+import { setProperty } from '../../media/json/module.f.js';
 export const proof = {
     stringify: [
         {

package/fs/djs/tokenizer/module.f.js

@@ -1,6 +1,6 @@
-import { empty, flat, map, stateScan } from "../../types/list/module.f.js";
-import { multiply } from "../../types/bigfloat/module.f.js";
-import * as jsTokenizer from "../../js/tokenizer/module.f.js";
+import { empty, flat, map, stateScan } from '../../types/list/module.f.js';
+import { multiply } from '../../types/bigfloat/module.f.js';
+import * as jsTokenizer from '../../js/tokenizer/module.f.js';
 const mapToken = input => {
     switch (input.kind) {
         case 'id':

package/fs/djs/tokenizer/proof.f.js

@@ -1,8 +1,8 @@
-import { tokenize } from "./module.f.js";
-import { map, toArray } from "../../types/list/module.f.js";
-import { stringifyAsTree } from "../serializer/module.f.js";
-import { sort } from "../../types/object/module.f.js";
-import { stringToList } from "../../text/utf16/module.f.js";
+import { tokenize } from './module.f.js';
+import { map, toArray } from '../../types/list/module.f.js';
+import { stringifyAsTree } from '../serializer/module.f.js';
+import { sort } from '../../types/object/module.f.js';
+import { stringToList } from '../../text/utf16/module.f.js';
 const tokenizeString = s => toArray(map(withoutMetada)(tokenize(stringToList(s))('')));
 const tokenizeStringWithMetadata = s => toArray(tokenize(stringToList(s))(''));
 const stringify = stringifyAsTree(sort);

package/fs/djs/tokenizer-new/proof.f.js

@@ -1,9 +1,9 @@
-import { descentParser } from "../../bnf/descent/module.f.js";
-import { backspace, ht, lf, ff, cr, quotationMark, solidus, reverseSolidus, digitRange, digit0, latinCapitalLetterA, latinSmallLetterA, latinSmallLetterB, latinSmallLetterF, latinSmallLetterN, latinSmallLetterR, latinSmallLetterT, latinSmallLetterU, range, } from "../../text/ascii/module.f.js";
-import { stringToCodePointList } from "../../text/utf16/module.f.js";
-import { contains } from "../../types/range/module.f.js";
-import { concat, filter, flat, flatMap, map, stateScan, toArray } from "../../types/list/module.f.js";
-import { jsGrammar, parse } from "./module.f.js";
+import { descentParser } from '../../bnf/descent/module.f.js';
+import { backspace, ht, lf, ff, cr, quotationMark, solidus, reverseSolidus, digitRange, digit0, latinCapitalLetterA, latinSmallLetterA, latinSmallLetterB, latinSmallLetterF, latinSmallLetterN, latinSmallLetterR, latinSmallLetterT, latinSmallLetterU, range, } from '../../text/ascii/module.f.js';
+import { stringToCodePointList } from '../../text/utf16/module.f.js';
+import { contains } from '../../types/range/module.f.js';
+import { concat, filter, flat, flatMap, map, stateScan, toArray } from '../../types/list/module.f.js';
+import { jsGrammar, parse } from './module.f.js';
 const mapCodePoint = (cp) => [cp, undefined];
 const descentParserCpOnly = (m, name, cp) => {
     const cpm = toArray(map(mapCodePoint)(cp));

package/fs/djs/transpiler/module.f.d.ts

@@ -34,3 +34,8 @@ export type djsResult = {
  * on a parse failure or circular dependency.
  */
 export declare const transpile: (path: string) => Effect<ReadFile, Result<Unknown, ParseError>>;
+export declare const proof: {
+    throw: {
+        mapDjsUnresolvedImport: () => Unknown;
+    };
+};

package/fs/djs/transpiler/module.f.js

@@ -3,17 +3,17 @@
  *
  * @module
  */
-import {} from "../module.f.js";
-import { error, ok } from "../../types/result/module.f.js";
-import { drop, map as listMap, toArray, includes } from "../../types/list/module.f.js";
-import { tokenize } from "../tokenizer/module.f.js";
-import { setReplace, at } from "../../types/ordered_map/module.f.js";
-import { stringToList } from "../../text/utf16/module.f.js";
-import { concat as pathConcat } from "../../path/module.f.js";
-import { parseFromTokens } from "../parser/module.f.js";
-import { run } from "../ast/module.f.js";
-import { foldStep, pure } from "../../effects/module.f.js";
-import { readUtf8File } from "../../effects/node/module.f.js";
+import {} from '../module.f.js';
+import { error, ok } from '../../types/result/module.f.js';
+import { drop, map as listMap, toArray, includes } from '../../types/list/module.f.js';
+import { tokenize } from '../tokenizer/module.f.js';
+import { setReplace, at } from '../../types/ordered_map/module.f.js';
+import { stringToList } from '../../text/utf16/module.f.js';
+import { concat as pathConcat } from '../../path/module.f.js';
+import { parseFromTokens } from '../parser/module.f.js';
+import { run } from '../ast/module.f.js';
+import { foldStep, pure } from '../../effects/module.f.js';
+import { readUtf8File } from '../../effects/node/module.f.js';
 const mapDjs = context => path => {
     const res = at(path)(context.complete);
     if (res === null) {
@@ -76,3 +76,13 @@ export const transpile = path => foldNextModuleOp(path)({ stack: null, complete:
     const result = at(path)(context.complete)?.djs;
     return pure(ok(result));
 });
+// ── Tests ────────────────────────────────────────────────────────────────────
+export const proof = {
+    throw: {
+        // `mapDjs` is only ever called with an import path that `foldNextModuleOp`
+        // has already resolved into `context.complete`, so the `res === null`
+        // guard is an internal-invariant check unreachable through `transpile`'s
+        // public API. Call it directly with an empty `complete` map to cover it.
+        mapDjsUnresolvedImport: () => mapDjs({ complete: null, stack: null, error: null })('missing.djs'),
+    },
+};

package/fs/djs/transpiler/proof.f.js

@@ -1,8 +1,8 @@
-import { sort } from "../../types/object/module.f.js";
-import { transpile } from "./module.f.js";
-import { stringifyAsTree } from "../serializer/module.f.js";
-import { virtual, emptyState } from "../../effects/node/virtual/module.f.js";
-import { utf8 } from "../../text/module.f.js";
+import { sort } from '../../types/object/module.f.js';
+import { transpile } from './module.f.js';
+import { stringifyAsTree } from '../serializer/module.f.js';
+import { virtual, emptyState } from '../../effects/node/virtual/module.f.js';
+import { utf8 } from '../../text/module.f.js';
 const run = (root) => (path) => {
     const [_, result] = virtual({ ...emptyState, root })(transpile(path));
     return result;

package/fs/effects/memory/module.f.js

@@ -12,10 +12,10 @@
  *
  * @module
  */
-import { asBase as nominalAsBase, asNominal as nominalAsNominal } from "../../types/nominal/module.f.js";
-import { do_ } from "../module.f.js";
-export const asBase = (nominalAsBase);
-export const asNominal = (nominalAsNominal);
+import { asBase as nominalAsBase, asNominal as nominalAsNominal } from '../../types/nominal/module.f.js';
+import { do_ } from '../module.f.js';
+export const asBase = nominalAsBase;
+export const asNominal = nominalAsNominal;
 /** Creates a new typed memory slot with `value` as its initial contents. */
 export const create = do_('memCreate');
 /** Reads the current contents of a typed memory slot. */

package/fs/effects/memory/proof.f.js

@@ -1,6 +1,6 @@
-import { run } from "../mock/module.f.js";
-import { pure } from "../module.f.js";
-import { asBase, asNominal, create, read, write, } from "./module.f.js";
+import { run } from '../mock/module.f.js';
+import { pure } from '../module.f.js';
+import { asBase, asNominal, create, read, write, } from './module.f.js';
 const initial = { next: 0, values: {} };
 const mock = {
     memCreate: value => state => {

package/fs/effects/module.f.js

@@ -10,7 +10,7 @@
  *
  * @module
  */
-import { fold } from "../types/list/module.f.js";
+import { fold } from '../types/list/module.f.js';
 export const pure = (v) => ({
     value: () => v,
     step: f => f(v)

package/fs/effects/node/memory/module.js

@@ -4,8 +4,8 @@
  * @module
  */
 import { randomUUID } from 'node:crypto';
-import { asyncRun } from "../../module.js";
-import { asBase, asNominal } from "../../memory/module.f.js";
+import { asyncRun } from '../../module.js';
+import { asBase, asNominal } from '../../memory/module.f.js';
 const missingKey = (id) => new Error(`memory key not found: ${id}`);
 /**
  * Creates a stateful operation map backed by an immutable `Map` snapshot.

package/fs/effects/node/memory/proof.js

@@ -3,9 +3,9 @@
  *
  * @module
  */
-import { asyncRun } from "../../module.js";
-import { asNominal, create, read, write, } from "../../memory/module.f.js";
-import { memoryOperationMap, run } from "./module.js";
+import { asyncRun } from '../../module.js';
+import { asNominal, create, read, write, } from '../../memory/module.f.js';
+import { memoryOperationMap, run } from './module.js';
 export const proof = {
     nodeInterpreter: async () => {
         const result = await run(create(1).step(key => write(key, 2).step(() => read(key))));

package/fs/effects/node/module.f.js

@@ -8,13 +8,13 @@
  *
  * @module
  */
-import { utf8, utf8ToString } from "../../text/module.f.js";
-import { toCodePointList } from "../../text/utf8/module.f.js";
-import { codePointListToString } from "../../text/utf16/module.f.js";
-import { reverse } from "../../types/list/module.f.js";
-import { length } from "../../types/bit_vec/module.f.js";
-import { ok, error as resultError, mapOk } from "../../types/result/module.f.js";
-import { do_, okStep, pure } from "../module.f.js";
+import { utf8, utf8ToString } from '../../text/module.f.js';
+import { toCodePointList } from '../../text/utf8/module.f.js';
+import { codePointListToString } from '../../text/utf16/module.f.js';
+import { reverse } from '../../types/list/module.f.js';
+import { length } from '../../types/bit_vec/module.f.js';
+import { ok, error as resultError, mapOk } from '../../types/result/module.f.js';
+import { do_, okStep, pure } from '../module.f.js';
 /**
  * True if `e` is a "file or directory does not exist" (`ENOENT`) error.
  *

package/fs/effects/node/module.js

@@ -28,16 +28,16 @@ import os from 'node:os';
 import process from 'node:process';
 import { once } from 'node:events';
 import * as testContext from 'node:test';
-import { concat, normalize, toPosix } from "../../path/module.f.js";
-import {} from "../module.f.js";
-import { asyncRun } from "../module.js";
-import { memoryOperationMap } from "./memory/module.js";
-import {} from "./module.f.js";
-import { asBase, asNominal } from "../../types/nominal/module.f.js";
-import { error, ok } from "../../types/result/module.f.js";
-import { asyncTryCatch } from "../../types/result/module.js";
-import { fromVec, listToVec, toVec } from "../../types/uint8array/module.f.js";
-import { maxLengthBytes } from "../../types/bit_vec/module.f.js";
+import { concat, normalize, toPosix } from '../../path/module.f.js';
+import {} from '../module.f.js';
+import { asyncRun } from '../module.js';
+import { memoryOperationMap } from './memory/module.js';
+import {} from './module.f.js';
+import { asBase, asNominal } from '../../types/nominal/module.f.js';
+import { error, ok } from '../../types/result/module.f.js';
+import { asyncTryCatch } from '../../types/result/module.js';
+import { fromVec, listToVec, toVec } from '../../types/uint8array/module.f.js';
+import { maxLengthBytes } from '../../types/bit_vec/module.f.js';
 /**
  * Narrowed structural view of `node:http`'s `createServer`. The official types
  * declare `method`/`url` optional and header values as

package/fs/effects/node/virtual/module.f.js

@@ -3,13 +3,13 @@
  *
  * @module
  */
-import { todo } from "../../../asserts/module.f.js";
-import { isProperPrefix, join, parse } from "../../../path/module.f.js";
-import { utf8ToString } from "../../../text/module.f.js";
-import { empty, length, maxLengthBytes, msb, vec } from "../../../types/bit_vec/module.f.js";
-import { error, ok } from "../../../types/result/module.f.js";
-import { run } from "../../mock/module.f.js";
-import { asBase, asNominal } from "../../memory/module.f.js";
+import { todo } from '../../../asserts/module.f.js';
+import { isProperPrefix, join, parse } from '../../../path/module.f.js';
+import { utf8ToString } from '../../../text/module.f.js';
+import { empty, length, maxLengthBytes, msb, vec } from '../../../types/bit_vec/module.f.js';
+import { error, ok } from '../../../types/result/module.f.js';
+import { run } from '../../mock/module.f.js';
+import { asBase, asNominal } from '../../memory/module.f.js';
 export const emptyState = {
     stdout: '',
     stderr: '',

package/fs/effects/node/virtual/proof.f.d.ts

@@ -27,5 +27,6 @@ export declare const proof: {
     readBytesFractionalSize: () => void;
     readBytesFractionalOffset: () => void;
     readBytesAcrossChunkBoundary: () => void;
+    writeBytesWrongOffset: () => void;
     largeFileReadBytes: () => void;
 };

package/fs/effects/node/virtual/proof.f.js

@@ -1,7 +1,7 @@
-import { assertEq } from "../../../asserts/module.f.js";
-import { awaitIfPromise, fetch, rm, writeFile, readFile, readdir, import_, rename, readBytes } from "../module.f.js";
-import { maxLengthBytes, vec, vec8 } from "../../../types/bit_vec/module.f.js";
-import { emptyState, virtual } from "./module.f.js";
+import { assertEq } from '../../../asserts/module.f.js';
+import { awaitIfPromise, fetch, rm, writeFile, readFile, readdir, import_, rename, readBytes, writeBytes } from '../module.f.js';
+import { maxLengthBytes, vec, vec8 } from '../../../types/bit_vec/module.f.js';
+import { emptyState, virtual } from './module.f.js';
 export const proof = {
     rm: {
         success: () => {
@@ -159,6 +159,13 @@ export const proof = {
         const [, result] = virtual({ ...emptyState, root })(readBytes('big', chunkSize - 1, 2));
         assertEq(result[0], 'ok');
     },
+    writeBytesWrongOffset: () => {
+        // writeBytes is append-only; an offset that doesn't match the current
+        // file size must fail rather than silently create a hole.
+        const root = { 'file': [vec8(0x42n)] };
+        const [, result] = virtual({ ...emptyState, root })(writeBytes('file', 5, vec8(0x43n)));
+        assertEq(result[0], 'error');
+    },
     largeFileReadBytes: () => {
         // A file stored as two 128 KiB chunks is larger than maxLengthBytes.
         // readBytes within the second chunk (offset = 128 KiB, size = 1) should succeed.

package/fs/effects/proof.f.js

@@ -1,5 +1,5 @@
-import { decode, do_, foldStep, forEachStep, lazy, match, okStep, pure } from "./module.f.js";
-import { error, ok } from "../types/result/module.f.js";
+import { decode, do_, foldStep, forEachStep, lazy, match, okStep, pure } from './module.f.js';
+import { error, ok } from '../types/result/module.f.js';
 const assertPure = (e, expected) => {
     const d = decode(e);
     if (!d.done) {

package/fs/emergent_testing/all.test.js

@@ -1,4 +1,4 @@
-import { runEffect } from "../effects/node/module.js";
-import { register } from "./module.f.js";
+import { runEffect } from '../effects/node/module.js';
+import { register } from './module.f.js';
 // we need `await` for Playwright.
 await runEffect(register);

package/fs/emergent_testing/example.f.d.ts

@@ -6,7 +6,7 @@ export declare const proof: {
     addTest: () => void;
     mulTest: (() => void)[];
     throw: {
-        todo: () => never;
+        todo: typeof todo;
         divByZero: () => bigint;
     };
     generateSqrTests: () => (() => void)[];

package/fs/emergent_testing/module.f.js

@@ -10,12 +10,12 @@
  *
  * @module
  */
-import { reset, fgGreen, fgRed, bold, csiWrite } from "../text/sgr/module.f.js";
-import { all, awaitIfPromise, sandbox, test } from "../effects/node/module.f.js";
-import { pure } from "../effects/module.f.js";
-import { loadModuleMap, shouldLoad } from "../dev/module.f.js";
-import { invert } from "../types/result/module.f.js";
-import { definedEntries } from "../types/object/module.f.js";
+import { reset, fgGreen, fgRed, bold, csiWrite } from '../text/sgr/module.f.js';
+import { all, awaitIfPromise, sandbox, test } from '../effects/node/module.f.js';
+import { pure } from '../effects/module.f.js';
+import { loadModuleMap, shouldLoad } from '../dev/module.f.js';
+import { invert } from '../types/result/module.f.js';
+import { definedEntries } from '../types/object/module.f.js';
 const addPass = (delta) => (ts) => ({ ...ts, time: ts.time + delta, pass: ts.pass + 1 });
 const addFail = (delta) => (ts) => ({ ...ts, time: ts.time + delta, fail: ts.fail + 1 });
 const timeFormat = (a) => {

package/fs/emergent_testing/proof.f.d.ts

@@ -27,24 +27,25 @@ export declare const helpers: {
         functionWithParamsReturnsEmpty: () => void;
     };
 };
+declare const defaultReporterExpectedToThrow: () => void;
 export declare const proof: {
-    flat: () => void;
-    nested: () => void;
-    throwKey: () => void;
-    throwKeyFail: () => void;
-    mixedPassFail: () => void;
-    returnValueSubTree: () => void;
-    arrayKeys: () => void;
-    nonTestFilesSkipped: () => void;
-    multipleFiles: () => void;
-    throwByFunctionName: () => void;
-    namedExports: () => void;
-    defaultReporterOutput: () => void;
-    defaultReporterOutputLargeDuration: () => void;
-    defaultReporterFailOutput: () => void;
-    githubReporterOutput: () => void;
-    registerSuffixes: () => void;
-    defaultReporterExpectedToThrow: () => void;
+    flat: typeof flat;
+    nested: typeof nested;
+    throwKey: typeof throwKey;
+    throwKeyFail: typeof throwKeyFail;
+    mixedPassFail: typeof mixedPassFail;
+    returnValueSubTree: typeof returnValueSubTree;
+    arrayKeys: typeof arrayKeys;
+    nonTestFilesSkipped: typeof nonTestFilesSkipped;
+    multipleFiles: typeof multipleFiles;
+    throwByFunctionName: typeof throwByFunctionName;
+    namedExports: typeof namedExports;
+    defaultReporterOutput: typeof defaultReporterOutput;
+    defaultReporterOutputLargeDuration: typeof defaultReporterOutputLargeDuration;
+    defaultReporterFailOutput: typeof defaultReporterFailOutput;
+    githubReporterOutput: typeof githubReporterOutput;
+    registerSuffixes: typeof registerSuffixes;
+    defaultReporterExpectedToThrow: typeof defaultReporterExpectedToThrow;
     helpers: {
         isInteger: () => void;
         isIdentifier: () => void;
@@ -59,3 +60,4 @@ export declare const proof: {
         };
     };
 };
+export {};

package/fs/emergent_testing/proof.f.js

@@ -1,10 +1,10 @@
-import { log } from "../effects/node/module.f.js";
-import { defaultNodeProgramOptions, emptyState } from "../effects/node/virtual/module.f.js";
-import { virtual } from "../effects/node/virtual/module.f.js";
-import { assert, assertEq } from "../asserts/module.f.js";
-import { testAll, defaultReporter, fmtPath, fmtTerm, fmtImport, ghEscape, isInteger, isIdentifier, registerModule, parseTestSet, defaultTest, } from "./module.f.js";
-import { run as mockRun } from "../effects/mock/module.f.js";
-import { shouldLoad } from "../dev/module.f.js";
+import { log } from '../effects/node/module.f.js';
+import { defaultNodeProgramOptions, emptyState } from '../effects/node/virtual/module.f.js';
+import { virtual } from '../effects/node/virtual/module.f.js';
+import { assert, assertEq } from '../asserts/module.f.js';
+import { testAll, defaultReporter, fmtPath, fmtTerm, fmtImport, ghEscape, isInteger, isIdentifier, registerModule, parseTestSet, defaultTest, } from './module.f.js';
+import { run as mockRun } from '../effects/mock/module.f.js';
+import { shouldLoad } from '../dev/module.f.js';
 const writeEvent = (event) => log(JSON.stringify(event));
 const parseEvents = (stdout) => stdout === '' ? [] : stdout.trimEnd().split('\n').map(line => JSON.parse(line));
 const makeReporter = () => ({

package/fs/emergent_testing/scenarios/all.js

@@ -1 +1 @@
-import "../all.test.js";
+import '../all.test.js';

package/fs/fsc/bnf.f.js

@@ -1,5 +1,5 @@
-import { range, remove, set, option } from "../bnf/module.f.js";
-import { digit, json, unicode, ws0, ws1, wsNoNewLine0 } from "./json.f.js";
+import { range, remove, set, option } from '../bnf/module.f.js';
+import { digit, json, unicode, ws0, ws1, wsNoNewLine0 } from './json.f.js';
 export const wsModule = () => [ws0, module];
 const module = () => ({
     json: [json, ws0],

package/fs/fsc/json.f.js

@@ -1,4 +1,4 @@
-import { join0Plus, rangeEncode, range, remove, repeat0Plus, set, option } from "../bnf/module.f.js";
+import { join0Plus, rangeEncode, range, remove, repeat0Plus, set, option } from '../bnf/module.f.js';
 // space
 const wsNoNewLineItem = set(' \t\r');
 export const wsNoNewLine0 = repeat0Plus(wsNoNewLineItem);

package/fs/fsc/module.f.js

@@ -3,13 +3,13 @@
  *
  * @module
  */
-import { strictEqual } from "../types/function/operator/module.f.js";
-import { merge as rangeMapMerge, fromRange, get, } from "../types/range_map/module.f.js";
-import { reduce as listReduce, toArray, map } from "../types/list/module.f.js";
-import { range as asciiRange } from "../text/ascii/module.f.js";
-import { fn } from "../types/function/module.f.js";
-import { one } from "../types/range/module.f.js";
-import { assertEq } from "../asserts/module.f.js";
+import { strictEqual } from '../types/function/operator/module.f.js';
+import { merge as rangeMapMerge, fromRange, get, } from '../types/range_map/module.f.js';
+import { reduce as listReduce, toArray, map } from '../types/list/module.f.js';
+import { range as asciiRange } from '../text/ascii/module.f.js';
+import { fn } from '../types/function/module.f.js';
+import { one } from '../types/range/module.f.js';
+import { assertEq } from '../asserts/module.f.js';
 const fromCharCode = String.fromCharCode;
 const unexpectedSymbol = codePoint => [[`unexpected symbol ${codePoint}`], unexpectedSymbol];
 const def = () => unexpectedSymbol;

package/fs/fsc/proof.f.js

@@ -1,7 +1,7 @@
-import { init, terminal } from "./module.f.js";
-import { one } from "../text/ascii/module.f.js";
-import { stringify } from "../json/module.f.js";
-import { assertEq } from "../asserts/module.f.js";
+import { init, terminal } from './module.f.js';
+import { one } from '../text/ascii/module.f.js';
+import { stringify } from '../media/json/module.f.js';
+import { assertEq } from '../asserts/module.f.js';
 const s = stringify(i => i);
 const f = v => {
     const n = one(v);

package/fs/fsm/module.f.js

@@ -3,15 +3,15 @@
  *
  * @module
  */
-import { equal, isEmpty, fold, toArray, scan, foldScan, empty as emptyList } from "../types/list/module.f.js";
-import { toRangeMap, union as byteSetUnion, one, empty, range } from "../types/byte_set/module.f.js";
-import { intersect, union as sortedSetUnion } from "../types/sorted_set/module.f.js";
-import { merge, get as rangeMapGet } from "../types/range_map/module.f.js";
-import { strictEqual } from "../types/function/operator/module.f.js";
-import { stringify } from "../json/module.f.js";
-import { identity } from "../types/function/module.f.js";
-import { stringToList } from "../text/utf16/module.f.js";
-import { cmp } from "../types/string/module.f.js";
+import { equal, isEmpty, fold, toArray, scan, foldScan, empty as emptyList } from '../types/list/module.f.js';
+import { toRangeMap, union as byteSetUnion, one, empty, range } from '../types/byte_set/module.f.js';
+import { intersect, union as sortedSetUnion } from '../types/sorted_set/module.f.js';
+import { merge, get as rangeMapGet } from '../types/range_map/module.f.js';
+import { strictEqual } from '../types/function/operator/module.f.js';
+import { stringify } from '../media/json/module.f.js';
+import { identity } from '../types/function/module.f.js';
+import { stringToList } from '../text/utf16/module.f.js';
+import { cmp } from '../types/string/module.f.js';
 const stringifyIdentity = stringify(identity);
 export const toRange = s => {
     const [b, e] = toArray(stringToList(s));

package/fs/fsm/proof.f.js

@@ -1,10 +1,10 @@
-import { dfa, run, toRange, toUnion } from "./module.f.js";
-import { union } from "../types/byte_set/module.f.js";
-import { sort, fromEntries } from "../types/object/module.f.js";
-import { stringify } from "../json/module.f.js";
-import { identity } from "../types/function/module.f.js";
-import { toArray } from "../types/list/module.f.js";
-import { stringToList } from "../text/utf16/module.f.js";
+import { dfa, run, toRange, toUnion } from './module.f.js';
+import { union } from '../types/byte_set/module.f.js';
+import { sort, fromEntries } from '../types/object/module.f.js';
+import { stringify } from '../media/json/module.f.js';
+import { identity } from '../types/function/module.f.js';
+import { toArray } from '../types/list/module.f.js';
+import { stringToList } from '../text/utf16/module.f.js';
 const stringifyIdentity = stringify(identity);
 const buildDfa = () => {
     const lowercaseAlpha = toRange('az');

package/fs/js/tokenizer/module.f.js

@@ -5,11 +5,11 @@
  *
  * @module
  */
-import { strictEqual } from "../../types/function/operator/module.f.js";
-import { merge, fromRange, get } from "../../types/range_map/module.f.js";
-import { empty, stateScan, flat, toArray, reduce as listReduce, scan, map as listMap } from "../../types/list/module.f.js";
-import { at, fromEntries } from "../../types/ordered_map/module.f.js";
-import { one } from "../../types/range/module.f.js";
+import { strictEqual } from '../../types/function/operator/module.f.js';
+import { merge, fromRange, get } from '../../types/range_map/module.f.js';
+import { empty, stateScan, flat, toArray, reduce as listReduce, scan, map as listMap } from '../../types/list/module.f.js';
+import { at, fromEntries } from '../../types/ordered_map/module.f.js';
+import { one } from '../../types/range/module.f.js';
 import { range, 
 //
 backspace, ht, lf, ff, cr, 
@@ -26,8 +26,8 @@ leftSquareBracket, reverseSolidus, rightSquareBracket, lowLine,
 //
 latinSmallLetterRange, latinSmallLetterA, latinSmallLetterB, latinSmallLetterE, latinSmallLetterF, latinSmallLetterN, latinSmallLetterR, latinSmallLetterT, latinSmallLetterU, 
 //
-leftCurlyBracket, rightCurlyBracket, dollarSign } from "../../text/ascii/module.f.js";
-import { todo } from "../../asserts/module.f.js";
+leftCurlyBracket, rightCurlyBracket, dollarSign } from '../../text/ascii/module.f.js';
+import { todo } from '../../asserts/module.f.js';
 const { fromCharCode } = String;
 const rangeOneNine = range('19');
 const rangeSetNewLine = [

package/fs/js/tokenizer/proof.f.js

@@ -1,8 +1,8 @@
-import { tokenize } from "./module.f.js";
-import { map, toArray } from "../../types/list/module.f.js";
-import { stringifyAsTree } from "../../djs/serializer/module.f.js";
-import { sort } from "../../types/object/module.f.js";
-import { stringToList } from "../../text/utf16/module.f.js";
+import { tokenize } from './module.f.js';
+import { map, toArray } from '../../types/list/module.f.js';
+import { stringifyAsTree } from '../../djs/serializer/module.f.js';
+import { sort } from '../../types/object/module.f.js';
+import { stringToList } from '../../text/utf16/module.f.js';
 const tokenizeString = s => toArray(map(withoutMetada)(tokenize(stringToList(s))('')));
 const tokenizeStringWithMetadata = s => toArray(tokenize(stringToList(s))(''));
 const stringify = stringifyAsTree(sort);