pub fn validate_proposal(
proposal: &PatchProposal,
mode: RepairMode,
extension_root: Option<&Path>,
) -> Vec<ProposalValidationError>Expand description
Validate a PatchProposal against policy constraints.
Checks:
- Proposal is non-empty.
- All ops are in the allowed tag set for the mode.
- Overall risk does not exceed mode permissions.
- The rule_id references a known rule (if non-empty).
- Module paths stay within the extension root (monotonicity).