Bank comparison across an accounting period

Verification Boundary

This suite runs against deployed services through its journey harness. Its assertions use returned records and activity; unavailable direct database checks remain outside its proof. Historical assumptions need review before this registration supports a conformance claim.

What This Suite Proves

The existing executable assertions exercise this module, but no current capability or feature case has an exact verified binding to this suite.

What It Does Not Prove

Direct database constraints, hidden posting rows and actual schedule dispatch are outside this journey’s returned-record observations.

Real Dependencies and Test Doubles

Deployed Accounting and any CRM setup calls are real. Journey helpers create run-owned records and use existing personas or per-run policy users. No direct database availability is assumed.

Must Not Be Doubled

The exercised public financial commands and their returned identities remain real. A journey cannot replace failed service behavior with a synthetic success.