The Y intersection had a real I3 violation that the M0.3 centroid-
only check missed (parcels 0 and 7 overlapped by ~64.5 m²). This
commit:
- adds geo 0.28 as a dependency
- replaces y_intersection_no_overlaps's centroid-in-polygon check
with a rigorous polygon-polygon intersection test using
geo::BooleanOps; adds rectangle_no_overlaps_rigorous as a
positive-control test for the rectangle case
- adds cleanup_block_parcel_overlaps pass at the end of
subdivide_block: iterate parcels in placement order (corners
first, regulars after), subtract previously-claimed territory
from each via geo's polygon difference, drop empties, recover
frontage edge index and edge_kinds for survivors
- snaps polygon coords to a 1mm grid before handing to geo (helps
geo's sweep-line invariants); strips collinear-triple and
near-zero-length-edge artifacts from boolean output before
feeding back into Polygon::new strict
- wraps difference/union calls in catch_unwind so geo's
occasional sweep-line panic on degenerate inputs falls back to
a no-op instead of crashing subdivision
Test status: 24 unit + 24 integration + 1 doc passing. Y figure
visually cleaner — every parcel sits inside its own sub-block, no
visible overlap between sub-blocks.
Self-decisions checklist progress: rigorous I3 testing landed
(checklist item ✓).
Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
Y-intersection had a real I3 overlap at acute corners, caught by a
new programmatic centroid-in-other-polygon test
(y_intersection_no_overlaps). Fix: bisector-clip regular parcels
adjacent to acute corners (interior < 60°). Obtuse corners keep
their rectangle/parallelogram corner parcels and need no clip.
Minimum-change deformation: when a road's *line* doesn't change —
only its endpoints shift along the same line, e.g., the bottom road
gets longer when its right endpoint moves outward — parcels whose
frontage is still on the new segment are reported as Untouched and
keep their absolute coordinates. Only parcels on a road that
actually rotated get re-projected. Trade-off: vertex-exact
inverse-restore is no longer guaranteed (centroid drift bounded by
edit delta is the new contract).
SplitSegment preserve: rebind frontage_road for parcels whose
frontage is entirely on one side of the split point, or split into
two parcels along a perpendicular through the split point for
parcels that span. road_split_preserves test is now active and
passing. acute_intersection_15deg/5deg also active.
Test status: 24 unit + 20 integration + 1 doc passing; only
cul_de_sac and curved_road_high_curv still ignored (need real curved
roads). Journal §11 session 3 entry added with D14, D15, D16, two
spec deviations, and the milestone-0.4 queue.
Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
Tracked files dropped from 11,756 to ~40 by adding .gitignore and
removing target/, *.aux/log/etc, and .DS_Store from the index.
Code changes since the initial commit:
- Milestone 0.2 (corner parcel rework, sticky back edges,
preserve-on-deform pipeline, performance instrumentation, new
Y-intersection and edit before/after figures, journal §11
session 2 entry).
- Milestone 0.3 in progress: I3 overlap fix at acute corners
(programmatic test caught a real I3 violation in the Y figure;
fixed by bisector-clipping regular parcels adjacent to acute
corners), minimum-change deformation (parcels on a road whose
*line* didn't change are skipped — only parcels on a road whose
direction changed are deformed).
Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
