functionalscript 0.35.2 → 0.37.0

package/fs/asn.1/module.f.js

@@ -8,7 +8,7 @@ import { bitLength, divUp8 } from "../types/bigint/module.f.js";
 import { empty, isVec, length, msb, uint, unpack, vec, vec8 } from "../types/bit_vec/module.f.js";
 import { identity } from "../types/function/module.f.js";
 import { max } from "../types/function/compare/module.f.js";
-import { encode as b128encode, decode as b128decode } from "../base128/module.f.js";
+import { encode as b128encode, decode as b128decode } from "../basen/base128/module.f.js";
 const { popFront: pop, listToVec } = msb;
 const pop8 = pop(8n);
 const classPcMask = 224n;

package/fs/asserts/proof.f.js

@@ -1,4 +1,4 @@
-import { assert, assertEq, todo } from "./module.f.js";
+import { assert, assertEq, todo } from './module.f.js';
 const throws = (f, expected) => {
     let caught = false;
     try {

package/fs/base_n/module.f.js

@@ -11,9 +11,9 @@
  *
  * @module
  */
-import { msb, lsb, vec, chunkList, unpack } from "../types/bit_vec/module.f.js";
-import { fold } from "../types/list/module.f.js";
-import { compose } from "../types/function/module.f.js";
+import { msb, lsb, vec, chunkList, unpack } from '../types/bit_vec/module.f.js';
+import { fold } from '../types/list/module.f.js';
+import { compose } from '../types/function/module.f.js';
 const { unpackSplit } = msb;
 const { tryListToVec: reversedListToVec } = lsb;
 // `chunkList(msb)` doesn't depend on `bits` or `v` — shared across every

package/fs/base_n/proof.f.js

@@ -1,6 +1,6 @@
-import { assertEq } from "../asserts/module.f.js";
-import { empty, maxLength, vec, length } from "../types/bit_vec/module.f.js";
-import { baseN } from "./module.f.js";
+import { assertEq } from '../asserts/module.f.js';
+import { empty, maxLength, vec, length } from '../types/bit_vec/module.f.js';
+import { baseN } from './module.f.js';
 const hex = baseN(4n, '0123456789abcdef');
 const cb32 = baseN(5n, '0123456789abcdefghjkmnpqrstvwxyz', c => {
     const lower = c.toLowerCase();

package/fs/{base128 → basen/base128}/module.f.d.ts

@@ -3,7 +3,7 @@
  *
  * @module
  */
-import { type Vec } from '../types/bit_vec/module.f.ts';
+import { type Vec } from '../../types/bit_vec/module.f.ts';
 /**
  * Encodes a bigint into an MSB Base128 vector.
  *

package/fs/{base128 → basen/base128}/module.f.js

@@ -3,7 +3,7 @@
  *
  * @module
  */
-import { vec8, msb, empty } from "../types/bit_vec/module.f.js";
+import { vec8, msb, empty } from '../../types/bit_vec/module.f.js';
 const { concat, popFront } = msb;
 const pop8 = popFront(8n);
 /**

package/fs/{base128 → basen/base128}/proof.f.js

@@ -1,6 +1,6 @@
-import { empty, vec, vec8 } from "../types/bit_vec/module.f.js";
-import { asBase } from "../types/nominal/module.f.js";
-import { encode, decode } from "./module.f.js";
+import { empty, vec, vec8 } from '../../types/bit_vec/module.f.js';
+import { asBase } from '../../types/nominal/module.f.js';
+import { encode, decode } from './module.f.js';
 const test = (a, b) => {
     const encoded = encode(a);
     if (encoded !== b) {

package/fs/{base64 → basen/base64}/module.f.d.ts

@@ -3,7 +3,7 @@
  *
  * @module
  */
-import { type Vec } from "../types/bit_vec/module.f.ts";
-import type { Nullable } from "../types/nullable/module.f.ts";
+import { type Vec } from "../../types/bit_vec/module.f.ts";
+import type { Nullable } from "../../types/nullable/module.f.ts";
 export declare const encode: (input: Vec) => Nullable<string>;
 export declare const decode: (input: string) => Nullable<Vec>;

package/fs/basen/base64/module.f.js

@@ -0,0 +1,71 @@
+/**
+ * Standard Base64 encoding and decoding (RFC 4648).
+ *
+ * @module
+ */
+import { msb, length, vec, maxLength } from "../../types/bit_vec/module.f.js";
+import { baseN } from "../../base_n/module.f.js";
+const alphabet = 'ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/';
+const { popFront } = msb;
+const { vecToString, stringToVec } = baseN(6n, alphabet);
+export const encode = (input) => {
+    const len = length(input);
+    // Base64 is a byte codec; reject non-octet-aligned inputs.
+    if (len % 8n !== 0n) {
+        return null;
+    }
+    // `vecToString` (via `baseN`'s `chunkList`) already left-pads a trailing
+    // partial 6-bit chunk with zeros, so `input` needs no explicit padding —
+    // building one would risk pushing an intermediate `Vec` past `maxLength`
+    // for input already at or near that limit, for no benefit.
+    let result = vecToString(input);
+    // Append `=` padding to make total length a multiple of 4.
+    while (result.length % 4 !== 0) {
+        result += '=';
+    }
+    return result;
+};
+export const decode = (input) => {
+    // Count and strip trailing `=` padding (0, 1, or 2).
+    let padChars = 0;
+    for (let i = input.length - 1; i >= 0 && input[i] === '='; i--) {
+        padChars++;
+    }
+    if (padChars > 2) {
+        return null;
+    }
+    const body = input.slice(0, input.length - padChars);
+    // Total chars must make a multiple of 4 with the padding.
+    if ((body.length + padChars) % 4 !== 0) {
+        return null;
+    }
+    if (padChars === 0) {
+        return stringToVec(body);
+    }
+    // `encode`'s zero-padding bits (added to reach a 6-bit boundary) live
+    // entirely inside the *last* character's chunk — RFC 4648 padding never
+    // spans more than one base64 character. Decode every character but the
+    // last through `stringToVec` as usual, then decode and trim the last
+    // character on its own, so no intermediate `Vec` built here is ever
+    // wider than the final, post-trim result — even for input whose decoded
+    // payload lands exactly at `maxLength`.
+    const removeBits = BigInt(padChars * 2);
+    const realBits = 6n - removeBits;
+    const head = stringToVec(body.slice(0, body.length - 1));
+    if (head === null) {
+        return null;
+    }
+    const lastChunk = stringToVec(body.slice(body.length - 1));
+    if (lastChunk === null) {
+        return null;
+    }
+    if (length(head) + realBits > maxLength) {
+        return null;
+    }
+    const [kept, pad] = popFront(realBits)(lastChunk);
+    // Padding bits must be zero (RFC 4648 §3.5).
+    if (pad !== vec(removeBits)(0n)) {
+        return null;
+    }
+    return msb.concat(head)(vec(realBits)(kept));
+};

package/fs/{base64 → basen/base64}/proof.f.d.ts

@@ -9,5 +9,7 @@ export declare const proof: {
     validPadding: () => void;
     knownVectors: () => void;
     decodeOverflow: () => void;
+    encodeAtMaxLengthSucceeds: () => void;
+    decodeAtMaxLengthSucceeds: () => void;
     encodeLargeVecIsSlow: () => void;
 };

package/fs/{base64 → basen/base64}/proof.f.js

@@ -1,5 +1,5 @@
-import { assertEq } from "../asserts/module.f.js";
-import { empty, vec, repeat, vec8 } from "../types/bit_vec/module.f.js";
+import { assertEq } from '../../asserts/module.f.js';
+import { empty, vec, repeat, vec8, maxLength } from "../../types/bit_vec/module.f.js";
 import { encode, decode } from "./module.f.js";
 const check = (s, v) => {
     assertEq(encode(v), s);
@@ -83,6 +83,21 @@ export const proof = {
         const oversized = 'A'.repeat(174_764);
         assertEq(decode(oversized), null);
     },
+    encodeAtMaxLengthSucceeds: () => {
+        // A `maxLength`-sized vector's trailing partial 6-bit chunk is
+        // left-padded by `vecToString` itself (see `baseN`), so `encode`
+        // never needs to build an over-`maxLength` intermediate and must not
+        // reject this boundary input.
+        assertEq(encode(vec(maxLength)(0n)), 'A'.repeat(174_763) + '=');
+    },
+    decodeAtMaxLengthSucceeds: () => {
+        // Companion to `encodeAtMaxLengthSucceeds`: the encoded string's raw,
+        // pre-trim bit count (1_048_578) is 2 over `maxLength` even though
+        // the payload it decodes to is exactly `maxLength`. `decode` must
+        // trim the last character's 2 zero-padding bits before — not after —
+        // measuring the result against `maxLength`.
+        check('A'.repeat(174_763) + '=', vec(maxLength)(0n));
+    },
     // Regression guard: `encode` used to be quadratic in the input size, not
     // linear. `baseN`'s `vecToString` (`fs/base_n/module.f.ts`) popped one
     // 6-bit chunk off the front at a time via `popFront`, and each `popFront`

package/fs/{cbase32 → basen/cbase32}/module.f.d.ts

@@ -3,8 +3,8 @@
  *
  * @module
  */
-import { type Vec } from "../types/bit_vec/module.f.ts";
-import type { Nullable } from "../types/nullable/module.f.ts";
+import { type Vec } from "../../types/bit_vec/module.f.ts";
+import type { Nullable } from "../../types/nullable/module.f.ts";
 export declare const vec5xToCBase32: (v: Vec) => string;
 export declare const cBase32ToVec5x: (s: string) => Nullable<Vec>;
 export declare const vecToCBase32: (v: Vec) => string;

package/fs/{cbase32 → basen/cbase32}/module.f.js

@@ -3,8 +3,8 @@
  *
  * @module
  */
-import { msb, lsb, length, vec, empty } from "../types/bit_vec/module.f.js";
-import { baseN } from "../base_n/module.f.js";
+import { msb, lsb, length, vec, empty } from "../../types/bit_vec/module.f.js";
+import { baseN } from "../../base_n/module.f.js";
 //                         0123456789abcdef
 const m = '0123456789abcdefghjkmnpqrstvwxyz';
 const { concat } = msb;

package/fs/{cbase32 → basen/cbase32}/proof.f.js

@@ -1,4 +1,4 @@
-import { empty, vec } from "../types/bit_vec/module.f.js";
+import { empty, vec } from "../../types/bit_vec/module.f.js";
 import { cBase32ToVec, cBase32ToVec5x, vec5xToCBase32, vecToCBase32 } from "./module.f.js";
 const check5x = (s, v) => {
     const sr = vec5xToCBase32(v);

package/fs/bnf/data/module.f.js

@@ -10,10 +10,10 @@
  *
  * @module
  */
-import { stringToCodePointList } from "../../text/utf16/module.f.js";
-import { map, toArray } from "../../types/list/module.f.js";
-import { oneEncode, } from "../module.f.js";
-import {} from "../../types/object/module.f.js";
+import { stringToCodePointList } from '../../text/utf16/module.f.js';
+import { map, toArray } from '../../types/list/module.f.js';
+import { oneEncode, } from '../module.f.js';
+import {} from '../../types/object/module.f.js';
 const { entries } = Object;
 const find = (map) => (fr) => {
     for (const [k, v] of entries(map)) {

package/fs/bnf/data/proof.f.js

@@ -1,9 +1,9 @@
-import { stringify } from "../../json/module.f.js";
-import { identity } from "../../types/function/module.f.js";
-import { sort } from "../../types/object/module.f.js";
-import { oneEncode, option, range, rangeDecode, repeat0Plus, set } from "../module.f.js";
-import { classic, deterministic } from "../testlib.f.js";
-import { toData } from "./module.f.js";
+import { stringify } from '../../media/json/module.f.js';
+import { identity } from '../../types/function/module.f.js';
+import { sort } from '../../types/object/module.f.js';
+import { oneEncode, option, range, rangeDecode, repeat0Plus, set } from '../module.f.js';
+import { classic, deterministic } from '../testlib.f.js';
+import { toData } from './module.f.js';
 export const proof = {
     rangeDecode: () => {
         const decoded1 = stringify(sort)(rangeDecode(0x000079_000087));

package/fs/bnf/descent/module.f.js

@@ -9,12 +9,12 @@
  *
  * @module
  */
-import {} from "../../text/utf16/module.f.js";
-import { rangeDecode } from "../module.f.js";
-import { contains as rangeContains } from "../../types/range/module.f.js";
-import { definedEntries } from "../../types/object/module.f.js";
-import { toData } from "../data/module.f.js";
-import {} from "../module.f.js";
+import {} from '../../text/utf16/module.f.js';
+import { rangeDecode } from '../module.f.js';
+import { contains as rangeContains } from '../../types/range/module.f.js';
+import { definedEntries } from '../../types/object/module.f.js';
+import { toData } from '../data/module.f.js';
+import {} from '../module.f.js';
 const emptyTagMapAdd = (ruleSet) => (map) => (name) => {
     if (name in map) {
         return [ruleSet, map, map[name]];

package/fs/bnf/descent/proof.f.js

@@ -1,9 +1,9 @@
-import { stringToCodePointList } from "../../text/utf16/module.f.js";
-import { map, toArray } from "../../types/list/module.f.js";
-import { commaJoin0Plus, option, range, repeat0Plus, set } from "../module.f.js";
-import { deterministic } from "../testlib.f.js";
-import { toData } from "../data/module.f.js";
-import { createEmptyTagMap, descentParser } from "./module.f.js";
+import { stringToCodePointList } from '../../text/utf16/module.f.js';
+import { map, toArray } from '../../types/list/module.f.js';
+import { commaJoin0Plus, option, range, repeat0Plus, set } from '../module.f.js';
+import { deterministic } from '../testlib.f.js';
+import { toData } from '../data/module.f.js';
+import { createEmptyTagMap, descentParser } from './module.f.js';
 const mapCodePoint = (cp) => [cp, undefined];
 const descentParserCpOnly = (m, name, cp) => {
     const cpm = toArray(map(mapCodePoint)(cp));

package/fs/bnf/ll1/module.f.js

@@ -9,15 +9,15 @@
  *
  * @module
  */
-import {} from "../../text/utf16/module.f.js";
-import { strictEqual } from "../../types/function/operator/module.f.js";
-import { toArray } from "../../types/list/module.f.js";
-import { rangeMap } from "../../types/range_map/module.f.js";
-import { contains, set } from "../../types/string_set/module.f.js";
-import { rangeDecode } from "../module.f.js";
-import { definedEntries } from "../../types/object/module.f.js";
-import { toData } from "../data/module.f.js";
-import {} from "../module.f.js";
+import {} from '../../text/utf16/module.f.js';
+import { strictEqual } from '../../types/function/operator/module.f.js';
+import { toArray } from '../../types/list/module.f.js';
+import { rangeMap } from '../../types/range_map/module.f.js';
+import { contains, set } from '../../types/string_set/module.f.js';
+import { rangeDecode } from '../module.f.js';
+import { definedEntries } from '../../types/object/module.f.js';
+import { toData } from '../data/module.f.js';
+import {} from '../module.f.js';
 const dispatchOp = rangeMap({
     union: a => b => {
         if (a === null) {

package/fs/bnf/ll1/proof.f.js

@@ -1,9 +1,9 @@
-import { stringToCodePointList } from "../../text/utf16/module.f.js";
-import { toArray } from "../../types/list/module.f.js";
-import { commaJoin0Plus, option, range, repeat0Plus, set } from "../module.f.js";
-import { deterministic } from "../testlib.f.js";
-import { toData } from "../data/module.f.js";
-import { dispatchMap, parser, parserRuleSet } from "./module.f.js";
+import { stringToCodePointList } from '../../text/utf16/module.f.js';
+import { toArray } from '../../types/list/module.f.js';
+import { commaJoin0Plus, option, range, repeat0Plus, set } from '../module.f.js';
+import { deterministic } from '../testlib.f.js';
+import { toData } from '../data/module.f.js';
+import { dispatchMap, parser, parserRuleSet } from './module.f.js';
 export const proof = {
     dispatch: [
         () => {

package/fs/bnf/module.f.js

@@ -6,10 +6,10 @@
  *
  * @module
  */
-import { codePointListToString, stringToCodePointList } from "../text/utf16/module.f.js";
-import { definedValues } from "../types/object/module.f.js";
-import { isArray2 } from "../types/array/module.f.js";
-import { map, toArray, repeat as listRepeat } from "../types/list/module.f.js";
+import { codePointListToString, stringToCodePointList } from '../text/utf16/module.f.js';
+import { definedValues } from '../types/object/module.f.js';
+import { isArray2 } from '../types/array/module.f.js';
+import { map, toArray, repeat as listRepeat } from '../types/list/module.f.js';
 /**
  * Full 24-bit symbol range packed into a single {@link TerminalRange}.
  */

package/fs/bnf/proof.f.js

@@ -1,5 +1,5 @@
-import { classic, deterministic } from "./testlib.f.js";
-import { rangeEncode, str, set, range, commaJoin0Plus, isEmpty, oneEncode, repeat1Plus, } from "./module.f.js";
+import { classic, deterministic } from './testlib.f.js';
+import { rangeEncode, str, set, range, commaJoin0Plus, isEmpty, oneEncode, repeat1Plus, } from './module.f.js';
 export const proof = {
     test: () => {
         classic();

package/fs/bnf/testlib.f.js

@@ -1,4 +1,4 @@
-import { commaJoin0Plus, max, none, option, range, remove, repeat, repeat0Plus, set } from "./module.f.js";
+import { commaJoin0Plus, max, none, option, range, remove, repeat, repeat0Plus, set } from './module.f.js';
 export const classic = () => {
     // https://www.json.org/json-en.html
     const json = () => [element];

package/fs/cas/cli/module.f.js

@@ -3,13 +3,13 @@
  *
  * @module
  */
-import { sha256 } from "../../crypto/sha2/module.f.js";
-import { cBase32ToVec, vecToCBase32 } from "../../cbase32/module.f.js";
-import { forEachStep, pure } from "../../effects/module.f.js";
-import { errorExit, log, writeFromStream } from "../../effects/node/module.f.js";
-import { dispatch } from "../../cli/module.f.js";
-import {} from "../../effects/memory/module.f.js";
-import { casAddFile, fileCas } from "../module.f.js";
+import { sha256 } from '../../crypto/sha2/module.f.js';
+import { cBase32ToVec, vecToCBase32 } from '../../basen/cbase32/module.f.js';
+import { forEachStep, pure } from '../../effects/module.f.js';
+import { errorExit, log, writeFromStream } from '../../effects/node/module.f.js';
+import { dispatch } from '../../cli/module.f.js';
+import {} from '../../effects/memory/module.f.js';
+import { casAddFile, fileCas } from '../module.f.js';
 export const commands = [
     {
         names: ['add'],

package/fs/cas/cli/proof.f.js

@@ -1,11 +1,11 @@
-import { commands } from "./module.f.js";
-import { computeSync, sha256 } from "../../crypto/sha2/module.f.js";
-import { maxLength, vec, vec8 } from "../../types/bit_vec/module.f.js";
-import { defaultNodeProgramOptions, emptyState, virtual } from "../../effects/node/virtual/module.f.js";
-import {} from "../../effects/node/module.f.js";
-import { dispatch } from "../../cli/module.f.js";
-import { vecToCBase32 } from "../../cbase32/module.f.js";
-import { assert, assertEq } from "../../asserts/module.f.js";
+import { commands } from './module.f.js';
+import { computeSync, sha256 } from '../../crypto/sha2/module.f.js';
+import { maxLength, vec, vec8 } from '../../types/bit_vec/module.f.js';
+import { defaultNodeProgramOptions, emptyState, virtual } from '../../effects/node/virtual/module.f.js';
+import {} from '../../effects/node/module.f.js';
+import { dispatch } from '../../cli/module.f.js';
+import { vecToCBase32 } from '../../basen/cbase32/module.f.js';
+import { assert, assertEq } from '../../asserts/module.f.js';
 const makeOptions = (args) => ({ ...defaultNodeProgramOptions, args });
 const main = dispatch(commands);
 export const proof = {

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

@@ -1,12 +1,12 @@
 import { type Effect } from '../../effects/module.f.ts';
 import { type MemOp } from '../../effects/memory/module.f.ts';
-import { type Read, type Rm, type Write } from '../../effects/node/module.f.ts';
+import { type Read, type Write } from '../../effects/node/module.f.ts';
 import { type McpConfig, type McpHandlers } from '../../mcp/module.f.ts';
 import { type FileCasOperation } from '../module.f.ts';
 /** Arguments for `cas_add`: content to store, with optional encoding type. */
 export declare const casAddArgs: {
     readonly content: import("../../types/rtti/module.f.ts").String;
-    readonly type: import("../../types/rtti/module.f.ts").Or<["text", "base64", "url", undefined]>;
+    readonly type: import("../../types/rtti/module.f.ts").Or<["text", "base64", undefined]>;
 };
 /** Arguments for `cas_get`: the cBase32 hash to look up; optionally request inline content. */
 export declare const casGetArgs: {
@@ -18,7 +18,7 @@ export declare const casListArgs: {};
 /**
  * MCP handlers for `FileCas`.
  */
-export declare const casMcpHandlers: (home: string) => McpHandlers<FileCasOperation | Rm>;
+export declare const casMcpHandlers: (home: string) => McpHandlers<FileCasOperation>;
 /**
  * Static MCP configuration for the CAS server: advertises the `tools`
  * capability, identifies the server, and pins the protocol version.
@@ -29,4 +29,8 @@ export declare const casConfig: McpConfig;
  * the `mcpStep` for `c`, and drives the read → parse → dispatch → write loop
  * until stdin EOF.
  */
-export declare const casMcpServer: (home: string) => Effect<Read | Write | MemOp | FileCasOperation | Rm, void>;
+export declare const casMcpServer: (home: string) => Effect<Read | Write | MemOp | FileCasOperation, void>;
+export declare const proof: {
+    casMcpServer: () => void;
+    collectReadOverflow: () => void;
+};