Purpose and development
Answers built from external information
In a retrieval-augmented generation system, the retrieval component returns documents, passages, or records relevant to a request. The application includes selected material alongside the question in the model's input, and the generator composes a response from that input. An existing documentation search service or SQL database can supply the information; RAG does not prescribe a particular search method. The sequence can be fixed, or the model can decide when to request additional information.
This supplies information without necessarily teaching the model anything permanently. Learned parameters are numerical values fitted during training. Model context is the input available for a particular call. Ordinary RAG changes that input, not the saved parameters: an answer can change because a newly retrieved document describes a different policy. See Parameters and inductive assumptions and The input the model sees for those separate mechanisms.
Search and answer generation serve different needs. Search exposes material for a person to inspect; generation can combine that material into a direct response. IBM's 2024 documentation-system report describes an interface that retains ordinary search results alongside a concise generated answer and source links. Keeping both gives readers access to the underlying material instead of making the generated summary their only view.
Grounding ties an answer's claims to identifiable evidence. A claim is an assertion that can be assessed, interpreted with enough surrounding context to know what it means. Citation support asks whether the identified material warrants the attached claim. Neither definition says that the source is true: an answer can accurately repeat a mistaken source, while an independently correct answer can lack support in the supplied evidence.
| Property | Comparison target | What can still fail |
|---|---|---|
| Relevance | The question | Related material may omit the requested fact. |
| Contextual support | The supplied evidence | The evidence itself may be wrong. |
| Factual correctness | The applicable facts | A correct statement may have no supplied support. |
| Completeness | The requested information | A complete-looking response may contain unsupported additions. |
Define the answer contract before choosing components. A documentation assistant might require source support for every product-specific assertion while allowing ordinary language explanations and explicitly marked deductions. Retrieval adds processing and source-maintenance work; synthesis adds opportunities to omit conditions or join incompatible facts. Its benefit is therefore a system-level proposition to test, not a consequence of attaching a search service.
From retrieved snippets to generated answers
Open-domain question answering answers across a broad collection rather than a passage selected in advance. This introduces two coupled problems: locate the information and produce an answer from it. Their separation predates modern generative models. Finding a correct answer somewhere in a collection does not establish that the system retrieved its support, and producing the right words does not repair that omission.
| Development | Contribution |
|---|---|
| TREC Question Answering, 1999 | NIST introduced a track returning answer-bearing snippets with document identifiers. Later strict scoring rejected correct answers whose cited documents did not support them. |
| DrQA, 2017 | Danqi Chen and colleagues at Stanford and Facebook AI Research combined term-based Wikipedia retrieval with a neural reader that selected answer spans. Relevant passages were no longer assumed to be supplied. |
| REALM, February 2020 preprint | Kelvin Guu and colleagues at Google Research learned retrieval during pretraining: predicting missing text supplied feedback about which documents helped. The downstream reader extracted answer spans. |
| RAG, May 2020 preprint | Patrick Lewis and colleagues combined a pretrained generator with a learned retriever and an external passage index. The architecture examined passage conditioning across whole answers or individual generated tokens. |
| REPLUG, January 2023 preprint | Weijia Shi and colleagues explored augmentation when a model was accessible only as a frozen black box. It supplied retrieved documents through inputs and combined document-conditioned output probabilities. |
These are complementary architectural choices, not successive replacements. Extraction retains value when an answer is a source span. Trained retrieval-generation systems can learn how external information contributes to a task. Application-level RAG often instead retrieves text and passes it to an unchanged model. REPLUG illustrates frozen-model augmentation, but its probability combination is more specific than an ordinary single-call retrieve-then-prompt application.
The original RAG paper also tested changing answers by replacing the external index without retraining its generator. On 82 leadership positions that changed between 2016 and 2018, the same model achieved 70% and 68% accuracy with the corresponding historical indexes; mismatched indexes performed substantially worse. This demonstrated an update mechanism, not automatic freshness or removal of everything remembered in model parameters.
Evidence entering the answer
The retrieval-to-generation handoff
The corpus is the searchable collection. A retrieval unit is what comes back: perhaps a whole document, a passage, or a database record. A candidate is a returned unit considered for inclusion in the model input. Ranking orders candidates under a retrieval criterion; it does not certify their truth or ability to answer the question. Reranking a Fixed Set explains the ranking boundary.
An inspectable application passes more than strings between components. Provenance records where an artifact came from and how it was transformed. The W3C PROV model distinguishes source entities, transformation activities, and responsible people or software. Applied here, a source revision, extracted text, selected passage, and generated summary are separate artifacts connected by derivation records. That history establishes an asserted origin, not semantic correctness.
| Boundary | Information to preserve |
|---|---|
| Retrieval request | Question, intended entity or version, relevant time, permitted sources, and access context. |
| Retrieved candidates | Content; source, revision, and passage identity; source location; score meaning; execution and coverage status. |
| Generation input | The exact selected evidence, its references, answer requirements, permitted deductions, and known gaps. |
| Answer output | Claims with evidence references, unresolved requirements, and whether the response is complete, partial, or withheld. |
Do not infer execution success from the result count. Elasticsearch's Search API, for example, reports timeouts and failed shards separately from returned hits. An empty hit list after a timeout differs from a completed search returning no hits. Even completed execution says nothing by itself about whether the query or cutoff covered all required evidence.
Returned evidence is not always model-visible
ExampleOnly selected evidence reaches this generation call; retrieval execution status remains a separate property of the returned response.
Read the diagram as text
- Candidates: P1, P2. Passage content, source revision, and location. Execution status belongs to this response: hits can accompany incomplete execution.
- Exact model input: P1. Question, answer requirements, and selected P1 text with its source/revision reference. P2 is absent.
- Answer record. Generated claims, source references, and unresolved requirements. Assess claim support separately.
- P2 omitted. Retained outside model input with its omission reason; unavailable to this generation call.
- Candidates: P1, P2 → Exact model input: P1: Select P1 + reference.
- Candidates: P1, P2 → P2 omitted: Record omission.
- Exact model input: P1 → Answer record: Generation.
Authorization determines whether the material may be used for this request. Enforce it before model access and preserve it across citations and derived answers. Indexed permission metadata can lag source revocations; cached answers likewise need dependency-aware checks or invalidation. These are application obligations, not properties conferred by grounding. Enforce current authority develops the controls.
RAG does not require vector search. For an exact error code, a lexical retriever may supply a mapping that a semantic match misses; for a paraphrased symptom, the reverse can occur. Compare candidate evidence before changing the generator. Search and Retrieval explains lexical, dense and hybrid methods. Whatever supplied the passage, the answer must still use the right source and preserve the conditions attached to its claim.
Enough evidence for the question
Evidence sufficiency means that the supplied information permits the requested answer under the task's scope and allowed assumptions. It is a property of an evidence set, not merely of each passage's topical relevance. Sufficient material can contain an incorrect source answer; insufficient material can still prompt a correct answer from the model's prior knowledge. Those outcomes do not erase the distinction.
Translate the request into information requirements before inspecting candidate answers. A comparison needs facts about both subjects plus compatible definitions, units, and circumstances. A connected-fact question needs the intermediate relationship, not just two relevant endpoints. HotpotQA, introduced in 2018, made this distinction concrete: comparison questions combine facts about two entities, while bridge questions use an intermediate entity to reach another needed fact.
Consider a small invented documentation example. One passage gives Plan A's log-retention period as 7 days, another gives Plan B's as 30 days, and a shared heading establishes that both describe calendar-day retention under the current policy. The two values are necessary for a comparison; the heading makes them comparable. Retrieving more copies of the Plan A passage supplies neither Plan B's value nor the shared conditions. Sufficiency depends on covering those requirements, not on filling a result list.
Apply eligibility-first selection: exclude material that is not permitted or applicable before asking what the remaining set supports. Then distinguish three locations for an omission. The fact may be absent from the eligible corpus, present there but missed by retrieval, or retrieved but removed before generation. A generator cannot inspect a discarded passage merely because the search service returned it.
Support need not have one canonical route. FEVER's evidence format permits alternative evidence sets, including single-sentence and multi-page combinations. Evaluate whether at least one valid set establishes the required content, rather than requiring one exact passage identity.
Exhaustive and negative answers impose an additional obligation. A bounded list of relevant results does not establish every qualifying item or prove that none exists. The open-world assumption allows an unstated fact to be true; a closed-world interpretation treats absence as false within a defined collection. Neither makes that collection a complete account of reality. To report a total or a negative conclusion, justify the search boundary and its completeness for the question.
Applicable sources and unresolved conflicts
Before resolving disagreement, determine whether the statements concern the same thing. Align entity identity, product or policy version, operating conditions, and effective time—when the statement applies. Effective time differs from when the system obtained it. A correction received today may describe an earlier period, while a newly published policy may take effect next month. Time in XTDB explains this distinction; Refresh, supersede, remove applies it to context maintenance.
A real documentation example shows why scope comes first. Stripe describes different idempotency behavior for its v1 and v2 API namespaces. Idempotency here is a request-repetition contract intended to avoid duplicate operations. Combining conditions from the two namespaces would create a policy that neither document establishes.
| Documented scope | Replay conditions and behavior |
|---|---|
| Stripe's v1-style reference | Reuse requires matching parameters. Keys may be removed after at least 24 hours; a pruned key starts a new request. |
| Stripe API v2 | Replay requires the same key, API, and account or sandbox within 30 days. |
Source authority concerns responsibility or competence for the particular fact. It is distinct from permission to read the source. An official specification can define supported behavior; an incident report can describe what happened during an outage. Neither should automatically replace the other. Likewise, current code describes implementation, while an approved design may describe intended future behavior. Select using the question's purpose, and expose disagreements that those distinctions do not resolve.
Several agreeing pages may repeat one upstream assertion. Corroboration is stronger when reports supply independent support rather than copies. Dong, Berti-Equille, and Srivastava's 2009 source-dependence research showed why counting copied values as independent votes can favor false information. Agreement alone does not prove copying either. Preserve known origins, and distinguish selecting an applicable source from reporting unresolved, attributed alternatives.
The same obligations apply to graph results. A knowledge graph represents identifiable entities and typed relationships; GraphRAG uses such relationships on the retrieval path, sometimes alongside text search. Preserve each needed relationship's direction, identity, time, and source before composing a conclusion. A graph connecting a sales deal to its stage and owner does not define whether that deal is at risk: the business rule is another required premise. See A connected path is not proof and Graphs complement search and generation.
Preserving and expressing support
Select context without losing meaning
A good search unit is not necessarily a sufficient interpretation unit. A matching sentence may depend on a heading, table header, exception, or preceding definition. Parent-passage expansion searches smaller passages but returns their identified parent sections or documents. The ParentDocumentRetriever documentation describes this separation explicitly. It restores surrounding material without requiring that the same large unit perform the initial matching.
Expansion trades specificity for additional context. Passing whole documents can restore missing conditions, but also adds irrelevant text and processing. Select complementary evidence for the answer, remove redundant material, and expand only where interpretation requires it. LlamaIndex's production guidance likewise separates representations used to find information from material used to synthesize an answer. In the fictional export section S1, the heading “Paid plans” governs “Administrators may export audit logs.” A child match carries S1’s identifier so the stored section can supply both pieces.
Extractive compression selects source text; abstractive compression generates a shorter restatement. Both can omit necessary information, and abstraction can additionally introduce unsupported content. These are different failures. Faithfulness, in contextual-support evaluations, asks whether the statements in the result follow from the source material. Comprehensiveness asks whether the result retains enough information to answer. The RECOMP study assessed both: a summary containing only supported statements can still leave the generator without a necessary fact.
| Representation | Text | Effect |
|---|---|---|
| Source | On paid plans, administrators may export audit logs. | Permission depends on both plan and role. |
| Qualification-losing extract | Administrators may export audit logs. | No longer carries the paid-plan restriction. |
| Meaning-preserving restatement | Audit-log export is available to administrators on paid plans. | Preserves both conditions while changing wording. |
Selection is followed by placement in the model's context. Lost in the Middle, published initially in 2023, varied the position of an answer-bearing document among distractors while holding the question fixed. Tested models often used evidence better near the beginning or end than in the middle; another experiment found answer performance saturating before retrieval recall. The lesson is to test evidence use, not adopt a universal ordering rule. General ordering and request budgets belong to context engineering.
Keep source references attached through every reduction, and keep retrieved content in its role as data. A document's instruction to ignore the user's request does not become application authority because retrieval selected it. The separate untrusted-content boundary explains why evidence selection is not instruction delegation.
Construct warranted claims
Answer production can perform several different operations. Extraction selects source wording. Paraphrase restates its meaning. Synthesis combines information from several places. Deduction derives a conclusion from premises. Each operation needs a different check: quotation matching can assess extraction, but combining sources also requires compatible subjects and circumstances, and deduction requires justified connecting assumptions.
Resolve references before assessing meaning. A pronoun or short answer may express a claim only in conversational context. The Attributable to Identified Sources framework separates that interpretation from checking support. It also allows evidence-based inference across passages, such as calculating an age from dates, provided the connecting assumptions are valid.
Preserve the source's logical force: negation, quantities, units, conditions, attribution, and uncertainty. In the export example, replacing “may export” with “automatically exports” introduces behavior the source never states. Likewise, “approval is expected” must not become “approval was received.” These changes can arise during repeated rewriting even when the surrounding prose remains coherent.
Multi-passage generation makes evidence combination possible, not automatically valid. Fusion-in-Decoder, first released as a preprint in July 2020 and published at EACL 2021, processed each retrieved passage separately into a numerical representation. Its decoder—the component producing the answer—could then use information across those representations. In the tested tasks and passage-count range, supplying more passages improved the rate of exact matches to reference answers. That result does not establish citation support or show that adding passages always helps other architectures.
Organize a synthesis around the requested information, not around one paragraph per source. Attribute source claims where needed, mark deductions as deductions, and check calculations separately from the prose that describes them. When a connecting premise is missing, preserve the gap rather than completing it with a plausible transition. Narrower subquestions can help a long synthesis retain important detail.
Instructions should specify these obligations and permit insufficient-information responses. They guide generation rather than prove compliance. Turn a request into a task contract explains the prompting side; the resulting claims still need inspection.
Citations attached to claims
A useful citation combines an address with a support relationship. An evidence span is the particular text or regions needed to assess a claim, possibly including separated qualifications. Attach references close enough that readers can identify which assertion each supports. A link to a long document leaves substantial verification work if the supporting passage is not located.
Citation interfaces can preserve these locations. The documented Claude citation interface uses request-local document indices with character, page, or block ranges. Valid pointers do not establish semantic support, and request-local indices do not supply durable revision identity. Store the mapping back to the particular source representation.
Locations can break when text changes. W3C's Web Annotation Data Model distinguishes text-position selectors from quoted-text selectors and records representation state. A position in extracted text is not interchangeable with a byte offset or PDF region. Re-resolve changed evidence or mark the citation unresolved instead of silently attaching it elsewhere. Locate supporting source material covers these mappings.
The export example can be extended with a second passage stating that exports use CSV. Together they support a claim about administrators exporting CSV on paid plans. Neither establishes immediate completion. A citation can therefore resolve correctly yet fail to support an attached timing claim. Similarly, a retrieved search snippet supports only what was inspected, not every assertion an unseen full page might contain.
Valid references, different support
ExampleTwo passages can jointly support one claim while failing to establish an additional qualifier in another.
Read the diagram as text
- E1: Export rule. Example manual, revision 1, paragraph 1: On paid plans, administrators may export audit logs.
- E2: Export format. Example manual, revision 1, paragraph 2: Audit-log exports use CSV.
- Combined claim · requires E1 + E2. Administrators on paid plans can export audit logs as CSV. References: E1 and E2.
- Immediate-completion claim. Audit-log exports finish immediately. References: E1 and E2 resolve, but neither supplies timing evidence.
- E1: Export rule → Combined claim · requires E1 + E2: Supports role and plan.
- E2: Export format → Combined claim · requires E1 + E2: Supplies required format.
- E1: Export rule → Immediate-completion claim: Does not establish timing.
- E2: Export format → Immediate-completion claim: Does not establish timing.
ALCE, introduced by Gao and colleagues in 2023, separated answer correctness from citation quality and tested support through entailment judgments. This makes two checks necessary: whether cited passages support the attached statements, and whether statements requiring support actually receive it.
Even a supporting citation does not prove causal reliance. The 2025 study Correctness is not Faithfulness in RAG Attributions distinguished evidence use from post-hoc citation matching. Controlled modifications to documents changed citation behavior in the tested system. Its causal meaning of faithfulness differs from the contextual-support meaning used by many evaluation tools. For practical review, Build for the Memo, Not the Demo emphasizes direct claim-to-passage inspection rather than a detached bibliography.
Checking and limiting answers
Check support, not just references
Start with checks whose conclusions are narrow and explicit. Code can verify that a returned reference belongs to the supplied evidence set and that a quoted string matches the identified representation. Entailment asks a different question: whether the proposed claim follows from the supplied premises. A semantically useful assessment distinguishes supported, contradicted, and insufficient-information outcomes.
| Check | Inputs | What passing does not establish |
|---|---|---|
| Reference validation | Returned identifier and supplied source map | That the source supports the claim. |
| Quotation matching | Quoted text and identified source representation | That omitted context leaves the meaning unchanged. |
| Contextual support | Interpreted claim and necessary source passages | That the source is factually correct. |
| Independent factual verification | Claim and authoritative external evidence | That the generated answer used or cited its original evidence properly. |
Assess material claims individually without stripping away their conditions. Splitting “administrators on paid plans can export” into “administrators can export” changes what is being checked. Compound sentences may also hide an unsupported clause beside a supported one. A whole-answer judgment can overlook that asymmetry.
Natural language inference is the task of judging whether text entails a proposed statement. The 2019 HANS study exposed failures from word-overlap heuristics: reversing who paid whom can preserve nearly all words while changing the claim. Its results concern the tested inference models, but the diagnostic pattern remains useful when testing a support checker.
A separate verification call can focus attention on whether a particular finding follows from a source. It does not make the verifier independent or infallible. The generator and checker may share misunderstandings, and a confident explanation is not additional evidence. Compare checker decisions with reviewed examples, including missing qualifiers and reversed relationships. Choose checks that match the requirement and Validate the model judge develop that assessment discipline.
Answer only what the evidence allows
Abstention means declining to supply an unsupported answer or claim. It does not require discarding independently useful supported content. But a partial answer is acceptable only when its boundaries remain clear: listing some prerequisites must not look like a complete authorization to proceed. Missing a decisive condition can prevent the requested conclusion even when several surrounding facts are known.
| Evidence condition | Response obligation |
|---|---|
| Sufficient and applicable | Answer within the established scope and attach supporting references. |
| Only independent subparts supported | Answer those subparts if useful; identify what remains unresolved. |
| Question underspecified | Request the missing entity, version, period, or condition. |
| Substantive conflict remains | Present attributed alternatives without inventing a resolution. |
| Required evidence missing | State the support limit; do not convert non-discovery into nonexistence. |
| Retrieval incomplete or unavailable | Report the execution limit rather than implying a completed negative search. |
| Required information not permitted | Respect the access boundary; do not expose restricted content while explaining the limitation. |
UAEval4RAG, introduced by Xiangyu Peng and Salesforce Research colleagues in December 2024, evaluates reason-specific nonanswers, including clarification, correction of false assumptions, and acknowledgment of missing knowledge. Its contribution is to assess the appropriateness of the response, not merely whether the model answered or refused.
Further retrieval is useful when it targets an identifiable gap and is permitted by the task. A relevance check can trigger another source lookup rather than immediate generation, as in the demonstrated Corrective RAG flow. Reassess the resulting evidence and bound the additional work; another search is not proof of progress. Decide whether to continue covers the broader stopping decision.
Acceptance also changes the population being evaluated. Coverage is the fraction of cases answered; selective risk is error among accepted answers. Lower error can result from answering fewer cases. Retrieval scores and verbal confidence are not validated acceptance probabilities. Measure the policy on held-out, deployment-like work and examine its behavior when the domain changes. Evaluate deferral as a policy explains the general tradeoff.
Evaluation and improvement
Test the complete evidence task
A question and reference answer are not a complete RAG test. The case must identify the information the system may use and what that information permits it to conclude. A corpus snapshot fixes the collection state for the assessment. KILT, published in 2021, aligned knowledge-intensive tasks to an August 2019 Wikipedia snapshot and separately evaluated answers, retrieved evidence, and combined outcomes. Mapping the sources was itself necessary work: some earlier evidence no longer mapped adequately.
| Case field | Example meaning |
|---|---|
| Input and scope | Compare Plan A and Plan B's log retention under the specified current-policy snapshot. |
| Required content | Both retention periods, compatible units and conditions, and the resulting comparison. |
| Acceptable evidence sets | The two plan passages plus their shared heading, or a separately verified comparison table covering the same requirements. |
| Response policy | A full comparison requires both sides. An independently useful one-plan answer must explicitly remain partial. |
| Run artifacts | Actual candidates, selected context, answer, citations, execution status, and assessment outcomes. |
References are not necessarily exhaustive. A newly discovered passage may provide valid support absent from the annotations; review it instead of automatically marking it wrong. Include unanswerable cases whose passages are highly relevant but lack the decisive fact. SQuAD 2.0 used such examples, including questions with tempting answer-shaped distractors. Paragraph-level insufficiency, however, is different from absence across an entire corpus.
Synthetic questions are generated test inputs. Document-grounded generation can bootstrap cases, provided people audit them, but it favors questions that the selected passage conveniently answers. IBM's documentation report illustrates the mismatch: a credentials definition encourages a question about what credentials are, while users may need to know where to obtain them. Counts, complete lists, conflicts, scope mismatches, and damaged extraction need deliberate coverage when they occur in the intended work.
Keep development cases separate from independent assessment. Retrieving source facts is legitimate when that is the capability under test; retrieving leaked benchmark answers changes the test. Use case design, workload sampling, and independent-assessment controls to specify that boundary rather than declaring every external lookup contamination.
Measure delivery, support, and completeness
Measure evidence delivery separately from what the answer says. For each required fact or acceptable evidence set, record whether support exists in the eligible collection, reaches the candidates, and survives into final context. Then assess the emitted claims. RAGChecker distinguishes retrieved reference claims, their use in the answer, and answer faithfulness. These relationships help localize omissions without treating a single score as complete diagnosis.
| Measure | Unit and denominator | Interpretation limit |
|---|---|---|
| Evidence delivery | Required information supported at a named boundary, divided by assessed required information; alternatively, cases with a complete acceptable set. | Incomplete annotations leave coverage uncertain. |
| Claim support | Supported emitted claims divided by assessed emitted claims. | Says nothing about omitted requirements or source truth. |
| Answer completeness | Credited required information divided by all required information under the declared rubric. | Addressing a requirement does not establish correctness. |
| Unsupported additions | Unsupported emitted claims, reported as a count and a fraction of assessed emitted claims. | Unassessed claims must remain visible separately. |
| Citation quality | Assess support of claim–citation mappings and support coverage of citation-requiring claims separately. | Valid locations are a separate structural check. |
| Factual correctness | Correct assessed answers or claims under an explicit reference and scope. | Reference errors limit the result. |
| Coverage and selective risk | Accepted cases / all eligible cases; erroneous accepted cases / accepted cases. | Error among accepted cases can fall as more cases are declined. |
Ragas Faithfulness implements the emitted-claim denominator: it decomposes a response and judges support from retrieved context. By contrast, AutoNuggetizer constructs an inventory of answer-relevant facts and measures their presence in the response. Its November 2024 report permits full, partial, or zero coverage credit; strict scoring accepts only full matches. The report excludes citation-support evaluation, so its coverage judgments must not be read as citation entailment.
This distinction has older roots. NIST's TREC 2003 question-answering track used information nuggets for definition answers because exact factoid matching could not measure longer responses adequately. Assessors distinguished essential from optional facts and counted repeated facts once. The enduring idea is to measure requested information rather than reward verbosity or repeated wording.
For a tiny calculation, suppose a request has two equally weighted requirements. An answer states one supported fact and omits the other. Its claim support is 1/1, while its completeness is 1/2. A citation on that sole fact does not repair the omission. ALCE's terminology also needs care: its citation recall assesses support for statements, while citation precision identifies irrelevant citations—not ordinary retrieval precision and recall.
Specify empty-denominator behavior: no emitted claims should not silently become perfect support, and selective risk is undefined when nothing is accepted. State whether permitted partial answers count as accepted, and use the same acceptance set for coverage and selective risk. Keep unjudged evidence and failed assessments separate from negative judgments. Report partial answers against the original requirements, not a denominator reduced to what the system attempted. Retrieval metrics, retrieval evaluation, and metric discipline explain the corresponding measurement rules.
Locate lost support and test the repair
Start with the failed answer and trace each missing or unsupported claim backward. Check source availability and extraction first. Then inspect candidates, final context, synthesis, citations, and acceptance. Support present among candidates but absent from final context establishes an assembly loss. Sufficient context followed by a deficient answer identifies a generation-side failure under that input. Different claims in one answer can fail at different boundaries.
A trace records the operations and artifacts of an execution. Retain actual candidate passages and the exact model-visible evidence, not merely URLs fetched later. Source revisions, selected order, and omitted qualifications can change the diagnosis. Record meaning-changing boundaries explains the broader instrumentation contract.
Choose the boundary to change, then compare its recorded inputs and outputs with the baseline. Replaying the same candidates through different assembly tests preservation; replacing the final evidence bypasses retrieval and assembly together.
Substitute source passages, never the reference answer. Hold query, corpus and permission snapshot, prompt, budgets, and evaluator fixed. Keep model configuration fixed except when it is the declared intervention. Record passage identities and order, preserving them at unchanged boundaries; disclose changed length, position, or grouping. These are applications of blocking principles, which hold nuisance variation constant to make a comparison interpretable.
Repeat matched conditions and report uncertainty. A successful final-context replacement does not prove retrieval was the sole fault; unsuccessful replacement does not exonerate retrieval if the generator also fails. Test repairs individually and together when their effects may interact. Compare changes on matched work develops this design. An idealized, sufficient-evidence condition—often called oracle context—is diagnostic, not a deployable production ceiling.
Change one boundary, narrow the diagnosis
Question: Compare Plan A and Plan B log retention under the current policy, in calendar days.
Fixed: question, eligible corpus / permission / time snapshot, prompt template, input budget and assessment. G0 is fixed except for the generation comparison.
| Boundary | Baseline | Intervention |
|---|---|---|
| Candidate passages In recorded order |
|
|
| Assembly rule | Original: remove standalone headings | Changed: retain the heading with both values |
| Exact evidence block Other prompt fields fixed |
|
|
| Generator | G0 · recorded model and decoding settings | G0 · recorded model and decoding settings |
Changed: Assembly only; candidate text, IDs, revision and order are identical.
Path: No stage bypassed; replay the recorded candidates.
If repeated trials improved: Improvement would support this evidence-preserving assembly change under the fixed setup. It would not establish that every other stage is fault-free.
The source section S1 contains H, A and B in that order. S supplies that existing section as one passage; the original rule removes only standalone headings. All displayed evidence fits the fixed budget. Retaining H changes input length and the positions of A and B; record those changes when interpreting a trial.
Compare credible alternatives for the actual job: search results, extracted answers, selected-context generation, and a small complete document set. In a 2024 long-context comparison, Zhuowan Li and colleagues tested nine English question-based datasets with three models. Direct long context achieved higher average task scores, while retrieval reduced model input substantially. The default retrieval condition used five 300-word chunks, with additional retrieval variations. These results concern bounded collections and task scores; input usage is not total operating cost, and the study did not measure claim-level citation support or human verification effort.
Workflow outcomes can differ from answer scores. A LinkedIn customer-service study preserved relationships between historical ticket problems and solutions, then supplied retrieved information to a generator. Its production comparison randomly divided the service team between tool use and traditional manual work: median resolution time was five hours with the tool versus seven without it. Group sizes and uncertainty intervals were not reported. This is a whole-tool result, not an isolated graph effect or a measurement of citation-verification time.
Keep the improvement decision equally specific. Measure supported completeness and review effort alongside latency, resource use, and answer coverage. Add complexity when inspected failures justify it, and turn reviewed production failures into regression cases. Collecting those cases does not improve the system by itself; the gain comes from a tested repair that still works when the full evidence-to-answer path runs.
Open questions
Reliable sufficiency assessment must recognize missing conditions without assuming the answer in advance. Broad and exhaustive requests are especially difficult because a plausible subset can look complete. Progress would combine reviewed evidence requirements with tests that deliberately remove decisive facts and measure both unsupported answers and unnecessary abstentions.
Partial answers need evidence of usefulness as well as claim support. A correct fragment can help a reader or mislead them into acting on an incomplete account. Progress would compare explicit partial-answer policies on mixed-support tasks, measuring misunderstanding, retained completeness, and review effort—not merely fewer unsupported sentences.
Citation support and causal reliance remain different targets. Post-hoc matching can produce a defensible reference without showing that the source influenced generation. Progress would use controlled evidence changes alongside semantic citation assessment, while preserving the distinction between observed behavioral dependence and inaccessible internal computation.
The practical value of generated answers depends on the review workflow. Search, extraction, and synthesis expose different amounts of work to the user, and answer benchmarks do not measure all of it. Progress would compare those interfaces on the same documentation tasks, including supported completeness, verification effort, errors, and completion time.







































































































































































































































































































































































































































































































































































































































