Activity storage guarantees

Verification Boundary

This suite checks database guarantees independently of a browser or remote API.

What This Suite Proves

Database writes check activity values, typed links, primary uniqueness, type and outcome relationships, copied timeline values and workspace isolation.

The registered scenario bindings identify the assertion contributions this executable supplies. A compound scenario can require several suites.

What It Does Not Prove

It does not establish deployed Lambda transport, live Platform policy or end-user browser behavior.

Real Dependencies and Test Doubles

The migrated PostgreSQL schema and application or query-reader role execute against isolated fixtures. Database constraints, views and workspace policies are real.

Must Not Be Doubled

Constraints, triggers, views, workspace policies and the transaction that makes a refusal observable remain real.