You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
sergio velderrain edited this page Nov 9, 2026
·
1 revision
REQ-067: Bind each continuity transaction ID to one transition
Requirement
Windows continuity transactions shall bind each unique transaction ID to one complete intended transition.
Rationale
An exact retry must not perform a second non-idempotent state change or substitute different contents under the same ID.
Fit Criterion
The authority atomically binds the ID, VM and authority identities, epoch, expected head, proposed state, and any terminal receipt. An identical committed request returns the same committed result without another state change; ID reuse with different contents is rejected. A backend without proven deduplication cannot be blindly retried.
Verification
Planned, TEST-067; the request encoding and backend remain unselected.