apps 0.0.1-beta.102 → 0.0.1-beta.105

package/types/apps/src/contracts/protocols/current.d.ts

@@ -2699,7 +2699,10 @@ export declare const InvocationDeadline: Schema.Finite;
 /**
  * Serializable live tool metadata; executable callbacks never cross this boundary. `name` is the
  * tool's full dotted path. `router` is the path of the router that owns it, omitted at the root.
- * `readOnly` marks a query; a tool without it is a mutation.
+ * `readOnly` marks a query; a tool without it is a mutation. `kindConfirmed` marks a kind that the
+ * app's code or the tool's protocol fixes, such as a declared operation, a `kinds` entry or an HTTP
+ * method, rather than an upstream claim such as an MCP server's `readOnlyHint`. Executor tells an
+ * agent that a call only read only when both are set.
  */
 export declare const HostedTool: Schema.Struct<{
     readonly schedules: Schema.optionalKey<Schema.$Array<Schema.Struct<{
@@ -2723,6 +2726,7 @@ export declare const HostedTool: Schema.Struct<{
     readonly description: Schema.String;
     readonly inputSchema: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
     readonly readOnly: Schema.optionalKey<Schema.Boolean>;
+    readonly kindConfirmed: Schema.optionalKey<Schema.Boolean>;
     readonly title: Schema.optionalKey<Schema.String>;
     readonly outputSchema: Schema.optionalKey<Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>>;
     readonly annotations: Schema.optionalKey<Schema.Struct<{
@@ -2758,6 +2762,7 @@ export declare const HostedToolSummary: Schema.Struct<{
     readonly tags: Schema.optionalKey<Schema.$Array<Schema.NonEmptyString>>;
     readonly description: Schema.String;
     readonly readOnly: Schema.optionalKey<Schema.Boolean>;
+    readonly kindConfirmed: Schema.optionalKey<Schema.Boolean>;
     readonly title: Schema.optionalKey<Schema.String>;
     readonly annotations: Schema.optionalKey<Schema.Struct<{
         readonly title: Schema.optionalKey<Schema.String>;
@@ -2837,6 +2842,7 @@ export declare const HostedCatalog: Schema.Struct<{
         readonly description: Schema.String;
         readonly inputSchema: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
         readonly readOnly: Schema.optionalKey<Schema.Boolean>;
+        readonly kindConfirmed: Schema.optionalKey<Schema.Boolean>;
         readonly title: Schema.optionalKey<Schema.String>;
         readonly outputSchema: Schema.optionalKey<Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>>;
         readonly annotations: Schema.optionalKey<Schema.Struct<{
@@ -2887,6 +2893,7 @@ export declare const HostedCatalogSummary: Schema.Struct<{
         readonly tags: Schema.optionalKey<Schema.$Array<Schema.NonEmptyString>>;
         readonly description: Schema.String;
         readonly readOnly: Schema.optionalKey<Schema.Boolean>;
+        readonly kindConfirmed: Schema.optionalKey<Schema.Boolean>;
         readonly title: Schema.optionalKey<Schema.String>;
         readonly annotations: Schema.optionalKey<Schema.Struct<{
             readonly title: Schema.optionalKey<Schema.String>;
@@ -2942,6 +2949,7 @@ export declare const HostedSharedTool: Schema.Struct<{
     readonly description: Schema.String;
     readonly inputSchema: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
     readonly readOnly: Schema.optionalKey<Schema.Boolean>;
+    readonly kindConfirmed: Schema.optionalKey<Schema.Boolean>;
     readonly title: Schema.optionalKey<Schema.String>;
     readonly outputSchema: Schema.optionalKey<Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>>;
     readonly annotations: Schema.optionalKey<Schema.Struct<{
@@ -2986,6 +2994,7 @@ export declare const HostedSharedCatalog: Schema.Struct<{
         readonly description: Schema.String;
         readonly inputSchema: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
         readonly readOnly: Schema.optionalKey<Schema.Boolean>;
+        readonly kindConfirmed: Schema.optionalKey<Schema.Boolean>;
         readonly title: Schema.optionalKey<Schema.String>;
         readonly outputSchema: Schema.optionalKey<Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>>;
         readonly annotations: Schema.optionalKey<Schema.Struct<{
@@ -5759,6 +5768,7 @@ export declare const current: {
                 readonly description: Schema.String;
                 readonly inputSchema: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
                 readonly readOnly: Schema.optionalKey<Schema.Boolean>;
+                readonly kindConfirmed: Schema.optionalKey<Schema.Boolean>;
                 readonly title: Schema.optionalKey<Schema.String>;
                 readonly outputSchema: Schema.optionalKey<Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>>;
                 readonly annotations: Schema.optionalKey<Schema.Struct<{
@@ -5807,6 +5817,7 @@ export declare const current: {
                 readonly tags: Schema.optionalKey<Schema.$Array<Schema.NonEmptyString>>;
                 readonly description: Schema.String;
                 readonly readOnly: Schema.optionalKey<Schema.Boolean>;
+                readonly kindConfirmed: Schema.optionalKey<Schema.Boolean>;
                 readonly title: Schema.optionalKey<Schema.String>;
                 readonly annotations: Schema.optionalKey<Schema.Struct<{
                     readonly title: Schema.optionalKey<Schema.String>;
@@ -5855,6 +5866,7 @@ export declare const current: {
                 readonly description: Schema.String;
                 readonly inputSchema: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
                 readonly readOnly: Schema.optionalKey<Schema.Boolean>;
+                readonly kindConfirmed: Schema.optionalKey<Schema.Boolean>;
                 readonly title: Schema.optionalKey<Schema.String>;
                 readonly outputSchema: Schema.optionalKey<Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>>;
                 readonly annotations: Schema.optionalKey<Schema.Struct<{

package/types/apps/src/contracts/router.d.ts

@@ -40,7 +40,8 @@ export interface AppRouter {
 /**
  * A router whose tools are discovered when read, such as an MCP server or OpenAPI document.
  * Names are relative to the router and may contain dots. `readOnly: true` marks a query;
- * anything else is a mutation. Resolution never requires listing.
+ * anything else is a mutation. `kindConfirmed: true` says the app's code or the protocol, not an
+ * upstream claim, decided the kind. Resolution never requires listing.
  */
 export interface DynamicRouter {
     readonly kind: "dynamic";

package/types/apps/src/implementation/router-catalog.d.ts

@@ -55,6 +55,7 @@ export declare const operationSummary: (name: string, router: string, operation:
     }[];
     readonly readOnly?: boolean;
     readonly tags?: readonly string[];
+    readonly kindConfirmed?: boolean;
 }, HostDeclarationInvalid, never>;
 /** A declared operation's full description, including rendered schemas. */
 export declare const operationDescription: (name: string, router: string, operation: AppOperation, schedules?: readonly OperationSchedule[]) => Effect.Effect<{
@@ -95,6 +96,7 @@ export declare const operationDescription: (name: string, router: string, operat
     }[];
     readonly readOnly?: boolean;
     readonly tags?: readonly string[];
+    readonly kindConfirmed?: boolean;
 }, HostDeclarationInvalid, never>;
 /**
  * A dynamic router over operations already discovered, such as an eager OpenAPI document.
@@ -159,6 +161,7 @@ export declare const readCatalog: (root: AppRouter | DynamicRouter | undefined,
         }[];
         readonly readOnly?: boolean;
         readonly tags?: readonly string[];
+        readonly kindConfirmed?: boolean;
     } | {
         readonly description: string;
         readonly name: string;
@@ -188,6 +191,7 @@ export declare const readCatalog: (root: AppRouter | DynamicRouter | undefined,
         }[];
         readonly readOnly?: boolean;
         readonly tags?: readonly string[];
+        readonly kindConfirmed?: boolean;
     })[];
     routers: {
         readonly path: string;

package/types/apps/src/implementation/router.d.ts

@@ -27,7 +27,8 @@ export declare function router<Query = unknown, Mutation = unknown>(children: Re
 export declare function router<Query, Mutation>(source: RouterDeclaration<Query, Mutation>, options: RouterOptions): RouterDeclaration<Query, Mutation>;
 /**
  * Declare a router whose tools are discovered when read. `list` returns tools with names relative
- * to this router; mark queries with `readOnly: true`. `resolve` receives one of those names.
+ * to this router; mark queries with `readOnly: true`, and add `kindConfirmed: true` when your code,
+ * not an upstream service's claim, decides the kind. `resolve` receives one of those names.
  * The router carries the handler contexts of the operations `resolve` returns, so `defineApp`
  * checks them like a static router's.
  */