E.17.EFP:9 - Consequences
- Explanation classes become explicit and reviewable.
- Existing MVPK face discipline stays intact.
- The ordinary result stays compact; exact pins, provenance, trace, reader-model, and evidence details appear only for the concrete use that consumes them.
- The boundary to interpretation, retargeting, and world or gate work becomes easier to review.