prosecutor-contractP5 contract lens subagent; invoked by /adlc:adlc-prosecute or prosecutor — do not invoke directly.
prosecutor-correctnessP5 correctness lens subagent; invoked by /adlc:adlc-prosecute or prosecutor — do not invoke directly.
prosecutor-diffP5 spec-vs-implementation lens subagent; invoked by /adlc:adlc-prosecute or prosecutor — do not invoke directly.
prosecutor-securityP5 security lens subagent; invoked by /adlc:adlc-prosecute or prosecutor — do not invoke directly.
prosecutor-testsP5 test-audit lens subagent; invoked by /adlc:adlc-prosecute or prosecutor — do not invoke directly.
prosecutor-verifierP5 verifier subagent; invoked by /adlc:adlc-prosecute or prosecutor — do not invoke directly.
prosecutorADLC P5 prosecutor. Use before merging a change to prosecute it — prove the tests are load-bearing (not hollow), that behavior changes are visible, and that the review would actually catch a planted defect. Invoke when asked to "prosecute", "is this safe to merge", "are these tests real", or as the