Files
SGF/docs/proofs/common-ledger-payable-20261102.json
2026-11-04 09:37:20 +02:00

370 lines
13 KiB
JSON

{
"increment": "COMMON-LEDGER-PAYABLE-SIM-v1",
"date": "2026-11-02",
"authorization": {
"answer": "Autorizar o incremento sintético proposto",
"approved_scope_sha256": "eb36d91e7532f49792287c26791892919380adefa77095c860d8201093175914",
"scope_archive_in_evidence": true,
"real_access": false,
"acceptance_or_checkpoint": false
},
"synthetic_only": true,
"tests": {
"passed": true,
"cases": [
{
"name": "prepare-independent-review-post-and-source-reconciliation",
"assertions": 9,
"passed": true
},
{
"name": "repetition-conflicting-key-and-recovery-after-period-version",
"assertions": 6,
"passed": true
},
{
"name": "rights-revoked-actor-person-and-no-inheritance",
"assertions": 4,
"passed": true
},
{
"name": "independence-rejection-and-preparer-ownership",
"assertions": 6,
"passed": true
},
{
"name": "source-rule-period-latest-capture-and-revision-changes",
"assertions": 10,
"passed": true
},
{
"name": "invalid-period-accounts-currency-foreign-scopes-and-extra-fields",
"assertions": 10,
"passed": true
},
{
"name": "failure-at-every-posting-boundary-and-idempotent-recovery",
"assertions": 12,
"passed": true
},
{
"name": "database-balance-guards-and-append-only-history",
"assertions": 16,
"passed": true
}
],
"assertions": 74,
"financial_fingerprint_equal": true,
"all_test_journals_rolled_back": true
},
"concurrency": {
"passed": true,
"waiting": {
"a": {
"chain_reaches_parent": true,
"wait_event": "transactionid",
"statement": "companies FOR UPDATE"
},
"b": {
"chain_reaches_parent": true,
"wait_event": "tuple",
"statement": "companies FOR UPDATE"
}
},
"both_completed_after_release": true,
"same_journal_id": true,
"journals": 1,
"lines": 2,
"posting_events": 1,
"replay_without_duplicate": true
},
"http": {
"passed": true,
"checks": 23,
"actual_http_kernel": true,
"recovered_all_three_original_command_receipts": true,
"one_effect_retained": true,
"read_transaction": {
"transaction": {
"isolation": "repeatable read",
"read_only": "on"
},
"writer_lock_queries": 0
},
"private_build_served": true,
"visual_review": false,
"browser_interactions_tested": false
},
"ui": {
"passed": true,
"targeted_static_checks": 3,
"production_build": true,
"private_build": true,
"public_demo_manifest_untouched": true,
"visual_review": false,
"browser_interactions_tested": false,
"general_navigation_check": "interrupted_after_no_completion; not counted as passed"
},
"posted_proposal_ui": {
"passed": true,
"posted_proposal_has_journal_reference": true,
"no_duplicate_apply_form": true
},
"preservation": {
"passed": true,
"read_only": true,
"financial_fingerprint_equal": true,
"financial_fingerprint": "a53684d829b0d177849d7e288d9656f0605c00077aa80faf249006ccd31c6f9b",
"journals": 1,
"lines": 2,
"debit_minor": 6000,
"credit_minor": 6000,
"posting_events": 1,
"synthetic_rights_only": true,
"default_flag": false
},
"integrity": {
"passed": true,
"balance_function_sha256": "2b68c5a39fd557d6ca2f30ab05e51d49431c70e40f5c8768cf6527676bd6098b",
"deferred_balance_constraint": true,
"review_source_account_checks_in_database": true,
"final_blade_rendered": true,
"financial_fingerprint_equal": true,
"absent_domain_tables_not_exercised": {
"stock": true,
"budget": true
}
},
"sources": [
{
"file": "packages/general-ledger/bootstrap.php",
"sha256": "50da6708053c4b3dedc3be43a909fd8d4db9eb2f10bfe341c661cc4ff130adab"
},
{
"file": "packages/general-ledger/src/LedgerSchema.php",
"sha256": "22cc9387de04eab28ce5522c687f7c162f9f83f9f479c89957064994e05591b5"
},
{
"file": "packages/general-ledger/src/PayableJournal.php",
"sha256": "96f01292bea51228ce7ec317708147a7d5d6a14dc2a97254be9b19b0dbe7099b"
},
{
"file": "packages/general-ledger/README.md",
"sha256": "ce84b27a3a573d6415a4a77ad0ebe2933b7aae0ff3b27ee8ed9ed1d889a992d3"
},
{
"file": "app/Modules/Accounting/GeneralLedger.php",
"sha256": "e455092f25ee58d1493219d6a5ea8051929d5f2940132777a476673bf7b2b9f7"
},
{
"file": "app/Modules/Accounting/GeneralLedgerController.php",
"sha256": "f65d0d7d0783b1caf2b9cbf8f46dde7de1428a4e48947a387a9cf5e2c1e20382"
},
{
"file": "app/Providers/AppServiceProvider.php",
"sha256": "851968c34fb1c64517dd0e95abaef823ce044d368f2cc34287f7da233ce92cfe"
},
{
"file": "app/Shared/Context/ModuleNavigation.php",
"sha256": "59a50a468f922d1cdf439ec3dd42361cf1b7c51e32c625a7e444ab79ce1a3274"
},
{
"file": "config/general_ledger.php",
"sha256": "98cfe2fa7b4e4510c27478e08e745d1e248dfe86799bc9ff8ac77e777423f142"
},
{
"file": "routes/web.php",
"sha256": "6669c268e493bcac5f562ae2ec771e024a6d2d8e35555949b737741c41044d5f"
},
{
"file": "resources/views/accounting/general-ledger.blade.php",
"sha256": "49575e103ff0dd7019e9e16323d52ebed77980ea032003f03e4ee9ee2b058401"
},
{
"file": "resources/js/AccountingMenuWorkspace.jsx",
"sha256": "ad841dfad7d8408c620ba427500e9538bd539c7c4540b1b7803cda0caab6fd01"
},
{
"file": "scripts/ledger-run.mjs",
"sha256": "691e5453fe2010bc4775a6cf0f19180d8cbc04c43dbc6fbc04b4c6b731c636b3"
},
{
"file": "scripts/ledger-proof.php",
"sha256": "eebb3808fdb10f8ea8fd1242fd922517528529257776e75002bf31cf4b38b5fb"
},
{
"file": "scripts/ledger-cases.php",
"sha256": "03cb3e21cdb63ec8454dd3d68d9d458ddf5b514f5d12ed1d562a94de5d18bdc4"
},
{
"file": "scripts/ledger-race.php",
"sha256": "5a82aa8fd57a73dfeb14c7c43b49b747bf9096531afeb8911481a0e652d6fe46"
},
{
"file": "scripts/ledger-ui-check.mjs",
"sha256": "0bd486ee53ef6ccdd30426383433b0029f67b5f76a48d43875ebd95c5be1e68c"
},
{
"file": "scripts/ledger-http.mjs",
"sha256": "049229dd3bcc3351b69f34e46aebcf39618ef38134f98adeec971033957f7e55"
},
{
"file": "scripts/ledger-http-entry.php",
"sha256": "e86f40106b195d5de1905b63e052cb647ab4f7d84e0c065bfcdc2d8f28cb87b4"
},
{
"file": "scripts/ledger-http-router.php",
"sha256": "9fb96d3b6dbee9b6cccc6d9c713dfa458bc78a2cbd00d705d361209733660c3d"
},
{
"file": "scripts/ledger-demo.mjs",
"sha256": "0eea5f62a0ef832bd1d6d588ff86747f1ed40b4b02d7c61760eb1f53e62c5b96"
},
{
"file": "scripts/ledger-demo-check.mjs",
"sha256": "4d0b2ee08eec044fa4eaa35b3b04e6818705e4052c5b541d24b965667506926b"
},
{
"file": "scripts/ledger-demo-cookie-check.mjs",
"sha256": "24b3ca1b43f0df1086d54416d7d41243097a0defe67576e23c9ba547819ed3c2"
},
{
"file": "scripts/payable-history-sgf-proof.php",
"sha256": "eb786684eda612fdb44802fe75f6987537f5cfbfa79124450a9c0b7012743fd0"
},
{
"file": "scripts/summarize-ledger.mjs",
"sha256": "7e773b6ac7172fa05a70cca9f3f15d85e40e66cb0b3f173b56af80e1794705df"
},
{
"file": "docs/integration/sgf-flow-plan.json",
"sha256": "f1386de7b80c720fde48937face5551cd34eb74ef95f98adf041bf765cd8d025"
},
{
"file": "scripts/inspect-module-flow-plan.mjs",
"sha256": "f1b52208694e90dd6d5ed83792e97ee6f8772dddea8baefd29158b92b1f2bb59"
}
],
"evidence": [
{
"file": "private/ledger-d93394698835/ledger-fixture.json",
"sha256": "0305622fcd1063ee8a3f82fee6b115a78f5e5359fed8024dc2ba6885a77fc2e3"
},
{
"file": "private/ledger-d93394698835/ledger-cases.json",
"sha256": "8197a2fa96f3dee1e85b411c94b5f72f4a45ac3eac14241bc0062faffb7a0ff8"
},
{
"file": "private/ledger-d93394698835/ledger-race.json",
"sha256": "2444062deb2094c0398e7a1bed6a7b48fc46455b8f062c80598a5e620ebdb9ad"
},
{
"file": "private/ledger-d93394698835/ledger-http.json",
"sha256": "4d410555e0d618e3f55026b8d7cab8a0af7f3f31ca8d4af1f4222a8c520531e3"
},
{
"file": "private/ledger-d93394698835/ledger-http-read-mode.json",
"sha256": "e9fce3fc31a5456ca726ec899c1ab953a6019b1bd974ac7cc82099db757e6053"
},
{
"file": "private/ledger-d93394698835/ledger-ui.json",
"sha256": "d026aa920737e2bdd4bdb7b4c4e70ed6e55f9f5f3ecd17de742e40c05f7f12b3"
},
{
"file": "private/ledger-d93394698835/ledger-ui-state.json",
"sha256": "736ed3ab2cfdeca735195234d637a7df1159b07e19b7b822e81ea97a8895e96e"
},
{
"file": "private/ledger-d93394698835/ledger-post.json",
"sha256": "e1584081e2e25e9821e7ca26475efb0727567fc3a7c2a3431271b813bdada777"
},
{
"file": "private/ledger-d93394698835/ledger-integrity.json",
"sha256": "ca9c3345b99956d9906f3c02b063b486a387f08481a1300bbe158ff1f5d8374f"
},
{
"file": "private/ledger-d93394698835/approved-ledger-scope.md",
"sha256": "eb36d91e7532f49792287c26791892919380adefa77095c860d8201093175914"
}
],
"team_demo": {
"url": "http://127.0.0.1:8048/qa/ledger-demo",
"isolated_from_regression": true,
"checks": 13,
"initial_state": {
"passed": true,
"read_only": true,
"financial_fingerprint_equal": true,
"journals": 0,
"proposals": 0,
"ready_for_team_workflow": true,
"qa_grants": 6
},
"cookie_isolation": {
"passed": true,
"own_session_cookie": true,
"shared_xsrf_cookie_not_replaced": true,
"csrf_validation_retained": true,
"unauthorised_action_refused": true,
"no_business_effect": true
},
"evidence": [
{
"file": "private/ledger-5905dd7a5ecf/ledger-demo.json",
"sha256": "fc586f69ecc34f324e6ebf89765a7a78428dfbbea7fec5654588d3c62eed158a"
},
{
"file": "private/ledger-5905dd7a5ecf/ledger-demo-http.json",
"sha256": "8d792b83e4cd5e85fde7ac45795169cd2dd3d3bc668b997a8e35c49758669040"
},
{
"file": "private/ledger-5905dd7a5ecf/ledger-demo-state.json",
"sha256": "68ac4f71f4bdef7c298e8cd9b05f5c2e4141fb2cb377749e5b8ae4cf025a99ef"
},
{
"file": "private/ledger-5905dd7a5ecf/ledger-demo-cookie.json",
"sha256": "fe711353d9f743dddb01b799c6414fd18b5503877e775520fd0187f83af994ef"
}
]
},
"flow_inventory": {
"file": "docs/proofs/module-flow-ledger-update-20261102.json",
"sha256": "b3f56faa3d78379d6a3e8fa7b750cf2d93f5ad39e94ca3b4755025f8d77dec68",
"static_only": true
},
"previous_proof": {
"file": "docs/proofs/sgf-payable-report-20261102.json",
"sha256": "d16770a76e673972ad28dadbf5c911cd94fb867b120d51edc8a3995cdc3301dd",
"all_recorded_private_artifacts_preserved": true
},
"private_build": {
"manifest_sha256": "aa83d6b358515dc33f3753eb02b9d804dbe6b5ac6b659109ccac22c1ac3d1390",
"installed_public_manifest_not_replaced": true
},
"limits": [
"General module/navigation check did not complete and was interrupted; not counted as passing. Three targeted static permission/render checks, private production build and actual module/context HTTP refusals passed.",
"Only SGF QA adapter and one recognition scenario. Native SGC adapter, real PGC mapping, fiscal recognition, bank/settlement accounting, correction/reversal, operational periods/closing and deployment remain outside delivery.",
"Stock and budget tables are absent in this new minimal QA composition; those engines were not exercised. No new stock/budget binding or write is performed by the ledger.",
"The QA application role owns its isolated database. Production role/schema hardening and sustained volume/concurrency are not validated.",
"Configuration writes have no application API in this increment; future configuration/source writers must use the documented company serialization boundary."
],
"distinct_new_qa_rights": [
"general_ledger.view",
"general_ledger.prepare",
"general_ledger.validate",
"general_ledger.post"
],
"qa_grants": 6,
"real_grants": 0,
"operational_migrations": false,
"default_enabled": false,
"six_pending_associations_untouched": true,
"blocked_cache_not_cleared": true,
"demos_preserved": true,
"native_purchasing_activation": false,
"publication": false,
"checkpoint": false,
"visual_review_pending": true,
"deployment_capacity_validated": false
}