{
  "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"
  }
}