mirror of
https://github.com/MoonshotAI/kimi-code.git
synced 2026-08-03 21:45:27 +00:00
462ab1ddbb
Spine made the stored history append-only while several paths still assumed stored == projected: - repair the spine tree when undo/clear truncates the history beneath it (new spine.truncate_repair op): clamp straddling spans, void truncated ones, re-anchor the epoch boundary and the observation cursor, so post-undo messages are never folded away and the next tree transition is never dropped - estimate the folded view instead of the raw stored history for the context-size gauge after undo and on resume, and for 413 overflow heuristics; fixes spurious auto compaction after every undo - summarize only the current spine epoch (chaining the previous epoch summary) instead of the full append-only history - pause auto compaction with a warning when the compacted shape still exceeds the window; recalibrate on any model window change - share the projected-estimate helper via IAgentContextProjectorService.estimateProjectedTokens Also records the undo/spine/compaction semantics in FormularDefTree/.
1.2 KiB
1.2 KiB
| id | parent | status | version |
|---|---|---|---|
| root | null | active | 0.1.0 |
kimi-code FormularDef Root
Motivation
kimi-code monorepo 的语义事实树。代码是事实来源;本树只记录靠读代码难以 快速重建、且对变更决策有约束力的语义模型(状态机、不变量、Gap)。
Scope
- 只覆盖当前任务相关的子树,不全量形式化整个项目。
- 每个节点是一个自包含的局部 formular(Design/Implementation 对 + Refinement Map)。
Invariants
I1 Evidence first:实现 formular 的每条结论必须有代码证据或显式标记 unknown。
I2 Design 与 Implementation 分离;Gap(D, I) 允许存在且必须显式。
I3 快照规则:实现 formular 只对 tree.yml 记录的快照有效;代码实质变更后
更新快照并把受影响节点标记 needs_catchup。
I4 验证与风险成比例:能用场景/评审说清的,不上形式化工具。
Children
spine_compaction:agent-core-v2 中 spine(实验任务树)与 full compaction (上下文压缩)的交互语义与冲突面。undo_spine_compaction:undo × spine × compaction 三域共享的口径同一性 (caliber identity)不变量及其全部已确认违规——"频繁 compact" 诊断与 undo×spine 复查的权威节点。