Skip to content

docs: JTS #1093 Ozaki orientation filter lane (GREEN) - #448

Merged
grootstebozewolf merged 1 commit into
mainfrom
docs/jts-1093-orient-lane
Aug 5, 2026
Merged

docs: JTS #1093 Ozaki orientation filter lane (GREEN)#448
grootstebozewolf merged 1 commit into
mainfrom
docs/jts-1093-orient-lane

Conversation

@grootstebozewolf

Copy link
Copy Markdown
Owner

Summary

  • Complete the orientation lane for locationtech/jts#1093 (Ozaki et al. production orientation filter).
  • Expand the scout to a three-way Stage A mirror: JTS-master (DP_SAFE_EPSILON = 1e-15) vs Ozaki (#1093) vs corpus Shewchuk Stage A (ccwerrboundA), gated on ORIENT_EXACT.
  • GATE GREEN on 45 vectors: 0 CERTAIN vs exact conflicts for all three filters; Ozaki CERTAIN while master UNCERTAIN on 4 same-sign band cases; Ozaki ↔ corpus Shewchuk certainty splits 0.

Files

Path Role
oracle/gen_jts1093_orient_scout.py Three-way Stage A mirror + oracle/FFI gate
oracle/jts1093_orient_vectors.txt 45-vector table
docs/jts-1093-orient-lane-2026-08.md Session write-up
tests/Discussion839Mre/jts-1093-comment.md Draft comment for jts#1093
docs/jts-open-prs-scout-2026-08.md / docs/ffi-rungs-2026-08.md Status → GREEN

Gate (local WSL)

Vectors: 45
EXPECTED pin failures: 0
Ozaki / Shewchuk / JTS-master CERTAIN vs exact conflicts: 0 / 0 / 0
Ozaki tighter than JTS-master: 4
GATE: GREEN

Test plan

Three-way Stage A gate (JTS-master 1e-15 / Ozaki / corpus Shewchuk) vs
ORIENT_EXACT: 45 vectors, 0 CERTAIN conflicts; Ozaki tighter than master
on 4 same-sign band cases. Session write-up + PR comment draft.
@grootstebozewolf
grootstebozewolf merged commit 2d9eeed into main Aug 5, 2026
4 checks passed
@grootstebozewolf
grootstebozewolf deleted the docs/jts-1093-orient-lane branch August 5, 2026 01:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant