functionalscript 0.35.2 → 0.37.0

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.d.ts

@@ -6,5 +6,6 @@ export declare const proof: {
     throw: {
         unionConflict: () => void;
     };
+    defHandler: () => void;
 };
 export {};

package/fs/fsc/module.f.js

@@ -3,12 +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 { 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;
@@ -65,5 +66,8 @@ export const proof = {
             b(undefined);
             union(a)(b);
         }
-    }
+    },
+    // `def` is the range-map's default handler; the public API never calls it directly
+    // (`init` covers every code point), so exercise it here where it's in scope.
+    defHandler: () => assertEq(def(undefined), 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.d.ts

@@ -92,7 +92,7 @@ export type JsTokenWithMetadata = {
     readonly token: JsToken;
     readonly metadata: TokenMetadata;
 };
-type ErrorMessage = '" are missing' | 'unescaped character' | 'invalid hex value' | 'unexpected character' | 'invalid number' | 'invalid token' | '*\/ expected' | 'unterminated string literal' | 'eof';
+type ErrorMessage = '" are missing' | 'unescaped character' | 'invalid hex value' | 'unexpected character' | 'invalid number' | 'invalid token' | '*\/ expected' | 'unterminated string literal' | 'unescaped control character in string' | 'eof';
 export declare const isKeywordToken: (token: JsToken) => boolean;
 export declare const tokenize: (input: List<number>) => (path: string) => List<JsTokenWithMetadata>;
 export declare const proof: {

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 = [
@@ -372,10 +372,16 @@ const invalidNumberStateOp = create(() => () => [empty, { kind: 'invalidNumber'
         return [{ first: { kind: 'error', message: 'invalid number' }, tail: next[0] }, next[1]];
     })
 ]);
+const rangeSetStringControl = [
+    [0x00, 0x09],
+    [0x0b, 0x0c],
+    [0x0e, 0x1f],
+];
 const parseStringStateOp = create((state) => input => [empty, { kind: 'string', value: appendChar(state.value)(input) }])([
     rangeFunc(one(quotationMark))(state => () => [[{ kind: 'string', value: state.value }], { kind: 'initial' }]),
     rangeFunc(one(reverseSolidus))(state => () => [empty, { kind: 'escapeChar', value: state.value }]),
-    rangeSetFunc(rangeSetNewLine)(() => () => [[{ kind: 'error', message: 'unterminated string literal' }], { kind: 'nl' }])
+    rangeSetFunc(rangeSetNewLine)(() => () => [[{ kind: 'error', message: 'unterminated string literal' }], { kind: 'nl' }]),
+    rangeSetFunc(rangeSetStringControl)(state => () => [[{ kind: 'error', message: 'unescaped control character in string' }], { kind: 'string', value: state.value }])
 ]);
 const parseEscapeDefault = state => input => {
     const next = tokenizeOp(input, { kind: 'string', value: state.value });

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);
@@ -141,6 +141,65 @@ export const proof = {
                 throw result;
             }
         },
+        () => {
+            // literal TAB inside a string is rejected; the escaped form is not
+            const result = stringify(tokenizeString('"\t"'));
+            if (result !== '[{"kind":"error","message":"unescaped control character in string"},{"kind":"string","value":""},{"kind":"eof"}]') {
+                throw result;
+            }
+        },
+        () => {
+            const result = stringify(tokenizeString('"\\t"'));
+            if (result !== '[{"kind":"string","value":"\\t"},{"kind":"eof"}]') {
+                throw result;
+            }
+        },
+        () => {
+            // literal VT (no JSON short escape; only \u000b is valid)
+            const result = stringify(tokenizeString('"\v"'));
+            if (result !== '[{"kind":"error","message":"unescaped control character in string"},{"kind":"string","value":""},{"kind":"eof"}]') {
+                throw result;
+            }
+        },
+        () => {
+            const result = stringify(tokenizeString('"\\u000b"'));
+            if (result !== '[{"kind":"string","value":"\\u000b"},{"kind":"eof"}]') {
+                throw result;
+            }
+        },
+        () => {
+            // literal FF is rejected; the escaped form is not
+            const result = stringify(tokenizeString('"\f"'));
+            if (result !== '[{"kind":"error","message":"unescaped control character in string"},{"kind":"string","value":""},{"kind":"eof"}]') {
+                throw result;
+            }
+        },
+        () => {
+            const result = stringify(tokenizeString('"\\f"'));
+            if (result !== '[{"kind":"string","value":"\\f"},{"kind":"eof"}]') {
+                throw result;
+            }
+        },
+        () => {
+            // literal NUL (no JSON short escape; only \u0000 is valid)
+            const result = stringify(tokenizeString('"\0"'));
+            if (result !== '[{"kind":"error","message":"unescaped control character in string"},{"kind":"string","value":""},{"kind":"eof"}]') {
+                throw result;
+            }
+        },
+        () => {
+            const result = stringify(tokenizeString('"\\u0000"'));
+            if (result !== '[{"kind":"string","value":"\\u0000"},{"kind":"eof"}]') {
+                throw result;
+            }
+        },
+        () => {
+            // control character surrounded by ordinary text still recovers the rest of the string
+            const result = stringify(tokenizeString('"a\tb"'));
+            if (result !== '[{"kind":"error","message":"unescaped control character in string"},{"kind":"string","value":"ab"},{"kind":"eof"}]') {
+                throw result;
+            }
+        },
         () => {
             const result = stringify(tokenizeString('"\\u1234"'));
             if (result !== '[{"kind":"string","value":"ሴ"},{"kind":"eof"}]') {

package/fs/mcp/module.f.d.ts

@@ -1,8 +1,8 @@
-import { type Unknown } from '../json/module.f.ts';
+import { unknown, type Unknown } from '../media/json/module.f.ts';
 import type { Ts } from '../types/rtti/ts/module.f.ts';
 import { type Operation, type Effect } from '../effects/module.f.ts';
 import { type Key, type MemOp } from '../effects/memory/module.f.ts';
-import { type Response } from '../json/rpc/module.f.ts';
+import { type Response } from '../media/json/rpc/module.f.ts';
 import type { Type } from '../types/rtti/module.f.ts';
 /** Name + version pair sent in `initialize` requests and responses. */
 export declare const implementation: {
@@ -20,7 +20,7 @@ export type ServerCapabilities = Ts<typeof serverCapabilities>;
 /** Params for the `initialize` request. */
 export declare const initializeParams: {
     readonly protocolVersion: import("../types/rtti/module.f.ts").String;
-    readonly capabilities: () => readonly ["or", import("../types/rtti/module.f.ts").Or<[null, import("../types/rtti/module.f.ts").Boolean, import("../types/rtti/module.f.ts").Number, import("../types/rtti/module.f.ts").String]>, import("../types/rtti/module.f.ts").Type1<"record", /*elided*/ any>, import("../types/rtti/module.f.ts").Type1<"array", /*elided*/ any>];
+    readonly capabilities: typeof unknown;
     readonly clientInfo: {
         readonly name: import("../types/rtti/module.f.ts").String;
         readonly version: import("../types/rtti/module.f.ts").String;
@@ -44,7 +44,7 @@ export declare const initializeResult: {
 export type InitializeResult = Ts<typeof initializeResult>;
 /** Plain-text content item returned by a tool call. */
 export declare const textContent: {
-    readonly type: "text";
+    readonly type: 'text';
     readonly text: import("../types/rtti/module.f.ts").String;
 };
 export type TextContent = Ts<typeof textContent>;
@@ -62,7 +62,7 @@ export declare const blobResource: {
 export type BlobResource = Ts<typeof blobResource>;
 /** An `EmbeddedResource` content item wrapping a {@link blobResource}. */
 export declare const embeddedResource: {
-    readonly type: "resource";
+    readonly type: 'resource';
     readonly resource: {
         readonly uri: import("../types/rtti/module.f.ts").String;
         readonly mimeType: import("../types/rtti/module.f.ts").Or<readonly [import("../types/rtti/module.f.ts").String, undefined]>;
@@ -76,10 +76,10 @@ export type EmbeddedResource = Ts<typeof embeddedResource>;
  * `image` and `audio` variants are not modelled yet.
  */
 export declare const contentItem: import("../types/rtti/module.f.ts").Or<[{
-    readonly type: "text";
+    readonly type: 'text';
     readonly text: import("../types/rtti/module.f.ts").String;
 }, {
-    readonly type: "resource";
+    readonly type: 'resource';
     readonly resource: {
         readonly uri: import("../types/rtti/module.f.ts").String;
         readonly mimeType: import("../types/rtti/module.f.ts").Or<readonly [import("../types/rtti/module.f.ts").String, undefined]>;
@@ -95,7 +95,7 @@ export type ContentItem = Ts<typeof contentItem>;
 export declare const tool: {
     readonly name: import("../types/rtti/module.f.ts").String;
     readonly description: import("../types/rtti/module.f.ts").Or<readonly [import("../types/rtti/module.f.ts").String, undefined]>;
-    readonly inputSchema: () => readonly ["or", import("../types/rtti/module.f.ts").Or<[null, import("../types/rtti/module.f.ts").Boolean, import("../types/rtti/module.f.ts").Number, import("../types/rtti/module.f.ts").String]>, import("../types/rtti/module.f.ts").Type1<"record", /*elided*/ any>, import("../types/rtti/module.f.ts").Type1<"array", /*elided*/ any>];
+    readonly inputSchema: typeof unknown;
 };
 export type Tool = Ts<typeof tool>;
 /**
@@ -110,22 +110,22 @@ export declare const toolsListResult: {
     readonly tools: import("../types/rtti/module.f.ts").Type1<"array", {
         readonly name: import("../types/rtti/module.f.ts").String;
         readonly description: import("../types/rtti/module.f.ts").Or<readonly [import("../types/rtti/module.f.ts").String, undefined]>;
-        readonly inputSchema: () => readonly ["or", import("../types/rtti/module.f.ts").Or<[null, import("../types/rtti/module.f.ts").Boolean, import("../types/rtti/module.f.ts").Number, import("../types/rtti/module.f.ts").String]>, import("../types/rtti/module.f.ts").Type1<"record", /*elided*/ any>, import("../types/rtti/module.f.ts").Type1<"array", /*elided*/ any>];
+        readonly inputSchema: typeof unknown;
     }>;
     readonly nextCursor: import("../types/rtti/module.f.ts").Or<readonly [import("../types/rtti/module.f.ts").String, undefined]>;
 };
 export type ToolsListResult = Ts<typeof toolsListResult>;
 export declare const toolsCallParams: {
     readonly name: import("../types/rtti/module.f.ts").String;
-    readonly arguments: import("../types/rtti/module.f.ts").Or<readonly [import("../types/rtti/module.f.ts").Type1<"record", () => readonly ["or", import("../types/rtti/module.f.ts").Or<[null, import("../types/rtti/module.f.ts").Boolean, import("../types/rtti/module.f.ts").Number, import("../types/rtti/module.f.ts").String]>, import("../types/rtti/module.f.ts").Type1<"record", /*elided*/ any>, import("../types/rtti/module.f.ts").Type1<"array", /*elided*/ any>]>, undefined]>;
+    readonly arguments: import("../types/rtti/module.f.ts").Or<readonly [import("../types/rtti/module.f.ts").Type1<"record", typeof unknown>, undefined]>;
 };
 export type ToolsCallParams = Ts<typeof toolsCallParams>;
 export declare const toolsCallResult: {
     readonly content: import("../types/rtti/module.f.ts").Type1<"array", import("../types/rtti/module.f.ts").Or<[{
-        readonly type: "text";
+        readonly type: 'text';
         readonly text: import("../types/rtti/module.f.ts").String;
     }, {
-        readonly type: "resource";
+        readonly type: 'resource';
         readonly resource: {
             readonly uri: import("../types/rtti/module.f.ts").String;
             readonly mimeType: import("../types/rtti/module.f.ts").Or<readonly [import("../types/rtti/module.f.ts").String, undefined]>;
@@ -191,7 +191,7 @@ export type Handle<O extends Operation> = (value: Unknown) => Effect<O, Response
 export declare const notInitialized: import("../types/rtti/ts/module.f.ts").StructTs<{
     readonly code: import("../types/rtti/module.f.ts").Number;
     readonly message: import("../types/rtti/module.f.ts").String;
-    readonly data: import("../types/rtti/module.f.ts").Or<readonly [() => readonly ["or", import("../types/rtti/module.f.ts").Or<[null, import("../types/rtti/module.f.ts").Boolean, import("../types/rtti/module.f.ts").Number, import("../types/rtti/module.f.ts").String]>, import("../types/rtti/module.f.ts").Type1<"record", /*elided*/ any>, import("../types/rtti/module.f.ts").Type1<"array", /*elided*/ any>], undefined]>;
+    readonly data: import("../types/rtti/module.f.ts").Or<readonly [typeof unknown, undefined]>;
 }>;
 /** State carried before the peer sends `initialize`. */
 export type Uninitialized = readonly ['uninitialized'];

package/fs/mcp/module.f.js

@@ -9,17 +9,17 @@
  *
  * Each schema is both a runtime decoder (`validate(schema)`) and a static
  * TypeScript type (`Ts<typeof schema>`). Transport framing (stdio) and the
- * JSON-RPC dispatcher are in `fs/json/rpc/module.f.ts`.
+ * JSON-RPC dispatcher are in `fs/media/json/rpc/module.f.ts`.
  *
  * @module
  */
-import { boolean, string, option, array, record, or } from "../types/rtti/module.f.js";
-import { unknown } from "../json/module.f.js";
-import { pure } from "../effects/module.f.js";
-import { read, write } from "../effects/memory/module.f.js";
-import { decodeRequest, rpcError, invalidRequest, invalidParams, methodNotFound, jsonrpc, } from "../json/rpc/module.f.js";
-import { validate } from "../types/rtti/validate/module.f.js";
-import { toJsonSchema } from "../json/schema/module.f.js";
+import { boolean, string, option, array, record, or } from '../types/rtti/module.f.js';
+import { unknown } from '../media/json/module.f.js';
+import { pure } from '../effects/module.f.js';
+import { read, write } from '../effects/memory/module.f.js';
+import { decodeRequest, rpcError, invalidRequest, invalidParams, methodNotFound, jsonrpc, } from '../media/json/rpc/module.f.js';
+import { validate } from '../types/rtti/validate/module.f.js';
+import { toJsonSchema } from '../media/json/schema/module.f.js';
 // ── Shared ─────────────────────────────────────────────────────────────────────
 /** Name + version pair sent in `initialize` requests and responses. */
 export const implementation = {

package/fs/mcp/proof.f.js

@@ -1,8 +1,8 @@
-import { assert, assertEq } from "../asserts/module.f.js";
-import { pure } from "../effects/module.f.js";
-import { run } from "../effects/mock/module.f.js";
-import { asBase, asNominal, create, read } from "../effects/memory/module.f.js";
-import { uninitializedState, mcpStep, notInitialized, } from "./module.f.js";
+import { assert, assertEq } from '../asserts/module.f.js';
+import { pure } from '../effects/module.f.js';
+import { run } from '../effects/mock/module.f.js';
+import { asBase, asNominal, create, read } from '../effects/memory/module.f.js';
+import { uninitializedState, mcpStep, notInitialized, } from './module.f.js';
 const initial = { next: 0, values: {} };
 const mock = {
     memCreate: value => state => {

package/fs/mcp/stdio/module.f.d.ts

@@ -31,8 +31,8 @@
  */
 import { type Effect, type Operation } from '../../effects/module.f.ts';
 import { type Read, type Write } from '../../effects/node/module.f.ts';
-import { type Unknown } from '../../json/module.f.ts';
-import { type Response } from '../../json/rpc/module.f.ts';
+import { type Unknown } from '../../media/json/module.f.ts';
+import { type Response } from '../../media/json/rpc/module.f.ts';
 /**
  * A transport step: maps one parsed JSON-RPC message to a response, or `null`
  * for a notification that needs no reply. The shape of `mcpStep(config)(handlers)(key)`.

package/fs/mcp/stdio/module.f.js

@@ -29,16 +29,16 @@
  *
  * @module
  */
-import { pure } from "../../effects/module.f.js";
-import { readLine, write } from "../../effects/node/module.f.js";
-import { tryUtf8 } from "../../text/module.f.js";
-import { stringToList } from "../../text/utf16/module.f.js";
-import { stringify } from "../../json/module.f.js";
-import { tokenize } from "../../json/tokenizer/module.f.js";
-import { parse } from "../../json/parser/module.f.js";
-import { sort } from "../../types/object/module.f.js";
-import { internalError, jsonrpc, parseError } from "../../json/rpc/module.f.js";
-import { error, ok } from "../../types/result/module.f.js";
+import { pure } from '../../effects/module.f.js';
+import { readLine, write } from '../../effects/node/module.f.js';
+import { tryUtf8 } from '../../text/module.f.js';
+import { stringToList } from '../../text/utf16/module.f.js';
+import { stringify } from '../../media/json/module.f.js';
+import { tokenize } from '../../media/json/tokenizer/module.f.js';
+import { parse } from '../../media/json/parser/module.f.js';
+import { sort } from '../../types/object/module.f.js';
+import { internalError, jsonrpc, parseError } from '../../media/json/rpc/module.f.js';
+import { error, ok } from '../../types/result/module.f.js';
 const stringifyJson = stringify(sort);
 /** The parse-error response (`-32700`, `id: null`) for a malformed input line. */
 const parseErrorResponse = { jsonrpc, error: parseError, id: null };

package/fs/mcp/stdio/proof.f.js

@@ -1,13 +1,13 @@
-import { assertEq } from "../../asserts/module.f.js";
-import { pure } from "../../effects/module.f.js";
-import { emptyState, virtual } from "../../effects/node/virtual/module.f.js";
-import { stringify } from "../../json/module.f.js";
-import { utf8 } from "../../text/module.f.js";
-import { fromVec } from "../../types/uint8array/module.f.js";
-import { maxLengthBytes } from "../../types/bit_vec/module.f.js";
-import { sort } from "../../types/object/module.f.js";
-import { internalError, jsonrpc, parseError } from "../../json/rpc/module.f.js";
-import { stdioTransport } from "./module.f.js";
+import { assertEq } from '../../asserts/module.f.js';
+import { pure } from '../../effects/module.f.js';
+import { emptyState, virtual } from '../../effects/node/virtual/module.f.js';
+import { stringify } from '../../media/json/module.f.js';
+import { utf8 } from '../../text/module.f.js';
+import { fromVec } from '../../types/uint8array/module.f.js';
+import { maxLengthBytes } from '../../types/bit_vec/module.f.js';
+import { sort } from '../../types/object/module.f.js';
+import { internalError, jsonrpc, parseError } from '../../media/json/rpc/module.f.js';
+import { stdioTransport } from './module.f.js';
 const stringifyJson = stringify(sort);
 // Extracts the request `id` (a request has one; a notification does not).
 const idOf = (value) => value !== null && typeof value === 'object' && !(value instanceof Array)

package/fs/{html → media/html}/module.f.d.ts

@@ -4,9 +4,9 @@
  *
  * @module
  */
-import { type List } from '../types/list/module.f.ts';
-import { type StringMap } from '../types/object/module.f.ts';
-import { type Vec } from '../types/bit_vec/module.f.ts';
+import { type List } from '../../types/list/module.f.ts';
+import { type StringMap } from '../../types/object/module.f.ts';
+import { type Vec } from '../../types/bit_vec/module.f.ts';
 type Tag = string;
 type Element1 = readonly [Tag, ...Node[]];
 type Element2 = readonly [Tag, Attributes, ...Node[]];

package/fs/{html → media/html}/module.f.js

@@ -4,15 +4,15 @@
  *
  * @module
  */
-import { map, flatMap, flat, concat as listConcat } from "../types/list/module.f.js";
-import { concat, concat as stringConcat } from "../types/string/module.f.js";
-import { definedEntries } from "../types/object/module.f.js";
-import { compose } from "../types/function/module.f.js";
-import { stringToList } from "../text/utf16/module.f.js";
-import { includes } from "../types/array/module.f.js";
-import {} from "../types/bit_vec/module.f.js";
-import { utf8 } from "../text/module.f.js";
-import { quotationMark, ampersand, lessThanSign, greaterThanSign } from "../text/ascii/module.f.js";
+import { map, flatMap, flat, concat as listConcat } from '../../types/list/module.f.js';
+import { concat, concat as stringConcat } from '../../types/string/module.f.js';
+import { definedEntries } from '../../types/object/module.f.js';
+import { compose } from '../../types/function/module.f.js';
+import { stringToList } from '../../text/utf16/module.f.js';
+import { includes } from '../../types/array/module.f.js';
+import {} from '../../types/bit_vec/module.f.js';
+import { utf8 } from '../../text/module.f.js';
+import { quotationMark, ampersand, lessThanSign, greaterThanSign } from '../../text/ascii/module.f.js';
 const { fromCharCode } = String;
 /**
  * Void Elements