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.
T14 · Editing after review prevents stale approved send
| Field | Value |
|---|---|
| Status | Not executed |
| Type | Balanced software |
| Layer / kind | API · database · race injection |
| Priority | P0 |
| Gates | A04, A05, A08 |
| Build step | 04 (GGA order; the 1.3 step is history) |
| Decisions | Q02, Q06 |
Disposition under GGA
| Field | Value |
|---|---|
| Disposition | Retained and refined |
| GGA basis | Blueprint pp. 5, 12 (GGA-Requirement-Register) |
| Replaced or carried by | GS07-staged, GS08-staged |
| Still open | none |
| What changes | The approved version is stored apart from the editable draft; editing creates a new version and the stale approved send is prevented. |
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
V1/E1 is approved while another user edits to V2/E2.
When
Interleave approval, edit and publish/formal-send transactions in both orders.
Then / oracle
Proposed rule: an edit invalidates approval for the edited candidate and requires approval of its exact new revision. Stale publish/send is rejected without event. If publication committed first, its historical approved version remains immutable; a later edit cannot undo that fact. Never substitute unapproved content.
Evidence required
Controlled transaction barriers; revision IDs and invariant assertions after both interleavings.
Decision dependency (verbatim)
Q02/Q06: confirm reject-stale-current-candidate rule and distinguish pending revision approval from historical publication.
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.