| 734 | } |
| 735 | |
| 736 | function emitTodo(state: State): void { |
| 737 | const ref = make(state, "todowrite", { |
| 738 | todos: [ |
| 739 | { |
| 740 | content: "Trigger permission UI", |
| 741 | status: "completed", |
| 742 | }, |
| 743 | { |
| 744 | content: "Trigger question UI", |
| 745 | status: "in_progress", |
| 746 | }, |
| 747 | { |
| 748 | content: "Tune tool formatting", |
| 749 | status: "pending", |
| 750 | }, |
| 751 | ], |
| 752 | }) |
| 753 | doneTool(state, ref, { |
| 754 | title: "todowrite", |
| 755 | output: "", |
| 756 | metadata: {}, |
| 757 | }) |
| 758 | } |
| 759 | |
| 760 | function emitQuestionTool(state: State): void { |
| 761 | const ref = make(state, "question", { |