hhimanshu-jha/geojson-topology-proofv0.1.0Public
Geojson topology proof
Statically proves key GeoJSON geometry invariants before spatial ingestion.
Read the full description
Parallel probes validate coordinate domains, ring closure and winding, segment self-intersections, and hole containment plus antimeridian and bbox consistency; the synthesis join reports precise feature and coordinate witnesses. Omit input to use the bundled adversarial demo, or pass input=path for fresh evidence. It is read-only, deterministic, network-free, and Python-standard-library-only.
Before you run it1 local tool
Everything here is checked on your machine when rote inspects the play. This page never learns what you have installed or which credentials you hold.
- ○python3local tool
Requires >=3.8. Run rote play inspect to check your host; unverified versions remain unknown.
Inputs1, all optional
rote asks for these before running and shows the defaults it will use.
- Input
inputLocal input path, absolute or relative to the invocation directory. Omit it to analyze the bundled demo resource.
optionalstringexampleevidence/input.jsoncustom value allowed
What it changes
No write operations are declared in this version's manifest.
Credentials remain in the recipient's local rote vault; this page and the publisher never receive them.
Runtime details
- rote CLIversion 0.62.0 or newer
- Servicesnone declared
- Digest
sha256:5d6d9247d856280870a47ccf8d0b6725392bfb3692e970f2f143a37f1b9e95c0 - Archive size17610 bytes
- Published2026-09-04T12:28:40.490348+00:00
- Published withrote 0.78.0
Credential values and current readiness remain local. Opening this page never prompts for a credential, opens an authorization browser, or calls a service this play uses.
A play is a published, versioned automation package that runs on your own machine through rote, a free command-line tool. Opening this page installs nothing and runs nothing.