membershipDrainDeclaration

What this harness says about the membership-drain obligation — the accountability analog of midSessionDeathDeclaration for the injectMembershipDrain hook.

The base default is ObligationDeclaration.Gap on the umbrella (CapabilityGaps.MEMBERSHIP_DRAIN): an un-overridden harness (one that leaves injectMembershipDrain at its default false) is tracked by default, never silently green. membershipDrainDeclarationIsHonest enforces the pairing. See ObligationDeclaration for what each arm costs and what it cannot detect.