@calcit/procs 0.12.45 → 0.12.47

package/editing-history/202606161700-effects-graph-ste-tree.md

@@ -0,0 +1,84 @@
+# effects-graph STE Tree 格式改进
+
+日期: 2026-06-16
+
+## 问题
+
+`cr analyze effects-graph` 默认 `sketch` 格式产出的是项目级鸟瞰图（调用树+聚合 effect/state），而非 RFC 预想的 per-function State/Transform/Effect 分解图。用户无法通过输出快速理解单个函数的功能。
+
+## 改动
+
+### 1. State 提取：从操作名改为目标名
+
+`record_state_operator` 原先记录操作名（如 `swap!`），现改为提取目标 atom 名称（如 `*store`）。
+
+- 新增 `extract_state_target(list, op_name)` 从 AST 列表中提取第一个参数
+- `swap!/reset!/deref/set!` → 提取第一个参数名
+- `defatom/atom` → 提取第一个参数名
+- 修改 `walk_expr` → `inspect_call_head` 传参，传入完整 list
+
+### 2. Effect 分类：添加 Respo 约定函数
+
+`classify_by_name` 新增：
+- `render-app!/mount-app!/rerender-app!/clear-cache!/realize-ssr!` → `render`
+- `send-to-component!/dispatch!` → `lifecycle`
+- `save-store!` → `storage`
+
+`heuristic_effect_kinds` 优化：
+- `unknown/effect!` → `effect`（更简洁）
+- 函数名含 `load/init/setup` 时归类为 `io`
+
+`set!` 加入 `is_state_operator` 和 early-return 列表（之前会被误分类为 effect）
+
+### 3. 深度截断节点保留分析
+
+原先 `max_depth` 到达时直接返回空壳节点（`empty_shell_node`）。
+现改为：始终执行 `analyze_code` 提取 state/effects/transform，仅在 children 构建时跳过。
+新增 `depth_exceeded` 字段标记截断节点。
+
+### 4. STE Tree 格式（`--format tree`）
+
+新增 `format_as_ste_tree` 函数，输出每个函数的 State/Transform/Effect 树形分解：
+
+```
+└── respo.main/main!  [program]
+    ├── State
+    │   ├── atom     *store (write)
+    │   ├── return   unit
+    │   └── watch    *store
+    ├── Transform  (calls: 3)
+    │   ├── → respo.app.core/render-app!
+    │   └── → respo.main/save-store!
+    └── Effects
+        ├── console        println
+        ├── render         render-app!
+        └── storage        save-store!
+```
+
+- `[program]` = 含 effect 的函数
+- `[transform]` = 纯变换函数
+- `[depth limit ↑]` = 深度截断（有分析但无子节点）
+- `(summary)` = 折叠节点的单行摘要（doc + effects）
+
+`cr.rs` 中 `format=tree` 调度改为 `format_as_ste_tree`（原为 `format_for_llm` mermaid）。
+
+### 5. 其他修复
+
+- `birdview_state_labels` 匹配逻辑修复（kind 匹配而非 name 匹配）
+- `effect_channel_name` 新增 `storage`/`lifecycle` 通道映射
+- `ste_state_detail` 对 `return` 类型简化显示（仅类型，不显 "return" 前缀）
+- `node_transform_summary` 修复 doc 与 summary 重复问题
+- `empty_shell_node` 函数删除（不再使用）
+
+## 涉及文件
+
+- `src/effects_graph.rs` — 主要改动
+- `src/bin/cr.rs` — tree 格式调度
+- `src/cli_args.rs` — 无改动（格式字符串不变）
+
+## 验证
+
+- `cargo test effects_graph` — 5/5 通过
+- `cargo clippy -- -D warnings` — 通过
+- `yarn compile` — 通过
+- `cr analyze effects-graph --format tree` on respo — 产出可用的 per-function STE 分解

package/editing-history/202606201142-ts-declaration-d-mts.md

@@ -0,0 +1,5 @@
+- `tsconfig.json` 添加 `declaration: true`，使 `yarn compile` 生成 `.d.mts` 类型声明文件
+- `yarn compile` 后 `lib/` 中与 `.mjs` 一一对应生成 18 个 `.d.mts` 文件
+- `.npmignore` 不排除 `lib/`，这些声明文件在 npm publish 时会被包含
+- 对 hovenia-editor：移除手动 `calcit-procs.d.ts`，改用上游生成的 `.d.mts`
+- 本地验证：`cargo fmt` `cargo clippy` `yarn compile` `cargo test` `yarn check-all` 全部通过

package/lib/calcit-data.d.mts

@@ -0,0 +1,39 @@
+import { Hash } from "@calcit/ternary-tree";
+import { CalcitValue } from "./js-primes.mjs";
+import { CalcitRef } from "./js-ref.mjs";
+export declare class CalcitTag {
+    value: string;
+    cachedHash: Hash;
+    idx: number;
+    constructor(x: string);
+    toString(): string;
+    cmp(other: CalcitTag): number;
+}
+export declare class CalcitSymbol {
+    value: string;
+    cachedHash: Hash;
+    constructor(x: string);
+    toString(): string;
+}
+export declare class CalcitRecur {
+    args: CalcitValue[];
+    cachedHash: Hash;
+    constructor(xs: CalcitValue[]);
+    toString(): string;
+}
+export declare let isNestedCalcitData: (x: CalcitValue) => boolean;
+export declare let tipNestedCalcitData: (x: CalcitValue) => string;
+export type CalcitFn = (...xs: CalcitValue[]) => CalcitValue;
+export declare let getStringName: (x: CalcitValue) => string;
+/** returns -1 when not found */
+export declare function findInFields(xs: Array<CalcitTag>, y: CalcitTag): number;
+export declare let newTag: (content: string) => CalcitTag;
+export declare let castTag: (x: CalcitValue) => CalcitTag;
+export declare var refsRegistry: Map<string, CalcitRef>;
+export declare let hashFunction: (x: CalcitValue) => Hash;
+export declare let toString: (x: CalcitValue, escaped: boolean, disableJsDataWarning?: boolean) => string;
+export declare let to_js_data: (x: CalcitValue, addColon?: boolean) => any;
+export declare let _$n_map_$o_get: (xs: CalcitValue, k: CalcitValue) => CalcitValue;
+export declare let _$n__$e_: (x: CalcitValue, y: CalcitValue) => boolean;
+/** special trick for disabling ternary tree list check */
+export declare let disable_list_structure_check_$x_: () => void;

package/lib/calcit.procs.d.mts

@@ -0,0 +1,306 @@
+export declare const calcit_version: string;
+export declare const calcit_package_json: {
+    name: string;
+    version: string;
+    main: string;
+    devDependencies: {
+        "@types/node": string;
+        typescript: string;
+    };
+    scripts: {
+        compile: string;
+        "procs-link": string;
+        "cp-mac": string;
+        eval: string;
+        "fmt-rs": string;
+        "lint-rs": string;
+        "test-rs": string;
+        "test-fail": string;
+        "test-snippets": string;
+        "bench-recur-smoke": string;
+        "check-smooth": string;
+        "check-all": string;
+        "try-all": string;
+        "try-rs": string;
+        "warn-dyn-method": string;
+        "try-js-brk": string;
+        "try-js": string;
+        "try-ir": string;
+        "try-wasm": string;
+    };
+    repository: {
+        type: string;
+        url: string;
+    };
+    dependencies: {
+        "@calcit/ternary-tree": string;
+        "@cirru/parser.ts": string;
+        "@cirru/writer.ts": string;
+    };
+    packageManager: string;
+};
+import { ICirruNode } from "@cirru/parser.ts";
+import { CalcitValue } from "./js-primes.mjs";
+import { CalcitSymbol, CalcitTag, CalcitFn, CalcitRecur } from "./calcit-data.mjs";
+import { CalcitRef } from "./js-ref.mjs";
+import { CalcitRecord } from "./js-record.mjs";
+import { CalcitImpl } from "./js-impl.mjs";
+import { CalcitStruct } from "./js-struct.mjs";
+import { CalcitEnum } from "./js-enum.mjs";
+import { CalcitTrait } from "./js-trait.mjs";
+export * from "./calcit-data.mjs";
+export * from "./js-record.mjs";
+export * from "./js-impl.mjs";
+export * from "./js-struct.mjs";
+export * from "./js-enum.mjs";
+export * from "./js-map.mjs";
+export * from "./js-list.mjs";
+export * from "./js-set.mjs";
+export * from "./js-primes.mjs";
+export * from "./js-tuple.mjs";
+export * from "./js-trait.mjs";
+export * from "./custom-formatter.mjs";
+export * from "./js-cirru.mjs";
+export * from "./js-arity-helpers.mjs";
+export * from "./js-tag-helpers.mjs";
+export * from "./js-buf-list.mjs";
+export { _$n_compare } from "./js-primes.mjs";
+import { CalcitList, CalcitSliceList } from "./js-list.mjs";
+import { CalcitMap, CalcitSliceMap } from "./js-map.mjs";
+import { CalcitSet } from "./js-set.mjs";
+import { CalcitTuple } from "./js-tuple.mjs";
+import { CalcitCirruQuote } from "./js-cirru.mjs";
+export declare let type_of: (x: any) => CalcitTag;
+export declare let _$n_trait_$o__$o_new: (name: CalcitValue, methods: CalcitValue) => CalcitTrait;
+export declare let _$n_assert_traits: (value: CalcitValue, traitDef: CalcitValue) => CalcitValue;
+export declare let defstruct: (name: CalcitValue, ...entries: CalcitValue[]) => CalcitStruct;
+export declare let defenum: (name: CalcitValue, ...variants: CalcitValue[]) => CalcitEnum;
+export declare let _$n_impl_$o__$o_new: (name: CalcitValue, ...pairs: CalcitValue[]) => CalcitImpl;
+export declare let _$n_struct_$o__$o_new: (name: CalcitValue, ...entries: CalcitValue[]) => CalcitStruct;
+export declare let _$n_enum_$o__$o_new: (name: CalcitValue, ...variants: CalcitValue[]) => CalcitEnum;
+export declare let print: (...xs: CalcitValue[]) => void;
+export declare function _$n_list_$o_count(x: CalcitValue): number;
+export declare function _$n_str_$o_count(x: CalcitValue): number;
+export declare function _$n_map_$o_count(x: CalcitValue): number;
+export declare function _$n_record_$o_count(x: CalcitValue): number;
+export declare function _$n_record_$o_field_tag(x: CalcitValue, idx: CalcitValue): CalcitTag;
+export declare function _$n_record_$o_nth(x: CalcitValue, idx: CalcitValue): CalcitValue;
+export declare function _$n_set_$o_count(x: CalcitValue): number;
+export declare let _$L_: (...xs: CalcitValue[]) => CalcitSliceList;
+export declare let _SQUO_: (...xs: CalcitValue[]) => CalcitSliceList;
+export declare let _$n__$M_: (...xs: CalcitValue[]) => CalcitSliceMap;
+export declare let defatom: (path: string, x: CalcitValue) => CalcitValue;
+export { atom } from "./js-ref.mjs";
+export declare let peekDefatom: (path: string) => CalcitRef;
+export declare let _$n_atom_$o_deref: (x: CalcitRef) => CalcitValue;
+export declare let _$n__ADD_: (x: number, y: number) => number;
+export declare let _$n__$s_: (x: number, y: number) => number;
+export declare let _$n_str: (x: CalcitValue) => string;
+export declare let _$n_str_$o_contains_$q_: (xs: CalcitValue, x: CalcitValue) => boolean;
+export declare let _$n_list_$o_contains_$q_: (xs: CalcitValue, x: CalcitValue) => boolean;
+export declare let _$n_map_$o_contains_$q_: (xs: CalcitValue, x: CalcitValue) => boolean;
+export declare let _$n_record_$o_contains_$q_: (xs: CalcitValue, x: CalcitValue) => boolean;
+export declare let _$n_str_$o_includes_$q_: (xs: CalcitValue, x: CalcitValue) => boolean;
+export declare let _$n_list_$o_includes_$q_: (xs: CalcitValue, x: CalcitValue) => boolean;
+export declare let _$n_map_$o_includes_$q_: (xs: CalcitValue, x: CalcitValue) => boolean;
+export declare let _$n_set_$o_includes_$q_: (xs: CalcitValue, x: CalcitValue) => boolean;
+export declare let _$n_str_$o_nth: (xs: CalcitValue, k: CalcitValue) => string;
+export declare let _$n_list_$o_nth: (xs: CalcitValue, k: CalcitValue) => CalcitValue;
+export declare let _$n_tuple_$o_nth: (xs: CalcitValue, k: CalcitValue) => CalcitValue;
+export declare let _$n_tuple_$o_count: (xs: CalcitValue) => number;
+export declare let _$n_tuple_$o_impls: (x: CalcitTuple) => CalcitSliceList;
+export declare let _$n_tuple_$o_params: (x: CalcitTuple) => CalcitSliceList;
+export declare let _$n_tuple_$o_with_impls: (x: CalcitTuple, y: CalcitValue) => CalcitTuple;
+export declare let _$n_tuple_$o_impl_traits: (x: CalcitValue, ...traits: CalcitValue[]) => CalcitTuple;
+export declare let _$n_tuple_$o_enum: (x: CalcitTuple) => CalcitEnum;
+export declare let _$n_tuple_$o_enum_has_variant_$q_: (enumPrototype: CalcitValue, variantTag: CalcitTag) => boolean;
+export declare let _$n_tuple_$o_enum_has_variant: (enumPrototype: CalcitValue, variantTag: CalcitTag) => boolean;
+export declare let _$n_tuple_$o_enum_variant_arity: (enumPrototype: CalcitValue, variantTag: CalcitTag) => number;
+export declare let _$n_tuple_$o_validate_enum: (tuple: CalcitValue, tag: CalcitValue) => CalcitValue;
+export declare let _$n_record_$o_get: (xs: CalcitValue, k: CalcitTag) => CalcitValue;
+export declare let _$n_list_$o_assoc: (xs: CalcitValue, k: CalcitValue, v: CalcitValue) => CalcitList;
+export declare let _$n_tuple_$o_assoc: (xs: CalcitValue, k: CalcitValue, v: CalcitValue) => CalcitTuple;
+export declare let _$n_map_$o_assoc: (xs: CalcitValue, ...args: CalcitValue[]) => CalcitMap | CalcitSliceMap;
+export declare let _$n_record_$o_assoc: (xs: CalcitValue, k: CalcitValue, v: CalcitValue) => CalcitRecord;
+export declare let _$n_record_$o_impls: (xs: CalcitValue) => CalcitSliceList;
+export declare let _$n_record_$o_impl_traits: (xs: CalcitValue, ...traits: CalcitValue[]) => CalcitRecord;
+export declare let _$n_struct_$o_impl_traits: (xs: CalcitValue, ...traits: CalcitValue[]) => CalcitStruct;
+export declare let _$n_enum_$o_impl_traits: (xs: CalcitValue, ...traits: CalcitValue[]) => CalcitRecord | CalcitEnum;
+export declare let _$n_impl_$o_origin: (impl: CalcitValue) => CalcitValue;
+export declare let _$n_impl_$o_get: (impl: CalcitValue, name: CalcitValue) => CalcitValue;
+export declare let _$n_impl_$o_nth: (impl: CalcitValue, index: CalcitValue) => CalcitValue;
+export declare let _$n_list_$o_assoc_before: (xs: CalcitList | CalcitSliceList, k: number, v: CalcitValue) => CalcitList;
+export declare let _$n_list_$o_assoc_after: (xs: CalcitSliceList, k: number, v: CalcitValue) => CalcitList | CalcitSliceList;
+export declare let _$n_list_$o_dissoc: (xs: CalcitValue | CalcitSliceList, k: CalcitValue) => CalcitList | CalcitSliceList;
+export declare let _$n_map_$o_dissoc: (xs: CalcitValue, ...args: CalcitValue[]) => CalcitMap | CalcitSliceMap;
+export declare let reset_$x_: (a: CalcitRef, v: CalcitValue) => null;
+export declare let add_watch: (a: CalcitRef, k: CalcitTag, f: CalcitFn) => null;
+export declare let remove_watch: (a: CalcitRef, k: CalcitTag) => null;
+export declare let range: (n: number, m: number, step?: number) => CalcitSliceList | CalcitList;
+export declare function _$n_list_$o_empty_$q_(xs: CalcitValue): boolean;
+export declare function _$n_str_$o_empty_$q_(xs: CalcitValue): boolean;
+export declare function _$n_map_$o_empty_$q_(xs: CalcitValue): boolean;
+export declare function _$n_set_$o_empty_$q_(xs: CalcitValue): boolean;
+export declare let _$n_list_$o_first: (xs: CalcitValue) => CalcitValue;
+export declare let _$n_str_$o_first: (xs: CalcitValue) => CalcitValue;
+export declare let _$n_map_$o_destruct: (xs: CalcitValue) => CalcitValue;
+export declare let _$n_set_$o_destruct: (xs: CalcitValue) => CalcitValue;
+export declare let timeout_call: (duration: number, f: CalcitFn) => null;
+export declare let _$n_list_$o_rest: (xs: CalcitValue) => CalcitValue;
+export declare let _$n_str_$o_rest: (xs: CalcitValue) => CalcitValue;
+export declare let recur: (...xs: CalcitValue[]) => CalcitRecur;
+export declare let _$n_get_calcit_backend: () => CalcitTag;
+export declare let not: (x: boolean) => boolean;
+export declare let prepend: (xs: CalcitValue, v: CalcitValue) => CalcitList;
+export declare let append: (xs: CalcitValue, v: CalcitValue) => CalcitList | CalcitSliceList;
+export declare let last: (xs: CalcitValue) => CalcitValue;
+export declare let butlast: (xs: CalcitValue) => CalcitValue;
+export declare let initCrTernary: (x: string) => CalcitValue;
+export declare let _SHA__$M_: (...xs: CalcitValue[]) => CalcitValue;
+export declare let generate_id_$x_: () => string;
+export declare let _$n_display_stack: () => null;
+export declare let _$n_list_$o_slice: (xs: CalcitList, from: number, to: number) => CalcitSliceList | CalcitList;
+export declare let _$n_list_$o_concat: (...lists: (CalcitList | CalcitSliceList)[]) => CalcitList | CalcitSliceList;
+export declare let _$n_list_$o_reverse: (xs: CalcitList) => CalcitList;
+export declare let format_ternary_tree: () => null;
+export declare let _$n__GT_: (a: number, b: number) => boolean;
+export declare let _$n__LT_: (a: number, b: number) => boolean;
+export declare let _$n__: (a: number, b: number) => number;
+export declare let _$n__SLSH_: (a: number, b: number) => number;
+export declare let _$n_number_$o_rem: (a: number, b: number) => number;
+export declare let round_$q_: (a: number) => boolean;
+export declare let _$n_str_$o_concat: (a: string, b: string) => string;
+export declare let sort: (xs: CalcitList | CalcitSliceList, f: CalcitFn) => CalcitSliceList;
+export declare let floor: (n: number) => number;
+export declare let _$n_merge: (a: CalcitValue, b: CalcitMap | CalcitSliceMap) => CalcitValue;
+export declare let _$n_merge_non_nil: (a: CalcitMap | CalcitSliceMap, b: CalcitMap | CalcitSliceMap) => CalcitMap | CalcitSliceMap;
+export declare let to_pairs: (xs: CalcitValue) => CalcitValue | CalcitSliceList;
+export declare let sin: (n: number) => number;
+export declare let cos: (n: number) => number;
+export declare let pow: (n: number, m: number) => number;
+export declare let ceil: (n: number) => number;
+export declare let round: (n: number) => number;
+export declare let _$n_number_$o_fract: (n: number) => number;
+export declare let sqrt: (n: number) => number;
+export declare let _$n_include: (xs: CalcitSet, y: CalcitValue) => CalcitSet;
+export declare let _$n_exclude: (xs: CalcitSet, y: CalcitValue) => CalcitSet;
+export declare let _$n_difference: (xs: CalcitSet, ys: CalcitSet) => CalcitSet;
+export declare let _$n_union: (xs: CalcitSet, ys: CalcitSet) => CalcitSet;
+export declare let _$n_set_$o_intersection: (xs: CalcitSet, ys: CalcitSet) => CalcitSet;
+export declare let _$n_str_$o_replace: (x: string, y: string, z: string) => string;
+export declare let split: (xs: string, x: string) => CalcitSliceList;
+export declare let split_lines: (xs: string) => CalcitSliceList;
+export declare let _$n_str_$o_slice: (xs: string, m: number, n: number) => string;
+export declare let _$n_str_$o_find_index: (x: string, y: string) => number;
+export declare let parse_float: (x: string) => number | null;
+export declare let trim: (x: string, c: string) => string;
+export declare let _$n_number_$o_format: (x: number, n: number) => string;
+export declare let _$n_number_$o_display_by: (x: number, n: number) => string;
+export declare let get_char_code: (c: string) => number;
+export declare let char_from_code: (n: number) => string;
+export declare let _$n_set_$o_to_list: (x: CalcitSet) => CalcitSliceList;
+export declare let aget: (x: any, name: string) => any;
+export declare let aset: (x: any, name: string, v: any) => any;
+export declare let js_get: (x: any, name: string) => any;
+export declare let js_set: (x: any, name: string, v: any) => any;
+/** generates `delete a.b` */
+export declare let js_delete: (obj: any, name: string) => any;
+export declare let get_env: (name: string, v0: string) => string;
+export declare let turn_tag: (x: CalcitValue) => CalcitTag;
+export declare let turn_symbol: (x: CalcitValue) => CalcitSymbol;
+export declare let to_lispy_string: (...args: CalcitValue[]) => string;
+/** helper function for println, js only */
+export declare let printable: (...args: CalcitValue[]) => string;
+export declare let cpu_time: () => number;
+export declare let quit_$x_: () => void;
+export declare let turn_string: (x: CalcitValue) => string;
+export declare let identical_$q_: (x: CalcitValue, y: CalcitValue) => boolean;
+export declare let starts_with_$q_: (xs: CalcitValue, y: CalcitValue) => boolean;
+export declare let ends_with_$q_: (xs: string, y: string) => boolean;
+export declare let blank_$q_: (x: string) => boolean;
+export declare let _$n_str_$o_compare: (x: string, y: string) => 0 | 1 | -1;
+export declare let arrayToList: (xs: Array<CalcitValue>) => CalcitSliceList;
+export declare let listToArray: (xs: CalcitList | CalcitSliceList) => Array<CalcitValue>;
+export declare let number_$q_: (x: CalcitValue) => boolean;
+export declare let string_$q_: (x: CalcitValue) => boolean;
+export declare let bool_$q_: (x: CalcitValue) => boolean;
+export declare let nil_$q_: (x: CalcitValue) => boolean;
+export declare let tag_$q_: (x: CalcitValue) => boolean;
+export declare let symbol_$q_: (x: CalcitValue) => boolean;
+export declare let map_$q_: (x: CalcitValue) => boolean;
+export declare let list_$q_: (x: CalcitValue) => boolean;
+export declare let set_$q_: (x: CalcitValue) => boolean;
+export declare let fn_$q_: (x: CalcitValue) => boolean;
+export declare let ref_$q_: (x: CalcitValue) => boolean;
+export declare let record_$q_: (x: CalcitValue) => boolean;
+export declare let tuple_$q_: (x: CalcitValue) => boolean;
+export declare let buffer_$q_: (x: CalcitValue) => boolean;
+export declare let _$n_str_$o_escape: (x: string) => string;
+export declare let read_file: (path: string) => string;
+export declare let write_file: (path: string, content: string) => void;
+export declare let parse_cirru: (code: string) => CalcitCirruQuote;
+export declare let parse_cirru_list: (code: string) => CalcitList;
+export declare let parse_cirru_edn: (code: string, options: CalcitValue) => CalcitValue;
+export declare let json_parse: (code: CalcitValue) => CalcitValue;
+export declare let json_stringify: (value: CalcitValue) => string;
+export declare let json_pretty: (value: CalcitValue) => string;
+export declare let format_to_lisp: (x: CalcitValue) => string;
+export declare let format_to_cirru: (x: CalcitValue) => string;
+export declare let transform_code_to_cirru: (x: CalcitValue) => ICirruNode;
+/** for quickly creating js Array */
+export declare let js_array: (...xs: CalcitValue[]) => CalcitValue[];
+/** for..await alternative with function */
+export declare let js_for_await: (stream: AsyncIterableIterator<CalcitValue>, f: (v: CalcitValue) => Promise<CalcitValue>) => Promise<CalcitValue>;
+export declare let _$n_js_object: (...xs: CalcitValue[]) => Record<string, CalcitValue>;
+export declare let _$o__$o_: (tagName: CalcitValue, ...extra: CalcitValue[]) => CalcitTuple;
+export declare let _PCT__$o__$o_: (enumPrototype: CalcitValue, tag: CalcitValue, ...extra: CalcitValue[]) => CalcitTuple;
+export declare let _PCT__PCT__$o__$o_: (impl: CalcitValue, enumPrototype: CalcitValue, tag: CalcitValue, ...extra: CalcitValue[]) => CalcitTuple;
+type CalcitImplEntry = CalcitImpl | CalcitList | CalcitSliceList | null;
+declare let calcit_builtin_impls: {
+    number: CalcitImplEntry;
+    string: CalcitImplEntry;
+    set: CalcitImplEntry;
+    list: CalcitImplEntry;
+    map: CalcitImplEntry;
+    fn: CalcitImplEntry;
+    tuple: CalcitImplEntry;
+    record: CalcitImplEntry;
+};
+export declare let register_calcit_builtin_impls: (options: typeof calcit_builtin_impls) => void;
+/** method used as closure */
+export declare function invoke_method_closure(p: string): (obj: CalcitValue, ...args: CalcitValue[]) => CalcitValue;
+export declare function invoke_method(p: string, obj: CalcitValue, ...args: CalcitValue[]): CalcitValue;
+export declare function _$n_methods_of(obj: CalcitValue): CalcitSliceList;
+export declare function _$n_inspect_methods(obj: CalcitValue, note: CalcitValue): CalcitValue;
+export declare function _$n_trait_call(traitDef: CalcitValue, method: CalcitValue, obj: CalcitValue, ...args: CalcitValue[]): CalcitValue;
+export declare let _$n_map_$o_to_list: (m: CalcitValue) => CalcitSliceList;
+export declare let _$n_map_$o_diff_new: (a: CalcitValue, b: CalcitValue) => CalcitMap;
+export declare let _$n_map_$o_diff_keys: (a: CalcitValue, b: CalcitValue) => CalcitSet;
+export declare let _$n_map_$o_common_keys: (a: CalcitValue, b: CalcitValue) => CalcitSet;
+/** Single-pass diff: returns [drop-keys, new-diff, common-triples] in two traversals instead of 3+ */
+export declare let _$n_map_$o_diff_triple: (a: CalcitValue, b: CalcitValue) => CalcitSliceList;
+export declare let bit_shr: (base: number, step: number) => number;
+export declare let bit_shl: (base: number, step: number) => number;
+export declare let bit_and: (a: number, b: number) => number;
+export declare let bit_or: (a: number, b: number) => number;
+export declare let bit_xor: (a: number, b: number) => number;
+export declare let bit_not: (a: number) => number;
+export declare let _$n_list_$o_to_set: (xs: CalcitList) => CalcitSet;
+export declare let _$n_list_$o_distinct: (xs: CalcitList) => CalcitSliceList;
+export declare let _$n_str_$o_pad_left: (s: string, size: number, pattern: string) => string;
+export declare let _$n_str_$o_pad_right: (s: string, size: number, pattern: string) => string;
+export declare let _$n_get_os: () => CalcitTag;
+export declare let _$n_buffer: (...xs: CalcitValue[]) => Uint8Array;
+export declare let _$n_cirru_nth: (xs: CalcitCirruQuote, idx: number) => CalcitValue;
+export declare let _$n_cirru_type: (xs: CalcitCirruQuote, idx: number) => CalcitTag;
+export declare let _$n_hash: (x: CalcitValue) => number;
+export declare let _$n_cirru_quote_$o_to_list: (x: CalcitCirruQuote) => CalcitValue;
+export declare let reduce: (xs: CalcitValue, acc: CalcitValue, f: CalcitFn) => CalcitValue;
+export declare let _$n_reset_gensym_index_$x_: () => void;
+export declare let gensym: () => void;
+export declare let macroexpand: () => void;
+export declare let macroexpand_all: () => void;
+export declare let _$n_get_calcit_running_mode: () => void;
+export declare let _$n_get_def_doc: () => void;
+export declare let _$n_get_def_schema: () => void;
+export declare let raise: () => void;

package/lib/custom-formatter.d.mts

@@ -0,0 +1,8 @@
+declare global {
+    var devtoolsFormatters: {
+        header: (obj: any, config: any) => any[];
+        hasBody: (obj: any) => boolean;
+        body: (obj: any, config: any) => any[];
+    }[];
+}
+export declare let load_console_formatter_$x_: () => void;

package/lib/js-arity-helpers.d.mts

@@ -0,0 +1,3 @@
+export declare let _args_throw: (name: string, expected: number, got: number) => Error;
+export declare let _args_fewer_throw: (name: string, min: number, got: number) => Error;
+export declare let _args_between_throw: (name: string, min: number, max: number, got: number) => Error;

package/lib/js-buf-list.d.mts

@@ -0,0 +1,11 @@
+import { CalcitValue } from "./js-primes.mjs";
+import { CalcitSliceList } from "./js-list.mjs";
+export declare class CalcitBufList {
+    buf: CalcitValue[];
+    constructor(buf?: CalcitValue[]);
+}
+export declare function _$n_buf_list_$o_new(): CalcitBufList;
+export declare function _$n_buf_list_$o_push(buf: CalcitValue, item: CalcitValue): CalcitBufList;
+export declare function _$n_buf_list_$o_concat(buf: CalcitValue, xs: CalcitValue): CalcitBufList;
+export declare function _$n_buf_list_$o_to_list(buf: CalcitValue): CalcitSliceList;
+export declare function _$n_buf_list_$o_count(buf: CalcitValue): number;

package/lib/js-cirru.d.mts

@@ -0,0 +1,23 @@
+import { CirruWriterNode } from "@cirru/writer.ts";
+import { CalcitValue } from "./js-primes.mjs";
+import { CalcitList } from "./js-list.mjs";
+type CirruEdnFormat = string | CirruEdnFormat[];
+export declare class CalcitCirruQuote {
+    value: CirruWriterNode[];
+    constructor(value: CirruWriterNode[]);
+    toString(): string;
+    toList(): CalcitValue;
+    nth(idx: number): CalcitValue;
+    /** provide a simple text representation in Console or std out, with indentations */
+    textForm(): string;
+}
+export declare let format_cirru: (data: CalcitCirruQuote | CalcitList, useInline: boolean) => string;
+export declare let format_cirru_one_liner: (data: CalcitCirruQuote | CalcitList) => string;
+/** better use string version of Cirru EDN in future */
+export declare let to_cirru_edn: (x: CalcitValue) => CirruEdnFormat;
+export declare let extract_cirru_edn: (x: CirruEdnFormat, options: CalcitValue) => CalcitValue;
+export declare let format_cirru_edn: (data: CalcitValue, useInline?: boolean) => string;
+export declare let to_calcit_data: (x: any, noKeyword?: boolean) => CalcitValue;
+/** deep compare cirru array */
+export declare let cirru_deep_equal: (x: CirruWriterNode, y: CirruWriterNode) => boolean;
+export {};

package/lib/js-enum.d.mts

@@ -0,0 +1,11 @@
+import { CalcitRecord } from "./js-record.mjs";
+import { CalcitImpl } from "./js-impl.mjs";
+export declare class CalcitEnum {
+    prototype: CalcitRecord;
+    cachedHash: number;
+    constructor(prototype: CalcitRecord);
+    name(): string;
+    get impls(): CalcitImpl[];
+    withImpls(impls: CalcitImpl | CalcitImpl[]): CalcitEnum;
+    toString(): string;
+}

package/lib/js-impl.d.mts

@@ -0,0 +1,15 @@
+import { Hash } from "@calcit/ternary-tree";
+import { CalcitValue } from "./js-primes.mjs";
+import { CalcitTag } from "./calcit-data.mjs";
+import type { CalcitTrait } from "./js-trait.mjs";
+export declare class CalcitImpl {
+    name: CalcitTag;
+    origin: CalcitTrait | null;
+    fields: Array<CalcitTag>;
+    values: Array<CalcitValue>;
+    cachedHash: Hash;
+    constructor(name: CalcitTag, fields: Array<CalcitTag>, values: Array<CalcitValue>, origin?: CalcitTrait | null);
+    get(k: CalcitValue): CalcitValue;
+    getOrNil(k: CalcitValue): CalcitValue;
+    toString(disableJsDataWarning?: boolean): string;
+}

package/lib/js-list.d.mts

@@ -0,0 +1,61 @@
+import { CalcitValue } from "./js-primes.mjs";
+import { TernaryTreeList, Hash } from "@calcit/ternary-tree";
+import { CalcitFn } from "./calcit-data.mjs";
+export declare class CalcitList {
+    value: TernaryTreeList<CalcitValue>;
+    cachedHash: Hash;
+    constructor(value: TernaryTreeList<CalcitValue>);
+    len(): number;
+    get(idx: number): CalcitValue;
+    assoc(idx: number, v: CalcitValue): CalcitList;
+    assocBefore(idx: number, v: CalcitValue): CalcitList;
+    assocAfter(idx: number, v: CalcitValue): CalcitList;
+    dissoc(idx: number): CalcitList;
+    slice(from: number, to: number): CalcitList;
+    toString(shorter?: boolean, disableJsDataWarning?: boolean): string;
+    isEmpty(): boolean;
+    /** usage: `for of` */
+    items(): Generator<CalcitValue>;
+    append(v: CalcitValue): CalcitList;
+    prepend(v: CalcitValue): CalcitList;
+    first(): CalcitValue;
+    rest(): CalcitList;
+    concat(ys: CalcitList | CalcitSliceList): CalcitList;
+    map(f: (v: CalcitValue) => CalcitValue): CalcitList;
+    toArray(): CalcitValue[];
+    reverse(): CalcitList;
+    nestedDataInChildren(): boolean;
+}
+export declare class CalcitSliceList {
+    value: Array<CalcitValue>;
+    start: number;
+    end: number;
+    cachedHash: Hash;
+    /** reference to converted list */
+    cachedTreeListRef: CalcitList;
+    constructor(value: Array<CalcitValue>);
+    turnListMode(): CalcitList;
+    len(): number;
+    get(idx: number): CalcitValue;
+    assoc(idx: number, v: CalcitValue): CalcitList;
+    assocBefore(idx: number, v: CalcitValue): CalcitList;
+    assocAfter(idx: number, v: CalcitValue): CalcitList | CalcitSliceList;
+    dissoc(idx: number): CalcitList | CalcitSliceList;
+    slice(from: number, to: number): CalcitSliceList;
+    toString(shorter?: boolean, disableJsDataWarning?: boolean): string;
+    isEmpty(): boolean;
+    /** usage: `for of` */
+    items(): Generator<CalcitValue>;
+    append(v: CalcitValue): CalcitSliceList | CalcitList;
+    prepend(v: CalcitValue): CalcitList;
+    first(): CalcitValue;
+    rest(): CalcitSliceList;
+    concat(ys: CalcitSliceList | CalcitList): CalcitList | CalcitSliceList;
+    map(f: (v: CalcitValue) => CalcitValue): CalcitSliceList;
+    toArray(): CalcitValue[];
+    reverse(): CalcitList;
+    nestedDataInChildren(): boolean;
+}
+export declare let foldl: (xs: CalcitValue, acc: CalcitValue, f: CalcitFn) => CalcitValue;
+export declare let foldl_shortcut: (xs: CalcitValue, acc: CalcitValue, v0: CalcitValue, f: CalcitFn) => CalcitValue;
+export declare let foldr_shortcut: (xs: CalcitValue, acc: CalcitValue, v0: CalcitValue, f: CalcitFn) => CalcitValue;

package/lib/js-map.d.mts

@@ -0,0 +1,60 @@
+import { CalcitValue } from "./js-primes.mjs";
+import { CalcitSet } from "./js-set.mjs";
+import { TernaryTreeMap, Hash } from "@calcit/ternary-tree";
+/** need to compare by Calcit */
+declare let DATA_EQUAL: (x: CalcitValue, y: CalcitValue) => boolean;
+export declare let overwriteMapComparator: (f: typeof DATA_EQUAL) => void;
+export declare class CalcitMap {
+    cachedHash: Hash;
+    value: TernaryTreeMap<CalcitValue, CalcitValue>;
+    constructor(value: TernaryTreeMap<CalcitValue, CalcitValue>);
+    len(): number;
+    get(k: CalcitValue): CalcitValue;
+    assoc(...args: CalcitValue[]): CalcitMap;
+    dissoc(...args: CalcitValue[]): CalcitMap;
+    toString(shorter?: boolean, disableJsDataWarning?: boolean): string;
+    isEmpty(): boolean;
+    pairs(): Array<[CalcitValue, CalcitValue]>;
+    keysArray(): Array<CalcitValue>;
+    contains(k: CalcitValue): boolean;
+    merge(ys: CalcitMap | CalcitSliceMap): CalcitMap;
+    mergeSkip(ys: CalcitMap | CalcitSliceMap, v: CalcitValue): CalcitMap;
+    /** TODO implement diff with low level code, opens opportunity for future optimizations */
+    diffNew(ys: CalcitMap | CalcitSliceMap): CalcitMap;
+    /** TODO implement diff with low level code, opens opportunity for future optimizations */
+    diffKeys(ys: CalcitMap | CalcitSliceMap): CalcitSet;
+    /** TODO implement diff with low level code, opens opportunity for future optimizations */
+    commonKeys(ys: CalcitMap | CalcitSliceMap): CalcitSet;
+    /** detecting in custom formatter */
+    nestedDataInChildren(): boolean;
+}
+export declare class CalcitSliceMap {
+    cachedHash: Hash;
+    /** in arrayMode, only flatten values, instead of tree structure */
+    chunk: CalcitValue[];
+    /** reference to generated HashMap in tree structure */
+    cachedTreeMapRef?: CalcitMap;
+    constructor(value: CalcitValue[]);
+    /** convert to tree map when needed, also cached in case converted over and over again  */
+    turnMap(): CalcitMap;
+    len(): number;
+    get(k: CalcitValue): CalcitValue;
+    assoc(...args: CalcitValue[]): CalcitMap | CalcitSliceMap;
+    dissoc(...args: CalcitValue[]): CalcitMap | CalcitSliceMap;
+    toString(shorter?: boolean, disableJsDataWarning?: boolean): string;
+    isEmpty(): boolean;
+    pairs(): Array<[CalcitValue, CalcitValue]>;
+    keysArray(): Array<CalcitValue>;
+    contains(k: CalcitValue): boolean;
+    merge(ys: CalcitMap | CalcitSliceMap): CalcitMap | CalcitSliceMap;
+    mergeSkip(ys: CalcitMap | CalcitSliceMap, v: CalcitValue): CalcitMap | CalcitSliceMap;
+    /** TODO implement diff with low level code, opens opportunity for future optimizations */
+    diffNew(ys: CalcitSliceMap | CalcitMap): CalcitMap;
+    /** TODO implement diff with low level code, opens opportunity for future optimizations */
+    diffKeys(ys: CalcitMap | CalcitSliceMap): CalcitSet;
+    /** TODO implement diff with low level code, opens opportunity for future optimizations */
+    commonKeys(ys: CalcitMap | CalcitSliceMap): CalcitSet;
+    /** detecting in custom formatter */
+    nestedDataInChildren(): boolean;
+}
+export {};

package/lib/js-primes.d.mts

@@ -0,0 +1,15 @@
+import { CalcitTag, CalcitSymbol, CalcitFn, CalcitRecur } from "./calcit-data.mjs";
+import { CalcitRef } from "./js-ref.mjs";
+import { CalcitList, CalcitSliceList } from "./js-list.mjs";
+import { CalcitRecord } from "./js-record.mjs";
+import { CalcitImpl } from "./js-impl.mjs";
+import { CalcitStruct } from "./js-struct.mjs";
+import { CalcitEnum } from "./js-enum.mjs";
+import { CalcitMap, CalcitSliceMap } from "./js-map.mjs";
+import { CalcitSet as CalcitSet } from "./js-set.mjs";
+import { CalcitTuple } from "./js-tuple.mjs";
+import { CalcitCirruQuote } from "./js-cirru.mjs";
+import { CalcitTrait } from "./js-trait.mjs";
+export type CalcitValue = string | number | boolean | CalcitMap | CalcitSliceMap | CalcitList | CalcitSliceList | CalcitSet | CalcitTag | CalcitSymbol | CalcitRef | CalcitTuple | CalcitFn | CalcitRecur | CalcitRecord | CalcitImpl | CalcitTrait | CalcitStruct | CalcitEnum | CalcitCirruQuote | null;
+export declare let isLiteral: (x: CalcitValue) => boolean;
+export declare let _$n_compare: (a: CalcitValue, b: CalcitValue) => number;