Fold finmod feedback (rounds 1-2) into the verbatim fleet-law fixes - #409

Merged

ptr727 merged 5 commits into

verifdiscipline-generic-and-audit-clone-note

Jul 23, 2026

Commits on Jul 23, 2026

Generalize two Verification Discipline cross-refs; document the audit's full-clone need

ptr727
and
claude
committed
dcc199c
Address Copilot round 1: describe the verify-against-main fallback without a fragile command

ptr727
and
claude
committed
f39d487
Address Copilot round 2: the allowlist example fails loud, not closed

ptr727
and
claude
committed
08d1a4e
Fold finmod round-2 feedback into the verbatim fleet-law fixes

ptr727
and
claude
committed
c3924dc
Address Copilot: hard-fail ruleset_id at the per_page cap

ptr727
and
claude
committed
954a947