Files
SGF/docs/proofs/sgf-settlement-paged-read-20261102.json
2026-11-04 09:37:20 +02:00

345 lines
12 KiB
JSON

{
"increment": "SGF-SETTLEMENT-PAGED-READ-SIM-v1",
"date": "2026-11-02",
"synthetic_only": true,
"tests": {
"passed": true,
"cases": [
{
"name": "independent-disjoint-windows-and-full-history-amounts",
"assertions": 17,
"passed": true
},
{
"name": "state-reference-and-focus-predicates-before-counts",
"assertions": 19,
"passed": true
},
{
"name": "isolation-covers-roots-children-and-aggregate-sums",
"assertions": 4,
"passed": true
},
{
"name": "read-authority-revoked-and-current-cycle-rechecked",
"assertions": 4,
"passed": true
},
{
"name": "read-failure-rolls-back-and-next-read-recovers",
"assertions": 2,
"passed": true
},
{
"name": "controller-links-keep-independent-filters-and-source-focus",
"assertions": 6,
"passed": true
}
],
"assertions": 53,
"baseline_fingerprint_equal": true,
"test_writes_rolled_back": true
},
"http": {
"passed": true,
"checks": 29,
"real_http_kernel": true,
"csrf_enforced": true,
"read_only_actor": true,
"visual_review": false,
"browser_interactions_tested": false
},
"navigation_supplement": {
"passed": true,
"source_exit_preserves_payment_filters": true,
"document_page_reset": true
},
"preservation": {
"passed": true,
"read_only": true,
"baseline_fingerprint_equal": true,
"business_fingerprint": "7cbe5df4c05f5017840563e38ebff0e4c88e0e147e49f07922ce6d36de7a0318",
"copied_original_receipt_unchanged": true,
"payment_count": 1000,
"source_databases_and_demos_not_written": true
},
"volume": {
"payments": 1000,
"actual_command_workflow_payments": 1,
"explicit_benchmark_clones": 999,
"indices_added": false,
"baseline_fingerprint": "7cbe5df4c05f5017840563e38ebff0e4c88e0e147e49f07922ce6d36de7a0318"
},
"measurements": {
"legacy": {
"strategy": "legacy",
"volume": 1000,
"time_ms": 2236.559,
"queries": 3038,
"php_heap_baseline_bytes": 25165824,
"php_heap_peak_bytes": 31457280,
"window_fingerprints": {
"payments": {
"25": "b1dc582e03b800cf6efdebf23b0ba852990060eb2c5e3204d9479099d8c4b6cf",
"100": "84d7cf60e9901555fe8c39be071a8109194a1f535685fa0e8ee34ec7aa84cc7f"
},
"proposals": {
"25": "99603f9e9ade23e2dcedc5c3e6748559cea5374f85b08e9a51c5fd4d86b79c89",
"100": "ad767cb2fb9dfce8e66c486cc57d110da5dcb462eb6661be9b7a33fae72ee2a0"
},
"allocations": {
"25": "fd4b5b674580596c28be5e1e2be8d9512918ccf47b13009abeac31c9832b0107",
"100": "339f11f2c76091f5d27481059973fd7f1dbfec31544e898abff2689a307eb890"
},
"events": {
"25": "fa7f72a887457ba5b7d1d551b576787c66deb594690a6673e345b2259c34b3c1",
"100": "c5ac3621cb95fa7b6e618019de9b894370c99acaec531ae0a24563401a3dd7a0"
}
},
"original_payment_fingerprint": "f9fbb97d3aa75ed5bc05cb0e362725ea24e28419265a2fb5e0f52a0520251f0c",
"original_unallocated_minor": 41,
"rows": {
"payments": 1000,
"proposals": 336,
"allocations": 393,
"reversal_proposals": 1,
"reversals": 1,
"events": 1008
},
"indices_added": false,
"php": "8.4.27",
"not_deployment_capacity": true
},
"page25": {
"strategy": "page25",
"volume": 1000,
"time_ms": 36.52,
"queries": 35,
"php_heap_baseline_bytes": 25165824,
"php_heap_peak_bytes": 25165824,
"window_fingerprints": {
"payments": {
"25": "b1dc582e03b800cf6efdebf23b0ba852990060eb2c5e3204d9479099d8c4b6cf"
},
"proposals": {
"25": "99603f9e9ade23e2dcedc5c3e6748559cea5374f85b08e9a51c5fd4d86b79c89"
},
"allocations": {
"25": "fd4b5b674580596c28be5e1e2be8d9512918ccf47b13009abeac31c9832b0107"
},
"events": {
"25": "fa7f72a887457ba5b7d1d551b576787c66deb594690a6673e345b2259c34b3c1"
}
},
"original_payment_fingerprint": "4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945",
"original_unallocated_minor": null,
"rows": {
"payments": 25,
"proposals": 25,
"allocations": 25,
"events": 25,
"reversal_proposals": 0,
"reversals": 0
},
"indices_added": false,
"php": "8.4.27",
"not_deployment_capacity": true
},
"page100": {
"strategy": "page100",
"volume": 1000,
"time_ms": 42.644,
"queries": 35,
"php_heap_baseline_bytes": 25165824,
"php_heap_peak_bytes": 25165824,
"window_fingerprints": {
"payments": {
"100": "84d7cf60e9901555fe8c39be071a8109194a1f535685fa0e8ee34ec7aa84cc7f"
},
"proposals": {
"100": "ad767cb2fb9dfce8e66c486cc57d110da5dcb462eb6661be9b7a33fae72ee2a0"
},
"allocations": {
"100": "339f11f2c76091f5d27481059973fd7f1dbfec31544e898abff2689a307eb890"
},
"events": {
"100": "c5ac3621cb95fa7b6e618019de9b894370c99acaec531ae0a24563401a3dd7a0"
}
},
"original_payment_fingerprint": "4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945",
"original_unallocated_minor": null,
"rows": {
"payments": 100,
"proposals": 100,
"allocations": 100,
"events": 100,
"reversal_proposals": 0,
"reversals": 0
},
"indices_added": false,
"php": "8.4.27",
"not_deployment_capacity": true
},
"focus": {
"strategy": "focus",
"volume": 1000,
"time_ms": 28.562,
"queries": 36,
"php_heap_baseline_bytes": 25165824,
"php_heap_peak_bytes": 25165824,
"window_fingerprints": [],
"original_payment_fingerprint": "f9fbb97d3aa75ed5bc05cb0e362725ea24e28419265a2fb5e0f52a0520251f0c",
"original_unallocated_minor": 41,
"rows": {
"payments": 1,
"proposals": 3,
"allocations": 25,
"events": 9,
"reversal_proposals": 0,
"reversals": 0
},
"indices_added": false,
"php": "8.4.27",
"not_deployment_capacity": true
}
},
"conditions": {
"php": "8.4.27",
"memory_limit": "512M",
"independent_process_per_strategy": true,
"warmup": "Same original-payment focus query before each strategy",
"samples_per_strategy": 1,
"order": [
"legacy",
"page25",
"page100",
"focus"
],
"memory": "PHP allocated heap peak, not process RSS",
"index_experiments": false,
"benchmark_workflow": "One payment, 60 allocations and one integral reversal through common commands; 999 explicit benchmark payment clones. 61 synthetic source obligations. Not 1000 fully executed purchase/payment workflows."
},
"sources": [
{
"file": "packages/payables/src/SupplierSettlements.php",
"sha256": "2a8586f2781ae224f661d75fb75fc6fb9c27b454bbadf199ddca6449cd4514a2"
},
{
"file": "packages/payables/src/SettlementHttp.php",
"sha256": "ed77fe846ea5cc475f5f85640a39051bd6ac62960e2d5e7c755f9efafc070d0c"
},
{
"file": "packages/payables/ui/settlements.php",
"sha256": "a3ddeb204c22341958c103e1d70e5c3fffc7306336385486c53b6609680936ec"
},
{
"file": "packages/payables/ui/settlement-navigation.php",
"sha256": "73d5c2695a06e2efeff3a2bd85b44bd9eb01d003b8cba184559e7a2918f744af"
},
{
"file": "packages/payables/ui/settlement-allocations.php",
"sha256": "31e79e3dc779189874b64f92c97a457782e92f7d71a9b1c6da05432868dfd933"
},
{
"file": "app/Modules/Purchasing/SupplierPaymentsController.php",
"sha256": "c5bb42442d34842c0e310eea14f924e701e75d0cd489df958ca3d685afd78bf5"
},
{
"file": "scripts/payable-history-sgf-proof.php",
"sha256": "acc00cb5669a2fa838c41b29b55d58a4756819d15e28d213f3148faa06b5cbb2"
},
{
"file": "scripts/settlement-page-run.mjs",
"sha256": "c4bbea0c18286b74443e36b342c1958b67c416be66ea79ca54a28ff03db2ba51"
},
{
"file": "scripts/settlement-page-proof.php",
"sha256": "99998938d66a79229b8b1c81d85f8cc0ebea418966d4dd7caab1fd45bcc82f0b"
},
{
"file": "scripts/settlement-page-cases.php",
"sha256": "5920562b3c27ff3314bcb06db49af264356d566e82ae1eacb8cca704ac998a21"
},
{
"file": "scripts/settlement-page-bench.mjs",
"sha256": "983bc750b401327f76f7c413dce7fc21319da01f2ac4081b614331f32825a145"
},
{
"file": "scripts/settlement-page-http.mjs",
"sha256": "2af9dc9c3a83fe76bde15f0a811dd9b43b870fa9c2fd1bc7b44fe266b0f8d8ed"
},
{
"file": "scripts/settlement-page-http-router.php",
"sha256": "d0f91cd2c8d265f3da7ef6a7c3a6880dd2c7e32085753dd271a48e4dc5812fdf"
},
{
"file": "scripts/summarize-settlement-page.mjs",
"sha256": "443c315b476e51f6704fddd9f35db12422aef36437fc6b54bca84427cd876e1b"
}
],
"evidence": [
{
"file": "private/settlement-page-dbd466ae44a5/settlement-fixture.json",
"sha256": "5637d426a116572a399db8f9ada7401d9ef6ad826cc989b78516f04174a3b72a"
},
{
"file": "private/settlement-page-dbd466ae44a5/settlement-volume.json",
"sha256": "716008e3cccb5d25668e5b1a4b0ae7fa950231b1c02b666e428d7fd94b35a76b"
},
{
"file": "private/settlement-page-dbd466ae44a5/settlement-cases.json",
"sha256": "469a18c36f84bec455809bb7a9f06604e2a57614fa7ab3d49e38ecdd1a73e35e"
},
{
"file": "private/settlement-page-dbd466ae44a5/settlement-http.json",
"sha256": "dcb2f171f776436201f1e21693f295f032c43ff043e2679163d89c1b6b57a312"
},
{
"file": "private/settlement-page-dbd466ae44a5/settlement-nav.json",
"sha256": "9c62e98d7084735860fa05cd2af9832a89e51402e6b0c95f665afb5e977ce761"
},
{
"file": "private/settlement-page-dbd466ae44a5/settlement-post.json",
"sha256": "287ca22a9330f576daee32230e0f0339d8092fbe0ca2cee73ea1a898e66b2143"
},
{
"file": "private/settlement-page-dbd466ae44a5/settlement-bench-legacy.json",
"sha256": "32b42362b79187a570725590e85099b6f89266d23a813e9fbbb77b2f5d699196"
},
{
"file": "private/settlement-page-dbd466ae44a5/settlement-bench-page25.json",
"sha256": "755e00b3ef8b1c435394cad429164d37de6fc581015780a883c621400dba1201"
},
{
"file": "private/settlement-page-dbd466ae44a5/settlement-bench-page100.json",
"sha256": "76f790f419a7dc1adb8710c7a6f7aa7a0e67ed1b38f42325adee1d50154ae7c3"
},
{
"file": "private/settlement-page-dbd466ae44a5/settlement-bench-focus.json",
"sha256": "bce4ee72a39923757b34be0c8bc2fc61b82cb3fa3fb64716b3ed6fc7fd38fcd8"
}
],
"prior_proofs_preserved": [
{
"file": "docs/proofs/sgf-payable-evidence-focus-20261102.json",
"sha256": "413895eaaf4cad4c73afd88a4cf9e25207775e23987a5640d8fc4a2f910c9950"
}
],
"limits": [
"Only SGF explicitly opts into the bounded reader. Native installed package, legacy default and demos unchanged.",
"Read authorization still uses the existing writer locks; no throughput or lock-contention improvement established.",
"Counts and filters still perform database work over matching rows. Only 1000 settlement payments measured; do not merge these numbers with the earlier 1000/5000/10000 source-document benchmarks.",
"Snapshots are per request; there is no frozen snapshot across human pagination. Commands revalidate current facts and allocation cycle.",
"No live SGF historical source, operational financial cutover, bank execution, reconciliation or accounting added."
],
"six_pending_associations_untouched": true,
"blocked_cache_untouched": true,
"new_operational_rights": false,
"operational_migrations": false,
"purchasing_candidate_activation": false,
"publication": false,
"checkpoint": false,
"visual_review_pending": true,
"deployment_capacity_validated": false
}