314 lines
10 KiB
JSON
314 lines
10 KiB
JSON
{
|
|
"increment": "SGF-PAYABLE-POSITION-REPORT-SIM-v1",
|
|
"date": "2026-11-02",
|
|
"synthetic_only": true,
|
|
"tests": {
|
|
"passed": true,
|
|
"cases": [
|
|
{
|
|
"name": "filters-reproducible-positions-and-unknown-due-date",
|
|
"assertions": 6,
|
|
"passed": true
|
|
},
|
|
{
|
|
"name": "mixed-divergent-history-never-becomes-a-global-zero",
|
|
"assertions": 5,
|
|
"passed": true
|
|
},
|
|
{
|
|
"name": "isolation-and-fresh-authority",
|
|
"assertions": 4,
|
|
"passed": true
|
|
}
|
|
],
|
|
"assertions": 17,
|
|
"business_fingerprint_equal": true,
|
|
"test_writes_rolled_back": true
|
|
},
|
|
"settlement_book": {
|
|
"passed": true,
|
|
"report": {
|
|
"version": "SGF-PAYABLE-POSITION-REPORT-SIM-v1",
|
|
"synthetic_only": true,
|
|
"basis": "current_recognised_positions",
|
|
"captured_at_utc": "2026-11-02 20:15:30.106755",
|
|
"scope": {
|
|
"tenant_id": 1,
|
|
"company_id": 1,
|
|
"unit_id": 1
|
|
},
|
|
"criteria": {
|
|
"q": ""
|
|
},
|
|
"currency": "MZN",
|
|
"totals": {
|
|
"count": 61,
|
|
"principal_minor": 366000,
|
|
"unknown_balance_count": 0,
|
|
"unknown_due_count": 61,
|
|
"balance_minor": 365608
|
|
},
|
|
"known_positions": {
|
|
"count": 61,
|
|
"principal_minor": 366000,
|
|
"historical_confirmed_minor": 0,
|
|
"net_allocated_minor": 392,
|
|
"balance_minor": 365608
|
|
},
|
|
"positions_sha256": "0abf8175547c82604737e396de09be559f0b25a92e93a2d99941f17d7a9b8934",
|
|
"window_size": 100,
|
|
"windows": 1
|
|
},
|
|
"baseline_fingerprint_equal": true,
|
|
"net_allocations_include_reversal": true
|
|
},
|
|
"http": {
|
|
"passed": true,
|
|
"checks": 17,
|
|
"real_http_kernel": true,
|
|
"transaction": {
|
|
"transaction": {
|
|
"isolation": "repeatable read",
|
|
"read_only": "on"
|
|
},
|
|
"writer_locks": 0
|
|
},
|
|
"visual_review": false,
|
|
"no_browser": true
|
|
},
|
|
"measurements": {
|
|
"before": {
|
|
"passed": true,
|
|
"report": {
|
|
"version": "SGF-PAYABLE-POSITION-REPORT-SIM-v1",
|
|
"synthetic_only": true,
|
|
"basis": "current_recognised_positions",
|
|
"captured_at_utc": "2026-11-02 20:12:59.509723",
|
|
"scope": {
|
|
"tenant_id": 1,
|
|
"company_id": 1,
|
|
"unit_id": 1
|
|
},
|
|
"criteria": {
|
|
"q": ""
|
|
},
|
|
"currency": "MZN",
|
|
"totals": {
|
|
"count": 10000,
|
|
"principal_minor": 60000000,
|
|
"unknown_balance_count": 0,
|
|
"unknown_due_count": 10000,
|
|
"balance_minor": 30000000
|
|
},
|
|
"known_positions": {
|
|
"count": 10000,
|
|
"principal_minor": 60000000,
|
|
"historical_confirmed_minor": 30000000,
|
|
"net_allocated_minor": 0,
|
|
"balance_minor": 30000000
|
|
},
|
|
"positions_sha256": "c18a0fad20deefe80e5b0dc60051cdb7ad61af7cf1290642589629bfa170466d",
|
|
"window_size": 100,
|
|
"windows": 100
|
|
},
|
|
"time_ms": 19066.022,
|
|
"queries": 6607,
|
|
"heap_baseline_bytes": 25165824,
|
|
"heap_peak_bytes": 35651584,
|
|
"writer_lock_queries": 0,
|
|
"transaction": {
|
|
"isolation": "repeatable read",
|
|
"read_only": "on"
|
|
},
|
|
"prior_business_fingerprint_equal": true,
|
|
"not_deployment_capacity": true
|
|
},
|
|
"after": {
|
|
"passed": true,
|
|
"report": {
|
|
"version": "SGF-PAYABLE-POSITION-REPORT-SIM-v1",
|
|
"synthetic_only": true,
|
|
"basis": "current_recognised_positions",
|
|
"captured_at_utc": "2026-11-02 20:17:02.120766",
|
|
"scope": {
|
|
"tenant_id": 1,
|
|
"company_id": 1,
|
|
"unit_id": 1
|
|
},
|
|
"criteria": {
|
|
"q": ""
|
|
},
|
|
"currency": "MZN",
|
|
"totals": {
|
|
"count": 10000,
|
|
"principal_minor": 60000000,
|
|
"unknown_balance_count": 0,
|
|
"unknown_due_count": 10000,
|
|
"balance_minor": 30000000
|
|
},
|
|
"known_positions": {
|
|
"count": 10000,
|
|
"principal_minor": 60000000,
|
|
"historical_confirmed_minor": 30000000,
|
|
"net_allocated_minor": 0,
|
|
"balance_minor": 30000000
|
|
},
|
|
"positions_sha256": "c18a0fad20deefe80e5b0dc60051cdb7ad61af7cf1290642589629bfa170466d",
|
|
"window_size": 100,
|
|
"windows": 100
|
|
},
|
|
"time_ms": 12557.809,
|
|
"queries": 2313,
|
|
"heap_baseline_bytes": 25165824,
|
|
"heap_peak_bytes": 33554432,
|
|
"writer_lock_queries": 0,
|
|
"transaction": {
|
|
"isolation": "repeatable read",
|
|
"read_only": "on"
|
|
},
|
|
"prior_business_fingerprint_equal": true,
|
|
"not_deployment_capacity": true
|
|
}
|
|
},
|
|
"postchecks": {
|
|
"historical_book": {
|
|
"passed": true,
|
|
"read_only": true,
|
|
"business_fingerprint_equal": true,
|
|
"business_fingerprint": "c9e93019653c35b8c1685a58ab2b68e8b279572044355895abc9360790707c68"
|
|
},
|
|
"settlement_book": {
|
|
"passed": true,
|
|
"read_only": true,
|
|
"business_fingerprint_equal": true,
|
|
"business_fingerprint": "7cbe5df4c05f5017840563e38ebff0e4c88e0e147e49f07922ce6d36de7a0318"
|
|
}
|
|
},
|
|
"conditions": {
|
|
"php": "8.4.27",
|
|
"memory_limit": "512M",
|
|
"same_database_and_filter": true,
|
|
"independent_php_processes": true,
|
|
"one_valid_sample_per_implementation": true,
|
|
"warm_local_database": true,
|
|
"other_local_processes_not_controlled": true,
|
|
"indices_added": false,
|
|
"comparison": "Two implementations of the complete 10000-position report, not the older page or settlement benchmarks."
|
|
},
|
|
"sources": [
|
|
{
|
|
"file": "packages/payables/src/Payables.php",
|
|
"sha256": "cfd3f1c77c108b725e9328b5bfe4839483c6b27483ceb6182c1fdf66e36e0575"
|
|
},
|
|
{
|
|
"file": "app/Modules/Purchasing/SupplierPayables.php",
|
|
"sha256": "a7d956badfaa917d664cb88c3cf6afedbc1b09880c2a00ad4a98823a1cc590f7"
|
|
},
|
|
{
|
|
"file": "app/Modules/Purchasing/SupplierPayablesController.php",
|
|
"sha256": "58dd0a4e014cae0c2fd17012d08a07c108a0bc0072fc8ed0602a54aaedbd238c"
|
|
},
|
|
{
|
|
"file": "app/Modules/Purchasing/SupplierPayableReportController.php",
|
|
"sha256": "72a0c9775a38497b996c1f257d4c2348421d751a3bcc410e6a4bc8e442ad7047"
|
|
},
|
|
{
|
|
"file": "packages/payables/ui/page.php",
|
|
"sha256": "2d7ec23063e63a15994eb5bd6ed7bab540297a7a3751791c099d2328fe45ae80"
|
|
},
|
|
{
|
|
"file": "resources/views/purchasing/payable-report.blade.php",
|
|
"sha256": "0b67e1c035b84d7fac2c642601acb791322f5c6f43dcfc4f47edb3ecb004eb0b"
|
|
},
|
|
{
|
|
"file": "routes/web.php",
|
|
"sha256": "3adaf19e6b62b0b8275797b0ec027c17f3f748effb0b11b4cfbf23963daf652c"
|
|
},
|
|
{
|
|
"file": "scripts/payable-history-sgf-proof.php",
|
|
"sha256": "4f42a67550e562c8a1ee7baba8a5f23b1186dc96ec295264763ef1f2193ced24"
|
|
},
|
|
{
|
|
"file": "scripts/payable-report-proof.php",
|
|
"sha256": "30a21c7f4078da7d64aabc7ce3f8f24a1c7f6a2589d035957e35603726368c6b"
|
|
},
|
|
{
|
|
"file": "scripts/payable-report-http.mjs",
|
|
"sha256": "ff4a1eff0c64526a5b0da7a9bb444a69a2b0c96fd06f7b0e70d055652da9a974"
|
|
},
|
|
{
|
|
"file": "scripts/payable-report-http-router.php",
|
|
"sha256": "3568038609020e3967952e21a62e1b5f7f26599e98969e0dbb520eb732461853"
|
|
},
|
|
{
|
|
"file": "scripts/summarize-payable-report.mjs",
|
|
"sha256": "41ca931ea1c347e71756397f10008af3b33ed0702a3eba55a55353cab774db56"
|
|
}
|
|
],
|
|
"evidence": [
|
|
{
|
|
"file": "private/payable-history-03e16d9fb37d/report-volume.json",
|
|
"sha256": "2db569379899cb3fb170a0113b25c45c9db7a48629149d891d494b637a328b33"
|
|
},
|
|
{
|
|
"file": "private/payable-history-03e16d9fb37d/report-volume-batch.json",
|
|
"sha256": "f19b60b2f6ba5a4b6adae554196bb586ef66087740d73cbdb95b47056a92e93a"
|
|
},
|
|
{
|
|
"file": "private/payable-history-03e16d9fb37d/report-cases.json",
|
|
"sha256": "e95f324039177a7cd162bfbbdb4ddadd2e2b60d8fac1693e08596bf6a97133e6"
|
|
},
|
|
{
|
|
"file": "private/payable-history-03e16d9fb37d/report-cases-batch.json",
|
|
"sha256": "e95f324039177a7cd162bfbbdb4ddadd2e2b60d8fac1693e08596bf6a97133e6"
|
|
},
|
|
{
|
|
"file": "private/payable-history-03e16d9fb37d/report-post.json",
|
|
"sha256": "83baf09656e3d66e21e79d3efeb70fdb4ffc0153025b2309b71503670404b744"
|
|
},
|
|
{
|
|
"file": "private/settlement-page-dbd466ae44a5/report-settlements.json",
|
|
"sha256": "88091b17570a500be3464de388b58b5230d59ab7d952eb88f8de5b5c7feadb54"
|
|
},
|
|
{
|
|
"file": "private/settlement-page-dbd466ae44a5/report-http.json",
|
|
"sha256": "032a2d9a96acbf263b5b2db205c3b146eac48a6d229341a3d592b808c151dbc2"
|
|
},
|
|
{
|
|
"file": "private/settlement-page-dbd466ae44a5/report-http-mode.json",
|
|
"sha256": "0b420dd1f71ce9c50fcb38e2359f84c389ae0b6bc93be1c0d7bf61caac633d2c"
|
|
},
|
|
{
|
|
"file": "private/settlement-page-dbd466ae44a5/report-post.json",
|
|
"sha256": "5e6ed88ce3e08ec1d8463ab2b9cae5520ea4a6a20362704848b69123585dd815"
|
|
}
|
|
],
|
|
"previous_proof": {
|
|
"file": "docs/proofs/sgf-settlement-read-isolation-20261102.json",
|
|
"sha256": "c83e1857931558aed6249d3acf75f08fa819fb9e35e88080abe7bddbfb3af248",
|
|
"private_evidence_hashes_preserved": true
|
|
},
|
|
"accounting_next": {
|
|
"state": "specification_only_authorisation_pending",
|
|
"file": "docs/GENERAL_LEDGER_FIRST_SYNTHETIC_SCOPE.md",
|
|
"sha256": "eb36d91e7532f49792287c26791892919380adefa77095c860d8201093175914",
|
|
"functional_code": false,
|
|
"new_rights_granted": false
|
|
},
|
|
"limits": [
|
|
"The complete 10000-position report still took 12.558 seconds in one local sample; sustained load and deployment capacity not validated.",
|
|
"Current position only. No historical cutoff, archived report recovery, bank reconciliation, general ledger or accounting recognition added.",
|
|
"The new core positionsPage reuses the existing calculation and skips presentation-only evidence pages. Each keyset window selects at most 100 sources; memory is bounded to window data and accumulators, not the full universe. A single very large history can still be material.",
|
|
"Remaining cost has not been isolated by profiling. Do not attribute it to a particular index or claim an index gain."
|
|
],
|
|
"six_pending_associations_untouched": true,
|
|
"blocked_cache_untouched": true,
|
|
"new_operational_rights": false,
|
|
"migration_in_destination": false,
|
|
"native_activation": false,
|
|
"publication": false,
|
|
"checkpoint": false,
|
|
"visual_review_pending": true,
|
|
"deployment_capacity_validated": false
|
|
}
|