Deterministic human-readable reporting for ExecSurface verdict evidence.
M6 deliberately does not synthesize SARIF source locations. Runtime effects are rendered to a job summary and a JSON evidence artifact instead.