Record placement and recalculation integration

Verification Boundary

The suite exercises real regional persistence and processing against the prepared database. It verifies the source assertions linked in this register.

What This Suite Proves

The linked source assertions contribute checks for record-kind selection limits placement; foreign and absent rule targets are rejected; ordering resolves overlapping criteria; text intervals include their endpoints; placement is a reaction to committed creation; moving the deciding address changes placement; lost deciding input clears calculated placement; other address edits preserve placement; configured sources determine reassignment; no past address preserves a manual region; version effects depend on placement change; linked placement follows organization address edits; workspace policies do not leak; overrides preserve manual exceptions; manual placement without override follows changed input; releasing an override uses the current address; foreign regions cannot be saved on records; policy saves preserve existing placements; repeated starts return one active run; request processing and continuation share the run; continuation resumes committed progress; recalculation applies changed coverage; held and never-addressed records remain; identical-policy repetition changes no placement; concurrent address editing converges; a changed deciding address moves an eligible record; save-time geographic cleaning feeds matching. A scenario spanning several files relies on those assertions together; this file supplies only its named checks.

What It Does Not Prove

The register establishes neither a current passing run nor verified conformance. Unbound scenarios, broader feature chains and the delegated infrastructure beyond this execution boundary remain unproved.

Real Dependencies and Test Doubles

PostgreSQL, event capture, dispatch, consumer routing and regional processing are real. The delivery harness replaces the external queue with an in-memory message list.

Must Not Be Doubled

Regional matching, regional persistence and the stored values under assertion must remain real. A substitute answer for these dependencies cannot qualify the linked regional outcomes.