Discover and propose exits after failed checks
ProprietaryDiscover protected CALL and PERFORM operations and their preceding checks throughout the input source set. Derive program identities, both statement locations and COPY snapshots. Reuse the existing failed-check continuation and terminal-exit proofs. Preserve original failure actions and append a jump only when the failed condition reaches the protected operation. Locate candidates by syntax identity after earlier insertions. Record unsupported or missing proofs without inventing findings. Supply all five policy options to propose changes. Omit all five to inventory CALL and PERFORM candidates without edits. No source files, program IDs, statement lines or source hashes are required. Application team review remains required.
io.Optional
Root-first dotted level-88 declaration required at every matching protected operation in the input source set. This is an approved interface requirement. The recipe resolves the declaration in each program.
PERFORM selects calls to a local paragraph. CALL selects literal native routine calls. Iteration, unresolved targets and unknown effects cannot establish the proof.
Unqualified paragraph name or exact native routine literal contents covered by the reusable success requirement. Every matching use is considered. No source path or statement location is supplied.
Existing paragraph approved after every matching failed check's original actions. The policy must approve skipping the failed continuation and preserve cleanup, messages and transaction behavior. An optional IN or OF section qualifier is supported. The recipe independently proves termination.
Provenance of the reusable success requirement and failure exit covering every matching use in the input source set. The recipe records this approval and does not infer business semantics from field or paragraph names.
mod run .Install it once from Recipe actions, then run it on every repository under the current directory. New to the Moderne CLI? Set it up.