SGF/docs/proofs/sgf-settlement-read-isolation-20261102.json

{
  "increment": "SGF-SETTLEMENT-READ-ISOLATION-SIM-v1",
  "date": "2026-11-02",
  "synthetic_only": true,
  "cases": {
    "passed": true,
    "cases": [
      {
        "name": "standalone-reader-and-old-constructor-contract",
        "assertions": 7,
        "passed": true
      },
      {
        "name": "rights-identity-and-authenticated-user-revalidated",
        "assertions": 3,
        "passed": true
      },
      {
        "name": "existing-page-and-financial-proofs-remain-equivalent",
        "assertions": 9,
        "passed": true
      },
      {
        "name": "read-only-database-guard-and-recovery",
        "assertions": 3,
        "passed": true
      }
    ],
    "assertions": 23,
    "financial_fingerprint_equal": true,
    "previous_benchmarks_reused": true
  },
  "race": {
    "passed": true,
    "blocker": "parent transaction on companies row",
    "waiting": {
      "command": {
        "blocking_chain_reaches_parent": true,
        "direct_blockers": [
          25624
        ],
        "statement": "companies FOR UPDATE",
        "wait_event": "transactionid"
      },
      "legacy": {
        "blocking_chain_reaches_parent": true,
        "direct_blockers": [
          25724
        ],
        "statement": "companies FOR UPDATE",
        "wait_event": "tuple"
      }
    },
    "reader_completed_before_release": true,
    "uncommitted_reversal_not_seen": true,
    "read": {
      "success": true,
      "unallocated_minor": 41,
      "events_total": 9,
      "transaction": {
        "isolation": "repeatable read",
        "read_only": "on"
      },
      "writer_lock_queries": 0,
      "queries": 145,
      "time_ms": 357.581
    },
    "legacy_read_after_release": {
      "success": true,
      "unallocated_minor": 41,
      "transaction": {
        "isolation": "read committed",
        "read_only": "off"
      },
      "writer_lock_queries": 2,
      "time_ms": 5985.169
    },
    "confirmation_after_release": {
      "success": true,
      "replayed": true,
      "same_result": true,
      "decisions": 1,
      "allocations_for_target": 1,
      "worker_changes_rolled_back": true,
      "time_ms": 3499.431
    },
    "financial_fingerprint_equal": true,
    "not_throughput_capacity": true
  },
  "http": {
    "passed": true,
    "checks": 11,
    "real_http_kernel": true,
    "json_query": {
      "status": 200,
      "transaction": {
        "isolation": "repeatable read",
        "read_only": "on"
      },
      "queries": 152,
      "writer_lock_queries": 0
    },
    "html_query": {
      "status": 200,
      "transaction": {
        "isolation": "repeatable read",
        "read_only": "on"
      },
      "queries": 152,
      "writer_lock_queries": 0
    },
    "no_browser": true,
    "visual_review": false
  },
  "preservation": {
    "passed": true,
    "read_only": true,
    "financial_fingerprint_equal": true,
    "business_fingerprint": "7cbe5df4c05f5017840563e38ebff0e4c88e0e147e49f07922ce6d36de7a0318",
    "payment_count": 1000,
    "pending_decision_absent": true,
    "old_post_file_sha256": "287ca22a9330f576daee32230e0f0339d8092fbe0ca2cee73ea1a898e66b2143"
  },
  "sources": [
    {
      "file": "packages/payables/src/Payables.php",
      "sha256": "b775958e0c319b9032f133a366e589d0cd26897c2216342e24962c8cc4fd25d7"
    },
    {
      "file": "packages/payables/src/SupplierSettlements.php",
      "sha256": "6d090142dc4625a47d3cdeb09dcaa482a80bbc58c945d429e340888b792e3492"
    },
    {
      "file": "packages/payables/src/SettlementHttp.php",
      "sha256": "8e24bd82587c498efbbcd04a29da31422505114a0600e54f1870f0a7bb971497"
    },
    {
      "file": "app/Modules/Purchasing/SupplierPayables.php",
      "sha256": "6a37dd1cb04e93ddd541323b55c91b146db59e1fdc026f99a7fcc5164c34c209"
    },
    {
      "file": "scripts/payable-history-sgf-proof.php",
      "sha256": "bc9c976b97dc66465f2fb7d90d23aa48720d44176ff5520b2a71b974080cbffc"
    },
    {
      "file": "scripts/settlement-page-proof.php",
      "sha256": "1c5126d3ada2090899784f5f442bf15016aac6bad9a58e215843e9996a33aa92"
    },
    {
      "file": "scripts/settlement-read-proof.php",
      "sha256": "feb70d6a52fff1d61c3d58ddf0ea73cb2766965e84277c2e947e9271511063c6"
    },
    {
      "file": "scripts/settlement-read-cases.php",
      "sha256": "9079d0da793207ae6c20261793db587e85f8f1e0d843446a8703acccf918a68d"
    },
    {
      "file": "scripts/settlement-read-http.mjs",
      "sha256": "e009e3abd699d4fe0f96534839eb6d46f4a835702297dbb9e98dc8414cb062d3"
    },
    {
      "file": "scripts/settlement-read-http-router.php",
      "sha256": "2ba5debf73473a1a58026ab4d81bb035c5e2466e9fa26017cbde4e5b910ecc96"
    },
    {
      "file": "scripts/summarize-settlement-read.mjs",
      "sha256": "e991c78199b988cb3074ee32deac4a0f4d4f169a309ea65e235abf5ee16addfd"
    }
  ],
  "evidence": [
    {
      "file": "private/settlement-page-dbd466ae44a5/settlement-read-cases.json",
      "sha256": "943a561be240ec0b55a47fd0d055a099c3ad2f870e6131f8c09a245d24d4f6ca"
    },
    {
      "file": "private/settlement-page-dbd466ae44a5/settlement-read-race.json",
      "sha256": "6fbafc4e3be83bdb8c950da30dcd71815b63ca358c6d87619768c9c4ff197240"
    },
    {
      "file": "private/settlement-page-dbd466ae44a5/settlement-read-http.json",
      "sha256": "83a0fd8170eee9e91a52b9d15e2580dc8f22f1fb17e95d97aa03703afe4e1cb2"
    },
    {
      "file": "private/settlement-page-dbd466ae44a5/settlement-read-post.json",
      "sha256": "ea1469c11f04b753b8c362bb84fca2432093d8dbe878954056ce64e150ba58c9"
    },
    {
      "file": "private/settlement-page-dbd466ae44a5/read-http-focus.json",
      "sha256": "abdbcccf988d87b287dd371cba83d92c961a6920c165fa68d2b371fb27e75194"
    },
    {
      "file": "private/settlement-page-dbd466ae44a5/read-http-page.json",
      "sha256": "abdbcccf988d87b287dd371cba83d92c961a6920c165fa68d2b371fb27e75194"
    }
  ],
  "previous_proof": {
    "file": "docs/proofs/sgf-settlement-paged-read-20261102.json",
    "sha256": "42c94ee8c039eebb3c61142966a3b36178a7bb98af975749b53cf231ff996712",
    "all_recorded_private_evidence_hashes_preserved": true
  },
  "limits": [
    "Only the SGF paged settlement reader explicitly opts into the dedicated read callback. Native installed package and legacy constructor/listing authorization remain unchanged.",
    "The reader completes during an ordinary row writer lock; it can still wait on other database resources or DDL. No sustained throughput or deployment-capacity validation.",
    "Legacy reader and command elapsed times include lock waiting; legacy also loads a different, full universe. Do not use these timings as a controlled page-speed comparison.",
    "The parent correction and worker confirmation/replay are real common-core commands inside outer transactions that are rolled back. The original pending proposal remains undecided.",
    "Authorization and facts are checked within a per-request snapshot; a concurrent revocation becomes visible to later requests. No frozen snapshot across human navigation."
  ],
  "new_rights": false,
  "operational_migration": false,
  "native_activation": false,
  "publication": false,
  "checkpoint": false,
  "six_pending_associations_untouched": true,
  "blocked_cache_untouched": true,
  "visual_review_pending": true,
  "deployment_capacity_validated": false
}