# 内置 core 的 Dynamic 边界清单 清单包含 **286** 个 schema-Dynamic 位置，分布于 **193** 个定义。 当前待迁移位置：**2** 个。 每个位置都标明所属子系统与迁移决策。`retain-reviewed` 表示已审阅的开放边界，不代表类型正确性豁免；清单用于审阅，不按位置数量判定类型正确性。`migrate` 标记需要优先收敛的调用方可见契约。 ## 汇总 | 决策 / 所属子系统 | 位置数 | | --- | ---: | | migrate/public-core-api | 2 | | retain-reviewed/compiler-forms | 28 | | retain-reviewed/compiler-specialized-contracts | 41 | | retain-reviewed/legacy-compatibility-boundaries | 2 | | retain-reviewed/macro-system | 83 | | retain-reviewed/open-data-boundaries | 21 | | retain-reviewed/public-open-boundaries | 12 | | retain-reviewed/runtime-internals | 52 | | retain-reviewed/runtime-primitives | 44 | | retain-reviewed/test-library | 1 | ## 完整清单 | 定义 | Schema 路径 | 分析意图 | 所属子系统 | 决策 | 原因 | | --- | --- | --- | --- | --- | --- | | `calcit.core/%::` | `schema.args.0` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/%{}` | `schema.inputs.0.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/&` | `schema` | unresolved | compiler-forms | retain-reviewed | This compiler form consumes or produces code/syntax whose value shape is phase-dependent. | | `calcit.core/&=` | `schema.args.0` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/&=` | `schema.args.1` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/&assert-then` | `schema.inputs.0.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/&assert-then` | `schema.inputs.1.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/&assert-then` | `schema.inputs.2.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/&assert-then` | `schema.expansion` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/&buffer` | `schema.args.0` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/&call-spread` | `schema` | unresolved | compiler-forms | retain-reviewed | This compiler form consumes or produces code/syntax whose value shape is phase-dependent. | | `calcit.core/&case` | `schema.inputs.0.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/&case` | `schema.inputs.1.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/&case` | `schema.expansion` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/&compare` | `schema.args.0` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/&compare` | `schema.args.1` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/&core-cirru-quote-impls` | `schema` | unresolved | runtime-internals | retain-reviewed | This definition transports compiler/runtime nominal metadata rather than ordinary application data. | | `calcit.core/&core-cirru-quote-methods` | `schema` | unresolved | runtime-internals | retain-reviewed | This definition transports compiler/runtime nominal metadata rather than ordinary application data. | | `calcit.core/&core-enum-impls` | `schema` | unresolved | runtime-internals | retain-reviewed | This definition transports compiler/runtime nominal metadata rather than ordinary application data. | | `calcit.core/&core-enum-methods` | `schema` | unresolved | runtime-internals | retain-reviewed | This definition transports compiler/runtime nominal metadata rather than ordinary application data. | | `calcit.core/&core-fn-impls` | `schema` | unresolved | runtime-internals | retain-reviewed | This definition transports compiler/runtime nominal metadata rather than ordinary application data. | | `calcit.core/&core-fn-methods` | `schema` | unresolved | runtime-internals | retain-reviewed | This definition transports compiler/runtime nominal metadata rather than ordinary application data. | | `calcit.core/&core-list-impls` | `schema` | unresolved | runtime-internals | retain-reviewed | This definition transports compiler/runtime nominal metadata rather than ordinary application data. | | `calcit.core/&core-list-methods` | `schema` | unresolved | runtime-internals | retain-reviewed | This definition transports compiler/runtime nominal metadata rather than ordinary application data. | | `calcit.core/&core-map-impls` | `schema` | unresolved | runtime-internals | retain-reviewed | This definition transports compiler/runtime nominal metadata rather than ordinary application data. | | `calcit.core/&core-map-methods` | `schema` | unresolved | runtime-internals | retain-reviewed | This definition transports compiler/runtime nominal metadata rather than ordinary application data. | | `calcit.core/&core-number-impls` | `schema` | unresolved | runtime-internals | retain-reviewed | This definition transports compiler/runtime nominal metadata rather than ordinary application data. | | `calcit.core/&core-number-methods` | `schema` | unresolved | runtime-internals | retain-reviewed | This definition transports compiler/runtime nominal metadata rather than ordinary application data. | | `calcit.core/&core-scalar-impls` | `schema` | unresolved | runtime-internals | retain-reviewed | This definition transports compiler/runtime nominal metadata rather than ordinary application data. | | `calcit.core/&core-set-impls` | `schema` | unresolved | runtime-internals | retain-reviewed | This definition transports compiler/runtime nominal metadata rather than ordinary application data. | | `calcit.core/&core-set-methods` | `schema` | unresolved | runtime-internals | retain-reviewed | This definition transports compiler/runtime nominal metadata rather than ordinary application data. | | `calcit.core/&core-string-impls` | `schema` | unresolved | runtime-internals | retain-reviewed | This definition transports compiler/runtime nominal metadata rather than ordinary application data. | | `calcit.core/&core-string-methods` | `schema` | unresolved | runtime-internals | retain-reviewed | This definition transports compiler/runtime nominal metadata rather than ordinary application data. | | `calcit.core/&core-struct-impls` | `schema` | unresolved | runtime-internals | retain-reviewed | This definition transports compiler/runtime nominal metadata rather than ordinary application data. | | `calcit.core/&core-struct-methods` | `schema` | unresolved | runtime-internals | retain-reviewed | This definition transports compiler/runtime nominal metadata rather than ordinary application data. | | `calcit.core/&core-text-scalar-impls` | `schema` | unresolved | runtime-internals | retain-reviewed | This definition transports compiler/runtime nominal metadata rather than ordinary application data. | | `calcit.core/&data-to-code` | `schema` | unresolved | compiler-forms | retain-reviewed | This compiler form consumes or produces code/syntax whose value shape is phase-dependent. | | `calcit.core/&doseq` | `schema.rest.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/&enum:assoc` | `schema.args.2` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/&enum:nth` | `schema.return` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/&enum:params` | `schema.return.item` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/&extract-code-into-edn` | `schema` | unresolved | compiler-forms | retain-reviewed | This compiler form consumes or produces code/syntax whose value shape is phase-dependent. | | `calcit.core/&get-def-doc` | `schema.args.0` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/&get-def-schema` | `schema.args.0` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/&get-def-schema` | `schema.return` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/&get-in` | `schema.args.0` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/&get-in` | `schema.return.type-arg.0` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/&get-raw` | `schema.args.0` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/&get-raw` | `schema.args.1` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/&get-raw` | `schema.return` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/&hash` | `schema.args.0` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/&impl::new` | `schema` | unresolved | runtime-internals | retain-reviewed | This definition transports compiler/runtime nominal metadata rather than ordinary application data. | | `calcit.core/&impl:get` | `schema.args.1` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/&impl:get` | `schema.return` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/&impl:nth` | `schema.return` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/&let` | `schema` | unresolved | compiler-forms | retain-reviewed | This compiler form consumes or produces code/syntax whose value shape is phase-dependent. | | `calcit.core/&list-match-internal` | `schema.inputs.0.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/&list-match-internal` | `schema.inputs.1.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/&list-match-internal` | `schema.rest.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/&list-match-internal` | `schema.expansion` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/&list:flatten` | `schema.args.0` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/&list:flatten` | `schema.return.item` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/&list:foldl-shortcut` | `schema` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/&list:map-pair` | `schema.args.1.args.0` | unresolved | public-open-boundaries | retain-reviewed | The pair callback receives heterogeneous key/value slots from a homogeneous List; its key stays open while the callback result is preserved by generic R. | | `calcit.core/&list:map-pair` | `schema.args.1.args.1` | unresolved | public-open-boundaries | retain-reviewed | The pair callback receives heterogeneous key/value slots from a homogeneous List; its value stays open while the callback result is preserved by generic R. | | `calcit.core/&list:numbers` | `schema.args.0.item` | unresolved | public-core-api | migrate | This caller-visible contract still loses type evidence and is assigned to calcit#701 for an honest generic, trait-associated, recursive nominal, or reviewed-boundary decision. | | `calcit.core/&list:sort-by` | `schema.args.1` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/&str` | `schema` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/&str:concat` | `schema.args.0` | unresolved | public-open-boundaries | retain-reviewed | The internal concatenation primitive renders each operand with the same universal string conversion as str; Dynamic is the honest presentation input, and only the String result carries evidence. | | `calcit.core/&str:concat` | `schema.args.1` | unresolved | public-open-boundaries | retain-reviewed | The internal concatenation primitive renders each operand with the same universal string conversion as str; Dynamic is the honest presentation input, and only the String result carries evidence. | | `calcit.core/&struct-match-internal` | `schema.inputs.0.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/&struct-match-internal` | `schema.expansion` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/&struct:assoc` | `schema` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/&struct:contains?` | `schema` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/&struct:extend-as` | `schema` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/&struct:from-map` | `schema` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/&struct:get` | `schema.return` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/&struct:matches?` | `schema` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/&struct:to-map` | `schema.return.value` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/&struct:with` | `schema` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/&trait::new` | `schema` | unresolved | runtime-internals | retain-reviewed | This definition transports compiler/runtime nominal metadata rather than ordinary application data. | | `calcit.core/&turn-string` | `schema.args.0` | unresolved | legacy-compatibility-boundaries | retain-reviewed | 内部 primitive 仅接受六类内建标量，当前类型语法无法以单一输入类型表达该集合。对外的 to-string 要求 ToString 证据；应用代码不应直接调用此 Dynamic primitive。 | | `calcit.core/&{}` | `schema` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/'` | `schema` | unresolved | compiler-forms | retain-reviewed | This compiler form consumes or produces code/syntax whose value shape is phase-dependent. | | `calcit.core/->` | `schema.inputs.0.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/->` | `schema.expansion` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/->%` | `schema.inputs.0.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/->%` | `schema.rest.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/->%` | `schema.expansion` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/->>` | `schema.inputs.0.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/->>` | `schema.expansion` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/:` | `schema.rest.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/::` | `schema` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/?` | `schema` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/ControlFlow` | `schema` | unresolved | runtime-internals | retain-reviewed | This definition transports compiler/runtime nominal metadata rather than ordinary application data. | | `calcit.core/MapEntryDecision` | `schema` | unresolved | runtime-internals | retain-reviewed | This definition transports compiler/runtime nominal metadata rather than ordinary application data. | | `calcit.core/Option` | `schema` | unresolved | runtime-internals | retain-reviewed | This definition transports compiler/runtime nominal metadata rather than ordinary application data. | | `calcit.core/PathError` | `schema` | unresolved | runtime-internals | retain-reviewed | This definition transports compiler/runtime nominal metadata rather than ordinary application data. | | `calcit.core/Result` | `schema` | unresolved | runtime-internals | retain-reviewed | This definition transports compiler/runtime nominal metadata rather than ordinary application data. | | `calcit.core/and` | `schema.rest.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/and` | `schema.expansion` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/any?` | `schema.args.0` | unresolved | compiler-specialized-contracts | retain-reviewed | The public facade accepts several runtime collection families; known List, Set, and Map receivers specialize the predicate input, with focused callback mismatch regressions preserving member or heterogeneous pair evidence. | | `calcit.core/apply` | `schema.return` | unresolved | compiler-specialized-contracts | retain-reviewed | Arbitrary callable arity is not representable in the schema; compatible homogeneous List calls recover the callable return type at preprocessing time, while unproved calls remain Dynamic. | | `calcit.core/assert` | `schema.inputs.0.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/assert` | `schema.inputs.1.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/assert-detect` | `schema.inputs.0.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/assert-detect` | `schema.inputs.1.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/assert-type` | `schema` | unresolved | compiler-forms | retain-reviewed | This compiler form consumes or produces code/syntax whose value shape is phase-dependent. | | `calcit.core/assert=` | `schema.inputs.0.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/assert=` | `schema.inputs.1.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/assoc` | `schema.args.0` | unresolved | compiler-specialized-contracts | retain-reviewed | #2187：旧门面跨 List、Map、Struct、Enum 分派，不存在诚实的泛型 `T -> T` 关系；已知接收者降到 `&list:assoc`、`&map:assoc`、`&enum:assoc` 或 Struct 字段写入的精确合同，泛型接收者改用 `.assoc` 方法。 | | `calcit.core/assoc` | `schema.args.1` | unresolved | compiler-specialized-contracts | retain-reviewed | #2187：旧门面跨 List、Map、Struct、Enum 分派，不存在诚实的泛型 `T -> T` 关系；已知接收者降到 `&list:assoc`、`&map:assoc`、`&enum:assoc` 或 Struct 字段写入的精确合同，泛型接收者改用 `.assoc` 方法。 | | `calcit.core/assoc` | `schema.args.2` | unresolved | compiler-specialized-contracts | retain-reviewed | #2187：旧门面跨 List、Map、Struct、Enum 分派，不存在诚实的泛型 `T -> T` 关系；已知接收者降到 `&list:assoc`、`&map:assoc`、`&enum:assoc` 或 Struct 字段写入的精确合同，泛型接收者改用 `.assoc` 方法。 | | `calcit.core/assoc` | `schema.return` | unresolved | compiler-specialized-contracts | retain-reviewed | #2187：旧门面跨 List、Map、Struct、Enum 分派，不存在诚实的泛型 `T -> T` 关系；已知接收者降到 `&list:assoc`、`&map:assoc`、`&enum:assoc` 或 Struct 字段写入的精确合同，泛型接收者改用 `.assoc` 方法。 | | `calcit.core/assoc-in` | `schema.args.0` | unresolved | compiler-specialized-contracts | retain-reviewed | 完整类型的字面量 Map 路径直接 lowering；已证明的 Map 前缀可在开放 payload 上保留结果类型，但未知遍历仍走公开 walker。 | | `calcit.core/assoc-in` | `schema.args.2` | unresolved | compiler-specialized-contracts | retain-reviewed | Typed literal Map paths validate the replacement against the recovered leaf type before direct reconstruction; dynamic paths cannot honestly relate this value in the public fallback schema. | | `calcit.core/assoc-in` | `schema.return` | unresolved | compiler-specialized-contracts | retain-reviewed | 字面量路径保留已证明的 Map 前缀；Dynamic 子节点仍开放，空/未知路径与不相容的 key/具体 leaf 不承诺原 receiver 类型。 | | `calcit.core/case` | `schema.inputs.0.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/case` | `schema.expansion` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/cond` | `schema.expansion` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/contains-in?` | `schema.args.0` | unresolved | compiler-specialized-contracts | retain-reviewed | Each path hop descends into a value of a different Map, List, or Enum type, so one receiver type variable cannot describe the recursion; the open receiver is the reviewed boundary and Struct traversal is rejected. | | `calcit.core/data-definition-bound-form` | `schema.expansion` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/data-definition-form` | `schema.args.0` | unresolved | open-data-boundaries | retain-reviewed | The parser/decoder boundary accepts open data; callers must decode or narrow before entering nominal business APIs. | | `calcit.core/data-definition-form` | `schema.return` | unresolved | open-data-boundaries | retain-reviewed | The parser/decoder boundary accepts open data; callers must decode or narrow before entering nominal business APIs. | | `calcit.core/data-definition-malformed-nesting?` | `schema.args.0` | unresolved | open-data-boundaries | retain-reviewed | The parser/decoder boundary accepts open data; callers must decode or narrow before entering nominal business APIs. | | `calcit.core/data-definition-type-form` | `schema.expansion` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/data-definition-type-forms` | `schema.expansion` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/data-definition-where-form?` | `schema.args.0` | unresolved | open-data-boundaries | retain-reviewed | The parser/decoder boundary accepts open data; callers must decode or narrow before entering nominal business APIs. | | `calcit.core/data-view` | `schema.args.0` | unresolved | open-data-boundaries | retain-reviewed | The parser/decoder boundary accepts open data; callers must decode or narrow before entering nominal business APIs. | | `calcit.core/decode-map-as` | `schema.args.0` | unresolved | open-data-boundaries | retain-reviewed | The parser/decoder boundary accepts open data; callers must decode or narrow before entering nominal business APIs. | | `calcit.core/decode-map-as` | `schema.args.1` | unresolved | open-data-boundaries | retain-reviewed | The parser/decoder boundary accepts open data; callers must decode or narrow before entering nominal business APIs. | | `calcit.core/decode-map-as` | `schema.return` | unresolved | open-data-boundaries | retain-reviewed | The parser/decoder boundary accepts open data; callers must decode or narrow before entering nominal business APIs. | | `calcit.core/def` | `schema.inputs.1.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/def` | `schema.expansion` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/defmacro` | `schema.args.0` | unresolved | compiler-forms | retain-reviewed | This compiler form consumes or produces code/syntax whose value shape is phase-dependent. | | `calcit.core/defmacro` | `schema.args.1` | unresolved | compiler-forms | retain-reviewed | This compiler form consumes or produces code/syntax whose value shape is phase-dependent. | | `calcit.core/defmacro` | `schema.args.2` | unresolved | compiler-forms | retain-reviewed | This compiler form consumes or produces code/syntax whose value shape is phase-dependent. | | `calcit.core/defmacro` | `schema.return` | unresolved | compiler-forms | retain-reviewed | This compiler form consumes or produces code/syntax whose value shape is phase-dependent. | | `calcit.core/defn` | `schema.args.0` | unresolved | compiler-forms | retain-reviewed | This compiler form consumes or produces code/syntax whose value shape is phase-dependent. | | `calcit.core/defn` | `schema.args.1` | unresolved | compiler-forms | retain-reviewed | This compiler form consumes or produces code/syntax whose value shape is phase-dependent. | | `calcit.core/defn` | `schema.args.2` | unresolved | compiler-forms | retain-reviewed | This compiler form consumes or produces code/syntax whose value shape is phase-dependent. | | `calcit.core/defn` | `schema.return` | unresolved | compiler-forms | retain-reviewed | This compiler form consumes or produces code/syntax whose value shape is phase-dependent. | | `calcit.core/dissoc` | `schema.args.0` | unresolved | compiler-specialized-contracts | retain-reviewed | #2187：旧门面只接受 List 或 Map，不存在诚实的泛型 `T -> T` 关系；已知接收者降到 `&list:dissoc`、`&map:dissoc` 的精确合同，泛型接收者改用 `.dissoc` 方法。 | | `calcit.core/dissoc` | `schema.return` | unresolved | compiler-specialized-contracts | retain-reviewed | #2187：旧门面只接受 List 或 Map，不存在诚实的泛型 `T -> T` 关系；已知接收者降到 `&list:dissoc`、`&map:dissoc` 的精确合同，泛型接收者改用 `.dissoc` 方法。 | | `calcit.core/dissoc` | `schema.rest` | unresolved | compiler-specialized-contracts | retain-reviewed | #2187：旧门面只接受 List 或 Map，不存在诚实的泛型 `T -> T` 关系；已知接收者降到 `&list:dissoc`、`&map:dissoc` 的精确合同，泛型接收者改用 `.dissoc` 方法。 | | `calcit.core/dissoc-in` | `schema.args.0` | unresolved | compiler-specialized-contracts | retain-reviewed | #2187：沿嵌套路径逐层读取并用 `assoc` / `dissoc` 重建，路径中途的容器类型无法由公开合同关联到输入；需要保留类型时对已知容器逐层使用 `.dissoc` / `.assoc` 方法。 | | `calcit.core/dissoc-in` | `schema.return` | unresolved | compiler-specialized-contracts | retain-reviewed | #2187 / #2506：已知 `Map` 接收者配非空字面量路径、且每层载荷为 `Dynamic` 或同规则的 Map 时，预处理保留 `Map`；其他接收者、空路径或动态路径的中间容器无法由公开合同关联到输入，需要保留类型时对已知容器逐层使用 `.dissoc` / `.assoc` 方法。 | | `calcit.core/do` | `schema.rest.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/do` | `schema.expansion` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/each` | `schema.args.0` | unresolved | compiler-specialized-contracts | retain-reviewed | Known List and Set receivers specialize callbacks to the member type, while Map callbacks receive the honest heterogeneous runtime pair; focused mismatch regressions cover all three families. | | `calcit.core/each` | `schema.args.1.args.0` | unresolved | public-core-api | migrate | This caller-visible contract still loses type evidence and is assigned to calcit#701 for an honest generic, trait-associated, recursive nominal, or reviewed-boundary decision. | | `calcit.core/either` | `schema.rest.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/either` | `schema.expansion` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/encode-map-as` | `schema.args.1` | unresolved | open-data-boundaries | retain-reviewed | The encoder takes a type expression and produces open wire data from a typed value; the result leaves the typed program and is read back through decode-map-as. | | `calcit.core/encode-map-as` | `schema.return` | unresolved | open-data-boundaries | retain-reviewed | The encoder takes a type expression and produces open wire data from a typed value; the result leaves the typed program and is read back through decode-map-as. | | `calcit.core/eval` | `schema` | unresolved | compiler-forms | retain-reviewed | This compiler form consumes or produces code/syntax whose value shape is phase-dependent. | | `calcit.core/every?` | `schema.args.0` | unresolved | compiler-specialized-contracts | retain-reviewed | Known List and Set receivers specialize Bool predicates to the member type, while Map predicates receive the honest heterogeneous runtime pair; focused mismatch regressions cover these contracts. | | `calcit.core/ffi:response` | `schema.args.0` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/ffi:task` | `schema.args.0` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/filter` | `schema.args.0` | unresolved | compiler-specialized-contracts | retain-reviewed | Known List, Set, and Map receivers select typed shape-preserving implementations and specialize predicate inputs; unsupported runtime-polymorphic receivers stay on the compatibility facade. | | `calcit.core/filter` | `schema.return` | unresolved | compiler-specialized-contracts | retain-reviewed | A statically known List, Map, or Set receiver is rewritten to its typed core filter implementation, which preserves the receiver collection shape; the representation-polymorphic facade receiver is reviewed alongside this specialization. | | `calcit.core/first` | `schema.args.0` | unresolved | compiler-specialized-contracts | retain-reviewed | List, String, and Enum receivers recover their indexed payload through preprocessing; the facade remains representation-polymorphic because the type grammar has no shared sequence capability with an associated item type. | | `calcit.core/first` | `schema.return.type-arg.0` | unresolved | compiler-specialized-contracts | retain-reviewed | Supported sequence receivers recover the Option payload from List, String, or Enum evidence; the representation-polymorphic facade receiver is reviewed alongside this specialization. | | `calcit.core/fn` | `schema.expansion` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/format-cirru` | `schema.args.0.item` | unresolved | public-open-boundaries | retain-reviewed | The formatter consumes recursively heterogeneous Cirru syntax nodes; the missing recursive leaf-or-list union is retained as a reviewed presentation boundary. | | `calcit.core/format-cirru-one-liner` | `schema.args.0.item` | unresolved | public-open-boundaries | retain-reviewed | The one-line formatter consumes recursively heterogeneous Cirru syntax nodes; the missing recursive leaf-or-list union is retained as a reviewed presentation boundary. | | `calcit.core/gensym` | `schema` | unresolved | compiler-forms | retain-reviewed | This compiler form consumes or produces code/syntax whose value shape is phase-dependent. | | `calcit.core/get` | `schema.args.0` | unresolved | compiler-specialized-contracts | retain-reviewed | Known Map, List, String, and Enum receivers drive key checking and Option payload inference; the facade receiver remains open because these families do not share an expressible associated lookup contract. | | `calcit.core/get` | `schema.args.1` | unresolved | compiler-specialized-contracts | retain-reviewed | The receiver specializes the lookup key to the Map key or indexed Number contract; the representation-polymorphic facade receiver is reviewed alongside this specialization. | | `calcit.core/get` | `schema.return.type-arg.0` | unresolved | compiler-specialized-contracts | retain-reviewed | The receiver specializes the Option payload to the Map value, List member, or String character contract; the representation-polymorphic facade receiver is reviewed alongside this specialization. | | `calcit.core/get-in` | `schema.args.0` | unresolved | compiler-specialized-contracts | retain-reviewed | Fully typed receivers with known literal paths recover each lookup hop and the Result payload; dynamic paths remain an explicit open-data compatibility boundary and Struct traversal is rejected. | | `calcit.core/get-in` | `schema.return.type-arg.0` | unresolved | compiler-specialized-contracts | retain-reviewed | A statically typed receiver plus a fully known literal Map/List path recovers the Result payload at preprocessing time; dynamic paths and Struct traversal remain on the reviewed fallback. | | `calcit.core/hint-fn` | `schema` | unresolved | compiler-forms | retain-reviewed | This compiler form consumes or produces code/syntax whose value shape is phase-dependent. | | `calcit.core/if` | `schema` | unresolved | compiler-forms | retain-reviewed | This compiler form consumes or produces code/syntax whose value shape is phase-dependent. | | `calcit.core/if-let` | `schema.inputs.1.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/if-let` | `schema.inputs.2.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/if-let` | `schema.expansion` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/if-not` | `schema.rest.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/if-not` | `schema.expansion` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/impl-traits` | `schema.args.0` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/impl-traits` | `schema.return` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/includes?` | `schema.args.0` | unresolved | compiler-specialized-contracts | retain-reviewed | Known Map, List, Set, and String receivers specialize the searched value contract; the public facade keeps the heterogeneous receiver boundary because no common associated-member capability is expressible. | | `calcit.core/includes?` | `schema.args.1` | unresolved | compiler-specialized-contracts | retain-reviewed | The receiver specializes the searched value to the Map value, collection member, or String contract; the representation-polymorphic facade receiver is reviewed alongside this specialization. | | `calcit.core/json-parse` | `schema.return` | unresolved | open-data-boundaries | retain-reviewed | The parser/decoder boundary accepts open data; callers must decode or narrow before entering nominal business APIs. | | `calcit.core/last` | `schema.args.0` | unresolved | compiler-specialized-contracts | retain-reviewed | List, String, and Enum receivers recover their indexed payload through preprocessing; the facade remains representation-polymorphic because the type grammar has no shared sequence capability with an associated item type. | | `calcit.core/last` | `schema.return.type-arg.0` | unresolved | compiler-specialized-contracts | retain-reviewed | Supported sequence receivers recover the Option payload from List, String, or Enum evidence; the representation-polymorphic facade receiver is reviewed alongside this specialization. | | `calcit.core/let` | `schema.expansion` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/let[]` | `schema.inputs.1.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/let[]` | `schema.rest.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/let[]` | `schema.expansion` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/loop` | `schema.rest.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/loop` | `schema.expansion` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/macroexpand` | `schema` | unresolved | compiler-forms | retain-reviewed | This compiler form consumes or produces code/syntax whose value shape is phase-dependent. | | `calcit.core/macroexpand-1` | `schema` | unresolved | compiler-forms | retain-reviewed | This compiler form consumes or produces code/syntax whose value shape is phase-dependent. | | `calcit.core/macroexpand-all` | `schema` | unresolved | compiler-forms | retain-reviewed | This compiler form consumes or produces code/syntax whose value shape is phase-dependent. | | `calcit.core/map` | `schema.return` | unresolved | compiler-specialized-contracts | retain-reviewed | Known List, Set, and Map receivers select typed native implementations whose result follows the callback and receiver family; the public Mappable trait currently cannot express an associated output constructor. | | `calcit.core/map-kv` | `schema.return` | unresolved | legacy-compatibility-boundaries | retain-reviewed | Legacy map-kv accepts an untyped two-item List or a nil/enum drop sentinel, so its output key/value relation cannot be proven. Typed callers receive W_MAP_KV_UNPROVEN_CONTRACT and must migrate to filter-map-kv. | | `calcit.core/nth` | `schema.args.0` | unresolved | compiler-specialized-contracts | retain-reviewed | List, String, and Enum receivers recover their indexed payload and enforce a Number index; the facade remains open because their shared associated-item capability is not expressible. | | `calcit.core/nth` | `schema.return.type-arg.0` | unresolved | compiler-specialized-contracts | retain-reviewed | Supported indexed receivers recover the Option payload from List, String, or Enum evidence; the representation-polymorphic facade receiver is reviewed alongside this specialization. | | `calcit.core/or` | `schema.inputs.0.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/or` | `schema.rest.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/or` | `schema.expansion` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/pairs-map` | `schema.return.key` | unresolved | public-open-boundaries | retain-reviewed | 输入的异构两项 List 不能独立证明键类型；开放返回保留 Dynamic。已知 List> 可由 receiver 合同保留 Map，独立键值类型由 typed fold/assoc 构造。 | | `calcit.core/pairs-map` | `schema.return.value` | unresolved | public-open-boundaries | retain-reviewed | 输入的异构两项 List 不能独立证明值类型；开放返回保留 Dynamic。逐项长度校验、空输入、nil 和重复键最后值覆盖仍由原实现保证。 | | `calcit.core/parse-cirru-edn` | `schema.return` | unresolved | open-data-boundaries | retain-reviewed | The parser/decoder boundary accepts open data; callers must decode or narrow before entering nominal business APIs. | | `calcit.core/quasiquote` | `schema` | unresolved | compiler-forms | retain-reviewed | This compiler form consumes or produces code/syntax whose value shape is phase-dependent. | | `calcit.core/quote` | `schema` | unresolved | compiler-forms | retain-reviewed | This compiler form consumes or produces code/syntax whose value shape is phase-dependent. | | `calcit.core/recur` | `schema` | unresolved | compiler-forms | retain-reviewed | This compiler form consumes or produces code/syntax whose value shape is phase-dependent. | | `calcit.core/str` | `schema.args.0` | unresolved | public-open-boundaries | retain-reviewed | String conversion deliberately accepts every runtime value; Dynamic is the honest universal presentation input rather than lost business-domain evidence. | | `calcit.core/str` | `schema.rest` | unresolved | public-open-boundaries | retain-reviewed | Variadic string conversion deliberately accepts every runtime value; Dynamic is the honest universal presentation input rather than a relation between arguments. | | `calcit.core/str-spaced` | `schema.args.0` | unresolved | public-open-boundaries | retain-reviewed | 公开格式化边界的必需首项沿用原 rest 的异质输入能力；转换后仅传递 String，不让此输入证明具体业务类型。 | | `calcit.core/str-spaced` | `schema.rest` | unresolved | public-open-boundaries | retain-reviewed | Variadic spaced string conversion deliberately accepts every runtime value; Dynamic is the honest universal presentation input rather than a relation between arguments. | | `calcit.core/struct-match` | `schema.inputs.0.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/struct-match` | `schema.expansion` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/swap!` | `schema.inputs.0.expr.item` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/swap!` | `schema.rest.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/swap!` | `schema.expansion` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/tagging-edn` | `schema.args.0` | unresolved | open-data-boundaries | retain-reviewed | The parser/decoder boundary accepts open data; callers must decode or narrow before entering nominal business APIs. | | `calcit.core/tagging-edn` | `schema.return` | unresolved | open-data-boundaries | retain-reviewed | The parser/decoder boundary accepts open data; callers must decode or narrow before entering nominal business APIs. | | `calcit.core/try` | `schema` | unresolved | compiler-forms | retain-reviewed | This compiler form consumes or produces code/syntax whose value shape is phase-dependent. | | `calcit.core/try-decode-map-as` | `schema.args.0` | unresolved | open-data-boundaries | retain-reviewed | The parser/decoder boundary accepts open data; callers must decode or narrow before entering nominal business APIs. | | `calcit.core/try-decode-map-as` | `schema.args.1` | unresolved | open-data-boundaries | retain-reviewed | The parser/decoder boundary accepts open data; callers must decode or narrow before entering nominal business APIs. | | `calcit.core/try-decode-map-as` | `schema.return` | unresolved | open-data-boundaries | retain-reviewed | The parser/decoder boundary accepts open data; callers must decode or narrow before entering nominal business APIs. | | `calcit.core/try-parse-cirru-edn` | `schema.return.type-arg.0` | unresolved | open-data-boundaries | retain-reviewed | The parser/decoder boundary accepts open data; callers must decode or narrow before entering nominal business APIs. | | `calcit.core/try-parse-cirru-edn-as` | `schema.args.1` | unresolved | open-data-boundaries | retain-reviewed | The parser/decoder boundary accepts open data; callers must decode or narrow before entering nominal business APIs. | | `calcit.core/try-parse-cirru-edn-as` | `schema.return` | unresolved | open-data-boundaries | retain-reviewed | The parser/decoder boundary accepts open data; callers must decode or narrow before entering nominal business APIs. | | `calcit.core/try-parse-json` | `schema.return.type-arg.0` | unresolved | open-data-boundaries | retain-reviewed | The parser/decoder boundary accepts open data; callers must decode or narrow before entering nominal business APIs. | | `calcit.core/unsafe-coerce` | `schema` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/update` | `schema.args.0` | unresolved | compiler-specialized-contracts | retain-reviewed | Known List, Map, and Struct receivers specialize the index or key and updater callback, and preserve the receiver as the result; the facade receiver covers incompatible runtime representations. | | `calcit.core/update` | `schema.args.1` | unresolved | compiler-specialized-contracts | retain-reviewed | The receiver specializes the update key or index and the updater callback contract; the representation-polymorphic facade receiver is reviewed alongside this specialization. | | `calcit.core/update` | `schema.args.2.args.0` | unresolved | compiler-specialized-contracts | retain-reviewed | 已知 List、Map 或 Struct 接收者按成员或字段类型约束 updater 输入；开放接收者保留 Dynamic，不能从未证明的槽恢复任意泛型。 | | `calcit.core/update` | `schema.args.2.return` | unresolved | compiler-specialized-contracts | retain-reviewed | 已知接收者的 updater 返回必须满足相应成员或字段类型，并保留完整接收者类型；开放 fallback 的返回继续为 Dynamic。 | | `calcit.core/update` | `schema.return` | unresolved | compiler-specialized-contracts | retain-reviewed | Preprocessing preserves the concrete collection or Struct receiver as the update result; the representation-polymorphic facade receiver is reviewed alongside this specialization. | | `calcit.core/update-in` | `schema.args.0` | unresolved | compiler-specialized-contracts | retain-reviewed | 完整类型的字面量 Map 路径直接 lowering；开放 payload 上的已证明 Map 前缀可保留结果类型，callback 输入仍需独立证明。 | | `calcit.core/update-in` | `schema.args.2.args.0.type-arg.0` | unresolved | compiler-specialized-contracts | retain-reviewed | 运行时 fallback 读取开放叶子并传递 Option，独立输出不能证明输入。已证明的字面量 Map 路径保留成员类型，空路径保留整个接收者类型；开放 payload 在具体使用前校验。 | | `calcit.core/update-in` | `schema.return` | unresolved | compiler-specialized-contracts | retain-reviewed | Typed literal Map paths pass Option to the updater and rebuild the concrete receiver type; the dynamic-path runtime fallback cannot expose that dependent relation in the current schema grammar. | | `calcit.core/when` | `schema.inputs.0.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/when` | `schema.rest.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/when` | `schema.expansion` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/when-let` | `schema.rest.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/when-let` | `schema.expansion.type-arg.0` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/when-not` | `schema.inputs.0.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/when-not` | `schema.rest.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/when-not` | `schema.expansion` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/with-gensyms` | `schema.expansion` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/with-type-slot` | `schema.args.0` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/with-type-slot` | `schema.return` | unresolved | runtime-primitives | retain-reviewed | The low-level runtime operation is deliberately representation-polymorphic; typed project APIs must not use it as an escape hatch. | | `calcit.core/{,}` | `schema.expansion.key` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/{,}` | `schema.expansion.value` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/{}` | `schema.expansion.key` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/{}` | `schema.expansion.value` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.core/~` | `schema` | unresolved | compiler-forms | retain-reviewed | This compiler form consumes or produces code/syntax whose value shape is phase-dependent. | | `calcit.core/~@` | `schema` | unresolved | compiler-forms | retain-reviewed | This compiler form consumes or produces code/syntax whose value shape is phase-dependent. | | `calcit.internal/&core-add-list-impl` | `schema` | unresolved | runtime-internals | retain-reviewed | 编译器自有的 trait/impl 元数据不是公开值契约；保留可审阅的边界说明。 | | `calcit.internal/&core-add-number-impl` | `schema` | unresolved | runtime-internals | retain-reviewed | 编译器自有的 trait/impl 元数据不是公开值契约；保留可审阅的边界说明。 | | `calcit.internal/&core-add-string-impl` | `schema` | unresolved | runtime-internals | retain-reviewed | 编译器自有的 trait/impl 元数据不是公开值契约；保留可审阅的边界说明。 | | `calcit.internal/&core-compare-number-impl` | `schema` | unresolved | runtime-internals | retain-reviewed | 编译器自有的 trait/impl 元数据不是公开值契约；保留可审阅的边界说明。 | | `calcit.internal/&core-compare-string-impl` | `schema` | unresolved | runtime-internals | retain-reviewed | 编译器自有的 trait/impl 元数据不是公开值契约；保留可审阅的边界说明。 | | `calcit.internal/&core-contains-enum-impl` | `schema` | unresolved | runtime-internals | retain-reviewed | 编译器自有的 trait/impl 元数据不是公开值契约；保留可审阅的边界说明。 | | `calcit.internal/&core-contains-field-struct-impl` | `schema` | unresolved | runtime-internals | retain-reviewed | 编译器自有的 trait/impl 元数据不是公开值契约；保留可审阅的边界说明。 | | `calcit.internal/&core-contains-index-enum-impl` | `schema` | unresolved | runtime-internals | retain-reviewed | 编译器自有的 trait/impl 元数据不是公开值契约；保留可审阅的边界说明。 | | `calcit.internal/&core-contains-struct-impl` | `schema` | unresolved | runtime-internals | retain-reviewed | 编译器自有的 trait/impl 元数据不是公开值契约；保留可审阅的边界说明。 | | `calcit.internal/&core-countable-enum-impl` | `schema` | unresolved | runtime-internals | retain-reviewed | 编译器自有的 trait/impl 元数据不是公开值契约；保留可审阅的边界说明。 | | `calcit.internal/&core-countable-list-impl` | `schema` | unresolved | runtime-internals | retain-reviewed | 编译器自有的 trait/impl 元数据不是公开值契约；保留可审阅的边界说明。 | | `calcit.internal/&core-countable-map-impl` | `schema` | unresolved | runtime-internals | retain-reviewed | 编译器自有的 trait/impl 元数据不是公开值契约；保留可审阅的边界说明。 | | `calcit.internal/&core-countable-set-impl` | `schema` | unresolved | runtime-internals | retain-reviewed | 编译器自有的 trait/impl 元数据不是公开值契约；保留可审阅的边界说明。 | | `calcit.internal/&core-countable-string-impl` | `schema` | unresolved | runtime-internals | retain-reviewed | 编译器自有的 trait/impl 元数据不是公开值契约；保留可审阅的边界说明。 | | `calcit.internal/&core-countable-struct-impl` | `schema` | unresolved | runtime-internals | retain-reviewed | 编译器自有的 trait/impl 元数据不是公开值契约；保留可审阅的边界说明。 | | `calcit.internal/&core-debug-impl` | `schema` | unresolved | runtime-internals | retain-reviewed | 编译器自有的 trait/impl 元数据不是公开值契约；保留可审阅的边界说明。 | | `calcit.internal/&core-eq-impl` | `schema` | unresolved | runtime-internals | retain-reviewed | 编译器自有的 trait/impl 元数据不是公开值契约；保留可审阅的边界说明。 | | `calcit.internal/&core-len-list-impl` | `schema` | unresolved | runtime-internals | retain-reviewed | 编译器自有的 trait/impl 元数据不是公开值契约；保留可审阅的边界说明。 | | `calcit.internal/&core-len-map-impl` | `schema` | unresolved | runtime-internals | retain-reviewed | 编译器自有的 trait/impl 元数据不是公开值契约；保留可审阅的边界说明。 | | `calcit.internal/&core-len-set-impl` | `schema` | unresolved | runtime-internals | retain-reviewed | 编译器自有的 trait/impl 元数据不是公开值契约；保留可审阅的边界说明。 | | `calcit.internal/&core-len-string-impl` | `schema` | unresolved | runtime-internals | retain-reviewed | 编译器自有的 trait/impl 元数据不是公开值契约；保留可审阅的边界说明。 | | `calcit.internal/&core-mappable-list-impl` | `schema` | unresolved | runtime-internals | retain-reviewed | 编译器自有的 trait/impl 元数据不是公开值契约；保留可审阅的边界说明。 | | `calcit.internal/&core-mappable-map-impl` | `schema` | unresolved | runtime-internals | retain-reviewed | 编译器自有的 trait/impl 元数据不是公开值契约；保留可审阅的边界说明。 | | `calcit.internal/&core-mappable-set-impl` | `schema` | unresolved | runtime-internals | retain-reviewed | 编译器自有的 trait/impl 元数据不是公开值契约；保留可审阅的边界说明。 | | `calcit.internal/&core-multiply-number-impl` | `schema` | unresolved | runtime-internals | retain-reviewed | 编译器自有的 trait/impl 元数据不是公开值契约；保留可审阅的边界说明。 | | `calcit.test/fail` | `schema.return` | unresolved | test-library | retain-reviewed | The test helper always raises and therefore has no runtime return value; until the type grammar has a bottom/Never type, Dynamic is the honest non-returning test boundary. | | `calcit.test/is` | `schema.inputs.0.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.test/is-not=` | `schema.inputs.0.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.test/is-not=` | `schema.inputs.1.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.test/is-throws` | `schema.inputs.0.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.test/is=` | `schema.inputs.0.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.test/is=` | `schema.inputs.1.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 | | `calcit.test/throws?` | `schema.inputs.0.expr` | intentional-macro-syntax | macro-system | retain-reviewed | 宏语法随展开阶段变化；保留显式开放边界，并通过专项测试验证语义。 |