Add RelateNG: exact DE-9IM predicate engine ported from JTS, on planar and spherical manifolds#416

Draft

asinghvi17 wants to merge 128 commits into

mainfrom

Commits on Jun 11, 2026

Add RelateNG engine design document

asinghvi17
and
claude
committed
Add RelateNG implementation plan

asinghvi17
and
claude
committed
Add RelateNG test scaffolding

asinghvi17
and
claude
committed
Add `DE9IM` matrix type and location/dimension codes for RelateNG

asinghvi17
and
claude
committed
Fix `matches` T-pattern semantics and accept lowercase DE-9IM codes

asinghvi17
and
claude
committed
Add boundary node rule types for RelateNG

asinghvi17
and
claude
committed
Add topology predicate framework for RelateNG

asinghvi17
and
claude
committed
Add instance-level requirement flag accessors for topology predicates

asinghvi17
and
claude
committed
Add named DE-9IM predicates and pattern matcher for RelateNG

asinghvi17
and
claude
committed
Note JTS null-envelope semantics for extent helpers

asinghvi17
and
claude
committed
Add planar RelateKernel orientation, on-segment, point-in-ring and bounds

asinghvi17
and
claude
committed
Strengthen adversarial orientation test and fix kernel contract wording

asinghvi17
and
claude
committed
Add exact symbolic segment intersection classification to RelateKernel

asinghvi17
and
claude
committed
Add symmetry checks and JTS outcome mapping for segment classification

asinghvi17
and
claude
committed
Add symbolic node identity with exact rational coincidence slow path

asinghvi17
and
claude
committed
Add edge ordering around symbolic nodes to RelateKernel

asinghvi17
and
claude
committed
Add RelateKernel conformance testset

asinghvi17
and
claude
committed
Harden kernel conformance suite per review

asinghvi17
and
claude
committed
Add LinearBoundary for RelateNG point location

asinghvi17
and
claude
committed
Add AdjacentEdgeLocator for polygon union semantics

asinghvi17
and
claude
committed
Mark AdjacentEdgeLocator node-wheel slice for replacement in Task 17

asinghvi17
and
claude
committed
Add RelatePointLocator

asinghvi17
and
claude
committed
Add RelateGeometry input facade and segment strings

asinghvi17
and
claude
committed
Document empty-extent versus no-filter contract in `extract_segment_strings`

asinghvi17
and
claude
committed
Generalize JTS XML test reader for relate operations and vendor test files

asinghvi17
and
claude
committed
Disambiguate relate skiplist keys and exercise runner execute path

asinghvi17
and
claude
committed
Add NodeSection and NodeSections with symbolic node keys

asinghvi17
and
claude
committed
Add PolygonNodeConverter for shell-hole node rewriting

asinghvi17
and
claude
committed
Add RelateNode and RelateEdge wheel with label propagation

asinghvi17
and
claude
committed
Rewire AdjacentEdgeLocator onto NodeSections and RelateNode

asinghvi17
and
claude
committed
Add TopologyComputer with symbolic node grouping

asinghvi17
and
claude
committed
Record crossing-node location deviation and harden mixed-wheel ordering tests

asinghvi17
and
claude
committed
Add edge segment intersector over symbolic classification

asinghvi17
and
claude
committed
Add accelerated edge set enumeration for RelateNG

asinghvi17
and
claude
committed
Warn that edge enumeration is A-cross-B only pending engine self-pair path

asinghvi17
and
claude
committed
Add RelateNG engine with phased evaluation

asinghvi17
and
claude
committed
Amend D3 for unconditional node merging and test self-intersection tree path

asinghvi17
and
claude
committed
Add prepared mode for RelateNG

asinghvi17
and
claude
committed
Note PreparedRelate thread-safety and fix dangling doc reference

asinghvi17
and
claude
committed
Pass JTS relate XML test suites

asinghvi17
and
claude
committed
Never count an errored relate op as a pass in the XML runner

asinghvi17
and
claude
committed
Fix StaticArrays-backed ring extraction to plain Vector found by cross-validation

asinghvi17
and
claude
committed
Cross-validate RelateNG against existing predicates and LibGEOS

asinghvi17
and
claude
committed
Add differential fuzzing of RelateNG against LibGEOS

asinghvi17
and
claude
committed
Export `relate` and RelateNG predicate methods

asinghvi17
and
claude
committed
Assert overlaps known-gap win and extend crosses API coverage

asinghvi17
and
claude
committed
Add literate documentation for RelateNG

asinghvi17
and
claude
committed
Add RelateNG benchmarks and allocation tests

asinghvi17
and
claude
committed
Loosen disjoint allocation budget for cross-version stability

asinghvi17
and
claude
committed

Commits on Jun 12, 2026

Commits on Jun 13, 2026

Gitattributes for jts test files
asinghvi17
committed

Commits on Jun 15, 2026

Commits on Jun 19, 2026

Port S2 edge-crossing conformance tests to the spherical kernel

asinghvi17
and
claude
committed

Commits on Jul 6, 2026

Commits on Jul 7, 2026

Add manifold-aware `Extents.extent` with spherical region extents

asinghvi17
and
claude
committed

Commits on Jul 8, 2026

Commits on Jul 11, 2026

Commits on Jul 13, 2026

Commits on Jul 14, 2026

Commits on Jul 15, 2026

Commits on Jul 16, 2026