C.29:4.5d - When a source changes the used result

C.29 separates source-use relations from source-use disposition. Adopt, Adapt, Reject, and candidate-stress-test disposition say what FPF does with the source; SourceUseRelation says what work the source may perform inside a C.29 application.

Local SourceUseRelation slot discipline:

source material reference or locator;
declared C.29 output, lens-use boundary, or LensUseBoundaryValue affected by that source;
source-use disposition for the substantive use: adopt, adapt, reject, candidate stress test or recognition cue;
currentness, supersession, contradiction, narrowing, or demotion condition;
output-change condition for the C.29 result;
stop or return condition, and any blocked overread that passes F.19’s plausible-reader test.

`SourceUseRelation`	Declared `C.29` use	Use boundary or return
`recognitionCue`	Help the reader notice an invariant, obstruction, symmetry, duality, state variable, scale cue, or comparison cue.	For evidence, truth, ontology, a causal-use verdict, assurance, or release confidence, establish that separate claim and its basis through its subject pattern.
`candidateLensPrompt`	Suggest a first candidate lens family or mathematical object to test against the problem cue being repaired.	Test a candidate cheaply when it could change the next lens-use action; require use of that lens only after its contribution is established.
`adequacyControlSource`	Discipline preserved structure, lost structure, stop condition, validation regime, or neighboring-pattern application.	Satisfy C.29’s field requirements and the applicable subject pattern for the resulting claim.
`validationBoundarySource`	Constrain the declared validation regime, evaluation slice, uncertainty, failure case, or domain of applicability.	An evidence relation, assurance claim, benchmark result, or release confidence requires its own basis and subject-pattern result.
`acceptedDomainTheory`	Permit local use inside a domain where the theory is already the governing local formalism.	For cross-context ontology import or broader transfer, establish the needed evidence relation and a stop condition; apply `F.9` when semantic correspondence between local senses is needed.
`proofUnderAssumptions`	Justify a formal property under stated assumptions.	A formal proof can support a real-world-adequacy claim only when its assumptions, observations, and evidence relation are also established, together with any needed semantic Bridge.
`negativeExample`	Expose failure, obstruction, non-transfer, counterexample, or stop condition.	Scope the result to the demonstrated failure and its return condition.
`rivalLensSource`	Name a principal rival lens or relation that changes the bounded lens-use action being made.	Keep the principal-rival choice bounded to the current lens-use action. Undertake a literature review, or establish a selector or benchmark result, only for that separately current question.