Files
SGF/docs/proofs/stock-prefix-stream-20261103.json
2026-11-04 09:37:20 +02:00

641 lines
23 KiB
JSON

{
"date": "2026-11-03T08:50:30.043Z",
"increment": "STOCK-PRIOR-STREAM-v1",
"functional_code": true,
"passed": true,
"checks": 48,
"tests": {
"metadata": {
"file": "private/stock-prefix-248a2edca17f/prefix-review-safe.json",
"sha256": "0eff16462c6ee634a617ae04fea158dab0df69219394e5aee09aec97569b653b",
"checks": 43,
"result": {
"passed": true,
"checks": [
"small source snapshot remains byte-equivalent 1",
"accepted posted evidence and revisions remain exact 1",
"small source snapshot remains byte-equivalent 2",
"accepted posted evidence and revisions remain exact 2",
"small source snapshot remains byte-equivalent 3",
"accepted posted evidence and revisions remain exact 3",
"exact legacy representation at prefix 0",
"exact legacy representation at prefix 1",
"exact legacy representation at prefix 25",
"full evidence digest and bounded preview at prefix 26",
"full evidence digest and bounded preview at prefix 501",
"change outside preview changes evidence digest",
"missing predecessor refused",
"changed rate in late chunk refused",
"incomplete evidence in late chunk refused",
"other tenant excluded",
"other company cannot complete coverage",
"other unit cannot complete coverage",
"movement reference JSON type preserved exactly",
"baseline refuses string rate ID",
"projection also refuses string rate ID",
"baseline refuses fractional JSON rate ID",
"projection also refuses fractional JSON rate ID",
"normal completion and refusal leave no open prefix cursors",
"bounded preview sample 1000/0",
"actual result batch bounded 1000/0",
"bounded preview sample 1000/1",
"actual result batch bounded 1000/1",
"bounded preview sample 1000/2",
"actual result batch bounded 1000/2",
"bounded preview sample 5000/0",
"actual result batch bounded 5000/0",
"bounded preview sample 5000/1",
"actual result batch bounded 5000/1",
"bounded preview sample 5000/2",
"actual result batch bounded 5000/2",
"bounded preview sample 10000/0",
"actual result batch bounded 10000/0",
"bounded preview sample 10000/1",
"actual result batch bounded 10000/1",
"bounded preview sample 10000/2",
"actual result batch bounded 10000/2",
"measurements close all prefix cursors"
],
"metadata_only_fixture": true,
"new_financial_effects": 0,
"no_indices_added": true,
"batch_limit": 500,
"inline_reference_limit": 25,
"payload_bytes_per_historical_snapshot": 8192,
"metrics": [
{
"prefix_records": 1000,
"samples": {
"before": [
{
"elapsed_ms": 160.246833,
"queries": 2,
"incremental_peak_php_bytes": 13368488,
"max_result_rows": 1000,
"dependency_count": 1000,
"digest": "77f426abc87e509425acea28a444a4bed357d58412a2558c2885bdb3a4a5034a",
"evidence_bytes": 204787
},
{
"elapsed_ms": 157.848875,
"queries": 2,
"incremental_peak_php_bytes": 13368488,
"max_result_rows": 1000,
"dependency_count": 1000,
"digest": "77f426abc87e509425acea28a444a4bed357d58412a2558c2885bdb3a4a5034a",
"evidence_bytes": 204787
},
{
"elapsed_ms": 179.651792,
"queries": 2,
"incremental_peak_php_bytes": 13368488,
"max_result_rows": 1000,
"dependency_count": 1000,
"digest": "77f426abc87e509425acea28a444a4bed357d58412a2558c2885bdb3a4a5034a",
"evidence_bytes": 204787
}
],
"after": [
{
"elapsed_ms": 45.996834,
"queries": 6,
"incremental_peak_php_bytes": 372432,
"max_result_rows": 500,
"dependency_count": 1000,
"digest": "77f426abc87e509425acea28a444a4bed357d58412a2558c2885bdb3a4a5034a",
"evidence_bytes": 5226
},
{
"elapsed_ms": 55.725167,
"queries": 6,
"incremental_peak_php_bytes": 372432,
"max_result_rows": 500,
"dependency_count": 1000,
"digest": "77f426abc87e509425acea28a444a4bed357d58412a2558c2885bdb3a4a5034a",
"evidence_bytes": 5226
},
{
"elapsed_ms": 45.0585,
"queries": 6,
"incremental_peak_php_bytes": 372432,
"max_result_rows": 500,
"dependency_count": 1000,
"digest": "77f426abc87e509425acea28a444a4bed357d58412a2558c2885bdb3a4a5034a",
"evidence_bytes": 5226
}
]
}
},
{
"prefix_records": 5000,
"samples": {
"before": [
{
"elapsed_ms": 1403.80075,
"queries": 2,
"incremental_peak_php_bytes": 66915240,
"max_result_rows": 5000,
"dependency_count": 5000,
"digest": "65315986e3b68c594d078758497bd619f07b767d495a6cff5de990e0d9e631b0",
"evidence_bytes": 1032787
},
{
"elapsed_ms": 1212.303875,
"queries": 2,
"incremental_peak_php_bytes": 66915240,
"max_result_rows": 5000,
"dependency_count": 5000,
"digest": "65315986e3b68c594d078758497bd619f07b767d495a6cff5de990e0d9e631b0",
"evidence_bytes": 1032787
},
{
"elapsed_ms": 1167.604084,
"queries": 2,
"incremental_peak_php_bytes": 66915240,
"max_result_rows": 5000,
"dependency_count": 5000,
"digest": "65315986e3b68c594d078758497bd619f07b767d495a6cff5de990e0d9e631b0",
"evidence_bytes": 1032787
}
],
"after": [
{
"elapsed_ms": 202.49675,
"queries": 14,
"incremental_peak_php_bytes": 372432,
"max_result_rows": 500,
"dependency_count": 5000,
"digest": "65315986e3b68c594d078758497bd619f07b767d495a6cff5de990e0d9e631b0",
"evidence_bytes": 5227
},
{
"elapsed_ms": 207.827625,
"queries": 14,
"incremental_peak_php_bytes": 372432,
"max_result_rows": 500,
"dependency_count": 5000,
"digest": "65315986e3b68c594d078758497bd619f07b767d495a6cff5de990e0d9e631b0",
"evidence_bytes": 5227
},
{
"elapsed_ms": 267.432,
"queries": 14,
"incremental_peak_php_bytes": 372432,
"max_result_rows": 500,
"dependency_count": 5000,
"digest": "65315986e3b68c594d078758497bd619f07b767d495a6cff5de990e0d9e631b0",
"evidence_bytes": 5227
}
]
}
},
{
"prefix_records": 10000,
"samples": {
"before": [
{
"elapsed_ms": 3132.44025,
"queries": 2,
"incremental_peak_php_bytes": 133799528,
"max_result_rows": 10000,
"dependency_count": 10000,
"digest": "59e6dd5dc6edbd607bfd3c5de90eece23e4c832d3a4b1ed7dc464e0d27ac2552",
"evidence_bytes": 2067789
},
{
"elapsed_ms": 2836.689875,
"queries": 2,
"incremental_peak_php_bytes": 133799528,
"max_result_rows": 10000,
"dependency_count": 10000,
"digest": "59e6dd5dc6edbd607bfd3c5de90eece23e4c832d3a4b1ed7dc464e0d27ac2552",
"evidence_bytes": 2067789
},
{
"elapsed_ms": 2410.170292,
"queries": 2,
"incremental_peak_php_bytes": 133799528,
"max_result_rows": 10000,
"dependency_count": 10000,
"digest": "59e6dd5dc6edbd607bfd3c5de90eece23e4c832d3a4b1ed7dc464e0d27ac2552",
"evidence_bytes": 2067789
}
],
"after": [
{
"elapsed_ms": 583.647,
"queries": 24,
"incremental_peak_php_bytes": 372432,
"max_result_rows": 500,
"dependency_count": 10000,
"digest": "59e6dd5dc6edbd607bfd3c5de90eece23e4c832d3a4b1ed7dc464e0d27ac2552",
"evidence_bytes": 5228
},
{
"elapsed_ms": 416.437125,
"queries": 24,
"incremental_peak_php_bytes": 372432,
"max_result_rows": 500,
"dependency_count": 10000,
"digest": "59e6dd5dc6edbd607bfd3c5de90eece23e4c832d3a4b1ed7dc464e0d27ac2552",
"evidence_bytes": 5228
},
{
"elapsed_ms": 565.058834,
"queries": 24,
"incremental_peak_php_bytes": 372432,
"max_result_rows": 500,
"dependency_count": 10000,
"digest": "59e6dd5dc6edbd607bfd3c5de90eece23e4c832d3a4b1ed7dc464e0d27ac2552",
"evidence_bytes": 5228
}
]
}
}
],
"measurement": "warm sequential, three samples, alternating order, incremental peak PHP memory; SQL/server memory excluded",
"old_published_three_source_snapshots_unchanged": true,
"deployment_capacity_validated": false
}
},
"transaction": {
"file": "private/stock-prefix-248a2edca17f/prefix-context-current.json",
"sha256": "f22d1a3f274bd02f964011b01bd759f31a3529430b590cdd873b285ab3bfa439",
"checks": 5,
"result": {
"passed": true,
"checks": [
"standalone prefix capture owns and ends repeatable-read read-only transaction",
"prefix capture preserves caller write transaction and identical evidence",
"late dependency refusal leaves rollback ownership with caller",
"cursor closed even after refusal inside caller write transaction",
"caller rollback restores all metadata probes"
],
"metadata_only_fixture": true,
"new_financial_effects": 0,
"caller_transaction_preserved": true
}
},
"plan": {
"file": "private/stock-prefix-248a2edca17f/prefix-plan.json",
"sha256": "89a7346bbe0ee67cc21716bcc4b1d9ae8a91715dd13cc019b37fd74f821395ce",
"explain_only": true,
"comparison": {
"text_join": [
{
"type": "Nested Loop",
"join": "Inner",
"relation": null,
"index": null,
"estimated_rows": 2500
},
{
"type": "Index Scan",
"join": null,
"relation": "gl_journals",
"index": "gl_journals_pkey",
"estimated_rows": 50
},
{
"type": "Materialize",
"join": null,
"relation": null,
"index": null,
"estimated_rows": 10000
},
{
"type": "Seq Scan",
"join": null,
"relation": "stock_movements",
"index": null,
"estimated_rows": 10000
}
],
"numeric_guarded_join": [
{
"type": "Nested Loop",
"join": "Inner",
"relation": null,
"index": null,
"estimated_rows": 50
},
{
"type": "Index Scan",
"join": null,
"relation": "gl_journals",
"index": "gl_journals_pkey",
"estimated_rows": 50
},
{
"type": "Index Scan",
"join": null,
"relation": "stock_movements",
"index": "stock_movements_pkey",
"estimated_rows": 1
}
]
}
}
},
"metrics": [
{
"prefix_records": 1000,
"before": {
"median_ms": 160.246833,
"queries": [
2
],
"max_incremental_peak_php_bytes": 13368488,
"max_result_rows": 1000,
"evidence_bytes": 204787,
"samples": [
{
"elapsed_ms": 160.246833,
"queries": 2,
"incremental_peak_php_bytes": 13368488,
"max_result_rows": 1000,
"dependency_count": 1000,
"digest": "77f426abc87e509425acea28a444a4bed357d58412a2558c2885bdb3a4a5034a",
"evidence_bytes": 204787
},
{
"elapsed_ms": 157.848875,
"queries": 2,
"incremental_peak_php_bytes": 13368488,
"max_result_rows": 1000,
"dependency_count": 1000,
"digest": "77f426abc87e509425acea28a444a4bed357d58412a2558c2885bdb3a4a5034a",
"evidence_bytes": 204787
},
{
"elapsed_ms": 179.651792,
"queries": 2,
"incremental_peak_php_bytes": 13368488,
"max_result_rows": 1000,
"dependency_count": 1000,
"digest": "77f426abc87e509425acea28a444a4bed357d58412a2558c2885bdb3a4a5034a",
"evidence_bytes": 204787
}
]
},
"after": {
"median_ms": 45.996834,
"queries": [
6
],
"max_incremental_peak_php_bytes": 372432,
"max_result_rows": 500,
"evidence_bytes": 5226,
"samples": [
{
"elapsed_ms": 45.996834,
"queries": 6,
"incremental_peak_php_bytes": 372432,
"max_result_rows": 500,
"dependency_count": 1000,
"digest": "77f426abc87e509425acea28a444a4bed357d58412a2558c2885bdb3a4a5034a",
"evidence_bytes": 5226
},
{
"elapsed_ms": 55.725167,
"queries": 6,
"incremental_peak_php_bytes": 372432,
"max_result_rows": 500,
"dependency_count": 1000,
"digest": "77f426abc87e509425acea28a444a4bed357d58412a2558c2885bdb3a4a5034a",
"evidence_bytes": 5226
},
{
"elapsed_ms": 45.0585,
"queries": 6,
"incremental_peak_php_bytes": 372432,
"max_result_rows": 500,
"dependency_count": 1000,
"digest": "77f426abc87e509425acea28a444a4bed357d58412a2558c2885bdb3a4a5034a",
"evidence_bytes": 5226
}
]
}
},
{
"prefix_records": 5000,
"before": {
"median_ms": 1212.303875,
"queries": [
2
],
"max_incremental_peak_php_bytes": 66915240,
"max_result_rows": 5000,
"evidence_bytes": 1032787,
"samples": [
{
"elapsed_ms": 1403.80075,
"queries": 2,
"incremental_peak_php_bytes": 66915240,
"max_result_rows": 5000,
"dependency_count": 5000,
"digest": "65315986e3b68c594d078758497bd619f07b767d495a6cff5de990e0d9e631b0",
"evidence_bytes": 1032787
},
{
"elapsed_ms": 1212.303875,
"queries": 2,
"incremental_peak_php_bytes": 66915240,
"max_result_rows": 5000,
"dependency_count": 5000,
"digest": "65315986e3b68c594d078758497bd619f07b767d495a6cff5de990e0d9e631b0",
"evidence_bytes": 1032787
},
{
"elapsed_ms": 1167.604084,
"queries": 2,
"incremental_peak_php_bytes": 66915240,
"max_result_rows": 5000,
"dependency_count": 5000,
"digest": "65315986e3b68c594d078758497bd619f07b767d495a6cff5de990e0d9e631b0",
"evidence_bytes": 1032787
}
]
},
"after": {
"median_ms": 207.827625,
"queries": [
14
],
"max_incremental_peak_php_bytes": 372432,
"max_result_rows": 500,
"evidence_bytes": 5227,
"samples": [
{
"elapsed_ms": 202.49675,
"queries": 14,
"incremental_peak_php_bytes": 372432,
"max_result_rows": 500,
"dependency_count": 5000,
"digest": "65315986e3b68c594d078758497bd619f07b767d495a6cff5de990e0d9e631b0",
"evidence_bytes": 5227
},
{
"elapsed_ms": 207.827625,
"queries": 14,
"incremental_peak_php_bytes": 372432,
"max_result_rows": 500,
"dependency_count": 5000,
"digest": "65315986e3b68c594d078758497bd619f07b767d495a6cff5de990e0d9e631b0",
"evidence_bytes": 5227
},
{
"elapsed_ms": 267.432,
"queries": 14,
"incremental_peak_php_bytes": 372432,
"max_result_rows": 500,
"dependency_count": 5000,
"digest": "65315986e3b68c594d078758497bd619f07b767d495a6cff5de990e0d9e631b0",
"evidence_bytes": 5227
}
]
}
},
{
"prefix_records": 10000,
"before": {
"median_ms": 2836.689875,
"queries": [
2
],
"max_incremental_peak_php_bytes": 133799528,
"max_result_rows": 10000,
"evidence_bytes": 2067789,
"samples": [
{
"elapsed_ms": 3132.44025,
"queries": 2,
"incremental_peak_php_bytes": 133799528,
"max_result_rows": 10000,
"dependency_count": 10000,
"digest": "59e6dd5dc6edbd607bfd3c5de90eece23e4c832d3a4b1ed7dc464e0d27ac2552",
"evidence_bytes": 2067789
},
{
"elapsed_ms": 2836.689875,
"queries": 2,
"incremental_peak_php_bytes": 133799528,
"max_result_rows": 10000,
"dependency_count": 10000,
"digest": "59e6dd5dc6edbd607bfd3c5de90eece23e4c832d3a4b1ed7dc464e0d27ac2552",
"evidence_bytes": 2067789
},
{
"elapsed_ms": 2410.170292,
"queries": 2,
"incremental_peak_php_bytes": 133799528,
"max_result_rows": 10000,
"dependency_count": 10000,
"digest": "59e6dd5dc6edbd607bfd3c5de90eece23e4c832d3a4b1ed7dc464e0d27ac2552",
"evidence_bytes": 2067789
}
]
},
"after": {
"median_ms": 565.058834,
"queries": [
24
],
"max_incremental_peak_php_bytes": 372432,
"max_result_rows": 500,
"evidence_bytes": 5228,
"samples": [
{
"elapsed_ms": 583.647,
"queries": 24,
"incremental_peak_php_bytes": 372432,
"max_result_rows": 500,
"dependency_count": 10000,
"digest": "59e6dd5dc6edbd607bfd3c5de90eece23e4c832d3a4b1ed7dc464e0d27ac2552",
"evidence_bytes": 5228
},
{
"elapsed_ms": 416.437125,
"queries": 24,
"incremental_peak_php_bytes": 372432,
"max_result_rows": 500,
"dependency_count": 10000,
"digest": "59e6dd5dc6edbd607bfd3c5de90eece23e4c832d3a4b1ed7dc464e0d27ac2552",
"evidence_bytes": 5228
},
{
"elapsed_ms": 565.058834,
"queries": 24,
"incremental_peak_php_bytes": 372432,
"max_result_rows": 500,
"dependency_count": 10000,
"digest": "59e6dd5dc6edbd607bfd3c5de90eece23e4c832d3a4b1ed7dc464e0d27ac2552",
"evidence_bytes": 5228
}
]
}
}
],
"reference": {
"original_source_sha256": "a289ac2ad4a373628dabbc90c395002c22c4f86b51199f40c7aa82dbbe35cac3",
"private_baseline_sha256": "d444f9ab6ba085df9d6e6fcae7cfbd1447e27e5cef9a45c560265e0490f72864"
},
"sources": [
{
"file": "packages/general-ledger/src/StockValuation.php",
"sha256": "05f32dab605157b621aa3f419c500286517d0240940bfeae1eefbf194f317323"
},
{
"file": "scripts/stock-prefix-proof.php",
"sha256": "b1c45414e4c28f9b823b374daaa8a975698b14c6aee31290a315ed153be4b87c"
},
{
"file": "scripts/stock-prefix-context.php",
"sha256": "fff9adc41f547e1cb0d3ecd14c322a4a1b8d4c5b2097cdd8ccc29e6dc02e0734"
},
{
"file": "scripts/stock-prefix-plan.php",
"sha256": "1a8babb3f1ad5a3ba4a45e802a8e241e87f7e35b31a24e502a7842f76812264e"
},
{
"file": "scripts/stock-prefix-run.mjs",
"sha256": "6ed8d136605c5c6e623f093bae8c9d1fafbf84b1e580995a6c2d1058743b3dc6"
}
],
"prior_proofs_preserved": [
{
"file": "docs/proofs/common-ledger-stock-valuation-20261103.json",
"sha256": "a4eed51a66988ab103770a4be789952b2f377a8e7c41608bbf34662a80745124"
},
{
"file": "docs/proofs/module-association-consolidation-summary-20261102.json",
"sha256": "8f693f39763ee21a22ebd3929d95ba1480f339eca18742fa53055c69eb5219ef"
},
{
"file": "docs/proofs/requisition-composition-20261103.json",
"sha256": "8e4e7a113274b16f9e1d6882ae4f0bf04eb3e9c0d580cf1743fdfe248458f67e"
}
],
"preservation": {
"frozen_demo_bundle_sha256": "8b3ad1c600b84c8526b2d9f453a1c5c4e174a69d6acc78ace2af4f52a25dd762",
"existing_three_posted_snapshots_byte_equivalent": true,
"no_existing_record_or_grant_changed": true,
"no_indices_added": true,
"new_financial_effects": 0,
"blocked_cache_cleared": false,
"publication": false,
"purchasing_activation": false
},
"limitations": [
"Metadata-only infrastructure fixture; not1000/5000/10000 validated stock movements or a full-page/period load test.",
"Three warm samples in alternating order, equal read-only repeatable-read transactions. Peak PHP memory excludes PostgreSQL and process RSS.",
"The deployed/frozen demonstration bundle is preserved, not upgraded by this source change.",
"Long prefixes use an explicit summary format with all-reference digest and first25 references; accepted three-movement snapshots remain exact.",
"Total work and query count grow with prefix size; full-page/period batching and deployment capacity remain unvalidated."
],
"diagnostics_preserved": {
"partial_instrumentation_run": "prefix-review-selected",
"cancelled_read_only_text_join_run": "prefix-review-types",
"other_intermediate_results_kept": true
}
}