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

672 lines
21 KiB
JSON

{
"increment": "COMMON-LEDGER-COMPLETE-CYCLE-SIM-v1",
"authorization_date": "2026-11-02",
"consolidated_at_utc": "2026-11-02T21:43:36.845Z",
"authorization": {
"answer": "Autorizar o ciclo sintético proposto",
"approved_scope_sha256": "e4c96d815cb4c923f7e86d74d8ea20297ec129f64adbf4d1c927647cfe2f98b4",
"archive_matches_prior_presented_proposal": true,
"real_access": false,
"reopening": false
},
"functional_code": true,
"synthetic_only": true,
"status": "implemented_and_tested_with_explicit_limits",
"tests": {
"sgf_cases": {
"passed": true,
"checks": 23,
"rollback_only": true,
"principal_minor": 6000,
"allocated_balance_minor": 4000,
"final_balance_minor": 6000,
"debit_minor": 22000,
"credit_minor": 22000,
"journals": 5,
"lines": 10,
"correction_pairs": 1,
"period_closed": true,
"obligation_id": 1,
"recognition_journal_id": 1,
"allocation_id": 1,
"reversal_id": 1,
"correction_id": 1,
"period_check_id": 1
},
"native_cases": {
"passed": true,
"checks": 23,
"rollback_only": true,
"principal_minor": 6000,
"allocated_balance_minor": 4000,
"final_balance_minor": 6000,
"debit_minor": 22000,
"credit_minor": 22000,
"journals": 5,
"lines": 10,
"correction_pairs": 1,
"period_closed": true,
"obligation_id": 1,
"recognition_journal_id": 1,
"allocation_id": 1,
"reversal_id": 1,
"correction_id": 1,
"period_check_id": 1
},
"native_persisted_workflow": {
"passed": true,
"checks": 16,
"rollback_only": false,
"principal_minor": 6000,
"allocated_balance_minor": 4000,
"final_balance_minor": 6000,
"debit_minor": 22000,
"credit_minor": 22000,
"journals": 5,
"lines": 10,
"correction_pairs": 1,
"period_closed": true,
"obligation_id": 1,
"recognition_journal_id": 7,
"allocation_id": 2,
"reversal_id": 2,
"correction_id": 2,
"period_check_id": 2
},
"security": {
"passed": true,
"checks": 18,
"self_and_same_person_refused": true,
"revoked_corrective_and_close_rights_refused": true,
"individual_route_cannot_bypass_rights": true,
"orphan_pair_refused_by_database": true,
"post_receipt_failure_recovered": true,
"five_new_tables_append_only": true,
"rollback_only": true
},
"concurrency": {
"passed": true,
"corrective_pair": {
"blocked": {
"a": {
"chain_reaches_parent": true,
"event": "transactionid"
},
"b": {
"chain_reaches_parent": true,
"event": "tuple"
}
},
"results": {
"a": {
"status": 200,
"result": {
"state": "corrected",
"correction_id": 2,
"result_id": 2,
"reverse_journal_id": 10,
"replacement_journal_id": 11,
"replayed": false
}
},
"b": {
"status": 200,
"result": {
"state": "corrected",
"correction_id": 2,
"result_id": 2,
"reverse_journal_id": 10,
"replacement_journal_id": 11,
"replayed": false
}
}
}
},
"stale_after_committed_change": {
"blocked": {
"a": {
"chain_reaches_parent": true,
"event": "transactionid"
}
},
"results": {
"a": {
"status": 409,
"message": "Factos, regras ou período mudaram; prepare nova conferência."
}
}
},
"period_close": {
"blocked": {
"a": {
"chain_reaches_parent": true,
"event": "tuple"
},
"b": {
"chain_reaches_parent": true,
"event": "transactionid"
}
},
"results": {
"a": {
"status": 200,
"result": {
"state": "closed",
"closure_id": 2,
"period_version": 2,
"replayed": false
}
},
"b": {
"status": 200,
"result": {
"state": "closed",
"closure_id": 2,
"period_version": 2,
"replayed": false
}
}
}
},
"journals": 5,
"lines": 10,
"correction_results": 1,
"closures": 1,
"period_versions": 2,
"old_check_id": 409,
"final_check_id": 3,
"final_revision": "3e96baa881bad301f15035e7a2507dbdcd3b6bd98e97549711ae921fe1a928ce"
},
"sgf_http": {
"passed": true,
"checks": 70,
"composition": "sgf",
"tag": "6811563df7af",
"actual_http": true,
"financial_commands": true,
"all_ledger_actions": true,
"principal_minor": 6000,
"partial_balance_minor": 4000,
"final_balance_minor": 6000,
"journals": 5,
"lines": 10,
"debit_minor": 22000,
"credit_minor": 22000,
"correction_pairs": 1,
"period_closures": 1,
"real_csrf": true,
"no_browser": true,
"visual_review": false
},
"native_http": {
"passed": true,
"checks": 61,
"composition": "native",
"tag": "717011443eb8",
"actual_http": true,
"financial_commands": true,
"all_ledger_actions": true,
"principal_minor": 6000,
"partial_balance_minor": 4000,
"final_balance_minor": 6000,
"journals": 5,
"lines": 10,
"debit_minor": 22000,
"credit_minor": 22000,
"correction_pairs": 1,
"period_closures": 1,
"real_csrf": true,
"no_browser": true,
"visual_review": false
},
"sgf_final": {
"passed": true,
"checks": 10,
"composition": "sgf",
"coherent_read": {
"isolation": "repeatable read",
"read_only": "on"
},
"writer_locks": 0,
"financial_sha256": "2df31512f7ea339b1ccd2467e8a7e27cbea7b22241b8e389c40ae981c44035f2",
"financial_unchanged": true,
"bounded_evidence_navigation": true,
"individual_corrective_route_409": true,
"native_originals_preserved": null,
"default_cycle_enabled": false
},
"native_final": {
"passed": true,
"checks": 10,
"composition": "native",
"coherent_read": {
"isolation": "repeatable read",
"read_only": "on"
},
"writer_locks": 0,
"financial_sha256": "3da6c77f36fed1bd5339a9b7b2e2ac7e9d1f38afe183a4b2e493a2ce83593229",
"financial_unchanged": true,
"bounded_evidence_navigation": true,
"individual_corrective_route_409": true,
"native_originals_preserved": true,
"default_cycle_enabled": false
},
"native_actor": {
"passed": true,
"checks": 5,
"candidate_account_refused": true,
"typed_internal_user_read": true,
"financial_unchanged": true
},
"first_effect_compatibility": {
"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
},
"sgf_demo": {
"passed": true,
"checks": 28,
"composition": "sgf",
"url": "http://127.0.0.1:8050/qa/ledger-demo",
"tag": "f729b545c0b6",
"three_roles": true,
"no_business_commands": true,
"initial_principal_minor": 6000,
"initial_balance_minor": 6000,
"initial_journals": 0,
"initial_payment_effects": 0,
"financial_return_link": true,
"own_cookie": true,
"visual_review": false
},
"native_demo": {
"passed": true,
"checks": 28,
"composition": "native",
"url": "http://127.0.0.1:8051/qa/ledger-demo",
"tag": "18278bfce5c2",
"three_roles": true,
"no_business_commands": true,
"initial_principal_minor": 6000,
"initial_balance_minor": 6000,
"initial_journals": 0,
"initial_payment_effects": 0,
"financial_return_link": true,
"own_cookie": true,
"visual_review": false
}
},
"quality": {
"phpstan": {
"passed": true,
"errors": 0,
"level": 7,
"files": [
"app/Services/GeneralLedger.php",
"app/Http/Controllers/GeneralLedgerController.php",
"app/Http/Controllers/SupplierPaymentsController.php",
"config/general-ledger.php"
],
"canonical_package_autoload": true,
"private_cache": true
},
"pint": {
"passed": true,
"mode": "--test",
"same_four_native_files": true
},
"general_composer_suite_not_run": true,
"shared_cache_not_cleared": true,
"syntax": {
"php_files": 29,
"javascript_files": 6
}
},
"private_evidence": [
{
"file": "private/ledger-92c3465d242c/ledger-cycle-cases.json",
"sha256": "e79f0c9c4423abbe8fac86ee5fe38ced1a3ced3491fd8db4229aaf5e461a2344"
},
{
"file": "private/ledger-native-4731dad525b5/native-cycle-cases.json",
"sha256": "e79f0c9c4423abbe8fac86ee5fe38ced1a3ced3491fd8db4229aaf5e461a2344"
},
{
"file": "private/ledger-native-4731dad525b5/native-cycle-workflow.json",
"sha256": "7f0790b36a6f9c44e1f52a53e651db103bb19dfb97036ee8b7a8bb7e1c2589f5"
},
{
"file": "private/ledger-ff7852ea4305/ledger-cycle-security.json",
"sha256": "bd00a66bc52374019f557808e49af0b76d68b7bb379759bce6d1dd8c4c8f7136"
},
{
"file": "private/ledger-92c3465d242c/ledger-cycle-race.json",
"sha256": "c720f38b36fabf88a66eced57cd34afc4104e9692a4fb39f1efa7a7c4961c2b1"
},
{
"file": "private/ledger-6811563df7af/ledger-cycle-http.json",
"sha256": "983b3b43591aeb2eeb766d87629eeaa20cfee3804c8f18fae23fe1c09d84395e"
},
{
"file": "private/ledger-native-717011443eb8/ledger-cycle-http.json",
"sha256": "230cfcfd8da2e42d76aa8341d4ce467c6a2db552b3a56cb1e5380fad28592ac6"
},
{
"file": "private/ledger-6811563df7af/ledger-cycle-final.json",
"sha256": "82a63a153fca05f4db298eb42c6a0cf38e4e3cb05c057cd07453850675373cdd"
},
{
"file": "private/ledger-native-717011443eb8/ledger-cycle-final.json",
"sha256": "87f1af04c884e00d3b297de40d6c780dc4b32393092fab7239dfabf0d8548ac4"
},
{
"file": "private/ledger-native-717011443eb8/ledger-cycle-actor-check.json",
"sha256": "198f00d0c5cc7797f11416d8dc3314585de50c1cb9e51e78531428cc06ea63b3"
},
{
"file": "private/ledger-e1272b65ff5d/ledger-cases.json",
"sha256": "8197a2fa96f3dee1e85b411c94b5f72f4a45ac3eac14241bc0062faffb7a0ff8"
},
{
"file": "private/ledger-f729b545c0b6/ledger-cycle-demo-http.json",
"sha256": "2d6ce530066d1b834d06cfcf04808f8a0442adf61c39c1e0ee50b9d914a96e54"
},
{
"file": "private/ledger-native-18278bfce5c2/ledger-cycle-demo-http.json",
"sha256": "11b3d293d1a63408127ff1d77a7191f0c5c6aeeb645ffbb0fd5baf7c6e656bf4"
},
{
"file": "private/ledger-cycle-approved-scope.md",
"sha256": "e4c96d815cb4c923f7e86d74d8ea20297ec129f64adbf4d1c927647cfe2f98b4"
},
{
"file": "private/ledger-cycle-quality.json",
"sha256": "d45a5e986827a80b514e1526405c011e47d9f56747bf6be65f9b9c056f98ab9a"
}
],
"previous_private_artifacts_verified": 14,
"previous_proofs": [
{
"file": "docs/proofs/sgf-financial-ledger-flow-20261102.json",
"sha256": "5d384fd07b26cc38ad3946a6ec27341c7e177152a32d53ed1d5d56743c165836"
},
{
"file": "docs/proofs/common-ledger-payable-20261102.json",
"sha256": "330b4b15ad952d014a828d17ec810a65c4a724d64cf91fd04807e7f37f4ab44b"
},
{
"file": "docs/proofs/sgf-payable-paged-read-20261102.json",
"sha256": "98ddb85c4819ad6e071ab69df3a19244c04e71c0d2e17539eac3c41a2d155b0b"
},
{
"file": "docs/proofs/sgf-settlement-read-isolation-20261102.json",
"sha256": "c83e1857931558aed6249d3acf75f08fa819fb9e35e88080abe7bddbfb3af248"
},
{
"file": "docs/proofs/module-association-consolidation-summary-20261102.json",
"sha256": "8f693f39763ee21a22ebd3929d95ba1480f339eca18742fa53055c69eb5219ef"
}
],
"implementation_sources": [
{
"file": "packages/general-ledger/bootstrap.php",
"sha256": "13c28f93f1846558a9058546213e044b67731d99334773c19421c613404dc17d"
},
{
"file": "packages/general-ledger/README.md",
"sha256": "60d351eb2d9ba82193cb860b31afb43bebb5a02dab6bf6413806b81680597571"
},
{
"file": "packages/general-ledger/src/LedgerSchema.php",
"sha256": "1fb2490fe8d4d206d2f8157803307cdd4e2f733150d0fec4993a7e229fce58cb"
},
{
"file": "packages/general-ledger/src/PayableJournal.php",
"sha256": "ad688290605153e55ef64871b87b5501b7c22102e2a5d051324c04737f439825"
},
{
"file": "packages/general-ledger/src/LedgerCycle.php",
"sha256": "0096c76526c4c67c49b7a1746c2351027ed478c23eb0454f4d4aa7274f256826"
},
{
"file": "packages/general-ledger/src/CycleSchema.php",
"sha256": "25407f9ea4321ee3acb0c310b5d981b8fdaf89c5464d32878ecc57c29e60972d"
},
{
"file": "packages/general-ledger/src/CycleWorkspace.php",
"sha256": "a76bf1b4c18c3a0585de744d58e38e736777831a019200150deb1615b6fe5010"
},
{
"file": "packages/general-ledger/ui/cycle.php",
"sha256": "ab1529f9ea79a635d0559729639f08c2a007c98675e0bde2526ec750cf659231"
},
{
"file": "app/Modules/Accounting/GeneralLedger.php",
"sha256": "f3c0994e75820919f0e008b3e532d00082ec18c531e5e10a77da565b08a0f667"
},
{
"file": "app/Modules/Accounting/GeneralLedgerController.php",
"sha256": "9e50af7221cdfd29c69c1287d2d2049c2aa3f93babea8ca32d0ec9d0f97550ec"
},
{
"file": "app/Modules/Purchasing/SupplierPaymentsController.php",
"sha256": "99d3ba60b4e9e01bfcc496d6def949c7aa1c804562ec24eb0a23cf3087c16640"
},
{
"file": "packages/payables/src/SettlementHttp.php",
"sha256": "1749df4956bce7beaf50a7c48e443f0bfba0f82c5216257c50b046edfd3a3b4f"
},
{
"file": "packages/payables/ui/settlements.php",
"sha256": "829c1e0a17d732b41207976671d8a67f1c3bf51e020a922653d03c7f19408bea"
},
{
"file": "resources/views/accounting/general-ledger.blade.php",
"sha256": "a1203ccf7d62b5b2f6d6f2f84363a6e58c082fe1cddb41be445e3e5b659e3cb4"
},
{
"file": "resources/views/accounting/ledger-cycle-entry.blade.php",
"sha256": "3303264b334d1516284b31cd3c03da5676760221582180236fa64c507272e4c1"
},
{
"file": "config/general_ledger.php",
"sha256": "2b0794ca0f3337acd3fc7793f209b5f649d0a5cc3c94b6bdc2a547faaced64f4"
},
{
"file": "routes/web.php",
"sha256": "659ddc77f9f5536a093ee4084608bd314aa2173e92a6c14ca2310846e9d3823a"
},
{
"file": "../compras/app/Services/GeneralLedger.php",
"sha256": "e86a54f359b428afe9f3352e80c69342bb24a2e389d3c6286323fbce226e0ffe"
},
{
"file": "../compras/app/Http/Controllers/GeneralLedgerController.php",
"sha256": "e188379b51aeef06ff8ab37233252849eca7aed34001c5135bbd93512bb81c9b"
},
{
"file": "../compras/app/Http/Controllers/SupplierPaymentsController.php",
"sha256": "b9c299bf889875bf595728ef7e625a6c9751217b00c1584bfa5010dd8d36ab23"
},
{
"file": "../compras/config/general-ledger.php",
"sha256": "11cbc29f4df9ef6dbf224f0dc39aff390e8da61caad7ca44c91058ed4678e270"
},
{
"file": "../compras/routes/web.php",
"sha256": "c045d26c7617b66a94eb5ff7cfabe99e4a347976048f52a2dfbbb463c26661ce"
},
{
"file": "scripts/ledger-proof.php",
"sha256": "f8a1bd2cce762ac1e8f4f0bba54629ae2dfa59ebfecd310c884e8cb778cfee0a"
},
{
"file": "scripts/ledger-run.mjs",
"sha256": "9280fb2d4720dde88280816aca6dd81e7eee771af57d1e5743e681f30cd477c7"
},
{
"file": "scripts/ledger-cycle-setup.php",
"sha256": "bb7d475c86267cec6e4ea9612fe5e68bd416ef572a2872b87eaa5ea135586b3d"
},
{
"file": "scripts/ledger-cycle-cases.php",
"sha256": "8b8814188c4a9083437376a5ccf853981a23c3093586b042f539ed3a82a49c13"
},
{
"file": "scripts/ledger-cycle-security.php",
"sha256": "492c09947e9bd05c254f7ca1ed9ec44eb80d0e7550efb3f1bbc0698b906dd8d6"
},
{
"file": "scripts/ledger-cycle-race.php",
"sha256": "7767eae356faceb540394020ae1e659708644955078b9b1ea83269151313fa0e"
},
{
"file": "scripts/ledger-cycle-final.php",
"sha256": "9fe66b2464f32c64f06c6b358806de26613a95b34e7a52db77f26d3ef9d1a4aa"
},
{
"file": "scripts/ledger-http-entry.php",
"sha256": "0afc132563999f9a50f9379bacbc4f22e71dc792bd5742f1bf65497dab480b5c"
},
{
"file": "scripts/payable-history-sgf-proof.php",
"sha256": "36eaefcb5971869bf8f8cf097ddb0fee8676f430edb462b7832bdad753d988f6"
},
{
"file": "scripts/ledger-cycle-native-run.mjs",
"sha256": "661da838b9203c35308f452edfcee34567f86bbb7ed8f55bbe1f39319ed63c58"
},
{
"file": "scripts/ledger-cycle-native-proof.php",
"sha256": "24adbda508c6c433abf8f4833fbcb3d7adf8f4702fb6121870197693dc93038f"
},
{
"file": "scripts/ledger-cycle-native-http-router.php",
"sha256": "7b0368fb311e01d821bf337678dedf930ea2c39e958609095eaca65ac1344392"
},
{
"file": "scripts/ledger-cycle-http.mjs",
"sha256": "1c77bf427a5bae06a480002c09d2361fe237fe4f799dd047fe825312d25f6977"
},
{
"file": "scripts/ledger-cycle-native-demo.mjs",
"sha256": "e037c772f567a1b81b4c3a09239c6e7db02c2815dee6d766caf697240b41f8aa"
},
{
"file": "scripts/ledger-cycle-demo-check.mjs",
"sha256": "818663a991eecb2af30bbb1ccbfae4b4f2ddc5b7564e7bfcf86a573d9857ae9e"
},
{
"file": "scripts/summarize-ledger-cycle.mjs",
"sha256": "6b8419cbd063d731ea491234b755a2aa1c56b34a2d4c4acdf3f8b8f14e080ec2"
},
{
"file": "docs/GENERAL_LEDGER_COMPLETE_SYNTHETIC_SCOPE.md",
"sha256": "5d7fed6d7ba6a0c44a95465d1ce3c76e0a788f44630ac35dafec2b5c3d58cf65"
},
{
"file": "docs/GENERAL_LEDGER_COMPLETE_CYCLE_DELIVERY.md",
"sha256": "424a6d9de6f3a02c4ff691df7e045cbf1fd42838bf20c03cca61dcc79c390b2d"
},
{
"file": "../compras/docs/contabilidade-ciclo-sintetico.md",
"sha256": "5930a20ea13b3b7d1cb433de9eae05c12a1abd867093cd1787dc24f8e48882f1"
}
],
"team_demos": [
{
"tag": "f729b545c0b6",
"pid": 19488,
"url": "http://127.0.0.1:8050/qa/ledger-demo",
"loopback_only": true,
"cookie": "sgf_ledger_f729b545c0b6",
"new_isolated_team_fixture": true,
"existing_demos_untouched": true
},
{
"tag": "18278bfce5c2",
"pid": 4012,
"url": "http://127.0.0.1:8051/qa/ledger-demo",
"loopback_only": true,
"cookie": "sgc_ledger_18278bfce5c2",
"new_isolated_team_fixture": true,
"independent_financial_book": true,
"existing_demos_untouched": true
}
],
"core_source_single": true,
"native_adapter_implemented": true,
"installed_native_package_replaced": false,
"destination_flags_enabled": false,
"rights": {
"distinct_ledger": 10,
"ledger_grants_per_new_fixture": 12,
"financial_rights_existing_and_qa_only": true,
"real_grants": 0
},
"preservation": {
"six_pending_associations_untouched": true,
"blocked_cache_not_cleared": true,
"old_demos_not_reset": true,
"unrelated_work_preserved": true
},
"limits": {
"visual_review_pending": true,
"deployment_capacity_validated": false,
"live_sgf_purchasing_source": false,
"real_chart_or_tax_policy": false,
"reopening": false,
"bank_execution": false,
"monetary_operations": false,
"new_benchmarks": false,
"new_indexes": false,
"publication": false,
"purchasing_activation": false,
"checkpoint": false,
"acceptance_presumed": false
}
}