Odyssey：构建可验证的局部真值保持基础模型

我们介绍名为ODYSSEY的范畴论框架——用于构建可验证、局部真值保持的基础模型——作为锻造厂（foundries）的组合：指定局部上下文覆盖、局部表示族、限制映射、粘合规则、障碍策略、更新义务与面向人类视图的积木式架构组件。锻造厂是携带论证组件的有组织知识层（sheaf）。具体锻造厂由通用锻造厂构建——如证据/论证、操作决策、机构/金融、市场含义、科学挑战、研究计划、助手构建与评估测试框架锻造厂。通用锻造厂学习（UFL）把锻造厂构建形式化为左右Kan扩张的组合——左Kan扩张把局部工件卷成候选锻造厂——右Kan扩张强制晋升所需的限制、粘合、障碍与论证条件。锻造厂SQL（FSQL）是用于切片维护中锻造厂工件的小型带类型查询面——使用TICKET（经因果Kan扩张transformer的topos集成）认证把外部或预构建模型准入持久ODYSSEY状态。ODYSSEY已全实现并跨广泛具体锻造厂测试——表明同一范畴机制支撑域构建、工件重放、层诊断、锚定Toulmin/本地LLM审查、残余障碍账本——以及跨异构来源的优化TICKET兼容因果声明抽取。本文将在ICML 2026作为2.5小时教程报告。