-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
615-h · Simplicity/validity rung 5: CP Desc 12–14 + hole containment, MS interiors-disjoint, exact-arithmetic upgrades
Non-urgentMedium priority - valuable but can waitMedium priority - valuable but can waitStatus: Open.#641 In grootstebozewolf/NetTopologySuite.Proofs;615-j · Wrap-up: gates re-run, research-doc final sweep, TRIAGE row, closing summary
ExpectantLower priority - umbrella/meta or long-termLower priority - umbrella/meta or long-termStatus: Open.#625 In grootstebozewolf/NetTopologySuite.Proofs;615-g · IsValid rung 1: arc-aware definite-invalid detection for the cheap clause rules
ImmediateHighest priority - blocking or critical for current RGR/curve workHighest priority - blocking or critical for current RGR/curve workStatus: Open.#623 In grootstebozewolf/NetTopologySuite.Proofs;615-f · Exact point-to-arc Distance: intersect→0 is normative, minimum over the locus
ExpectantLower priority - umbrella/meta or long-termLower priority - umbrella/meta or long-termStatus: Open.#622 In grootstebozewolf/NetTopologySuite.Proofs;615-i · WKT/WKB small print: nested z/m consistency, alternate WKB codes, documented tolerance
ExpectantLower priority - umbrella/meta or long-termLower priority - umbrella/meta or long-termStatus: Open.#621 In grootstebozewolf/NetTopologySuite.Proofs;615-e · Exact arc Envelope: extremes over the locus, not the control points
ExpectantLower priority - umbrella/meta or long-termLower priority - umbrella/meta or long-termStatus: Open.#620 In grootstebozewolf/NetTopologySuite.Proofs;615-c · Intake contract: representability only — drop the clause-less empty-components rejection
ImmediateHighest priority - blocking or critical for current RGR/curve workHighest priority - blocking or critical for current RGR/curve workStatus: Open.#619 In grootstebozewolf/NetTopologySuite.Proofs;615-d · Exact arc Length over the locus + first oracle vectors
ImmediateHighest priority - blocking or critical for current RGR/curve workHighest priority - blocking or critical for current RGR/curve workStatus: Open.#618 In grootstebozewolf/NetTopologySuite.Proofs;615-b · Nested COMPOUNDCURVE: accept and flatten on intake, kill the false SQL/MM attribution
ImmediateHighest priority - blocking or critical for current RGR/curve workHighest priority - blocking or critical for current RGR/curve workStatus: Open.#617 In grootstebozewolf/NetTopologySuite.Proofs;615-a · Captures: Intake vs ISO-validity glossary + the conformance-posture ADR
ImmediateHighest priority - blocking or critical for current RGR/curve workHighest priority - blocking or critical for current RGR/curve workStatus: Open.#616 In grootstebozewolf/NetTopologySuite.Proofs;ISO 13249-3 conformance for the curve foundation branch: types, exact metrics, IsValid lane
ImmediateHighest priority - blocking or critical for current RGR/curve workHighest priority - blocking or critical for current RGR/curve workStatus: Open.#615 In grootstebozewolf/NetTopologySuite.Proofs;- Status: Open.#526 In grootstebozewolf/NetTopologySuite.Proofs;