Revalidate Affected Uses When a Relied-on Source Changes

About this pattern

This is a generated FPF pattern page projected from the published FPF source. It is canonical FPF content for this ID; it is not a FPF Reference product feature page.

How to use this pattern

Read the ID, status, type, and normativity first. Use the content for exact wording, the relations for adjacent concepts, and citations to keep active work grounded without pasting the whole specification.

Pattern type. Method pattern.

Status. Stable.

Normativity. Normative unless a passage is marked informative.

One-sentence summary. When a relied-on source claim changes and its receiving uses are not yet fully known, bound where uses count, search from both source and receiver sides, confirm actual dependence, and apply direct subject guidance only across action-changing reach; finish with the useful direct result and its material limits, adding a common account only for a receiving use that needs it.

Use this pattern when a claim-bearing source has been revised, replaced, refined, superseded, or challenged and the practical question is not merely whether the source is current, but which existing results or actions actually relied on the changed claim.

Relations

A.10.1builds onOntological Parsimony
A.10.1coordinates withTrust and Assurance Calculus
A.10.1outline parentEvidence Graph Referring (C-4)
A.10.1explicit referenceMulti‑View Publication Kit
A.10.1explicit referenceEvidence Graph Referring (C-4)
A.10.1explicit referenceUnified Comparison Mechanism (CPM)
A.10.1explicit referenceDecision Theory (Decsn-CAL)
A.10.1explicit referenceTrust and Assurance Calculus
A.10.1explicit referenceU.WorkPlan: The Schedule of Intent
A.10.1explicit referenceThe Agential Role & Agency Spectrum
A.10.1explicit referenceEvidence Graph & Provenance Ledger

Content

Problem Frame

Use this pattern when a claim-bearing source has been revised, replaced, refined, superseded, or challenged and the practical question is not merely whether the source is current, but which existing results or actions actually relied on the changed claim.

The primary EntityOfConcern is the bounded source-to-use structure: the changed claim and the exact direct use relations through which receiving results, decisions, specifications, plans, or actions depended on it. The practitioner is not asked to know every receiving use in advance. The first move is to state the source comparison and the present decision that bounds where a receiving use would count.

First useful move. Compare source episteme S0 with later or replacement episteme S1 for the present question Q. Establish the action-relevant claim difference or name what prevents that comparison.

When relevant meaning, applicability and access remain compatible, a repaired reference can be the completed result. It needs no multi-use search or additional subject-result record. A new URL, file, layout, revision label, carrier, or publication occurrence alone establishes no material claim change. Missing claim content or access leaves a scoped gap rather than establishing unchanged meaning.

When a material change makes several receiving uses worth discovering, state:

The material claim change is ΔC. Uses count for question Q within search frame F; the first known coverage limits are G.

What goes wrong if missed. One team replays every analysis because a version changed. Another preserves every result because the represented world did not change. A third follows citations or graph edges and calls every reachable item affected while missing an undeclared use of the premise. All three replace actual reliance with a proxy.

What this buys. The practitioner can finish with a repaired reference, a qualified subject result, or a scoped limit. When a common receiving question needs an affected-use account, it remains local, replayable, and honest about coverage. Inspected unaffected uses remain usable for their stated conditions; unresolved reliance and inaccessible surfaces bound the conclusion. Only depends branches enter the subject judgment, and reach stops at the last receiving action that can change.

Not this pattern when.

  • Use A.10 when one already-known bounded reliance use is the whole question.
  • Use C.2.1, E.17, or E.24.PUB when source identity, edition continuity, publication, carrier, form, audience, or availability is the live question and no several-use revalidation is needed.
  • Use G.11 when currentness, decay, refresh planning, or refresh reporting is the live result.
  • Use E.15 when the changed object is one FPF pattern edition; it retains Delta-Class, predecessor-function continuity, pattern checks, and its own change result.
  • Use the direct subject pattern for a world-side change with no source change; examples include a changed sensor, market, organization, configuration, or situation affecting a law's applicability.
  • Use the direct subject pattern for the judgment or action needed after discovering an affected use. Section 4.5 identifies the governing contributions for those questions.

What changes in practice. A source change no longer means “redo everything” or “update the link.” The team first establishes whether claim content changed or names the missing fact. If affected-use discovery is needed, it states where uses count and how that area was searched, confirms reliance in receiving content, and revalidates only the smallest action-changing branch. A sufficient direct result closes its receiving question.

Problem

Source-change impact is difficult precisely when the receiving uses are partly unknown. A source register may know the source but not every later premise. A receiving decision may use an equivalent claim without retaining the same citation. A dependency graph may include declared edges that do no current work and omit an informal premise that does.

The cheapest apparent boundaries are therefore unreliable:

  1. a file or edition label says too little about changed meaning;
  2. a citation, mention, link, carrier, adjacency, or graph path says too little about actual reliance;
  3. a repository search says too little about surfaces it could not inspect;
  4. transitive reach says too much when no downstream action can change; and
  5. a local revalidation summary says too little about the subject result that justified it.

Without a bounded search frame, “no affected use found” can silently mean “we searched one convenient repository.” Without application of direct subject guidance and an independently obtained subject result, “preserved” or “reopened” becomes an ungoverned universal status. The method must make both errors visible without turning every source change into a corpus-wide programme.

Forces

ForceTension
Unknown receiving uses vs bounded effortReceiving uses cannot all be named before discovery, but a global corpus search is rarely justified.
Source-outward trace vs receiver-side realityBacklinks and lineage find declared uses; receiver inspection finds equivalent or undeclared premises. Neither direction alone is generally adequate.
Automation vs judgmentSearch, lineage, traces, and AI can find candidates; the practitioner tests actual reliance in the receiving content under the direct rule.
Local closure vs hidden gapsIndependent resolved branches should finish, while inaccessible or unindexed surfaces must not become implicit evidence of no impact.
Reuse vs safetyUnaffected prior results should remain usable, but only when the changed claim lies outside their actual dependency.
Common move vs subject authoritySource-to-use discovery is reusable; materiality remains specific to the subject, including any separate evidence, assurance, or release question.
Short account vs recoverabilityThe result should be usable without a universal impact record, yet another practitioner must be able to reproduce the frame, coverage, direct-use test, and stop.

Solution

Use the outline in 4.1 to locate the current move; sections 4.2–4.7 give its comparison criteria, fields, and stop conditions.

Perform the Nine-Step Move

  1. Start from the changed source, not a presumed receiver. Name the predecessor and later or replacement source epistemes, the claim set whose change may matter, and the present question that bounds the search. Leave source identity, edition continuity, access, or applicability unresolved when the required fact is missing.
  2. Compare claims rather than files. Separate changes in proposition, subject, scope, applicability, assumptions, limits, evidence status, and effective conditions from wording, layout, publication, carrier, and revision-label changes. If comparison establishes compatible meaning, applicability and access, finish with any needed reference repair. If comparison cannot establish them, return the material gap; neither branch requires a multi-use search merely to record its stop.
  3. Select a receiving-use search frame. Use the search-frame fields in 4.3 to state where a receiving use would count for the present question.
  4. State reproducible discovery coverage. Name the exact source identifiers, claim addresses and aliases used; the included search surfaces; the source-outward and receiver-oriented routes; and every unsearched, inaccessible, stale, unindexed, or identity-ambiguous surface.
  5. Discover and then name candidate receiving uses. Use search, citations, lineage, traces, indexes, owner knowledge, or tools to find candidates. Inspect the receiving content and recover the exact premise, evidence-use, operation-argument, specification, decision-basis, or other direct relation. Discovery alone establishes no reliance.
  6. Classify and bound reach. Distinguish actual dependence, irrelevant mentions and unresolved uses within the searched frame. Group equivalent irrelevant mentions when one inspected reason covers them. Retain the direct-use basis and gaps that can change the receiving conclusion, without a separate exclusion record for each mention. Follow a depends branch only through another exact use relation while a receiving action can change. Supply the discovery-and-reach content needed by each subject judgment.
  7. Apply the direct subject pattern's guidance. Use the discovery-and-reach statement to apply that guidance to the changed claim, exact direct use, current conditions, affected reach, coverage limits, and material subject facts. The practitioner or admitted System carrying out that application may find that the proposed dependence must be narrowed or rejected or that stronger evidence is required. Use adequate existing evidence and return the supported subject result or its scoped blocker directly to its existing consumers. Further inquiry is selected for the receiving question; a discovery gap alone does not commission Work.
  8. Supply a common account when a receiver needs it. A sufficient direct subject result can finish the use. If another receiving question needs an overview, cite the independently governed results and summarize only the consequences it needs. That summary neither replaces those results nor changes A.10 RelianceDisposition.
  9. Stop at the completed receiving answer. Apply the branch conditions in 4.7. Preserve the coverage and direct-use basis needed for the conclusion actually returned, including material gaps. Name a next actor or reopen observation when the receiving use needs that continuation. An unresolved independent branch need not delay a completed one.

This numbered presentation is an A.22.CGUS learning unfolding, not a lifecycle and not a mandatory sequence of U.Work. Discovery, source recovery, subject inquiry, and communication may overlap. Only the information dependencies in the move impose order.

Compare the Source at Claim Size

Recover each source as a C.2.1 episteme: a claim-bearing informational object, not its file or display. Name the predecessor and later or replacement episteme, their relevant claim addresses, subjects, interpretation bases, effective conditions, and edition relation when that relation is established.

Treat a difference as material here only when it can alter a receiving action or result. Useful comparison dimensions are:

Comparison dimensionQuestion
Proposition or resultDoes the later source state a different fact, value, rule, or result?
Subject and scopeDoes the claim now concern a different entity, population, configuration, jurisdiction, interval, or use?
Applicability and assumptionsDid an entry condition, premise, model assumption, or interpretation basis change?
Limits and uncertaintyDid a supported range, exclusion, uncertainty, evidence status, or unsupported use change?
Effective conditionsDid an effective date, validity window, revocation, supersession, or conditional branch change?

Wording can change without meaning changing; one word can also reverse an obligation. A text diff is a locator, not the semantic verdict.

If the same source episteme is merely republished on a new carrier, update the governed identity, publication, representation, availability, or one-use reliance facts through C.2.1, E.17, E.24.PUB, and A.10 as applicable. Do not open the several-use search unless availability itself changes the bounded reliance question.

Bound the Search Frame and Make Coverage Reproducible

These fields apply when affected-use discovery is selected. Set the frame before treating found candidates as the universe. Keep it in the existing result or working source at the detail needed to interpret the search. A harmless reference repair opens none of these fields. A claim of no impact across a frame does require adequate coverage and support for that frame.

Search-frame fieldMinimum useful content
Present questionThe decision, result, release, account, or other use for which impact matters now.
Organizational and product boundaryNamed project, product, portfolio, organization, or other working boundary.
Receiving familiesDecision, result, model, specification, plan, account, procedure, or other families in which a use would count.
ConditionsConfigurations, jurisdictions, populations, situations, intervals, horizons, or editions that bound applicability.
Discovery surfacesRepositories, registers, model stores, data catalogues, decision records, account stores, owner-held sources, and other included locations.
Owners and accessResponsible contacts, access limits, and any surface whose owner or identity is unresolved.
Explicit exclusionsThe boundary and exclusion reasons needed to delimit this question. Group equivalent exclusions; do not enumerate every non-receiving product, period or mention.

Coverage is adequate only relative to that frame. Use complementary routes:

  • Source-outward discovery starts from exact source identifiers, claim addresses, aliases, citations, backlinks, provenance, data or model lineage, declared traces, and transformations.
  • Receiver-oriented discovery inspects the included receiving families for the same or an equivalent premise, limit, parameter, assumption, evidence use, or decision basis, even when the source identifier is absent.

One justified complete index may cover both directions. Otherwise state both routes and their limits. For every surface, record the query or inspection basis, the source identifiers and aliases used, the date or source value inspected when it matters, and the result or gap. An unsearched, inaccessible, stale, unindexed, or identity-ambiguous surface is a discovery-coverage gap. Outside the covered surface, a use is not found, not established unaffected.

Confirm Direct Reliance Before Following Reach

Search output supplies candidates. The receiving content supplies the reliance test.

Discovery dispositionUse it whenWhat follows
dependsThe receiving action, interpretation, condition, result, check, specification, or public reference uses the changed claim through an exact direct relation and could change if that claim changes.Include the use in affected reach and prepare a discovery-and-reach statement for application of its direct subject-pattern guidance.
mentions onlyThe content cites, lists, stores, describes, or sits near the source, but its current action or result does not use the changed claim.Exclude it from affected reach. Group equivalent irrelevant mentions and retain a short reason in the existing result when its receiver needs it; no separate certificate is required.
unresolvedThe premise, equivalent claim, applicability, direct relation, receiving content, or necessary access cannot yet be recovered or contested dependence remains.Name the missing fact or owner. Continue independent resolved branches, but do not classify this candidate as unaffected.

These discovery dispositions answer whether a found candidate belongs in the affected branch. They are not A.10 RelianceDisposition values. Use A.10 to judge whether one bounded evidence use passes, degrades, abstains, reopens, needs evidence or assurance, or is blocked for current use.

A citation, a present or missing trace, storage, indexing, carrier co-location, succession, ownership, declared dependency, graph reachability, or a shared keyword does not establish depends. A missing trace may be a discovery or coverage gap; it is not impact and it does not prove no impact. Conversely, an undeclared use can depend when the receiving content actually uses an equivalent premise.

Follow a depends branch only through another exact direct use relation. Stop before a downstream item whose action, condition, result, or required check cannot change. The affected reach is the smallest dependency-closed structure that contains every in-frame use that can change an action; it is not every transitively reachable node.

For a branch that needs subject judgment, supply the following discovery-and-reach content at the detail required by its receiver. It may already be present in the direct result; no second statement is needed:

PositionRequired content
Source changePredecessor and later or replacement epistemes; exact material claim difference; unresolved identity, edition, or applicability facts.
Search and coveragePresent question, bounded frame, included surfaces, source-outward and receiver-oriented routes, explicit exclusions, and known gaps.
Direct useNamed receiving result or action, exact premise or other direct use relation, current conditions, and the evidence for depends.
Reach and stopFurther exact receiving uses followed, last action that can change, mentions only and unresolved candidates relevant to the branch, and the stop reason.
Subject application and resultThe direct subject pattern to apply, its needed current inputs, the independently governed subject result to obtain, and the existing consumer that should receive that result.

The statement is usable claim content for that subject judgment, not a new mandatory carrier or universal record. A table, list, matrix, or optional G.6 path slice may present it; the representation establishes none of its relations.

Apply Direct Subject Guidance and Keep the Result Independent

Discovery and reach classification prepare the branch for subject judgment. A practitioner or admitted System applies the direct subject pattern's concrete rule or test to each depends branch. Recover or recheck facts about current conditions, evidence, authority, cost, and Work only where those facts can change the independently governed result.

Live questionGoverning contribution to apply
Source and claim identityC.2.1
One bounded evidence or source reliance useA.10
Truth claim or measurement, formal, causal, diagnostic, conformance, comparison, or acceptance resultThe direct definition or test: C.16 for measurement, C.28 for causal support, A.19.CPM for comparison of admitted CHR profiles under an explicit comparator, A.19.SelectorMechanism for selection from admitted candidates under explicit criteria after comparison, G.4 for an acceptance-clause application, and the applicable truth, formal, diagnostic, or conformance pattern.
Choice or decisionC.11 or the applicable subject decision pattern
AssuranceB.3, only when an actual named assurance claim is current
Authority, responsibility, commitment, permission, gate, or releaseThe direct authority, commitment, permission, gate, or release pattern
Currentness and refresh planningG.11
Planned or performed Work and actual bindingsA.15.2 for the applicable U.WorkPlan and PlanItem structure; A.13 and A.15.1 for precise performers and independently admitted dated Work; A.6.1 for actual bindings
FPF pattern-edition continuityE.15

A practitioner or admitted System may, by applying the direct subject rule or test, narrow or reject the proposed affected reach. Keep the independently obtained result on its existing direct route: the engineering source-change result governed by SYSE.19 goes to SYSE.14; revision feedback governed by FIN.17 goes to FIN.4; and the assumption-impact result governed by STR.2 goes to STR.3 and STR.4.

When a common account is needed, it cites independently governed subject results and is never their own input. The information dependency is:

material source change → needed discovery and reach → application of direct subject guidance → independently governed subject result → common account, if a further receiving use needs it

Complete the Affected-Use Revalidation Account

Prepare a common account only when a receiving question needs an overview beyond the sufficient direct results. Cite each independently governed result used by that overview. A repaired reference or a direct subject result can close its own question without this account. When durability or reliance requires an episteme, ordinary C.2.1 content is sufficient.

Account positionContent when needed for this receiving question
Source comparisonSource epistemes, relevant claim addresses and material change or gap. Include publication, carrier and access distinctions when they affect the conclusion.
Search frame and coverageThe question, boundary, discovery basis and material limits of a search actually performed. Preserve enough to judge any no-impact claim at its stated scope.
Candidate usesDirect-use bases for affected branches and unresolved candidates that limit the conclusion. Equivalent irrelevant mentions may share one short exclusion reason.
Action-changing reachThe dependent branch, last action that can change and why reach stops there.
Subject applications and resultsThe subject result and its governing contribution, with the conditions and existing receiver material to this overview.
Local summariesThe supported use consequences that the receiver needs, with the cited subject basis.
Reuse and continuationEarlier values and inspected independent results needed for reuse; material gaps and any continuation or reopen condition the receiving use needs.

Preserved, narrowed, reopened, superseded, reliance withdrawn, and blocked are local prose summaries, not a universal status vocabulary. When they summarize subject judgments, they require those judgments' basis. They replace neither RelianceDisposition nor assurance, permission, authority, release or decision.

Keep earlier source editions and prior results recoverable for their original uses and conditions. A later source does not rewrite what an earlier source meant. Reuse a prior result only when its conclusion and conditions remain current and the changed claim lies outside its actual dependency.

Stop, Return Gaps, and Reopen Locally

Close the branch that answers the present question:

Branch takenSufficient completion
Compatible meaning, applicability and access; only a reference or carrier changedComplete the needed reference repair. No affected-use search, separate subject-result record or common account follows merely to certify that stop.
A claim of no impact within a receiving-use frameSupply a bounded frame, adequate discovery coverage and the actual-use basis supporting that claim. Equivalent irrelevant mentions may be grouped. Missing coverage limits the claim; absence of a search hit alone does not establish no impact.
Affected uses need subject judgmentReturn their independently governed supported results or scoped blockers with the direct dependence, action-changing reach and material coverage limits. Finish independent resolved branches. A common summary follows only when its receiver needs it.
Comparison, dependence, access or subject qualification remains unresolvedReturn the exact gap and its effect on current use. Preserve independently supported results. Name further Work only when it is needed and selected for the receiving question.

Retain the history and reasoning needed to reuse the result. State who must receive an unresolved action question or what would reopen a continuing use when that information changes practice; a completed small repair need not create a monitoring arrangement.

An inaccessible or unsearched surface is not established unaffected. Reopen locally when a source, claim, direct relation, included surface, subject result or applicability condition changes enough to affect the current conclusion. Use A.15.9 and C.11.DUA when further acquisition is considered; attainable contribution and whole burden govern its selection without weakening support or authority conditions.

Archetypal Grounding

Tell. A source change matters through a claim that a receiving use actually relied on. Search helps find possible receiving uses; the practitioner applies the direct subject rule to determine whether an action can change.

Show: Sensor-Calibration Range in an Actual Engineering Host

A pump-controller project used edition E2 of a sensor-calibration MethodDescription. E2 states that temperature compensation for module TS-2 is valid from -20 °C to 50 °C. E3 narrows ordinary validity to -10 °C through 50 °C and requires a new calibration Method and evidence below that range.

The search frame is the named pump-controller project, TS-2 configurations, current service-release interval, and the model, test, safety, interface-architecture, and decision stores used for that release question. Other hardware configurations are excluded when they do not use TS-2 under the changed condition.

The source-outward route follows exact E2 references and established traces. The receiver-oriented route scans the included stores for the old temperature range and equivalent cold-start premises. Inspection finds:

  • the thermal-model parameter bound depends;
  • the cold-start test condition depends;
  • the safety claim's use of evidence produced under that condition depends, and its action-changing reach continues to the service-release premise; and
  • the interface description's bibliography entry mentions only.

The affected reach stops at the last service-release action that can change. A practitioner or admitted System applies SYSE.19 to the discovery-and-reach statement. The independently governed engineering revalidation result records evidence that supports units S006S008 under the tested conditions and leaves S009S010 without the needed calibration evidence. That result goes directly to SYSE.14, where the authorized release decision remains. The release coordinator also needs one overview across the unit groups. That common account cites the engineering result, preserves the bibliography-only use and unaffected configurations, and summarizes the affected release branches. The engineering result could otherwise finish its direct receiving use without a second account.

Show: Financial Model and Data Refresh

A market-data supplier corrects a yield-curve claim for a named date range. The old claim was used by a valuation model and a cash forecast; a nearby finance memo merely cites the vendor report.

The search frame fixes the corporation and portfolio, jurisdiction, decision date, currency and instrument families, model and dataset inventory, finance-account stores, and the desks and periods explicitly excluded from the current question. Data lineage and source identifiers provide the source-outward route. A receiver-side scan checks model inputs, forecast assumptions, liquidity-account premises, and exposure calculations for the same or an equivalent claim.

The valuation input and forecast assumption are depends. The nearby memo is mentions only. One local workbook cannot be accessed, so that workbook is a discovery-coverage gap; it is not called unaffected. A practitioner or admitted System applies FIN.17 to the resolved discovery-and-reach statements, retaining finance-specific model, data, jurisdiction, accounting, reconciliation, evidence, and authority judgments within that application. The independently governed finance result goes as revision feedback directly to FIN.4. The portfolio receiver needs an overview of the resolved models and the inaccessible workbook. That account cites the finance result and retains the workbook's coverage limit. It adds no exclusion record for each vendor-report mention.

Show: A Changed Research Estimate Is Only One Kind of Strategic Signal

An industry-research edition corrects an adoption estimate used as a premise for one strategic assumption and option. Nearby scenario prose cites the report without using the estimate.

The search frame fixes the named strategic decision, assumption and option registers, current scenario set, decision horizon, and source store. Source references and a receiver-side assumption scan identify the relied-on assumption branch as depends and the nearby citation as mentions only. An inaccessible business-unit assumption store remains a coverage gap.

A practitioner or admitted System applies STR.2 to the discovery-and-reach statement. That application keeps signal qualification, uncertainty, the affected strategic assumption, option or commitment consequences, horizon, and the assumption-impact result within STR.2's governing scope. The independently governed assumption-impact result goes directly to STR.3 and STR.4. A market or competitor change with no changed source claim goes straight to STR.2; it is not forced through A.10.1.

Reduced Boundary Cases

CaseA.10.1 responseDirect continuation
The same source episteme appears at a new URL with a new layout.Compatible claims, applicability and access; repair the reference and finish without multi-use discovery or another result record.C.2.1, E.17, E.24.PUB, and A.10 when availability affects one bounded use.
A bibliography or catalogue mentions the changed source but uses none of its claims.mentions only; no affected reach. Group equivalent mentions and retain a short reason only when the existing result's receiver needs it.No subject revalidation follows from mention alone.
Candidate content appears to use the claim, but the premise or applicability cannot be recovered.unresolved with the exact missing fact.Return the exact gap now. Obtain the missing basis only when a needed stronger conclusion warrants that contribution.
An included repository is inaccessible or its index is stale.Record a discovery-coverage gap; finish independent resolved branches.Do not call possible uses in that surface unaffected.
The source is unchanged but the represented world changed.Outside this pattern's selected branch.Use the direct configuration, currentness, change, or decision pattern.

Bias-Annotation

This pattern counteracts version bias, visibility bias, graph-completeness bias, and authority transfer. A newer or official source deserves inspection, but recency and status do not establish materiality for a named use. A visible link or graph path is easier to count than an undeclared premise, and a polished impact report can look like a subject verdict.

The repair is deliberately asymmetric: tools may broaden candidate discovery, while inspection of direct receiving content and application of the direct subject rule or test narrow what can be concluded. The pattern therefore favors recoverable local closure over confident global claims. Sensitive repositories may use scoped, redacted, hashed, or responsible-party-attested searches, but their access limits remain visible.

Conformance Checklist

IDRequirementPurpose
CC-A10.1-1 (Source and claim).A conforming use MUST name predecessor and later or replacement source epistemes, exact claim addresses or recoverable content, and unresolved identity or edition facts.Prevents carrier or version labels from becoming source meaning.
CC-A10.1-2 (Material difference).Material claim changes MUST be separated from wording, publication, carrier, layout, and revision-label changes; established compatible meaning, applicability and access MUST take the cheap stop. Missing comparison or access facts MUST remain a scoped limit rather than proof of no change.Keeps harmless republishing cheap and one-word semantic changes visible.
CC-A10.1-3 (Bounded frame).The present question, organizational or product boundary, receiving families, conditions, discovery surfaces, owners, and explicit exclusions MUST be stated before a clean no-impact conclusion.Makes “where uses count” inspectable.
CC-A10.1-4 (Coverage and gaps).When a search supports the returned impact conclusion, coverage MUST name exact identifiers and aliases, source-outward and receiver-oriented routes or a justified index covering both, included surfaces, and every unsearched, inaccessible, stale, unindexed, or identity-ambiguous surface.Prevents omitted coverage from becoming evidence of no use.
CC-A10.1-5 (Direct reliance).Every depends disposition MUST cite an exact receiving action or result and the direct premise, evidence-use, operation-argument, specification, decision-basis, or other relation by which it uses the changed claim.Rejects mention, adjacency, and graph reachability as impact.
CC-A10.1-6 (Discovery dispositions).A searched frame MUST distinguish dependent, irrelevant and unresolved candidates at the detail needed for its conclusion. Equivalent irrelevant mentions MAY be grouped; a separate exclusion record per mention is not required. Discovery values MUST NOT replace A.10 RelianceDisposition or a subject result.Keeps discovery membership distinct from use admissibility and subject judgment.
CC-A10.1-7 (Action-changing closure).Reach MUST follow only exact direct use relations and MUST stop after the last receiving action, condition, result, or check that can change.Prevents transitive fanout.
CC-A10.1-8 (Dispatchable statement).Every branch prepared for application of direct subject-pattern guidance MUST carry the changed claim, bounded frame, coverage and gaps, exact direct use, current conditions, action-changing reach, stop, and direct subject pattern.Gives the applying practitioner or admitted System a usable input without a universal impact record.
CC-A10.1-9 (Subject governance).Truth, evidence, causality, choice, currentness, assurance, authority, permission, release, planning, Work, and other subject results MUST remain governed by their direct patterns and continue to their existing consumers.Prevents common discovery from becoming domain authority.
CC-A10.1-10 (Acyclic completion).A common account summarizing a subject judgment MUST cite its independently governed result and MUST NOT be used as that result's own input. A sufficient reference repair or direct result needs no additional account.Preserves the changed source → subject result → completed account direction.
CC-A10.1-11 (Local summaries and reuse).Local summaries of subject judgments MUST retain their subject basis. Inspected unaffected uses and earlier source/result values MUST remain recoverable for their stated conditions; a harmless reference repair requires no separate preservation judgment.Avoids a shadow status ontology and needless invalidation.
CC-A10.1-12 (Honest stop).Completion MUST meet the branch conditions in 4.7 for the conclusion actually returned. A no-impact claim requires adequate frame, coverage and actual-use support; unresolved coverage MUST NOT be called unaffected. Further records, Work and continuation fields are required only by the receiving use.Makes local closure reproducible without claiming global completeness.

Common Anti-Patterns and How to Avoid Them

Anti-patternFailureRepair
Version fanoutA new edition reopens every downstream result.Compare claims first; follow only actual action-changing dependence.
Carrier preservationThe same world object or familiar file shape is treated as proof that all uses remain valid.Separate source episteme, claim content, publication, carrier, and world-side change.
Search hit equals impactEvery textual hit is classified affected.Inspect the receiving content and exact direct use relation.
Declared graph equals realityEvery reachable node is reopened and undeclared premises are missed.Combine source-outward and receiver-oriented discovery; establish each relation independently.
One convenient repository equals coverage“No use found” hides inaccessible, stale, or excluded surfaces.State the frame, surface-by-surface basis, explicit exclusions, and gaps.
Unresolved means unaffectedA missing premise or inaccessible source receives a silent clean result.Return unresolved or a coverage gap and name the practitioner or System responsible for the next action.
Subject judgment in the common account“Preserved” or “reopened” is issued before engineering, finance, strategy, assurance, permission, or release judgment.Apply the direct subject guidance and pass its independently governed result to its existing consumers. Add a local summary only for a common receiving question.
Completed account fed back into its own resultThe common summary becomes circular evidence for the subject verdict it contains.Keep the acyclic application and direct subject-result-to-consumer route.
Perpetual impact programmeEvery change creates a standing corpus-wide monitoring obligation.Stop at the present bounded question; use G.11 only when a named currentness or refresh need remains.

Consequences

Benefits. Source changes receive effort proportional to their actual use. Teams can preserve inspected unaffected results, expose undeclared dependencies, continue clean branches despite a local gap, and apply the correct governing pattern to each affected question while preserving its evidence and authority boundaries. The account remains usable without a mandatory graph, matrix, workflow, or new ontology.

Costs and limits. Claim-sized comparison and receiver-oriented inspection require judgment. Coverage can be expensive when repositories are fragmented or access is restricted. The method makes those limits visible; it cannot convert incomplete access into assurance. A genuinely broad claim with many actual consumers can still produce broad revalidation.

Failure containment. A missing source fact, unresolved direct relation, inaccessible surface, or subject blocker narrows or blocks only the affected frame or branch. It neither invalidates unrelated uses nor supports a global unaffected-use claim.

Rationale

The pattern begins under A.10 because a source change matters through reliance, not through source succession alone. It is separate from A.10 because one known source-to-use account and the discovery of several partly unknown receivers have different first actions, coverage burdens, and stop rules.

The search frame solves the unknown-receiver problem without claiming a universal corpus. Complementary discovery solves a second asymmetry: source-side traces miss undeclared or equivalent premises, while receiver-side searches can miss transformed or aliased source content. The direct-use test then prevents either search route from becoming semantic authority.

The subject-application/result sequence is deliberately acyclic. The common method can identify where subject judgment is needed, but applying it does not establish engineering release, finance reconciliation, strategic consequence, assurance, permission, or other domain meaning. When a receiver needs an overview, completing it afterward preserves that use without replacing the independently governed results that justify it. A sufficient direct answer needs no duplicate completion.

No new kind or primitive relation is needed. Existing epistemes, direct relations, subject results, Work, plans, publications, and representations can carry every required claim. The method contributes a reusable action boundary, not an impact ontology.

SoTA-Echoing

Current problem-solving claimPractice and sourceA.10.1 alignment and working implicationAdoption
Reverify only the slice that can affect the checked property, and reuse an unchanged prior result when its actual dependency is outside the change.Dependency-aware incremental build practice distinguishes actual from declared dependencies (Bazel dependency concepts); change-aware model checking reuses prior results through property-relevant dependency slices (Li, Chen, Huang, and Ding, 2024).Sections 4.3–4.4 require actual receiving-use inspection, action-changing closure, and explicit reuse conditions. A build or program graph is only an analogy: it cannot establish prose meaning or reliance.Adopt and adapt. Adopt dependency-bounded reverification and result reuse; adapt the dependency test to exact claim use and independently governed subject results.
Traceability, heterogeneous-model links, and automated analysis can lower the cost of candidate impact discovery, but conflict and semantic judgment remain explicit.A systems-engineering change-impact case connects heterogeneous model semantics, traceability, conflict handling, and versioning (Wu et al., 2025); SYSE.19 supplies the current FPF-aligned engineering host.Section 4.3 uses traces and tools for source-outward discovery, pairs them with receiver inspection, and treats gaps and unresolved candidates as results rather than hiding them. The calibration case in section 5.1 shows the practical boundary.Adapt. Use tools to find candidates and coverage limits; retain direct-use and subject-authority tests.
Full rerun and pure reachability are conservative only in appearance: they spend effort on unaffected uses while still missing undeclared reliance.Broad rerun and graph-fanout are serious rival practices when the change is genuinely system-wide, but neither is an adequate default impact test at comparable effort.Sections 4.2–4.7 take the cheap stop, bound the frame, add receiver-oriented discovery, and widen only when actual dependent reach or an unresolved coverage gap requires it.Reject as defaults. Retain broad replay only for a genuinely broad frame or when the direct subject pattern requires it.

The practical SoTA contribution is the combination of claim-sized comparison, bounded bidirectional discovery, actual-use classification, dependency-closed reach, reuse of unaffected results, and an acyclic subject-application/result sequence. No one graph, repository, or status vocabulary substitutes for that combination.

Relations

Builds on:

  • C.2.1 for source-episteme identity, claim content, subject, interpretation basis, edition continuity, and publication/carrier separation.
  • A.10 for each exact source-to-use account and its independent RelianceDisposition.
  • A.11 for using existing kinds, relations, results, records, forms, and representations instead of minting an impact ontology.

Coordinates with:

  • G.6 when an addressable evidence or provenance path slice is useful; graph representation remains optional and establishes no reliance.
  • G.11 when currentness, decay, or the completed result justifies a refresh plan or report; G.11's result shape remains unchanged.
  • E.15 as the specialization for changes to one FPF pattern edition, retaining Delta-Class, predecessor-function continuity, proportionate pattern checks, and its candidate-plus-change-account result.
  • B.3 and every direct evidence, truth, causal, choice, authority, permission, gate, release, planning, and Work pattern governing the corresponding results.

Supplies: A practitioner using A.10.1 obtains a bounded discovery-and-reach statement for application of SYSE.19, FIN.17, STR.2, PSD.14, or another direct subject pattern when its actual receiving content relied on the changed claim. The independently governed subject result continues directly to its existing consumers. A common A.10.1 account cites it only when a further receiving question needs that overview.

Constrains: changed-source affected-use discovery and local closure only. A.10.1 creates no new source, relation, graph fact, subject verdict, assurance, authority, permission, release, Work occurrence, plan, or universal status.

A.10.1:End


Last Updated: 2026-09-10 — upstream FPF commit a87d0ef4 (github.com/ailev/FPF)