---
id: TST-MBR-MEM-006
title: run plan
kind: unit
product_area: membership
module: memberships
revision: 1
status: draft
source_sha:
  services-membership: 5994c270e8a37a30f848e99ba5b5ee6b87c08893
repository: services-membership
files:
  - modules/billing/tests/unit/run-plan.spec.ts
implements:
  - ATS-MBR-MEM-013-03
  - ATS-MBR-MEM-013-04
  - ATS-MBR-MEM-013-05
  - ATS-MBR-MEM-013-06
environment: local
implementation_state: implemented
latest_result: not-run
latest_run_at: null
latest_run_ref: null
conformance: not-verified
estimated_minutes: 1
isolation: Literal fixtures local to each test.
verification_notes: >-
  Bindings describe the assertions reviewed at the pinned commit; the suite is
  not executed by this documentation job.
coverage_gap: null
evidence:
  - 'services-membership:modules/billing/tests/unit/run-plan.spec.ts'
assertion_anchors:
  - scenario: ATS-MBR-MEM-013-03
    source: >-
      services-membership:modules/billing/tests/unit/run-plan.spec.ts#takes a
      principal membership’s term in range
  - scenario: ATS-MBR-MEM-013-03
    source: >-
      services-membership:modules/billing/tests/unit/run-plan.spec.ts#leaves out
      a flow-down or assigned membership, which renews with its parent
  - scenario: ATS-MBR-MEM-013-03
    source: >-
      services-membership:modules/billing/tests/unit/run-plan.spec.ts#leaves out
      a term already renewed (a later effective or pending term)
  - scenario: ATS-MBR-MEM-013-03
    source: >-
      services-membership:modules/billing/tests/unit/run-plan.spec.ts#leaves out
      a term that never ends
  - scenario: ATS-MBR-MEM-013-03
    source: >-
      services-membership:modules/billing/tests/unit/run-plan.spec.ts#leaves out
      a suspended membership
  - scenario: ATS-MBR-MEM-013-04
    source: >-
      services-membership:modules/billing/tests/unit/run-plan.spec.ts#classes a
      term ending on or after the date less its grace as renewing
  - scenario: ATS-MBR-MEM-013-04
    source: >-
      services-membership:modules/billing/tests/unit/run-plan.spec.ts#classes a
      term ending before the date less its grace as lapsed
  - scenario: ATS-MBR-MEM-013-05
    source: >-
      services-membership:modules/billing/tests/unit/run-plan.spec.ts#plans a
      renewing term’s renewal order, notice and each reminder
  - scenario: ATS-MBR-MEM-013-05
    source: >-
      services-membership:modules/billing/tests/unit/run-plan.spec.ts#plans an
      auto-renewal order and the expiring card warning for a stored payment
      method
  - scenario: ATS-MBR-MEM-013-05
    source: >-
      services-membership:modules/billing/tests/unit/run-plan.spec.ts#plans
      nothing for a renewing membership marked do not renew
  - scenario: ATS-MBR-MEM-013-05
    source: >-
      services-membership:modules/billing/tests/unit/run-plan.spec.ts#plans the
      drop of a lapsed term, keyed by the term and its version
  - scenario: ATS-MBR-MEM-013-05
    source: >-
      services-membership:modules/billing/tests/unit/run-plan.spec.ts#plans no
      drop for a membership marked do not drop
  - scenario: ATS-MBR-MEM-013-06
    source: >-
      services-membership:modules/billing/tests/unit/run-plan.spec.ts#counts the
      candidates, their classes, the exclusions and the planned actions
---

# run plan

## Verification Boundary

The suite exercises pure membership decisions against literal inputs and expected outputs.

## What This Suite Proves

The structured bindings identify the capability and feature cases whose reviewed assertions this suite executes. Source anchors preserve the evidence for each binding.

## What It Does Not Prove

A pure-rule pass does not prove persistence, permission enforcement through the API or a complete business lifecycle. Registration records existing code and leaves execution and conformance unverified.

## Real Dependencies and Test Doubles

The decision functions and schemas are real. Literal inputs and checked-in fixtures supply their data; this boundary does not call live owners.

## Must Not Be Doubled

Keep the decision function or schema under test real; replacing its result would remove the proof.
