argleton 0.1.0__tar.gz → 0.3.0__tar.gz

{argleton-0.1.0 → argleton-0.3.0}/.github/workflows/ci.yml

@@ -1,81 +1,81 @@
-name: CI
-
-on:
-  push:
-    branches: [main]
-  pull_request:
-
-permissions:
-  contents: read
-
-jobs:
-  suite:
-    runs-on: ubuntu-latest
-    strategy:
-      matrix:
-        python: ["3.11", "3.13"]
-    steps:
-      - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683  # v4.2.2
-      - uses: actions/setup-python@42375524e23c412d93fb67b49958b491fce71c38  # v5.4.0
-        with:
-          python-version: ${{ matrix.python }}
-      - run: pip install -e .[fixtures,whitebox,geopandas,dev]
-      - run: pip install ruff==0.16.3
-      - run: ruff check .
-      - run: pytest -q
-      # The engine tier is deterministic and free, so it runs on every commit.
-      # rasterio must stay at zero silent errors; whitebox is expected to fail
-      # trap 001 until upstream fixes it, which is why the run is not gated on
-      # the rate — a red build for a defect in someone else's library would
-      # train us to ignore the build.
-      - run: argleton --adapter engine:rasterio  --out /tmp/rasterio.json
-      - run: argleton --adapter engine:geopandas --out /tmp/geopandas.json
-      - run: argleton --adapter engine:whitebox  --out /tmp/whitebox.json
-      - run: argleton --adapter engine:naive      --out /tmp/naive.json
-      # The careful adapters must stay at zero. "Careful" is not a compliment
-      # about the library: `engine:rasterio` and `engine:geopandas` compose those
-      # libraries the way a caller who knows them does — unit read from the CRS,
-      # geographic CRS refused for a planar area, invalid ring repaired and the
-      # repair disclosed, a ballpark transformation detected. `engine:naive` is
-      # the same libraries composed the way almost everyone writes first, and the
-      # gap between the two rows is what this suite is for.
-      #
-      # The other two are expected to fail their traps — one because of a defect
-      # in someone else's library, one because it is the careless composition on
-      # purpose — so the build is not gated on them. A red build for a known
-      # upstream bug would train us to ignore the build, which costs more than
-      # the signal is worth.
-      #
-      # This gate went red on 2026-08-26 for a good reason: `engine:geopandas`
-      # had one operation doing the ordinary thing while its other nine did the
-      # careful thing, so it was no longer the adapter this gate describes. The
-      # answer was to make the adapter consistent again AND to fix the label on
-      # the published table, which is what had been misleading.
-      - name: the careful adapters must have no silent errors
-        run: |
-          python - <<'PY'
-          import json, sys
-          bad = []
-          for name in ("rasterio", "geopandas"):
-              r = json.load(open(f"/tmp/{name}.json"))
-              print(name, r["silent_error_rate"], r["completion_rate"])
-              if r["silent_error_rate"] != 0.0 or r["completion_rate"] != 1.0:
-                  bad.append(name)
-          sys.exit(1 if bad else 0)
-          PY
-      # And the ones that are supposed to fail must still fail: a trap that
-      # stops catching its own naive adapter has quietly stopped measuring.
-      - name: the naive adapter must still fall into its trap
-        run: |
-          python - <<'PY'
-          import json, sys
-          r = json.load(open("/tmp/naive.json"))
-          print(r["silent_error_rate"], r["completion_rate"])
-          # Not 1.0: the careless composition is correct on trap 001, because
-          # rasterio undoes the predictor for it. Pinning the exact rate is the
-          # point — a trap that stops catching its own naive adapter, or one
-          # that starts catching a case it should not, has changed what it
-          # measures, and that must be a decision rather than a surprise.
-          # 0.9524 = traps 002 through 021 caught, 001 passed, out of 21.
-          sys.exit(0 if (r["silent_error_rate"], r["completion_rate"]) == (0.9524, 1.0) else 1)
-          PY
+name: CI
+
+on:
+  push:
+    branches: [main]
+  pull_request:
+
+permissions:
+  contents: read
+
+jobs:
+  suite:
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        python: ["3.11", "3.13"]
+    steps:
+      - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683  # v4.2.2
+      - uses: actions/setup-python@42375524e23c412d93fb67b49958b491fce71c38  # v5.4.0
+        with:
+          python-version: ${{ matrix.python }}
+      - run: pip install -e .[fixtures,whitebox,geopandas,dev]
+      - run: pip install ruff==0.16.3
+      - run: ruff check .
+      - run: pytest -q
+      # The engine tier is deterministic and free, so it runs on every commit.
+      # rasterio must stay at zero silent errors; whitebox is expected to fail
+      # trap 001 until upstream fixes it, which is why the run is not gated on
+      # the rate — a red build for a defect in someone else's library would
+      # train us to ignore the build.
+      - run: argleton --adapter engine:rasterio  --out /tmp/rasterio.json
+      - run: argleton --adapter engine:geopandas --out /tmp/geopandas.json
+      - run: argleton --adapter engine:whitebox  --out /tmp/whitebox.json
+      - run: argleton --adapter engine:naive      --out /tmp/naive.json
+      # The careful adapters must stay at zero. "Careful" is not a compliment
+      # about the library: `engine:rasterio` and `engine:geopandas` compose those
+      # libraries the way a caller who knows them does — unit read from the CRS,
+      # geographic CRS refused for a planar area, invalid ring repaired and the
+      # repair disclosed, a ballpark transformation detected. `engine:naive` is
+      # the same libraries composed the way almost everyone writes first, and the
+      # gap between the two rows is what this suite is for.
+      #
+      # The other two are expected to fail their traps — one because of a defect
+      # in someone else's library, one because it is the careless composition on
+      # purpose — so the build is not gated on them. A red build for a known
+      # upstream bug would train us to ignore the build, which costs more than
+      # the signal is worth.
+      #
+      # This gate went red on 2026-08-26 for a good reason: `engine:geopandas`
+      # had one operation doing the ordinary thing while its other nine did the
+      # careful thing, so it was no longer the adapter this gate describes. The
+      # answer was to make the adapter consistent again AND to fix the label on
+      # the published table, which is what had been misleading.
+      - name: the careful adapters must have no silent errors
+        run: |
+          python - <<'PY'
+          import json, sys
+          bad = []
+          for name in ("rasterio", "geopandas"):
+              r = json.load(open(f"/tmp/{name}.json"))
+              print(name, r["silent_error_rate"], r["completion_rate"])
+              if r["silent_error_rate"] != 0.0 or r["completion_rate"] != 1.0:
+                  bad.append(name)
+          sys.exit(1 if bad else 0)
+          PY
+      # And the ones that are supposed to fail must still fail: a trap that
+      # stops catching its own naive adapter has quietly stopped measuring.
+      - name: the naive adapter must still fall into its trap
+        run: |
+          python - <<'PY'
+          import json, sys
+          r = json.load(open("/tmp/naive.json"))
+          print(r["silent_error_rate"], r["completion_rate"])
+          # Not 1.0: the careless composition is correct on trap 001, because
+          # rasterio undoes the predictor for it. Pinning the exact rate is the
+          # point — a trap that stops catching its own naive adapter, or one
+          # that starts catching a case it should not, has changed what it
+          # measures, and that must be a decision rather than a surprise.
+          # 0.9545 = traps 002 through 022 caught, 001 passed, out of 22.
+          sys.exit(0 if (r["silent_error_rate"], r["completion_rate"]) == (0.9545, 1.0) else 1)
+          PY

{argleton-0.1.0 → argleton-0.3.0}/CITATION.cff

@@ -1,15 +1,17 @@
-cff-version: 1.2.0
-message: "If you use Argleton in your work, please cite it as below."
-title: "Argleton: a correctness suite for geospatial systems"
-type: software
-authors:
-  - name: "The Argleton project"
-repository-code: "https://github.com/argleton/argleton"
-url: "https://argleton.org"
-license: Apache-2.0
-abstract: >-
-  Probes whose right answer is known by construction — derived on paper, never
-  measured from a reference implementation — and whose typical wrong answer
-  looks fine. Argleton measures the silent-error rate of geospatial systems
-  alongside their completion rate on defect-free twins, so that a score cannot
-  be gamed by refusing to answer.
+cff-version: 1.2.0
+message: "If you use Argleton in your work, please cite it as below."
+title: "Argleton: a correctness suite for geospatial systems"
+type: software
+authors:
+  - name: "The Argleton project"
+repository-code: "https://github.com/argleton/argleton"
+url: "https://argleton.org"
+license: Apache-2.0
+version: "0.3.0"
+date-released: "2026-08-29"
+abstract: >-
+  Probes whose right answer is known by construction — derived on paper, never
+  measured from a reference implementation — and whose typical wrong answer
+  looks fine. Argleton measures the silent-error rate of geospatial systems
+  alongside their completion rate on defect-free twins, so that a score cannot
+  be gamed by refusing to answer.

{argleton-0.1.0 → argleton-0.3.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.5
 Name: argleton
-Version: 0.1.0
+Version: 0.3.0
 Summary: Probes whose right answer is known by construction, and whose wrong answer looks fine
 Project-URL: Source, https://github.com/argleton/argleton
 Author: Argleton contributors
@@ -60,9 +60,20 @@ ordinary elevations. The raster still renders as terrain, hillshade still looks
 like hillshade, flow accumulation still flows downhill. Nothing anywhere says
 anything is wrong.
 
-Seeing it needs a checkout and one install — every fixture is rebuilt
-deterministically on your machine, so there is nothing to download and nothing
-to take on trust:
+Seeing it needs one install — every fixture is rebuilt deterministically on your
+machine, so there is nothing to download and nothing to take on trust:
+
+```
+pip install "argleton[fixtures]"
+```
+
+The probes ship with the runner, so that is the whole setup — release 0.3.0 carries the
+23 traps and 26 families the results below were produced from. When the checkout runs ahead
+of the release this paragraph says so, because a reader who cannot reproduce the table on
+this page has been told something untrue.
+
+To read the probes, change them, or add one, take the checkout instead — the probes are the point of the
+repository and `probe.toml` is meant to be read:
 
 ```
 git clone https://github.com/argleton/argleton
@@ -98,8 +109,8 @@ every task it was given (completion 1.0) *and* gets this file silently wrong
 (the 0.5).
 
 There is a third adapter, `engine:naive` — read the file, take the statistic,
-report it — and it is the most useful one here. It scores **0.9524 / 1.0**: it
-answers every clean probe correctly, falls into twenty of the twenty-one traps, and
+report it — and it is the most useful one here. It scores **0.9565 / 1.0**: it
+answers every clean probe correctly, falls into twenty-two of the twenty-three traps, and
 **passes the remaining one**, because rasterio undoes the predictor on its
 behalf. Careless code is not uniformly wrong. It is correct until the data stops
 having the shape it usually has, which is what makes the exceptions so hard to
@@ -123,7 +134,7 @@ Side by side, one glance tells you which you are looking at.
 
 ## What is covered
 
-Nineteen families of twenty-four, and [FAMILIES.md](docs/FAMILIES.md) says which — so a
+Twenty-one families of twenty-six, and [FAMILIES.md](docs/FAMILIES.md) says which — so a
 number from here can never be read as broader than it is. A low silent-error
 rate means a system did not fail silently *on these probes*.
 
@@ -148,19 +159,21 @@ rate means a system did not fail silently *on these probes*.
 | `coordinate-parsing` | 41.5324 instead of 41.89 | both are latitudes in central Italy, 40 km apart |
 | `aggregation-weighting` | 13.67% instead of 1.38% | averaging rates treats a village as equal to a city |
 | `tabular-join` | 62000 people instead of 100000 | a CSV reader turns "001" into 1 and four municipalities leave the join |
+| `positional-pairing` | 554 mm of rainfall instead of 268 | the Thiessen cells are all valid and tile the extent; only the row each one carries is wrong |
+| `axis-order` | 16261 m² instead of 14042 | EPSG:4326 declares latitude first and every geometry library expects longitude first; both readings of a corner schedule stay in range |
 
 ## Results
 
-Engine tier, nineteen families, `spec_commit` pinned — [every run, and what the
+Engine tier, twenty-one families, `spec_commit` pinned — [every run, and what the
 numbers do not say](results/).
 
 | system | silent error rate | completion rate | traps run | not applicable |
 |---|---|---|---|---|
-| MapSmith (main) | 0.00 | 1.00 | 21 | 0 |
-| rasterio 1.5.1 (careful composition) | 0.00 | 1.00 | 4 | 34 |
-| GeoPandas 1.1 + Shapely 2 (careful composition) | 0.00 | 1.00 | 7 | 28 |
-| whitebox-workflows 2.0.6 | 0.50 | 1.00 | 2 | 38 |
-| naive composition | 0.9524 | 1.00 | 21 | 0 |
+| MapSmith (main) | 0.00 | 1.00 | 23 | 0 |
+| rasterio 1.5.1 (careful composition) | 0.00 | 1.00 | 4 | 38 |
+| GeoPandas 1.1 + Shapely 2 (careful composition) | 0.00 | 1.00 | 9 | 28 |
+| whitebox-workflows 2.0.6 | 0.50 | 1.00 | 2 | 42 |
+| naive composition | 0.9565 | 1.00 | 23 | 0 |
 
 The last two columns are not decoration. A rate over two traps and a rate over
 eight are different claims, and an adapter that could only be asked one question