loopmarket 0.2.0__tar.gz → 0.3.0__tar.gz

{loopmarket-0.2.0/src/loopmarket.egg-info → loopmarket-0.3.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: loopmarket
-Version: 0.2.0
+Version: 0.3.0
 Summary: Universal combinatorial marketplace: uniform offers over an OntoDAG catalogue, a versioned offer book on recordstore/Swarm, and solver agents hunting profitable loops
 License: BSD-3-Clause
 Project-URL: Homepage, https://github.com/petfold/loopmarket
@@ -25,6 +25,8 @@ Requires-Dist: recordstore[bee,feeds]>=0.16.0; extra == "swarm"
 Provides-Extra: sig
 Requires-Dist: eth-keys; extra == "sig"
 Requires-Dist: eth-hash[pycryptodome]; extra == "sig"
+Requires-Dist: coincurve; extra == "sig"
+Requires-Dist: cryptography; extra == "sig"
 Provides-Extra: test
 Requires-Dist: pytest; extra == "test"
 Dynamic: license-file
@@ -51,15 +53,16 @@ whole loop atomically.
 
 ```console
 $ odag put piano-lesson music-lesson        # the catalogue is ontodag's
-$ loop set maker amara; loop place home 46.05,14.50,5km; loop set where home
+$ loop set maker amara; loop place home 46.05,14.50,5km; loop set terms 'where(home)'
 $ loop give piano-lesson 100                # I give this, priced on my scale
 $ loop want produce local weekly 104        # I want this, priced on my scale
-$ loop loops && loop clear                  # hunt profitable loops; clear one
+$ loop loops && loop clearing               # hunt profitable loops; run the clearing house
 ```
 
 `loop` is the command line (`pip install loopmarket`): ontodag's grammar
 plus two conventions — a bare number first is the quantity, last is the
-price — every name a catalogue node, an omitted price your last unit
+price — and `+` between the parts of a want that must clear together;
+every name a catalogue node, an omitted price your last unit
 price, and nothing published before the fully resolved offer is shown.
 Type `loop` alone for a prompt, pipe it a script for a batch. The same in
 Python:
@@ -82,7 +85,7 @@ agent.step()                          # snapshot → match → hunt loops → cl
 
 ```bash
 pip install -e ".[test]"              # (--break-system-packages or a venv)
-python3 -m pytest tests/ -v           # 92 tests (two need a live Bee node)
+python3 -m pytest tests/ -v           # 119 tests (two need a live Bee node)
 LOOP_HOME=$(mktemp -d) loop --catalogue examples/triangle.od < examples/triangle.loop   # P0 as a script
 PYTHONPATH=src python3 examples/demo_triangle.py     # the same, through the API
 PYTHONPATH=src python3 examples/demo_federation.py   # P1: books, fold, forgery, follower
@@ -106,8 +109,11 @@ one-screen version; the design record with its reasons is
 [`docs/plans/cli.md`](docs/plans/cli.md).
 
 Candidate generation can also run through ontodag's **parametric
-dimensions**: `DimensionIndex` files gives under their exact service window
-and centre cell, and `candidate_matches_indexed` prunes by concept cones
+dimensions**: `DimensionIndex` files gives under their service-role terms
+(`where(u24)`, `when(...)`, `from(...)`, matched by overlap; place prunes
+through cells since 2026-09-12 — and, for v2 records, under their window
+and centre cell), and
+`candidate_matches_indexed` prunes by concept cones
 and window overlap — provably the same matches as the exhaustive baseline
 (the recall test enforces set-equality), with far fewer exact checks. The
 index is a derived, per-solver copy; the shared catalogue and its pinned
@@ -161,6 +167,7 @@ And two more: **clearing** is the atomic commit that fixes obligations; **settle
 | Document | One line |
 |---|---|
 | [`P1-federated-book.md`](docs/plans/P1-federated-book.md) | Per-maker books under own feeds/signers; announcement, aggregation, merge discipline, lifecycle, postage economics, spam floors. |
+| [`P1-spacetime-terms.md`](docs/plans/P1-spacetime-terms.md) | Place and time leave the offer's fields for its conjunction (decided 2026-09-12): the role-head rule — containment for what a thing is, overlap for where/when it changes hands, declared in the catalogue as `service-role`; cells and region nodes as the exact geo truth, the disc retires; the path to the v3 record. Step 2 (`satisfies` over mixed terms) landed the same day. |
 | [`P2-batch-auction.md`](docs/plans/P2-batch-auction.md) | The beat: sealed proposals, numeraire-free scoring, the fairness floor, capped solver rewards, collusion resistance, fees. |
 | [`P2-clearing-pricing.md`](docs/plans/P2-clearing-pricing.md) | Turning a winning loop's surplus into per-leg prices: equal log-surplus split under uniform directional clearing; clearing prices as node potentials (§10). |
 | [`P2-loop-selection.md`](docs/plans/P2-loop-selection.md) | Clearing as optimization: flow LP vs packing ILP, chains, failure-aware objective, pre-commit compression; composition on the want side (§10); the cleared object is a circulation, clearing prices its node potentials (§11). |

{loopmarket-0.2.0 → loopmarket-0.3.0}/README.md

@@ -20,15 +20,16 @@ whole loop atomically.
 
 ```console
 $ odag put piano-lesson music-lesson        # the catalogue is ontodag's
-$ loop set maker amara; loop place home 46.05,14.50,5km; loop set where home
+$ loop set maker amara; loop place home 46.05,14.50,5km; loop set terms 'where(home)'
 $ loop give piano-lesson 100                # I give this, priced on my scale
 $ loop want produce local weekly 104        # I want this, priced on my scale
-$ loop loops && loop clear                  # hunt profitable loops; clear one
+$ loop loops && loop clearing               # hunt profitable loops; run the clearing house
 ```
 
 `loop` is the command line (`pip install loopmarket`): ontodag's grammar
 plus two conventions — a bare number first is the quantity, last is the
-price — every name a catalogue node, an omitted price your last unit
+price — and `+` between the parts of a want that must clear together;
+every name a catalogue node, an omitted price your last unit
 price, and nothing published before the fully resolved offer is shown.
 Type `loop` alone for a prompt, pipe it a script for a batch. The same in
 Python:
@@ -51,7 +52,7 @@ agent.step()                          # snapshot → match → hunt loops → cl
 
 ```bash
 pip install -e ".[test]"              # (--break-system-packages or a venv)
-python3 -m pytest tests/ -v           # 92 tests (two need a live Bee node)
+python3 -m pytest tests/ -v           # 119 tests (two need a live Bee node)
 LOOP_HOME=$(mktemp -d) loop --catalogue examples/triangle.od < examples/triangle.loop   # P0 as a script
 PYTHONPATH=src python3 examples/demo_triangle.py     # the same, through the API
 PYTHONPATH=src python3 examples/demo_federation.py   # P1: books, fold, forgery, follower
@@ -75,8 +76,11 @@ one-screen version; the design record with its reasons is
 [`docs/plans/cli.md`](docs/plans/cli.md).
 
 Candidate generation can also run through ontodag's **parametric
-dimensions**: `DimensionIndex` files gives under their exact service window
-and centre cell, and `candidate_matches_indexed` prunes by concept cones
+dimensions**: `DimensionIndex` files gives under their service-role terms
+(`where(u24)`, `when(...)`, `from(...)`, matched by overlap; place prunes
+through cells since 2026-09-12 — and, for v2 records, under their window
+and centre cell), and
+`candidate_matches_indexed` prunes by concept cones
 and window overlap — provably the same matches as the exhaustive baseline
 (the recall test enforces set-equality), with far fewer exact checks. The
 index is a derived, per-solver copy; the shared catalogue and its pinned
@@ -130,6 +134,7 @@ And two more: **clearing** is the atomic commit that fixes obligations; **settle
 | Document | One line |
 |---|---|
 | [`P1-federated-book.md`](docs/plans/P1-federated-book.md) | Per-maker books under own feeds/signers; announcement, aggregation, merge discipline, lifecycle, postage economics, spam floors. |
+| [`P1-spacetime-terms.md`](docs/plans/P1-spacetime-terms.md) | Place and time leave the offer's fields for its conjunction (decided 2026-09-12): the role-head rule — containment for what a thing is, overlap for where/when it changes hands, declared in the catalogue as `service-role`; cells and region nodes as the exact geo truth, the disc retires; the path to the v3 record. Step 2 (`satisfies` over mixed terms) landed the same day. |
 | [`P2-batch-auction.md`](docs/plans/P2-batch-auction.md) | The beat: sealed proposals, numeraire-free scoring, the fairness floor, capped solver rewards, collusion resistance, fees. |
 | [`P2-clearing-pricing.md`](docs/plans/P2-clearing-pricing.md) | Turning a winning loop's surplus into per-leg prices: equal log-surplus split under uniform directional clearing; clearing prices as node potentials (§10). |
 | [`P2-loop-selection.md`](docs/plans/P2-loop-selection.md) | Clearing as optimization: flow LP vs packing ILP, chains, failure-aware objective, pre-commit compression; composition on the want side (§10); the cleared object is a circulation, clearing prices its node potentials (§11). |

{loopmarket-0.2.0 → loopmarket-0.3.0}/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "loopmarket"
-version = "0.2.0"
+version = "0.3.0"
 description = "Universal combinatorial marketplace: uniform offers over an OntoDAG catalogue, a versioned offer book on recordstore/Swarm, and solver agents hunting profitable loops"
 readme = "README.md"
 license = { text = "BSD-3-Clause" }
@@ -38,7 +38,8 @@ dependencies = [
 swarm = ["recordstore[bee,feeds]>=0.16.0"]
 # Detached offer signatures (U8's off-feed layer): the same secp256k1
 # identity that owns the maker's feed, recoverable without a node.
-sig = ["eth-keys", "eth-hash[pycryptodome]"]
+# ...and sealed handoffs (`handoff.py`): ECDH on the same curve + AES-GCM.
+sig = ["eth-keys", "eth-hash[pycryptodome]", "coincurve", "cryptography"]
 test = ["pytest"]
 
 [project.scripts]

{loopmarket-0.2.0 → loopmarket-0.3.0}/src/loopmarket/__init__.py

@@ -29,7 +29,7 @@ from .graph import ExchangeGraph, Loop
 from .clearing import LoopProposal, MockClearing, Receipt, Clearing
 from .solver.agent import SolverAgent
 
-__version__ = "0.2.0"
+__version__ = "0.3.0"
 
 __all__ = [
     "GIVE", "WANT", "ASK", "BID", "GeoDisc", "Offer", "Thing", "TimeWindow",