functionalscript 0.44.0 → 0.45.0

package/fjs/emergent_testing/module.f.mjs

@@ -9,32 +9,19 @@
  *   scheduling and pass/fail counting.
  *
  * @module
+ *
+ * @import { Effect, Operation } from '../effects/types.ts'
+ * @import { LoadModuleOperations, ModuleMap } from '../dev/types.ts'
+ * @import { TestFn, TestEntry, TestSet, Path, Reporter, _TestState, _TestAndPath } from './types.ts'
+ * @import { All, Await, Env, NodeProgram, NodeProgramOptions, Program, Sandbox, SandboxResult, Test, TestContext, Write, WriteConsoles } from '../effects/node/types.ts'
  */
 
 import { reset, fgGreen, fgRed, bold, csiWrite } from '../text/sgr/module.f.mjs'
 import { all, awaitIfPromise, sandbox, test } from '../effects/node/module.f.mjs'
-/** @import {
-    All,
-    Await,
-    Env,
-    NodeProgram,
-    NodeProgramOptions,
-    Program,
-    Sandbox,
-    SandboxResult,
-    Test,
-    TestContext,
-    Write,
-    WriteConsoles
-} from '../effects/node/types.ts' */
-import { history, historyStep, pure, step } from '../effects/module.f.mjs'
-/** @import { Effect, Operation } from '../effects/types.ts' */
-import { eff } from '../effects/eff/module.f.mjs'
+import { history, historyStep, mapStep, pure, step } from '../effects/module.f.mjs'
 import { loadModuleMap } from '../dev/module.f.mjs'
-/** @import { LoadModuleOperations, ModuleMap } from '../dev/types.ts' */
 import { invert } from '../types/result/module.f.mjs'
 import { definedEntries } from '../types/object/module.f.mjs'
-/** @import { TestFn, TestEntry, TestSet, Path, Reporter, _TestState, _TestAndPath } from './types.ts' */
 
 /** @type {(delta: number) => (ts: _TestState) => _TestState} */
 const addPass = delta => ts =>
@@ -131,27 +118,21 @@ export const registerModule = (ctx, k, v, star) => {
         const base = fmtImport(k, path)
         const name = throws ? base : `${base}${star}`
         return test(ctx, name, throws, (/** @type {TestContext} */ t) =>
-            eff(awaitIfPromise(fn()))
-                .step(resolved => {
-                    if (throws) {
-                        return pure(undefined)
-                    }
-                    const sub = collectTests([...path, null], false, resolved)
-                    if (sub.length === 0) {
-                        return pure(undefined)
-                    }
-                    return eff(all(...sub.map(e => registerOne(t, e))))
-                        .step(() => pure(undefined))
-                        .value
-                })
-                .value
+            step(awaitIfPromise(fn()), resolved => {
+                if (throws) {
+                    return pure(undefined)
+                }
+                const sub = collectTests([...path, null], false, resolved)
+                if (sub.length === 0) {
+                    return pure(undefined)
+                }
+                return mapStep(all(...sub.map(e => registerOne(t, e))), () => undefined)
+            })
         )
     }
     const tests = collectTests([], false, v)
     if (tests.length === 0) { return pure(undefined) }
-    return eff(all(...tests.map(e => registerOne(ctx, e))))
-        .step(() => pure(undefined))
-        .value
+    return mapStep(all(...tests.map(e => registerOne(ctx, e))), () => undefined)
 }
 
 /** @type {(a: _TestState, b: _TestState) => _TestState} */
@@ -194,13 +175,9 @@ const runModule = ({ result, test }) => (k, v) => ts => {
     /** @type {(path: Path, throws: boolean, v: unknown) => Effect<O | All, _TestState>} */
     const walk = (path, throws, v) => {
         const effects = collectTests(path, throws, v).map(one)
-        return eff(all(...effects))
-            .step(states => pure(states.reduce(mergeState, zero)))
-            .value
+        return mapStep(all(...effects), states => states.reduce(mergeState, zero))
     }
-    return eff(walk([], false, v))
-        .step(delta => pure(mergeState(ts, delta)))
-        .value
+    return mapStep(walk([], false, v), delta => mergeState(ts, delta))
 }
 
 /** @type {(moduleMap: ModuleMap) => readonly (readonly [string, unknown])[]} */
@@ -220,11 +197,16 @@ const proofEntries = moduleMap =>
 export const runModuleMap = reporter => moduleMap => {
     const { summary } = reporter
     const modules = proofEntries(moduleMap)
-    return eff(all(...modules.map(([k, v]) => runModule(reporter)(k, v)(zero))))
-        .step(m => pure(m.reduce(mergeState, zero)))
-        .step(ts => summary(ts.pass, ts.fail, ts.time))
-        .step((_, ts) => pure(ts.fail !== 0 ? 1 : 0))
-        .value
+    const total = mapStep(
+        all(...modules.map(([k, v]) => runModule(reporter)(k, v)(zero))),
+        m => m.reduce(mergeState, zero))
+    // The totals are still needed after the summary has been printed, so they
+    // are carried forward in a history rather than closed over by a nested
+    // continuation.
+    const reported = historyStep(
+        history(total),
+        ts => summary(ts.pass, ts.fail, ts.time))
+    return mapStep(reported, ([, ts]) => ts.fail !== 0 ? 1 : 0)
 }
 
 /**
@@ -237,9 +219,7 @@ export const runModuleMap = reporter => moduleMap => {
  * @returns {Program<O | All | LoadModuleOperations>}
  */
 export const testAll = reporter => options =>
-    eff(loadModuleMap(options.env))
-        .step(runModuleMap(reporter))
-        .value
+    step(loadModuleMap(options.env), runModuleMap(reporter))
 
 /**
  * Registers all modules in `moduleMap` that export a `proof` property with
@@ -250,9 +230,7 @@ export const testAll = reporter => options =>
 const registerModuleMap = (ctx, star) => moduleMap => {
     const modules = proofEntries(moduleMap)
     if (modules.length === 0) { return pure(undefined) }
-    return eff(all(...modules.map(([k, v]) => registerModule(ctx, k, v, star))))
-        .step(() => pure(undefined))
-        .value
+    return mapStep(all(...modules.map(([k, v]) => registerModule(ctx, k, v, star))), () => undefined)
 }
 
 /** @type {(c: string) => boolean} */
@@ -341,9 +319,7 @@ export const ghEscape = s =>
  * @type {(file: string, path: Path, entry: TestEntry) => Effect<Sandbox, SandboxResult<unknown>>}
  */
 export const defaultTest = (file, path, { fn, throws }) =>
-    eff(sandbox(fn))
-        .step(r => pure(throws ? { ...r, result: invert(r.result) } : r))
-        .value
+    mapStep(sandbox(fn), r => throws ? { ...r, result: invert(r.result) } : r)
 
 /** @type {(file: string, path: Path, color: string, label: string, duration: number) => string} */
 const fmtResultLine = (file, path, color, label, duration) =>
@@ -375,14 +351,14 @@ export const defaultReporter = options => {
                 ? csiLog(fmtResultLine(file, path, fgGreen, 'ok', duration) + (throws ? ' # EXPECTED TO THROW' : ''))
                 : isGitHub
                     ? csiError(`::error file=${file},line=1,title=${ghEscape(fmtImport(file, path))}::${ghEscape(String(v))}`)
-                    : eff(csiError(fmtResultLine(file, path, fgRed, 'error', duration)))
-                        .step(() => csiError(`${fgRed}${v}${reset}`))
-                        .value,
+                    : step(
+                        csiError(fmtResultLine(file, path, fgRed, 'error', duration)),
+                        () => csiError(`${fgRed}${v}${reset}`)),
         summary: (pass, fail, time) => {
             const fgFail = fail === 0 ? fgGreen : fgRed
-            return eff(csiLog(`${bold}Number of tests: pass: ${fgGreen}${pass}${reset}${bold}, fail: ${fgFail}${fail}${reset}${bold}, total: ${pass + fail}${reset}`))
-                .step(() => csiLog(`${bold}Time: ${timeFormat(time)}${reset}`))
-                .value
+            return step(
+                csiLog(`${bold}Number of tests: pass: ${fgGreen}${pass}${reset}${bold}, fail: ${fgFail}${fail}${reset}${bold}, total: ${pass + fail}${reset}`),
+                () => csiLog(`${bold}Time: ${timeFormat(time)}${reset}`))
         },
         test: defaultTest,
     }
@@ -407,8 +383,6 @@ export const main =
 export const register = o => {
     const star = o.inlineTestContext ? ' ...' : ''
     const ctx = o.engine === 'bun' ? o.bunTestContext : o.testContext
-    return eff(loadModuleMap(o.env))
-        .step(registerModuleMap(ctx, star))
-        .step(() => pure(0))
-        .value
+    const registered = step(loadModuleMap(o.env), registerModuleMap(ctx, star))
+    return mapStep(registered, () => 0)
 }

package/fjs/emergent_testing/proof.f.mjs

@@ -11,9 +11,9 @@ import { log } from '../effects/node/module.f.mjs'
 import { defaultNodeProgramOptions, emptyState, virtual } from '../effects/node/virtual/module.f.mjs'
 import { assert, assertEq } from '../asserts/module.f.mjs'
 import {
-    testAll, defaultReporter, fmtPath, fmtTerm, fmtImport, ghEscape, isInteger, isIdentifier,
+    testAll, fmtPath, fmtTerm, fmtImport, ghEscape, isInteger, isIdentifier,
     registerModule, parseTestSet,
-    defaultTest,
+    defaultTest, main,
 } from './module.f.mjs'
 import { run as mockRun } from '../effects/mock/module.f.mjs'
 import { shouldLoad } from '../dev/module.f.mjs'
@@ -79,13 +79,13 @@ const run = (dir, initCwd = '.') => {
     return [parseEvents(finalState.stdout), exitCode]
 }
 
-// Runs the real `defaultReporter` and returns its captured stdout/stderr so the
-// terminal and GitHub output formats can be asserted directly.
+// Runs the `fjs t` entry point (`main`) and returns its captured stdout/stderr
+// so the terminal and GitHub output formats can be asserted directly.
 /** @type {(dir: Record<string, JsModule>, github?: boolean) => readonly [string, string, number]} */
 const runMain = (dir, github = false) => {
     const state = { ...emptyState, root: dir }
     const opts = options('.', github)
-    const [finalState, exitCode] = virtual(state)(testAll(defaultReporter(opts))(opts))
+    const [finalState, exitCode] = virtual(state)(main(opts))
     return [finalState.stdout, finalState.stderr, exitCode]
 }
 

package/fjs/fsc/bnf.f.d.mts

@@ -1,3 +1,6 @@
+/**
+ * @import { Rule } from '../bnf/types.ts'
+ */
 import type { Rule } from '../bnf/types.ts';
 /** @type {Rule} */
 export declare const wsModule: Rule;

package/fjs/fsc/bnf.f.mjs

@@ -1,5 +1,8 @@
+/**
+ * @import { Rule } from '../bnf/types.ts'
+ */
+
 import { range, remove, set, option } from '../bnf/module.f.mjs'
-/** @import { Rule } from '../bnf/types.ts' */
 import { digit, json, unicode, ws0, ws1, wsNoNewLine0 } from './json.f.mjs'
 
 /** @type {Rule} */

package/fjs/fsc/json.f.d.mts

@@ -1,3 +1,6 @@
+/**
+ * @import { Rule, TerminalRange } from '../bnf/types.ts'
+ */
 import type { Rule, TerminalRange } from '../bnf/types.ts';
 /** @type {Rule} */
 export declare const wsNoNewLine0: Rule;

package/fjs/fsc/json.f.mjs

@@ -1,5 +1,8 @@
+/**
+ * @import { Rule, TerminalRange } from '../bnf/types.ts'
+ */
+
 import { join0Plus, rangeEncode, range, remove, repeat0Plus, set, option } from '../bnf/module.f.mjs'
-/** @import { Rule, TerminalRange } from '../bnf/types.ts' */
 
 // space
 

package/fjs/fsc/module.f.d.mts

@@ -1,3 +1,12 @@
+/**
+ * FunctionalScript command utilities for compile workflows.
+ *
+ * @module
+ *
+ * @import { RangeMapArray, RangeMerge } from '../types/range_map/types.ts'
+ * @import { List } from '../types/list/types.ts'
+ * @import { Range } from '../types/range/types.ts'
+ */
 import type { RangeMapArray } from '../types/range_map/types.ts';
 export type _Result = readonly [readonly string[], _ToResult];
 export type _ToResult = (codePoint: number) => _Result;

package/fjs/fsc/module.f.mjs

@@ -2,16 +2,18 @@
  * FunctionalScript command utilities for compile workflows.
  *
  * @module
+ *
+ * @import { RangeMapArray, RangeMerge } from '../types/range_map/types.ts'
+ * @import { List } from '../types/list/types.ts'
+ * @import { Range } from '../types/range/types.ts'
  */
+
 import { strictEqual } from '../types/function/operator/module.f.mjs'
 import { merge as rangeMapMerge, fromRange, get } from '../types/range_map/module.f.mjs'
-/** @import { RangeMapArray, RangeMerge } from '../types/range_map/types.ts' */
 import { reduce as listReduce, toArray, map } from '../types/list/module.f.mjs'
-/** @import { List } from '../types/list/types.ts' */
 import { range as asciiRange } from '../text/ascii/module.f.mjs'
 import { flip, fn } from '../types/function/module.f.mjs'
 import { one } from '../types/range/module.f.mjs'
-/** @import { Range } from '../types/range/types.ts' */
 import { assertEq } from '../asserts/module.f.mjs'
 
 const fromCharCode = String.fromCharCode

package/fjs/fsm/proof.f.d.mts

@@ -1,3 +1,6 @@
+/**
+ * @import { Grammar } from './module.f.mjs'
+ */
 export declare const proof: {
     dfa: () => void;
     run: (() => void)[];

package/fjs/fsm/proof.f.mjs

@@ -1,4 +1,7 @@
-/** @import { Grammar } from './module.f.mjs' */
+/**
+ * @import { Grammar } from './module.f.mjs'
+ */
+
 import { dfa, run, toRange, toUnion } from './module.f.mjs'
 import { union } from '../types/byte_set/module.f.mjs'
 import { sort, fromEntries } from '../types/object/module.f.mjs'

package/fjs/js/tokenizer/module.f.d.mts

@@ -4,6 +4,13 @@
  * and numeric literals (including `BigFloat`).
  *
  * @module
+ *
+ * @import { Scan, StateScan } from '../../types/function/operator/types.ts'
+ * @import { RangeMapArray, RangeMerge } from '../../types/range_map/types.ts'
+ * @import { List } from '../../types/list/types.ts'
+ * @import { Entry } from '../../types/ordered_map/types.ts'
+ * @import { Range as NumberRange } from '../../types/range/types.ts'
+ * @import { StringToken, NumberToken, BigIntToken, ErrorToken, WhitespaceToken, NewLineToken, IdToken, CommentToken, EofToken, JsToken, TokenMetadata, JsTokenWithMetadata, _TokenizerStateWithMetadata, _TokenizerState, _ErrorMessage, _InitialState, _ParseIdState, _ParseWhitespaceState, _ParseNewLineState, _ParseStringState, _ParseEscapeCharState, _ParseOperatorState, _ParseCommentState, _ParseUnicodeCharState, _ParseNumberState, _ParseNumberBuffer, _InvalidNumberState, _EofState, _CharCodeOrEof, _ToToken, _CreateToToken, _RangeFunc, _RangeMapToToken, } from './types.ts'
  */
 import type { List } from '../../types/list/types.ts';
 import type { JsToken, JsTokenWithMetadata } from './types.ts';

package/fjs/js/tokenizer/module.f.mjs

@@ -4,17 +4,19 @@
  * and numeric literals (including `BigFloat`).
  *
  * @module
+ *
+ * @import { Scan, StateScan } from '../../types/function/operator/types.ts'
+ * @import { RangeMapArray, RangeMerge } from '../../types/range_map/types.ts'
+ * @import { List } from '../../types/list/types.ts'
+ * @import { Entry } from '../../types/ordered_map/types.ts'
+ * @import { Range as NumberRange } from '../../types/range/types.ts'
+ * @import { StringToken, NumberToken, BigIntToken, ErrorToken, WhitespaceToken, NewLineToken, IdToken, CommentToken, EofToken, JsToken, TokenMetadata, JsTokenWithMetadata, _TokenizerStateWithMetadata, _TokenizerState, _ErrorMessage, _InitialState, _ParseIdState, _ParseWhitespaceState, _ParseNewLineState, _ParseStringState, _ParseEscapeCharState, _ParseOperatorState, _ParseCommentState, _ParseUnicodeCharState, _ParseNumberState, _ParseNumberBuffer, _InvalidNumberState, _EofState, _CharCodeOrEof, _ToToken, _CreateToToken, _RangeFunc, _RangeMapToToken, } from './types.ts'
  */
 
-/** @import { Scan, StateScan } from '../../types/function/operator/types.ts' */
 import { strictEqual } from '../../types/function/operator/module.f.mjs'
-/** @import { RangeMapArray, RangeMerge } from '../../types/range_map/types.ts' */
 import { merge, fromRange, get } from '../../types/range_map/module.f.mjs'
-/** @import { List } from '../../types/list/types.ts' */
 import { empty, stateScan, flat, toArray, reduce as listReduce, scan, map as listMap } from '../../types/list/module.f.mjs'
 import { at, fromEntries } from '../../types/ordered_map/module.f.mjs'
-/** @import { Entry } from '../../types/ordered_map/types.ts' */
-/** @import { Range as NumberRange } from '../../types/range/types.ts' */
 import { one } from '../../types/range/module.f.mjs'
 import {
     range,
@@ -51,8 +53,9 @@ import {
     digit0,
     colon,
     //
+    hexDigitValue,
+    //
     latinCapitalLetterRange,
-    latinCapitalLetterA,
     latinCapitalLetterE,
     //
     leftSquareBracket,
@@ -61,7 +64,6 @@ import {
     lowLine,
     //
     latinSmallLetterRange,
-    latinSmallLetterA,
     latinSmallLetterB,
     latinSmallLetterE,
     latinSmallLetterF,
@@ -75,41 +77,6 @@ import {
     dollarSign
 }  from '../../text/ascii/module.f.mjs'
 import { todo, assertEq } from '../../asserts/module.f.mjs'
-/** @import {
-    StringToken,
-    NumberToken,
-    BigIntToken,
-    ErrorToken,
-    WhitespaceToken,
-    NewLineToken,
-    IdToken,
-    CommentToken,
-    EofToken,
-    JsToken,
-    TokenMetadata,
-    JsTokenWithMetadata,
-    _TokenizerStateWithMetadata,
-    _TokenizerState,
-    _ErrorMessage,
-    _InitialState,
-    _ParseIdState,
-    _ParseWhitespaceState,
-    _ParseNewLineState,
-    _ParseStringState,
-    _ParseEscapeCharState,
-    _ParseOperatorState,
-    _ParseCommentState,
-    _ParseUnicodeCharState,
-    _ParseNumberState,
-    _ParseNumberBuffer,
-    _InvalidNumberState,
-    _EofState,
-    _CharCodeOrEof,
-    _ToToken,
-    _CreateToToken,
-    _RangeFunc,
-    _RangeMapToToken,
-} from './types.ts' */
 
 const { fromCharCode } = String
 
@@ -150,9 +117,6 @@ const rangeSetTerminalForNumber = [
     one(tilde),
 ]
 
-const rangeSmallAF = range('af')
-const rangeCapitalAF = range('AF')
-
 const rangeIdStart = [
     latinSmallLetterRange,
     latinCapitalLetterRange,
@@ -596,22 +560,22 @@ const parseUnicodeCharDefault = state => input => {
     return [{ first: { kind: 'error', message: 'invalid hex value' }, tail: next[0] }, next[1]]
 }
 
-/** @type {(offset: number) => _CreateToToken<_ParseUnicodeCharState>} */
-const parseUnicodeCharHex = offset => state => input => {
-    const hexValue = input - offset
+/**
+ * `hexDigitValue` classifies the code point and decodes it in one step, so this
+ * state needs no range-map dispatch: a `null` value is exactly the non-hex
+ * input the default handler rejects.
+ *
+ * @type {(state: _ParseUnicodeCharState) => (input: number) => readonly [List<JsToken>, _TokenizerState]}
+ */
+const parseUnicodeCharStateOp = state => input => {
+    const hexValue = hexDigitValue(input)
+    if (hexValue === null) { return parseUnicodeCharDefault(state)(input) }
     const newUnicode = state.unicode | (hexValue << (3 - state.hexIndex) * 4)
     return [empty, state.hexIndex === 3 ?
         { kind: 'string', value: appendChar(state.value)(newUnicode) } :
         { kind: 'unicodeChar', value: state.value, unicode: newUnicode, hexIndex: state.hexIndex + 1 }]
 }
 
-/** @type {(state: _ParseUnicodeCharState) => (input: number) => readonly [List<JsToken>, _TokenizerState]} */
-const parseUnicodeCharStateOp = create(parseUnicodeCharDefault)([
-    rangeFunc(digitRange)(parseUnicodeCharHex(digit0)),
-    rangeFunc(rangeSmallAF)(parseUnicodeCharHex(latinSmallLetterA - 10)),
-    rangeFunc(rangeCapitalAF)(parseUnicodeCharHex(latinCapitalLetterA - 10))
-])
-
 /** @type {(s: string) => JsToken} */
 const idToToken = s => at(s)(keywordMap) ?? { kind: 'id', value: s }
 

package/fjs/mcp/module.f.d.mts

@@ -1,3 +1,39 @@
+/**
+ * The FJS MCP server: the composition root the `fjs mcp` / `m` CLI command
+ * runs. Session configuration (`McpConfig`), the top-level entry point
+ * (`casMcpServer`, wiring `mcpStep` + `stdioTransport` from
+ * `fjs/protocol/mcp/`), and the composed tool registry — nothing CAS- or
+ * Evo-specific lives here, it only knows about tool *registries*, not what is
+ * in them, so a future non-CAS tool set can land as a new sibling of
+ * `fjs/mcp/cas/` and `fjs/mcp/evo/` without touching either of them.
+ *
+ * ## Tools
+ *
+ * | Tool           | args                                          | action           | result                              |
+ * |----------------|------------------------------------------------|------------------|--------------------------------------|
+ * | `cas_add`      | `{ content, type? }`                          | `c.write(...)`   | hash (cBase32)                      |
+ * | `cas_get`      | `{ hash, content?: boolean }`                 | `c.read(key)`    | JSON `{length,mimeType,type[,uri][,text\|blob]}` |
+ * | `cas_list`     | `{}`                                          | `c.list()`       | hashes, one per line                |
+ * | `evo_list`     | `{ archived? }`                               | `e.list(...)`    | subjects, as a JSON array of strings |
+ * | `evo_head`     | `{ subject }`                                 | `e.head(...)`    | head hashes, one per line           |
+ * | `evo_revision` | `{ hash }`                                    | `e.revision(...)`| the revision, as JSON               |
+ * | `evo_add`      | `{ parents, snapshot?, subject?, archived? }` | `e.add(...)`     | hash (cBase32)                      |
+ *
+ * `cas_add`/`cas_get`/`cas_list` are `fjs/mcp/cas` — see that module for tool
+ * documentation (input encoding, output shape, error convention). `evo_*` is
+ * `fjs/mcp/evo`. Both tool sets run in one process, sharing one `~/.cas/`
+ * store and one in-memory Evo cache scanned once at startup (`initEvo`).
+ *
+ * @module
+ *
+ * @import { Effect } from '../effects/types.ts'
+ * @import { MemOp } from '../effects/memory/types.ts'
+ * @import { Read, Write } from '../effects/node/types.ts'
+ * @import { McpConfig, McpHandlers } from '../protocol/mcp/types.ts'
+ * @import { FileCasOperation } from '../cas/types.ts'
+ * @import { Cache } from '../cas/evo/types.ts'
+ * @import { Key } from '../effects/memory/types.ts'
+ */
 import type { Effect } from '../effects/types.ts';
 import type { MemOp } from '../effects/memory/types.ts';
 import type { Read, Write } from '../effects/node/types.ts';
@@ -5,7 +41,6 @@ import type { McpConfig, McpHandlers } from '../protocol/mcp/types.ts';
 import type { FileCasOperation } from '../cas/types.ts';
 import type { Cache } from '../cas/evo/types.ts';
 import type { Key } from '../effects/memory/types.ts';
-/** @import { Key } from '../effects/memory/types.ts' */
 /**
  * MCP handlers for `FileCas` (`fjs/mcp/cas`) plus the Evo API (`fjs/mcp/evo`)
  * layered on it, bound to `home` and an already-built Evo cache slot (see

package/fjs/mcp/module.f.mjs

@@ -25,25 +25,27 @@
  * store and one in-memory Evo cache scanned once at startup (`initEvo`).
  *
  * @module
+ *
+ * @import { Effect } from '../effects/types.ts'
+ * @import { MemOp } from '../effects/memory/types.ts'
+ * @import { Read, Write } from '../effects/node/types.ts'
+ * @import { McpConfig, McpHandlers } from '../protocol/mcp/types.ts'
+ * @import { FileCasOperation } from '../cas/types.ts'
+ * @import { Cache } from '../cas/evo/types.ts'
+ * @import { Key } from '../effects/memory/types.ts'
  */
+
 import { step } from '../effects/module.f.mjs'
-/** @import { Effect } from '../effects/types.ts' */
 import { create } from '../effects/memory/module.f.mjs'
-/** @import { MemOp } from '../effects/memory/types.ts' */
-/** @import { Read, Write } from '../effects/node/types.ts' */
 import { stdioTransport } from '../protocol/mcp/stdio/module.f.mjs'
 import {
     mcpStep, uninitializedState, fromRegistry,
 } from '../protocol/mcp/module.f.mjs'
-/** @import { McpConfig, McpHandlers } from '../protocol/mcp/types.ts' */
 import { fileCas } from '../cas/module.f.mjs'
-/** @import { FileCasOperation } from '../cas/types.ts' */
 import { initEvo, evo } from '../cas/evo/module.f.mjs'
-/** @import { Cache } from '../cas/evo/types.ts' */
 import { sha256 } from '../crypto/sha2/module.f.mjs'
 import { casToolRegistry } from './cas/module.f.mjs'
 import { evoToolRegistry } from './evo/module.f.mjs'
-/** @import { Key } from '../effects/memory/types.ts' */
 
 // ── Handlers ────────────────────────────────────────────────────────────────────
 

package/fjs/mcp/proof.f.d.mts

@@ -1,4 +1,14 @@
-/** @import { Unknown } from '../media/json/types.ts' */
+/**
+ * @import { Unknown } from '../media/json/types.ts'
+ * @import { Effect, Operation } from '../effects/types.ts'
+ * @import { Response } from '../protocol/json_rpc/types.ts'
+ * @import { Vec } from '../types/bit_vec/types.ts'
+ * @import { FileCasOperation } from '../cas/types.ts'
+ * @import { List } from '../effects/list/types.ts'
+ * @import { McpSessionState, ToolsCallResult } from '../protocol/mcp/types.ts'
+ * @import { IoResult, Mkdir, Now, RandomInt, ReadBytes, Rename, } from '../effects/node/types.ts'
+ * @import { Dir } from '../effects/node/virtual/types.ts'
+ */
 export declare const proof: {
     getMetaLargeMultiChunkBlobNoError: () => void;
     getMetaLargeMultiChunkUtf8Symbols: () => void;

package/fjs/mcp/proof.f.mjs

@@ -1,40 +1,33 @@
-/** @import { Unknown } from '../media/json/types.ts' */
+/**
+ * @import { Unknown } from '../media/json/types.ts'
+ * @import { Effect, Operation } from '../effects/types.ts'
+ * @import { Response } from '../protocol/json_rpc/types.ts'
+ * @import { Vec } from '../types/bit_vec/types.ts'
+ * @import { FileCasOperation } from '../cas/types.ts'
+ * @import { List } from '../effects/list/types.ts'
+ * @import { McpSessionState, ToolsCallResult } from '../protocol/mcp/types.ts'
+ * @import { IoResult, Mkdir, Now, RandomInt, ReadBytes, Rename, } from '../effects/node/types.ts'
+ * @import { Dir } from '../effects/node/virtual/types.ts'
+ */
 
 import { assert, assertEq } from '../asserts/module.f.mjs'
 import { pure, step } from '../effects/module.f.mjs'
-/** @import { Effect, Operation } from '../effects/types.ts' */
 import { create } from '../effects/memory/module.f.mjs'
 import { parse as parseJson } from '../media/json/module.f.mjs'
 import { number as rttiNumber, option, string as rttiString } from '../types/rtti/module.f.mjs'
 import { parse as rttiParse } from '../types/rtti/parse/module.f.mjs'
-/** @import { Response } from '../protocol/json_rpc/types.ts' */
-/** @import { Vec } from '../types/bit_vec/types.ts' */
 import { msb, u8ListToVec, vec8, repeat, length, maxLengthBytes } from '../types/bit_vec/module.f.mjs'
 import { vecToCBase32 } from '../basen/cbase32/module.f.mjs'
 import { encode as base64Encode } from '../basen/base64/module.f.mjs'
 import { utf8 } from '../text/module.f.mjs'
 import { fileCas } from '../cas/module.f.mjs'
-/** @import { FileCasOperation } from '../cas/types.ts' */
 import { dialect as revisionDialect, mediaType as revisionMediaType } from '../media/revision/module.f.mjs'
 import { sha256 } from '../crypto/sha2/module.f.mjs'
 import { nonEmpty, empty as elEmpty } from '../effects/list/module.f.mjs'
-/** @import { List } from '../effects/list/types.ts' */
 import {
     mcpStep, uninitializedState,
 } from '../protocol/mcp/module.f.mjs'
-/** @import { McpSessionState, ToolsCallResult } from '../protocol/mcp/types.ts' */
-/**
- * @import {
- *   IoResult,
- *   Mkdir,
- *   Now,
- *   RandomInt,
- *   ReadBytes,
- *   Rename,
- * } from '../effects/node/types.ts'
- */
 import { emptyState, virtual } from '../effects/node/virtual/module.f.mjs'
-/** @import { Dir } from '../effects/node/virtual/types.ts' */
 import { casConfig, casMcpHandlers } from './module.f.mjs'
 import { ok as resultOk, unwrap } from '../types/result/module.f.mjs'
 import { stdioTransport } from '../protocol/mcp/stdio/module.f.mjs'

package/fjs/media/html/module.f.d.mts

@@ -1,3 +1,15 @@
+/**
+ * HTML serialization helpers: `Element`/`Attributes` builders, void-tag
+ * handling, attribute/text escaping, and a UTF-8 emitter for full documents.
+ * See `./types.ts` for the `Element`/`Node` type-level API.
+ *
+ * @module
+ *
+ * @import { List } from '../../types/list/types.ts'
+ * @import { Entry, StringMap } from '../../types/object/types.ts'
+ * @import { Vec } from '../../types/bit_vec/types.ts'
+ * @import { Element, Node } from './types.ts'
+ */
 import type { List } from '../../types/list/types.ts';
 import type { StringMap } from '../../types/object/types.ts';
 import type { Vec } from '../../types/bit_vec/types.ts';

package/fjs/media/html/module.f.mjs

@@ -4,19 +4,21 @@
  * See `./types.ts` for the `Element`/`Node` type-level API.
  *
  * @module
+ *
+ * @import { List } from '../../types/list/types.ts'
+ * @import { Entry, StringMap } from '../../types/object/types.ts'
+ * @import { Vec } from '../../types/bit_vec/types.ts'
+ * @import { Element, Node } from './types.ts'
  */
-/** @import { List } from '../../types/list/types.ts' */
+
 import { map, flatMap, flat, concat as listConcat } from '../../types/list/module.f.mjs'
 import { concat, concat as stringConcat } from '../../types/string/module.f.mjs'
 import { definedEntries } from '../../types/object/module.f.mjs'
-/** @import { Entry, StringMap } from '../../types/object/types.ts' */
 import { compose } from '../../types/function/module.f.mjs'
 import { stringToList } from '../../text/utf16/module.f.mjs'
 import { includes } from '../../types/array/module.f.mjs'
-/** @import { Vec } from '../../types/bit_vec/types.ts' */
 import { utf8 } from '../../text/module.f.mjs'
 import { quotationMark, ampersand, lessThanSign, greaterThanSign } from '../../text/ascii/module.f.mjs'
-/** @import { Element, Node } from './types.ts' */
 
 const { fromCharCode } = String
 

package/fjs/media/html/proof.f.d.mts

@@ -1,3 +1,6 @@
+/**
+ * @import { Element } from './types.ts'
+ */
 export declare const proof: {
     empty: () => void;
     empty2: () => void;