lora-python 0.4.0__tar.gz → 0.5.0__tar.gz

{lora_python-0.4.0 → lora_python-0.5.0}/Cargo.lock

@@ -2,6 +2,12 @@
 # It is not intended for manual editing.
 version = 4
 
+[[package]]
+name = "adler2"
+version = "2.0.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "320119579fcad9c21884f5c4861d16174d0e06250625266f50fe6898340abefa"
+
 [[package]]
 name = "aho-corasick"
 version = "1.1.4"
@@ -164,6 +170,12 @@ version = "3.20.2"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "5d20789868f4b01b2f2caec9f5c4e0213b41e3e5702a50157d699ae31ced2fcb"
 
+[[package]]
+name = "byteorder"
+version = "1.5.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "1fd0f2584146f6f2ef48085050886acf353beff7305ebd1ae69500e27c67f64b"
+
 [[package]]
 name = "bytes"
 version = "1.11.1"
@@ -409,6 +421,16 @@ version = "0.1.9"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "5baebc0774151f905a1a2cc41989300b1e6fbb29aff0ceffa1064fdd3088d582"
 
+[[package]]
+name = "flate2"
+version = "1.1.9"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "843fba2746e448b37e26a819579957415c8cef339bf08564fe8b7ddbd959573c"
+dependencies = [
+ "crc32fast",
+ "miniz_oxide",
+]
+
 [[package]]
 name = "form_urlencoded"
 version = "1.2.2"
@@ -629,7 +651,7 @@ checksum = "5e5032e24019045c762d3c0f28f5b6b8bbf38563a65908389bf7978758920897"
 
 [[package]]
 name = "lora-analyzer"
-version = "0.4.0"
+version = "0.5.0"
 dependencies = [
  "lora-ast",
  "lora-parser",
@@ -639,14 +661,14 @@ dependencies = [
 
 [[package]]
 name = "lora-ast"
-version = "0.4.0"
+version = "0.5.0"
 dependencies = [
  "smallvec 2.0.0-alpha.12",
 ]
 
 [[package]]
 name = "lora-compiler"
-version = "0.4.0"
+version = "0.5.0"
 dependencies = [
  "lora-analyzer",
  "lora-ast",
@@ -654,7 +676,7 @@ dependencies = [
 
 [[package]]
 name = "lora-database"
-version = "0.4.0"
+version = "0.5.0"
 dependencies = [
  "anyhow",
  "criterion",
@@ -667,11 +689,12 @@ dependencies = [
  "lora-wal",
  "serde_json",
  "tower",
+ "zip",
 ]
 
 [[package]]
 name = "lora-executor"
-version = "0.4.0"
+version = "0.5.0"
 dependencies = [
  "lora-analyzer",
  "lora-ast",
@@ -685,7 +708,7 @@ dependencies = [
 
 [[package]]
 name = "lora-ffi"
-version = "0.4.0"
+version = "0.5.0"
 dependencies = [
  "lora-database",
  "lora-store",
@@ -695,7 +718,7 @@ dependencies = [
 
 [[package]]
 name = "lora-node"
-version = "0.4.0"
+version = "0.5.0"
 dependencies = [
  "anyhow",
  "lora-database",
@@ -709,7 +732,7 @@ dependencies = [
 
 [[package]]
 name = "lora-parser"
-version = "0.4.0"
+version = "0.5.0"
 dependencies = [
  "lora-ast",
  "pest",
@@ -720,7 +743,7 @@ dependencies = [
 
 [[package]]
 name = "lora-python"
-version = "0.4.0"
+version = "0.5.0"
 dependencies = [
  "anyhow",
  "lora-database",
@@ -732,7 +755,7 @@ dependencies = [
 
 [[package]]
 name = "lora-server"
-version = "0.4.0"
+version = "0.5.0"
 dependencies = [
  "anyhow",
  "axum",
@@ -746,7 +769,7 @@ dependencies = [
 
 [[package]]
 name = "lora-store"
-version = "0.4.0"
+version = "0.5.0"
 dependencies = [
  "bincode",
  "crc32fast",
@@ -758,7 +781,7 @@ dependencies = [
 
 [[package]]
 name = "lora-wal"
-version = "0.4.0"
+version = "0.5.0"
 dependencies = [
  "bincode",
  "crc32fast",
@@ -769,7 +792,7 @@ dependencies = [
 
 [[package]]
 name = "lora-wasm"
-version = "0.4.0"
+version = "0.5.0"
 dependencies = [
  "anyhow",
  "console_error_panic_hook",
@@ -784,7 +807,7 @@ dependencies = [
 
 [[package]]
 name = "lora_ruby"
-version = "0.4.0"
+version = "0.5.0"
 dependencies = [
  "anyhow",
  "lora-database",
@@ -852,6 +875,16 @@ version = "0.2.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "68354c5c6bd36d73ff3feceb05efa59b6acb7626617f4962be322a825e61f79a"
 
+[[package]]
+name = "miniz_oxide"
+version = "0.8.9"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "1fa76a2c86f704bdb222d66965fb3d63269ce38518b83cb0575fca855ebb6316"
+dependencies = [
+ "adler2",
+ "simd-adler32",
+]
+
 [[package]]
 name = "mio"
 version = "1.1.1"
@@ -1357,6 +1390,12 @@ version = "1.3.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "0fda2ff0d084019ba4d7c6f371c95d8fd75ce3524c3cb8fb653a3023f6323e64"
 
+[[package]]
+name = "simd-adler32"
+version = "0.3.9"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "703d5c7ef118737c72f1af64ad2f6f8c5e1921f818cdcb97b8fe6fc69bf66214"
+
 [[package]]
 name = "slab"
 version = "0.4.12"
@@ -1709,6 +1748,18 @@ dependencies = [
  "syn",
 ]
 
+[[package]]
+name = "zip"
+version = "0.6.6"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "760394e246e4c28189f19d488c058bf16f564016aefac5d32bb1f3b51d5e9261"
+dependencies = [
+ "byteorder",
+ "crc32fast",
+ "crossbeam-utils",
+ "flate2",
+]
+
 [[package]]
 name = "zmij"
 version = "1.0.21"

{lora_python-0.4.0 → lora_python-0.5.0}/Cargo.toml

@@ -4,7 +4,7 @@ resolver = "2"
 
 [workspace.package]
 edition = "2021"
-version = "0.4.0"
+version = "0.5.0"
 license = "BUSL-1.1"
 authors = ["LoraDB, Inc."]
 repository = "https://github.com/lora-db/lora"
@@ -15,14 +15,14 @@ rust-version = "1.87"
 # Internal crates — versions are kept in lockstep with [workspace.package].version
 # by `scripts/sync-versions.mjs`. Both `path` and `version` are set so that
 # `cargo publish` works (crates.io cannot resolve path-only deps).
-lora-ast = { path = "crates/lora-ast", version = "=0.4.0" }
-lora-parser = { path = "crates/lora-parser", version = "=0.4.0" }
-lora-analyzer = { path = "crates/lora-analyzer", version = "=0.4.0" }
-lora-compiler = { path = "crates/lora-compiler", version = "=0.4.0" }
-lora-store = { path = "crates/lora-store", version = "=0.4.0" }
-lora-wal = { path = "crates/lora-wal", version = "=0.4.0" }
-lora-executor = { path = "crates/lora-executor", version = "=0.4.0" }
-lora-database = { path = "crates/lora-database", version = "=0.4.0" }
+lora-ast = { path = "crates/lora-ast", version = "=0.5.0" }
+lora-parser = { path = "crates/lora-parser", version = "=0.5.0" }
+lora-analyzer = { path = "crates/lora-analyzer", version = "=0.5.0" }
+lora-compiler = { path = "crates/lora-compiler", version = "=0.5.0" }
+lora-store = { path = "crates/lora-store", version = "=0.5.0" }
+lora-wal = { path = "crates/lora-wal", version = "=0.5.0" }
+lora-executor = { path = "crates/lora-executor", version = "=0.5.0" }
+lora-database = { path = "crates/lora-database", version = "=0.5.0" }
 
 # External crates.
 anyhow = "1"
@@ -40,3 +40,4 @@ tower = "0.5.3"
 criterion = { version = "0.8.2", features = ["html_reports"] }
 bincode = "1.3"
 crc32fast = "1.4"
+zip = { version = "0.6", default-features = false, features = ["deflate"] }

{lora_python-0.4.0 → lora_python-0.5.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: lora-python
-Version: 0.4.0
+Version: 0.5.0
 Classifier: Programming Language :: Rust
 Classifier: Programming Language :: Python :: 3
 Classifier: Programming Language :: Python :: 3.8
@@ -159,6 +159,27 @@ binding exposes WAL-backed initialization plus the existing
 `save_snapshot` / `load_snapshot` APIs, but not checkpoint, truncate,
 status, or sync-mode controls.
 
+Snapshots accept the same broad shapes in sync and async APIs:
+
+```python
+import io
+from lora_python import Database
+
+db = Database.create()
+db.execute("CREATE (:Person {name: 'Alice'})")
+
+meta = db.save_snapshot("./graph.lorasnap")   # path / PathLike
+raw = db.save_snapshot("binary")              # bytes
+text = db.save_snapshot("base64")             # base64 str
+buf = io.BytesIO()
+meta = db.save_snapshot(buf)                  # binary writer
+
+db.load_snapshot("./graph.lorasnap")
+db.load_snapshot(raw)
+db.load_snapshot(io.BytesIO(buf.getvalue()))
+db.load_snapshot(text, format="base64")
+```
+
 ## Architecture
 
 ```

{lora_python-0.4.0 → lora_python-0.5.0}/README.md

@@ -129,6 +129,27 @@ binding exposes WAL-backed initialization plus the existing
 `save_snapshot` / `load_snapshot` APIs, but not checkpoint, truncate,
 status, or sync-mode controls.
 
+Snapshots accept the same broad shapes in sync and async APIs:
+
+```python
+import io
+from lora_python import Database
+
+db = Database.create()
+db.execute("CREATE (:Person {name: 'Alice'})")
+
+meta = db.save_snapshot("./graph.lorasnap")   # path / PathLike
+raw = db.save_snapshot("binary")              # bytes
+text = db.save_snapshot("base64")             # base64 str
+buf = io.BytesIO()
+meta = db.save_snapshot(buf)                  # binary writer
+
+db.load_snapshot("./graph.lorasnap")
+db.load_snapshot(raw)
+db.load_snapshot(io.BytesIO(buf.getvalue()))
+db.load_snapshot(text, format="base64")
+```
+
 ## Architecture
 
 ```

{lora_python-0.4.0 → lora_python-0.5.0}/crates/lora-compiler/src/logical.rs

@@ -17,6 +17,7 @@ pub struct LogicalPlan {
 pub enum LogicalOp {
     Argument(Argument),
     NodeScan(NodeScan),
+    NodeByPropertyScan(NodeByPropertyScan),
     Expand(Expand),
     Filter(Filter),
     Projection(Projection),
@@ -70,6 +71,16 @@ pub struct NodeScan {
     pub labels: Vec<Vec<String>>,
 }
 
+#[derive(Debug, Clone)]
+pub struct NodeByPropertyScan {
+    pub input: Option<PlanNodeId>,
+    pub var: VarId,
+    /// Each inner Vec is a disjunctive group (OR). Outer Vec is conjunctive (AND).
+    pub labels: Vec<Vec<String>>,
+    pub key: String,
+    pub value: ResolvedExpr,
+}
+
 #[derive(Debug, Clone)]
 pub struct Expand {
     pub input: PlanNodeId,

{lora_python-0.4.0 → lora_python-0.5.0}/crates/lora-compiler/src/optimizer.rs

@@ -1,6 +1,7 @@
 use crate::logical::*;
 use crate::physical::*;
 use lora_analyzer::{symbols::VarId, ResolvedExpr};
+use lora_ast::BinaryOp;
 use std::collections::BTreeSet;
 
 pub struct Optimizer;
@@ -18,6 +19,7 @@ impl Optimizer {
 
     pub fn optimize(&mut self, mut plan: LogicalPlan) -> LogicalPlan {
         self.push_filter_below_projection(&mut plan);
+        self.use_property_indexed_node_scans(&mut plan);
         self.remove_redundant_limit(&mut plan);
         plan
     }
@@ -79,6 +81,41 @@ impl Optimizer {
         // placeholder for future rules
     }
 
+    fn use_property_indexed_node_scans(&self, plan: &mut LogicalPlan) {
+        let len = plan.nodes.len();
+
+        for i in 0..len {
+            let (input_id, predicate) = match &plan.nodes[i] {
+                LogicalOp::Filter(f) => (f.input, &f.predicate),
+                _ => continue,
+            };
+
+            let (var, key, value) =
+                match property_equality_candidate(predicate, &plan.nodes[input_id]) {
+                    Some(candidate) => candidate,
+                    None => continue,
+                };
+
+            let replacement = match &plan.nodes[input_id] {
+                LogicalOp::NodeScan(scan) => {
+                    Some(LogicalOp::NodeByPropertyScan(NodeByPropertyScan {
+                        input: scan.input,
+                        var,
+                        labels: scan.labels.clone(),
+                        key,
+                        value,
+                    }))
+                }
+                LogicalOp::NodeByPropertyScan(_) => None,
+                _ => None,
+            };
+
+            if let Some(replacement) = replacement {
+                plan.nodes[input_id] = replacement;
+            }
+        }
+    }
+
     /// Lower a logical plan by consuming it — each op's owned payload
     /// (expressions, patterns, items) is moved into the physical op rather
     /// than cloned. Callers should not need the logical plan after this.
@@ -105,6 +142,16 @@ impl Optimizer {
                     }
                 }
 
+                LogicalOp::NodeByPropertyScan(scan) => {
+                    PhysicalOp::NodeByPropertyScan(NodeByPropertyScanExec {
+                        input: scan.input,
+                        var: scan.var,
+                        labels: scan.labels,
+                        key: scan.key,
+                        value: scan.value,
+                    })
+                }
+
                 LogicalOp::Expand(expand) => PhysicalOp::Expand(ExpandExec {
                     input: expand.input,
                     src: expand.src,
@@ -204,6 +251,53 @@ fn collect_vars(expr: &ResolvedExpr) -> BTreeSet<VarId> {
     vars
 }
 
+fn property_equality_candidate(
+    predicate: &ResolvedExpr,
+    input: &LogicalOp,
+) -> Option<(VarId, String, ResolvedExpr)> {
+    let LogicalOp::NodeScan(scan) = input else {
+        return None;
+    };
+
+    property_equality_for_var(predicate, scan.var)
+}
+
+fn property_equality_for_var(
+    predicate: &ResolvedExpr,
+    var: VarId,
+) -> Option<(VarId, String, ResolvedExpr)> {
+    let ResolvedExpr::Binary { lhs, op, rhs } = predicate else {
+        return None;
+    };
+
+    if matches!(op, BinaryOp::And) {
+        return property_equality_for_var(lhs, var).or_else(|| property_equality_for_var(rhs, var));
+    }
+
+    if !matches!(op, BinaryOp::Eq) {
+        return None;
+    }
+
+    property_access_for_var(lhs, var)
+        .filter(|_| !collect_vars(rhs).contains(&var))
+        .map(|key| (var, key, (**rhs).clone()))
+        .or_else(|| {
+            property_access_for_var(rhs, var)
+                .filter(|_| !collect_vars(lhs).contains(&var))
+                .map(|key| (var, key, (**lhs).clone()))
+        })
+}
+
+fn property_access_for_var(expr: &ResolvedExpr, var: VarId) -> Option<String> {
+    match expr {
+        ResolvedExpr::Property { expr, property } => match &**expr {
+            ResolvedExpr::Variable(v) if *v == var => Some(property.clone()),
+            _ => None,
+        },
+        _ => None,
+    }
+}
+
 fn collect_vars_inner(expr: &ResolvedExpr, out: &mut BTreeSet<VarId>) {
     match expr {
         ResolvedExpr::Variable(v) => {

{lora_python-0.4.0 → lora_python-0.5.0}/crates/lora-compiler/src/physical.rs

@@ -18,6 +18,7 @@ pub enum PhysicalOp {
     Argument(ArgumentExec),
     NodeScan(NodeScanExec),
     NodeByLabelScan(NodeByLabelScanExec),
+    NodeByPropertyScan(NodeByPropertyScanExec),
     Expand(ExpandExec),
     Filter(FilterExec),
     Projection(ProjectionExec),
@@ -69,6 +70,16 @@ pub struct NodeByLabelScanExec {
     pub labels: Vec<Vec<String>>,
 }
 
+#[derive(Debug, Clone)]
+pub struct NodeByPropertyScanExec {
+    pub input: Option<PhysicalNodeId>,
+    pub var: VarId,
+    /// Each inner Vec is a disjunctive group (OR). Outer Vec is conjunctive (AND).
+    pub labels: Vec<Vec<String>>,
+    pub key: String,
+    pub value: ResolvedExpr,
+}
+
 #[derive(Debug, Clone)]
 pub struct ExpandExec {
     pub input: PhysicalNodeId,

{lora_python-0.4.0 → lora_python-0.5.0}/crates/lora-database/Cargo.toml

@@ -16,6 +16,7 @@ bench = false
 
 [dependencies]
 anyhow.workspace = true
+zip.workspace = true
 
 lora-ast.workspace = true
 lora-parser.workspace = true

{lora_python-0.4.0 → lora_python-0.5.0}/crates/lora-database/benches/perf_smoke_baseline.json

@@ -2,22 +2,44 @@
   "_meta": {
     "purpose": "Baseline ns/iter for the perf_smoke_benchmarks suite. Used by scripts/check-perf-smoke.mjs to detect major (>=3x) regressions. NOT an authoritative performance record. See docs/performance/perf-smoke.md.",
     "refresh": "node scripts/check-perf-smoke.mjs --update <bencher-output>",
-    "default_threshold": 3.0,
+    "default_threshold": 3,
     "seeded_on": "2026-04-24",
-    "seeded_from": "Rough scaling of docs/performance/benchmarks.md numbers to allow for ubuntu-latest CI being slower and noisier than the reference Apple Silicon run. Replace with real CI-measured values on first green run."
+    "seeded_from": "Rough scaling of docs/performance/benchmarks.md numbers to allow for ubuntu-latest CI being slower and noisier than the reference Apple Silicon run. Replace with real CI-measured values on first green run.",
+    "last_updated": "2026-04-26"
   },
   "benchmarks": {
     "perf_smoke/scan_1k": {
-      "ns": 500000
+      "ns": 293999
     },
     "perf_smoke/filter_1k": {
-      "ns": 700000
+      "ns": 383337
     },
     "perf_smoke/traversal_chain_500": {
-      "ns": 500000
+      "ns": 262341
     },
     "perf_smoke/write_batch_100": {
-      "ns": 300000
+      "ns": 132457
+    },
+    "perf_smoke/stream_scan_1k": {
+      "ns": 281758
+    },
+    "perf_smoke/stream_pull_one": {
+      "ns": 100948
+    },
+    "perf_smoke/stream_write_100": {
+      "ns": 85205
+    },
+    "perf_smoke/stream_write_sort_100": {
+      "ns": 252797
+    },
+    "perf_smoke/tx_roundtrip_empty": {
+      "ns": 182
+    },
+    "perf_smoke/tx_read_1k": {
+      "ns": 294197
+    },
+    "perf_smoke/tx_write_100": {
+      "ns": 114336
     }
   }
 }