fix(cutting): plan support-tabbed perimeters that have a lead-out

Every part the support grid could not hold level got a tabbed perimeter
with the outside lead-out after its tab, and planning refused any lead-out
after its own open cut, so with a lead-out configured no such part could
be planned. Pre-post review already proves such cuts release nothing (the
lead-out stays out of the tab gap); planning now runs the same proof, so
planning and review agree and a lead-out that reaches into the tab is
still refused.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

docs/cutting-planner.md

@@ -508,8 +508,9 @@ or retraced cut) is kept as given with a fixed-lead warning instead; see below.
 no-parameter route retains its narrower compatibility contract and still refuses
 fixed-program violations. A planned lead-out that may bridge a tab, or a malformed
 emitted arc, is refused, not automatically repaired. Tabbed lead-outs leave from the
-trimmed cut end, but a lead-out after an open contour still needs manual review of
-its retention gap, so confirmed-parameters planning refuses it in a planned contour.
+trimmed cut end; planning runs pre-post review's open-cut proof on them (see
+[post verification](post-verification.md)), so a support-tabbed or tabbed perimeter with a
+lead-out that stays out of its tab plans like any other, and one that reaches into it is refused.
 
 ### Fixed emissions warn
 

docs/post-verification.md

@@ -155,8 +155,8 @@ end it leaves, and a lead-in never behind the start it enters. Anything else (pi
 meet exactly, a lead that bridges or curls into a tab, cuts from edge to edge) is reported
 as incomplete, needing manual review. Kerf, tab strength and other parts' cuts are not modeled. Plan
 Cutting runs the same proof, so its own [tabbed cutouts](tabbed-cutouts.md) (pieces without
-lead-outs) pass, but keeps its stricter rule and does not certify its own tabs followed by a
-lead-out. A program that still has a tabbed cutout's `Tab` motions (never planned) is
+lead-outs) pass, and so do its tabbed perimeters followed by a lead-out that stays out of the
+tab. A program that still has a tabbed cutout's `Tab` motions (never planned) is
 incomplete: a post may cut through them.
 
 ## Explicit override