timer_calibrate
Anchor a timer to a prepared ticket using caller-observed seconds, and record explicit running, paused, or expired-observed state so observed expiry is not assumed.
Instructions
Anchor a timer using a prepared ticket and caller-observed seconds. Observed expiry requires explicit expired_observed state.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| state | No | ||
| timer_id | Yes | ||
| ticket_id | Yes | ||
| observed_seconds | Yes |