How do we safely grant autonomy to commodity intelligence?

Model-Based Agentic Software Engineering

Model-Based Agentic Software Engineering (MAGE) is an approach to software engineering for environments in which AI agents perform substantial implementation work. It asks what engineering knowledge should be made explicit, which obligations should have authority over autonomous work, and how recurring failures and judgment can be converted into durable engineering structure.

MAGE has two principles and a conversion loop: Modeling makes consequential knowledge and intent explicit; Alignment gives important engineering obligations authority; governance conversion turns recurring failures and judgment into structure that future work can inherit.

MAGE in One Page

MAGE begins with an old software-engineering problem and a new economic condition. Large systems exceed the reasoning horizon of any one reasoner; commodity intelligence makes implementation cheap and abundant relative to engineering judgment. The result is a new imbalance—and an opportunity to move recurring engineering work into durable structure.

The six claims below walk through the figure and summarize the argument.

The MAGE method — scale creates the enduring reasoning problem; commodity intelligence changes its economics; Modeling and Alignment turn engineering effort into capital rather than churn. A single centre spine reads top to bottom: Scale and Finite reasoning combined in one node, a New engineering imbalance, the Modeling Principle, the Alignment Principle, the Governed Engineering Environment, and Engineering Capital. Scale is the enduring source of a finite reasoning horizon: large systems exceed any one reasoner, so relevant state must be abstracted or reconstructed, which makes judgment scarce at scale. Commodity intelligence enters laterally at the New Engineering Imbalance, making implementation abundant while judgment, representation, evidence, and authority stay scarce; it changes the economics of the imbalance but does not cause the reasoning horizon. The Modeling Principle answers the imbalance by making consequential knowledge and intent explicit at useful scales, which expands the semantic surface that governance can act on and reaches the Alignment Principle, where obligations are given authority through constraints, sensors, validators, and gates. Passing through Alignment the spine enters the Governed Engineering Environment — the synthesis of both principles — and effort compounds as Engineering Capital when future value exceeds its carrying cost. A single subordinate governance-conversion loop feeds recurring failures and judgment back to adapt the models and controls, strengthening the environment. Two dashed failure paths lead to Engineering Churn: weak representation is repaid as reconstruction, weak authority as repeated adjudication. A light dotted long-range rail marks capital reopening the reasoning problem as scope grows. ↻ greater scope reopens the reasoning problem Scale × finite reasoning large systems exceed any one reasoner; relevant state must be abstracted or reconstructed makes judgment scarce at scale New engineering imbalance implementation abundant while judgment · representation · evidence · authority stay scarce Modeling Principle make consequential knowledge + intent explicit at useful scales makes more of the system governable Alignment Principle give obligations authority constraints · sensors · validators · gates Governed Engineering Environment where Modeling and Alignment work together when future value exceeds upkeep Engineering Capital effort compounds over time can depreciate · maintain or retire Commodity intelligence implementation cheap and abundant relative to judgment changes the economics Governance conversion recurring failures + judgment adapt the models + controls Engineering Churn the same work gets paid for again weak representation → reconstruction weak authority → repeated adjudication

Claim 1

Commodity intelligence changes the economics of software engineering.

Implementation capacity is becoming abundant relative to engineering judgment. As implementation gets cheaper, the scarce work increasingly lies elsewhere: deciding what to build, representing the system clearly enough to reason about it, producing evidence, and turning requirements into mechanisms the engineering environment can act on.

MAGE calls this increasingly cheap and scalable general-purpose machine capability commodity intelligence. The term describes an economic change, not a claim that intelligence is free, unlimited, or sufficient for engineering.

In the figure: Commodity intelligence → New engineering imbalance

Claim 2

Scale creates a reasoning problem.

The underlying problem is older than AI. Large software systems already exceed the reasoning horizon of individual humans; agents inherit the same problem. Software engineering has always answered scale with abstraction.

Commodity intelligence does not eliminate that need. It makes the representations that guide engineering work more important: without them, consequential knowledge must repeatedly be reconstructed from lower-level artifacts.

In the figure: Scale × finite reasoning → New engineering imbalance

Claim 3

Modeling makes engineering knowledge and intent explicit.

The Modeling Principle is to make engineering knowledge and intent explicit in purposeful models that preserve what an engineering question needs and leave out what it does not.

Models let humans and agents reason about larger properties without repeatedly reconstructing them from code. They also preserve degrees of freedom: making consequential knowledge explicit does not require specifying implementation choices that engineering has reason to leave open.

In the figure: Modeling — the green region

Explore Modeling →

Claim 4

Alignment gives engineering obligations authority.

The Alignment Principle is to give important engineering obligations authority over autonomous work. Constraints restrict what may happen; sensors produce evidence; validators evaluate that evidence; gates decide what may advance.

Alignment can act directly on actions and artifacts—a sandbox, test, or permission boundary can enforce a local rule without a comprehensive model of the system. Explicit models extend what the environment can govern by making richer properties available to reasoning and checking.

In the figure: Alignment — the orange region → the Governed Engineering Environment

Explore Alignment →

Claim 5

Governance conversion turns recurring judgment into durable engineering structure.

Autonomous work exposes missing knowledge, weak abstractions, and obligations that the environment cannot yet enforce. Fixing the immediate failure is necessary, but it does not prevent the same engineering work from being paid for again.

Governance conversion asks what future work should inherit from the lesson. Encode that knowledge or judgment in a model, packaged procedure, constraint, sensor, validator, gate, or other durable structure. When later work continues to benefit from that structure, it becomes engineering capital.

In the figure: the left-hand conversion loop; Engineering Capital vs. Engineering Churn

Explore the MAGE method →

Claim 6

Engineering work shifts toward higher levels of abstraction.

As implementation capacity becomes cheaper, engineers increasingly work on the models, evidence, policies, mechanisms, and environments through which implementation can safely be delegated.

Implementation remains engineering work, but it is no longer necessarily the center of the engineer's role. MAGE therefore treats the Governed Engineering Environment itself as an important object of engineering.

In the figure: the whole figure

Model what matters. Give obligations authority. Do the governed work. Convert what you learn into structure the next task inherits.

Resources

MAGE is available as a book, a body of writing, a curriculum, and a series of talks.

Writings

Papers and shorter articles developing, motivating, and evaluating MAGE.

Talks

Slides and supporting materials from presentations about MAGE.

Using MAGE

MAGE is a method rather than a prescribed toolchain. The site provides practical resources for applying its ideas to an existing engineering environment.

QuickStart

Install the MAGE skills and begin identifying recurring reconstruction, judgment, and governance gaps in an existing repository.

The Method

Work through the practical cycle: model consequential knowledge, give obligations authority, do the governed work, and convert recurring failures.

Mechanism Catalogue

Browse concrete models, constraints, sensors, validators, gates, and compositions that can be adapted to different engineering systems.

Evidence

MAGE began with one production system observed in longitudinal depth and was then compared with independently described industrial systems. The originating case provides evidence about mechanism and sequence; the industrial cases provide variation and alternative realizations. These sources motivate and test the theory, but they do not establish universal laws.

DocAble — depth

The originating production system. Its development provides the longitudinal record from which the early MAGE concepts emerged.

Industrial cases — breadth

Independent accounts from Cloudflare, Docker, Shopify, Spotify, Siemens, and Zenseact, reconstructed through the MAGE vocabulary to examine recurring moves, variation, and limits.

Research

MAGE is also a research program. Its claims raise empirical and technical questions about what engineering knowledge should be externalized, which obligations can be made authoritative, how governed environments evolve, and where human judgment remains necessary.

Read the theory → Explore the research agenda →