transition_commit
Verify and commit a game-state transition atomically against the caller's current state. Rejects stale or out-of-order changes and returns a consistent receipt so retries are safe and state remains deterministic.
Instructions
Verify and commit one event.apply proposal against caller-owned current state. Returns the same semantic receipt for the first atomic compare-and-swap and retries, rejects stale/out-of-order state with reason_code stale-state, and never persists server-side state. The host must atomically store next_state only after exit_code 0.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| state | Yes | ||
| request_id | No | ||
| transition | Yes | ||
| table_policy | No | ||
| asserted_facts | No | ||
| policy_context | No | ||
| table_decision | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| why | Yes | ||
| data | No | ||
| facts | Yes | ||
| adapter | Yes | ||
| verdict | Yes | ||
| rule_ids | Yes | ||
| citations | Yes | ||
| exit_code | Yes | ||
| assumptions | Yes | ||
| explanation | Yes | ||
| rule_result | Yes | ||
| checked_scope | Yes | ||
| coverage_level | Yes | ||
| state_mutation | Yes | ||
| table_decision | Yes | ||
| unchecked_scope | Yes |