{
  "records": {
    "SUMMARY_03.json": {
      "records": 48,
      "independent_seed_identities": 12,
      "qualified_bank_arms": [
        "bank16"
      ],
      "arms": {
        "lag": {
          "all_capability_pass": true,
          "passing_record_calibrations": 96,
          "record_calibrations": 96,
          "max_log_error_oscillation": 1.4077522791922092e-07,
          "max_posterior_tv": 1.705386178577629e-08,
          "serialized_bytes_min": 12584,
          "serialized_bytes_max": 12587
        },
        "bank8": {
          "all_capability_pass": false,
          "passing_record_calibrations": 0,
          "record_calibrations": 96,
          "max_log_error_oscillation": 12.426543812413001,
          "max_posterior_tv": 0.1720254094508116,
          "serialized_bytes_min": 16695,
          "serialized_bytes_max": 16696
        },
        "bank16": {
          "all_capability_pass": true,
          "passing_record_calibrations": 96,
          "record_calibrations": 96,
          "max_log_error_oscillation": 0.001547094485431444,
          "max_posterior_tv": 4.86342041992875e-05,
          "serialized_bytes_min": 131384,
          "serialized_bytes_max": 131385
        }
      },
      "groups": [
        {
          "n": 4096,
          "dt": 0.01,
          "independent_seeds": 12,
          "methods": {
            "lag": {
              "median_bytes": 12585.5,
              "median_capture_and_serialize_s": 0.00011968810576945543,
              "median_queries_including_setup_s": 1.2672401665477082,
              "median_warm_queries_excluding_setup_s": 0.29520216688979417,
              "median_capture_decode_setup_query_total_s": 1.2673731655813754
            },
            "bank8": {
              "median_bytes": 16695.0,
              "median_capture_and_serialize_s": 0.026498520630411804,
              "median_queries_including_setup_s": 0.022918791510164738,
              "median_warm_queries_excluding_setup_s": 0.022918791510164738,
              "median_capture_decode_setup_query_total_s": 0.0492881047539413
            },
            "bank16": {
              "median_bytes": 131384.0,
              "median_capture_and_serialize_s": 0.2053008124930784,
              "median_queries_including_setup_s": 0.15790808340534568,
              "median_warm_queries_excluding_setup_s": 0.15790808340534568,
              "median_capture_decode_setup_query_total_s": 0.36222320841625333
            },
            "raw": {
              "median_bytes": 31675.5,
              "median_capture_and_serialize_s": 0.0005582085577771068,
              "median_queries_including_setup_s": 0.12566070852335542,
              "median_warm_queries_excluding_setup_s": 0.12566070852335542,
              "median_capture_decode_setup_query_total_s": 0.12630933348555118
            }
          },
          "paired_lag_to_raw_total_ratio_median": 10.046677610816905,
          "raw_to_lag_byte_ratio_min": 2.513865713150576,
          "lag_to_fastest_qualified_bank_capture_ratio_max": 0.0006169867579586675,
          "lag_to_fastest_qualified_bank_total_ratio_median": 3.461432136916065,
          "lag_to_locally_passing_bank_capture_ratio_max": 0.0006169867579586675
        },
        {
          "n": 4096,
          "dt": 0.05,
          "independent_seeds": 12,
          "methods": {
            "lag": {
              "median_bytes": 12585.0,
              "median_capture_and_serialize_s": 0.00012029206845909357,
              "median_queries_including_setup_s": 1.2917312290519476,
              "median_warm_queries_excluding_setup_s": 0.2936582498950884,
              "median_capture_decode_setup_query_total_s": 1.2918634169036523
            },
            "bank8": {
              "median_bytes": 16695.0,
              "median_capture_and_serialize_s": 0.02635279158130288,
              "median_queries_including_setup_s": 0.02203379140701145,
              "median_warm_queries_excluding_setup_s": 0.02203379140701145,
              "median_capture_decode_setup_query_total_s": 0.049010228831321
            },
            "bank16": {
              "median_bytes": 131384.0,
              "median_capture_and_serialize_s": 0.21060685347765684,
              "median_queries_including_setup_s": 0.15752764604985714,
              "median_warm_queries_excluding_setup_s": 0.15752764604985714,
              "median_capture_decode_setup_query_total_s": 0.3708972700405866
            },
            "raw": {
              "median_bytes": 31703.0,
              "median_capture_and_serialize_s": 0.0005617085844278336,
              "median_queries_including_setup_s": 0.12630937492940575,
              "median_warm_queries_excluding_setup_s": 0.12630937492940575,
              "median_capture_decode_setup_query_total_s": 0.12696906190831214
            }
          },
          "paired_lag_to_raw_total_ratio_median": 9.998995533970012,
          "raw_to_lag_byte_ratio_min": 2.516408422725467,
          "lag_to_fastest_qualified_bank_capture_ratio_max": 0.0006392739847122062,
          "lag_to_fastest_qualified_bank_total_ratio_median": 3.476212717769215,
          "lag_to_locally_passing_bank_capture_ratio_max": 0.0006392739847122062
        },
        {
          "n": 65536,
          "dt": 0.01,
          "independent_seeds": 12,
          "methods": {
            "lag": {
              "median_bytes": 12586.0,
              "median_capture_and_serialize_s": 0.0016657084925100207,
              "median_queries_including_setup_s": 1.2594126667827368,
              "median_warm_queries_excluding_setup_s": 0.28890912502538413,
              "median_capture_decode_setup_query_total_s": 1.2611107286065817
            },
            "bank8": {
              "median_bytes": 16696.0,
              "median_capture_and_serialize_s": 0.4027824164368212,
              "median_queries_including_setup_s": 0.02411395835224539,
              "median_warm_queries_excluding_setup_s": 0.02411395835224539,
              "median_capture_decode_setup_query_total_s": 0.4243985411012545
            },
            "bank16": {
              "median_bytes": 131385.0,
              "median_capture_and_serialize_s": 3.2085868545109406,
              "median_queries_including_setup_s": 0.16286104207392782,
              "median_warm_queries_excluding_setup_s": 0.16286104207392782,
              "median_capture_decode_setup_query_total_s": 3.3702292918460444
            },
            "raw": {
              "median_bytes": 504030.5,
              "median_capture_and_serialize_s": 0.012687499518506229,
              "median_queries_including_setup_s": 1.981940854457207,
              "median_warm_queries_excluding_setup_s": 1.981940854457207,
              "median_capture_decode_setup_query_total_s": 1.9952856249874458
            }
          },
          "paired_lag_to_raw_total_ratio_median": 0.6297090436908219,
          "raw_to_lag_byte_ratio_min": 40.03090735738122,
          "lag_to_fastest_qualified_bank_capture_ratio_max": 0.0005580615947825383,
          "lag_to_fastest_qualified_bank_total_ratio_median": 0.38067459274359927,
          "lag_to_locally_passing_bank_capture_ratio_max": 0.0005580615947825383
        },
        {
          "n": 65536,
          "dt": 0.05,
          "independent_seeds": 12,
          "methods": {
            "lag": {
              "median_bytes": 12586.0,
              "median_capture_and_serialize_s": 0.0016668961616232991,
              "median_queries_including_setup_s": 1.3147197918733582,
              "median_warm_queries_excluding_setup_s": 0.2979877709876746,
              "median_capture_decode_setup_query_total_s": 1.316433792351745
            },
            "bank8": {
              "median_bytes": 16696.0,
              "median_capture_and_serialize_s": 0.4164697289234027,
              "median_queries_including_setup_s": 0.02428445895202458,
              "median_warm_queries_excluding_setup_s": 0.02428445895202458,
              "median_capture_decode_setup_query_total_s": 0.44086572935339063
            },
            "bank16": {
              "median_bytes": 131385.0,
              "median_capture_and_serialize_s": 3.2543413549428806,
              "median_queries_including_setup_s": 0.17028016655240208,
              "median_warm_queries_excluding_setup_s": 0.17028016655240208,
              "median_capture_decode_setup_query_total_s": 3.424991501378827
            },
            "raw": {
              "median_bytes": 504298.5,
              "median_capture_and_serialize_s": 0.013153999927453697,
              "median_queries_including_setup_s": 2.06692356208805,
              "median_warm_queries_excluding_setup_s": 2.06692356208805,
              "median_capture_decode_setup_query_total_s": 2.081246812129393
            }
          },
          "paired_lag_to_raw_total_ratio_median": 0.6302022817390174,
          "raw_to_lag_byte_ratio_min": 40.055140632448754,
          "lag_to_fastest_qualified_bank_capture_ratio_max": 0.0005561700565667223,
          "lag_to_fastest_qualified_bank_total_ratio_median": 0.3746758787144444,
          "lag_to_locally_passing_bank_capture_ratio_max": 0.0005561700565667223
        }
      ],
      "engineering_target_pass": true,
      "joint_gate_pass": true,
      "max_summary_vecchia_normalized_error": 2.948752353404416e-13,
      "minimum_conditional_variance": 0.04509251428863903,
      "maximum_peak_rss_bytes_macos": 148127744,
      "sources": {
        "physical_memory.py": "551212887d28346009e4f322f7e9cdccb102698a4eae308510f7ea777bfd784d",
        "physical_kernels.cpp": "e5cac28748791024ac750fcb731c9ceb737de64f142bc9220301c02d0f2c6d4b",
        "run_physical_panel.py": "e5d7e78d47f84f29452e3f88faf0c280df51fb85c99dc16920732f6ea41b054b",
        "PROTOCOL_03_PHYSICAL_INFERENCE.md": "300c39730039a0a8948da8ab1e64395555ce69563112856cc83af39b39bf26e3",
        "build/receipt.json": "db0f8ae8d09d512dc41d201ca79bcc8e0f8511d62a452a3bf1d3c24a369d5127"
      },
      "notes": [
        "All posterior comparisons use explicitly discrete hypotheses, not continuous posterior quadrature.",
        "Summary accuracy is against the same raw model, not a validation of physical uncertainty under misspecification.",
        "The lag/Vecchia machinery is classical; a passing engineering result does not establish algorithmic novelty.",
        "Paired record ratios are computed before aggregation; raw per-record timings are retained."
      ]
    },
    "SUMMARY_06.json": {
      "verification": {
        "cases": 16,
        "all_reference_containment_pass": true,
        "all_measured_tv_within_bound": true,
        "bound_pass_cases": 10,
        "resource_pass_cases": 16,
        "maximum_tv_bound": 0.018430845555610725,
        "maximum_measured_tv": 5.373576151490589e-06,
        "first_tested_rejected_length": 4194304,
        "joint_gate_pass": false
      },
      "groups": [
        {
          "n": 1048576,
          "dt": 0.01,
          "record_calibration_cases": 4,
          "bound_pass_cases": 4,
          "maximum_tv_bound": 0.004441667268536406,
          "maximum_measured_tv": 1.3312244369133639e-06,
          "all_reference_containment_pass": true,
          "all_resource_pass": true,
          "capsule_bytes": {
            "minimum": 12701,
            "maximum": 12701
          },
          "candidate_append_s_per_prefix": {
            "minimum": 0.38038975233212113,
            "maximum": 0.3804912499617785
          },
          "raw_binary64_payload_bytes_if_retained": 8388608,
          "payload_ratio_not_lossless_benchmark": {
            "minimum": 660.4683095819227,
            "maximum": 660.4683095819227
          },
          "raw_maximum_posterior_mass": {
            "minimum": 0.6403198421677169,
            "maximum": 0.9999875923719038
          },
          "raw_effective_support_size": {
            "minimum": 1.0000248155640907,
            "maximum": 1.8539828558450078
          },
          "raw_boundary_mass": {
            "minimum": 0.0,
            "maximum": 0.0
          },
          "raw_posterior_mean_ranges": [
            {
              "calibration": "original",
              "prior": "uniform",
              "omega": {
                "minimum": 3.1499999998860475,
                "maximum": 3.149999999984587
              },
              "gamma": {
                "minimum": 0.5600005657662686,
                "maximum": 0.5728063969468703
              }
            },
            {
              "calibration": "original",
              "prior": "biased",
              "omega": {
                "minimum": 3.149999999825767,
                "maximum": 3.149999999966581
              },
              "gamma": {
                "minimum": 0.5600006180403533,
                "maximum": 0.5731305780589518
              }
            },
            {
              "calibration": "revised",
              "prior": "uniform",
              "omega": {
                "minimum": 3.09999999998375,
                "maximum": 3.100000000019412
              },
              "gamma": {
                "minimum": 0.42000024815529186,
                "maximum": 0.43641589923972846
              }
            },
            {
              "calibration": "revised",
              "prior": "biased",
              "omega": {
                "minimum": 3.100000000004085,
                "maximum": 3.1000000000060144
              },
              "gamma": {
                "minimum": 0.4200003017499986,
                "maximum": 0.4369556102047017
              }
            }
          ]
        },
        {
          "n": 1048576,
          "dt": 0.05,
          "record_calibration_cases": 4,
          "bound_pass_cases": 4,
          "maximum_tv_bound": 0.0030466954651131176,
          "maximum_measured_tv": 1.2281504152694689e-06,
          "all_reference_containment_pass": true,
          "all_resource_pass": true,
          "capsule_bytes": {
            "minimum": 12702,
            "maximum": 12703
          },
          "candidate_append_s_per_prefix": {
            "minimum": 0.38046031910926104,
            "maximum": 0.3874099503736943
          },
          "raw_binary64_payload_bytes_if_retained": 8388608,
          "payload_ratio_not_lossless_benchmark": {
            "minimum": 660.364323388176,
            "maximum": 660.4163123917493
          },
          "raw_maximum_posterior_mass": {
            "minimum": 0.7735408752457565,
            "maximum": 0.9999468770542916
          },
          "raw_effective_support_size": {
            "minimum": 1.0001062515355108,
            "maximum": 1.5392922332445895
          },
          "raw_boundary_mass": {
            "minimum": 0.0,
            "maximum": 0.0
          },
          "raw_posterior_mean_ranges": [
            {
              "calibration": "original",
              "prior": "uniform",
              "omega": {
                "minimum": 3.149999999991987,
                "maximum": 3.14999999999686
              },
              "gamma": {
                "minimum": 0.5603149221331303,
                "maximum": 0.5799859349360277
              }
            },
            {
              "calibration": "original",
              "prior": "biased",
              "omega": {
                "minimum": 3.1500000000058237,
                "maximum": 3.1500000000151704
              },
              "gamma": {
                "minimum": 0.560337740114316,
                "maximum": 0.5799868997554442
              }
            },
            {
              "calibration": "revised",
              "prior": "uniform",
              "omega": {
                "minimum": 3.099999999982848,
                "maximum": 3.1000000000163808
              },
              "gamma": {
                "minimum": 0.4200010624612392,
                "maximum": 0.4354708175025913
              }
            },
            {
              "calibration": "revised",
              "prior": "biased",
              "omega": {
                "minimum": 3.099999999981012,
                "maximum": 3.1000000000193246
              },
              "gamma": {
                "minimum": 0.4200012919182664,
                "maximum": 0.4361191994229939
              }
            }
          ]
        },
        {
          "n": 4194304,
          "dt": 0.01,
          "record_calibration_cases": 4,
          "bound_pass_cases": 0,
          "maximum_tv_bound": 0.018430845555610725,
          "maximum_measured_tv": 5.373576151490589e-06,
          "all_reference_containment_pass": true,
          "all_resource_pass": true,
          "capsule_bytes": {
            "minimum": 12700,
            "maximum": 12701
          },
          "candidate_append_s_per_prefix": {
            "minimum": 1.520953730912879,
            "maximum": 1.5261189460288733
          },
          "raw_binary64_payload_bytes_if_retained": 33554432,
          "payload_ratio_not_lossless_benchmark": {
            "minimum": 2641.8732383276906,
            "maximum": 2642.0812598425196
          },
          "raw_maximum_posterior_mass": {
            "minimum": 0.7266244238752774,
            "maximum": 0.9998449006617977
          },
          "raw_effective_support_size": {
            "minimum": 1.0003102467880196,
            "maximum": 1.6591527538029986
          },
          "raw_boundary_mass": {
            "minimum": 0.0,
            "maximum": 0.0
          },
          "raw_posterior_mean_ranges": [
            {
              "calibration": "original",
              "prior": "uniform",
              "omega": {
                "minimum": 3.149999999915945,
                "maximum": 3.1499999999219503
              },
              "gamma": {
                "minimum": 0.5600031019723929,
                "maximum": 0.5651895952036032
              }
            },
            {
              "calibration": "original",
              "prior": "biased",
              "omega": {
                "minimum": 3.1499999999172483,
                "maximum": 3.1499999999665724
              },
              "gamma": {
                "minimum": 0.5600033305602534,
                "maximum": 0.5654675115072576
              }
            },
            {
              "calibration": "revised",
              "prior": "uniform",
              "omega": {
                "minimum": 3.0999999999791457,
                "maximum": 3.100000000014444
              },
              "gamma": {
                "minimum": 0.42003198435481015,
                "maximum": 0.4391663025561376
              }
            },
            {
              "calibration": "revised",
              "prior": "biased",
              "omega": {
                "minimum": 3.099999999988695,
                "maximum": 3.100000000068349
              },
              "gamma": {
                "minimum": 0.42003887910564824,
                "maximum": 0.4393092715965609
              }
            }
          ]
        },
        {
          "n": 4194304,
          "dt": 0.05,
          "record_calibration_cases": 4,
          "bound_pass_cases": 2,
          "maximum_tv_bound": 0.012205114064013993,
          "maximum_measured_tv": 7.123218706236219e-10,
          "all_reference_containment_pass": true,
          "all_resource_pass": true,
          "capsule_bytes": {
            "minimum": 12700,
            "maximum": 12701
          },
          "candidate_append_s_per_prefix": {
            "minimum": 1.5223773408215493,
            "maximum": 1.5579806866589934
          },
          "raw_binary64_payload_bytes_if_retained": 33554432,
          "payload_ratio_not_lossless_benchmark": {
            "minimum": 2641.8732383276906,
            "maximum": 2642.0812598425196
          },
          "raw_maximum_posterior_mass": {
            "minimum": 0.9999946567838338,
            "maximum": 1.0
          },
          "raw_effective_support_size": {
            "minimum": 1.0,
            "maximum": 1.000010686489432
          },
          "raw_boundary_mass": {
            "minimum": 0.0,
            "maximum": 0.0
          },
          "raw_posterior_mean_ranges": [
            {
              "calibration": "original",
              "prior": "uniform",
              "omega": {
                "minimum": 3.1500000000000004,
                "maximum": 3.1500000000028647
              },
              "gamma": {
                "minimum": 0.5800000000000001,
                "maximum": 0.5800000000005092
              }
            },
            {
              "calibration": "original",
              "prior": "biased",
              "omega": {
                "minimum": 3.1500000000000004,
                "maximum": 3.150000000002668
              },
              "gamma": {
                "minimum": 0.5800000000000001,
                "maximum": 0.5800000000004744
              }
            },
            {
              "calibration": "revised",
              "prior": "uniform",
              "omega": {
                "minimum": 3.1,
                "maximum": 3.100000000085864
              },
              "gamma": {
                "minimum": 0.43999989314730986,
                "maximum": 0.44000000000000006
              }
            },
            {
              "calibration": "revised",
              "prior": "biased",
              "omega": {
                "minimum": 3.1,
                "maximum": 3.1000000000733214
              },
              "gamma": {
                "minimum": 0.43999991212703643,
                "maximum": 0.44000000000000006
              }
            }
          ]
        }
      ],
      "four_stream_cumulative_costs_counting_each_sample_once": {
        "source_s": 0.3990695858374238,
        "candidate_append_s": 6.127430704422295,
        "reference_append_s": 485.20627075317316,
        "stream_hash_s": 0.09004159085452557
      },
      "query_costs": {
        "model_setup_s": 2688.441889414564,
        "prefix_queries_s": 199.38390057324432,
        "capsule_tail_queries_s": 21.70058814273216,
        "group_elapsed_s": 2909.874936624896
      },
      "capture_phase_elapsed_s": 491.8948141669389,
      "query_phase_elapsed_s": 2909.8764944579452,
      "native_capture_bytes": {
        "minimum": 144016,
        "maximum": 144016
      },
      "capture_peak_rss_bytes_macos": 122912768,
      "query_peak_rss_bytes_macos": 121028608,
      "accounting_note": "Lengths are paired prefixes, not independent replications. Raw payload ratios are arithmetic, not measured lossless-codec comparisons. No comparator bank optimization is measured here.",
      "sources": {
        "results_06_long_stream/CAPTURE.json": "4e4e00025c8c5636986ff86c90158c9efacf8e21809b54c7e48f23ab9d1f2a9c",
        "results_06_long_stream/RESULTS.json": "4e4cb2febf0cbddd0a67af8678dc18f9d8dd998ddbf8e0b9d9c53170be5ab4c7",
        "results_06_long_stream/VERIFICATION.json": "9ad73b7ea567dde4d80c53d2518f9afea2c228999c2f6d9a22e22eef7b4d236e",
        "GRID_DIAGNOSTICS_06.json": "bff01fb50eedcd0d2d2deb79419da20829b197ea8d47e90fe35a6b01bc6ac8b5"
      },
      "script_sha256": "b7c8576d38185688f17ce0ccab80082715a28ff5a8b6969060fe64d772c8f52c"
    }
  },
  "sources": {
    "research/compression_physical_memory_20260915/SUMMARY_03.json": "6e00a5ced02045aaca09246bfe904a752d59f46cac99ebeb11853a2fa00e95a1",
    "research/compression_physical_memory_20260915/SUMMARY_06.json": "915fd9cebd35e36fd14761520822498abfdc32d66cea87e95f44499f269f6f1a",
    "research/compression_physical_memory_20260915/REPORT.md": "9613f1fd5af84f2df2ce3c958857bef92899c9a47623da13e852e8a51931d553",
    "research/compression_physical_memory_20260915/PROTOCOL_03_PHYSICAL_INFERENCE.md": "300c39730039a0a8948da8ab1e64395555ce69563112856cc83af39b39bf26e3",
    "research/compression_physical_memory_20260915/THEORY_04_PATHWISE_BOUND.md": "e099ea5d817af9edc08f53d802aa0f0c4a45f084cc25538f13aad2f06a291994",
    "research/compression_physical_memory_20260915/DEPENDENCE_CAVEAT.md": "f01cda32324225384d40aa825187c663c754bf8f2d581d37e98ceee2db15c21d",
    "research/compression_physical_memory_20260915/physical_memory.py": "551212887d28346009e4f322f7e9cdccb102698a4eae308510f7ea777bfd784d",
    "research/compression_physical_memory_20260915/physical_kernels.cpp": "e5cac28748791024ac750fcb731c9ceb737de64f142bc9220301c02d0f2c6d4b",
    "research/compression_physical_memory_20260915/enclosure_model.py": "d1cf301621e35ff160fc298bfc08bdd2cc8e30eea18eeec33b927382d2e1ede5",
    "research/compression_physical_memory_20260915/enclosure_query.py": "84e8d9ae4911d3c29dc435e268af66555ce4681301b18c1bd8fe71cbb3f7fc53"
  },
  "new_training": false,
  "new_benchmarks": false,
  "checks": {
    "conditional_covariance": -0.041666666666666664,
    "expected": -0.041666666666666664
  }
}