--- id: FAS-PFM-ELG-01 feature: FEAT-PFM-ELG-01 product_area: platform module: eligibility revision: 2 status: proposed product_intent: proposed source_sha: services-platform: ad3f6a6582843008ed0f5a17b131878d15829af1 react-console: baf6dae382d6f41dce976c7f848667ccc37e076f capabilities: - CAP-PFM-ELG-001 - CAP-PFM-ELG-002 - CAP-PFM-ELG-003 - CAP-PFM-ELG-004 - CAP-PFM-ELG-005 - CAP-PFM-ELG-006 scenarios: - id: FAS-PFM-ELG-01-01 title: 'Author, find and try a rule' kind: behaviour exercises: - CAP-PFM-ELG-001 - CAP-PFM-ELG-002 - CAP-PFM-ELG-003 - CAP-PFM-ELG-006 relies_on: - ATS-PFM-ELG-001-04 - ATS-PFM-ELG-002-03 - ATS-PFM-ELG-003-01 - ATS-PFM-ELG-006-07 preconditions: An author and reader can access licensed conditions and a local subject. steps: 'Create a rule, save readable work, find it and try the draft on the subject.' expected: >- The same expression is visible through discovery and trial, with an explanation and no retained trial decision. 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-001-04 - ATS-PFM-ELG-002-03 - ATS-PFM-ELG-003-01 - ATS-PFM-ELG-006-07 action_evidence: provenance: proposed source: - ATS-PFM-ELG-001-04 - ATS-PFM-ELG-002-03 - ATS-PFM-ELG-003-01 - ATS-PFM-ELG-006-07 assertion_evidence: provenance: proposed source: - ATS-PFM-ELG-001-04 - ATS-PFM-ELG-002-03 - ATS-PFM-ELG-003-01 - ATS-PFM-ELG-006-07 binding_scope: This sequence is proposed and has no executable proof binding. - id: FAS-PFM-ELG-01-02 title: Move dependencies before archiving kind: interaction exercises: - CAP-PFM-ELG-002 - CAP-PFM-ELG-004 - CAP-PFM-ELG-005 relies_on: - ATS-PFM-ELG-002-06 - ATS-PFM-ELG-004-03 - ATS-PFM-ELG-005-05 preconditions: 'A released rule has a follower, a pin and a referencing rule, plus a compatible replacement.' steps: >- Inspect usage, transfer following uses and references, attempt archive, then resolve the remaining pins. expected: >- Discovery exposes the dependencies that control archive readiness and transferred references appear as new releases. 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-002-06 - ATS-PFM-ELG-004-03 - ATS-PFM-ELG-005-05 action_evidence: provenance: proposed source: - ATS-PFM-ELG-002-06 - ATS-PFM-ELG-004-03 - ATS-PFM-ELG-005-05 assertion_evidence: provenance: proposed source: - ATS-PFM-ELG-002-06 - ATS-PFM-ELG-004-03 - ATS-PFM-ELG-005-05 binding_scope: This sequence is proposed and has no executable proof binding. - id: FAS-PFM-ELG-01-03 title: Restore an earlier expression while keeping work kind: lifecycle exercises: - CAP-PFM-ELG-001 - CAP-PFM-ELG-003 - CAP-PFM-ELG-004 relies_on: - ATS-PFM-ELG-001-05 - ATS-PFM-ELG-003-01 - ATS-PFM-ELG-004-08 preconditions: Two releases and a later draft exist. steps: >- Try the draft, roll back to the first expression, inspect history and try the retained draft again. expected: Rollback creates another release while the author’s later work remains available for testing. 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-001-05 - ATS-PFM-ELG-003-01 - ATS-PFM-ELG-004-08 action_evidence: provenance: proposed source: - ATS-PFM-ELG-001-05 - ATS-PFM-ELG-003-01 - ATS-PFM-ELG-004-08 assertion_evidence: provenance: proposed source: - ATS-PFM-ELG-001-05 - ATS-PFM-ELG-003-01 - ATS-PFM-ELG-004-08 binding_scope: This sequence is proposed and has no executable proof binding. - id: FAS-PFM-ELG-01-04 title: Separate writing from publication kind: permission exercises: - CAP-PFM-ELG-001 - CAP-PFM-ELG-002 - CAP-PFM-ELG-004 - CAP-PFM-ELG-005 relies_on: - ATS-PFM-ELG-001-11 - ATS-PFM-ELG-002-01 - ATS-PFM-ELG-004-01 - ATS-PFM-ELG-005-01 preconditions: 'Reader, writer, publisher and retirement roles are separate.' steps: 'Attempt discovery, saving, promotion, publication and archive with each role.' expected: >- Refused actions leave work unchanged and each allowed action can be completed by its authorized role. 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-001-11 - ATS-PFM-ELG-002-01 - ATS-PFM-ELG-004-01 - ATS-PFM-ELG-005-01 action_evidence: provenance: proposed source: - ATS-PFM-ELG-001-11 - ATS-PFM-ELG-002-01 - ATS-PFM-ELG-004-01 - ATS-PFM-ELG-005-01 assertion_evidence: provenance: proposed source: - ATS-PFM-ELG-001-11 - ATS-PFM-ELG-002-01 - ATS-PFM-ELG-004-01 - ATS-PFM-ELG-005-01 binding_scope: This sequence is proposed and has no executable proof binding. - id: FAS-PFM-ELG-01-05 title: Keep existing expressions usable after vocabulary change kind: regression exercises: - CAP-PFM-ELG-001 - CAP-PFM-ELG-003 - CAP-PFM-ELG-006 relies_on: - ATS-PFM-ELG-001-07 - ATS-PFM-ELG-003-01 - ATS-PFM-ELG-006-06 preconditions: A released expression uses the former key of a renamed condition. steps: >- Deploy the alias-bearing declaration, inspect the authoring catalogue and try the retained expression. expected: Existing work remains usable while newly authored work can select the renamed condition. 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-001-07 - ATS-PFM-ELG-003-01 - ATS-PFM-ELG-006-06 action_evidence: provenance: proposed source: - ATS-PFM-ELG-001-07 - ATS-PFM-ELG-003-01 - ATS-PFM-ELG-006-06 assertion_evidence: provenance: proposed source: - ATS-PFM-ELG-001-07 - ATS-PFM-ELG-003-01 - ATS-PFM-ELG-006-06 binding_scope: This sequence is proposed and has no executable proof binding. evidence: - CAP-PFM-ELG-001 - CAP-PFM-ELG-002 - CAP-PFM-ELG-003 - CAP-PFM-ELG-006 - CAP-PFM-ELG-004 - CAP-PFM-ELG-005 - WF-PFM-ELG-001 - WF-PFM-ELG-002 - WF-PFM-ELG-003 - WF-PFM-ELG-004 - WF-PFM-ELG-007 - WF-PFM-ELG-021 --- # Rule Library: Feature Acceptance Suite ## What the Feature Must Do as a Whole Staff can carry an expression from editable work through discovery, trial and release, then replace it without hiding its remaining dependencies. ## Interactions Between Capabilities Author, find and try a rule. Create a rule, save readable work, find it and try the draft on the subject. Move dependencies before archiving. Inspect usage, transfer following uses and references, attempt archive, then resolve the remaining pins. Restore an earlier expression while keeping work. Try the draft, roll back to the first expression, inspect history and try the retained draft again. Separate writing from publication. Attempt discovery, saving, promotion, publication and archive with each role. Keep existing expressions usable after vocabulary change. Deploy the alias-bearing declaration, inspect the authoring catalogue and try the retained expression. ## Regression Record | Revision | Change | Scenarios | Reason | |---|---|---|---| | 1 | Initial | All | Establish cumulative feature proof from the existing planning and design contracts. |