Derived-cell defects in agent-written tables are the errors your fact-checker is structurally blind to: a table states its scoring formula, cites real inputs, and prints an output the formula does not produce. Nothing in the row is fabricated. Each price, count, and score traces to a source. The failure lives entirely in the arithmetic connecting them — and arithmetic is the one thing a source check never touches.
The stakes rise with volume. Teams now ship agent-written pricing tables, comparison matrices, and scored bar charts at a pace no human editor recomputes by hand. Every one of those artifacts carries derived values — totals, percentage deltas, min–max ranges, stated counts — and every derived value is a place where correct inputs can silently combine into a wrong output that reads as authoritative.
This framework defines the defect class, documents three first-party catches from a single day of adversarial QA on our own pipeline, connects the class to thirty years of spreadsheet-error research, explains the model-side and schema-side mechanisms that produce and conceal it, and specifies a four-subtype taxonomy with the recompute gate that catches each one.
- 01The defect class is arithmetic, not facts.A table can state a correct formula and still print cells that violate it — every input real and sourced, only the formula-to-output chain wrong. It is a distinct, narrower failure mode than hallucination.
- 02Fact-checking is structurally blind to it.Source verification checks inputs. All three of our first-party catches passed a first-pass fact-check because every individual number involved was independently real — the defect lived in the arithmetic connecting them.
- 03The precedent is thirty years old.Field audits of human-built operational spreadsheets (1995–2004) found 94% contained at least one error, with an average cell error rate of 5.2%. Agents inherit the defect class, not invent it.
- 04Schema validation guarantees shape, not values.Structured outputs make a model unable to emit tokens that violate the schema — and fully able to emit a schema-valid, arithmetically wrong value. A well-formed table with a self-contradicting formula is schema-valid.
- 05The fix is a recompute gate, not a better model.Before publish, re-derive every cell from its stated inputs: re-run formulas row by row, sum totals, count enumerations, confirm ranges bracket their members. Diff the results — don’t eyeball plausibility.
01 — The Defect ClassReal inputs, wrong outputs: naming the failure mode.
Most coverage of AI content errors talks about hallucination — invented facts, fabricated citations, confident claims with no source behind them. The derived-cell defect is different in a way that matters operationally. In this class, every individual value in the artifact is real and independently verifiable. The plan prices are the vendor’s actual prices. The lab names are actual labs. The raw scores trace to actual measurements. What fails is the derivation: the range that should bracket those prices doesn’t, the count that should match that list doesn’t, the formula that should produce those bars produces different numbers.
That property is precisely what makes the class dangerous. A reviewer who checks each number against its source finds nothing wrong, because each number is right. The wrongness only appears when someone recomputes the relationship between numbers — and recomputation is not a step in any conventional editorial fact-check. Hallucination rates are usually measured on facts, not arithmetic; our review of hallucination-rate benchmarks covers that adjacent, better-studied failure mode, and almost none of it transfers to this one.
02 — First-Party EvidenceThree catches in one day.
This is not a theoretical taxonomy. On 2026-08-23, an internal adversarial QA pass on our own agent-written content caught this exact defect class three separate times in a single day — three different artifacts, three different subtypes, one common signature. We publish the full measured record of that pipeline’s verify-and-fix telemetry in our agentic content pipeline yield ledger; here we use only the three instances, described as a class, with no names attached.
The range its own prices disproved
A stated per-unit price range had both of its bounds disproved by the plan prices listed in the same sentence — the range simply didn’t bracket the numbers sitting next to it. Every price was real; the summary arithmetic wasn’t.
Five labs, a six-item list
A card claimed “same-day weights across five different labs” while the list directly beneath it named six labs. Every lab name was accurate — the count claim was contradicted by the enumeration it summarized.
A formula applied unevenly
A bar chart applied its own stated scoring formula inconsistently row-to-row — some rows recomputed correctly from the stated formula, others did not, with no visible pattern distinguishing which. Every raw score was sourced.
The common signature is the tell: all three instances passed a first-pass fact-check, because every individual number involved — each plan price, each lab name, each raw score — was independently real and sourced. The defect lived entirely in the arithmetic connecting them, not in any single fact. They were caught only when a second, deliberately skeptical pass recomputed derived values from their stated inputs instead of checking inputs against sources.
One dated data point does not make a rate, and we won’t manufacture one. What three same-day catches do establish is that the class is live in a real production pipeline, that it recurs across distinct artifact types (prose ranges, summary cards, bar charts), and that it clusters into recognizable subtypes — which is exactly what a defect taxonomy and a targeted gate need.
03 — The PrecedentThirty years of spreadsheet precedent.
The derived-cell defect did not arrive with language models. It is the signature failure mode of the spreadsheet era, documented by a research literature that AI-content commentary almost never cites. Field audits of operational spreadsheets conducted between 1995 and 2004 — reviewed in a meta-analysis of 13 field-audit studies spanning 43 audited spreadsheets — found an average cell error rate of 5.2%, and that 94% of the audited spreadsheets contained at least one error. Later, larger work found lower but still material rates: a 2007 study by Powell and colleagues across 270,722 formulas measured a 1.79% cell error rate, falling to 0.87% when counting only wrong-result errors, per the Tuck critical review of the spreadsheet-error literature. Laboratory development studies — 14 studies, 967 participants — averaged 3.9%. The human-factors observation cited alongside this work treats a 2–5% error rate in complex cognitive tasks as a rough directional baseline, not a precise benchmark.
Spreadsheet cell error rates — the pre-LLM record of derived-cell defects
Sources: spreadsheet-error meta-analysis (arXiv:1602.02601); Tuck spreadsheet-error literature review. Bars proportional to each rate.The consequences are equally documented. The EuSpRIG horror-stories archive has cataloged real spreadsheet-error incidents since 1995. A Canadian power company took a $24 million loss in 2003 after a cut-and-paste error mispriced a bid. Norway’s sovereign wealth fund disclosed a loss of roughly NKr 980 million (about $92 million) traced to an incorrect date entered into a benchmark calculation — a single bad input propagating through a derived calculation undetected. And the Reinhart–Rogoff austerity-research spreadsheet remains the canonical academic example: independent researchers who obtained the underlying file found coding errors, selective exclusion of available data, and unconventional weighting — an error class that persisted through peer review and years of public citation until someone recomputed the results from the raw inputs. The lesson is precedent, not analogy: derivation errors survive review because the inputs look right.
Field-audit error rate
Across the operational spreadsheets audited in the 1995–2004 field studies, 94% contained at least one error. Errors in derived cells were the norm, not the exception — decades before an agent wrote its first table.
A single derived-value error
A Canadian power company’s 2003 loss from one cut-and-paste bid-pricing error — the widely cited demonstration that a lone derived-value defect can propagate directly into a material financial outcome.
Horror-story archive
EuSpRIG’s public archive of real spreadsheet-error incidents dates back to 1995, with roughly 89 substantial-error news stories cataloged as of a September 2007 count — and the archive is still maintained today.
This is the interpretive point most AI-content commentary misses: the derived-cell defect is the same class human spreadsheet authors have produced for thirty years, now authored by an agent instead of an analyst. The spreadsheet literature also settled what fixes it — audit disciplines that recompute cells from inputs, not reviews that admire the layout. That settled answer transfers to agent-written content almost unchanged.
04 — The MechanismWhy models miss their own math.
Why would a system that can state a formula fail to apply it? The clearest dated evidence comes from Apple’s GSM-Symbolic study (published October 7, 2024), which tested 25 contemporary models of that generation — GPT-4o-class systems, Llama3, Phi-3, o1-preview among them — on symbolic variants of GSM8K math word problems. The results, per the paper: 21 of the 25 models tested scored below the right tail of their own GSM8K performance distribution when given symbolically varied versions of the same problem template, and Phi-3-mini suffered up to a 65% performance drop when irrelevant-but-plausible clauses were added to otherwise unchanged problems. Performance was not stable across superficially equivalent restatements of the same arithmetic.
"The reasoning process in LLMs is probabilistic pattern-matching rather than formal reasoning."— Iman Mirzadeh et al., GSM-Symbolic, October 2024
Two cautions bound that evidence. First, those percentages belong to 2024-era models and should not be projected onto current systems: no dated, citable benchmark of 2026-era frontier models on multi-step arithmetic-in-tables tasks surfaced in our research for this piece, so every current-model claim here stays qualitative. What can be said qualitatively is that current frontier models still generate plausible-looking but unverified arithmetic by default — generation predicts tokens; it does not execute formulas. Second, the mechanism the GSM-Symbolic authors described — pattern-matching that is highly sensitive and fragile to input changes, deteriorating as problem clauses accumulate — maps directly onto table generation. GSM8K problems chain roughly 2–8 arithmetic steps; a scored table chains the same formula-to-intermediate-to-cell structure across every row. A more recent diagnostic line of work (arXiv:2605.00817) narrows the question further to arithmetic procedural execution — whether a model faithfully carries out an explicitly specified step-by-step procedure — which is the agent-relevant framing: Instance C above is precisely a procedural-execution failure, applied unevenly across rows.
05 — The False ComfortSchema-valid, still wrong.
The most common rebuttal — “we use structured outputs, our tables are validated” — is the second half of the mechanism. Anthropic’s native Structured Outputs feature (constrained decoding via an output_format JSON-schema parameter) launched in public beta on November 14, 2025 and reached general availability for the Claude 4.5-generation models. Anthropic’s own framing is exact: the model literally cannot emit tokens that violate the schema — and it can still emit a perfectly schema-valid, arithmetically wrong value. A well-formed table whose cells contradict their own stated formula is schema-valid by construction.
Independent practitioner analysis converges on the same framing: structured outputs are a transport guarantee, not a correctness guarantee. The distinction holds across hosting surfaces — Amazon Bedrock’s equivalent Structured Outputs support for Claude 4.5 models reached general availability on February 4, 2026 with the same shape-not-values contract — so this is a property of constrained decoding itself, not one vendor’s caveat.
06 — The TaxonomyFour subtypes, four gates.
Naming subtypes matters because each one has a distinct, cheap, mechanical check. Three of the four below come directly from our 2026-08-23 first-party catches; the fourth — a total that does not equal the sum of its rows — is the classic finding of the spreadsheet-audit literature, included as the predictable fourth variant of the same class. Together they define what a recompute gate actually executes.
| Subtype | What it looks like | Why a fact-check misses it | The gate that catches it |
|---|---|---|---|
| Observed first-party · adversarial pass, 2026-08-23 | |||
| Range-bounds contradiction | A stated min–max range disproved by the individual values listed beside it — the range fails to bracket its own members. | Each listed value verifies against its source; the range is a derived summary no source ever stated. | Recompute both bounds from the cited inputs; confirm the range brackets every listed value. |
| Count-vs-enumeration mismatch | A stated count (“five labs”) contradicted by the list it summarizes (six names beneath it). | Every enumerated item is individually accurate; nobody’s checklist says to count them. | Count the enumerated items; diff against every stated count that references the list. |
| Inconsistent formula application | The same stated formula computed differently row-to-row — some rows reconcile, others silently don’t. | Spot-checking one or two rows passes; the defect hides in the rows nobody recomputed. | Re-run the stated formula against every row; diff computed vs printed values, zero tolerance. |
| Predicted from the spreadsheet-audit literature | |||
| Total ≠ sum of rows | A stated total, average, or percentage base that the row values do not add up to. | Totals read as the most authoritative cell on the page and get the least scrutiny. | Sum the rows; diff against the stated total. Repeat for every aggregate the artifact prints. |
Note what unifies the four gates: none of them consults a source, and none of them requires judgment. Each is a deterministic computation over values already present in the artifact. That is what makes the class fully automatable to catch — and what makes shipping it inexcusable once you have named it.
07 — The PatternThe recompute gate, end to end.
The full pattern operates at two points in the pipeline. At generation time, derived numbers should be computed, not generated: route arithmetic through an execution tool so the model plans while an interpreter calculates. Anthropic’s code execution tool runs Python or Bash in a sandboxed container within a single API conversation, explicitly for tasks like performing complex calculations and analyzing data sets — a division of labor where the model interprets and the sandbox executes. The broader function-calling literature converges on the same principle: calling a calculator tool with operands, rather than generating the result as free text, separates language understanding from precise computation.
At publish time, the gate assumes generation failed anyway. A separate verification pass — ideally a different agent with a deliberately skeptical brief — executes the four checks from the taxonomy against every table, card, and chart: re-run each stated formula against each row, sum every total, count every enumeration, confirm every range brackets its members. The output is a diff, not an impression. This is the same audit discipline we apply when agents audit a costing engine, where derived-cell defects hit hardest financially, and it is the pattern we install in client pipelines through our AI transformation engagements and operate daily inside our own content engine.
Compute, don’t generate
Route every derived number through a code-execution or calculator tool so arithmetic is executed by an interpreter, not predicted token by token. Reduces defect creation at the source; does not eliminate it.
The recompute pass
A separate skeptical pass re-derives every cell from its stated inputs — formulas re-run row by row, totals summed, enumerations counted, ranges bracket-checked. Deterministic, automatable, and the only gate aimed at this exact class.
Structured outputs
Constrained decoding guarantees the shape of the table, never the values in it — and can convert visible failures into invisible schema-valid wrong values. Keep it for parsing reliability only.
Plausibility reading
Human editors verify sources, tone, and judgment calls — and plausible-looking arithmetic sails straight past them, as thirty years of spreadsheet audits demonstrate. Route mechanical recomputation to machines.
Looking forward, the trend line is not subtle. Agent-written artifacts with derived values are compounding across every content, pricing, and reporting surface, while the defect class scales with volume rather than with model quality — a structural property of generation, as Section 04 argues, not a bug any single release patches away. Our projection: within a few years, a recompute gate will sit in content pipelines the way CI sits in code pipelines — an unremarkable, mandatory check that nobody ships without — and the teams who adopt it early will be the ones whose published numbers survive the audits their competitors fail. The spreadsheet era needed a decade and a horror-story archive to institutionalize auditing; agent pipelines can skip straight to the discipline.
08 — ConclusionPlausibility is not verification.
Recompute every derived cell from its stated inputs before publish.
The derived-cell defect class is real, current, and structurally invisible to conventional fact-checking: our own adversarial pass caught it three times in one day, in three different forms, in artifacts whose every input was true. The thirty-year spreadsheet-error literature says this is exactly what derivation errors do — survive review because the inputs look right — and says what fixes them.
The mechanism is now well understood at both ends. Generation is pattern-matching, not formal reasoning, per the dated 2024-era evidence, and there is no dated benchmark that lets anyone claim current models have retired the class. Schema validation guarantees shape, not values, and can quietly convert loud failures into well-formed wrong numbers. Neither a better model nor a stricter schema is the fix.
The fix is a gate: compute derived numbers with tools at generation time, then re-derive every cell from its stated inputs before publish — formulas re-run per row, totals summed, enumerations counted, ranges bracket-checked, results diffed. It is deterministic, cheap, and fully automatable. Treat every plausible-looking number as unverified until it has been recomputed, and this entire class stops reaching your readers.