functionalscript 0.36.0 → 0.38.0

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

@@ -1,155 +0,0 @@
-/**
- * Experimental DJS parser implementation.
- *
- * @module
- */
-import { descentParser } from "../../bnf/descent/module.f.js";
-import { eof, join0Plus, max, none, not, notSet, oneEncode, option, range, remove, repeat, repeat0Plus, repeat1Plus, set, unicodeRange } from "../../bnf/module.f.js";
-import { todo } from "../../asserts/module.f.js";
-export const parse = (input) => {
-    const m = descentParser(jsGrammar());
-    return todo();
-};
-export const jsGrammar = () => {
-    const onenine = range('19');
-    const digit = range('09');
-    const string = [
-        '"',
-        repeat0Plus({
-            ...remove(range(` ${max}`), set('"\\')),
-            escape: [
-                '\\',
-                {
-                    ...set('"\\bfnrt'),
-                    solidus: '/',
-                    u: [
-                        'u',
-                        ...repeat(4)({
-                            digit,
-                            AF: range('AF'),
-                            af: range('af'),
-                        })
-                    ],
-                }
-            ],
-        }),
-        '"'
-    ];
-    const digits0 = repeat0Plus(digit);
-    const digits = [digit, digits0];
-    const number = [
-        {
-            0: '0',
-            onenine: [onenine, digits0],
-        },
-        option({
-            bigint: 'n',
-            frac: [
-                option(['.', digits]),
-                option([set('Ee'), option(set('+-')), digits])
-            ]
-        })
-    ];
-    const ws = set(' \t');
-    const newLine = set('\n\r');
-    const idStart = {
-        smallLetter: range('az'),
-        bigLetter: range('AZ'),
-        lowLine: '_',
-        dollarSign: '$'
-    };
-    const idChar = {
-        ...idStart,
-        digit
-    };
-    const id = [idStart, repeat0Plus(idChar)];
-    const operator = {
-        '.': '.',
-        '=>': '=>',
-        '===': '===',
-        '==': '==',
-        '=': '=',
-        '!==': '!==',
-        '!=': '!=',
-        '!': '!',
-        '>>>=': '>>>=',
-        '>>>': '>>>',
-        '>>=': '>>=',
-        '>>': '>>',
-        '>=': '>=',
-        '>': '>',
-        '<<<<=': '<<<=',
-        '<<<': '<<<',
-        '<<=': '<<=',
-        '<<': '<<',
-        '<=': '<=',
-        '<': '<',
-        '+=': '+=',
-        '++': '++',
-        '+': '+',
-        '-=': '-=',
-        '--': '--',
-        '-': '-',
-        '**=': '**=',
-        '**': '**',
-        '*=': '*=',
-        '*': '*',
-        '/=': '/=',
-        '/': '/',
-        '%=': '%=',
-        '%': '%',
-        '&&=': '&&=',
-        '&&': '&&',
-        '&=': '&=',
-        '&': '&',
-        '||=': '||=',
-        '||': '||',
-        '|=': '|=',
-        '|': '|',
-        '^=': '^=',
-        '^': '^',
-        '~': '~',
-        '??=': '??=',
-        '??': '??',
-        '?.': '?.',
-        '?': '?',
-        '[': '[',
-        ']': ']',
-        '{': '{',
-        '}': '}',
-        '(': '(',
-        ')': ')',
-        ',': ',',
-        ':': ':'
-    };
-    const commentEnd = {
-        ...newLine,
-        eof
-    };
-    const comment = ['/', {
-            // TODO: investigate why `not(commentEnd)` instead of `remove(unicodeRange, newLine)` fail tests.
-            // TODO: should it be `repeat0Plus(not(commentEnd))` instead of `option(remove(unicodeRange, newLine))`.
-            oneline: ['/', option(remove(unicodeRange, newLine)), commentEnd],
-            multiline: [
-                '*',
-                repeat0Plus({
-                    na: notSet('*'),
-                    a: ['*', notSet('/')]
-                }),
-                '*/'
-            ]
-        }
-    ];
-    const token = {
-        number,
-        string,
-        id,
-        comment,
-        operator,
-        ws,
-        newLine,
-        eof
-    };
-    const tokens = repeat0Plus(token);
-    return tokens;
-};

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

@@ -1,68 +0,0 @@
-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;
-};
-export const proof = {
-    parse: () => {
-        const result = run({ a: [utf8('export default 1')] })('a');
-        if (result[0] === 'error') {
-            throw result[1];
-        }
-        const s = stringifyAsTree(sort)(result[1]);
-        if (s !== '1') {
-            throw s;
-        }
-    },
-    parseWithSubModule: () => {
-        const result = run({ a: { b: [utf8('import c from "c"\nexport default c')], c: [utf8('export default 2')] } })('a/b');
-        if (result[0] === 'error') {
-            throw result[1];
-        }
-        const s = stringifyAsTree(sort)(result[1]);
-        if (s !== '2') {
-            throw s;
-        }
-    },
-    parseWithSubModules: () => {
-        const result = run({
-            a: [utf8('import b from "b"\nimport c from "c"\nexport default [b,c,b]')],
-            b: [utf8('import d from "d"\nexport default [0,d]')],
-            c: [utf8('import d from "d"\nexport default [1,d]')],
-            d: [utf8('export default 2')],
-        })('a');
-        if (result[0] === 'error') {
-            throw result[1];
-        }
-        const s = stringifyAsTree(sort)(result[1]);
-        if (s !== '[[0,2],[1,2],[0,2]]') {
-            throw s;
-        }
-    },
-    parseWithFileNotFoundError: () => {
-        const result = run({ a: [utf8('import b from "b"\nexport default b')] })('a');
-        if (result[0] !== 'error') {
-            throw result;
-        }
-        if (result[1].message !== 'file not found') {
-            throw result;
-        }
-    },
-    parseWithCycleError: () => {
-        const result = run({
-            a: [utf8('import b from "b"\nimport c from "c"\nexport default [b,c,b]')],
-            b: [utf8('import c from "c"\nexport default c')],
-            c: [utf8('import b from "b"\nexport default b')],
-        })('a');
-        if (result[0] !== 'error') {
-            throw result;
-        }
-        if (result[1].message !== 'circular dependency') {
-            throw result;
-        }
-    },
-};

package/fs/emergent_testing/all.test.js

@@ -1,4 +0,0 @@
-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/scenarios/all.js

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

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

@@ -1,2 +0,0 @@
-import { type NodeProgram } from '../effects/node/module.f.ts';
-export declare const main: NodeProgram;

package/fs/fjs/module.js

@@ -1,4 +0,0 @@
-#!/usr/bin/env node
-import { main } from "./module.f.js";
-import { run } from "../effects/node/module.js";
-await run(main);

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

@@ -1,50 +0,0 @@
-/**
- * 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", /*elided*/ any>, import("../types/rtti/module.f.ts").Type1<"array", /*elided*/ any>]>];
-/**
- * rtti schema matching a JSON object: `{ readonly [k: string]?: Unknown }`.
- */
-export declare const object: 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>]>;
-/** rtti schema matching a JSON array: `readonly Unknown[]`. */
-export declare const array: 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", /*elided*/ any>, import("../types/rtti/module.f.ts").Type1<"array", /*elided*/ any>]>;
-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/rpc/module.f.d.ts

@@ -1,114 +0,0 @@
-import type { Ts } from '../../types/rtti/ts/module.f.ts';
-import type { Result } from '../../types/result/module.f.ts';
-import { 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 [() => 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 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 [() => 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]>;
-};
-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: () => 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 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 [() => 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 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: () => 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 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 [() => 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 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 [() => 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 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 [() => 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]>;
-}>;
-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 [() => 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]>;
-}>;
-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 [() => 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]>;
-}>;
-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 [() => 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]>;
-}>;
-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 [() => 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]>;
-}>;
-/**
- * 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/schema/module.f.d.ts

@@ -1,77 +0,0 @@
-/**
- * Converts an rtti schema to a JSON Schema (draft 2020-12) object.
- *
- * Mirrors the visitor structure of `fs/types/rtti/ts/module.f.ts` (`printer` / `toTs`),
- * but emits a JSON Schema object instead of a TypeScript type string.
- *
- * @module
- */
-import { type Type as RttiType } from '../../types/rtti/module.f.ts';
-import type { Ts } from '../../types/rtti/ts/module.f.ts';
-import type { Phantom } from '../../types/phantom/module.f.ts';
-declare const unknownThunk: () => readonly ["const", {
-    readonly type: import("../../types/rtti/module.f.ts").Or<["boolean", "number", "string", "integer", "array", "object", undefined]>;
-    readonly const: 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 not: import("../../types/rtti/module.f.ts").Or<readonly [Phantom<() => readonly ["const", /*elided*/ any], UnknownConst>, undefined]>;
-    readonly anyOf: import("../../types/rtti/module.f.ts").Or<readonly [import("../../types/rtti/module.f.ts").Type1<"array", Phantom<() => readonly ["const", /*elided*/ any], UnknownConst>>, undefined]>;
-    readonly items: import("../../types/rtti/module.f.ts").Or<[Phantom<() => readonly ["const", /*elided*/ any], UnknownConst>, false, undefined]>;
-    readonly prefixItems: import("../../types/rtti/module.f.ts").Or<readonly [import("../../types/rtti/module.f.ts").Type1<"array", Phantom<() => readonly ["const", /*elided*/ any], UnknownConst>>, undefined]>;
-    readonly properties: import("../../types/rtti/module.f.ts").Or<readonly [import("../../types/rtti/module.f.ts").Type1<"record", Phantom<() => readonly ["const", /*elided*/ any], UnknownConst>>, undefined]>;
-    readonly required: import("../../types/rtti/module.f.ts").Or<readonly [import("../../types/rtti/module.f.ts").Type1<"array", import("../../types/rtti/module.f.ts").String>, undefined]>;
-    readonly additionalProperties: import("../../types/rtti/module.f.ts").Or<readonly [Phantom<() => readonly ["const", /*elided*/ any], UnknownConst>, undefined]>;
-}];
-/** rtti schema for a JSON Schema (draft 2020-12) document. */
-export declare const unknown: Phantom<typeof unknownThunk, UnknownConst>;
-/** A JSON Schema (draft 2020-12) document — the subset of keywords that `toJsonSchema` emits. */
-export type Unknown = Ts<typeof unknown>;
-declare const unknownConst: {
-    readonly type: import("../../types/rtti/module.f.ts").Or<["boolean", "number", "string", "integer", "array", "object", undefined]>;
-    readonly const: 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 not: import("../../types/rtti/module.f.ts").Or<readonly [Phantom<() => readonly ["const", /*elided*/ any], UnknownConst>, undefined]>;
-    readonly anyOf: import("../../types/rtti/module.f.ts").Or<readonly [import("../../types/rtti/module.f.ts").Type1<"array", Phantom<() => readonly ["const", /*elided*/ any], UnknownConst>>, undefined]>;
-    readonly items: import("../../types/rtti/module.f.ts").Or<[Phantom<() => readonly ["const", /*elided*/ any], UnknownConst>, false, undefined]>;
-    readonly prefixItems: import("../../types/rtti/module.f.ts").Or<readonly [import("../../types/rtti/module.f.ts").Type1<"array", Phantom<() => readonly ["const", /*elided*/ any], UnknownConst>>, undefined]>;
-    readonly properties: import("../../types/rtti/module.f.ts").Or<readonly [import("../../types/rtti/module.f.ts").Type1<"record", Phantom<() => readonly ["const", /*elided*/ any], UnknownConst>>, undefined]>;
-    readonly required: import("../../types/rtti/module.f.ts").Or<readonly [import("../../types/rtti/module.f.ts").Type1<"array", import("../../types/rtti/module.f.ts").String>, undefined]>;
-    readonly additionalProperties: import("../../types/rtti/module.f.ts").Or<readonly [Phantom<() => readonly ["const", /*elided*/ any], UnknownConst>, undefined]>;
-};
-/**
- * Hand-written base type used as the `$out` annotation on `unknown`.
- *
- * The `?` markers are required even though `Ts<>` already includes `undefined`
- * in each field type. Without `?`, `Unknown = UnknownConst` would require all
- * 9 fields to be present in every object literal returned by `toJsonSchema`,
- * because TypeScript distinguishes "field absent" (`?`) from "field present but
- * undefined" (`T | undefined`). JSON Schema objects only include the fields
- * they need, so all fields must be optional.
- */
-type UnknownConst = {
-    readonly type?: Ts<typeof unknownConst.type>;
-    readonly const?: Ts<typeof unknownConst.const>;
-    readonly not?: Ts<typeof unknownConst.not>;
-    readonly anyOf?: Ts<typeof unknownConst.anyOf>;
-    readonly items?: Ts<typeof unknownConst.items>;
-    readonly prefixItems?: Ts<typeof unknownConst.prefixItems>;
-    readonly properties?: Ts<typeof unknownConst.properties>;
-    readonly required?: Ts<typeof unknownConst.required>;
-    readonly additionalProperties?: Ts<typeof unknownConst.additionalProperties>;
-};
-/**
- * Converts an rtti `Type` to a JSON Schema (draft 2020-12) object.
- *
- * | rtti                                          | JSON Schema                                                                         |
- * |-----------------------------------------------|-------------------------------------------------------------------------------------|
- * | `boolean` / `number` / `string`               | `{ "type": "..." }`                                                                 |
- * | `bigint`                                      | `{ "type": "integer" }` (lossy; JSON integers are IEEE-754 doubles)                 |
- * | `unknown`                                     | `{}` (always-true schema)                                                           |
- * | primitive const (`42`, `'x'`, `true`, `null`) | `{ "const": <value> }`                                                              |
- * | `bigint` const                                | `{ "const": Number(value) }` (lossy for \|value\| > MAX_SAFE_INTEGER)               |
- * | `undefined` const                             | `{ "not": {} }` (no JSON value satisfies this)                                      |
- * | struct `{ a: T, … }`                          | `{ "type": "object", "properties": { "a": …T… }, "required": [non-optional keys] }` |
- * | tuple `[A, B]`                                | `{ "type": "array", "prefixItems": […A…, …B…], "items": false }`                    |
- * | `array(T)`                                    | `{ "type": "array", "items": …T… }`                                                 |
- * | `record(T)`                                   | `{ "type": "object", "additionalProperties": …T… }`                                 |
- * | `or(...types)`                                | `{ "anyOf": […each…] }`                                                             |
- */
-export declare const toJsonSchema: (rtti: RttiType) => Unknown;
-export {};

package/fs/text/ascii/proof.f.d.ts

@@ -1,4 +0,0 @@
-export declare const proof: {
-    range: () => void;
-    oneThrowsOnEmpty: () => void;
-};

package/fs/text/ascii/proof.f.js

@@ -1,24 +0,0 @@
-import { one, range } from "./module.f.js";
-import { stringify as jsonStringify } from "../../json/module.f.js";
-import { sort } from "../../types/object/module.f.js";
-const stringify = jsonStringify(sort);
-export const proof = {
-    range: () => {
-        const r = stringify(range("A"));
-        if (r !== '[65,65]') {
-            throw r;
-        }
-    },
-    oneThrowsOnEmpty: () => {
-        let threw = false;
-        try {
-            one('');
-        }
-        catch (_) {
-            threw = true;
-        }
-        if (!threw) {
-            throw 'expected throw';
-        }
-    },
-};