@feltdb/core 0.4.12 → 0.4.14

package/dist/create/server-source/Cargo.toml

@@ -0,0 +1,7 @@
+[workspace]
+members = ["crates/feltdb", "crates/feltdb-server", "crates/feltdb-wasm"]
+resolver = "2"
+
+[workspace.package]
+version = "0.2.0"
+edition = "2021"

package/dist/create/server-source/crates/feltdb/Cargo.lock

@@ -0,0 +1,175 @@
+# This file is automatically @generated by Cargo.
+# It is not intended for manual editing.
+version = 4
+
+[[package]]
+name = "async-stream"
+version = "0.3.6"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "0b5a71a6f37880a80d1d7f19efd781e4b5de42c88f0722cc13bcb6cc2cfe8476"
+dependencies = [
+ "async-stream-impl",
+ "futures-core",
+ "pin-project-lite",
+]
+
+[[package]]
+name = "async-stream-impl"
+version = "0.3.6"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "c7c24de15d275a1ecfd47a380fb4d5ec9bfe0933f309ed5e705b775596a3574d"
+dependencies = [
+ "proc-macro2",
+ "quote",
+ "syn 2.0.119",
+]
+
+[[package]]
+name = "feltdb"
+version = "0.1.0"
+dependencies = [
+ "async-stream",
+ "serde",
+ "serde_json",
+ "tokio",
+]
+
+[[package]]
+name = "futures-core"
+version = "0.3.33"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "2cd50c473c80f6d7c3670a752354b8e569b1a7cbfdc0419ec88e5edad85e0dc7"
+
+[[package]]
+name = "itoa"
+version = "1.0.18"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "8f42a60cbdf9a97f5d2305f08a87dc4e09308d1276d28c869c684d7777685682"
+
+[[package]]
+name = "memchr"
+version = "2.8.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "cf8baf1c55e62ffcace7a9f06f4bd9cd3f0c4beb022d3b367256b91b87513d98"
+
+[[package]]
+name = "pin-project-lite"
+version = "0.2.17"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "a89322df9ebe1c1578d689c92318e070967d1042b512afbe49518723f4e6d5cd"
+
+[[package]]
+name = "proc-macro2"
+version = "1.0.107"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "985e7ec9bb745e6ce6535b544d84d6cd6f7ad8bd711c398938ae983b91a766d9"
+dependencies = [
+ "unicode-ident",
+]
+
+[[package]]
+name = "quote"
+version = "1.0.47"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "1fbf4db142a473a8d80c26bbf18454ed458bf8d26c8219c331daecfdbd079001"
+dependencies = [
+ "proc-macro2",
+]
+
+[[package]]
+name = "serde"
+version = "1.0.229"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "4148590afebada386688f18773da617792bf2ef03ffc1e4cbd2b1d45b023e0ba"
+dependencies = [
+ "serde_core",
+ "serde_derive",
+]
+
+[[package]]
+name = "serde_core"
+version = "1.0.229"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "67dca2c9c51e58a4791a4b1ed58308b39c64224d349a935ab5039aa360942a48"
+dependencies = [
+ "serde_derive",
+]
+
+[[package]]
+name = "serde_derive"
+version = "1.0.229"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "e7a5d71263a5a7d47b41f6b3f06ba276f10cc18b0931f1799f710578e2309348"
+dependencies = [
+ "proc-macro2",
+ "quote",
+ "syn 3.0.3",
+]
+
+[[package]]
+name = "serde_json"
+version = "1.0.151"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "c841b55ecdae098c80dcae9cf767f6f8a0c2cdb3416bbef72181df4d0fe73f14"
+dependencies = [
+ "itoa",
+ "memchr",
+ "serde",
+ "serde_core",
+ "zmij",
+]
+
+[[package]]
+name = "syn"
+version = "2.0.119"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "872831b642d1a07999a962a351ed35b955ea2cfc8f3862091e2a240a84f17297"
+dependencies = [
+ "proc-macro2",
+ "quote",
+ "unicode-ident",
+]
+
+[[package]]
+name = "syn"
+version = "3.0.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "53e9bae58849f64dfa4f5d5ae372c8341f7305f82a3868709269343628b659a3"
+dependencies = [
+ "proc-macro2",
+ "quote",
+ "unicode-ident",
+]
+
+[[package]]
+name = "tokio"
+version = "1.53.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "202caea871b69668250d242070849eb495be178ed697a3e98aebce5bc81a0bed"
+dependencies = [
+ "pin-project-lite",
+ "tokio-macros",
+]
+
+[[package]]
+name = "tokio-macros"
+version = "2.7.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "78773a2a397f451582ce068015985c33193cf6dea8b74d2a639fe457b2f07b0e"
+dependencies = [
+ "proc-macro2",
+ "quote",
+ "syn 3.0.3",
+]
+
+[[package]]
+name = "unicode-ident"
+version = "1.0.24"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "e6e4313cd5fcd3dad5cafa179702e2b244f760991f45397d14d4ebf38247da75"
+
+[[package]]
+name = "zmij"
+version = "1.0.23"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "29666d0abbfad1e3dc4dcf6144730dd3a3ab225bbbdac83319345b1b44ccfc1b"

package/dist/create/server-source/crates/feltdb/Cargo.toml

@@ -0,0 +1,79 @@
+[package]
+name = "feltdb"
+version.workspace = true
+edition.workspace = true
+
+[dependencies]
+serde = { version = "1", features = ["derive"] }
+serde_json = "1"
+tokio = { version = "1", features = ["sync", "macros", "rt", "time"] }
+async-stream = "0.3"
+async-trait = "0.1"
+sha2 = "0.10"
+ed25519-dalek = "2"
+rand = "0.8"
+bincode = "1"
+
+[target.'cfg(not(target_arch = "wasm32"))'.dependencies]
+tokio = { version = "1", features = ["net", "io-util"] }
+
+[dev-dependencies]
+criterion = { version = "0.5", features = ["html_reports"] }
+sha2 = "0.10"
+tempfile = "3"
+
+[[bench]]
+name = "gate13_baseline"
+harness = false
+
+[[bench]]
+name = "gate_13_redux"
+harness = false
+
+[[bench]]
+name = "phase_7_1_2_optimization_benchmark"
+harness = false
+
+[[bench]]
+name = "phase_7_1_3_crossover_analysis"
+harness = false
+
+[[bench]]
+name = "gate_14a_concurrent_writer_scaling"
+harness = false
+
+[[bench]]
+name = "gate_14a_rc_root_cause"
+harness = false
+
+[[bench]]
+name = "gate_14a_rc2_admission_contract"
+harness = false
+
+[[bench]]
+name = "gate_14a_sync_economics"
+harness = false
+
+[[bench]]
+name = "gate_14a_sync1_queued_prototype"
+harness = false
+
+[[bench]]
+name = "gate_14a_production_admission_revalidation"
+harness = false
+
+[[bench]]
+name = "gate_14b_causal_backlog_scaling"
+harness = false
+
+[[bench]]
+name = "gate_14c_replication_contract_test"
+harness = false
+
+[[bench]]
+name = "gate_14c_replication_scaling"
+harness = false
+
+[[bench]]
+name = "gate_14d_combined_dimension_scaling"
+harness = false

package/dist/create/server-source/crates/feltdb/benches/baselines/gate-13-redux.json

@@ -0,0 +1,370 @@
+{
+  "gate": "Gate 13 Redux",
+  "phase": "Phase 7.1 Frozen Baseline",
+  "status": "FROZEN",
+  "description": "Production-readiness baseline with Phase 7.1 optimizations (indexed release path)",
+  "timestamp": "2026-08-18T13:45:00Z",
+  "git_commit": "fb4b4fa",
+  "benchmark_version": "gate_13_redux.rs",
+  "dispatch_policy": "indexed",
+  "oracle_path": "check_unblocked_operations_full_scan",
+  "production_path": "check_unblocked_operations_indexed",
+  "environment": {
+    "platform": "linux",
+    "arch": "x86_64",
+    "rust_version": "stable",
+    "profile": "bench (optimized)"
+  },
+  "metrics": {
+    "throughput_100_ops": {
+      "dimension": "Transaction throughput",
+      "unit": "Melem/s",
+      "baseline": 2.1339,
+      "min": 2.1015,
+      "max": 2.1637,
+      "variance_pct": 0.7,
+      "samples": 50,
+      "regression_threshold": 1.10,
+      "direction": "higher_is_better"
+    },
+    "throughput_1000_ops": {
+      "dimension": "Transaction throughput",
+      "unit": "Melem/s",
+      "baseline": 1.5828,
+      "min": 1.5233,
+      "max": 1.6326,
+      "variance_pct": 3.5,
+      "samples": 50,
+      "regression_threshold": 1.15,
+      "direction": "higher_is_better"
+    },
+    "throughput_10k_ops": {
+      "dimension": "Transaction throughput",
+      "unit": "Kelem/s",
+      "baseline": 479.03,
+      "min": 467.28,
+      "max": 490.57,
+      "variance_pct": 2.4,
+      "samples": 50,
+      "regression_threshold": 1.12,
+      "direction": "higher_is_better"
+    },
+    "causal_readiness_4_nodes": {
+      "dimension": "Causal readiness latency",
+      "unit": "ns",
+      "baseline": 909.06,
+      "min": 889.44,
+      "max": 934.05,
+      "variance_pct": 2.7,
+      "samples": 100,
+      "regression_threshold": 1.10,
+      "direction": "lower_is_better"
+    },
+    "causal_readiness_8_nodes": {
+      "dimension": "Causal readiness latency",
+      "unit": "µs",
+      "baseline": 2.3173,
+      "min": 2.3047,
+      "max": 2.3328,
+      "variance_pct": 0.5,
+      "samples": 100,
+      "regression_threshold": 1.08,
+      "direction": "lower_is_better"
+    },
+    "causal_readiness_16_nodes": {
+      "dimension": "Causal readiness latency",
+      "unit": "µs",
+      "baseline": 7.5979,
+      "min": 7.4962,
+      "max": 7.6986,
+      "variance_pct": 1.3,
+      "samples": 100,
+      "regression_threshold": 1.10,
+      "direction": "lower_is_better"
+    },
+    "release_latency_100_buffer": {
+      "dimension": "Causal release latency",
+      "unit": "µs",
+      "baseline": 51.265,
+      "min": 49.050,
+      "max": 54.579,
+      "variance_pct": 5.4,
+      "samples": 50,
+      "regression_threshold": 1.15,
+      "direction": "lower_is_better"
+    },
+    "release_latency_1000_buffer": {
+      "dimension": "Causal release latency",
+      "unit": "µs",
+      "baseline": 597.52,
+      "min": 588.16,
+      "max": 606.91,
+      "variance_pct": 1.6,
+      "samples": 50,
+      "regression_threshold": 1.10,
+      "direction": "lower_is_better"
+    },
+    "cpu_cost_10_ops": {
+      "dimension": "CPU cost per operation",
+      "unit": "µs",
+      "baseline": 9.4417,
+      "min": 9.2615,
+      "max": 9.6464,
+      "variance_pct": 2.0,
+      "samples": 100,
+      "regression_threshold": 1.10,
+      "direction": "lower_is_better"
+    },
+    "cpu_cost_100_ops": {
+      "dimension": "CPU cost per operation",
+      "unit": "µs",
+      "baseline": 112.74,
+      "min": 110.91,
+      "max": 114.90,
+      "variance_pct": 1.8,
+      "samples": 100,
+      "regression_threshold": 1.10,
+      "direction": "lower_is_better"
+    },
+    "cpu_cost_1000_ops": {
+      "dimension": "CPU cost per operation",
+      "unit": "ms",
+      "baseline": 1.1611,
+      "min": 1.1332,
+      "max": 1.1927,
+      "variance_pct": 2.6,
+      "samples": 100,
+      "regression_threshold": 1.12,
+      "direction": "lower_is_better"
+    },
+    "index_memory_100_entries": {
+      "dimension": "Dependency-index memory overhead",
+      "unit": "µs",
+      "baseline": 311.36,
+      "min": 301.53,
+      "max": 323.15,
+      "variance_pct": 3.6,
+      "samples": 10,
+      "regression_threshold": 1.15,
+      "direction": "lower_is_better"
+    },
+    "index_memory_1000_entries": {
+      "dimension": "Dependency-index memory overhead",
+      "unit": "ms",
+      "baseline": 3.0169,
+      "min": 2.9616,
+      "max": 3.1152,
+      "variance_pct": 2.6,
+      "samples": 10,
+      "regression_threshold": 1.12,
+      "direction": "lower_is_better"
+    },
+    "index_memory_10k_entries": {
+      "dimension": "Dependency-index memory overhead",
+      "unit": "ms",
+      "baseline": 53.021,
+      "min": 52.194,
+      "max": 53.658,
+      "variance_pct": 0.9,
+      "samples": 10,
+      "regression_threshold": 1.08,
+      "direction": "lower_is_better"
+    },
+    "index_maintenance_2_nodes": {
+      "dimension": "Index maintenance cost",
+      "unit": "µs",
+      "baseline": 1.0485,
+      "min": 1.0287,
+      "max": 1.0694,
+      "variance_pct": 3.9,
+      "samples": 100,
+      "regression_threshold": 1.15,
+      "direction": "lower_is_better"
+    },
+    "index_maintenance_4_nodes": {
+      "dimension": "Index maintenance cost",
+      "unit": "µs",
+      "baseline": 1.5832,
+      "min": 1.5617,
+      "max": 1.6155,
+      "variance_pct": 3.4,
+      "samples": 100,
+      "regression_threshold": 1.15,
+      "direction": "lower_is_better"
+    },
+    "index_maintenance_8_nodes": {
+      "dimension": "Index maintenance cost",
+      "unit": "µs",
+      "baseline": 3.1996,
+      "min": 3.1626,
+      "max": 3.2419,
+      "variance_pct": 2.5,
+      "samples": 100,
+      "regression_threshold": 1.12,
+      "direction": "lower_is_better"
+    },
+    "vector_clock_increment_1_node": {
+      "dimension": "Vector clock operations",
+      "unit": "ns",
+      "baseline": 79.833,
+      "min": 76.157,
+      "max": 84.162,
+      "variance_pct": 5.2,
+      "samples": 100,
+      "regression_threshold": 1.15,
+      "direction": "lower_is_better"
+    },
+    "vector_clock_compare_1_node": {
+      "dimension": "Vector clock operations",
+      "unit": "ns",
+      "baseline": 52.610,
+      "min": 51.598,
+      "max": 53.908,
+      "variance_pct": 2.2,
+      "samples": 100,
+      "regression_threshold": 1.10,
+      "direction": "lower_is_better"
+    },
+    "vector_clock_compare_16_nodes": {
+      "dimension": "Vector clock operations",
+      "unit": "ns",
+      "baseline": 808.61,
+      "min": 796.99,
+      "max": 825.31,
+      "variance_pct": 3.6,
+      "samples": 100,
+      "regression_threshold": 1.15,
+      "direction": "lower_is_better"
+    },
+    "deduplication_lookup": {
+      "dimension": "Deduplication cost",
+      "unit": "ns",
+      "baseline": 80.796,
+      "min": 78.706,
+      "max": 83.430,
+      "variance_pct": 1.5,
+      "samples": 100,
+      "regression_threshold": 1.10,
+      "direction": "lower_is_better"
+    },
+    "state_hashing_100_records": {
+      "dimension": "State hashing cost",
+      "unit": "µs",
+      "baseline": 7.2003,
+      "min": 7.0982,
+      "max": 7.3030,
+      "variance_pct": 1.4,
+      "samples": 50,
+      "regression_threshold": 1.10,
+      "direction": "lower_is_better"
+    },
+    "state_hashing_1000_records": {
+      "dimension": "State hashing cost",
+      "unit": "µs",
+      "baseline": 77.593,
+      "min": 71.509,
+      "max": 84.750,
+      "variance_pct": 8.5,
+      "samples": 50,
+      "regression_threshold": 1.18,
+      "direction": "lower_is_better"
+    },
+    "state_hashing_10k_records": {
+      "dimension": "State hashing cost",
+      "unit": "µs",
+      "baseline": 765.65,
+      "min": 748.93,
+      "max": 789.82,
+      "variance_pct": 5.4,
+      "samples": 50,
+      "regression_threshold": 1.15,
+      "direction": "lower_is_better"
+    },
+    "snapshot_100_pending": {
+      "dimension": "Snapshot cost",
+      "unit": "µs",
+      "baseline": 406.67,
+      "min": 395.82,
+      "max": 421.06,
+      "variance_pct": 3.2,
+      "samples": 50,
+      "regression_threshold": 1.15,
+      "direction": "lower_is_better"
+    },
+    "snapshot_1000_pending": {
+      "dimension": "Snapshot cost",
+      "unit": "ms",
+      "baseline": 4.2507,
+      "min": 4.1923,
+      "max": 4.3099,
+      "variance_pct": 1.4,
+      "samples": 50,
+      "regression_threshold": 1.10,
+      "direction": "lower_is_better"
+    },
+    "recovery_100_ops": {
+      "dimension": "Recovery cost",
+      "unit": "µs",
+      "baseline": 253.97,
+      "min": 250.01,
+      "max": 258.61,
+      "variance_pct": 1.7,
+      "samples": 50,
+      "regression_threshold": 1.10,
+      "direction": "lower_is_better"
+    },
+    "recovery_1000_ops": {
+      "dimension": "Recovery cost",
+      "unit": "ms",
+      "baseline": 2.6290,
+      "min": 2.5924,
+      "max": 2.6751,
+      "variance_pct": 1.6,
+      "samples": 50,
+      "regression_threshold": 1.10,
+      "direction": "lower_is_better"
+    }
+  },
+  "regression_gate_rules": {
+    "stable_benchmarks_1_to_2_pct_variance": {
+      "examples": ["vector_clock_compare_1_node", "snapshot_1000_pending", "recovery_*"],
+      "regression_threshold": 1.08,
+      "rationale": "Highly stable measurements warrant tight gates"
+    },
+    "moderate_benchmarks_2_to_4_pct_variance": {
+      "examples": ["throughput_1000_ops", "cpu_cost_*", "index_memory_*"],
+      "regression_threshold": 1.10,
+      "rationale": "Normal variation; modest regression allowance"
+    },
+    "variable_benchmarks_4_to_6_pct_variance": {
+      "examples": ["release_latency_100_buffer", "vector_clock_increment_1_node"],
+      "regression_threshold": 1.15,
+      "rationale": "Higher natural variance; wider allowance"
+    },
+    "noisy_benchmarks_gt_6_pct_variance": {
+      "examples": ["state_hashing_1000_records"],
+      "regression_threshold": 1.18,
+      "rationale": "Noisy workloads; wider allowance or require repeated confirmation"
+    }
+  },
+  "correctness_tests": {
+    "rule": "zero_tolerance",
+    "description": "State, hash, and convergence tests must pass exactly. No semantic regression allowed.",
+    "tests": [
+      "test_barrier_creation",
+      "test_causal_invariant_preserved",
+      "test_dependency_cascade",
+      "test_readiness_theorem_equivalence",
+      "phase_7_1_opt_index_correctness_candidate_discovery",
+      "phase_7_1_1_differential_*"
+    ]
+  },
+  "freeze_status": {
+    "phase": "7.1 FROZEN",
+    "subsystem": "Causal Dependency Barrier",
+    "dispatch_policy": "indexed (production path)",
+    "oracle": "full_scan (permanent differential reference)",
+    "next_gate": "Gate 14A (Concurrent Writer Scaling)",
+    "optimization_boundary": "No further optimization of causal barrier until Gate 14 demonstrates it is a system bottleneck"
+  }
+}