Status. Proposed design only. Nothing in this vault is GGA client approval. The GGA client documents are supplied drafts: see GGA-Source-Digest. No application, service or test has been executed; every scenario is Not executed. Delivery fees and dates are open.

GS05 · Eligibility is computed per request from the stated expression

Field	Value
Status	Not executed
Type	Balanced software (new in the GGA baseline)
Source	Blueprint pp. 3, 7, 17 (GGA-Requirement-Register); client-supplied draft, not accepted
Gate	GA03, GA07
Blueprint delivery stage	Stage 2 Foundation and publishing (p. 19)
Build step	03 (primary; tests first)
Replaces or carries	T26, T30
Decisions	GL03-staged

Given

Companies in each state: complete and attested; missing a field; attestation overdue past grace; under an administrative hold; paid with a lapsed profile; unpaid with a current profile.

When

Request detailed discovery, a new pitch and an event registration as each company, with scheduled jobs disabled.

Then / oracle

Eligible equals verified contact, active company membership, all required fields, current attestation and no administrative hold; the grace period counts as eligible. Contribution status is absent from the expression. Eligibility is derived at request time from authoritative timestamps and review status, never from a browser-supplied flag.

Evidence required

Decision table of company state versus allowed action; request-time evaluation shown with the job disabled; tampered eligibility flag in the request is ignored.

Decision dependency

• GL03-staged: Interval values are configuration; the oracle uses the configured value, not a fixed number

Where a decision is pending, the dependent assertion is Blocked by that decision and no oracle is invented. A proposed default is a configuration value, not a promise. This note is a specification: it is Passed only on a named integrated build and fixture.

Back to GGA-Scenario-Index · GGA-Traceability-Matrix · Scenario-Dispositions.