apps 0.0.1-beta.37 → 0.0.1-beta.39

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

@@ -1,5 +1,4 @@
 import type { AppSkillSource, SkillFile } from "./skills.js";
-import type { DatabaseDefinition } from "./storage.js";
 /** Native app contracts; factories and handlers compose in the host's Effect runtime. */
 import { type Effect, Schema } from "effect";
 import type { OperationSchedule } from "./schedules.js";
@@ -58,7 +57,6 @@ export interface BoundContext<Slots extends AccountSlots> {
 /** The host evaluates this factory fresh with the configured app's selected accounts. */
 export interface App<Slots extends AccountSlots, Def extends AppDefinition<never>> {
     readonly accounts: Slots;
-    readonly database?: DatabaseDefinition;
     readonly evaluate: (context: BoundContext<Slots>) => Effect.Effect<Def, unknown>;
 }
 declare const NotImplemented_base: Schema.Class<NotImplemented, Schema.TaggedStruct<"NotImplemented", {

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

@@ -1,25 +1,26 @@
 /** Public handler contexts derive capabilities from one shared requirements declaration. */
 import type { WorkflowControls } from "./workflows.js";
 import type { AccountSlots, BoundContext } from "./app.js";
-import type { Database, DatabaseDefinition, DatabaseReader, Tables } from "./storage.js";
-/** Requirements are pure values; selected accounts and database sessions belong to invocations. */
+import type { Sql, SqlReader } from "./sql.js";
+/** Requirements are pure values; selected accounts and SQL access belong to invocations. */
 export interface AppRequirements {
     readonly accounts: AccountSlots;
-    readonly database?: DatabaseDefinition;
 }
-type StorageContext<Requirements, Writable extends boolean> = Requirements extends {
-    readonly database: DatabaseDefinition<infer T extends Tables>;
-} ? {
-    readonly db: Writable extends true ? Database<T> : DatabaseReader<T>;
-} : {};
+/**
+ * Every handler has `ctx.sql`. The app's database exists once the build has SQL files in
+ * `migrations/`; before that, any statement fails and says so.
+ */
+type StorageContext<Writable extends boolean> = {
+    readonly sql: Writable extends true ? Sql : SqlReader;
+};
 /** Context available during dynamic app evaluation; storage opens only for handlers. */
 export type AppContext<Requirements extends AppRequirements = AppRequirements> = BoundContext<Requirements["accounts"]>;
 /** Interactive query context; declared storage exposes only read methods. */
-export type QueryContext<Requirements extends AppRequirements = AppRequirements> = AppContext<Requirements> & StorageContext<Requirements, false>;
-/** Interactive mutation context; declared storage belongs to the invocation transaction. */
+export type QueryContext<Requirements extends AppRequirements = AppRequirements> = AppContext<Requirements> & StorageContext<false>;
+/** Interactive mutation context; outside calls happen between SQL transactions, never inside one. */
 export type MutationContext<Requirements extends AppRequirements = AppRequirements> = Omit<AppContext<Requirements>, "workflows"> & {
     readonly workflows: WorkflowControls;
-} & StorageContext<Requirements, true>;
+} & StorageContext<true>;
 /** Background webhook context has account and storage access without interactive input. */
 export type WebhookContext<Requirements extends AppRequirements = AppRequirements> = Omit<MutationContext<Requirements>, "elicit">;
 export {};

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

@@ -12,9 +12,9 @@ import { DatabaseFieldReserved, DatabaseLimitExceeded } from "../../../app-data/
 export { DatabaseFieldReserved, DatabaseLimitExceeded } from "../../../app-data/src/contracts/database.js";
 /** Portable framework dispatch contracts. Requests never carry account bindings. */
 import { Context, Schema, type Effect, type Redacted } from "effect";
-import type { AppStorage } from "./storage.js";
+import type { AppSqlStorage } from "./sql.js";
 import type { InvocationTelemetry } from "../../../telemetry/src/index.js";
-export { AppStorageError, AppStorageUnavailable, StorageName, type AppStorage } from "./storage.js";
+export { type AppSqlStorage, type Sql, type SqlCursor, type SqlReader, type SqlRow, type SqlValue, } from "./sql.js";
 import { ElicitationFailed, type ElicitationHandler } from "./elicitation.js";
 export { ElicitationLimits, defaultElicitationLimits, FormElicitation, ElicitationResponse, ElicitationReply, ElicitationFailed, type ElicitationHandler, ApprovalElicitation, ApprovalResponse, approvalElicitation, } from "./elicitation.js";
 export { McpClientLimits, defaultMcpClientLimits } from "./mcp.js";
@@ -35,15 +35,16 @@ export { protocol6 } from "./protocols/6.js";
 export { protocol7, AccountCheckCommand, CredentialHost } from "./protocols/7.js";
 export { protocol8 } from "./protocols/8.js";
 export { protocol9 } from "./protocols/9.js";
+export { protocol10, MigrateCommand, MigrateResult } from "./protocols/10.js";
 export { AccountCheckResult, AccountInfo } from "./provider.js";
-import { HostAccountsInvalid, HostDeclarationInvalid, HostEvaluationFailed, HostInputInvalid, HostKindMismatch, HostOperationFailed, HostOperationNotFound, HostOutputInvalid, HostRequestInvalid, HostToolApprovalRequired, HostToolBlocked, HostToolNotFound, HostToolPolicyFailed, McpError, SkillLoadFailed, SkillSources, type InvocationDeadline, ResolvedAccounts, type SkillCatalogResponse, type TrustedToolApproval } from "./protocols/9.js";
-export { DeclaredRequirements, HostRequest } from "./protocols/9.js";
+import { HostAccountsInvalid, HostDeclarationInvalid, HostEvaluationFailed, HostInputInvalid, HostKindMismatch, HostOperationFailed, HostOperationNotFound, HostOutputInvalid, HostRequestInvalid, HostToolApprovalRequired, HostToolBlocked, HostToolNotFound, HostToolPolicyFailed, McpError, SkillLoadFailed, SkillSources, type InvocationDeadline, ResolvedAccounts, type SkillCatalogResponse, type TrustedToolApproval } from "./protocols/10.js";
+export { DeclaredRequirements, HostRequest } from "./protocols/10.js";
 /**
  * The MCP and skill loader failures as they cross the host boundary. Apps throw the author-facing
  * classes from `apps/mcp` and `apps/skills`.
  */
-export { McpError, SkillLoadFailed } from "./protocols/9.js";
-export { DeclaredAuthMethod, DeclaredProvider, ResolvedAccount, ResolvedAccounts, TrustedToolApproval, InvocationDeadline, HostedTool, HostedToolSummary, HostRouterError, HostedRouter, HostedCatalog, HostedCatalogSummary, SkillSources, SkillCatalogResponse, HostRequestInvalid, HostAccountsInvalid, HostDeclarationInvalid, HostEvaluationFailed, HostOperationNotFound, HostOperationFailed, HostToolNotFound, HostKindMismatch, InputProblem, maxInputProblems, HostInputInvalid, HostToolBlocked, HostToolApprovalRequired, HostToolPolicyFailed, HostOutputInvalid, HostError, HostResponse, HostInvocation, } from "./protocols/9.js";
+export { McpError, SkillLoadFailed } from "./protocols/10.js";
+export { DeclaredAuthMethod, DeclaredProvider, ResolvedAccount, ResolvedAccounts, TrustedToolApproval, InvocationDeadline, HostedTool, HostedToolSummary, HostRouterError, HostedRouter, HostedCatalog, HostedCatalogSummary, SkillSources, SkillCatalogResponse, HostRequestInvalid, HostAccountsInvalid, HostDeclarationInvalid, HostEvaluationFailed, HostOperationNotFound, HostOperationFailed, HostToolNotFound, HostKindMismatch, InputProblem, maxInputProblems, HostInputInvalid, HostToolBlocked, HostToolApprovalRequired, HostToolPolicyFailed, HostOutputInvalid, HostError, HostResponse, HostInvocation, } from "./protocols/10.js";
 /** Raw host inputs; the host boundary parses and redacts these immediately. */
 export type ResolvedAccountsInput = typeof ResolvedAccounts.Encoded;
 /** Trusted invocation context, supplied separately from the Request. */
@@ -62,7 +63,8 @@ export interface HostContext {
     /** Trusted in-process tracing capability; never decoded from a public request. */
     readonly telemetry?: InvocationTelemetry;
     readonly approval?: TrustedToolApproval;
-    readonly storage?: AppStorage;
+    /** The data facet's SQLite storage, for apps that declare `sql`. Never exposed to app code. */
+    readonly storage?: AppSqlStorage;
     readonly accounts: Redacted.Redacted<ResolvedAccounts>;
 }
 /** Skill commands. Send sources only to builds that declare skillSources. */
@@ -99,7 +101,7 @@ export declare const selectTools: (tools?: readonly string[]) => <A extends {
     }[];
 }>(catalog: A) => A;
 /** Declaration reads do not bind accounts or evaluate the app factory. A named declaration
- * problem, such as a reserved database field, is reported so the deploy can explain it. */
+ * problem is reported so the deploy can explain it. */
 export declare const HostRequirementsError: Schema.Union<readonly [typeof HostRequestInvalid, typeof HostDeclarationInvalid, typeof DatabaseFieldReserved]>;
 /** Inspection can fail while binding accounts or evaluating the live definition. */
 export declare const HostInspectError: Schema.Union<readonly [typeof ProviderError, typeof McpError, typeof SkillLoadFailed, typeof HostRequestInvalid, typeof HostDeclarationInvalid, typeof HostAccountsInvalid, typeof HostEvaluationFailed]>;

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

@@ -1,6 +1,8 @@
 /** Browser subscription contracts contain no executable server declarations. */
 import { Schema } from "effect";
 import type { JsonValue } from "./schema.js";
+/** Names of authored operations. */
+export declare const OperationName: Schema.NonEmptyString;
 /** Serializable named reference; the phantom field is never populated at runtime. */
 export interface OperationReference<Input, Output, Kind extends "query" | "mutation"> {
     readonly name: string;

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

@@ -1,13 +1,13 @@
-/** Native operation declarations. Database access is an optional invocation capability. */
+/** Native operation declarations. SQL access is an optional invocation capability. */
 import type { Effect, Schema } from "effect";
 import type { Approval } from "./approval.js";
 import type { BoundContext, AccountSlots } from "./app.js";
-import type { Database, DatabaseReader, Tables } from "./storage.js";
+import type { Sql, SqlReader } from "./sql.js";
 import type { ToolAnnotations } from "./tools.js";
 import type { JsonObject } from "./schema.js";
 /** Host-bound operation capabilities; the author declaration refines accounts and storage. */
 export type OperationContext = BoundContext<AccountSlots> & {
-    readonly db?: DatabaseReader<Tables> | Database<Tables>;
+    readonly sql?: SqlReader | Sql;
 };
 /** The host validates input, checks approval, then owns the transaction and output validation. */
 export interface AppOperation<Input = unknown, Output = unknown> {

package/types/apps/src/contracts/protocol-version.d.ts

@@ -1,6 +1,6 @@
 /**
  * The host protocol this framework speaks. It is written into `runtime.json` and every host
- * snapshot. Released protocols are frozen: see `protocols/9.ts` and notes/apps-publishing.md.
+ * snapshot. Released protocols are frozen: see `protocols/10.ts` and notes/apps-publishing.md.
  * This file has no imports so the package build script can read it directly.
  */
-export declare const frameworkProtocol = 9;
+export declare const frameworkProtocol = 10;