TT432/dsh-skillzip

README excerpt

dsh-skillzip SkillZip（arXiv:2608.11079）—— 免评估技能压缩 （Evaluation-Free Skill Compression for Self-Evolving Agents by Discovering Reusable Structure）的 dsh 插件。 自进化智能体把成功流程与失败修复不断追加进技能文档，技能会以远超"新程序性知识"的速度膨胀：同一规则在多处重复、同一动作序列被复制、异常层层累积。SkillZip 把技能当作 类型化契约 （接口 / 工作流 / 工具协议 / 作用域规则 / 输出契约 / 证据），用"最短忠实解释"（typed MDL）原则合并共享结构、提升规则作用域、复用重复工作流、编码守卫异常—— 不读取任务、轨迹、奖励或验证器 ，并保证每个被提取的规范性需求都被覆盖（稀有规则不被删除）。 论文要点与本实现对照 论文 本实现 契约 C(S)=⟨I,G,T,C,O,E⟩（Eq.1） lib/core/extract.js 确定性提取 + lib/llm/extract.js LLM 增强 最小描述长度目标（Eq.4）与长度模型（Eq.12） lib/core/optimize.js + lib/core/length.js 等价单元聚类 / 作用域提升 DP（Eq.7/8） clusterEquivalentRules / liftRuleScopes 工作流复用 + 加权集合打包（Eq.9） lib/core/workflow.js （Re-Pair 式挖掘 + 贪心 + pairwise exchange） 公共规则 + 显式异常（Eq.10） encodeExceptions 硬覆盖约束（Def. III.1, Prop. IV.1） assertAllCovered + 每步后覆盖断言 One-shot 压缩（Algorithm 1） lib/core/pipeline.js （scan→extract→optimize→render→audit） Zip-on-Write（Algorithm 2, ABSORB/REFINE/EXTEND/REFACTOR） lib/core/online.js + WAL 事务日志 + repack 策略 结构审计与保守恢复（Appendix B.F） lib/core/audit.js （独立解析 + 最短 span 恢复 + locked） frozen relation checker（Appendix B.C） lib/core/relations.js 确定性 + lib/llm/relations.js LLM 裁决 sidecar schema（Appendix C.A） lib/core/contract.js + valid…

Category