Skip to content

docs: scout open JTS PRs + #1212 in-circle differential lane - #444

Merged
grootstebozewolf merged 1 commit into
mainfrom
docs/jts-open-prs-scout-1212
Aug 5, 2026
Merged

docs: scout open JTS PRs + #1212 in-circle differential lane#444
grootstebozewolf merged 1 commit into
mainfrom
docs/jts-open-prs-scout-1212

Conversation

@grootstebozewolf

@grootstebozewolf grootstebozewolf commented Aug 5, 2026

Copy link
Copy Markdown
Owner

Summary

  • Scout all 49 open locationtech/jts PRs against this corpus; risk/cost rank → P0 mesh-first stack headed by jts#1212.
  • Session 1 (GREEN) of the mesh in-circle lane: differential harness for INCIRCLE_SIGN + Stage A mirror of TrianglePredicate.isInCircleRobust.

Files

Path Role
docs/jts-open-prs-scout-2026-08.md Full 49-PR inventory + picks
docs/jts-1212-incircle-lane-2026-08.md Session outcome
oracle/gen_jts1212_incircle_vectors.py Generator / gate
oracle/jts1212_incircle_vectors.txt 29-vector table

Gate (local)

Vectors: 29
EXPECTED pin failures: 0
Stage A CERTAIN vs oracle conflicts: 0
Stage A UNCERTAIN: 11 (correct declines)
Highlight: jts1212_geos955_subset → Stage A ZERO/UNCERTAIN, oracle POS

Test plan

  • python oracle/gen_jts1212_incircle_vectors.py with WSL oracle_bin (pin POS 1.5; exit 0)
  • Optional: wire as make -C oracle smoke later (not required for merge)

Inventory all 49 open locationtech/jts PRs against the corpus (#64-#69
and related epics), rank by risk/cost, and recommend a P0 mesh-first
stack headed by jts#1212.

Session 1 of the mesh in-circle lane: generate 29 adversarial/pin
vectors from corpus Qed pins and jts#1212 regression sites, gate them
with oracle INCIRCLE_SIGN (b64_inCircle) and a pure-Python Stage A
mirror of TrianglePredicate.isInCircleRobust. GREEN: all EXPECTED pins
match; no CERTAIN Stage A vs oracle sign conflicts; GEOS955 subset
shows Stage A UNCERTAIN while oracle POS (DD fallback necessary).
@grootstebozewolf

Copy link
Copy Markdown
Owner Author

Thanks — LGTM taken.

Nits

  • make -C oracle smoke stays deferred; merge gate remains python oracle/gen_jts1212_incircle_vectors.py exit 0 (self-check + oracle pin).
  • Explicit topic: already on both docs (docs routing + mesh on the lane outcome); no further header churn.

Ready to merge when you are.

@grootstebozewolf
grootstebozewolf merged commit df90f4b into main Aug 5, 2026
4 checks passed
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