用途：当两个方案在设计与价值取向上分歧、且单一实验无法完全裁决时，用 Contradiction Lift 让 Claude 与 Codex 独立求解同一问题，从分歧中提取矛盾并寻求“扬弃”（Aufhebung），最终产出选择机制 f(C)→A|B|N，或诚实的不可调和困境（aporia）。明确不追求一致、平均或残差缩小。
主要能力：先把问题固化为 Decision Contract；并行让两个模型独立作答并封存（Solver A = Claude 子代理，Solver B = Codex）；对分歧分类并做 flip-test 标注承重前提；可经验裁决的分歧由 Codex 跑判别性实验；其余走 Preservation Contract 互相 steelman；再匿名构建升维机制；最后用 7 项测试审计（保守、判别、新颖、非空、支配、可证伪、可行）。失败两次则声明 aporia。状态机：contract→sealed→mapped→adjudicated→preserved→lifted→accepted|aporia，另有 no_material_divergence。状态持久化到 tmp/contradiction-lift/<task-id>.md。
使用方式：默认 codex 模式（需 Codex CLI，如 mcp__codex__codex / codex exec）。claude-only 模式为降级版，失去跨模型独立性；无 Task 工具时 Solver A 回退到编排者。编排者只做调度、匿名、路由、持久化，不亲自解题或综合。
适用场景：设计与价值取舍、API 或架构哲学、产品方向、抽象边界等单次实验无法定论的问题；可含经验性子部分。
限制：跨模型仅近似先验独立性，仍可能有相关盲点；同模型一致不算独立确认。其余收费、平台、效果等资料暂未提供。