chore: generate

packages/opencode/specs/effect/http-api.md

@@ -131,7 +131,7 @@ Use raw Effect HTTP routes where `HttpApi` does not fit. The goal is deleting Ho
 ## Current Route Status
 
 | Area                     | Status            | Notes                                                  |
-| ------------------------ | ----------------- | -------------------------------------------------------------- |
+| ------------------------ | ----------------- | ------------------------------------------------------ |
 | `question`               | `bridged`         | `GET /question`, reply, reject                         |
 | `permission`             | `bridged`         | list and reply                                         |
 | `provider`               | `bridged`         | list, auth, OAuth authorize/callback                   |

packages/opencode/src/skill/index.ts

@@ -30,8 +30,7 @@ export const Info = Schema.Struct({
   description: Schema.String,
   location: Schema.String,
   content: Schema.String,
-})
-  .pipe(withStatics((s) => ({ zod: zod(s) })))
+}).pipe(withStatics((s) => ({ zod: zod(s) })))
 export type Info = Schema.Schema.Type<typeof Info>
 
 export const InvalidError = NamedError.create(

packages/sdk/openapi.json

@@ -13344,9 +13344,7 @@
             "additionalProperties": {}
           },
           "steps": {
-            "type": "integer",
-            "exclusiveMinimum": 0,
-            "maximum": 9007199254740991
+            "type": "number"
           }
         },
         "required": ["name", "mode", "permission", "options"]