arXiv Artificial Intelligence· Marius-Constantin Dinu, Florian Zeba·2026-10-20 12:00· 2 小时前AI 评分31

Cortex：受治理编码智能体的不动点理论技术报告

Cortex: A Fixed-Point Theory of Governed Coding Agents - Technical Report

AI 导读

Cortex 是面向编码智能体的监督层，用于执行前治理、需求追踪与迭代验证修复，其需求闭包在有限格上形式化：固定需求集下，穷尽迭代达到最小不动点，严格递增次数不超过需求数量。