bonecode 1.0.0

package/bone/output/agent/src/routes/tool_call.ts

@@ -0,0 +1,166 @@
+// Generated by BoneScript compiler. DO NOT EDIT.
+// Service: ToolCallService
+import { Router, Request, Response } from "express";
+import { v4 as uuid } from "uuid";
+import { query, queryOne, execute, pool } from "../db";
+import { eventBus } from "../events";
+import { requireAuth, AuthContext } from "../auth";
+import rateLimit from "express-rate-limit";
+import { auditLog } from "../audit";
+import { logger } from "../logger";
+import { counter } from "../metrics";
+import * as __algorithms from "../algorithms";
+const { shortestPath, topologicalSort, binarySearch, bipartiteMatching, roundRobin, weightedAverage, percentile, rankBy, consistentHash } = __algorithms as any;
+
+import { transitionToolCall, TOOLCALL_INITIAL } from "../state_machines/tool_call";
+
+export const toolCallsRouter = Router();
+
+// Rate limiter from policy declaration
+const __routeRateLimit = rateLimit({ windowMs: 60000, max: 200, standardHeaders: true, legacyHeaders: false });
+
+// CREATE
+toolCallsRouter.post("/", __routeRateLimit, requireAuth, async (req: Request, res: Response) => {
+  try {
+    const id = uuid();
+    const { session_id, agent_id, build_step_id, tool_name, tool_input, tool_output, error, duration_ms, permission_decision } = req.body;
+    const state = TOOLCALL_INITIAL;
+    const sql = `INSERT INTO tool_calls (id, session_id, agent_id, build_step_id, tool_name, tool_input, tool_output, error, duration_ms, permission_decision, state) VALUES ($1, $2, $3, $4, $5, $6, $7, $8, $9, $10, $11) RETURNING *`;
+    const rows = await query(sql, [id, session_id, agent_id, build_step_id, tool_name, tool_input, tool_output, error, duration_ms, permission_decision, state]);
+    counter("entity.created", { entity: "ToolCall" });
+    res.status(201).json(rows[0]);
+  } catch (e: any) {
+    res.status(400).json({ error: { code: "CREATE_FAILED", message: e.message } });
+  }
+});
+
+// READ
+toolCallsRouter.get("/:id", __routeRateLimit, requireAuth, async (req: Request, res: Response) => {
+  try {
+    const row = await queryOne(`SELECT * FROM tool_calls WHERE id = $1`, [req.params.id]);
+    if (!row) return res.status(404).json({ error: { code: "NOT_FOUND", message: "Not found" } });
+    res.json(row);
+  } catch (e: any) {
+    res.status(500).json({ error: { code: "DB_ERROR", message: e.message } });
+  }
+});
+
+// LIST
+toolCallsRouter.get("/", __routeRateLimit, requireAuth, async (req: Request, res: Response) => {
+  try {
+    const page = parseInt(req.query.page as string) || 1;
+    const pageSize = Math.min(parseInt(req.query.page_size as string) || 50, 100);
+    const offset = (page - 1) * pageSize;
+    const rows = await query(`SELECT tool_calls.*, row_to_json(build_step.*) as build_step FROM tool_calls LEFT JOIN build_steps build_step ON tool_calls.build_step_id = build_step.id ORDER BY tool_calls.created_at DESC LIMIT $1 OFFSET $2`, [pageSize, offset]);
+    const [{ count }] = await query(`SELECT COUNT(*) as count FROM tool_calls`);
+    res.json({ items: rows, total: parseInt(count), page, page_size: pageSize });
+  } catch (e: any) {
+    res.status(500).json({ error: { code: "DB_ERROR", message: e.message } });
+  }
+});
+
+// UPDATE
+toolCallsRouter.put("/:id", __routeRateLimit, requireAuth, async (req: Request, res: Response) => {
+  const fields = { ...req.body };
+  // State machine enforcement
+  if (fields.state !== undefined) {
+    const current = await queryOne<{ state: string }>(`SELECT state FROM tool_calls WHERE id = $1`, [req.params.id]);
+    if (!current) return res.status(404).json({ error: { code: "NOT_FOUND", message: "Not found" } });
+    // Find the trigger for this state transition
+    const trigger = `${current.state}_to_${fields.state}`;
+    const tr = transitionToolCall(current.state as any, trigger);
+    if (!tr.ok) return res.status(422).json({ error: { code: "INVALID_TRANSITION", message: `Cannot transition from ${current.state} to ${fields.state}` } });
+  }
+  const sets = Object.keys(fields).map((k, i) => `${k} = $${i + 2}`).join(", ");
+  const values = Object.values(fields);
+  const sql = `UPDATE tool_calls SET ${sets}, updated_at = NOW() WHERE id = $1 RETURNING *`;
+  const rows = await query(sql, [req.params.id, ...values]);
+  if (rows.length === 0) return res.status(404).json({ error: { code: "NOT_FOUND", message: "Not found" } });
+  res.json(rows[0]);
+});
+
+// DELETE
+toolCallsRouter.delete("/:id", __routeRateLimit, requireAuth, async (req: Request, res: Response) => {
+  try {
+    const count = await execute(`DELETE FROM tool_calls WHERE id = $1`, [req.params.id]);
+    if (count === 0) return res.status(404).json({ error: { code: "NOT_FOUND", message: "Not found" } });
+    res.status(204).send();
+  } catch (e: any) {
+    res.status(500).json({ error: { code: "DB_ERROR", message: e.message } });
+  }
+});
+
+// CAPABILITY: complete_tool_call [transactional]
+toolCallsRouter.post("/complete-tool-call", __routeRateLimit, requireAuth, auditLog("complete_tool_call", "ToolCall"), async (req: Request, res: Response) => {
+  const auth: AuthContext = (req as any).auth;
+  const __client = await pool.connect();
+  try {
+    await __client.query("BEGIN");
+    const { output } = req.body;
+
+    // Fetch entities
+    const tool_call = await queryOne(`SELECT * FROM tool_calls WHERE id = $1`, [req.body.tool_call_id || req.params.id]);
+    if (!tool_call) {
+      return res.status(404).json({ error: { code: "NOT_FOUND", message: "tool_call not found" } });
+    }
+
+    // Preconditions
+    if (!(tool_call?.state === "running")) {
+      return res.status(422).json({ error: { code: "PRECONDITION_FAILED", message: "tool_call.state == \\\"running\\\"" } });
+    }
+
+    // Effects (applied in declaration order)
+    const __effect_0 = await query(`UPDATE tool_calls SET state = $1, updated_at = NOW() WHERE id = $2 RETURNING *`, ["done", req.body.tool_call_id || req.params.id]);
+    if (!__effect_0 || __effect_0.length === 0) {
+      throw new Error("Effect failed: tool_call.state = \"done\"");
+    }
+    const __effect_1 = await query(`UPDATE tool_calls SET tool_output = $1, updated_at = NOW() WHERE id = $2 RETURNING *`, [output, req.body.tool_call_id || req.params.id]);
+    if (!__effect_1 || __effect_1.length === 0) {
+      throw new Error("Effect failed: tool_call.tool_output = output");
+    }
+
+    // Emit events
+    await eventBus.publish("ToolCallCompleted", { tool_call_id: tool_call?.id, timestamp: new Date().toISOString(), actor_id: auth.actor_id }, "ToolCallService", auth.trace_id, __client);
+
+    res.json({ ok: true, action: "complete_tool_call", entity: tool_call });
+    await __client.query("COMMIT");
+  } catch (e: any) {
+    await __client.query("ROLLBACK");
+    res.status(400).json({ error: { code: "CAPABILITY_FAILED", message: e.message } });
+  } finally {
+    __client.release();
+  }
+});
+
+// CAPABILITY: deny_tool_call [transactional]
+toolCallsRouter.post("/deny-tool-call", __routeRateLimit, requireAuth, auditLog("deny_tool_call", "ToolCall"), async (req: Request, res: Response) => {
+  const auth: AuthContext = (req as any).auth;
+  const __client = await pool.connect();
+  try {
+    await __client.query("BEGIN");
+    // Fetch entities
+    const tool_call = await queryOne(`SELECT * FROM tool_calls WHERE id = $1`, [req.body.tool_call_id || req.params.id]);
+    if (!tool_call) {
+      return res.status(404).json({ error: { code: "NOT_FOUND", message: "tool_call not found" } });
+    }
+
+    // Preconditions
+    if (!(tool_call?.state === "pending")) {
+      return res.status(422).json({ error: { code: "PRECONDITION_FAILED", message: "tool_call.state == \\\"pending\\\"" } });
+    }
+
+    // Effects (applied in declaration order)
+    const __effect_0 = await query(`UPDATE tool_calls SET state = $1, updated_at = NOW() WHERE id = $2 RETURNING *`, ["denied", req.body.tool_call_id || req.params.id]);
+    if (!__effect_0 || __effect_0.length === 0) {
+      throw new Error("Effect failed: tool_call.state = \"denied\"");
+    }
+
+    res.json({ ok: true, action: "deny_tool_call", entity: tool_call });
+    await __client.query("COMMIT");
+  } catch (e: any) {
+    await __client.query("ROLLBACK");
+    res.status(400).json({ error: { code: "CAPABILITY_FAILED", message: e.message } });
+  } finally {
+    __client.release();
+  }
+});

package/bone/output/agent/src/schemas.ts

@@ -0,0 +1,384 @@
+// Generated by BoneScript compiler.
+import { z } from "zod";
+
+export const AgentSchema = z.object({
+  id: z.string().uuid(),
+  session_id: z.string().uuid(),
+  model_id: z.string(),
+  provider_id: z.string(),
+  system_prompt: z.string(),
+  temperature: z.number(),
+  max_tokens: z.number().int().nonnegative(),
+  context_window_used: z.number().int().nonnegative(),
+  context_window_max: z.number().int().nonnegative(),
+  total_cost_usd: z.number(),
+  total_tokens_in: z.number().int().nonnegative(),
+  total_tokens_out: z.number().int().nonnegative(),
+  config: z.unknown(),
+  state: z.string(),
+  created_at: z.string().datetime(),
+  updated_at: z.string().datetime(),
+});
+export type Agent = z.infer<typeof AgentSchema>;
+
+export const TaskSchema = z.object({
+  id: z.string().uuid(),
+  agent_id: z.string().uuid(),
+  session_id: z.string().uuid(),
+  description: z.string(),
+  priority: z.number().int().nonnegative(),
+  state: z.string(),
+  result: z.unknown(),
+  error: z.string(),
+  created_at: z.string().datetime(),
+  updated_at: z.string().datetime(),
+});
+export type Task = z.infer<typeof TaskSchema>;
+
+export const PlanSchema = z.object({
+  id: z.string().uuid(),
+  session_id: z.string().uuid(),
+  agent_id: z.string().uuid(),
+  task_id: z.string().uuid(),
+  steps: z.unknown(),
+  rationale: z.string(),
+  estimated_tokens: z.number().int().nonnegative(),
+  state: z.string(),
+  created_at: z.string().datetime(),
+  updated_at: z.string().datetime(),
+});
+export type Plan = z.infer<typeof PlanSchema>;
+
+export const BuildStepSchema = z.object({
+  id: z.string().uuid(),
+  task_id: z.string().uuid(),
+  agent_id: z.string().uuid(),
+  session_id: z.string().uuid(),
+  step_type: z.string(),
+  description: z.string(),
+  file_path: z.string(),
+  diff: z.string(),
+  result: z.unknown(),
+  error: z.string(),
+  order_index: z.number().int().nonnegative(),
+  state: z.string(),
+  created_at: z.string().datetime(),
+  updated_at: z.string().datetime(),
+});
+export type BuildStep = z.infer<typeof BuildStepSchema>;
+
+export const ToolCallSchema = z.object({
+  id: z.string().uuid(),
+  session_id: z.string().uuid(),
+  agent_id: z.string().uuid(),
+  build_step_id: z.string().uuid(),
+  tool_name: z.string(),
+  tool_input: z.unknown(),
+  tool_output: z.unknown(),
+  error: z.string(),
+  duration_ms: z.number().int().nonnegative(),
+  permission_decision: z.string(),
+  state: z.string(),
+  created_at: z.string().datetime(),
+  updated_at: z.string().datetime(),
+});
+export type ToolCall = z.infer<typeof ToolCallSchema>;
+
+export const AgentInstanceSchema = z.object({
+  id: z.string().uuid(),
+  created_at: z.string().datetime(),
+  updated_at: z.string().datetime(),
+  session_id: z.string().uuid(),
+  model_id: z.string(),
+  provider_id: z.string(),
+  system_prompt: z.string().nullable().nullable(),
+  temperature: z.number().nullable().nullable(),
+  max_tokens: z.number().int().nonnegative().nullable().nullable(),
+  context_window_used: z.number().int().nonnegative(),
+  context_window_max: z.number().int().nonnegative(),
+  total_cost_usd: z.number(),
+  total_tokens_in: z.number().int().nonnegative(),
+  total_tokens_out: z.number().int().nonnegative(),
+  config: z.unknown(),
+});
+export type AgentInstance = z.infer<typeof AgentInstanceSchema>;
+
+export const TaskSchema = z.object({
+  id: z.string().uuid(),
+  created_at: z.string().datetime(),
+  updated_at: z.string().datetime(),
+  agent_id: z.string().uuid(),
+  session_id: z.string().uuid(),
+  description: z.string(),
+  priority: z.number().int().nonnegative(),
+  result: z.unknown().nullable().nullable(),
+  error: z.string().nullable().nullable(),
+});
+export type Task = z.infer<typeof TaskSchema>;
+
+export const PlanSchema = z.object({
+  id: z.string().uuid(),
+  created_at: z.string().datetime(),
+  updated_at: z.string().datetime(),
+  session_id: z.string().uuid(),
+  agent_id: z.string().uuid(),
+  task_id: z.string().uuid(),
+  steps: z.unknown(),
+  rationale: z.string().nullable().nullable(),
+  estimated_tokens: z.number().int().nonnegative().nullable().nullable(),
+});
+export type Plan = z.infer<typeof PlanSchema>;
+
+export const BuildStepSchema = z.object({
+  id: z.string().uuid(),
+  created_at: z.string().datetime(),
+  updated_at: z.string().datetime(),
+  task_id: z.string().uuid(),
+  agent_id: z.string().uuid(),
+  session_id: z.string().uuid(),
+  step_type: z.string(),
+  description: z.string(),
+  file_path: z.string().nullable().nullable(),
+  diff: z.string().nullable().nullable(),
+  result: z.unknown().nullable().nullable(),
+  error: z.string().nullable().nullable(),
+  order_index: z.number().int().nonnegative(),
+});
+export type BuildStep = z.infer<typeof BuildStepSchema>;
+
+export const ToolCallSchema = z.object({
+  id: z.string().uuid(),
+  created_at: z.string().datetime(),
+  updated_at: z.string().datetime(),
+  session_id: z.string().uuid(),
+  agent_id: z.string().uuid(),
+  build_step_id: z.string().uuid().nullable().nullable(),
+  tool_name: z.string(),
+  tool_input: z.unknown(),
+  tool_output: z.unknown().nullable().nullable(),
+  error: z.string().nullable().nullable(),
+  duration_ms: z.number().int().nonnegative().nullable().nullable(),
+  permission_decision: z.string().nullable().nullable(),
+});
+export type ToolCall = z.infer<typeof ToolCallSchema>;
+
+export const AgentInstanceServiceCreateInputSchema = z.object({
+  session_id: z.string().uuid(),
+  model_id: z.string(),
+  provider_id: z.string(),
+  system_prompt: z.string().nullable(),
+  temperature: z.number().nullable(),
+  max_tokens: z.number().int().nonnegative().nullable(),
+  context_window_used: z.number().int().nonnegative(),
+  context_window_max: z.number().int().nonnegative(),
+  total_cost_usd: z.number(),
+  total_tokens_in: z.number().int().nonnegative(),
+  total_tokens_out: z.number().int().nonnegative(),
+  config: z.unknown(),
+});
+
+export const AgentInstanceServiceReadInputSchema = z.object({
+  id: z.string().uuid(),
+});
+
+export const AgentInstanceServiceUpdateInputSchema = z.object({
+  session_id: z.string().uuid(),
+  model_id: z.string(),
+  provider_id: z.string(),
+  system_prompt: z.string().nullable(),
+  temperature: z.number().nullable(),
+  max_tokens: z.number().int().nonnegative().nullable(),
+  context_window_used: z.number().int().nonnegative(),
+  context_window_max: z.number().int().nonnegative(),
+  total_cost_usd: z.number(),
+  total_tokens_in: z.number().int().nonnegative(),
+  total_tokens_out: z.number().int().nonnegative(),
+  config: z.unknown(),
+});
+
+export const AgentInstanceServiceDeleteInputSchema = z.object({
+  id: z.string().uuid(),
+});
+
+export const AgentInstanceServiceListInputSchema = z.object({
+  page: z.number().int().nonnegative(),
+  page_size: z.number().int().nonnegative(),
+});
+
+export const AgentInstanceServiceCompleteAgentInputSchema = z.object({
+  agent: z.unknown(),
+});
+
+export const AgentInstanceServiceFailAgentInputSchema = z.object({
+  agent: z.unknown(),
+  error: z.string(),
+});
+
+export const AgentInstanceServiceRequestToolCallInputSchema = z.object({
+  agent: z.unknown(),
+  tool_name: z.string(),
+  tool_input: z.unknown(),
+});
+
+export const TaskServiceCreateInputSchema = z.object({
+  agent_id: z.string().uuid(),
+  session_id: z.string().uuid(),
+  description: z.string(),
+  priority: z.number().int().nonnegative(),
+  result: z.unknown().nullable(),
+  error: z.string().nullable(),
+});
+
+export const TaskServiceReadInputSchema = z.object({
+  id: z.string().uuid(),
+});
+
+export const TaskServiceUpdateInputSchema = z.object({
+  agent_id: z.string().uuid(),
+  session_id: z.string().uuid(),
+  description: z.string(),
+  priority: z.number().int().nonnegative(),
+  result: z.unknown().nullable(),
+  error: z.string().nullable(),
+});
+
+export const TaskServiceDeleteInputSchema = z.object({
+  id: z.string().uuid(),
+});
+
+export const TaskServiceListInputSchema = z.object({
+  page: z.number().int().nonnegative(),
+  page_size: z.number().int().nonnegative(),
+});
+
+export const PlanServiceCreateInputSchema = z.object({
+  session_id: z.string().uuid(),
+  agent_id: z.string().uuid(),
+  task_id: z.string().uuid(),
+  steps: z.unknown(),
+  rationale: z.string().nullable(),
+  estimated_tokens: z.number().int().nonnegative().nullable(),
+});
+
+export const PlanServiceReadInputSchema = z.object({
+  id: z.string().uuid(),
+});
+
+export const PlanServiceUpdateInputSchema = z.object({
+  session_id: z.string().uuid(),
+  agent_id: z.string().uuid(),
+  task_id: z.string().uuid(),
+  steps: z.unknown(),
+  rationale: z.string().nullable(),
+  estimated_tokens: z.number().int().nonnegative().nullable(),
+});
+
+export const PlanServiceDeleteInputSchema = z.object({
+  id: z.string().uuid(),
+});
+
+export const PlanServiceListInputSchema = z.object({
+  page: z.number().int().nonnegative(),
+  page_size: z.number().int().nonnegative(),
+});
+
+export const BuildStepServiceCreateInputSchema = z.object({
+  task_id: z.string().uuid(),
+  agent_id: z.string().uuid(),
+  session_id: z.string().uuid(),
+  step_type: z.string(),
+  description: z.string(),
+  file_path: z.string().nullable(),
+  diff: z.string().nullable(),
+  result: z.unknown().nullable(),
+  error: z.string().nullable(),
+  order_index: z.number().int().nonnegative(),
+});
+
+export const BuildStepServiceReadInputSchema = z.object({
+  id: z.string().uuid(),
+});
+
+export const BuildStepServiceUpdateInputSchema = z.object({
+  task_id: z.string().uuid(),
+  agent_id: z.string().uuid(),
+  session_id: z.string().uuid(),
+  step_type: z.string(),
+  description: z.string(),
+  file_path: z.string().nullable(),
+  diff: z.string().nullable(),
+  result: z.unknown().nullable(),
+  error: z.string().nullable(),
+  order_index: z.number().int().nonnegative(),
+});
+
+export const BuildStepServiceDeleteInputSchema = z.object({
+  id: z.string().uuid(),
+});
+
+export const BuildStepServiceListInputSchema = z.object({
+  page: z.number().int().nonnegative(),
+  page_size: z.number().int().nonnegative(),
+});
+
+export const ToolCallServiceCreateInputSchema = z.object({
+  session_id: z.string().uuid(),
+  agent_id: z.string().uuid(),
+  build_step_id: z.string().uuid().nullable(),
+  tool_name: z.string(),
+  tool_input: z.unknown(),
+  tool_output: z.unknown().nullable(),
+  error: z.string().nullable(),
+  duration_ms: z.number().int().nonnegative().nullable(),
+  permission_decision: z.string().nullable(),
+});
+
+export const ToolCallServiceReadInputSchema = z.object({
+  id: z.string().uuid(),
+});
+
+export const ToolCallServiceUpdateInputSchema = z.object({
+  session_id: z.string().uuid(),
+  agent_id: z.string().uuid(),
+  build_step_id: z.string().uuid().nullable(),
+  tool_name: z.string(),
+  tool_input: z.unknown(),
+  tool_output: z.unknown().nullable(),
+  error: z.string().nullable(),
+  duration_ms: z.number().int().nonnegative().nullable(),
+  permission_decision: z.string().nullable(),
+});
+
+export const ToolCallServiceDeleteInputSchema = z.object({
+  id: z.string().uuid(),
+});
+
+export const ToolCallServiceListInputSchema = z.object({
+  page: z.number().int().nonnegative(),
+  page_size: z.number().int().nonnegative(),
+});
+
+export const ToolCallServiceCompleteToolCallInputSchema = z.object({
+  tool_call: z.unknown(),
+  output: z.unknown(),
+});
+
+export const ToolCallServiceDenyToolCallInputSchema = z.object({
+  tool_call: z.unknown(),
+});
+
+export const AgentEventsSubscribeInputSchema = z.object({
+  topic: z.string(),
+});
+
+export const AgentEventsPublishInputSchema = z.object({
+  message: z.unknown(),
+});
+
+export const ToolPermissionRequestsSubscribeInputSchema = z.object({
+  topic: z.string(),
+});
+
+export const ToolPermissionRequestsPublishInputSchema = z.object({
+  message: z.unknown(),
+});

package/bone/output/agent/src/state_machines/agent_instance.ts

@@ -0,0 +1,24 @@
+// Generated by BoneScript compiler. DO NOT EDIT.
+
+export type AgentInstanceState = "idle" | "running" | "waiting_for_tool" | "compacting" | "done" | "failed" | "cancelled";
+
+export const AGENTINSTANCE_INITIAL: AgentInstanceState = "idle";
+
+const TRANSITIONS: Record<AgentInstanceState, Record<string, AgentInstanceState>> = {
+  "idle": { "idle_to_running": "running" },
+  "running": { "running_to_waiting_for_tool": "waiting_for_tool" },
+  "waiting_for_tool": { "waiting_for_tool_to_compacting": "compacting" },
+  "compacting": { "compacting_to_done": "done" },
+  "done": { "done_to_failed": "failed", "done_to_cancelled": "cancelled" },
+  "failed": {  },
+  "cancelled": {  },
+};
+
+export function transitionAgentInstance(
+  current: AgentInstanceState,
+  trigger: string
+): { ok: true; next: AgentInstanceState } | { ok: false; error: string } {
+  const next = TRANSITIONS[current]?.[trigger];
+  if (!next) return { ok: false, error: `Invalid transition: ${current} --[${trigger}]--> ?` };
+  return { ok: true, next };
+}

package/bone/output/agent/src/state_machines/build_step.ts

@@ -0,0 +1,22 @@
+// Generated by BoneScript compiler. DO NOT EDIT.
+
+export type BuildStepState = "pending" | "running" | "done" | "failed" | "skipped";
+
+export const BUILDSTEP_INITIAL: BuildStepState = "pending";
+
+const TRANSITIONS: Record<BuildStepState, Record<string, BuildStepState>> = {
+  "pending": { "pending_to_running": "running" },
+  "running": { "running_to_done": "done" },
+  "done": { "done_to_failed": "failed", "done_to_skipped": "skipped" },
+  "failed": {  },
+  "skipped": {  },
+};
+
+export function transitionBuildStep(
+  current: BuildStepState,
+  trigger: string
+): { ok: true; next: BuildStepState } | { ok: false; error: string } {
+  const next = TRANSITIONS[current]?.[trigger];
+  if (!next) return { ok: false, error: `Invalid transition: ${current} --[${trigger}]--> ?` };
+  return { ok: true, next };
+}

package/bone/output/agent/src/state_machines/plan.ts

@@ -0,0 +1,22 @@
+// Generated by BoneScript compiler. DO NOT EDIT.
+
+export type PlanState = "draft" | "approved" | "executing" | "done" | "abandoned";
+
+export const PLAN_INITIAL: PlanState = "draft";
+
+const TRANSITIONS: Record<PlanState, Record<string, PlanState>> = {
+  "draft": { "draft_to_approved": "approved" },
+  "approved": { "approved_to_executing": "executing" },
+  "executing": { "executing_to_done": "done" },
+  "done": { "done_to_abandoned": "abandoned" },
+  "abandoned": {  },
+};
+
+export function transitionPlan(
+  current: PlanState,
+  trigger: string
+): { ok: true; next: PlanState } | { ok: false; error: string } {
+  const next = TRANSITIONS[current]?.[trigger];
+  if (!next) return { ok: false, error: `Invalid transition: ${current} --[${trigger}]--> ?` };
+  return { ok: true, next };
+}

package/bone/output/agent/src/state_machines/task.ts

@@ -0,0 +1,22 @@
+// Generated by BoneScript compiler. DO NOT EDIT.
+
+export type TaskState = "pending" | "in_progress" | "done" | "failed" | "cancelled";
+
+export const TASK_INITIAL: TaskState = "pending";
+
+const TRANSITIONS: Record<TaskState, Record<string, TaskState>> = {
+  "pending": { "pending_to_in_progress": "in_progress" },
+  "in_progress": { "in_progress_to_done": "done" },
+  "done": { "done_to_failed": "failed", "done_to_cancelled": "cancelled" },
+  "failed": {  },
+  "cancelled": {  },
+};
+
+export function transitionTask(
+  current: TaskState,
+  trigger: string
+): { ok: true; next: TaskState } | { ok: false; error: string } {
+  const next = TRANSITIONS[current]?.[trigger];
+  if (!next) return { ok: false, error: `Invalid transition: ${current} --[${trigger}]--> ?` };
+  return { ok: true, next };
+}

package/bone/output/agent/src/state_machines/tool_call.ts

@@ -0,0 +1,22 @@
+// Generated by BoneScript compiler. DO NOT EDIT.
+
+export type ToolCallState = "pending" | "running" | "done" | "failed" | "denied";
+
+export const TOOLCALL_INITIAL: ToolCallState = "pending";
+
+const TRANSITIONS: Record<ToolCallState, Record<string, ToolCallState>> = {
+  "pending": { "pending_to_running": "running" },
+  "running": { "running_to_done": "done" },
+  "done": { "done_to_failed": "failed", "done_to_denied": "denied" },
+  "failed": {  },
+  "denied": {  },
+};
+
+export function transitionToolCall(
+  current: ToolCallState,
+  trigger: string
+): { ok: true; next: ToolCallState } | { ok: false; error: string } {
+  const next = TRANSITIONS[current]?.[trigger];
+  if (!next) return { ok: false, error: `Invalid transition: ${current} --[${trigger}]--> ?` };
+  return { ok: true, next };
+}