functionalscript 0.36.0 → 0.37.0

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

package/fs/media/json/module.f.d.ts

@@ -0,0 +1,50 @@
+/**
+ * JSON value types, rtti schemas, and utilities: `serialize`, `stringify`,
+ * `parse`, and `setProperty` for immutable nested updates.
+ *
+ * The JSON value types (`Unknown`, `Primitive`) are derived from the rtti
+ * schemas defined here, so the schema is the single source of truth — no
+ * hand-written types to keep in sync.
+ *
+ * @module
+ */
+import { type List } from '../../types/list/module.f.ts';
+import { type Entry as ObjectEntry } from '../../types/object/module.f.ts';
+import type { Ts } from '../../types/rtti/ts/module.f.ts';
+/** rtti schema matching any JSON primitive: `null`, `boolean`, `number`, or `string`. */
+export declare const primitive: 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]>;
+/**
+ * rtti schema matching any JSON value: a primitive, an array of JSON values,
+ * or an object whose values are JSON values. Self-referential via a thunk;
+ * rtti instantiates array/record item validators lazily so recursion terminates
+ * on acyclic input.
+ *
+ * A struct field typed `unknown` is **required when present** — unlike rtti
+ * core's `unknown`, the JSON `unknown` excludes `undefined`.
+ */
+export declare const unknown: () => 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", () => 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>]>, import("../../types/rtti/module.f.ts").Type1<"array", () => 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", any>, import("../../types/rtti/module.f.ts").Type1<"array", any>]>];
+/**
+ * rtti schema matching a JSON object: `{ readonly [k: string]?: Unknown }`.
+ */
+export declare const object: import("../../types/rtti/module.f.ts").Type1<"record", typeof unknown>;
+/** rtti schema matching a JSON array: `readonly Unknown[]`. */
+export declare const array: import("../../types/rtti/module.f.ts").Type1<"array", typeof unknown>;
+export type Primitive = Ts<typeof primitive>;
+export type Unknown = Object | Array | Primitive;
+export type Object = {
+    readonly [k in string]?: Unknown;
+};
+export type Array = readonly Unknown[];
+export declare const setProperty: (value: Unknown) => (path: List<string>) => (src: Unknown) => Unknown;
+export type Entry = ObjectEntry<Unknown>;
+type Entries = List<Entry>;
+type MapEntries = (entries: Entries) => Entries;
+export declare const serialize: (mapEntries: MapEntries) => (value: Unknown) => List<string>;
+/**
+ * The standard `JSON.stringify` rules determined by
+ * https://262.ecma-international.org/6.0/#sec-ordinary-object-internal-methods-and-internal-slots-ownpropertykeys
+ * https://tc39.es/ecma262/#sec-serializejsonproperty
+ */
+export declare const stringify: (mapEntries: MapEntries) => (value: Unknown) => string;
+export declare const parse: (value: string) => Unknown;
+export {};

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

@@ -8,12 +8,12 @@
  *
  * @module
  */
-import { next, flat, map } from "../types/list/module.f.js";
-import { concat } from "../types/string/module.f.js";
-import { at, definedEntries } from "../types/object/module.f.js";
-import { compose, fn } from "../types/function/module.f.js";
-import { objectWrap, arrayWrap, stringSerialize, numberSerialize, nullSerialize, boolSerialize } from "./serializer/module.f.js";
-import { boolean as rttiBoolean, number as rttiNumber, string as rttiString, or, record, array as rttiArray } from "../types/rtti/module.f.js";
+import { next, flat, map } from '../../types/list/module.f.js';
+import { concat } from '../../types/string/module.f.js';
+import { at, definedEntries } from '../../types/object/module.f.js';
+import { compose, fn } from '../../types/function/module.f.js';
+import { objectWrap, arrayWrap, stringSerialize, numberSerialize, nullSerialize, boolSerialize } from './serializer/module.f.js';
+import { boolean as rttiBoolean, number as rttiNumber, string as rttiString, or, record, array as rttiArray } from '../../types/rtti/module.f.js';
 // ── rtti schemas ──────────────────────────────────────────────────────────────
 /** rtti schema matching any JSON primitive: `null`, `boolean`, `number`, or `string`. */
 export const primitive = or(null, rttiBoolean, rttiNumber, rttiString);
@@ -54,7 +54,7 @@ export const serialize = sort => {
         f(v)
     ]);
     const mapPropertySerialize = map(propertySerialize);
-    const objectSerialize = fn((definedEntries))
+    const objectSerialize = fn(definedEntries)
         .map(sort)
         .map(mapPropertySerialize)
         .map(objectWrap)

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

@@ -3,8 +3,8 @@
  *
  * @module
  */
-import { type Result } from '../../types/result/module.f.ts';
-import { type List } from '../../types/list/module.f.ts';
+import { type Result } from '../../../types/result/module.f.ts';
+import { type List } from '../../../types/list/module.f.ts';
 import { type JsonToken } from '../tokenizer/module.f.ts';
 import { type Unknown } from '../module.f.ts';
 /**

package/fs/{json → media/json}/parser/module.f.js

@@ -3,13 +3,13 @@
  *
  * @module
  */
-import { error, ok } from "../../types/result/module.f.js";
-import { fold, first, drop, toArray, concat } from "../../types/list/module.f.js";
-import {} from "../../types/function/operator/module.f.js";
-import {} from "../tokenizer/module.f.js";
-import { setReplace } from "../../types/ordered_map/module.f.js";
-import {} from "../module.f.js";
-import { fromMap } from "../../types/object/module.f.js";
+import { error, ok } from '../../../types/result/module.f.js';
+import { fold, first, drop, toArray, concat } from '../../../types/list/module.f.js';
+import {} from '../../../types/function/operator/module.f.js';
+import {} from '../tokenizer/module.f.js';
+import { setReplace } from '../../../types/ordered_map/module.f.js';
+import {} from '../module.f.js';
+import { fromMap } from '../../../types/object/module.f.js';
 const addKeyToObject = obj => key => ({ kind: 'object', values: obj.values, key: key });
 const addValueToObject = obj => value => ({ kind: 'object', values: setReplace(obj.key)(value)(obj.values), key: '' });
 const addToArray = array => value => ({ kind: 'array', values: concat(array.values)([value]) });

package/fs/{json → media/json}/parser/proof.f.js

@@ -1,9 +1,9 @@
-import { parse } from "./module.f.js";
-import { tokenize } from "../tokenizer/module.f.js";
-import { toArray } from "../../types/list/module.f.js";
-import { stringify as jsonStringify } from "../module.f.js";
-import { sort } from "../../types/object/module.f.js";
-import { stringToList } from "../../text/utf16/module.f.js";
+import { parse } from './module.f.js';
+import { tokenize } from '../tokenizer/module.f.js';
+import { toArray } from '../../../types/list/module.f.js';
+import { stringify as jsonStringify } from '../module.f.js';
+import { sort } from '../../../types/object/module.f.js';
+import { stringToList } from '../../../text/utf16/module.f.js';
 const tokenizeString = s => toArray(tokenize(stringToList(s)));
 const stringify = jsonStringify(sort);
 export const proof = {

package/fs/{json → media/json}/proof.f.js

@@ -1,7 +1,7 @@
-import { setProperty, stringify } from "./module.f.js";
-import { sort } from "../types/object/module.f.js";
-import { identity } from "../types/function/module.f.js";
-import { assertEq } from "../asserts/module.f.js";
+import { setProperty, stringify } from './module.f.js';
+import { sort } from '../../types/object/module.f.js';
+import { identity } from '../../types/function/module.f.js';
+import { assertEq } from '../../asserts/module.f.js';
 export const proof = {
     setProperty: [
         () => {

package/fs/media/json/rpc/module.f.d.ts

@@ -0,0 +1,114 @@
+import type { Ts } from '../../../types/rtti/ts/module.f.ts';
+import type { Result } from '../../../types/result/module.f.ts';
+import { unknown, type Unknown } from '../module.f.ts';
+export declare const jsonrpc: '2.0';
+/** Request/response identifier: a string, a number, or `null`. */
+declare const id: import("../../../types/rtti/module.f.ts").Or<[import("../../../types/rtti/module.f.ts").String, import("../../../types/rtti/module.f.ts").Number, null]>;
+/**
+ * A request or notification envelope. `id` present → request (a response is
+ * expected); `id` absent → notification (no response). `params` is optional.
+ *
+ * https://www.jsonrpc.org/specification#request_object
+ */
+export declare const request: {
+    readonly jsonrpc: "2.0";
+    readonly method: import("../../../types/rtti/module.f.ts").String;
+    readonly params: import("../../../types/rtti/module.f.ts").Or<readonly [typeof unknown, undefined]>;
+    readonly id: import("../../../types/rtti/module.f.ts").Or<readonly [import("../../../types/rtti/module.f.ts").Or<[import("../../../types/rtti/module.f.ts").String, import("../../../types/rtti/module.f.ts").Number, null]>, undefined]>;
+};
+/** The JSON-RPC error object. */
+export declare const error: {
+    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 [typeof unknown, undefined]>;
+};
+export type Id = Ts<typeof id>;
+export type Request = Ts<typeof request>;
+export type RpcError = Ts<typeof error>;
+export declare const successResponse: {
+    readonly jsonrpc: "2.0";
+    readonly result: typeof unknown;
+    readonly id: import("../../../types/rtti/module.f.ts").Or<[import("../../../types/rtti/module.f.ts").String, import("../../../types/rtti/module.f.ts").Number, null]>;
+};
+export declare const errorResponse: {
+    readonly jsonrpc: "2.0";
+    readonly error: {
+        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 [typeof unknown, undefined]>;
+    };
+    readonly id: import("../../../types/rtti/module.f.ts").Or<[import("../../../types/rtti/module.f.ts").String, import("../../../types/rtti/module.f.ts").Number, null]>;
+};
+/**
+ * A response envelope: either a success (`result`) or an error (`error`).
+ * Derived from the rtti schema via `Ts<>` — the same declaration is the
+ * runtime decoder and the static type, with no drift. rtti structs are open
+ * (extra keys allowed), so "result XOR error" is not enforced at runtime; in
+ * practice the dispatcher only ever constructs one or the other.
+ *
+ * https://www.jsonrpc.org/specification#response_object
+ */
+export declare const response: import("../../../types/rtti/module.f.ts").Or<[{
+    readonly jsonrpc: "2.0";
+    readonly result: typeof unknown;
+    readonly id: import("../../../types/rtti/module.f.ts").Or<[import("../../../types/rtti/module.f.ts").String, import("../../../types/rtti/module.f.ts").Number, null]>;
+}, {
+    readonly jsonrpc: "2.0";
+    readonly error: {
+        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 [typeof unknown, undefined]>;
+    };
+    readonly id: import("../../../types/rtti/module.f.ts").Or<[import("../../../types/rtti/module.f.ts").String, import("../../../types/rtti/module.f.ts").Number, null]>;
+}]>;
+export type Response = Ts<typeof response>;
+/** Decodes an untrusted value as a JSON-RPC request / notification. */
+export declare const decodeRequest: import("../../../types/rtti/common/module.f.ts").Validate<{
+    readonly jsonrpc: "2.0";
+    readonly method: import("../../../types/rtti/module.f.ts").String;
+    readonly params: import("../../../types/rtti/module.f.ts").Or<readonly [typeof unknown, undefined]>;
+    readonly id: import("../../../types/rtti/module.f.ts").Or<readonly [import("../../../types/rtti/module.f.ts").Or<[import("../../../types/rtti/module.f.ts").String, import("../../../types/rtti/module.f.ts").Number, null]>, undefined]>;
+}>;
+/** A method implementation: maps `params` to a result or an `RpcError`. */
+export type Handler = (params: Unknown | undefined) => Result<Unknown, RpcError>;
+/** A `method` name → `Handler` map. */
+export type Handlers = {
+    readonly [method: string]: Handler;
+};
+/** Builds an `RpcError` with the given `code` and `message` (no `data`). */
+export declare const rpcError: (code: number) => (message: string) => RpcError;
+export declare const parseError: 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 [typeof unknown, undefined]>;
+}>;
+export declare const invalidRequest: 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 [typeof unknown, undefined]>;
+}>;
+export declare const methodNotFound: 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 [typeof unknown, undefined]>;
+}>;
+export declare const invalidParams: 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 [typeof unknown, undefined]>;
+}>;
+export declare const internalError: 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 [typeof unknown, undefined]>;
+}>;
+/**
+ * Dispatches an already-parsed JSON-RPC value against `handlers`.
+ *
+ * - invalid envelope → `Invalid Request` (`-32600`) with `id: null`
+ * - notification (no `id`) → `null` (never a response)
+ * - unknown method → `Method not found` (`-32601`)
+ * - otherwise the handler's `ok` / `error` result becomes a success / error response
+ */
+export declare const dispatch: (handlers: Handlers) => (value: Unknown) => Response | null;
+export {};

package/fs/{json → media/json}/rpc/module.f.js

@@ -14,9 +14,9 @@
  *
  * @module
  */
-import { number, string, or, option } from "../../types/rtti/module.f.js";
-import { validate } from "../../types/rtti/validate/module.f.js";
-import { unknown } from "../module.f.js";
+import { number, string, or, option } from '../../../types/rtti/module.f.js';
+import { validate } from '../../../types/rtti/validate/module.f.js';
+import { unknown } from '../module.f.js';
 export const jsonrpc = '2.0';
 /** Request/response identifier: a string, a number, or `null`. */
 const id = or(string, number, null);

package/fs/{json → media/json}/rpc/proof.f.js

@@ -1,7 +1,7 @@
-import { assert, assertEq } from "../../asserts/module.f.js";
-import { ok, error } from "../../types/result/module.f.js";
-import { validate } from "../../types/rtti/validate/module.f.js";
-import { error as errorSchema, decodeRequest, dispatch, rpcError, parseError, invalidRequest, methodNotFound, invalidParams, internalError, } from "./module.f.js";
+import { assert, assertEq } from '../../../asserts/module.f.js';
+import { ok, error } from '../../../types/result/module.f.js';
+import { validate } from '../../../types/rtti/validate/module.f.js';
+import { error as errorSchema, decodeRequest, dispatch, rpcError, parseError, invalidRequest, methodNotFound, invalidParams, internalError, } from './module.f.js';
 const isOk = (r) => r[0] === 'ok';
 const handlers = {
     ping: () => ok('pong'),