the conditional Normative Inductor theorem names only what it uses

agent-decided, reversible. EndToEndHypotheses.end_to_end is removed: six of its fields were opaque predicates returned unchanged in its conclusion and consumed by nothing. Its replacements, NormativeInductionInterface.Evaluation.conditional_normative_inductor and deductive_normative_inductor, are typed on the Integrity export and name only hypotheses their proofs consume; the second derives the uptake certificate from the registered effective end-to-end theorem's conformance. Integrity and Robust Openness enter the NI theorem through the type of the evaluation, not as predicates. Rejected alternative: relabelling the structure as a diagnostic and keeping it.