@aotter/mantle 0.2.0 → 0.2.1-alpha.1

package/README.md

@@ -159,8 +159,12 @@ Writes are lazy thenables: await `collection.insert/update/delete(...)` to execu
 or pass unused Writes from the same Store to `store.batch([...])` for atomic results in input order;
 a stale lock, excluded row or unique clash rolls back the whole batch with `CONFLICT`.
 A batch step cannot use a previous step's result. D1 supports only batch.
-On bun:sqlite and PostgreSQL, `store.transaction(async tx => { ... })` binds `collection`, `views`
-and `procedures` to one transaction: resolve commits, throw rolls back; nested transactions and `tx.batch` are refused.
+On bun:sqlite and PostgreSQL, `store.transaction(async tx => { ... })` binds `collection`, `batch`, `views`
+and `procedures` to one transaction: resolve commits, throw rolls back; nested transactions are refused.
+`tx.batch` and a ref handler's `ctx.store.batch` join that same transaction, without a savepoint or another BEGIN.
+A rejected batch makes the whole outer transaction rollback-only: even if the callback catches the error and returns,
+its transaction rejects with the first batch failure and rolls back every write. This includes batch validation errors.
+Ref handlers can use `ctx.store.batch` on every target, including D1, without creating another Store.
 PostgreSQL defaults to serializable; `{ isolation: "read committed" }` selects another level. There is no automatic retry.
 SQLite uses BEGIN IMMEDIATE and queues all Store/generated driver calls on the same Database until COMMIT/ROLLBACK;
 Inside a transaction callback the outer Store or handle passed to a Mantle driver throws `INPUT_VALIDATION_FAILED`; use `tx`.

package/dist/build/compiler.d.ts

@@ -1,11 +1,11 @@
-import { SqlNode, SqlSchemaDef, SqlDiagnostic, SqlContext, SqlPlan, checkShapeProblem, CHECK_FUNCTIONS, storageColumnClash, notNullColumns, NATIVE_COLUMNS, NATIVE_NOT_NULL, AGGREGATES, storageColumns, viewCacheProblem, SqlDiagnosticCode, SchemaColumns, PG_GRAMMAR } from "./spec/domain/model/SqlIr.js";
-export { SqlNode, SqlSchemaDef, SqlDiagnostic, SqlContext, SqlPlan, checkShapeProblem, CHECK_FUNCTIONS, storageColumnClash, notNullColumns, NATIVE_COLUMNS, NATIVE_NOT_NULL, AGGREGATES, storageColumns, viewCacheProblem, SqlDiagnosticCode, SchemaColumns, PG_GRAMMAR };
+import { SqlNode, SqlSchemaDef, SqlDiagnostic, SqlContext, SqlPlan, lockIndexProblem, lockShapeProblem, checkShapeProblem, CHECK_FUNCTIONS, storageColumnClash, notNullColumns, NATIVE_COLUMNS, NATIVE_NOT_NULL, AGGREGATES, storageColumns, viewCacheProblem, SqlDiagnosticCode, SchemaColumns, SqlLock, PG_GRAMMAR } from "./spec/domain/model/SqlIr.js";
+export { SqlNode, SqlSchemaDef, SqlDiagnostic, SqlContext, SqlPlan, lockIndexProblem, lockShapeProblem, checkShapeProblem, CHECK_FUNCTIONS, storageColumnClash, notNullColumns, NATIVE_COLUMNS, NATIVE_NOT_NULL, AGGREGATES, storageColumns, viewCacheProblem, SqlDiagnosticCode, SchemaColumns, SqlLock, PG_GRAMMAR };
 import { RuntimePlan, PlanRestrict, NATIVE_OUTPUT_TYPES, PlanLowered, PlanTrigger, PlanProcedure, PlanView, PlanSchema, RUNTIME_PLAN_VERSION, LoweredStatement, LoweredView, LoweredMode, LoweredPage } from "./spec/domain/model/RuntimePlan.js";
 export { RuntimePlan, PlanRestrict, NATIVE_OUTPUT_TYPES, PlanLowered, PlanTrigger, PlanProcedure, PlanView, PlanSchema, RUNTIME_PLAN_VERSION, LoweredStatement, LoweredView, LoweredMode, LoweredPage };
 import { UserFieldSpec, UserScope, RowTemplate, parseRowTemplate } from "./spec/domain/model/UserFields.js";
 export { UserFieldSpec, UserScope, RowTemplate, parseRowTemplate };
-import { ProcedureMcpAnnotations, JsonSchema, AuthorizationRequirements, RESERVED_PROCEDURE_INPUT_NAMES, INPUT_RULE_KEYWORDS, EXPECTED_VERSION_PROPERTY, RESERVED_ENTRY_COLUMNS, TriggerManifest, ProcedureManifest, ViewManifest, SchemaManifest, Manifest, HttpMethod, McpTriggerSurface, McpTriggerSource, MCP_TRIGGER_SURFACES, LifecycleHook, LifecycleTriggerSource, LIFECYCLE_HOOKS, HttpTriggerSource, ScheduleTriggerSource, TriggerSource, TriggerManifestSpec, AdminRole, isAdminRole, CtxAuthScopePredicate, CtxAuthPredicate, CtxUserPredicate, AuthPredicate, HandlerSqlBinding, HandlerRefBinding, HandlerBinding, PROCEDURE_MCP_ANNOTATION_KEYS, PROCEDURE_TARGET_KEYS, ProcedureTarget, LocalizedText, ProcedureManifestSpec, VIEW_INPUT_RESERVED, ViewCachePolicy, ViewSurface, ViewManifestSpec, VIEW_SURFACES, LifecycleMode, TranslatesBinding, SchemaManifestSpec, ManifestMetadata, ApiVersion, ManifestKind, resolveLocalizedText, isLocalizedText, MANTLE_BIND_KEYWORD, MCP_HINT_KEYWORD, MantleRefTarget, resolveMantleRef, enumOptions, MANTLE_REF_KEYWORD, MediaMcpHint, isMediaMcpHint, API_VERSION } from "./spec/domain/model/ManifestGrammar.js";
-export { ProcedureMcpAnnotations, JsonSchema, AuthorizationRequirements, RESERVED_PROCEDURE_INPUT_NAMES, INPUT_RULE_KEYWORDS, EXPECTED_VERSION_PROPERTY, RESERVED_ENTRY_COLUMNS, TriggerManifest, ProcedureManifest, ViewManifest, SchemaManifest, Manifest, HttpMethod, McpTriggerSurface, McpTriggerSource, MCP_TRIGGER_SURFACES, LifecycleHook, LifecycleTriggerSource, LIFECYCLE_HOOKS, HttpTriggerSource, ScheduleTriggerSource, TriggerSource, TriggerManifestSpec, AdminRole, isAdminRole, CtxAuthScopePredicate, CtxAuthPredicate, CtxUserPredicate, AuthPredicate, HandlerSqlBinding, HandlerRefBinding, HandlerBinding, PROCEDURE_MCP_ANNOTATION_KEYS, PROCEDURE_TARGET_KEYS, ProcedureTarget, LocalizedText, ProcedureManifestSpec, VIEW_INPUT_RESERVED, ViewCachePolicy, ViewSurface, ViewManifestSpec, VIEW_SURFACES, LifecycleMode, TranslatesBinding, SchemaManifestSpec, ManifestMetadata, ApiVersion, ManifestKind, resolveLocalizedText, isLocalizedText, MANTLE_BIND_KEYWORD, MCP_HINT_KEYWORD, MantleRefTarget, resolveMantleRef, enumOptions, MANTLE_REF_KEYWORD, MediaMcpHint, isMediaMcpHint, API_VERSION };
+import { ProcedureMcpAnnotations, JsonSchema, AuthorizationRequirements, RESERVED_PROCEDURE_INPUT_NAMES, INPUT_RULE_KEYWORDS, EXPECTED_VERSION_PROPERTY, RESERVED_ENTRY_COLUMNS, TriggerManifest, ProcedureManifest, ViewManifest, SchemaManifest, Manifest, HttpMethod, McpTriggerSurface, McpTriggerSource, MCP_TRIGGER_SURFACES, LifecycleHook, LifecycleTriggerSource, LIFECYCLE_HOOKS, HttpTriggerSource, ScheduleTriggerSource, TriggerSource, TriggerManifestSpec, AdminRole, isAdminRole, CtxAuthScopePredicate, CtxAuthPredicate, CtxUserPredicate, AuthPredicate, HandlerStep, stepProgram, HANDLER_STEP_KEYS, HandlerSqlBinding, HandlerRefBinding, HandlerBinding, PROCEDURE_MCP_ANNOTATION_KEYS, PROCEDURE_TARGET_KEYS, ProcedureTarget, LocalizedText, ProcedureManifestSpec, VIEW_INPUT_RESERVED, ViewCachePolicy, ViewSurface, ViewManifestSpec, VIEW_SURFACES, LifecycleMode, TranslatesBinding, LockVerb, SchemaLock, LOCK_VERBS, SchemaManifestSpec, ManifestMetadata, ApiVersion, ManifestKind, resolveLocalizedText, isLocalizedText, MANTLE_BIND_KEYWORD, MCP_HINT_KEYWORD, MantleRefTarget, resolveMantleRef, enumOptions, MANTLE_REF_KEYWORD, MediaMcpHint, isMediaMcpHint, API_VERSION } from "./spec/domain/model/ManifestGrammar.js";
+export { ProcedureMcpAnnotations, JsonSchema, AuthorizationRequirements, RESERVED_PROCEDURE_INPUT_NAMES, INPUT_RULE_KEYWORDS, EXPECTED_VERSION_PROPERTY, RESERVED_ENTRY_COLUMNS, TriggerManifest, ProcedureManifest, ViewManifest, SchemaManifest, Manifest, HttpMethod, McpTriggerSurface, McpTriggerSource, MCP_TRIGGER_SURFACES, LifecycleHook, LifecycleTriggerSource, LIFECYCLE_HOOKS, HttpTriggerSource, ScheduleTriggerSource, TriggerSource, TriggerManifestSpec, AdminRole, isAdminRole, CtxAuthScopePredicate, CtxAuthPredicate, CtxUserPredicate, AuthPredicate, HandlerStep, stepProgram, HANDLER_STEP_KEYS, HandlerSqlBinding, HandlerRefBinding, HandlerBinding, PROCEDURE_MCP_ANNOTATION_KEYS, PROCEDURE_TARGET_KEYS, ProcedureTarget, LocalizedText, ProcedureManifestSpec, VIEW_INPUT_RESERVED, ViewCachePolicy, ViewSurface, ViewManifestSpec, VIEW_SURFACES, LifecycleMode, TranslatesBinding, LockVerb, SchemaLock, LOCK_VERBS, SchemaManifestSpec, ManifestMetadata, ApiVersion, ManifestKind, resolveLocalizedText, isLocalizedText, MANTLE_BIND_KEYWORD, MCP_HINT_KEYWORD, MantleRefTarget, resolveMantleRef, enumOptions, MANTLE_REF_KEYWORD, MediaMcpHint, isMediaMcpHint, API_VERSION };
 import { Diagnostic, DiagnosticError, runtimeDiagnostic, bootDiagnostic, validateDiagnostic, makeDiagnostic, SourceLocation, Phase, DiagnosticCode, SourceSpan, SourcePosition, DIAGNOSTIC_CODES } from "./spec/kernel/diagnostic.js";
 export { Diagnostic, DiagnosticError, runtimeDiagnostic, bootDiagnostic, validateDiagnostic, makeDiagnostic, SourceLocation, Phase, DiagnosticCode, SourceSpan, SourcePosition, DIAGNOSTIC_CODES };
 import { planFingerprint, fnv, canonical } from "./spec/domain/service/PlanFingerprint.js";