The coverage map distinguishes specified examples from missing proof. A covered category means an expected case is specified; executable bindings and their run results remain separate evidence. Each required rule has a proof link or an explicit coverage finding in the structured rule ledger.
Merge history prevents source removal. Merge a source whose member affiliation transfers to the survivor, then attempt source deletion.
Merge leaves local dues and settlement work on the source. Prepare source dues and financial settings, merge the source, inspect the returned follow-up list and reread the source facets.
Coverage
Rulecovered
Transitioncovered
Validationcovered
Permissioncovered
Edgecovered
Failurecovered
Boundarygap: FND-MBR-STR-056
Concurrencygap: FND-MBR-STR-056
Invariantgap: FND-MBR-STR-056
Interactioncovered
Test Scenarios
10 scenarios proving CAP-MBR-STR-003; 9 bound to an existing test.
01Invalid survivors leave the source unchangedvalidationapinegativetest
services-membership:docs/migrations/unit-merge/README.md#The behaviour,services-membership:modules/structure/tests/integration/services/tree/unit-merge.integration.spec.ts#the tree edits affiliations bind › delete and deactivate › refuses to delete a unit a closed affiliation names, 409 unit_has_affiliations with the count,services-membership:tests/e2e/s13-unit-merge.e2e.spec.ts#refuses to delete Savannah while affiliations name it (unit_has_affiliations)
09Merge leaves local dues and settlement work on the sourceinteractionapitest
services-membership:modules/structure/tests/integration/services/persistence/organizational-units.integration.spec.ts#organizational units in the database › merge › moves the children under the survivor, marks the unit merged and lists what it left,services-membership:modules/structure/services/persistence/organizational-unit-dues-products.ts:createDuesProduct,services-membership:tests/acceptance/structure/MBR-ACC-0018.acceptance.ts#not_moved: the dues product, the settings, the legal-entity link
10Workspace authority gates this capabilitypermissionapinegativeproposed
An isolated workspace contains the records and current versions needed for the case.
Steps
Exercise the capability’s exposed operations with its read-only and management callers, then repeat with application access removed, an unlicensed workspace and an unavailable workspace.
Expected
Each named operation requires its declared authority; admission failures occur before any record or calculated result is exposed.
Data
Separate fixture records for the accepted and refused operations.
Source
services-membership:tests/unit/route-authorization.spec.ts#route authorization: every Membership operation names its permission › requires membership.structure.read of every structure read and membership.structure.manage of every change,services-membership:modules/configuration/aws/api/configuration.routes.ts:configurationModuleRoutes,services-membership:tests/e2e/terms-api.e2e.spec.ts#the terms API, end to end in process › refuses a caller who holds no key in the tenant