litedbmodel-runtime 2.0.1__tar.gz → 2.0.2__tar.gz

{litedbmodel_runtime-2.0.1 → litedbmodel_runtime-2.0.2}/PKG-INFO

@@ -1,13 +1,13 @@
 Metadata-Version: 2.4
 Name: litedbmodel-runtime
-Version: 2.0.1
+Version: 2.0.2
 Summary: Thin multi-language runtime for litedbmodel v2 SCP makeSQL bundles (Python port). Executes the published static-makeSQL artifacts (a read ReadGraph = a bc surrogate ComponentGraphIR + per-node static statement templates, or a gate-first TransactionPlan) against a SQL driver — semantics-identical to the TS reference. Delegates the Expression-IR evaluation + map/Φ/wiring orchestration to behavior-contracts.
 Author: foo-ogawa
 License: MIT
 Keywords: orm,sql,ir,runtime,conformance,litedbmodel
 Requires-Python: >=3.9
 Description-Content-Type: text/markdown
-Requires-Dist: behavior-contracts==0.2.3
+Requires-Dist: behavior-contracts==0.5.0
 Provides-Extra: test
 Requires-Dist: pytest>=7.0; extra == "test"
 Provides-Extra: livedb

{litedbmodel_runtime-2.0.1 → litedbmodel_runtime-2.0.2}/litedbmodel_runtime/__init__.py

@@ -38,7 +38,7 @@ from .relation import (
     run_relation_op,
 )
 
-__version__ = "2.0.1"
+__version__ = "2.0.2"
 
 __all__ = [
     "__version__",

{litedbmodel_runtime-2.0.1 → litedbmodel_runtime-2.0.2}/litedbmodel_runtime.egg-info/PKG-INFO

@@ -1,13 +1,13 @@
 Metadata-Version: 2.4
 Name: litedbmodel-runtime
-Version: 2.0.1
+Version: 2.0.2
 Summary: Thin multi-language runtime for litedbmodel v2 SCP makeSQL bundles (Python port). Executes the published static-makeSQL artifacts (a read ReadGraph = a bc surrogate ComponentGraphIR + per-node static statement templates, or a gate-first TransactionPlan) against a SQL driver — semantics-identical to the TS reference. Delegates the Expression-IR evaluation + map/Φ/wiring orchestration to behavior-contracts.
 Author: foo-ogawa
 License: MIT
 Keywords: orm,sql,ir,runtime,conformance,litedbmodel
 Requires-Python: >=3.9
 Description-Content-Type: text/markdown
-Requires-Dist: behavior-contracts==0.2.3
+Requires-Dist: behavior-contracts==0.5.0
 Provides-Extra: test
 Requires-Dist: pytest>=7.0; extra == "test"
 Provides-Extra: livedb

{litedbmodel_runtime-2.0.1 → litedbmodel_runtime-2.0.2}/litedbmodel_runtime.egg-info/requires.txt

@@ -1,4 +1,4 @@
-behavior-contracts==0.2.3
+behavior-contracts==0.5.0
 
 [livedb]
 psycopg[binary]>=3.1

{litedbmodel_runtime-2.0.1 → litedbmodel_runtime-2.0.2}/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "litedbmodel-runtime"
-version = "2.0.1"
+version = "2.0.2"
 description = "Thin multi-language runtime for litedbmodel v2 SCP makeSQL bundles (Python port). Executes the published static-makeSQL artifacts (a read ReadGraph = a bc surrogate ComponentGraphIR + per-node static statement templates, or a gate-first TransactionPlan) against a SQL driver — semantics-identical to the TS reference. Delegates the Expression-IR evaluation + map/Φ/wiring orchestration to behavior-contracts."
 readme = "README.md"
 requires-python = ">=3.9"
@@ -16,7 +16,7 @@ keywords = ["orm", "sql", "ir", "runtime", "conformance", "litedbmodel"]
 # evaluation (ref/refOpt/coalesce/eq/… — the SKIP guards + param slots) to the shared common
 # core, exactly as the TS reference imports `behavior-contracts` from npm. HARD dependency,
 # consumed from the published PyPI registry (NO local path — the no-local-deps gate forbids it).
-dependencies = ["behavior-contracts==0.2.3"]
+dependencies = ["behavior-contracts==0.5.0"]
 
 [project.optional-dependencies]
 test = ["pytest>=7.0"]

{litedbmodel_runtime-2.0.1 → litedbmodel_runtime-2.0.2}/tests/test_consumes_bc_core.py

@@ -9,6 +9,8 @@ that the declared dependency is the PyPI package spec with NO local `../` path.
 
 from __future__ import annotations
 
+import re
+
 import ast
 from pathlib import Path
 
@@ -39,7 +41,12 @@ def test_no_local_generic_evaluator_reimplemented():
 
 def test_pyproject_declares_bc_as_pypi_dep_no_local_path():
     text = PYPROJECT.read_text(encoding="utf-8")
-    assert 'behavior-contracts==0.2.0' in text
+    # bc is consumed as an EXACTLY-PINNED PyPI dependency (`behavior-contracts==<semver>`), never a
+    # range and never a local path — the runtime + the generated §8 bundle must stay in lockstep
+    # (WS7a #30). Assert the pinned FORM, version-agnostically, so this survives version bumps.
+    assert re.search(r'"behavior-contracts==\d+\.\d+\.\d+"', text), (
+        "pyproject must pin behavior-contracts to an exact PyPI version (behavior-contracts==X.Y.Z)"
+    )
     # No local path dep (the no-local-deps gate forbids `../` / file:// / path = ...).
     assert "../" not in text
     assert "file://" not in text

{litedbmodel_runtime-2.0.1 → litedbmodel_runtime-2.0.2}/tests/test_runtime.py

@@ -187,3 +187,30 @@ def test_write_tx_idempotent_duplicate_short_circuits():
         assert driver.prepare("SELECT post_count FROM users WHERE id = 7").all([])[0]["post_count"] == 3
     finally:
         driver.close()
+
+
+# ── M4 (re-audit): an unknown gate rule FAILS CLOSED (never a silent commit) ──
+#
+# Aligned across all 5 runtimes (Python + Rust + TS + Go + PHP): a corrupt / forward-incompatible
+# gate string MUST abort the transaction (raise + ROLLBACK), NOT silently continue and COMMIT.
+def _unknown_gate_bundle():
+    b = _write_bundle()
+    # Tag the requires gate with a bogus rule the runtime does not recognize.
+    b["transaction"]["statements"][0]["gate"] = "someFutureGateRuleThatDoesNotExist"
+    return b
+
+
+def test_write_tx_unknown_gate_fails_closed():
+    driver = SqliteDriver.in_memory(WRITE_SCHEMA)
+    try:
+        raised = False
+        try:
+            execute_transaction_bundle(_unknown_gate_bundle(), {"author_id": 7, "title": "X", "request_id": "req-u"}, driver)
+        except Exception as e:  # noqa: BLE001 — any raise is fail-closed; assert the message survives
+            raised = True
+            assert "unknown gate rule" in str(e)
+        assert raised, "an unknown gate rule must fail closed (raise), not silently commit"
+        # FAIL-CLOSED: nothing committed.
+        assert driver.prepare("SELECT COUNT(*) AS c FROM posts").all([])[0]["c"] == 0
+    finally:
+        driver.close()