# Bound approvals and execution

Go inputs, results, permissions and executable examples for bound approvals and execution.

Use this reference with the [complete developer tour](https://beepgrid.com/docs/sdks/go/tour.md) and [Go types](https://beepgrid.com/docs/sdks/go/types.md). The example at the end runs after the tour setup.

## Redeem

Redeem an optional bound approval for the exact declared action.

```text
func (c *Client) Redeem(ctx context.Context, id string, action Action) (Execution, error)
```

| Parameter | Type and default | Usage |
| --- | --- | --- |
| `ctx` | `context.Context` (required) | Required Go context. Cancellation bounds this local call; it does not withdraw a durable request. |
| `id` | `string` (required) | Existing stable resource ID, returned by the corresponding create/read operation. |
| `action` | `Action` (required) | Optional exact bound-action descriptor for the advanced execution contract. |

**Returns:** Execution with authorized state and stable operation_key.

**Permissions, lifecycle and errors:** Advanced opt-in contract, not necessary for a normal approval message. The resource owner must enforce operation-key and resource-version fences. Approval never proves execution.

[Working Go example](https://beepgrid.com/docs/sdks/go/execution/#example). Input/output fields are in the [types reference](https://beepgrid.com/docs/sdks/go/types.md).

## ReportExecution

Report what the executor actually observed for an authorized operation.

```text
func (c *Client) ReportExecution(ctx context.Context, id, state string, result any) (Execution, error)
```

| Parameter | Type and default | Usage |
| --- | --- | --- |
| `ctx` | `context.Context` (required) | Required Go context. Cancellation bounds this local call; it does not withdraw a durable request. |
| `id` | `string` (required) | Existing stable resource ID, returned by the corresponding create/read operation. |
| `state` | `string` (required) | Lifecycle state. Read the resource-specific enum; request and execution states differ. |
| `result` | `any` (required) | Executor-reported JSON result. It is not independent proof of an external effect. |

**Returns:** Updated Execution with state and result.

**Permissions, lifecycle and errors:** Allowed reports: running, succeeded, failed, unknown. Terminal reports cannot be overwritten. Use unknown when the external result cannot be established; never turn a timeout into success.

[Working Go example](https://beepgrid.com/docs/sdks/go/execution/#example). Input/output fields are in the [types reference](https://beepgrid.com/docs/sdks/go/types.md).

## Example

Run this region after [the shared setup](https://beepgrid.com/docs/sdks/go/tour.md). Assertions check the returned data; the full tour is a runnable program.



```go
action := beepgrid.Action{Name: "reconcile-orders", ExecutorID: builderID, Resource: "orders", ResourceVersion: "v2", Arguments: map[string]any{"ids": []int{241, 242}}, OperationKey: runID + "/business"}
approval := must(owner.Ask(ctx, beepgrid.AskInput{Target: beepgrid.Target{Kind: "person", ID: me.Person.ID}, Body: "Apply this reconciliation?", Kind: "approval", Action: &action}, beepgrid.Key()))
must(owner.Respond(ctx, approval.ID, beepgrid.Response{Outcome: "approved", Version: approval.Version}))
execution := must(builder.Redeem(ctx, approval.ID, action))
check(must(builder.ReportExecution(ctx, execution.ID, "succeeded", map[string]bool{"fixture": true})).State == "succeeded")
```