Cortex: A Fixed-Point Theory of Governed Coding Agents - Technical Report
We study Cortex, a supervisory layer for pre-execution governance, requirement tracking, and iterative validation and repair.
ProofPaper ↗
Key points
- A coding agent combines a large language model (LLM) with a harness that plans, edits, and executes code.
- We formalize requirement closure on a finite lattice.
- A separate stochastic model bounds expected completion time under a uniform positive-progress assumption.
- We define Gauntlet's trajectory-similarity and build-gated scores, attack-success estimators, Wilson intervals, and case-cluster bootstrap summaries.
Sources (1)
- [1]Cortex: A Fixed-Point Theory of Governed Coding Agents - Technical ReportarXiv (AI, ML, NLP, CV, robotics, multi-agent) · Oct 16, 09:28 PM
We study Cortex, a supervisory layer for pre-execution governance, requirement tracking, and iterative validation and repair.
A coding agent combines a large language model (LLM) with a harness that plans, edits, and executes code.
Extractive summary: sentences quoted from the sources.
Before this
- Oct 16, 2026Pronouncing Hard Words: Phoneme Adaptation of a Pretrained Conversational Text to Speech Model
- Oct 16, 2026sparqlite: SPARQL 1.1 inside SQLite, written in Rust
- Oct 16, 2026OR-License: Evaluating LLM Agents as Real-World Operations Research Practitioners
- Oct 15, 2026ISW-Agent: Integrating LLM-Driven Dialogue with n8n Workflow for Internal Solitary Wave Remote Sensing Image Processing
- Oct 15, 2026PriorityFEC: Deadline-Aware Streaming FEC for KV-Cache Handoff in Edge Multi-Agent Systems
- Oct 15, 2026JevAgentHarness: Benchmarking, Deploying and Training Decision Models That Share Control with LLMs