Candidate stateNot runAll or nothing
Staged changes0 / 3Committed separately
Rejected inputs—Whole numbers 0–999
Committed control sum · units2412 + 7 + 5
Incoming reorder-point changes
Each target key appears once. Rows run in source order.
| Row | Target | Committed | Incoming | Validation |
|---|
Rule: a reorder point is an integer from zero to 999 units.
Transaction decision contract
- All or nothing: stop at the first invalid row and discard every staged change.
- Row savepoint: reject that row, retain its prior value and continue with eligible rows.
- Commit decision: Release owner publishes a current candidate containing changes.
The committed control is separate from the candidate until that decision.
Ordered row outcomes
Run a candidate to inspect its outcome.
| Row / target | Input | Outcome | Reason |
|---|
Before, staged and committed
| Target | Before run | Staged | Committed |
|---|
A failed or discarded candidate cannot publish target values.
Retained commit decision
The accepted outcome retains its policy, source and rejected input.
No commit receipt in this exercise.
| Target | Before | Committed | Source outcome |
|---|
0 retained receipts.