functionalscript 0.36.0 → 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/{base64 → basen/base64}/module.f.js

@@ -3,8 +3,8 @@
  *
  * @module
  */
-import { msb, length, vec, empty } from "../types/bit_vec/module.f.js";
-import { baseN } from "../base_n/module.f.js";
+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);
@@ -39,23 +39,33 @@ export const decode = (input) => {
     if ((body.length + padChars) % 4 !== 0) {
         return null;
     }
-    // Decode each character to 6 bits.
-    const result = stringToVec(body);
-    if (result === null) {
-        return null;
+    if (padChars === 0) {
+        return stringToVec(body);
     }
-    // Remove the zero-padding bits introduced during encode.
-    // padChars=1 → 2 padding bits removed, padChars=2 → 4 padding bits removed.
+    // `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 totalBits = length(result);
-    const targetLen = totalBits - removeBits;
-    if (targetLen === 0n) {
-        return empty;
+    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, padVec] = popFront(targetLen)(result);
+    const [kept, pad] = popFront(realBits)(lastChunk);
     // Padding bits must be zero (RFC 4648 §3.5).
-    if (removeBits > 0n && padVec !== vec(removeBits)(0n)) {
+    if (pad !== vec(removeBits)(0n)) {
         return null;
     }
-    return vec(targetLen)(kept);
+    return msb.concat(head)(vec(realBits)(kept));
 };

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

@@ -10,5 +10,6 @@ export declare const proof: {
     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, maxLength } 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);
@@ -87,11 +87,17 @@ export const proof = {
         // 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. (`decode` of the resulting string
-        // still fails on this exact boundary — a separate, still-open bug;
-        // see `fs/base64/todo/decode-rejects-max-size-input.md`.)
+        // 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 = {