Map

Constraint Decay: LLM Agents in Backend Code Generation

Wiki summaryai-codingagentsbenchmarksbackend โ†ณ show in map Markdown
title
Constraint Decay: LLM Agents in Backend Code Generation
type
summary
summary
A benchmark showing coding agents lose ~30 assertion-pass points as production structural constraints accumulate
tags
ai-coding, agents, benchmarks, backend
created
2026-07-21
updated
2026-07-21

A May 2026 arXiv preprint by Francesco Dente, Dario Satriani, and Paolo Papotti (Papotti is reportedly at EURECOM; the abstract page states no affiliation) measures a failure mode the authors name constraint-decay: LLM coding agents perform well when a task is loosely specified and degrade sharply as the structural constraints of real production code โ€” architectural patterns, databases, object-relational mappings โ€” accumulate.

The benchmark is 100 tasks: 80 greenfield builds and 20 feature implementations, spanning eight web frameworks. Each task is run from a loosely specified baseline through fully specified versions that layer on production structure, and the metric is assertion pass rate. The headline number is a drop of about 30 points from baseline to fully specified, with the weakest configurations falling near zero. Jointly satisfying the functional requirements (what the code does) and the structural ones (how it must be built) is, in their phrasing, unresolved for coding agents.

Two findings sharpen the picture. Framework sensitivity: agents do much better on minimal frameworks like Flask than on convention-heavy ones like FastAPI and Django, where more of the correct answer is dictated by conventions the agent has to honor rather than invent. And a dominant root cause: data-layer defects โ€” incorrect query composition and ORM runtime violations โ€” are the leading failure category. Not routing, not serialization; the database layer is where agents drift furthest from what the task actually requires.

This is a concrete, measured instance of the broader argument in no-silver-bullet-llms that LLM output falls off as you leave the well-documented median โ€” here the "median" being a bare framework with no imposed structure. It also matches the operator-side report in local-ai-is-not-opus, where a local model handled bounded reads fine but broke on long-horizon, convention-bound work. The practical takeaway lands on reviewing-ai-code: the structural constraints are exactly what a human reviewer must verify, since they are where the agent silently fails.

Cross-references