bindable 0.0.7__tar.gz → 0.1.0__tar.gz

bindable-0.1.0/.gitignore

@@ -0,0 +1,8 @@
+.venv/
+__pycache__/
+*.egg-info/
+dist/
+build/
+.mypy_cache/
+.ruff_cache/
+.pytest_cache/

bindable-0.1.0/LICENSE

@@ -0,0 +1,201 @@
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright 2026 Bindable AI LLC
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

bindable-0.1.0/NOTICE

@@ -0,0 +1,3 @@
+Bindable
+Copyright 2026 Bindable AI LLC
+Licensed under the Apache License, Version 2.0.

bindable-0.1.0/PKG-INFO

@@ -0,0 +1,38 @@
+Metadata-Version: 2.4
+Name: bindable
+Version: 0.1.0
+Summary: Python client for the hosted Bindable Action Gate, with offline Receipt verification
+Author: Bindable AI LLC
+License-Expression: Apache-2.0
+License-File: LICENSE
+License-File: NOTICE
+Requires-Python: >=3.10
+Requires-Dist: cryptography>=42
+Requires-Dist: httpx>=0.27
+Provides-Extra: dev
+Requires-Dist: build>=1.2; extra == 'dev'
+Requires-Dist: mypy>=1.10; extra == 'dev'
+Requires-Dist: pytest>=8; extra == 'dev'
+Requires-Dist: ruff>=0.5; extra == 'dev'
+Description-Content-Type: text/markdown
+
+# bindable
+
+Bindable Python client — propose, decide, and verify accountable agent actions against the hosted Bindable Action Gate. Offline receipt verification included.
+
+## Install
+
+```
+pip install bindable
+```
+
+## Usage
+
+```python
+import bindable
+
+# Submit a Proposal to the Bindable Action Gate, receive a Decision,
+# record the Outcome, then verify the returned Receipt offline.
+```
+
+Status: pre-release (0.1.0.dev0)

bindable-0.1.0/README.md

@@ -0,0 +1,20 @@
+# bindable
+
+Bindable Python client — propose, decide, and verify accountable agent actions against the hosted Bindable Action Gate. Offline receipt verification included.
+
+## Install
+
+```
+pip install bindable
+```
+
+## Usage
+
+```python
+import bindable
+
+# Submit a Proposal to the Bindable Action Gate, receive a Decision,
+# record the Outcome, then verify the returned Receipt offline.
+```
+
+Status: pre-release (0.1.0.dev0)

bindable-0.1.0/bindable/__init__.py

@@ -0,0 +1,22 @@
+"""Bindable — Python client for the hosted Bindable Action Gate.
+
+Submit a Proposal to the Bindable Action Gate via ``ActionGate.decide()``,
+receive a Decision (the Outcome), and verify the returned Receipt offline with
+``verify_receipt``. The client is pure transport; all proof-rule evaluation
+happens on the hosted gate, and receipt verification is fully offline.
+"""
+
+from ._version import __version__
+from .client import ActionGate
+from .crypto import load_public_key
+from .errors import BindableAPIError
+from .verify import ReceiptVerification, verify_receipt
+
+__all__ = [
+    "ActionGate",
+    "BindableAPIError",
+    "ReceiptVerification",
+    "__version__",
+    "load_public_key",
+    "verify_receipt",
+]

bindable-0.1.0/bindable/_canonical_record.py

@@ -0,0 +1,78 @@
+"""Canonical hash-input serialization for receipts (thin client).
+
+Byte-faithful port of the engine's ``_canonical_hash_input``
+(bindable-interlock-engine @ 5f129a6), adapted to read a receipt
+delivered as a plain JSON dict from the hosted Bindable Action Gate
+rather than as a pydantic ``Receipt``. The 15 included fields, the
+§12.3 exclusions, and the field set match the engine EXACTLY so that
+``canonical_sha256`` of this output is byte-identical across the
+hosted gate and any offline verifier.
+
+This module is NOT part of the public API.
+
+verified_at handling (de-pydantic departure, behaviour-preserving):
+  In the engine, ``Receipt.verified_at`` is a ``datetime`` and the
+  builder calls ``_serialize_wire_datetime`` to produce the wire
+  string (YYYY-MM-DDTHH:MM:SS.sssZ). In the thin client the receipt
+  arrives from /v1/decide as JSON, so ``verified_at`` is ALREADY the
+  wire string. It is used verbatim — passing it back through a
+  datetime serializer would be a double-serialization bug. No
+  ``datetime`` object can reach this path, so ``_serialize_wire_datetime``
+  is not ported here. The vectors.json production-shape record
+  (verified_at = "2026-05-19T14:00:00.000Z" hashed verbatim) confirms
+  the wire string is what the hash commits to.
+
+Pure and deterministic: given a receipt mapping, returns a new dict
+of wire-form fields with no I/O and no mutation. Canonical ordering
+is applied downstream by ``canonical_json`` (alphabetical key sort),
+so the literal order here is illustrative only.
+"""
+
+from __future__ import annotations
+
+from collections.abc import Mapping
+from typing import Any
+
+
+def _canonical_hash_input(receipt: Mapping[str, Any]) -> dict[str, Any]:
+    """Return the canonical hash input dict per MVP spec §12.3.
+
+    Included fields (canonical_json sorts alphabetically):
+      action_type, claim_payload, contract_id, contract_version,
+      counterparty_identity, failed_rule, nonce,
+      persistent_agent_id, previous_hash, proposed_action_id,
+      referenced_evidence, sponsor_identity,
+      sponsor_identity_context, verification_outcome, verified_at.
+
+    Excluded per §12.3:
+      receipt_id, signature, signing_key_id, signed_at,
+      chain_hash (self-reference), reason_detail, claim_digest
+      (derivable from canonical claim_payload).
+
+    Args:
+        receipt: A receipt as a plain mapping (e.g. parsed JSON from
+            /v1/decide). All 15 included fields must be present;
+            nullable fields carry ``None``. ``verified_at`` must be
+            the wire-format string already.
+
+    Returns:
+        A dict of exactly the 15 canonical-hash-input fields, ready
+        to feed into ``canonical_sha256``.
+    """
+    return {
+        "action_type": receipt["action_type"],
+        "claim_payload": receipt["claim_payload"],
+        "contract_id": receipt["contract_id"],
+        "contract_version": receipt["contract_version"],
+        "counterparty_identity": receipt["counterparty_identity"],
+        "failed_rule": receipt["failed_rule"],
+        "nonce": receipt["nonce"],
+        "persistent_agent_id": receipt["persistent_agent_id"],
+        "previous_hash": receipt["previous_hash"],
+        "proposed_action_id": receipt["proposed_action_id"],
+        "referenced_evidence": receipt["referenced_evidence"],
+        "sponsor_identity": receipt["sponsor_identity"],
+        "sponsor_identity_context": receipt["sponsor_identity_context"],
+        "verification_outcome": receipt["verification_outcome"],
+        "verified_at": receipt["verified_at"],
+    }

bindable-0.1.0/bindable/_version.py

@@ -0,0 +1 @@
+__version__ = "0.1.0"

bindable-0.1.0/bindable/client.py

@@ -0,0 +1,130 @@
+"""Transport client for the hosted Bindable Action Gate.
+
+``ActionGate.decide()`` submits a Proposal to ``POST /v1/decide`` and returns
+the hosted Decision (the Outcome dict) verbatim. The client is pure transport:
+it does NOT evaluate, canonicalize, or decide anything locally — all
+proof-rule evaluation happens on the hosted gate. To verify the returned
+receipt offline, hand ``outcome["receipt"]`` to ``bindable.verify_receipt``.
+
+Runtime dependency: httpx only (plus cryptography via the verify path).
+"""
+
+from __future__ import annotations
+
+import secrets
+from collections.abc import Mapping
+from types import TracebackType
+from typing import Any
+
+import httpx
+
+from bindable.errors import BindableAPIError
+
+
+class ActionGate:
+    """Thin, token-authenticated httpx client for the hosted Bindable Action Gate.
+
+    Transports a Proposal to the hosted ``/v1/decide`` endpoint and returns the
+    Decision verbatim as a dict. The client performs no local evaluation,
+    canonicalization, or decision-making; offline receipt verification is a
+    separate concern handled by ``bindable.verify_receipt``.
+
+    Usage:
+        with ActionGate(base_url="https://gate.example.com", token="...") as gate:
+            outcome = gate.decide(
+                persistent_agent_id="agent_1",
+                action_type="send_invoice",
+                payload={"po_number": "PO-001", "amount": 1000},
+                proposed_action_id="claim_1",
+            )
+        # Offline verification of the returned receipt:
+        result = verify_receipt(outcome["receipt"])
+    """
+
+    def __init__(self, *, base_url: str, token: str, timeout: float = 30.0) -> None:
+        self._base_url = base_url.rstrip("/")
+        self._token = token
+        self._client = httpx.Client(timeout=timeout)
+
+    def decide(
+        self,
+        *,
+        persistent_agent_id: str,
+        action_type: str,
+        payload: Mapping[str, Any],
+        proposed_action_id: str,
+        nonce: str | None = None,
+    ) -> dict[str, Any]:
+        """Submit a Proposal to ``/v1/decide`` and return the hosted Outcome dict.
+
+        Sends exactly the five wire fields (persistent_agent_id, action_type,
+        payload, proposed_action_id, nonce) with bearer-token auth. The Outcome
+        is returned verbatim; its ``receipt`` field (when present) can be passed
+        to ``verify_receipt`` for offline verification.
+
+        Args:
+            persistent_agent_id: The stable agent identity.
+            action_type: The action being proposed.
+            payload: The action payload (sent as the ``payload`` field).
+            proposed_action_id: The caller's id for this proposed action.
+            nonce: Replay-protection nonce; a fresh ``secrets.token_hex(16)``
+                is generated when omitted.
+
+        Returns:
+            The parsed Outcome JSON object as a dict.
+
+        Raises:
+            BindableAPIError: If the gate returns a non-2xx response. The
+                error carries ``.status`` and the ``detail`` from the JSON body.
+        """
+        if nonce is None:
+            nonce = secrets.token_hex(16)
+        body = {
+            "persistent_agent_id": persistent_agent_id,
+            "action_type": action_type,
+            "payload": dict(payload),
+            "proposed_action_id": proposed_action_id,
+            "nonce": nonce,
+        }
+        response = self._client.post(
+            f"{self._base_url}/v1/decide",
+            json=body,
+            headers={
+                "Authorization": f"Bearer {self._token}",
+                "Content-Type": "application/json",
+            },
+        )
+        if not response.is_success:
+            raise BindableAPIError(response.status_code, _extract_detail(response))
+        result: dict[str, Any] = response.json()
+        return result
+
+    def close(self) -> None:
+        """Close the underlying httpx.Client."""
+        self._client.close()
+
+    def __enter__(self) -> ActionGate:
+        return self
+
+    def __exit__(
+        self,
+        exc_type: type[BaseException] | None,
+        exc: BaseException | None,
+        tb: TracebackType | None,
+    ) -> None:
+        self.close()
+
+
+def _extract_detail(response: httpx.Response) -> str:
+    """Pull the ``detail`` from an error JSON body, falling back to text.
+
+    The gate returns errors as ``{"detail": ...}``. ``detail`` may be a string
+    (401/403) or a structured value (422); it is stringified either way.
+    """
+    try:
+        body = response.json()
+    except Exception:  # noqa: BLE001 - non-JSON error body; fall back to text
+        return response.text or response.reason_phrase
+    if isinstance(body, dict) and "detail" in body:
+        return str(body["detail"])
+    return str(body)

bindable-0.1.0/bindable/crypto/__init__.py

@@ -0,0 +1,57 @@
+"""Cryptographic primitives for the Bindable thin client.
+
+This subpackage provides the deterministic, offline-verifiable
+primitives used to recompute a receipt's chain_hash and to verify its
+ECDSA P-256 signature. Per D6 these live under ``bindable.crypto`` and
+are NOT re-exported at the top-level ``bindable`` namespace (except the
+high-level ``verify_receipt`` / ``ReceiptVerification`` / ``load_public_key``
+surface exposed by ``bindable`` directly).
+
+Surface (stdlib + cryptography — no pydantic):
+
+    Type aliases:
+        PublicKey  # alias for cryptography EllipticCurvePublicKey
+
+    Hashing (pure, stdlib only):
+        sha256_hex(data: bytes) -> str
+        canonicalize(value: Any) -> Any
+        canonical_json(record: Mapping[str, Any]) -> bytes
+        canonical_sha256(record: Mapping[str, Any]) -> str
+
+    Key loading (cryptography library):
+        load_public_key(pem_bytes: bytes) -> PublicKey
+
+    Signature verification (cryptography library):
+        verify(public_key, record, signature) -> bool
+
+This is a VERIFY-ONLY surface: there is no signing, key generation, or
+private-key handling client-side.
+
+PATENT-CRITICAL: these primitives produce the canonical bytes a
+receipt's chain_hash commits to and verify the signature over them.
+The hashing primitives use only the Python standard library; key
+loading and signature verification depend on the cryptography library,
+which is pinned in [project] dependencies. All primitives operate
+without network access.
+"""
+
+from __future__ import annotations
+
+from bindable.crypto.canonical import (
+    canonical_json,
+    canonical_sha256,
+    canonicalize,
+)
+from bindable.crypto.hash import sha256_hex
+from bindable.crypto.keys import PublicKey, load_public_key
+from bindable.crypto.sign import verify
+
+__all__ = [
+    "PublicKey",
+    "canonical_json",
+    "canonical_sha256",
+    "canonicalize",
+    "load_public_key",
+    "sha256_hex",
+    "verify",
+]