When a document base outgrows every context window, the standard remedy is to summarise it once and answer from the summaries. This ablation measures what that single pass costs against a hidden answer key — and finds that one sentence added to the summariser's instruction moves accuracy further than the entire spread between grounding architectures measured on the same corpus in the companion study.
Abstract
When a document base exceeds any available context window, the standard remedy is to compress it — summarise each document once, then answer every question from the summaries. The cost profile is attractive and the risk is rarely quantified: a summary is a lossy encoding chosen without knowing the question. This study measures what a single compression pass destroys, on a twelve-document corpus (~11.5k tokens) of software requirements that are repeatedly amended, reversed and rejected, and for which a hidden answer key exists. Two summarisation styles — question-agnostic and decision-preserving — were run on two models of different capability over twenty questions in three repetitions: 240 answers plus 48 one-off summarisation calls.
Compression to 30–34% of the original text preserved almost every fact on which a reference answer depends, and a decision-preserving summary matched whole-corpus context exactly on the stronger model — 20/20 correct, at 29% of the prompt tokens. One sentence of instruction to the summariser moved accuracy from 15/20 to 20/20, a larger movement than the entire spread between grounding architectures measured on the same corpus in a companion study. Two results run against expectation. Compression inverts the difficulty ordering of the question set: simple verbatim facts, answered correctly by every architecture in the companion study, collapse to 1/3 in three of four summary arms, while supersession — the corpus's designed difficulty — holds at 7/7 under the decision-preserving style. And the degradation is entirely into refusal: zero stale and zero invented answers across 80 graded answers, on a corpus purpose-built to elicit both. A generic summary was found to drop an integration's name and its numeric threshold while faithfully preserving the narrative of what the meeting decided.
Keywords: summarisation, context compression, retrieval-augmented generation, information loss, benchmark design, evaluation methodology.
1. Introduction
1.1 Problem
Hierarchical map-reduce summarisation is what remains when a corpus fits neither a context window nor a fixed retrieval budget. Its economics are appealing: pay once per document, then serve every question from a fraction of the tokens. Its risk is obvious in the abstract and seldom measured in practice, because measuring it requires a corpus whose correct answers are known independently of the compressed text.
That is the condition this study creates. The corpus was built so that answers are values changed two or three times and roles abolished and then reinstated in a narrowed scope — precisely the material a summariser flattens into "session parameters were settled" and "the role model was refined". Because a hidden answer key exists, loss is visible against a reference rather than merely suspected.
The study deliberately does not treat summarisation as an architecture candidate. On a corpus occupying 6% of the context window, compressing what already fits can only lose; a defeat under those conditions would say nothing about the regime where summarisation is actually deployed. It is run here as an ablation, to establish what one compression level costs before anyone reasons about several.
1.2 Research questions
- RQ1. Does one summarisation pass preserve the facts on which the reference answers depend?
- RQ2. Does fact retention in the summary predict answer accuracy, or do the two diverge?
- RQ3. How much of any loss is attributable to the summariser's instruction rather than to compression itself?
- RQ4. When compression loses a fact, does the model refuse or fabricate?
1.3 Design assumptions
| # | Assumption | Rationale |
|---|---|---|
| S1 | Corpus, question set, reference answers and grading protocol are held identical to a companion study of retrieval, full context and agentic search on the same material. | The point is to add one variable, not to build a second benchmark. |
| S2 | The summariser is the same model that answers. | A self-contained pipeline in which each model reads back its own compression. A cheap summariser feeding a stronger answerer is a different design and is not tested. |
| S3 | Summaries are built once per corpus, style and model, and cached. | Re-summarising per call would fold summariser variance into the measurement of answer variance, and the two would be inseparable. |
| S4 | One compression level, per document, no hierarchy. | Hierarchical summarisation compounds loss across levels; measuring one level is the prerequisite, not a substitute. |
| S5 | Two styles differing only in the summariser's instruction. | Isolates prompting from compression as the source of loss. |
| S6 | Results are kept separate from the companion study's and never pooled. | The arm is not comparable call-for-call with arms that read the source text. |
2. Materials and methods
2.1 Corpus and questions
Twelve documents — one baseline requirements specification and eleven sets of steering-committee minutes spanning five months — totalling 11,537 tokens. The consolidated final state of the requirements appears in no single document and must be derived from the chronology.
Twenty questions in five categories, each with a reference answer:
| Cat. | n | Definition |
|---|---|---|
| A | 3 | Simple fact, stated verbatim in one document |
| B | 3 | Paraphrase sharing no vocabulary with its source |
| C | 4 | Aggregation across many documents: counting, listing, "which are still in force" |
| D | 7 | Supersession: the correct answer contradicts the most prominent source |
| E | 3 | Negative trap: the question presupposes something that was rejected |
2.2 Summarisation styles
| Style | Instruction to the summariser |
|---|---|
| Generic | "Summarise the following project document for a colleague who has not read it. Cover what the document is about and what it establishes. Aim for about 150 words." |
| Decision-preserving | "…preserving every decision it records: each value, threshold, name, role and date, including values that the document states were changed, withdrawn or rejected, and the date the document itself carries. Do not generalise a specific value into a description of its topic. Aim for about 150 words." |
The generic style is the realistic condition — a pipeline summarises before anyone has asked anything. The decision-preserving style is the upper bound available from prompting alone.
2.3 Arms
Each arm supplies the twelve summaries of one style, concatenated, as the entire context. The answering system prompt is the one used for whole-corpus context in the companion study, unchanged. Reference points are taken from that study rather than re-run.
2.4 Metrics
Correctness, staleness, invention, prompt and completion tokens and latency, as in the companion study, plus one metric introduced here:
Fact retention. For each of ten facts on which a reference answer depends, whether the fact appears in the summary text at all. Computed on the summaries, before any question is asked, and therefore independent of the answering model's behaviour. It is the earliest available warning that a compression pipeline has broken, and it costs nothing.
Retrieval recall is undefined for these arms: every document is present in compressed form, so coverage is 1.00 by construction and the quantity of interest is fidelity rather than coverage.
2.5 Validity safeguards
- Context probe before each run: a canary token planted at the top of the context and echoed back, to rule out silent truncation.
- Provider caching disabled, verified per call.
- Summary caching, so that all three repetitions of a question read a byte-identical context.
- Output budget headroom of 2,000 tokens, after an earlier study on this corpus established that a low ceiling starves the reasoning budget and produces empty answers on the hardest items.
- A false-negative check on fact retention. The first pass reported two facts as lost that were present under different wording — a parenthetical inside a phrase defeated the pattern. Every reported loss was confirmed by reading the summary before being counted.
- Determinism check. No question-arm pair produced a byte-identical answer across all three repetitions in any arm, confirming real sampling variance rather than a cache.
2.6 Grading protocol
One row per question and arm — the first repetition — graded against the reference answer and the source documents, scoring correctness, staleness and invention independently. Eighty graded answers.
3. Overview of runs
| Style | Model | Questions × repetitions | Answer calls | Summarisation calls |
|---|---|---|---|---|
| Generic | Stronger | 20 × 3 | 60 | 12 |
| Generic | Smaller | 20 × 3 | 60 | 12 |
| Decision-preserving | Stronger | 20 × 3 | 60 | 12 |
| Decision-preserving | Smaller | 20 × 3 | 60 | 12 |
288 calls in total, no errors, no empty answers.
4. Results
4.1 Compression achieved and build cost
| Style / model | Summary characters | vs original | Context tokens | vs full context | Build cost (prompt + completion) | Build time |
|---|---|---|---|---|---|---|
| Generic / stronger | 13,766 | 32% | 3,156 | 27% | 18,260 + 4,834 | 79 s |
| Decision-preserving / stronger | 14,779 | 34% | 4,582 | 39% | 18,800 + 6,975 | 138 s |
| Generic / smaller | 12,830 | 30% | 2,917 | 25% | 13,391 + 3,031 | 42 s |
| Decision-preserving / smaller | 14,159 | 33% | 3,932 | 33% | 13,787 + 4,206 | 48 s |
The build is a one-off cost of twelve calls, amortised over every question thereafter.
4.2 Fact retention, measured on the summaries
Ten facts on which reference answers depend, checked in the summary text before any question was asked:
| Fact | Generic / stronger | Decision-pres. / stronger | Generic / smaller | Decision-pres. / smaller |
|---|---|---|---|---|
| Amended deployment region | kept | kept | kept | kept |
| Session length, amended twice | kept | kept | kept | kept |
| Second authentication factor, replaced | kept | kept | kept | kept |
| Auditor role, abolished then reinstated | kept | kept | kept | kept |
| Retention role, created then removed | kept | kept | kept | kept |
| Permanent deletion, restricted to one role | kept | kept | kept | kept |
| Rejected interface feature | kept | kept | kept | kept |
| Rejected third-party integration | kept | kept | kept | kept |
| Primary key field name | kept | kept | lost | kept |
| Directory-group naming convention | lost | kept | kept | kept |
One decisive fact lost per model under the generic style; none under the decision-preserving style. On this measure, loss is a prompting problem rather than an inherent cost of compression.
Identifiers fare worse than decisions. The same check over the names and numbers by which a reader would query the corpus:
| Token | Generic / stronger | Generic / smaller | Decision-preserving (both) |
|---|---|---|---|
| Integration vendor name | absent | absent | present |
| Latency threshold ("800 ms") | absent | present | present |
| Integration identifier ("INT-04") | absent | absent | present |
| Metric name ("p95") | present | absent | present |
| Peak case volume ("14,200") | present | present | present |
A generic summary retains the narrative of what a meeting decided and discards the name of the thing the decision was about.
4.3 Accuracy
| Arm | A (3) | B (3) | C (4) | D (7) | E (3) | Total | stale / invented |
|---|---|---|---|---|---|---|---|
| Decision-preserving / stronger | 3/3 | 3/3 | 4/4 | 7/7 | 3/3 | 20/20 | 0 / 0 |
| Generic / stronger | 1/3 | 3/3 | 2/4 | 6/7 | 3/3 | 15/20 | 0 / 0 |
| Decision-preserving / smaller | 1/3 | 3/3 | 1/4 | 7/7 | 3/3 | 15/20 | 0 / 0 |
| Generic / smaller | 1/3 | 3/3 | 1/4 | 5/7 | 3/3 | 13/20 | 0 / 0 |
| Companion study: full context / stronger | 3/3 | 3/3 | 4/4 | 7/7 | 3/3 | 20/20 | 0 / 0 |
| Companion study: retrieval k=5 / stronger | 3/3 | 2/3 | 2/4 | 7/7 | 3/3 | 17/20 | 0 / 0 |
| Companion study: full context / smaller | 2/3 | 3/3 | 4/4 | 7/7 | 3/3 | 19/20 | 0 / 0 |
4.4 Failure modes
All seventeen graded failures are refusals or defensible partials. Three trace the causal chain from a missing fact to an answer.
- Fact lost, model refuses. The stronger model's generic summary dropped the naming convention; all three repetitions answer that the documents do not specify one, noting only that creating the groups was assigned as a follow-up action. Correct behaviour on incorrect input.
- Fact lost, precision lost, truth kept. The smaller model's generic summary dropped the primary key's field name; the answer describes it as a universally unique identifier assigned by the upstream data hub — the right concept without the identifier the reference names.
- Name lost, question becomes unanswerable. The stronger model's generic summary contains neither the vendor name nor the threshold; the answer states that no system by that name is mentioned. The threshold survives in the corpus and is unreachable through the compression.
4.5 Cost and latency
| Arm | Context tok | Prompt tok | Completion tok | Median | p95 |
|---|---|---|---|---|---|
| Generic / stronger | 3,156 | 5,267 | 134 | 4,363 ms | 13,551 ms |
| Decision-preserving / stronger | 4,582 | 7,363 | 141 | 5,077 ms | 19,294 ms |
| Generic / smaller | 2,917 | 3,358 | 78 | 1,813 ms | 2,873 ms |
| Decision-preserving / smaller | 3,932 | 4,533 | 102 | 2,289 ms | 3,691 ms |
| Companion study: full context / stronger | 11,743 | 18,081 | 123 | 2,904 ms | 6,080 ms |
| Companion study: full context / smaller | 11,743 | 13,226 | 115 | 2,359 ms | 3,507 ms |
Summarisation costs 29–41% of full context's prompt tokens and is slower than full context despite the shorter prompt. The most plausible reading is that a dense, compressed context requires more reasoning per answer than a verbose one, the model having less redundancy to work with; this study cannot separate that explanation from ordinary variance, given a p95 of 19 s against a 5 s median.
5. Synthesis
| Finding | Evidence | Confidence |
|---|---|---|
| A decision-preserving summary matches full context on the stronger model, at 29% of the prompt tokens | 20/20 against 20/20; 4,582 against 11,743 context tokens | High for this corpus |
| The summariser's instruction moves accuracy further than the choice of architecture | 15/20 → 20/20 on one sentence, against a 17 → 20 spread between retrieval and full context in the companion study | High |
| Compression inverts the difficulty ordering of the question set | Simple facts 3/3 → 1/3 in three of four arms while supersession holds 7/7 under the decision-preserving style | High |
| Compression discards identifiers before decisions | Vendor name, integration identifier and threshold absent from generic summaries whose narrative of the same meeting is intact | High |
| Loss degrades into refusal, not fabrication | 0 stale, 0 invented in 80 graded answers; all failures are refusals or partials | High for these models |
| Fact retention predicts the failure but not its severity | Two facts lost, three questions failed on the stronger model; the extra failures involve identifiers outside the ten-fact list | Moderate |
| The weaker model cannot carry summarisation | 15/20 at best against its own 19/20 with full context | Moderate |
6. Selection criteria
Summarise-then-answer is worth considering when the corpus cannot fit the window, query volume is high enough to amortise the build, and questions concern what was decided rather than named entities and numeric thresholds.
It should be avoided, or paired with retrieval, when questions cite identifiers — product names, system identifiers, thresholds — because those are what compression discards first. A hybrid in which summaries provide orientation and a retrieval pass supplies verbatim detail follows directly from the retention results and was not tested here.
Whichever is chosen, the compression prompt is a first-class design decision. It moved five answers out of twenty on the stronger model. It should be version-controlled, reviewed and regression-tested like any other component, and it must name the entity classes that will later be queried.
Instrument fact retention. Checking whether a set of known-critical strings survives compression is automatic, requires no grader and no answering calls, and would have predicted every failure in this study. In a production pipeline it is the cheapest available canary.
7. Limitations
- One compression level. Hierarchical summarisation compounds loss across levels; this measures the first level only, and the result should not be extrapolated to a pipeline that summarises summaries.
- Summariser and answerer are the same model. The common production shape — a cheap summariser feeding a stronger answerer — is untested and, on this evidence, would inherit the weaker model's retention rather than the stronger model's reading.
- Ten hand-chosen facts. The retention metric covers the facts the reference answers depend on; it is not a general measure of fidelity, and the accuracy results show failures beyond its coverage.
- Twenty questions, one graded repetition per question and arm. The five-answer gaps are outside plausible noise; the two-answer gap between the smaller model's styles is not.
- Summaries built once. Real pipelines re-summarise as documents change; drift across rebuilds is not measured.
- One synthetic corpus, one domain, English only, and a corpus that comfortably fits the window — the regime this ablation exists to inform is the one it cannot directly test.
8. Extensions
- A hybrid arm: summaries for orientation plus a retrieval pass for verbatim detail. The two failure profiles are complementary, which is the strongest available argument that the combination beats either alone.
- Cheap summariser, strong answerer — the production shape — to establish whether retention is a property of the summariser alone.
- Hierarchical summarisation on a corpus that genuinely exceeds the window, measuring retention level by level: the regime this study exists to inform.
- Retention as a continuous metric over an automatically extracted set of entities and numerals rather than ten hand-chosen facts, so that it can run unsupervised in a pipeline.
- A compression-ratio sweep. Everything here sits at ~30% of the original; the curve between 10% and 60% is where an operating point would be chosen.
9. Conclusions
- Compression was survivable, and cheaper than expected. A decision-preserving summary at 34% of the original text matched whole-corpus context exactly on the stronger model, for 29% of the prompt tokens.
- The summarisation prompt is the pipeline's principal design decision. One sentence of instruction moved five answers out of twenty — more than the entire architectural spread measured on the same corpus — and it is the parameter that comparisons of retrieval against full context never vary.
- Compression destroys identifiers before it destroys decisions. The narrative of what a meeting resolved survives; the name of the system and its threshold do not. Question sets testing only "what was decided" will not detect this.
- Difficulty is a property of the pipeline, not of the question. The category every architecture found trivial is the one summarisation fails, and the category the corpus was built to make hard is the one it handles. A benchmark that fixes the pipeline cannot see this.
- The failure mode is benign. Zero stale and zero invented answers in eighty graded answers on a corpus built to elicit both: when the fact is gone, these models say so. That property is what makes a lossy pipeline tolerable in production, and it should be verified rather than assumed for any model placed in this position.