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

702 lines
22 KiB
JSON

{
"increment": "COMMON-LEDGER-SALES-RECEIVABLE-SIM-v1",
"consolidated_at_utc": "2026-11-02T22:39:33.997Z",
"functional_code": true,
"synthetic_only": true,
"status": "implemented_and_tested_with_explicit_limits",
"authorization": {
"answer": "Autorizar o ciclo sintético proposto",
"approved_scope_sha256": "b689ed1624eba2f9346427d41f5d68be2168c7b482cad8030522876b302df1a3",
"archive_matches_presented_proposal": true
},
"tests": {
"source_rule_recovery": {
"passed": true,
"cases": [
{
"name": "source-opening-rights-independence-and-three-line-recovery",
"checks": 19,
"passed": true
},
{
"name": "current-rule-period-and-scope-revalidation",
"checks": 5,
"passed": true
},
{
"name": "guard-negative-and-page-query-contract",
"checks": 4,
"passed": true
}
],
"checks": 29,
"rollback_only": true,
"issued_document_and_rights_preserved": true
},
"actual_http_workflow": {
"passed": true,
"checks": 95,
"actual_http": true,
"real_csrf": true,
"read_transaction": {
"transaction": {
"isolation": "repeatable read",
"read_only": "on"
},
"writer_locks": 0
},
"invoice_id": 1,
"obligation_id": 3,
"allocation_ids": [
5,
7
],
"reversal_id": 8,
"source_pdf_sha256": "59c78788f00158ee2401462f2ac79af9f962898c7346873cf7e9957b9a9f6530",
"principal_minor": 100000,
"financial_balance_minor": 40000,
"client_account_minor": 40000,
"journals": 4,
"lines": 9,
"gross_debit_minor": 240000,
"gross_credit_minor": 240000,
"closed": true,
"visual_review": false,
"browser_automation": false
},
"concurrency": {
"passed": true,
"workers": 6,
"three_line_post": {
"waiting": {
"a": {
"chain_reaches_parent": true,
"wait_event": "tuple"
},
"b": {
"chain_reaches_parent": true,
"wait_event": "transactionid"
}
},
"read_before_release": {
"status": 200,
"balance": "1000.00",
"journals": 0
},
"results": {
"a": {
"status": 200,
"result": {
"state": "posted",
"proposal_id": 1,
"journal_id": 1,
"replayed": false
}
},
"b": {
"status": 200,
"result": {
"state": "posted",
"proposal_id": 1,
"journal_id": 1,
"replayed": false
}
}
},
"changed_effect_id": null
},
"stale_after_confirmed_allocation": {
"waiting": {
"a": {
"chain_reaches_parent": true,
"wait_event": "transactionid"
}
},
"read_before_release": null,
"results": {
"a": {
"status": 409,
"message": "Factos, regras ou período mudaram; prepare nova conferência."
}
},
"changed_effect_id": 5
},
"fresh_period_close": {
"waiting": {
"a": {
"chain_reaches_parent": true,
"wait_event": "transactionid"
},
"b": {
"chain_reaches_parent": true,
"wait_event": "tuple"
}
},
"read_before_release": null,
"results": {
"a": {
"status": 200,
"result": {
"state": "closed",
"closure_id": 1,
"period_version": 2,
"replayed": false
}
},
"b": {
"status": 200,
"result": {
"state": "closed",
"closure_id": 1,
"period_version": 2,
"replayed": false
}
}
},
"changed_effect_id": null
},
"original_invoice_unchanged": true,
"journals": 2,
"lines": 5,
"financial_balance": "600.00",
"closures": 1,
"read_finished_before_writer_release": true
},
"concurrent_source_postcheck": {
"passed": true,
"current_invoice_matches_posted_document_revision": true,
"matching_journals": 2,
"pdf_hash_matches": true,
"no_business_writes": true
},
"latest_schema_workflow": {
"passed": true,
"checks": 10,
"invoice_id": 1,
"obligation_id": 1,
"receipts": [
2,
3
],
"allocations": [
3,
5
],
"reversal_effect_id": 6,
"invoice_journal_id": 1,
"journals": 4,
"lines": 9,
"gross_debit_minor": 240000,
"gross_credit_minor": 240000,
"client_balance_minor": 40000,
"financial_balance_minor": 40000,
"period_closed": true,
"origin_unchanged": true
},
"latest_final": {
"passed": true,
"invoice_snapshot_sha256": "0ac6388831d11b86f5b75fc449dcfc44de42f079938477a4e5b7fa4c343c839e",
"pdf_sha256": "59c78788f00158ee2401462f2ac79af9f962898c7346873cf7e9957b9a9f6530",
"original_snapshot_and_pdf_preserved": true,
"principal_minor": 100000,
"balance_minor": 40000,
"client_account_minor": 40000,
"journals": 4,
"lines": 9,
"gross_debits_minor": 240000,
"gross_credits_minor": 240000,
"late_line_constraint_deferred": true,
"closed_ui_read_only": true,
"explicit_qa_runtime_flag": true
},
"defaults": {
"passed": true,
"default_without_environment": false,
"explicit_owned_qa_runtime": true,
"real_environment_not_changed": true,
"no_business_writes": true
},
"latest_http_read": {
"passed": true,
"checks": 10,
"latest_schema": true,
"read_only": true,
"writer_locks": 0,
"journals": 4,
"lines": 9,
"balance_minor": 40000,
"closed_forms_hidden": true,
"generic_diary_sales_origin": true,
"no_business_commands": true,
"visual_review": false
},
"schema_scope_pagination": {
"passed": true,
"checks": 12,
"authorised_foreign_contexts_refused": [
"unit",
"company",
"tenant"
],
"revoked_rights_refused": true,
"late_third_line_refused_by_database": true,
"fourth_line_refused": true,
"history_pagination_bounded": true,
"rollback_only": true
},
"module_isolation": {
"passed": true,
"checks": 4,
"picker_respects_module_associations": true,
"source_without_association_refused": true,
"whole_period_still_blocks_unaccounted_source": true,
"associations_unchanged_after_rollback": true
},
"supplier_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
},
"native_cycle_compatibility": {
"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_sales_refusal": {
"passed": true,
"sales_not_composed": true,
"no_journal_or_proposal": true,
"no_sgf_sales_table_dependency": true
},
"supplier_customer_coexistence": {
"passed": true,
"customer_supplier_ids_coincide": true,
"one_writer": true,
"customer_filter_journals": 1,
"customer_filter_events": 3,
"supplier_filter_journals": 1,
"supplier_filter_events": 3,
"journals": 2,
"lines": 5,
"gross_debit_minor": 106000,
"gross_credit_minor": 106000,
"customer_balance_minor": 100000,
"supplier_balance_minor": 6000,
"joint_period_closed": true,
"supplier_origin_is_controlled_synthetic_receipt_not_live_import": true
},
"team_access": {
"passed": true,
"declared_roles": 3,
"unlisted_users_with_grants": 0,
"pruned_helper_grants": 5,
"original_users_and_approvals_preserved": true,
"business_effects": 0
},
"team_http_readiness": {
"passed": true,
"checks": 29,
"url": "http://127.0.0.1:8053/qa/sales-demo",
"three_roles": true,
"one_actual_test_invoice": true,
"financial_records": 0,
"financial_effects": 0,
"journals": 0,
"no_business_commands": true,
"private_build": true,
"module_generation_checked_by_ui": true,
"unlisted_users_with_grants": 0,
"visual_review": false,
"browser_automation": false
},
"rendered_forms": {
"passed": true,
"checks": 10,
"rendered_script_sha256": "b62b3a2e4869f980bd397c0ed20eeec4d5076aeadfe4369cf47bfb889430fdee",
"mock_dom": true,
"actual_browser": false,
"no_business_requests": true,
"exact_amount_and_hash_types": true,
"stable_repetition": true,
"stale_generation_cannot_self_refresh": true,
"pdf_failure_recovery": true
}
},
"evidence": [
{
"file": "private/ledger-fc19bcb8d9de/sales-cases.json",
"sha256": "aa53636592906b6c0a376dcd68cfe9ec50fc2679774236026a52c183d8e10664"
},
{
"file": "private/ledger-fc19bcb8d9de/sales-http.json",
"sha256": "56d51b997dcb4184a969704112b868bd4f7c0715662f3b3b7761563326a766c1"
},
{
"file": "private/ledger-78270fedb4e4/sales-race.json",
"sha256": "deaa9632ab2417e9ef62c7b73de0d41e966b91e421582a379d21197360846ae7"
},
{
"file": "private/ledger-78270fedb4e4/sales-source-postcheck.json",
"sha256": "e40b2b431008ec728105c05473f5bb4bbb78972104ae345e8f1d196f16717f6b"
},
{
"file": "private/ledger-7dabce07b0c3/sales-workflow.json",
"sha256": "9cdba15b0838402b5750aa933793c584eb432a2c3735efd1abe432fa8e4afd64"
},
{
"file": "private/ledger-7dabce07b0c3/sales-final.json",
"sha256": "e3d539914dbe002888526aff7693c9953b858d33e01e0770ad6afe91d3394572"
},
{
"file": "private/ledger-7dabce07b0c3/sales-defaults.json",
"sha256": "94d861c091916b0e83532f4624143f2057362dc143e76b540115b0f659c1a0e4"
},
{
"file": "private/ledger-7dabce07b0c3/sales-readcheck.json",
"sha256": "892d07e409982bbdfca33be32d3b77ce50a6b5d5892e1100cd14073b7cbffb7a"
},
{
"file": "private/ledger-2b60f38982b1/sales-integrity.json",
"sha256": "b6ef7a4f22c9ef2001beb03a37de066d3adb9344e8000ea393d87766497305ee"
},
{
"file": "private/ledger-2b60f38982b1/sales-module-check.json",
"sha256": "7099f1f965eccce300993245700ddeb77e14b78735df8b2a5bdd727784d8d0d5"
},
{
"file": "private/ledger-c47dfbc3fad1/ledger-cases.json",
"sha256": "8197a2fa96f3dee1e85b411c94b5f72f4a45ac3eac14241bc0062faffb7a0ff8"
},
{
"file": "private/ledger-native-c5ff3a6aa5a3/native-cycle-cases.json",
"sha256": "e79f0c9c4423abbe8fac86ee5fe38ced1a3ced3491fd8db4229aaf5e461a2344"
},
{
"file": "private/ledger-native-c5ff3a6aa5a3/sales-capability-refusal.json",
"sha256": "92fbe119b7a8d3fee43412f69a4b8a7d5cebeb4e746fe530e67f354ea3d516ee"
},
{
"file": "private/ledger-7a94f1f4fe7d/sales-coexistence.json",
"sha256": "6029db775441a12385094ad557a73df84db607a1327a85803cb0a27dd0f47153"
},
{
"file": "private/ledger-b4c7b11c1593/sales-demo-access.json",
"sha256": "477566f13cc2ff1be646445adfcac50b5dd272c40eae6c017c9bc3fee0f03d8c"
},
{
"file": "private/ledger-b4c7b11c1593/sales-demo-http.json",
"sha256": "26bc004c0d7f8688ac13854965255e8ba2082f189f25f082d6acaaebe9d9492e"
},
{
"file": "private/ledger-b4c7b11c1593/sales-forms.json",
"sha256": "a9fcfdb6cebbddeb74ae2cfede9e1e46509ac8b6515a19e3b5fdee8a1ddaa355"
},
{
"file": "private/ledger-sales-approved-scope.md",
"sha256": "b689ed1624eba2f9346427d41f5d68be2168c7b482cad8030522876b302df1a3"
}
],
"previous_proofs": [
{
"file": "docs/proofs/common-finance-bundle-20261103.json",
"sha256": "086c1556e7cefcf64a7064995a4aa6bd0e3aa9dd62cba66285b7801715f9f22c"
},
{
"file": "docs/proofs/common-ledger-complete-cycle-20261102.json",
"sha256": "23657d594b84e6aeeb0d16d45790d54feca04b12e2260cfffa4f8e4a37eaa0ce"
},
{
"file": "docs/proofs/common-ledger-payable-20261102.json",
"sha256": "330b4b15ad952d014a828d17ec810a65c4a724d64cf91fd04807e7f37f4ab44b"
},
{
"file": "docs/proofs/sgf-financial-ledger-flow-20261102.json",
"sha256": "5d384fd07b26cc38ad3946a6ec27341c7e177152a32d53ed1d5d56743c165836"
}
],
"previous_private_artifacts_verified": 33,
"frozen_native_bundle": {
"files": 25,
"manifest_sha256": "6a507ea7d708a12a8e526e4c610696d8db84079d18aede470237b65505630e7e",
"all_hashes_preserved": true,
"sales_extension_not_installed": true
},
"sources": [
{
"file": "packages/general-ledger/bootstrap.php",
"sha256": "8de5e1e8cd5b6ca96f34f33294284106015ae5b893088c4651200df40d1380e0"
},
{
"file": "packages/general-ledger/README.md",
"sha256": "c59638392018a9e9da57e73a2ce5e7adc12b9c618922f710ab7052950a158f09"
},
{
"file": "packages/general-ledger/src/LedgerSchema.php",
"sha256": "1fb2490fe8d4d206d2f8157803307cdd4e2f733150d0fec4993a7e229fce58cb"
},
{
"file": "packages/general-ledger/src/PayableJournal.php",
"sha256": "982479060b0b61dd8089f7994241df0c098fc4d0a9258f494698c030ff438fd1"
},
{
"file": "packages/general-ledger/src/LedgerCycle.php",
"sha256": "4589d7270c12d90e171109e6cf3af452831b03c896881e53a32307673c501331"
},
{
"file": "packages/general-ledger/src/CycleSchema.php",
"sha256": "25407f9ea4321ee3acb0c310b5d981b8fdaf89c5464d32878ecc57c29e60972d"
},
{
"file": "packages/general-ledger/src/CycleWorkspace.php",
"sha256": "a76bf1b4c18c3a0585de744d58e38e736777831a019200150deb1615b6fe5010"
},
{
"file": "packages/general-ledger/src/LedgerSales.php",
"sha256": "ea21a8376705e413b824513d30243c271870b2bfbc7a9af2fd922916a145e130"
},
{
"file": "packages/general-ledger/src/SalesSchema.php",
"sha256": "95388e12e631f89a200e764a86d6da42e95812955e62fa2e36166168c06119d6"
},
{
"file": "app/Modules/Accounting/GeneralLedger.php",
"sha256": "6ec89d6815acd9133c3b93d218395aa6e6392dd01e2cdd03e8ea73fd459097a1"
},
{
"file": "app/Modules/Accounting/GeneralLedgerController.php",
"sha256": "d8a8c81f23986dd411535b38085ec51a469357413f1a8a094dceb99a57866179"
},
{
"file": "app/Modules/Accounting/SalesLedgerController.php",
"sha256": "7a47a8b53a26b4541b224de71611721ec416dfe47736da4242fced593ac1d6aa"
},
{
"file": "app/Modules/Accounting/SalesLedgerSource.php",
"sha256": "6a6efdc690c4ae6bd66032475ce70493c9e8b8e51bfee1429478c29d8989e9e7"
},
{
"file": "app/Modules/Services/ServiceReceivables.php",
"sha256": "725bc8773a78cfd05dd0a729d885a97c0eef43854ca7ab4210b4d5e80d5d54ec"
},
{
"file": "app/Modules/Purchasing/SupplierPayables.php",
"sha256": "68ec6bc24321604cfa2b2126fc3d894a2dd30a1a272536e50c93830029f0f97e"
},
{
"file": "app/Shared/Testing/TestingDatabaseGuard.php",
"sha256": "42c67eb798b2fc43fcf0da125f46b72c79d507e8def02a733dee30a5d305c9be"
},
{
"file": "config/sales_ledger.php",
"sha256": "da275ef0283ee527be42700d68450dec466ba048f2ac8a803d4434ce54fc12c8"
},
{
"file": "config/general_ledger.php",
"sha256": "2b0794ca0f3337acd3fc7793f209b5f649d0a5cc3c94b6bdc2a547faaced64f4"
},
{
"file": "routes/web.php",
"sha256": "8ee70c479f8fd983456a62d827a38452511449ef08e7a9bc963e60599914da08"
},
{
"file": "resources/views/accounting/general-ledger.blade.php",
"sha256": "4a26d26ce7410c618bae049c0037d2c21dd811942de3c61891fe045cd2093ad5"
},
{
"file": "resources/views/accounting/sales-ledger.blade.php",
"sha256": "df8406a3539ac098780de6b20edb630e3a3a6ce6a2778c0a435f340905e36696"
},
{
"file": "resources/views/accounting/sales-demo-entry.blade.php",
"sha256": "161f2e531eb7225d33c090065f9493246670b4df2b7334c855509411191eaf09"
},
{
"file": "scripts/payable-history-sgf-proof.php",
"sha256": "0fe3fb06270a944d9158a9eabcfb445c6a7383be2fd35dea2797b01180442b2f"
},
{
"file": "scripts/ledger-run.mjs",
"sha256": "4d5834803aa37b76c7c2bf0e7c44efbe4bdbfe84ea6abff3bdd008f3ba93212a"
},
{
"file": "scripts/ledger-sales-cases.php",
"sha256": "c5b2a9efb2f460b8dd8bcc301636830f57d8833ddb57c9270783a60612385674"
},
{
"file": "scripts/ledger-sales-coexistence.php",
"sha256": "3c5fac7f481818f82d799fa83471a26770b25f8394315f5f889945c230ef4367"
},
{
"file": "scripts/ledger-sales-demo-check.mjs",
"sha256": "a0272d43016820ccc588bf2f9e9d96889db046881ddf8f12a4ee4f089f76a1ce"
},
{
"file": "scripts/ledger-sales-demo.mjs",
"sha256": "00c325206b46eeb14befd57a1602452f46f76481148a300090bc0e4d55a56038"
},
{
"file": "scripts/ledger-sales-form-check.mjs",
"sha256": "68683c6661116cbf4488ce3438d3372e5116098bd0e79d8660e04b3cb95a6aa2"
},
{
"file": "scripts/ledger-sales-http-entry.php",
"sha256": "79130286eb828b463a063391315750ee926e8a7141f4ef7f367ffa1a606342a4"
},
{
"file": "scripts/ledger-sales-http-router.php",
"sha256": "298f987b035b7b2049e7efc6f29bf8a0b08a93d438566d847113c38b90090a1d"
},
{
"file": "scripts/ledger-sales-http.mjs",
"sha256": "9d86f4b0c417e5dbe3a09479dd60cbd12a9f4e493951ee276b0dd8fabab3f8e1"
},
{
"file": "scripts/ledger-sales-integrity.php",
"sha256": "5ef84735ef814aebed369331c15241a3c7a85e3c8ac25b0947a82bee3bede9b6"
},
{
"file": "scripts/ledger-sales-proof.php",
"sha256": "42f3501ba095e4f28e293425e51d78acec9598739d5ca9248838588c72215c6f"
},
{
"file": "scripts/ledger-sales-race.php",
"sha256": "e213420073fb4c7d3a1fe39cd3850e38bc3b3bbe07ae99110dd5225c7a11195c"
},
{
"file": "scripts/ledger-sales-readcheck.mjs",
"sha256": "fa4d71ce14604caa6bc29a611ab600aef9aa312db6f54f41e018b13dc50a6c8f"
},
{
"file": "scripts/summarize-ledger-sales.mjs",
"sha256": "119178f3c4b67711a957cc6ddd43e27efd2c7f5ea371345522d855cebfd0ef11"
},
{
"file": "docs/GENERAL_LEDGER_SALES_RECEIVABLE_SCOPE.md",
"sha256": "3ac91e356b701dc1149d00fb6cb10a9d289fdde663112381dcd1d366c48405f5"
},
{
"file": "docs/GENERAL_LEDGER_SALES_RECEIVABLE_DELIVERY.md",
"sha256": "fa2a9ff135cd7af412de852d2e7a922e6825b350bf26545b7786f88e3c34b3de"
},
{
"file": "README.md",
"sha256": "00480f56801a8cadedba48501562d82da6b847390cbd4626012e4a9d01fd1f58"
},
{
"file": "docs/PRODUCT_DEMO.md",
"sha256": "062cd312396d72769c61374c01627baec3eecf198450b043dc46a7975cae587c"
},
{
"file": "docs/SGF_MODULE_FLOW_PREPARATION.md",
"sha256": "ca7d51984434a42f73a439eabcfbca086b7fb56142f2da5e396d472b973ae497"
}
],
"quality": {
"syntax": {
"php_files": 26,
"javascript_files": 7
},
"git_diff_check_sgf_and_native": true,
"phpstan_sgf": "not_installed_not_run",
"pint_sgf": "not_installed_not_run",
"new_dependencies": false
},
"team_demo": {
"tag": "b4c7b11c1593",
"pid": 27308,
"url": "http://127.0.0.1:8053/qa/sales-demo",
"cookie": "sgf_sales_b4c7b11c1593",
"loopback_only": true,
"separate_team_database": true,
"old_demos_preserved": true
},
"rights": {
"distinct_ledger_rights": 7,
"ledger_grants_per_fixture": 9,
"qa_only": true,
"real_grants": 0
},
"preservation": {
"six_pending_associations_untouched": true,
"blocked_cache_not_cleared": true,
"existing_demos_not_reset": true,
"unrelated_work_preserved": true,
"previous_valid_proofs_preserved": true
},
"limits": {
"visual_review_pending": true,
"actual_browser_executed": false,
"deployment_capacity_validated": false,
"new_load_benchmarks": false,
"new_indexes": false,
"real_tax_or_chart": false,
"real_monetary_operations": false,
"destination_migrations": false,
"real_or_public_rights_changes": false,
"reopening": false,
"stock_cost_payroll_accounting": false,
"publication": false,
"purchasing_activation": false,
"acceptance_presumed": false,
"checkpoint": false
}
}