01must proveProposed | Posting resolves accounts rather than issuance, allowing invoices, memos and write-offs to issue before financial configuration exists. | policy | service | test |
02must proveProposed | Resolution uses the product setup and then unit defaults for the account purpose, with missing-product revenue handled by the unit’s fallback account. | calculation | service | test |
03must proveProposed | If no account resolves, the batch fails without entries and identifies the affected document, line, purpose and relevant configuration choices. | validation | service | test |
04must proveProposed | Posting writes account, method and time snapshots to posted lines, and later corrections reuse the original line’s accounting destinations. | invariant | service | test |
05must proveProposed | Later configuration changes preserve existing entries and snapshots and affect the next posting’s resolution. | invariant | service | test |
06must proveProposed | At posting, the unit’s write-off policy chooses bad-debt expense, the invoice’s original revenue account or an allowance account, with a missing required allowance preventing the batch from posting. | calculation | service | test |
07must proveProposed | A write-off reversal mirrors that write-off’s recorded entry regardless of subsequent policy changes. | invariant | service | test |
08must proveProposed | The current discount method credits revenue net of discount without a separate discount entry and retains gross, discount, net and the discount-product account in the snapshot. | calculation | service | test |
09must proveProposed | Tax resolves to the rate’s payable account for the unit or its sales-tax default, failing without either and recording the selected account on the tax line. | calculation | service | test |
10must proveProposed | Posting reads current splits, departments and projects rather than retaining their issue-time configuration. | calculation | service | test |
11must proveProposed | Cross-unit product revenue needs the inter-unit receivable and liability account pair, but the examined product provides no configuration writer for that pair. | validation | service | inferred |