Files
SGF/docs/proofs/module-association-consolidation-summary-20261102.json
2026-11-02 20:29:34 +02:00

901 lines
26 KiB
JSON

{
"date": "2026-11-02",
"joint_page_read_implemented": true,
"source_sha256": "b901bccc73a59e80d98d32a56532e9300a55ba9a216e5ac5a0ce84d78f976397",
"controller_sha256": "6c16481f7e3f4355ba60ca22bc67385ec3b3113b4784e5d9f57025618e1735a9",
"method": {
"new_database_connections": 0,
"new_measurements": 0,
"valid_proofs_reused": true,
"reason": "All 24 required area/volume/page combinations have measured A/B/C outcomes, including explicitly bounded baseline attempts; no dimension is untested.",
"historical_batch_before_projection_sha256": "6df1a85af8ea3112ff8e61741408158cd0444944cc3e0b407ad5bd4ad8043361",
"current_projection_all_three_volume_matrix_measured": false,
"current_projection_scope": "Separate 10000-record-per-area, 100-line profiles; do not present historical B as current projected-code measurements.",
"memory_unit": "bytes",
"memory_metric": "incremental_php_used_bytes; peak_php_used_bytes also retained",
"latency_metric": "median_ms only for complete samples"
},
"coverage": [
{
"records_per_area": 1000,
"area": "clients",
"page_size": 25,
"before": {
"completed_samples": 3,
"median_ms": 1986.496,
"queries": 185,
"peak_php_used_bytes": 43887296,
"incremental_php_used_bytes": 88576,
"censored": false,
"last_observed_ms": 1975.37
},
"after_joint_read": {
"completed_samples": 3,
"median_ms": 36.773,
"queries": 11,
"peak_php_used_bytes": 43903208,
"incremental_php_used_bytes": 102696,
"censored": false,
"last_observed_ms": 29.283
},
"after_joint_read_with_indexes": {
"completed_samples": 3,
"median_ms": 10.664,
"queries": 11,
"peak_php_used_bytes": 44039280,
"incremental_php_used_bytes": 102536,
"censored": false,
"last_observed_ms": 11.516
}
},
{
"records_per_area": 1000,
"area": "clients",
"page_size": 100,
"before": {
"completed_samples": 3,
"median_ms": 7407.368,
"queries": 710,
"peak_php_used_bytes": 43974712,
"incremental_php_used_bytes": 162416,
"censored": false,
"last_observed_ms": 7358.838
},
"after_joint_read": {
"completed_samples": 3,
"median_ms": 29.77,
"queries": 11,
"peak_php_used_bytes": 44074560,
"incremental_php_used_bytes": 260472,
"censored": false,
"last_observed_ms": 29.77
},
"after_joint_read_with_indexes": {
"completed_samples": 3,
"median_ms": 12.854,
"queries": 11,
"peak_php_used_bytes": 44205112,
"incremental_php_used_bytes": 260312,
"censored": false,
"last_observed_ms": 12.607
}
},
{
"records_per_area": 1000,
"area": "services",
"page_size": 25,
"before": {
"completed_samples": 3,
"median_ms": 1924.424,
"queries": 185,
"peak_php_used_bytes": 43914616,
"incremental_php_used_bytes": 88632,
"censored": false,
"last_observed_ms": 1940.761
},
"after_joint_read": {
"completed_samples": 3,
"median_ms": 30.091,
"queries": 11,
"peak_php_used_bytes": 43929712,
"incremental_php_used_bytes": 101944,
"censored": false,
"last_observed_ms": 27.823
},
"after_joint_read_with_indexes": {
"completed_samples": 3,
"median_ms": 10.811,
"queries": 11,
"peak_php_used_bytes": 44054264,
"incremental_php_used_bytes": 101776,
"censored": false,
"last_observed_ms": 9.826
}
},
{
"records_per_area": 1000,
"area": "services",
"page_size": 100,
"before": {
"completed_samples": 3,
"median_ms": 7778.431,
"queries": 710,
"peak_php_used_bytes": 44001528,
"incremental_php_used_bytes": 162504,
"censored": false,
"last_observed_ms": 7778.431
},
"after_joint_read": {
"completed_samples": 3,
"median_ms": 31.962,
"queries": 11,
"peak_php_used_bytes": 44100504,
"incremental_php_used_bytes": 259680,
"censored": false,
"last_observed_ms": 31.962
},
"after_joint_read_with_indexes": {
"completed_samples": 3,
"median_ms": 11.898,
"queries": 11,
"peak_php_used_bytes": 44219696,
"incremental_php_used_bytes": 259528,
"censored": false,
"last_observed_ms": 10.903
}
},
{
"records_per_area": 1000,
"area": "service_drafts",
"page_size": 25,
"before": {
"completed_samples": 3,
"median_ms": 3905.946,
"queries": 435,
"peak_php_used_bytes": 43973256,
"incremental_php_used_bytes": 119760,
"censored": false,
"last_observed_ms": 3935.114
},
"after_joint_read": {
"completed_samples": 3,
"median_ms": 77.228,
"queries": 19,
"peak_php_used_bytes": 44081976,
"incremental_php_used_bytes": 226664,
"censored": false,
"last_observed_ms": 72.522
},
"after_joint_read_with_indexes": {
"completed_samples": 3,
"median_ms": 16.649,
"queries": 19,
"peak_php_used_bytes": 44194464,
"incremental_php_used_bytes": 226528,
"censored": false,
"last_observed_ms": 15.141
}
},
{
"records_per_area": 1000,
"area": "service_drafts",
"page_size": 100,
"before": {
"completed_samples": 0,
"median_ms": null,
"queries": null,
"peak_php_used_bytes": null,
"incremental_php_used_bytes": null,
"censored": true,
"last_observed_ms": 15014.911
},
"after_joint_read": {
"completed_samples": 3,
"median_ms": 77.016,
"queries": 19,
"peak_php_used_bytes": 44626272,
"incremental_php_used_bytes": 762504,
"censored": false,
"last_observed_ms": 77.016
},
"after_joint_read_with_indexes": {
"completed_samples": 3,
"median_ms": 22.162,
"queries": 19,
"peak_php_used_bytes": 44738048,
"incremental_php_used_bytes": 762368,
"censored": false,
"last_observed_ms": 22.115
}
},
{
"records_per_area": 1000,
"area": "billing_drafts",
"page_size": 25,
"before": {
"completed_samples": 3,
"median_ms": 5014.745,
"queries": 560,
"peak_php_used_bytes": 44010024,
"incremental_php_used_bytes": 134904,
"censored": false,
"last_observed_ms": 4823.376
},
"after_joint_read": {
"completed_samples": 3,
"median_ms": 96.212,
"queries": 23,
"peak_php_used_bytes": 44178416,
"incremental_php_used_bytes": 301480,
"censored": false,
"last_observed_ms": 94.739
},
"after_joint_read_with_indexes": {
"completed_samples": 3,
"median_ms": 19.615,
"queries": 23,
"peak_php_used_bytes": 44284608,
"incremental_php_used_bytes": 301344,
"censored": false,
"last_observed_ms": 22.34
}
},
{
"records_per_area": 1000,
"area": "billing_drafts",
"page_size": 100,
"before": {
"completed_samples": 0,
"median_ms": null,
"queries": null,
"peak_php_used_bytes": null,
"incremental_php_used_bytes": null,
"censored": true,
"last_observed_ms": 15001.514
},
"after_joint_read": {
"completed_samples": 3,
"median_ms": 100.602,
"queries": 23,
"peak_php_used_bytes": 44947480,
"incremental_php_used_bytes": 1062088,
"censored": false,
"last_observed_ms": 107.698
},
"after_joint_read_with_indexes": {
"completed_samples": 3,
"median_ms": 28.94,
"queries": 23,
"peak_php_used_bytes": 45053120,
"incremental_php_used_bytes": 1061952,
"censored": false,
"last_observed_ms": 30.172
}
},
{
"records_per_area": 5000,
"area": "clients",
"page_size": 25,
"before": {
"completed_samples": 3,
"median_ms": 6295.358,
"queries": 185,
"peak_php_used_bytes": 44891080,
"incremental_php_used_bytes": 88832,
"censored": false,
"last_observed_ms": 6312.188
},
"after_joint_read": {
"completed_samples": 3,
"median_ms": 97.221,
"queries": 11,
"peak_php_used_bytes": 44906744,
"incremental_php_used_bytes": 102704,
"censored": false,
"last_observed_ms": 112.29
},
"after_joint_read_with_indexes": {
"completed_samples": 3,
"median_ms": 18.454,
"queries": 11,
"peak_php_used_bytes": 45025520,
"incremental_php_used_bytes": 102544,
"censored": false,
"last_observed_ms": 18.454
}
},
{
"records_per_area": 5000,
"area": "clients",
"page_size": 100,
"before": {
"completed_samples": 0,
"median_ms": null,
"queries": null,
"peak_php_used_bytes": null,
"incremental_php_used_bytes": null,
"censored": true,
"last_observed_ms": 15035.078
},
"after_joint_read": {
"completed_samples": 3,
"median_ms": 87.006,
"queries": 11,
"peak_php_used_bytes": 45073320,
"incremental_php_used_bytes": 260736,
"censored": false,
"last_observed_ms": 87.006
},
"after_joint_read_with_indexes": {
"completed_samples": 3,
"median_ms": 19.76,
"queries": 11,
"peak_php_used_bytes": 45191232,
"incremental_php_used_bytes": 260576,
"censored": false,
"last_observed_ms": 20.742
}
},
{
"records_per_area": 5000,
"area": "services",
"page_size": 25,
"before": {
"completed_samples": 3,
"median_ms": 5238.39,
"queries": 185,
"peak_php_used_bytes": 44912728,
"incremental_php_used_bytes": 88888,
"censored": false,
"last_observed_ms": 5101.054
},
"after_joint_read": {
"completed_samples": 3,
"median_ms": 92.186,
"queries": 11,
"peak_php_used_bytes": 44928392,
"incremental_php_used_bytes": 102768,
"censored": false,
"last_observed_ms": 92.186
},
"after_joint_read_with_indexes": {
"completed_samples": 3,
"median_ms": 17.112,
"queries": 11,
"peak_php_used_bytes": 45040784,
"incremental_php_used_bytes": 102600,
"censored": false,
"last_observed_ms": 17.112
}
},
{
"records_per_area": 5000,
"area": "services",
"page_size": 100,
"before": {
"completed_samples": 0,
"median_ms": null,
"queries": null,
"peak_php_used_bytes": null,
"incremental_php_used_bytes": null,
"censored": true,
"last_observed_ms": 15008.401
},
"after_joint_read": {
"completed_samples": 3,
"median_ms": 77.976,
"queries": 11,
"peak_php_used_bytes": 45094784,
"incremental_php_used_bytes": 260816,
"censored": false,
"last_observed_ms": 79.222
},
"after_joint_read_with_indexes": {
"completed_samples": 3,
"median_ms": 18.127,
"queries": 11,
"peak_php_used_bytes": 45206688,
"incremental_php_used_bytes": 260664,
"censored": false,
"last_observed_ms": 17.877
}
},
{
"records_per_area": 5000,
"area": "service_drafts",
"page_size": 25,
"before": {
"completed_samples": 3,
"median_ms": 10553.094,
"queries": 435,
"peak_php_used_bytes": 44965376,
"incremental_php_used_bytes": 120016,
"censored": false,
"last_observed_ms": 11120.366
},
"after_joint_read": {
"completed_samples": 3,
"median_ms": 216.018,
"queries": 19,
"peak_php_used_bytes": 45074096,
"incremental_php_used_bytes": 226920,
"censored": false,
"last_observed_ms": 216.018
},
"after_joint_read_with_indexes": {
"completed_samples": 3,
"median_ms": 36.972,
"queries": 19,
"peak_php_used_bytes": 45180416,
"incremental_php_used_bytes": 226784,
"censored": false,
"last_observed_ms": 36.972
}
},
{
"records_per_area": 5000,
"area": "service_drafts",
"page_size": 100,
"before": {
"completed_samples": 0,
"median_ms": null,
"queries": null,
"peak_php_used_bytes": null,
"incremental_php_used_bytes": null,
"censored": true,
"last_observed_ms": 15047.893
},
"after_joint_read": {
"completed_samples": 3,
"median_ms": 232.943,
"queries": 19,
"peak_php_used_bytes": 45618392,
"incremental_php_used_bytes": 762760,
"censored": false,
"last_observed_ms": 232.943
},
"after_joint_read_with_indexes": {
"completed_samples": 3,
"median_ms": 44.376,
"queries": 19,
"peak_php_used_bytes": 45724160,
"incremental_php_used_bytes": 762624,
"censored": false,
"last_observed_ms": 51.99
}
},
{
"records_per_area": 5000,
"area": "billing_drafts",
"page_size": 25,
"before": {
"completed_samples": 3,
"median_ms": 13947.252,
"queries": 560,
"peak_php_used_bytes": 45002488,
"incremental_php_used_bytes": 135504,
"censored": false,
"last_observed_ms": 14018.632
},
"after_joint_read": {
"completed_samples": 3,
"median_ms": 377.178,
"queries": 23,
"peak_php_used_bytes": 45170280,
"incremental_php_used_bytes": 301480,
"censored": false,
"last_observed_ms": 452.889
},
"after_joint_read_with_indexes": {
"completed_samples": 3,
"median_ms": 33.662,
"queries": 23,
"peak_php_used_bytes": 45270464,
"incremental_php_used_bytes": 301344,
"censored": false,
"last_observed_ms": 31.493
}
},
{
"records_per_area": 5000,
"area": "billing_drafts",
"page_size": 100,
"before": {
"completed_samples": 0,
"median_ms": null,
"queries": null,
"peak_php_used_bytes": null,
"incremental_php_used_bytes": null,
"censored": true,
"last_observed_ms": 15014.771
},
"after_joint_read": {
"completed_samples": 3,
"median_ms": 322.135,
"queries": 23,
"peak_php_used_bytes": 45939344,
"incremental_php_used_bytes": 1062088,
"censored": false,
"last_observed_ms": 346.88
},
"after_joint_read_with_indexes": {
"completed_samples": 3,
"median_ms": 65.664,
"queries": 23,
"peak_php_used_bytes": 46038976,
"incremental_php_used_bytes": 1061952,
"censored": false,
"last_observed_ms": 67.107
}
},
{
"records_per_area": 10000,
"area": "clients",
"page_size": 25,
"before": {
"completed_samples": 3,
"median_ms": 9683.039,
"queries": 185,
"peak_php_used_bytes": 45757968,
"incremental_php_used_bytes": 88832,
"censored": false,
"last_observed_ms": 9162.265
},
"after_joint_read": {
"completed_samples": 3,
"median_ms": 156.317,
"queries": 11,
"peak_php_used_bytes": 45773632,
"incremental_php_used_bytes": 102704,
"censored": false,
"last_observed_ms": 122.2
},
"after_joint_read_with_indexes": {
"completed_samples": 3,
"median_ms": 13.88,
"queries": 11,
"peak_php_used_bytes": 45886464,
"incremental_php_used_bytes": 102544,
"censored": false,
"last_observed_ms": 13.88
}
},
{
"records_per_area": 10000,
"area": "clients",
"page_size": 100,
"before": {
"completed_samples": 0,
"median_ms": null,
"queries": null,
"peak_php_used_bytes": null,
"incremental_php_used_bytes": null,
"censored": true,
"last_observed_ms": 15162.011
},
"after_joint_read": {
"completed_samples": 3,
"median_ms": 203.094,
"queries": 11,
"peak_php_used_bytes": 45948400,
"incremental_php_used_bytes": 260736,
"censored": false,
"last_observed_ms": 203.094
},
"after_joint_read_with_indexes": {
"completed_samples": 3,
"median_ms": 14.52,
"queries": 11,
"peak_php_used_bytes": 46052176,
"incremental_php_used_bytes": 260576,
"censored": false,
"last_observed_ms": 13.473
}
},
{
"records_per_area": 10000,
"area": "services",
"page_size": 25,
"before": {
"completed_samples": 3,
"median_ms": 9385.151,
"queries": 185,
"peak_php_used_bytes": 45787552,
"incremental_php_used_bytes": 88632,
"censored": false,
"last_observed_ms": 9819.329
},
"after_joint_read": {
"completed_samples": 3,
"median_ms": 117.184,
"queries": 11,
"peak_php_used_bytes": 45802648,
"incremental_php_used_bytes": 101944,
"censored": false,
"last_observed_ms": 133.623
},
"after_joint_read_with_indexes": {
"completed_samples": 3,
"median_ms": 11.662,
"queries": 11,
"peak_php_used_bytes": 45900904,
"incremental_php_used_bytes": 101776,
"censored": false,
"last_observed_ms": 11.772
}
},
{
"records_per_area": 10000,
"area": "services",
"page_size": 100,
"before": {
"completed_samples": 0,
"median_ms": null,
"queries": null,
"peak_php_used_bytes": null,
"incremental_php_used_bytes": null,
"censored": true,
"last_observed_ms": 15016.685
},
"after_joint_read": {
"completed_samples": 3,
"median_ms": 109.768,
"queries": 11,
"peak_php_used_bytes": 45968728,
"incremental_php_used_bytes": 259680,
"censored": false,
"last_observed_ms": 109.768
},
"after_joint_read_with_indexes": {
"completed_samples": 3,
"median_ms": 14.871,
"queries": 11,
"peak_php_used_bytes": 46066496,
"incremental_php_used_bytes": 259528,
"censored": false,
"last_observed_ms": 14.871
}
},
{
"records_per_area": 10000,
"area": "service_drafts",
"page_size": 25,
"before": {
"completed_samples": 0,
"median_ms": null,
"queries": null,
"peak_php_used_bytes": null,
"incremental_php_used_bytes": null,
"censored": true,
"last_observed_ms": 15036.425
},
"after_joint_read": {
"completed_samples": 3,
"median_ms": 333.786,
"queries": 19,
"peak_php_used_bytes": 45943832,
"incremental_php_used_bytes": 226288,
"censored": false,
"last_observed_ms": 333.786
},
"after_joint_read_with_indexes": {
"completed_samples": 3,
"median_ms": 20.321,
"queries": 19,
"peak_php_used_bytes": 46040728,
"incremental_php_used_bytes": 226152,
"censored": false,
"last_observed_ms": 20.321
}
},
{
"records_per_area": 10000,
"area": "service_drafts",
"page_size": 100,
"before": {
"completed_samples": 0,
"median_ms": null,
"queries": null,
"peak_php_used_bytes": null,
"incremental_php_used_bytes": null,
"censored": true,
"last_observed_ms": 15103.593
},
"after_joint_read": {
"completed_samples": 3,
"median_ms": 399.873,
"queries": 19,
"peak_php_used_bytes": 46488128,
"incremental_php_used_bytes": 762128,
"censored": false,
"last_observed_ms": 399.873
},
"after_joint_read_with_indexes": {
"completed_samples": 3,
"median_ms": 26.888,
"queries": 19,
"peak_php_used_bytes": 46584312,
"incremental_php_used_bytes": 761992,
"censored": false,
"last_observed_ms": 26.621
}
},
{
"records_per_area": 10000,
"area": "billing_drafts",
"page_size": 25,
"before": {
"completed_samples": 0,
"median_ms": null,
"queries": null,
"peak_php_used_bytes": null,
"incremental_php_used_bytes": null,
"censored": true,
"last_observed_ms": 15034.132
},
"after_joint_read": {
"completed_samples": 3,
"median_ms": 592.801,
"queries": 23,
"peak_php_used_bytes": 46035560,
"incremental_php_used_bytes": 301104,
"censored": false,
"last_observed_ms": 684.446
},
"after_joint_read_with_indexes": {
"completed_samples": 3,
"median_ms": 28.728,
"queries": 23,
"peak_php_used_bytes": 46131032,
"incremental_php_used_bytes": 300968,
"censored": false,
"last_observed_ms": 23.471
}
},
{
"records_per_area": 10000,
"area": "billing_drafts",
"page_size": 100,
"before": {
"completed_samples": 0,
"median_ms": null,
"queries": null,
"peak_php_used_bytes": null,
"incremental_php_used_bytes": null,
"censored": true,
"last_observed_ms": 15151.598
},
"after_joint_read": {
"completed_samples": 3,
"median_ms": 451.128,
"queries": 23,
"peak_php_used_bytes": 46804624,
"incremental_php_used_bytes": 1061712,
"censored": false,
"last_observed_ms": 449.233
},
"after_joint_read_with_indexes": {
"completed_samples": 3,
"median_ms": 35.65,
"queries": 23,
"peak_php_used_bytes": 46899384,
"incremental_php_used_bytes": 1061576,
"censored": false,
"last_observed_ms": 35.65
}
}
],
"missing_combinations": [],
"additional_filter_cases": 9,
"complete_measured_requests": 258,
"bounded_baseline_attempts": 13,
"current_projection": {
"all_complete_responses_identical": true,
"records_per_area": 10000,
"limited_attempts": 0,
"lines_per_draft": 100,
"description_bytes": [
128,
1000
],
"scenarios": 44,
"complete_scenarios": 44,
"memory_budget_diagnostic_bytes": 201326592,
"capacity_validated": false,
"complete_measured_requests": 132,
"page_sizes": [
25,
100
],
"variants": [
"pre_projection",
"none",
"revision_only",
"pair"
],
"php_memory_limit": "512M"
},
"concurrency": {
"test": {
"tests": 1,
"assertions": 346,
"errors": 0,
"failures": 0,
"junit_sha256": "217e4ff8096d985a523748a9b98bc3b573614c8dbe2318e1a0a2b7a26798cc1d"
},
"matrix_reads": 420,
"mixed_reads": 20
},
"release": {
"tests": 1,
"assertions": 79,
"failures": 0,
"errors": 0,
"junit_sha256": "b2fcb62f49a1f13e0b14882a8d68c45cf2c634d9f7f7094083e917d7175f9d3a"
},
"http": {
"http_lock": {
"tests": 1,
"assertions": 54,
"errors": 0,
"failures": 0,
"sha256": "87dfb60f41c12a2c7b34c2236d8d2af631b6737360637347017351e946e5b69c"
},
"affected_queue": {
"tests": 13,
"assertions": 232,
"errors": 0,
"failures": 0,
"sha256": "e226bed0ab078a35175ac031e46441c229e833069ab5d0229cbd117041d8e284"
}
},
"validated_existing_proofs": [
{
"path": "docs/proofs/module-association-http-lock-20261102.json",
"sha256": "fa3d95ba919d23b6269e6a27f5f085718247e9ba0d06291c3276db62c04d9286"
},
{
"path": "docs/proofs/module-association-release-20261102.json",
"sha256": "a4017200b2ce7d60efcc3590780019309850f3c864f90ba0b3c786382fae4f28"
},
{
"path": "docs/proofs/module-association-optimization-comparison-20261102.json",
"sha256": "2f24696cd4282856151c044de4830f77d12ae618430461b2202360a30215580a"
},
{
"path": "docs/proofs/module-association-optimization-summary-20261102.json",
"sha256": "6371512a070c3ae71872eeb76fae6f04d7a1aeeffc97510a3ea8e5e263396591"
},
{
"path": "docs/proofs/module-association-projection-fanout-20261102.json",
"sha256": "e0353b7925a997a8a067a996d20bf462cd89c75b4eb3e302629015297a356f2d"
},
{
"path": "docs/proofs/module-association-projection-summary-20261102.json",
"sha256": "171309fd4ca204e6e485e1790b1892d63e5f0ad13b494bd6d09434c5c9e8a193"
},
{
"path": "docs/proofs/module-association-concurrency-20261102.json",
"sha256": "bd75881c7c60cf5c2acf4fb256d83e090b07f112becbf30c8620cbb81432546a"
},
{
"path": "docs/proofs/module-association-concurrency-summary-20261102.json",
"sha256": "bb12a5fd566d8c606a7a0e082256ad82a4b399929755c60f8be69bf1bcd6b239"
}
],
"preservation": {
"existing_proofs_unchanged": true,
"protected_six_records_untouched": true,
"blocked_cache_untouched": true,
"destination_connected": false,
"application_code_changed": false,
"indexes_created": false,
"rights_changed": false,
"purchasing_activated": false,
"publication": false,
"checkpoint": false
},
"visual_review_pending": true,
"deployment_capacity_validated": false
}