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.
T19 · Accept, decline and withdraw are mutually consistent
| Field | Value |
|---|---|
| Status | Not executed |
| Type | Balanced software |
| Layer / kind | API · database · race injection |
| Priority | P0 |
| Gates | A03, A07, A08 |
| Build step | 06 (GGA order; the 1.3 step is history) |
| Decisions | Q05, Q07, Q08 |
Disposition under GGA
| Field | Value |
|---|---|
| Disposition | Reframed |
| GGA basis | Blueprint pp. 6, 15 (GGA-Requirement-Register) |
| Replaced or carried by | GS11-staged, GS12-staged |
| Still open | none |
| What changes | Accept, decline and withdraw become owner decision, two-party consent, decline, timeout and withdrawal before release. |
The 1.3 text below is kept verbatim as history. Where the disposition is Reframed, Superseded or Parked it is not the GGA oracle; use the replacing scenario. A Parked scenario has no GGA feedback and stays a Proposed carry-forward. The status stays Not executed. Register: Scenario-Dispositions.
Given
An active B EOI is awaiting an entitled A decision; C has independent interest.
When
Race accept/decline/withdraw; repeat acceptance after a lost response; decline C.
Then / oracle
One legal transition wins atomically: accept creates one discussion/event; prior withdraw prevents accept. Loser gets safe state-changed conflict without competitor/action leakage. A privately compares its received interests; B/C see no other respondent/count/terms. Decline is terminal for that attempt; optional reason warns it is visible to recipient and must not copy others terms. No automatic resubmit.
Evidence required
Both race orderings; one discussion/event; idempotent Accept replay under T18; comparison/reason canary tests.
Decision dependency (verbatim)
Q05/Q07/Q08: terminal/accepted-withdraw meaning, resubmission and allowed comparison fields. Acceptance is not agreement to commercial terms.
Source: TDD rev 1.3 (PDF); machine-readable in 10-Sources/tdd-bundle/. Back to Scenario-Index · Traceability-Matrix · integration dependencies in Dependency-and-Regression-Table.