01 · 必要主线
计算与技术保证
说明系统能做什么、怎样失败，以及哪些性质能够被测试或形式验证。
边界：技术保证无法自行决定何种风险在社会上可接受。
L1 · 计算机科学
抽象与分层L2 · 数学
概率论L3 · 计算机科学
图遍历：BFS 与 DFSL4 · 计算机科学
形式化方法与程序验证
interdisciplinary research route
AI 治理知识汇流
怎样让 AI 系统既可验证、可问责，又不把成本转嫁给劳动者和弱势群体？
技术可靠性不能替代公共授权，伦理原则也不能替代组织与劳动证据。这条汇流路线把四种判断同时保留。
- 并行路线
- 4
- 涉及学科
- 8
- 策展节点
- 17
- 汇流阶段
- L5
four evidence traditions
四条前置路线
每条路线从直觉、概念和系统解释进入方法层，再共同抵达开放研究问题。角色表示它在综合判断中的责任，而不是学科高低排序。
02 · 必要主线
权利与政治合法性
把隐私、歧视、正当程序和民主授权变成治理约束，而非附加口号。
边界：规范原则若没有执行机构和申诉机制，难以改变实际系统。
L1 · 哲学
苏格拉底L2 · 哲学
生命伦理学L3 · 哲学
政治哲学L4 · 心理学
数字表型、计算方法与研究伦理
03 · 互补视角
平台市场与制度
解释平台权力、市场失灵和监管能力怎样塑造算法的真实使用环境。
边界：制度比较不能直接证明某个模型内部为何产生特定输出。
04 · 争议检验
劳动现场与因果检验
用组织研究和实验或准实验检查效率承诺、控制强化与工人议价变化。
边界：单一企业或平台的发现未必能外推到不同劳动制度。
L5 convergence
AI、算法治理与监控的政治
为一个高风险 AI 场景写出技术约束、权利边界、机构责任与劳动影响四栏治理方案。
evidence ledger
路线证据台账
每条路线公开内部节点出处、外部证据、可支持的主张和仍有争议的边界。审阅状态只说明台账核对情况，不代表结论已经确定。
4 条路线 · 4 个外部来源
01 · 必要主线持续跟踪
计算与技术保证
实施证据 · 复核于 2026-07-12
检验方案在真实组织、资源和执行环境中的可达性。
02 · 必要主线持续跟踪
权利与政治合法性
规范框架 · 复核于 2026-07-12
公开权利、公平和程序原则，不能替代经验效果检验。
03 · 互补视角持续跟踪
平台市场与制度
制度比较 · 复核于 2026-07-12
比较不同历史与制度环境中的机制及可迁移边界。
04 · 争议检验持续跟踪
劳动现场与因果检验
观察数据 · 复核于 2026-07-12
描述分布、趋势与关联；不能单独识别因果。
仍未解决的问题
- 01谁有权定义系统的可接受风险？
- 02模型可解释性何时足以支持法律与组织问责？
- 03自动化收益与转型成本应如何分配？