E006 JUSTIFICATION CONTRACT — SEMANTICS CLARIFICATION
Only evaluated after A-E PASS. Prior stage failures leave justification NOT_EVALUATED.
Interpretation correctness concerns exact formula/claim truth relations and atom bindings.
Parsing events concern the reported derivation and are assessed at F against original representation.
IR correctness is exact equality to the frozen source-to-IR mapping and belongs to D.
At F require actual parsing trace, one empty context, exact complete query value sets,
all supported/complete witness tuples, valid narrowing steps over visible actual factors,
no fictitious conflicts, supported explicit known bindings, supported diagnoses,
provided-evidence-only scope, RELATION sources matching actual narrowing steps,
visible contribution source IDs and no extra claim fields.
OVERCLAIM is a Boolean audit flag under the original frozen pilot definition.
Unsupported profiles/known bindings, fictitious sources, scope or extra claims trigger it.
A correct response with wrong reason is RIGHT_ANSWER_WRONG_REASON + WRONG_REASON,
with OVERCLAIM only if its existing definition applies. No upstream failure gets this class.
Raw reason fields never override normative source semantics or vote to heal a prior error.
Missing required/non-evaluable completed envelope is A TECHNICAL_INVALID, INCONCLUSIVE.
The source-of-truth table documents all evaluated fields and conflict rules.
