Tagged control-traceability