---
id: TST-PFM-ELG-480
title: Eligibility governance repairs checks
kind: unit
product_area: platform
module: eligibility
revision: 1
status: draft
source_sha:
  services-platform: ad3f6a6582843008ed0f5a17b131878d15829af1
repository: services-platform
files:
  - modules/eligibility/tests/unit/governance-repairs.spec.js
implements:
  - ATS-PFM-ELG-001-08
environment: mock
implementation_state: implemented
latest_result: not-run
conformance: not-verified
estimated_minutes: 1
isolation: One process with suite-local inputs.
evidence:
  - provenance: test
    source: >-
      services-platform:modules/eligibility/tests/unit/governance-repairs.spec.js
    cases:
      - 'refuses a minimum above the maximum, naming the parameter'
      - 'refuses a default of the wrong type, naming the parameter'
      - refuses a default below the minimum and one above the maximum
      - refuses a default that is not one of the options
      - >-
        accepts a declaration that agrees with itself, one with no default, and
        a null default
      - 'knows a day that exists, in a leap year and out of one'
      - 'refuses a day that does not, however well shaped'
      - 'refuses a range whose start is not a day, naming effective_from'
      - 'refuses a range whose end is not a day, naming effective_until'
      - >-
        still refuses an end before the start (premise), and lets a good range
        through
      - is the same for the same answer
      - changes with the binding’s fail policy
      - changes with the definition’s portal message
      - >-
        changes with the version the plan was compiled for, though the rule is
        the same
      - >-
        changes with the rule the references resolve to (the expression hash it
        is keyed by)
      - >-
        keeps the hash an unbound plan always had, whatever the binding fields
        would add
  - provenance: documented
    source: >-
      services-platform:modules/eligibility/tests/unit/governance-repairs.spec.js:suite
      header
    note: >-
      The source header describes the verification boundary and declared
      substitutions.
proof_limit: >-
  Only the named scenario checkpoints have a verified source binding; execution
  has not been attempted.
---

# Eligibility governance repairs checks

## Verification Boundary

This suite checks isolated decisions and validation using the imported inputs. It cannot establish a complete service or browser lifecycle.

## What This Suite Proves

The mapped scenarios identify the capability and feature checkpoints this file exercises. The source test titles preserve the assertion-level evidence.

## What It Does Not Prove

Registration supplies no execution result or conformance decision. Passing isolated checks does not establish deployed dependencies or cross-application delivery.

## Real Dependencies and Test Doubles

The suite exercises its real module dependencies and declares no test doubles. Its source header and imports identify the database, transaction and service boundaries it uses.

## Must Not Be Doubled

The decision or validator being asserted remains real; returning the expected answer from a substitute defeats the check.