Accounting product port against local contract doubles

Verification Boundary

This suite invokes the local implementation against the prepared database and checks its persisted results. Accounting product port against local contract doubles defines the scope of its examples.

What This Suite Proves

The suite exercises relevant local implementation behavior, but no complete scenario binding is established in this pass. Its presence is registered without counting it as specification proof.

What It Does Not Prove

Registration supplies no fresh execution result or deployed conformance verdict. Browser behavior, deployed infrastructure and unasserted variants require separate evidence.

Real Dependencies and Test Doubles

PostgreSQL, local Membership services and the suite’s persistence path are real. The business clock and caller fixtures are controlled by the harness. Accounting tables or product functions are local stand-ins; this suite does not certify the deployed Accounting service.

Must Not Be Doubled

The Membership path under examination, transaction behavior and database constraints stay real. Replacing those boundaries would remove the persisted proof the suite is intended to supply.