E.9.DA:4.2 - Optional exact evaluation application, Work, result, and record

DRRDecisionAdequacyEvaluationConfiguration:
  DRRVersionRef: <exact C.2.1 DRR episteme>
  DRRDeclaredAuthoringUse: <drafting | amendment | distribution | source-use carry-through | accepted-decision carry-through | split or hold decision>
  RequiredAuthoringUseSource: <review request | accepted decision | E.22 question frame>
  ClaimScopeRef: <exact U.ClaimScope>
  DRRSelectedLocusDispositionMap: <locus -> selected responsibility, explicit non-responsibility, sibling decision, or outside-decision disposition>
  DRRDecisionAdequacyQualificationWindow: <source, edition, neighbour, currentness window>
  EffectiveCoordinateFloorMap: <default every required coordinate -> 3; any higher floor declared before evaluation;
    source for each value: E.9.DA default | exact raising source>
  DRRDecisionAdequacyCharacteristicSpaceRef: <exact A.19 space>
  DRRDecisionAdequacyEvaluationSpecRef: <this E.9.DA specification edition>
  SemanticEvaluationMethodRef?: <exact U.Method; include only when the receiving claim uses its identity;
    required when AssessmentWorkAdmission is present>
  DRRDecisionAdequacyEvidenceBasis: <checked loci and explicitly missing or unchecked loci;
    for a reusable result, include the bounded omitted-question search basis>

DRRDecisionAdequacyAssessmentApplication?:
  EvaluationConfigurationRef:
  A6_1ApplicationAndBindingRefs: <exact application, actual checked-object and configuration inputs,
    coordinate-result outputs, and aggregate-result output used by this application>
  WorkApplicationRelationRef?: <include only when a separately defined relation between this
    application and admitted Work is current and its predicate obtains>
  ReturnedCoordinateResultRefs:
  AggregateResultRef:

AssessmentWorkAdmission?: <omit when no dated U.Work is asserted;
  when present, every non-optional field below is required>
  AssessmentApplicationRef: <same exact A.6.1 application>
  AssessmentWorkRef: <one dated U.Work independently admitted under A.15.1>
  AssessmentWorkInterval:
  AssessmentContainingSystemRef: <exact U.System>
  SemanticEvaluationMethodRef: <exact U.Method>
  EnactedMethodRef: <same SemanticEvaluationMethodRef>
  EvaluatorSystemRef: <the admitted U.System that actually performs the Work>
  EvaluatorA13CoreBasisRef: <exact local agential kind and criterion, classification,
    obtaining assignment, scope, working situation, window, and adequate core evidence;
    add a characteristic profile only when its own receiving use consumes it>
  EvaluatorSystemRoleAssignmentSpeciesRef: <the declared assignment species and all
    identity-bearing participant positions used by EvaluatorA13CoreBasisRef>
  EvaluatorSystemRoleAssignmentRef: <the same obtaining assignment occurrence with all
    declared participant values>
  AssignmentHolderCheck: <the occurrence holder is EvaluatorSystemRef>
  AssignmentPredicateCheck: <the declared assignment predicate obtains for all declared
    participant values>
  AssignmentInterval: <the uninterrupted interval in which the species predicate obtains>
  AssignmentCoverageCheck: <AssessmentWorkInterval is covered by AssignmentInterval>
  PerformedUnderAssignmentRef?: <include only when precise assignment-bound attribution is
    current; cite the direct case fact that EvaluatorSystemRef performed AssessmentWorkRef
    under the same EvaluatorSystemRoleAssignmentRef, then use F.6 after holder equality,
    the declared species and participants, the assignment predicate, and interval coverage
    above obtain>
  AdditionalEvaluatorSystemRoleClassificationRef?: <optional additional neighbouring A.2
    and C.3.2 claim, not the classification already required by the A.13 core; neither the
    assignment nor Work establishes it>

DRRDecisionAdequacyResultEpisteme:
  EntityOfConcern: <same exact DRRVersionRef>
  EffectiveReferenceScheme:
  ClaimGraph:
    DeclaredAuthoringUse:
    RequiredAuthoringUseSource:
    QualificationWindow:
    EffectiveCoordinateFloorMap: <map and source>
    CoordinateTable: <all coordinates, values, adjacent-value rationales, evidence loci>
    BoundedOmittedQuestionSearch: <checked basis and any answer-changing question found>
    PrecisionRestorationProfile?: <only when the requested reusable result or named reliance consumes it>
    KindRestorationChecks?: <for repairs that can change FPF-governed meaning when this result consumes the exact check>
    OnticCandidateDisposition: <when triggered>
    CampaignProblemSolutionUnfoldingCheck: <when triggered>
    DRRDecisionAdequacyStatus:
    FirstDraftingActionOrFirstRepair:
    MostExpansiveNonAdmissibleOverread?: <only when an independent local ground makes one competing reading plausible and action-changing>
    StopOrRepairCondition:
    ReopenIf:
  WitnessRefs:
  EvidenceUseRelationRefs:

An optional DRRDecisionAdequacyRecordRef may package refs to the configuration, semantic Method when used, assessment application when used, Work admission when asserted, result episteme, witnesses, evidence-use relations, publication, and currentness. Establish any assessment application or Work through its own applicable conditions. Coordinate claims, evidence use, assurance, F.10 status use, acceptance, and downstream authorization each need their own basis.

When a viewpoint or grounding claim matters to the reliance, name its basis separately. Evaluator identity, record packaging, and source labels do not by themselves give the result that viewpoint or grounding.

E.22 may frame whether the evaluation is floor-only, exceptional-improvement, trade-off, open-question, absorption, or proposal-producing and may raise a floor before evidence is judged. Keep the required authoring use fixed after evidence appears. E.23 governs later repeated improvement work on the checked DRR after result claims or findings exist.