---
id: TST-MBR-STR-018
title: Generated date-rule properties
kind: unit
product_area: membership
module: structure
revision: 1
status: draft
source_sha:
  services-membership: 5994c270e8a37a30f848e99ba5b5ee6b87c08893
  react-console: baf6dae382d6f41dce976c7f848667ccc37e076f
repository: services-membership
files:
  - modules/terms/tests/unit/term-rules.property.spec.ts
implements:
  - ATS-MBR-STR-015-03
  - ATS-MBR-STR-015-05
  - ATS-MBR-STR-015-09
  - ATS-MBR-STR-015-14
environment: mock
implementation_state: implemented
latest_result: not-run
latest_run_at: null
latest_run_ref: null
conformance: not-verified
estimated_minutes: 1
isolation: Literal inputs and temporary fixtures created by this suite.
evidence:
  - 'services-membership:modules/terms/tests/unit/term-rules.property.spec.ts'
bindings:
  - scenario: ATS-MBR-STR-015-03
    source: >-
      services-membership:modules/terms/tests/unit/term-rules.property.spec.ts#term rules: generated
      cases › starts a continuation the day after the current end
    provenance: test
  - scenario: ATS-MBR-STR-015-05
    source: >-
      services-membership:modules/terms/tests/unit/term-rules.property.spec.ts#term rules: generated
      cases › ends a month-end rule on the last day of a month
    provenance: test
  - scenario: ATS-MBR-STR-015-09
    source: >-
      services-membership:modules/terms/tests/unit/term-rules.property.spec.ts#term rules: generated
      cases › gives the same result for the same inputs, computed again or from copies
    provenance: test
  - scenario: ATS-MBR-STR-015-14
    source: >-
      services-membership:modules/terms/tests/unit/term-rules.property.spec.ts#ends every term on or
      after its start, and only a term of a none rule never ends
    provenance: test
  - scenario: ATS-MBR-STR-015-14
    source: >-
      services-membership:modules/terms/tests/unit/term-rules.property.spec.ts#gives the same result for
      the same inputs, computed again or from copies
    provenance: test
invocation: 'npm run test:unit'
coverage_limit: >-
  Bindings identify the concrete cases executed in this file. A compound specification may also depend on
  other registered suites or remain partly proposed; registration is not a passing execution result.
provenance: test
source:
  - 'services-membership:modules/terms/tests/unit/term-rules.property.spec.ts'
---

# Generated date-rule properties

## Verification Boundary

This suite evaluates local implementation decisions or declarations with controlled inputs. Generated date-rule properties defines the scope of its examples.

## What This Suite Proves

The suite executes the concrete examples named by its binding ledger. Those examples contribute to the linked capability or feature scenarios within the boundary of the test assertions.

## What It Does Not Prove

Registration supplies no fresh execution result or deployed conformance verdict. Browser behavior, deployed infrastructure and unasserted variants require separate evidence.

## Real Dependencies and Test Doubles

The tested calculation, declaration or source inspection runs locally with explicit fixtures. No deployed service participates.

## Must Not Be Doubled

The calculation, declaration or workflow decision under examination stays real; replacing it would remove the suite’s verification purpose.