01must proveProposed | The posting permission governs submission and is included in the staff user tier. | permission | api, console | test |
02must proveProposed | Submission requires one to one hundred existing batches and a unit, rejects missing references before creating a job and defers mismatched-unit refusal to execution. | validation | api, service | observed |
03must proveConfirmed | Issuance creates no posting entry; submission returns a tracked job that generates entries during batch posting. proved by ATS-ACC-BAT-004-12, ATS-ACC-BAT-005-10, ATS-ACC-BAT-006-09, ATS-ACC-BAT-007-10, ATS-ACC-BAT-008-09, ATS-ACC-BAT-009-16, ATS-ACC-BAT-013-02, ATS-ACC-BAT-013-15, ATS-ACC-BAT-013-16, ATS-ACC-BAT-013-17, ATS-ACC-BAT-013-18, ATS-ACC-BAT-013-19, ATS-ACC-BAT-013-20, ATS-ACC-BAT-013-25, ATS-ACC-BAT-019-12, TST-ACC-BAT-007, TST-ACC-BAT-057, TST-ACC-BAT-075, TST-ACC-BAT-077 | lifecycle | service | test |
04must proveProposed | Repeating a request identity or requesting the same in-flight batch set returns the existing job, and a set still posted by a completed job returns that job, while post, unpost and repost form separate jobs. | invariant | service, database | test |
05must proveProposed | The named Post action admits Open, Closed and Error; the engine additionally admits Verified and posting work unchanged for over five minutes, clears old errors and supports an environment override of its status check. | lifecycle | service | observed |
06must proveProposed | The named Post action checks an Open period before submission, bulk submission defers that check to execution, and execution holds the period shared until the posting transaction ends. | validation | service, database | observed |
07must proveProposed | An update lock prevents both the named Post action and job execution until released. | policy | service | test |
08must proveProposed | An ordinary posting job containing a system batch fails its check without posting anything. | policy | service | test |
09must proveProposed | A refused database write rolls back the complete posting transaction, fails the job and preserves the previous batch states without compensation. | invariant | service, database | test |
10must proveProposed | Document-generation failures put their batch and affected downstream batches in Error without their entries, while independently valid batches in the request can still post. | lifecycle | service | test |
11must proveProposed | Successful posting records time, job and counts and base totals by document kind, including the money-document count and payments less refunds and payment reversals. | calculation | service | test |
12must proveProposed | Posting deletes a batch with no documents regardless of the empty-batch option, whereas a batch containing only a voided payment posts without an entry. | lifecycle | service | test |
13must proveProposed | Only one current posting can exist, so a competing direct posting waits and then rejects the batch already posted without another write. | invariant | service, database | test |
14Proposed | Progress presents checking and writing steps with checked, generated and written events and a completion description. | policy | service, console | test |
15must proveProposed | Description text cannot activate legacy test directives or alter posting behavior. | policy | service | test |
16must proveProposed | The registered posting and unposting jobs disable user retry and cancellation while their workflow tasks retain separate retry settings. | policy | service | observed |