I’m still concerned that this point hasn’t been addressed:
As Petr says, a PEP doesn’t need to be a complete design document. But where it does include specific details, they should be the right details.
Disabling a branch event after its first firing will make it useless. If I only get low impact monitoring by disabling the event, then I won’t have low-impact branch coverage. Is this OK?
Maybe I’m misunderstanding the centrality of this idea.