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

711 lines
23 KiB
JSON

{
"increment": "COMMON-LEDGER-INDUSTRIAL-CORRECTION-SIM-v1",
"consolidated_at_utc": "2026-11-03T06:46:32.380Z",
"authorization": {
"answer": "Autorizar a correcção industrial sintética proposta",
"approved_scope_archive_sha256": "7d41a413c1d1e5b8436b72edb0600852841dfd29ae2ba995b2a691bd7562cd1a",
"matches_presented_proposal": true
},
"functional_code": true,
"synthetic_only": true,
"status": "implemented_and_tested_with_limits",
"targeted_checks": 155,
"form_vm_checks": 5,
"concurrency_workers": 6,
"tests": {
"actual_owner_setup": {
"passed": true,
"original_journal_id": 2,
"original_journal_sha256": "0189bb33a87d912ae3f83e21a393cf53e96e4b448ea5747fdfc627533b024144",
"original_result_sha256": "70ccb629f4c3b025394e9cc2e101182f614087f3430e3e767aec6ee1cac1b7cb",
"replacement_rate_id": 9,
"replacement_result_id": 2,
"replacement_refs": {
"material": {
"id": 1,
"version": 1
},
"labour": {
"id": 2,
"version": 1
},
"pool": {
"id": 3,
"version": 1
},
"machine": {
"id": 4,
"version": 1
},
"production": {
"id": 5,
"version": 1
},
"material_rate": {
"id": 9,
"version": 2
},
"labour_rate": {
"id": 7,
"version": 1
},
"criterion": {
"id": 8,
"version": 1
}
},
"original_minor": 180000,
"replacement_minor": 182000,
"residual_exact": "300",
"source_fingerprint": "f62ebfc903c20b2bb55357b4f83edae1db4a481c762930d0b4f044f60869527b",
"initial_industrial_correction_groups": 0
},
"actual_industrial_pair": {
"passed": true,
"industrial_journals": 3,
"industrial_lines": 6,
"industrial_events": 9,
"gross_minor": 542000,
"industrial_balance_minor": 182000,
"source_original_outbox_rights_exact": true,
"same_and_other_key_no_duplicate": true
},
"regression": {
"passed": true,
"cases": [
{
"name": "explicit-asymmetric-impact-and-indivisible-application",
"checks": 7,
"passed": true
},
{
"name": "faults-at-pair-boundaries-rollback-and-recovery",
"checks": 7,
"passed": true
},
{
"name": "database-rejects-orphan-cost-reversal",
"checks": 1,
"passed": true
},
{
"name": "changed-source-version-requires-new-conference",
"checks": 4,
"passed": true
},
{
"name": "rights-person-and-replay-authority",
"checks": 2,
"passed": true
},
{
"name": "readers-foreign-original-disabled-capability-and-closed-period",
"checks": 5,
"passed": true
},
{
"name": "new-change-after-correction-blocks-owner-conference-no-chain",
"checks": 4,
"passed": true
}
],
"checks": 31,
"rollback_only": true,
"source_originals_outbox_rights_unchanged": true,
"asymmetric_pair_and_orphan_sql_enforced": true
},
"security": {
"passed": true,
"checks": 7,
"eligible_foreign_tenant_company_unit_refused": true,
"rollback_only": true,
"source_outbox_rights_unchanged": true,
"capture_rights_revalidated": [
"industrial_costs.view",
"general_ledger.view",
"general_ledger.correct_prepare"
],
"post_right_revocation_covered_in_main_regression": true
},
"fully_eligible_foreign_contexts": {
"passed": true,
"checks": 4,
"foreign_tenant_company_unit_fully_eligible": true,
"foreign_accounting_person_and_rights_present": true,
"original_journal_refused_by_scope": true,
"rollback_only": true,
"source_outbox_rights_exact": true
},
"actual_http": {
"passed": true,
"checks": 51,
"actual_http": true,
"csrf_and_context": true,
"indivisible_four_line_impact": true,
"isolated_public_parts_refused": true,
"original_minor": 180000,
"replacement_minor": 182000,
"delta_minor": 2000,
"journals": 3,
"lines": 6,
"applied_groups": 1,
"industrial_gross_minor": 542000,
"company_gross_minor": 569500,
"balance_minor": 182000,
"source_snapshot_unchanged": true,
"joint_close_requires_other_sources": true,
"read_only_workspace": true,
"writer_locks": 0,
"visual_review": false
},
"three_pair_domains": {
"passed": true,
"checks": 6,
"three_pair_domains_sql_validated": true,
"same_numeric_source_ids_separate": true,
"rollback_only": true,
"source_outbox_rights_unchanged": true
},
"joint_workflow": {
"passed": true,
"checks": 18,
"invoice_id": 1,
"obligation_id": 1,
"receipts": [
2,
3
],
"allocations": [
3,
5
],
"reversal_effect_id": 6,
"invoice_journal_id": 10,
"journals": 11,
"lines": 23,
"gross_debit_minor": 872500,
"gross_credit_minor": 872500,
"client_balance_minor": 40000,
"financial_balance_minor": 40000,
"period_closed": true,
"origin_unchanged": true,
"combined_checks": 33,
"source_outbox_rights_preserved": true,
"supplier_balance_minor": 6000,
"cost_balance_minor": 29500,
"typed_source_filters_separate": true,
"joint_period_closed": true
},
"joint_final": {
"passed": true,
"journals": 11,
"lines": 23,
"gross_minor": 872500,
"industrial_closing_minor": 182000,
"residual_exact": "300",
"joint_closures": 1,
"typed_industrial_groups": 1,
"closed_ui_no_commands": true,
"current_source_resolved": true
},
"concurrency": {
"passed": true,
"workers": 6,
"stale_group": {
"waiting": {
"a": {
"chain_reaches_parent": true,
"wait_event": "transactionid"
}
},
"read_before_release": {
"status": 200,
"amount_minor": 182000,
"journals": 1,
"results": 0
},
"results": {
"a": {
"status": 409,
"message": "Fonte, regra ou período mudaram; prepare nova conferência."
}
},
"changed_effect_id": 3
},
"fresh_pair": {
"waiting": {
"b": {
"chain_reaches_parent": true,
"wait_event": "transactionid"
},
"a": {
"chain_reaches_parent": true,
"wait_event": "tuple"
}
},
"read_before_release": null,
"results": {
"a": {
"status": 200,
"result": {
"state": "corrected",
"correction_id": 2,
"result_id": 1,
"reverse_journal_id": 3,
"replacement_journal_id": 4,
"replayed": false
}
},
"b": {
"status": 200,
"result": {
"state": "corrected",
"correction_id": 2,
"result_id": 1,
"reverse_journal_id": 3,
"replacement_journal_id": 4,
"replayed": false
}
}
},
"changed_effect_id": null
},
"joint_close": {
"waiting": {
"b": {
"chain_reaches_parent": true,
"wait_event": "transactionid"
},
"a": {
"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
},
"reader_finished_before_release": true,
"industrial_groups_prepared": 2,
"industrial_groups_applied": 1,
"journals": 11,
"lines": 23,
"gross_minor": 872500,
"industrial_balance_minor": 182000,
"closures": 1,
"original_journal_both_results_and_original_outbox_exact": true,
"current_result_version": 3,
"residual_exact": "300"
},
"concurrency_final": {
"passed": true,
"journals": 11,
"lines": 23,
"gross_minor": 872500,
"industrial_closing_minor": 182000,
"residual_exact": "300",
"joint_closures": 1,
"typed_industrial_groups": 1,
"closed_ui_no_commands": true,
"current_source_resolved": true
},
"team_http_forms": {
"passed": true,
"checks": 23,
"three_accounting_roles": true,
"original_minor": 180000,
"actual_successor_minor": 182000,
"initial_groups": 0,
"initial_closures": 0,
"no_business_commands": true,
"rendered_forms_mock_checks": 5,
"actual_browser": false,
"visual_review": false,
"private_existing_build": true,
"initial_industrial_journals": 1,
"initial_company_journals": 2
},
"team_before": {
"passed": true,
"initial_journals": 2,
"initial_industrial_groups": 0,
"initial_closures": 0,
"source_original_outbox_rights_exact": true
},
"team_after": {
"passed": true,
"initial_journals": 2,
"initial_industrial_groups": 0,
"initial_closures": 0,
"source_original_outbox_rights_exact": true
},
"old8058_preservation": {
"passed": true,
"old8058_source_outbox_rights_exact": true,
"correction_default_off": true,
"correction_schema_absent": true,
"uncomposed_correction_refused403": true,
"three_provider_packet_unchanged": true,
"old_initial_journal_count": 1,
"read_only": true
}
},
"private_evidence": [
{
"file": "private/ledger-a3c69acf5a50/industrial-correction-fixture.json",
"sha256": "2495090d91cc2b43422d0f7ecb8f528a1e90baec89fc88b5574cc124b1c38f7f"
},
{
"file": "private/ledger-a3c69acf5a50/industrial-correction-workflow.json",
"sha256": "fa421b294d82eaea37e6008fd1e6f2a0a2ec8a61217dcfca2d39ce9d3ac100fb"
},
{
"file": "private/ledger-a3c69acf5a50/industrial-correction-cases.json",
"sha256": "15879e78004bd4c70f03eeee12cf8fbed7982f1dc5a22f15c2342cc959854ec2"
},
{
"file": "private/ledger-a3c69acf5a50/industrial-correction-security.json",
"sha256": "bbc6b18061c8cecf41c4547c9b5b3493364b596be7d5ed130669d3bbb934fcf9"
},
{
"file": "private/ledger-d55f5fc71dcb/industrial-correction-deep-scope.json",
"sha256": "193ed3f907bf7dceaf679ea21c2c066b172bf12f1590ee71ce72c29d6e997868"
},
{
"file": "private/ledger-d55f5fc71dcb/industrial-correction-http.json",
"sha256": "23c391e548c6c8148ceca929654de225cb94f2165977aa2c33fb442743ec36cd"
},
{
"file": "private/ledger-d55f5fc71dcb/industrial-correction-coexistence.json",
"sha256": "60cc3e27dbeff03e192fde41a87c9b8f74859d5a1fa06b759f0690680fab31b4"
},
{
"file": "private/ledger-d55f5fc71dcb/composition-workflow.json",
"sha256": "83c8b094d063fec8d28f7af2b5390413d343e4f15cf2b52f575a13af0109fdac"
},
{
"file": "private/ledger-d55f5fc71dcb/industrial-correction-final.json",
"sha256": "b819ccd09e66cf057d80030b4b75461548f1e20773e40fc2c12c6ee161dd2f13"
},
{
"file": "private/ledger-5b49607829f9/industrial-correction-race.json",
"sha256": "8bd5ab40773a772d7a8e8563b788fb1131088a2ea140c63811b09e561cff52e2"
},
{
"file": "private/ledger-5b49607829f9/industrial-correction-final.json",
"sha256": "b819ccd09e66cf057d80030b4b75461548f1e20773e40fc2c12c6ee161dd2f13"
},
{
"file": "private/ledger-61b694d72ae4/industrial-correction-demo-http.json",
"sha256": "2d0ca9279bd6dc7715173d544afaf405eda7477bfb1ca8e4fbac80a5918b3e6a"
},
{
"file": "private/ledger-61b694d72ae4/industrial-correction-demo-preservation.json",
"sha256": "3c531f7dbeb1363c13f5c7eaaf396806fe72462ab3cdd606706d6bd6c333bb6b"
},
{
"file": "private/ledger-61b694d72ae4/industrial-correction-demo-post.json",
"sha256": "3c531f7dbeb1363c13f5c7eaaf396806fe72462ab3cdd606706d6bd6c333bb6b"
},
{
"file": "private/ledger-072ef8124ab4/industrial-demo-after-correction.json",
"sha256": "e98b61f5d7eaf0cd684962b7a821717f8b72c6fafa8e1a60c6b667b2fccfe5bc"
},
{
"file": "private/ledger-industrial-correction-approved-scope.md",
"sha256": "7d41a413c1d1e5b8436b72edb0600852841dfd29ae2ba995b2a691bd7562cd1a"
}
],
"metadata_notes": [
"The inherited four_live_rights_revalidated label was replaced with the exact three capture rights in the public view; correct_post revocation is tested in the main regression. Original private evidence is unmodified.",
"Team initial_industrial_journals is1; the initial company book contains2 journals."
],
"previous_manifests": [
{
"file": "docs/proofs/sgf-payable-report-capture-20261103.json",
"sha256": "155c60a14406b3ae3a5df862806a2ea2d9144b67871aaff7e75f9713701d649c",
"private_artifacts_preserved": true
},
{
"file": "docs/proofs/common-ledger-industrial-20261103.json",
"sha256": "1f26b2c11d565a65456f3fb5f3b11c9e0ac0726649ccef1485464e46ba753e18",
"private_artifacts_preserved": true
},
{
"file": "docs/proofs/common-ledger-composition-20261103.json",
"sha256": "d64957d14dd6140b66fbb8569997ed941dab954046b56c38939202a2e63653a0",
"private_artifacts_preserved": true
},
{
"file": "docs/proofs/common-ledger-direct-cost-correction-20261103.json",
"sha256": "2111a30006d24f4325c6f4292e9ffb567adf28950ffbfa76fbb9e8143a2fedb7",
"private_artifacts_preserved": true
},
{
"file": "docs/proofs/common-ledger-direct-cost-20261103.json",
"sha256": "5354ac34eb27dd9c05564d8eb9694a90c3e8eceaf018e2873aa299aa54b6cf6e",
"private_artifacts_preserved": true
},
{
"file": "docs/proofs/common-ledger-sales-receivable-20261103.json",
"sha256": "b5572466111fb85d89a604fbaa423976ed17c61afc5e2e45ba392fb23aa82e8c",
"private_artifacts_preserved": true
},
{
"file": "docs/proofs/common-ledger-complete-cycle-20261102.json",
"sha256": "23657d594b84e6aeeb0d16d45790d54feca04b12e2260cfffa4f8e4a37eaa0ce",
"private_artifacts_preserved": true
}
],
"previous_private_artifacts_verified": 94,
"frozen_bundles": [
{
"files": 25,
"manifest_sha256": "6a507ea7d708a12a8e526e4c610696d8db84079d18aede470237b65505630e7e",
"all_bytes_preserved": true
},
{
"files": 30,
"manifest_sha256": "cbc4ddbea15f5e396c92bc2e664b973138551928980f334bcf3eb0cf097cacb1",
"all_bytes_preserved": true
}
],
"quality": {
"syntax": {
"php": 19,
"js": 4
},
"diff_check_both_repositories": true,
"unrelated_suites_not_repeated": true
},
"source_files": [
{
"file": "AGENTS.md",
"sha256": "196232e45098535f084fe1df62887f700a7ff5d3416536523b9e69b4bd133457"
},
{
"file": "config/industrial_ledger.php",
"sha256": "f6ccfe29a6bfce1fbf636de3ed1f245644547a3c196fe7a54e7e76c4693b40fa"
},
{
"file": "app/Modules/Accounting/IndustrialLedgerSource.php",
"sha256": "2479bfd33182fdd918b14748ca9e00e8c789a127bf1746651c8f8f7d53205024"
},
{
"file": "app/Modules/Accounting/GeneralLedger.php",
"sha256": "92980788fff94f1b66b18dbb4fcefdc9185a86626ac97df8116eea4c4eeced7e"
},
{
"file": "packages/general-ledger/bootstrap.php",
"sha256": "f8f94212a0cbc926aa510459a1bbd3a022d149a7a0f185cf56644c2f5a2c6bb7"
},
{
"file": "packages/general-ledger/README.md",
"sha256": "1a016bbc92fef19263dc823eb4713b28d1126d4c9ebb820f33121776cf266229"
},
{
"file": "packages/general-ledger/src/IndustrialCorrectionSchema.php",
"sha256": "3d657773582fe5afc4948d60c60f5b70f79b274a619778df97d62ead6013186f"
},
{
"file": "packages/general-ledger/src/PayableJournal.php",
"sha256": "6a2fbb1fecebbaeeb6511557a116bf17e1a5daa2bd8ed389e777ec9ecd822c66"
},
{
"file": "packages/general-ledger/src/LedgerCycle.php",
"sha256": "5040369c2fc24ef713e758e5d4d1241fc52b8bef421ea7bf45855000f755d524"
},
{
"file": "packages/general-ledger/ui/cycle.php",
"sha256": "26eaee6a187e41aedac23d101e26fe8707937cd59fc70042a2332a2f13f3f1be"
},
{
"file": "resources/views/accounting/industrial-ledger.blade.php",
"sha256": "17568eb8e7391a0486ac8e45fda9716f817636d1832658b4969cdc6a123f058b"
},
{
"file": "resources/views/accounting/industrial-correction.blade.php",
"sha256": "5d2a3c72714f55c4378ec7ae4ccfb4738b3b7db32eb5bb882f5de47d2793eb65"
},
{
"file": "resources/views/accounting/industrial-correction-demo-entry.blade.php",
"sha256": "d6d0db6bce610fd8347db4eb629842e36879bc36448e3023497e71ba99188c09"
},
{
"file": "resources/views/accounting/general-ledger.blade.php",
"sha256": "ca0608bd9c9cce03a37674795848516ef546f76f38bd7b7e00932cba5f2f4e81"
},
{
"file": "resources/views/accounting/cost-ledger.blade.php",
"sha256": "9a5f58b97767e96eb8e998870cac5fded74c9ad5dfd812c6323b934f2aeb1ff4"
},
{
"file": "scripts/payable-history-sgf-proof.php",
"sha256": "05fb3240f513fa1b91249caf0ddeeb25304186b98cb3bdfe6e339e38126fb54e"
},
{
"file": "scripts/ledger-cost-proof.php",
"sha256": "c3df28409571229e8d63a1d7314d15eaf0ef7e70dd75b496b071b9028b8825a7"
},
{
"file": "scripts/ledger-industrial-proof.php",
"sha256": "fc3d380840a5896f50d391ddf9320bcdbb9334cda17bf0c094cf3a3ce80c61e7"
},
{
"file": "scripts/ledger-cost-http-entry.php",
"sha256": "9966c9b3a24075e6adaa65584874e62b03aed7a4cc1a3d3c57fadbd39ea81ea0"
},
{
"file": "scripts/ledger-composition-workflow.php",
"sha256": "fb37d6fb30f98e90441743195a45818f7837f5ca68e4f16be6650597675e802e"
},
{
"file": "scripts/ledger-run.mjs",
"sha256": "80fe57cd803ceaf774420dbb5064a28ea5e53c8b56ba79fbddef337dd89bd52a"
},
{
"file": "scripts/ledger-industrial-correction-cases.php",
"sha256": "08b429f70624bf46975871bc317d8765e7fba62ea30a772cec97e80086b88b81"
},
{
"file": "scripts/ledger-industrial-correction-coexistence.php",
"sha256": "6daf4625ce1fd496e65812be35a36211dd44409049950e131ee036a4df6b29b5"
},
{
"file": "scripts/ledger-industrial-correction-deep-scope.php",
"sha256": "de7c7d1efe508b4da7ad20d4fb1b26095813283538006d25c1b730aebca712d8"
},
{
"file": "scripts/ledger-industrial-correction-demo-check.mjs",
"sha256": "5cc0f396caf47b765b3d7c70a8fe862d3719f3b7487f6bccbbc93c279428df12"
},
{
"file": "scripts/ledger-industrial-correction-http.mjs",
"sha256": "6d34883f38850a04862f084bf7c372fca0e76db9fd7bc58bcad7842753a62554"
},
{
"file": "scripts/ledger-industrial-correction-proof.php",
"sha256": "80c613be879566fe0947def881bab16c8d335f310071dc30f3cdc6118b538bd5"
},
{
"file": "scripts/ledger-industrial-correction-race.php",
"sha256": "03f61ea28ea36861f0c416e306fbf23e4758e0960bf05f33005caf96b49b3029"
},
{
"file": "scripts/ledger-industrial-correction-security.php",
"sha256": "59d78838d992e1fc13586069945fe3cebc7c14c3286f0c602403c40bbf49379b"
},
{
"file": "scripts/summarize-ledger-industrial-correction.mjs",
"sha256": "5b437bafc553ae4d21aa1299a40a86365973a42d2257794f5624c6a8044a9004"
},
{
"file": "docs/GENERAL_LEDGER_INDUSTRIAL_CORRECTION_SCOPE.md",
"sha256": "163d63bfeb7b76f6177c88b4c83cc3149559abfd2f491397ce5c1a861a4d6036"
},
{
"file": "docs/GENERAL_LEDGER_INDUSTRIAL_CORRECTION_DELIVERY.md",
"sha256": "a9040aa59528af4acf5ac211d24d43624ee67ec03715ff128bceb56a8cad671b"
},
{
"file": "docs/GENERAL_LEDGER_INDUSTRIAL_DELIVERY.md",
"sha256": "70c03e5093b349b81aef3132223dfcca440037ab2ab64ae48be28ec72f4c356f"
},
{
"file": "README.md",
"sha256": "bacd393b9a4b98b1f57a52ab7ffff6a64b9e1f22818e38cceb2bd2a62f9f73b5"
},
{
"file": "docs/PRODUCT_DEMO.md",
"sha256": "ff5a7b474cc76fa0983b8054d161d41603dfa007a693f16f620cb44c411bdbed"
},
{
"file": "docs/SGF_MODULE_FLOW_PREPARATION.md",
"sha256": "94b277ed53dfa04543ce05b99191e1c76e94c0fc0b75990b059dc7f24353baaa"
},
{
"file": "docs/integration/sgf-flow-plan.json",
"sha256": "6f8270c0376b207bf592a405d6223f4b690d98b6b083194355df93cf256895f3"
}
],
"static_inventory": {
"file": "docs/proofs/module-flow-industrial-correction-update-20261103.json",
"sha256": "844eade754f98275e8a02bf0a62106530c422697a35dfa206b3493e354e562a5",
"modules": 6,
"stages": 13,
"sources": 33,
"mandatory_cycles": 0,
"database_connections": 0,
"operational_validation": false
},
"team_demo": {
"tag": "61b694d72ae4",
"pid": 26780,
"url": "http://127.0.0.1:8059/qa/cost-demo",
"cookie": "sgf_cost_61b694d72ae4",
"loopback_only": true,
"separate_team_database": true,
"old_demos_not_reset": true
},
"observed_result": {
"industrial_journals": 3,
"industrial_lines": 6,
"industrial_gross_minor": 542000,
"industrial_closing_minor": 182000,
"residual_exact": "300",
"residual_not_posted": true,
"joint_journals": 11,
"joint_lines": 23,
"joint_gross_minor": 872500,
"joint_closures": 1,
"client_balance_minor": 40000,
"direct_cost_balance_minor": 29500,
"supplier_balance_minor": 6000
},
"preservation": {
"old8058_flag_off_and_schema_absent": true,
"old8058_source_outbox_rights_and_three_provider_packet_exact": true,
"six_pending_records_untouched": true,
"blocked_cache_untouched": true,
"prior_demos_not_reset": true,
"unrelated_work_preserved": true,
"credentials_private": true,
"destination_unchanged": true
},
"limits": {
"visual_review_pending": true,
"actual_browser": false,
"large_volume_benchmarks": false,
"deployment_capacity_validated": false,
"all_six_modules_operationally_complete": false,
"additional_correction_chains": false,
"closed_period_correction_or_reopening": false,
"stock_valuation_payroll_or_residual_posting": false,
"new_payments_or_receipts": false,
"destination_migrations_or_grants": false,
"purchasing_activation": false,
"publication": false,
"checkpoint": false,
"acceptance_presumed": false
}
}