Product-backed packages and inactive renewal offers

Verification Boundary

The suite exercises the in-process API or participant boundary with signed contexts or participant envelopes and PostgreSQL.

What This Suite Proves

The suite contains executable checks at the boundary described above. Its current assertions do not map to a complete authored scenario, so it receives no invented proof binding.

What It Does Not Prove

An in-process pass does not qualify deployed network calls, queues, schedules or the member’s full browser journey. Registration records existing code and leaves execution and conformance unverified.

Real Dependencies and Test Doubles

The public handler or participant boundary, membership database and reservation functions remain real. Signing material, seeded owner rows and partner or transport ports are controlled in-process fixtures.

Must Not Be Doubled

Keep the prepared database, workspace boundary, exercised owner constraints and the business operation under test real. A partner double cannot substitute for the Membership write this suite claims to exercise.