---
id: FAS-PFM-ELG-03
feature: FEAT-PFM-ELG-03
product_area: platform
module: eligibility
revision: 2
status: proposed
product_intent: proposed
source_sha:
  services-platform: ad3f6a6582843008ed0f5a17b131878d15829af1
  react-console: baf6dae382d6f41dce976c7f848667ccc37e076f
capabilities:
  - CAP-PFM-ELG-011
scenarios:
  - id: FAS-PFM-ELG-03-01
    title: Follow a population to its comparison result
    kind: behaviour
    exercises:
      - CAP-PFM-ELG-011
    relies_on:
      - ATS-PFM-ELG-011-02
      - ATS-PFM-ELG-011-04
      - ATS-PFM-ELG-011-05
    preconditions: A bounded subject population and a released expression exist.
    steps: >-
      Start a run, execute its pages to completion and traverse comparison output and any requested
      export.
    expected: >-
      The persisted counts and ordered subjects agree across the completed run, comparison and
      export.
    negative: false
    data_needs: >-
      Run-owned workspace records, separate caller grants and a controlled clock for time-dependent
      checks.
    bound_to: []
    provenance: proposed
    source:
      - ATS-PFM-ELG-011-02
      - ATS-PFM-ELG-011-04
      - ATS-PFM-ELG-011-05
    action_evidence:
      provenance: proposed
      source:
        - ATS-PFM-ELG-011-02
        - ATS-PFM-ELG-011-04
        - ATS-PFM-ELG-011-05
    assertion_evidence:
      provenance: proposed
      source:
        - ATS-PFM-ELG-011-02
        - ATS-PFM-ELG-011-04
        - ATS-PFM-ELG-011-05
    binding_scope: This sequence is proposed and has no executable proof binding.
  - id: FAS-PFM-ELG-03-02
    title: Release the draft whose impact was examined
    kind: interaction
    exercises:
      - CAP-PFM-ELG-011
      - CAP-PFM-ELG-004
      - CAP-PFM-ELG-010
    relies_on:
      - ATS-PFM-ELG-011-06
      - ATS-PFM-ELG-011-07
      - ATS-PFM-ELG-004-12
      - ATS-PFM-ELG-010-03
    preconditions: 'A released rule, a changed draft and current derived-role holders exist.'
    steps: >-
      Simulate the draft, publish citing its completed result and inspect history and queued
      rechecks.
    expected: >-
      The accepted release records the matching impact result and queues existing holders and
      bounded gains.
    negative: false
    data_needs: >-
      Run-owned workspace records, separate caller grants and a controlled clock for time-dependent
      checks.
    bound_to: []
    provenance: proposed
    source:
      - ATS-PFM-ELG-011-06
      - ATS-PFM-ELG-011-07
      - ATS-PFM-ELG-004-12
      - ATS-PFM-ELG-010-03
    action_evidence:
      provenance: proposed
      source:
        - ATS-PFM-ELG-011-06
        - ATS-PFM-ELG-011-07
        - ATS-PFM-ELG-004-12
        - ATS-PFM-ELG-010-03
    assertion_evidence:
      provenance: proposed
      source:
        - ATS-PFM-ELG-011-06
        - ATS-PFM-ELG-011-07
        - ATS-PFM-ELG-004-12
        - ATS-PFM-ELG-010-03
    binding_scope: This sequence is proposed and has no executable proof binding.
  - id: FAS-PFM-ELG-03-03
    title: Resume failed work without repeating progress
    kind: lifecycle
    exercises:
      - CAP-PFM-ELG-011
    relies_on:
      - ATS-PFM-ELG-011-04
      - ATS-PFM-ELG-011-08
    preconditions: A multi-page run has committed one page and failed before its next commit.
    steps: 'Retry the page callback, finish the run and invoke retention on expired settled results.'
    expected: >-
      The first page contributes once and settled results remain until their applicable expiry is
      applied.
    negative: false
    data_needs: >-
      Run-owned workspace records, separate caller grants and a controlled clock for time-dependent
      checks.
    bound_to: []
    provenance: proposed
    source:
      - ATS-PFM-ELG-011-04
      - ATS-PFM-ELG-011-08
    action_evidence:
      provenance: proposed
      source:
        - ATS-PFM-ELG-011-04
        - ATS-PFM-ELG-011-08
    assertion_evidence:
      provenance: proposed
      source:
        - ATS-PFM-ELG-011-04
        - ATS-PFM-ELG-011-08
    binding_scope: This sequence is proposed and has no executable proof binding.
  - id: FAS-PFM-ELG-03-04
    title: Conceal bulk results and require dataset authority
    kind: permission
    exercises:
      - CAP-PFM-ELG-011
    relies_on:
      - ATS-PFM-ELG-011-01
      - ATS-PFM-ELG-011-02
    preconditions: Population and publish callers have different dataset authority and a second workspace exists.
    steps: >-
      Start and read runs and simulations with authorized, underprivileged and foreign-workspace
      callers.
    expected: >-
      Authority checks reject inaccessible datasets and foreign results without creating
      unauthorized work.
    negative: true
    data_needs: >-
      Run-owned workspace records, separate caller grants and a controlled clock for time-dependent
      checks.
    bound_to: []
    provenance: proposed
    source:
      - ATS-PFM-ELG-011-01
      - ATS-PFM-ELG-011-02
    action_evidence:
      provenance: proposed
      source:
        - ATS-PFM-ELG-011-01
        - ATS-PFM-ELG-011-02
    assertion_evidence:
      provenance: proposed
      source:
        - ATS-PFM-ELG-011-01
        - ATS-PFM-ELG-011-02
    binding_scope: This sequence is proposed and has no executable proof binding.
  - id: FAS-PFM-ELG-03-05
    title: Refuse impact from an earlier draft
    kind: regression
    exercises:
      - CAP-PFM-ELG-011
      - CAP-PFM-ELG-004
    relies_on:
      - ATS-PFM-ELG-011-07
      - ATS-PFM-ELG-004-10
    preconditions: A completed simulation describes the previous draft fingerprint.
    steps: >-
      Save another draft and attempt publication citing the old result; then simulate the current
      draft and retry.
    expected: >-
      The old result cannot authorize the changed expression and the new completed result can be
      cited.
    negative: true
    data_needs: >-
      Run-owned workspace records, separate caller grants and a controlled clock for time-dependent
      checks.
    bound_to: []
    provenance: proposed
    source:
      - ATS-PFM-ELG-011-07
      - ATS-PFM-ELG-004-10
    action_evidence:
      provenance: proposed
      source:
        - ATS-PFM-ELG-011-07
        - ATS-PFM-ELG-004-10
    assertion_evidence:
      provenance: proposed
      source:
        - ATS-PFM-ELG-011-07
        - ATS-PFM-ELG-004-10
    binding_scope: This sequence is proposed and has no executable proof binding.
evidence:
  - CAP-PFM-ELG-011
  - CAP-PFM-ELG-004
  - CAP-PFM-ELG-010
  - WF-PFM-ELG-002
  - WF-PFM-ELG-006
  - WF-PFM-ELG-007
  - WF-PFM-ELG-009
---

# Population and Change Impact: Feature Acceptance Suite

## What the Feature Must Do as a Whole

Staff can follow a subject population from requested work to persisted results and examine a draft before publication. Recovery and publication checks use the same run and draft throughout the scenario.

## Interactions Between Capabilities

Release the draft whose impact was examined. Simulate the draft, publish citing its completed result and inspect history and queued rechecks.

Refuse impact from an earlier draft. Save another draft and attempt publication citing the old result; then simulate the current draft and retry.

## Regression Record

| Revision | Change | Scenarios | Reason |
|---|---|---|---|
| 1 | Initial | All | Establish cumulative feature proof from the existing planning and design contracts. |