@abloatai/ablo 0.36.0 → 0.37.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/AGENTS.md +2 -2
- package/CHANGELOG.md +55 -2014
- package/NOTICE +2 -2
- package/README.md +45 -63
- package/assets/banner.png +0 -0
- package/dist/auth.d.ts +2 -0
- package/dist/auth.d.ts.map +1 -0
- package/dist/auth.js +2 -0
- package/dist/auth.js.map +1 -0
- package/dist/client.d.ts +3 -0
- package/dist/client.d.ts.map +1 -0
- package/dist/client.js +3 -0
- package/dist/client.js.map +1 -0
- package/dist/coordination.d.ts +2 -0
- package/dist/coordination.d.ts.map +1 -0
- package/dist/coordination.js +2 -0
- package/dist/coordination.js.map +1 -0
- package/dist/index.d.ts +3 -114
- package/dist/index.d.ts.map +1 -0
- package/dist/index.js +3 -163
- package/dist/index.js.map +1 -0
- package/dist/react.d.ts +4 -0
- package/dist/react.d.ts.map +1 -0
- package/dist/react.js +3 -0
- package/dist/react.js.map +1 -0
- package/dist/schema.d.ts +2 -0
- package/dist/schema.d.ts.map +1 -0
- package/dist/schema.js +2 -0
- package/dist/schema.js.map +1 -0
- package/dist/server.d.ts +2 -0
- package/dist/server.d.ts.map +1 -0
- package/dist/server.js +2 -0
- package/dist/server.js.map +1 -0
- package/dist/source-conformance.d.ts +2 -0
- package/dist/source-conformance.d.ts.map +1 -0
- package/dist/source-conformance.js +2 -0
- package/dist/source-conformance.js.map +1 -0
- package/dist/source-drizzle.d.ts +2 -0
- package/dist/source-drizzle.d.ts.map +1 -0
- package/dist/source-drizzle.js +2 -0
- package/dist/source-drizzle.js.map +1 -0
- package/dist/source-kysely.d.ts +2 -0
- package/dist/source-kysely.d.ts.map +1 -0
- package/dist/source-kysely.js +2 -0
- package/dist/source-kysely.js.map +1 -0
- package/dist/source-next.d.ts +2 -0
- package/dist/source-next.d.ts.map +1 -0
- package/dist/source-next.js +2 -0
- package/dist/source-next.js.map +1 -0
- package/dist/source.d.ts +2 -0
- package/dist/source.d.ts.map +1 -0
- package/dist/source.js +2 -0
- package/dist/source.js.map +1 -0
- package/dist/wire.d.ts +2 -0
- package/dist/wire.d.ts.map +1 -0
- package/dist/wire.js +2 -0
- package/dist/wire.js.map +1 -0
- package/docs/agents.md +1 -1
- package/docs/api-keys.md +7 -6
- package/docs/api.md +10 -10
- package/docs/client-behavior.md +5 -5
- package/docs/coordination.md +52 -62
- package/docs/data-sources.md +1 -1
- package/docs/examples/agent-human.md +4 -4
- package/docs/examples/ai-sdk-tool.md +1 -1
- package/docs/examples/existing-python-backend.md +15 -4
- package/docs/examples/nextjs.md +27 -6
- package/docs/examples/server-agent.md +2 -2
- package/docs/how-it-works.md +4 -4
- package/docs/identity.md +2 -1
- package/docs/integration-guide.md +24 -13
- package/docs/internal/README.md +18 -0
- package/docs/internal/agent-fleet-coordination-design.md +171 -0
- package/docs/internal/agent-orchestration.md +58 -0
- package/docs/internal/commit-identifiers.md +91 -0
- package/docs/internal/concurrency-open-decisions.md +37 -0
- package/docs/internal/data-source-reverse-channel.md +150 -0
- package/docs/internal/per-field-conflict-detection.md +165 -0
- package/docs/internal/postgres-replication.md +64 -0
- package/docs/internal/serializable-schema.md +119 -0
- package/docs/internal/structure.md +32 -0
- package/docs/mcp.md +2 -2
- package/docs/migration.md +3 -3
- package/docs/quickstart.md +2 -2
- package/docs/react.md +5 -5
- package/docs/schema-contract.md +3 -3
- package/docs/sessions.md +91 -37
- package/examples/README.md +2 -2
- package/examples/data-source/README.md +1 -1
- package/examples/data-source/ablo-driver.ts +1 -1
- package/examples/data-source/customer-server.ts +1 -1
- package/examples/data-source/run.ts +1 -1
- package/examples/data-source/schema.ts +1 -1
- package/examples/quickstart.ts +2 -2
- package/llms.txt +8 -8
- package/package.json +63 -166
- package/bin/ablo.cjs +0 -39
- package/dist/BaseSyncedStore.d.ts +0 -843
- package/dist/BaseSyncedStore.js +0 -1971
- package/dist/Database.d.ts +0 -323
- package/dist/Database.js +0 -1502
- package/dist/InstanceCache.d.ts +0 -237
- package/dist/InstanceCache.js +0 -1166
- package/dist/LazyReferenceCollection.d.ts +0 -177
- package/dist/LazyReferenceCollection.js +0 -461
- package/dist/Model.d.ts +0 -454
- package/dist/Model.js +0 -919
- package/dist/ModelRegistry.d.ts +0 -225
- package/dist/ModelRegistry.js +0 -539
- package/dist/NetworkMonitor.d.ts +0 -28
- package/dist/NetworkMonitor.js +0 -79
- package/dist/RuntimeContext.d.ts +0 -52
- package/dist/RuntimeContext.js +0 -80
- package/dist/SyncClient.d.ts +0 -541
- package/dist/SyncClient.js +0 -2202
- package/dist/adapters/alwaysOnline.d.ts +0 -14
- package/dist/adapters/alwaysOnline.js +0 -17
- package/dist/adapters/inMemoryStorage.d.ts +0 -31
- package/dist/adapters/inMemoryStorage.js +0 -110
- package/dist/ai-sdk/coordinatedTool.d.ts +0 -120
- package/dist/ai-sdk/coordinatedTool.js +0 -134
- package/dist/ai-sdk/coordinationContext.d.ts +0 -46
- package/dist/ai-sdk/coordinationContext.js +0 -106
- package/dist/ai-sdk/index.d.ts +0 -121
- package/dist/ai-sdk/index.js +0 -121
- package/dist/ai-sdk/wrap.d.ts +0 -65
- package/dist/ai-sdk/wrap.js +0 -39
- package/dist/auth/index.d.ts +0 -1
- package/dist/auth/index.js +0 -8
- package/dist/batching/index.d.ts +0 -55
- package/dist/batching/index.js +0 -147
- package/dist/client/Ablo.d.ts +0 -231
- package/dist/client/Ablo.js +0 -160
- package/dist/client/abloClient.d.ts +0 -309
- package/dist/client/abloClient.js +0 -13
- package/dist/client/clientPrelude.d.ts +0 -52
- package/dist/client/clientPrelude.js +0 -60
- package/dist/client/consoleLogger.d.ts +0 -35
- package/dist/client/consoleLogger.js +0 -44
- package/dist/client/coreClient.d.ts +0 -60
- package/dist/client/coreClient.js +0 -118
- package/dist/client/createInternalComponents.d.ts +0 -50
- package/dist/client/createInternalComponents.js +0 -98
- package/dist/client/createModelProxy.d.ts +0 -248
- package/dist/client/createModelProxy.js +0 -884
- package/dist/client/humans.d.ts +0 -69
- package/dist/client/humans.js +0 -78
- package/dist/client/modelRegistration.d.ts +0 -10
- package/dist/client/modelRegistration.js +0 -312
- package/dist/client/options.d.ts +0 -461
- package/dist/client/options.js +0 -7
- package/dist/client/reactiveEngine.d.ts +0 -53
- package/dist/client/reactiveEngine.js +0 -688
- package/dist/client/resourceTypes.d.ts +0 -12
- package/dist/client/resourceTypes.js +0 -10
- package/dist/client/schemaConfig.d.ts +0 -44
- package/dist/client/schemaConfig.js +0 -185
- package/dist/client/storeCluster.d.ts +0 -47
- package/dist/client/storeCluster.js +0 -118
- package/dist/client/storeLifecycle.d.ts +0 -61
- package/dist/client/storeLifecycle.js +0 -231
- package/dist/client/validateAbloOptions.d.ts +0 -42
- package/dist/client/validateAbloOptions.js +0 -43
- package/dist/client/wsMutationExecutor.d.ts +0 -27
- package/dist/client/wsMutationExecutor.js +0 -72
- package/dist/context.d.ts +0 -42
- package/dist/context.js +0 -81
- package/dist/coordination/ClaimLog.d.ts +0 -26
- package/dist/coordination/ClaimLog.js +0 -32
- package/dist/coordination/index.d.ts +0 -1
- package/dist/coordination/index.js +0 -8
- package/dist/core/index.d.ts +0 -33
- package/dist/core/index.js +0 -48
- package/dist/docs/catalog.d.ts +0 -72
- package/dist/docs/catalog.js +0 -230
- package/dist/docs/index.d.ts +0 -10
- package/dist/docs/index.js +0 -10
- package/dist/environment.d.ts +0 -1
- package/dist/environment.js +0 -8
- package/dist/interfaces/index.d.ts +0 -311
- package/dist/interfaces/index.js +0 -9
- package/dist/keys/index.d.ts +0 -1
- package/dist/keys/index.js +0 -8
- package/dist/mutators/RecordingMutation.d.ts +0 -36
- package/dist/mutators/RecordingMutation.js +0 -182
- package/dist/mutators/Transaction.d.ts +0 -40
- package/dist/mutators/Transaction.js +0 -58
- package/dist/mutators/UndoManager.d.ts +0 -258
- package/dist/mutators/UndoManager.js +0 -658
- package/dist/mutators/defineMutators.d.ts +0 -60
- package/dist/mutators/defineMutators.js +0 -18
- package/dist/mutators/inverseOp.d.ts +0 -126
- package/dist/mutators/inverseOp.js +0 -71
- package/dist/mutators/mutateActions.d.ts +0 -45
- package/dist/mutators/mutateActions.js +0 -105
- package/dist/mutators/readerActions.d.ts +0 -33
- package/dist/mutators/readerActions.js +0 -57
- package/dist/mutators/undoApply.d.ts +0 -51
- package/dist/mutators/undoApply.js +0 -117
- package/dist/policy/index.d.ts +0 -21
- package/dist/policy/index.js +0 -20
- package/dist/query/QueryProcessor.d.ts +0 -75
- package/dist/query/QueryProcessor.js +0 -255
- package/dist/query/client.d.ts +0 -64
- package/dist/query/client.js +0 -138
- package/dist/query/types.d.ts +0 -85
- package/dist/query/types.js +0 -16
- package/dist/react/AbloProvider.d.ts +0 -242
- package/dist/react/AbloProvider.js +0 -458
- package/dist/react/ClientSideSuspense.d.ts +0 -36
- package/dist/react/ClientSideSuspense.js +0 -17
- package/dist/react/DefaultFallback.d.ts +0 -24
- package/dist/react/DefaultFallback.js +0 -43
- package/dist/react/context.d.ts +0 -55
- package/dist/react/context.js +0 -29
- package/dist/react/createAbloReact.d.ts +0 -56
- package/dist/react/createAbloReact.js +0 -51
- package/dist/react/index.d.ts +0 -62
- package/dist/react/index.js +0 -69
- package/dist/react/internalContext.d.ts +0 -33
- package/dist/react/internalContext.js +0 -3
- package/dist/react/useAblo.d.ts +0 -82
- package/dist/react/useAblo.js +0 -120
- package/dist/react/useCurrentUserId.d.ts +0 -22
- package/dist/react/useCurrentUserId.js +0 -34
- package/dist/react/useErrorListener.d.ts +0 -20
- package/dist/react/useErrorListener.js +0 -38
- package/dist/react/useMutationFailureListener.d.ts +0 -26
- package/dist/react/useMutationFailureListener.js +0 -38
- package/dist/react/useMutators.d.ts +0 -56
- package/dist/react/useMutators.js +0 -84
- package/dist/react/useReactive.d.ts +0 -35
- package/dist/react/useReactive.js +0 -123
- package/dist/react/useSyncStatus.d.ts +0 -59
- package/dist/react/useSyncStatus.js +0 -76
- package/dist/react/useUndoScope.d.ts +0 -34
- package/dist/react/useUndoScope.js +0 -81
- package/dist/schema/coordination.d.ts +0 -112
- package/dist/schema/coordination.js +0 -133
- package/dist/schema/ddl.d.ts +0 -97
- package/dist/schema/ddl.js +0 -491
- package/dist/schema/ddlLock.d.ts +0 -35
- package/dist/schema/ddlLock.js +0 -46
- package/dist/schema/diff.d.ts +0 -225
- package/dist/schema/diff.js +0 -289
- package/dist/schema/generate.d.ts +0 -19
- package/dist/schema/generate.js +0 -86
- package/dist/schema/index.d.ts +0 -42
- package/dist/schema/index.js +0 -80
- package/dist/schema/queries.d.ts +0 -201
- package/dist/schema/queries.js +0 -144
- package/dist/schema/select.d.ts +0 -40
- package/dist/schema/select.js +0 -90
- package/dist/schema/serialize.d.ts +0 -115
- package/dist/schema/serialize.js +0 -265
- package/dist/schema/sugar.d.ts +0 -109
- package/dist/schema/sugar.js +0 -83
- package/dist/schema/syncDeltaRow.d.ts +0 -6
- package/dist/schema/syncDeltaRow.js +0 -6
- package/dist/server/adapter.d.ts +0 -173
- package/dist/server/adapter.js +0 -18
- package/dist/server/commit.d.ts +0 -107
- package/dist/server/commit.js +0 -1
- package/dist/server/index.d.ts +0 -14
- package/dist/server/index.js +0 -2
- package/dist/server/readConfig.d.ts +0 -80
- package/dist/server/readConfig.js +0 -8
- package/dist/server/storageMode.d.ts +0 -23
- package/dist/server/storageMode.js +0 -17
- package/dist/source/adapter.d.ts +0 -83
- package/dist/source/adapter.js +0 -24
- package/dist/source/adapters/drizzle.d.ts +0 -48
- package/dist/source/adapters/drizzle.js +0 -219
- package/dist/source/adapters/kysely.d.ts +0 -42
- package/dist/source/adapters/kysely.js +0 -205
- package/dist/source/adapters/kyselyMutationCore.d.ts +0 -76
- package/dist/source/adapters/kyselyMutationCore.js +0 -125
- package/dist/source/adapters/memory.d.ts +0 -13
- package/dist/source/adapters/memory.js +0 -130
- package/dist/source/adapters/prisma.d.ts +0 -63
- package/dist/source/adapters/prisma.js +0 -202
- package/dist/source/conformance.d.ts +0 -37
- package/dist/source/conformance.js +0 -215
- package/dist/source/connector.d.ts +0 -95
- package/dist/source/connector.js +0 -266
- package/dist/source/connectorProtocol.d.ts +0 -154
- package/dist/source/connectorProtocol.js +0 -163
- package/dist/source/contract.d.ts +0 -195
- package/dist/source/contract.js +0 -164
- package/dist/source/factory.d.ts +0 -92
- package/dist/source/factory.js +0 -286
- package/dist/source/idempotency.d.ts +0 -61
- package/dist/source/idempotency.js +0 -144
- package/dist/source/index.d.ts +0 -23
- package/dist/source/index.js +0 -30
- package/dist/source/migrations.d.ts +0 -21
- package/dist/source/migrations.js +0 -103
- package/dist/source/next.d.ts +0 -32
- package/dist/source/next.js +0 -25
- package/dist/source/pushQueue.d.ts +0 -134
- package/dist/source/pushQueue.js +0 -256
- package/dist/source/signing.d.ts +0 -92
- package/dist/source/signing.js +0 -162
- package/dist/source/types.d.ts +0 -401
- package/dist/source/types.js +0 -59
- package/dist/storeContract.d.ts +0 -145
- package/dist/storeContract.js +0 -12
- package/dist/stores/DatabaseManager.d.ts +0 -107
- package/dist/stores/DatabaseManager.js +0 -388
- package/dist/stores/ObjectStore.d.ts +0 -115
- package/dist/stores/ObjectStore.js +0 -393
- package/dist/stores/ObjectStoreContract.d.ts +0 -38
- package/dist/stores/ObjectStoreContract.js +0 -1
- package/dist/stores/StoreManager.d.ts +0 -114
- package/dist/stores/StoreManager.js +0 -304
- package/dist/stores/SyncActionStore.d.ts +0 -99
- package/dist/stores/SyncActionStore.js +0 -506
- package/dist/stores/openIDBWithTimeout.d.ts +0 -65
- package/dist/stores/openIDBWithTimeout.js +0 -153
- package/dist/stores/syncAction.d.ts +0 -26
- package/dist/stores/syncAction.js +0 -16
- package/dist/surface.d.ts +0 -36
- package/dist/surface.js +0 -75
- package/dist/sync/BootstrapFetcher.d.ts +0 -284
- package/dist/sync/BootstrapFetcher.js +0 -964
- package/dist/sync/ConnectionManager.d.ts +0 -8
- package/dist/sync/ConnectionManager.js +0 -8
- package/dist/sync/OnDemandLoader.d.ts +0 -231
- package/dist/sync/OnDemandLoader.js +0 -743
- package/dist/sync/SubscriptionManager.d.ts +0 -159
- package/dist/sync/SubscriptionManager.js +0 -243
- package/dist/sync/SyncWebSocket.d.ts +0 -173
- package/dist/sync/SyncWebSocket.js +0 -438
- package/dist/sync/awaitClaimGrant.d.ts +0 -6
- package/dist/sync/awaitClaimGrant.js +0 -6
- package/dist/sync/bootstrapApply.d.ts +0 -73
- package/dist/sync/bootstrapApply.js +0 -73
- package/dist/sync/commitFrames.d.ts +0 -8
- package/dist/sync/commitFrames.js +0 -8
- package/dist/sync/contextPorts.d.ts +0 -18
- package/dist/sync/contextPorts.js +0 -31
- package/dist/sync/createClaimStream.d.ts +0 -7
- package/dist/sync/createClaimStream.js +0 -7
- package/dist/sync/createPresenceStream.d.ts +0 -69
- package/dist/sync/createPresenceStream.js +0 -200
- package/dist/sync/createSnapshot.d.ts +0 -29
- package/dist/sync/createSnapshot.js +0 -118
- package/dist/sync/credentialLifecycle.d.ts +0 -7
- package/dist/sync/credentialLifecycle.js +0 -7
- package/dist/sync/deltaPipeline.d.ts +0 -114
- package/dist/sync/deltaPipeline.js +0 -278
- package/dist/sync/groupChange.d.ts +0 -116
- package/dist/sync/groupChange.js +0 -244
- package/dist/sync/participants.d.ts +0 -132
- package/dist/sync/participants.js +0 -346
- package/dist/sync/persistedPrefix.d.ts +0 -12
- package/dist/sync/persistedPrefix.js +0 -22
- package/dist/sync/schemaDrift.d.ts +0 -55
- package/dist/sync/schemaDrift.js +0 -53
- package/dist/sync/schemas.d.ts +0 -71
- package/dist/sync/schemas.js +0 -94
- package/dist/sync/syncCursor.d.ts +0 -40
- package/dist/sync/syncCursor.js +0 -55
- package/dist/sync/syncPlan.d.ts +0 -54
- package/dist/sync/syncPlan.js +0 -50
- package/dist/sync/wsFrameHandlers.d.ts +0 -8
- package/dist/sync/wsFrameHandlers.js +0 -8
- package/dist/syncLog/contract.d.ts +0 -20
- package/dist/syncLog/contract.js +0 -19
- package/dist/syncLog/index.d.ts +0 -1
- package/dist/syncLog/index.js +0 -1
- package/dist/transaction/ablo.d.ts +0 -88
- package/dist/transaction/ablo.js +0 -33
- package/dist/transaction/auth/apiKey.d.ts +0 -152
- package/dist/transaction/auth/apiKey.js +0 -419
- package/dist/transaction/auth/bootstrapScope.d.ts +0 -15
- package/dist/transaction/auth/bootstrapScope.js +0 -1
- package/dist/transaction/auth/capability.d.ts +0 -212
- package/dist/transaction/auth/capability.js +0 -224
- package/dist/transaction/auth/credentialEndpoint.d.ts +0 -61
- package/dist/transaction/auth/credentialEndpoint.js +0 -86
- package/dist/transaction/auth/credentialPolicy.d.ts +0 -148
- package/dist/transaction/auth/credentialPolicy.js +0 -125
- package/dist/transaction/auth/credentialSource.d.ts +0 -30
- package/dist/transaction/auth/credentialSource.js +0 -55
- package/dist/transaction/auth/hostedEndpoints.d.ts +0 -21
- package/dist/transaction/auth/hostedEndpoints.js +0 -21
- package/dist/transaction/auth/identity.d.ts +0 -55
- package/dist/transaction/auth/identity.js +0 -210
- package/dist/transaction/auth/index.d.ts +0 -162
- package/dist/transaction/auth/index.js +0 -304
- package/dist/transaction/auth/schemas.d.ts +0 -59
- package/dist/transaction/auth/schemas.js +0 -85
- package/dist/transaction/auth/sessionMint.d.ts +0 -28
- package/dist/transaction/auth/sessionMint.js +0 -85
- package/dist/transaction/coordination/awaitClaimGrant.d.ts +0 -56
- package/dist/transaction/coordination/awaitClaimGrant.js +0 -124
- package/dist/transaction/coordination/claimHeartbeatLoop.d.ts +0 -84
- package/dist/transaction/coordination/claimHeartbeatLoop.js +0 -108
- package/dist/transaction/coordination/claimMeta.d.ts +0 -49
- package/dist/transaction/coordination/claimMeta.js +0 -52
- package/dist/transaction/coordination/createClaimStream.d.ts +0 -64
- package/dist/transaction/coordination/createClaimStream.js +0 -475
- package/dist/transaction/coordination/events.d.ts +0 -74
- package/dist/transaction/coordination/events.js +0 -7
- package/dist/transaction/coordination/index.d.ts +0 -19
- package/dist/transaction/coordination/index.js +0 -45
- package/dist/transaction/coordination/locator.d.ts +0 -104
- package/dist/transaction/coordination/locator.js +0 -102
- package/dist/transaction/coordination/schema.d.ts +0 -1536
- package/dist/transaction/coordination/schema.js +0 -1177
- package/dist/transaction/coordination/targetConflict.d.ts +0 -2
- package/dist/transaction/coordination/targetConflict.js +0 -107
- package/dist/transaction/coordination/trace.d.ts +0 -78
- package/dist/transaction/coordination/trace.js +0 -138
- package/dist/transaction/durableWrites.d.ts +0 -62
- package/dist/transaction/durableWrites.js +0 -71
- package/dist/transaction/environment.d.ts +0 -105
- package/dist/transaction/environment.js +0 -108
- package/dist/transaction/errorCodes.d.ts +0 -403
- package/dist/transaction/errorCodes.js +0 -484
- package/dist/transaction/errors.d.ts +0 -428
- package/dist/transaction/errors.js +0 -686
- package/dist/transaction/footprint.d.ts +0 -111
- package/dist/transaction/footprint.js +0 -0
- package/dist/transaction/index.d.ts +0 -20
- package/dist/transaction/index.js +0 -20
- package/dist/transaction/keys/index.d.ts +0 -87
- package/dist/transaction/keys/index.js +0 -207
- package/dist/transaction/log/syncDeltaRow.d.ts +0 -158
- package/dist/transaction/log/syncDeltaRow.js +0 -95
- package/dist/transaction/logPosition.d.ts +0 -97
- package/dist/transaction/logPosition.js +0 -125
- package/dist/transaction/logger.d.ts +0 -16
- package/dist/transaction/logger.js +0 -7
- package/dist/transaction/observability.d.ts +0 -53
- package/dist/transaction/observability.js +0 -19
- package/dist/transaction/persistence.d.ts +0 -12
- package/dist/transaction/persistence.js +0 -11
- package/dist/transaction/plugin.d.ts +0 -285
- package/dist/transaction/plugin.js +0 -106
- package/dist/transaction/policy/types.d.ts +0 -217
- package/dist/transaction/policy/types.js +0 -126
- package/dist/transaction/resources/functionalUpdate.d.ts +0 -79
- package/dist/transaction/resources/functionalUpdate.js +0 -87
- package/dist/transaction/resources/httpResources.d.ts +0 -321
- package/dist/transaction/resources/httpResources.js +0 -7
- package/dist/transaction/resources/modelOperations.d.ts +0 -427
- package/dist/transaction/resources/modelOperations.js +0 -12
- package/dist/transaction/resources/mutationOptions.d.ts +0 -66
- package/dist/transaction/resources/mutationOptions.js +0 -9
- package/dist/transaction/resources/where.d.ts +0 -101
- package/dist/transaction/resources/where.js +0 -115
- package/dist/transaction/resources/writeOptionsSchema.d.ts +0 -47
- package/dist/transaction/resources/writeOptionsSchema.js +0 -73
- package/dist/transaction/schema/field.d.ts +0 -120
- package/dist/transaction/schema/field.js +0 -265
- package/dist/transaction/schema/fieldRef.d.ts +0 -38
- package/dist/transaction/schema/fieldRef.js +0 -11
- package/dist/transaction/schema/loadStrategy.d.ts +0 -45
- package/dist/transaction/schema/loadStrategy.js +0 -46
- package/dist/transaction/schema/model.d.ts +0 -379
- package/dist/transaction/schema/model.js +0 -123
- package/dist/transaction/schema/openapi.d.ts +0 -58
- package/dist/transaction/schema/openapi.js +0 -501
- package/dist/transaction/schema/relation.d.ts +0 -204
- package/dist/transaction/schema/relation.js +0 -104
- package/dist/transaction/schema/residency.d.ts +0 -29
- package/dist/transaction/schema/residency.js +0 -25
- package/dist/transaction/schema/roles.d.ts +0 -249
- package/dist/transaction/schema/roles.js +0 -230
- package/dist/transaction/schema/schema.d.ts +0 -351
- package/dist/transaction/schema/schema.js +0 -325
- package/dist/transaction/schema/tenancy.d.ts +0 -139
- package/dist/transaction/schema/tenancy.js +0 -190
- package/dist/transaction/transactionLayer.d.ts +0 -82
- package/dist/transaction/transactionLayer.js +0 -24
- package/dist/transaction/transactions/settlement/commitEnvelope.d.ts +0 -143
- package/dist/transaction/transactions/settlement/commitEnvelope.js +0 -161
- package/dist/transaction/transactions/settlement/httpCommitEnvelope.d.ts +0 -53
- package/dist/transaction/transactions/settlement/httpCommitEnvelope.js +0 -207
- package/dist/transaction/transactions/settlement/idempotencyKey.d.ts +0 -10
- package/dist/transaction/transactions/settlement/idempotencyKey.js +0 -9
- package/dist/transaction/transactions/settlement/pendingWrite.d.ts +0 -112
- package/dist/transaction/transactions/settlement/pendingWrite.js +0 -20
- package/dist/transaction/transport/commitFrames.d.ts +0 -90
- package/dist/transaction/transport/commitFrames.js +0 -134
- package/dist/transaction/transport/connectionManager.d.ts +0 -215
- package/dist/transaction/transport/connectionManager.js +0 -673
- package/dist/transaction/transport/credentialLifecycle.d.ts +0 -177
- package/dist/transaction/transport/credentialLifecycle.js +0 -324
- package/dist/transaction/transport/heartbeat.d.ts +0 -65
- package/dist/transaction/transport/heartbeat.js +0 -93
- package/dist/transaction/transport/httpClient.d.ts +0 -131
- package/dist/transaction/transport/httpClient.js +0 -146
- package/dist/transaction/transport/httpOptions.d.ts +0 -33
- package/dist/transaction/transport/httpOptions.js +0 -12
- package/dist/transaction/transport/httpTransport.d.ts +0 -8
- package/dist/transaction/transport/httpTransport.js +0 -1388
- package/dist/transaction/transport/networkProbe.d.ts +0 -84
- package/dist/transaction/transport/networkProbe.js +0 -207
- package/dist/transaction/transport/wsFrameHandlers.d.ts +0 -128
- package/dist/transaction/transport/wsFrameHandlers.js +0 -429
- package/dist/transaction/transport/wsTransport.d.ts +0 -574
- package/dist/transaction/transport/wsTransport.js +0 -1023
- package/dist/transaction/types/assertExact.d.ts +0 -17
- package/dist/transaction/types/assertExact.js +0 -1
- package/dist/transaction/types/global.d.ts +0 -107
- package/dist/transaction/types/global.js +0 -40
- package/dist/transaction/types/index.d.ts +0 -205
- package/dist/transaction/types/index.js +0 -56
- package/dist/transaction/types/modelData.d.ts +0 -10
- package/dist/transaction/types/modelData.js +0 -9
- package/dist/transaction/types/participant.d.ts +0 -20
- package/dist/transaction/types/participant.js +0 -10
- package/dist/transaction/types/streams.d.ts +0 -550
- package/dist/transaction/types/streams.js +0 -11
- package/dist/transaction/utils/asyncIterator.d.ts +0 -34
- package/dist/transaction/utils/asyncIterator.js +0 -135
- package/dist/transaction/utils/duration.d.ts +0 -50
- package/dist/transaction/utils/duration.js +0 -77
- package/dist/transaction/utils/json.d.ts +0 -57
- package/dist/transaction/utils/json.js +0 -276
- package/dist/transaction/wire/accountResponses.d.ts +0 -420
- package/dist/transaction/wire/accountResponses.js +0 -290
- package/dist/transaction/wire/auth.d.ts +0 -56
- package/dist/transaction/wire/auth.js +0 -63
- package/dist/transaction/wire/bootstrapReason.d.ts +0 -9
- package/dist/transaction/wire/bootstrapReason.js +0 -8
- package/dist/transaction/wire/claimEvent.d.ts +0 -76
- package/dist/transaction/wire/claimEvent.js +0 -73
- package/dist/transaction/wire/claims.d.ts +0 -530
- package/dist/transaction/wire/claims.js +0 -327
- package/dist/transaction/wire/commit.d.ts +0 -603
- package/dist/transaction/wire/commit.js +0 -321
- package/dist/transaction/wire/delta.d.ts +0 -250
- package/dist/transaction/wire/delta.js +0 -147
- package/dist/transaction/wire/errorEnvelope.d.ts +0 -72
- package/dist/transaction/wire/errorEnvelope.js +0 -123
- package/dist/transaction/wire/feedCursor.d.ts +0 -60
- package/dist/transaction/wire/feedCursor.js +0 -82
- package/dist/transaction/wire/feedEvent.d.ts +0 -204
- package/dist/transaction/wire/feedEvent.js +0 -65
- package/dist/transaction/wire/frames.d.ts +0 -194
- package/dist/transaction/wire/frames.js +0 -50
- package/dist/transaction/wire/inboundFrames.d.ts +0 -562
- package/dist/transaction/wire/inboundFrames.js +0 -116
- package/dist/transaction/wire/index.d.ts +0 -54
- package/dist/transaction/wire/index.js +0 -83
- package/dist/transaction/wire/listEnvelope.d.ts +0 -37
- package/dist/transaction/wire/listEnvelope.js +0 -42
- package/dist/transaction/wire/modelMutations.d.ts +0 -31
- package/dist/transaction/wire/modelMutations.js +0 -52
- package/dist/transaction/wire/modelResponses.d.ts +0 -85
- package/dist/transaction/wire/modelResponses.js +0 -43
- package/dist/transaction/wire/modelShape.d.ts +0 -78
- package/dist/transaction/wire/modelShape.js +0 -74
- package/dist/transaction/wire/protocol.d.ts +0 -38
- package/dist/transaction/wire/protocol.js +0 -38
- package/dist/transaction/wire/protocolVersion.d.ts +0 -73
- package/dist/transaction/wire/protocolVersion.js +0 -83
- package/dist/transactions/mutations/MutationQueue.d.ts +0 -661
- package/dist/transactions/mutations/MutationQueue.js +0 -2807
- package/dist/transactions/mutations/MutationStore.d.ts +0 -20
- package/dist/transactions/mutations/MutationStore.js +0 -53
- package/dist/transactions/mutations/UnconfirmedWrites.d.ts +0 -82
- package/dist/transactions/mutations/UnconfirmedWrites.js +0 -104
- package/dist/transactions/mutations/coalesceRules.d.ts +0 -58
- package/dist/transactions/mutations/coalesceRules.js +0 -140
- package/dist/transactions/mutations/commitLatency.d.ts +0 -52
- package/dist/transactions/mutations/commitLatency.js +0 -130
- package/dist/transactions/mutations/commitOutboxStore.d.ts +0 -28
- package/dist/transactions/mutations/commitOutboxStore.js +0 -26
- package/dist/transactions/mutations/commitPayload.d.ts +0 -165
- package/dist/transactions/mutations/commitPayload.js +0 -152
- package/dist/transactions/mutations/deltaConfirmation.d.ts +0 -63
- package/dist/transactions/mutations/deltaConfirmation.js +0 -235
- package/dist/transactions/mutations/durableWriteStore.d.ts +0 -14
- package/dist/transactions/mutations/durableWriteStore.js +0 -12
- package/dist/transactions/mutations/optimisticApply.d.ts +0 -49
- package/dist/transactions/mutations/optimisticApply.js +0 -65
- package/dist/transactions/mutations/replayValidation.d.ts +0 -187
- package/dist/transactions/mutations/replayValidation.js +0 -164
- package/dist/utils/mobxSetup.d.ts +0 -53
- package/dist/utils/mobxSetup.js +0 -330
- package/dist/views/QueryView.d.ts +0 -79
- package/dist/views/QueryView.js +0 -218
- package/dist/views/ViewRegistry.d.ts +0 -20
- package/dist/views/ViewRegistry.js +0 -55
- package/dist/views/incrementalView.d.ts +0 -45
- package/dist/views/incrementalView.js +0 -69
- package/dist/webhooks/events.d.ts +0 -43
- package/dist/webhooks/events.js +0 -42
- package/dist/webhooks/index.d.ts +0 -8
- package/dist/webhooks/index.js +0 -8
- package/dist/wire/index.d.ts +0 -1
- package/dist/wire/index.js +0 -8
|
@@ -1,107 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Whether two claims on the same entity collide — the single most consequential
|
|
3
|
-
* predicate in the claim protocol, and the one rule that decides whether a
|
|
4
|
-
* second writer is granted a lease or made to wait.
|
|
5
|
-
*
|
|
6
|
-
* It lived in two files for as long as there were two claim authorities: the
|
|
7
|
-
* Redis lease store, which is authoritative wherever Redis is wired, and the
|
|
8
|
-
* in-process presence store, which answers when it is not. Both spelled the
|
|
9
|
-
* rule out in full, byte for byte, so a change to the granularity semantics had
|
|
10
|
-
* two places to land and no way to notice when it landed in one. It is one
|
|
11
|
-
* definition here, and both authorities import it.
|
|
12
|
-
*
|
|
13
|
-
* It lives in the settlement core rather than the server because it is the rule
|
|
14
|
-
* itself, not a deployment of it: a claim authority running against a
|
|
15
|
-
* developer's own database has to answer this question exactly the same way,
|
|
16
|
-
* and a client that wants to predict a refusal before paying for the round trip
|
|
17
|
-
* reads the same predicate. Nothing about it needs a socket, a store, or a
|
|
18
|
-
* screen.
|
|
19
|
-
*
|
|
20
|
-
* Entity identity is NOT part of this comparison. Callers reach this predicate
|
|
21
|
-
* having already narrowed to a single `(organization, environment, entityType,
|
|
22
|
-
* entityId)` bucket — the lease store through its key, the presence store
|
|
23
|
-
* through its per-entity scan — so what remains to decide is only whether the
|
|
24
|
-
* two sub-targets within that entity overlap.
|
|
25
|
-
*
|
|
26
|
-
* **The bias is deliberate: when in doubt, conflict.** A false conflict costs a
|
|
27
|
-
* writer a wait. A missed conflict hands two writers the same target and loses
|
|
28
|
-
* one of their updates with no error anywhere, which is the failure this
|
|
29
|
-
* predicate exists to prevent.
|
|
30
|
-
*/
|
|
31
|
-
/**
|
|
32
|
-
* The named parts a claim covers, as one set.
|
|
33
|
-
*
|
|
34
|
-
* `field` and `fields` are the same idea at two cardinalities, so the rule
|
|
35
|
-
* reads both through here and never has to ask which one a caller used. Names
|
|
36
|
-
* are lowercased for the same reason the single-field comparison always
|
|
37
|
-
* lowercased them.
|
|
38
|
-
*/
|
|
39
|
-
function fieldSet(target) {
|
|
40
|
-
const named = [
|
|
41
|
-
...(target?.field !== undefined ? [target.field] : []),
|
|
42
|
-
...(target?.fields ?? []),
|
|
43
|
-
];
|
|
44
|
-
// A path names a part too: `/content/3` addresses a position inside the
|
|
45
|
-
// `content` field, so a claim on it covers that field and nothing else.
|
|
46
|
-
//
|
|
47
|
-
// Deriving it here is what stops a path from reading as EVERY field. A
|
|
48
|
-
// target that named no field left this set empty, and an empty set means
|
|
49
|
-
// "all of them" — so a claim on one paragraph blocked a write to `status`
|
|
50
|
-
// on the same row. It also makes the exclusion honest in the other
|
|
51
|
-
// direction: a write of the whole `content` field does conflict with a
|
|
52
|
-
// claim on part of it, because nothing can write only that part.
|
|
53
|
-
//
|
|
54
|
-
// Only when no field was named outright — an explicit `field`/`fields`
|
|
55
|
-
// beside a path is the caller being specific, and is not second-guessed.
|
|
56
|
-
// A bare `range` derives nothing: it names a span without saying of what,
|
|
57
|
-
// so it stays the conservative whole-row answer.
|
|
58
|
-
const rootOfPath = named.length === 0 && target?.path !== undefined
|
|
59
|
-
? target.path.split('/').filter(Boolean)[0]
|
|
60
|
-
: undefined;
|
|
61
|
-
const names = rootOfPath !== undefined ? [...named, rootOfPath] : named;
|
|
62
|
-
return new Set(names.map((n) => n.toLowerCase()));
|
|
63
|
-
}
|
|
64
|
-
/** Whether a claim narrows below the whole entity at all. */
|
|
65
|
-
function hasSubtarget(target) {
|
|
66
|
-
return Boolean(target?.path ||
|
|
67
|
-
target?.field ||
|
|
68
|
-
(target?.fields && target.fields.length > 0) ||
|
|
69
|
-
target?.range);
|
|
70
|
-
}
|
|
71
|
-
function rangesOverlap(a, b) {
|
|
72
|
-
// Line-level overlap is the stable default. Columns can be layered
|
|
73
|
-
// in by policy later, but line ranges are what code/editor agents
|
|
74
|
-
// can reliably produce across tools.
|
|
75
|
-
return a.startLine <= b.endLine && b.startLine <= a.endLine;
|
|
76
|
-
}
|
|
77
|
-
export function targetsConflict(held, incoming) {
|
|
78
|
-
// Whole-entity claims are conservative: they conflict with any
|
|
79
|
-
// narrower path/field/range claim under the same entity.
|
|
80
|
-
if (!hasSubtarget(held) || !hasSubtarget(incoming))
|
|
81
|
-
return true;
|
|
82
|
-
// A claim is only as fine as the smallest thing the write path can address,
|
|
83
|
-
// and today that is a field: nothing writes part of a value. So two paths
|
|
84
|
-
// into the SAME field contend, and this rule used to grant them both — by
|
|
85
|
-
// comparing paths for containment and answering "disjoint" for `/content/3`
|
|
86
|
-
// against `/content/7`. Both holders were then blocked at their first write,
|
|
87
|
-
// each by the other, which is a wait dressed as concurrency and resolves
|
|
88
|
-
// only when someone releases.
|
|
89
|
-
//
|
|
90
|
-
// Both are answered below instead, through the field a path names: same
|
|
91
|
-
// field, conflict; different fields, disjoint. Path containment returns when
|
|
92
|
-
// a field can declare a smaller write unit than its whole value — an
|
|
93
|
-
// operation rather than a value — because that is what makes two positions
|
|
94
|
-
// inside one field separately writable and the disjointness real.
|
|
95
|
-
// A claim that names no field covers every field, so it conflicts with any
|
|
96
|
-
// claim under the same path. Two that both name fields conflict only where
|
|
97
|
-
// their sets intersect.
|
|
98
|
-
const heldFields = fieldSet(held);
|
|
99
|
-
const incomingFields = fieldSet(incoming);
|
|
100
|
-
const fieldConflicts = heldFields.size === 0 ||
|
|
101
|
-
incomingFields.size === 0 ||
|
|
102
|
-
[...heldFields].some((name) => incomingFields.has(name));
|
|
103
|
-
const rangeConflicts = !held.range ||
|
|
104
|
-
!incoming?.range ||
|
|
105
|
-
rangesOverlap(held.range, incoming.range);
|
|
106
|
-
return fieldConflicts && rangeConflicts;
|
|
107
|
-
}
|
|
@@ -1,78 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* A claim log — the simplest way to watch agents collide. The engine reports
|
|
3
|
-
* the claim lifecycle (`acquired → queued → granted → lost / rejected /
|
|
4
|
-
* expired`) and the notify-instead-of-abort stale write through two channels:
|
|
5
|
-
* human-readable `logger` lines (shown with `new Ablo({ debug: true })`) and
|
|
6
|
-
* structured `observability.captureClaim` / `captureConflict` calls.
|
|
7
|
-
*
|
|
8
|
-
* This is a third channel, shaped for tests and evals. Pass a {@link ClaimLog}
|
|
9
|
-
* as `Ablo({ observability })`, run your scenario, then read back an ordered
|
|
10
|
-
* list — print it to eyeball what happened, or call `collisions()` to assert on it.
|
|
11
|
-
*/
|
|
12
|
-
import type { ClaimEvent, ConflictEvent, CoordinationObserver } from './events.js';
|
|
13
|
-
/** A claim state change as one quiet, greppable line. */
|
|
14
|
-
export declare function formatClaim(e: ClaimEvent): string;
|
|
15
|
-
/** A notify-instead-of-abort stale write as one readable line. */
|
|
16
|
-
export declare function formatConflict(e: ConflictEvent): string;
|
|
17
|
-
/** One ordered entry in a {@link ClaimLog}. */
|
|
18
|
-
export interface ClaimLogEntry {
|
|
19
|
-
/** Monotonic order index — deterministic, clock-free, eval-friendly. */
|
|
20
|
-
readonly seq: number;
|
|
21
|
-
/** The same one-line text the console and breadcrumb channels emit. */
|
|
22
|
-
readonly line: string;
|
|
23
|
-
/** A collision worth flagging: a rejected/lost claim or a stale write. */
|
|
24
|
-
readonly collision: boolean;
|
|
25
|
-
readonly claim?: ClaimEvent;
|
|
26
|
-
readonly conflict?: ConflictEvent;
|
|
27
|
-
}
|
|
28
|
-
/**
|
|
29
|
-
* Collects the claim lifecycle + stale-write collisions into an ordered list.
|
|
30
|
-
*
|
|
31
|
-
* @example
|
|
32
|
-
* ```ts
|
|
33
|
-
* const log = new ClaimLog();
|
|
34
|
-
* const ablo = new Ablo({ schema, apiKey, observability: log });
|
|
35
|
-
* // …run the agents…
|
|
36
|
-
* console.log(`${log}`); // pretty timeline for eyeballing
|
|
37
|
-
* expect(log.collisions()).toHaveLength(0); // assert no one stepped on anyone
|
|
38
|
-
* ```
|
|
39
|
-
*
|
|
40
|
-
* Implements the transaction layer's narrow {@link CoordinationObserver}.
|
|
41
|
-
* The sync engine re-serves a compatibility subclass that fills its broader
|
|
42
|
-
* lifecycle-observability contract, so the public `Ablo({ observability })`
|
|
43
|
-
* usage remains unchanged without teaching this core class about bootstrap,
|
|
44
|
-
* IndexedDB, or WebSockets.
|
|
45
|
-
*/
|
|
46
|
-
export declare class ClaimLog implements CoordinationObserver {
|
|
47
|
-
private readonly max;
|
|
48
|
-
private rows;
|
|
49
|
-
private seq;
|
|
50
|
-
private readonly listeners;
|
|
51
|
-
/** Cap the buffer so a long-running session can't grow unbounded. */
|
|
52
|
-
constructor(max?: number);
|
|
53
|
-
captureClaim(claim: ClaimEvent): void;
|
|
54
|
-
captureConflict(conflict: ConflictEvent): void;
|
|
55
|
-
/**
|
|
56
|
-
* Fire `listener` every time an event lands. Returns an unsubscribe fn. Same
|
|
57
|
-
* contract as `ablo.claims.onChange` — drop it into `useSyncExternalStore` in
|
|
58
|
-
* React or `autorun` in MobX to render a live activity feed.
|
|
59
|
-
*
|
|
60
|
-
* @example
|
|
61
|
-
* ```tsx
|
|
62
|
-
* const log = useMemo(() => new ClaimLog(), []);
|
|
63
|
-
* const entries = useSyncExternalStore(log.onChange, () => log.entries);
|
|
64
|
-
* return <ul>{entries.map((e) => <li key={e.seq}>{e.line}</li>)}</ul>;
|
|
65
|
-
* ```
|
|
66
|
-
*/
|
|
67
|
-
readonly onChange: (listener: () => void) => (() => void);
|
|
68
|
-
/** The full ordered list. Stable reference until the next event lands. */
|
|
69
|
-
get entries(): readonly ClaimLogEntry[];
|
|
70
|
-
/** Only the collisions: rejected/lost claims + stale writes. */
|
|
71
|
-
collisions(): readonly ClaimLogEntry[];
|
|
72
|
-
/** Drop everything — useful between scenarios in one process. */
|
|
73
|
-
clear(): void;
|
|
74
|
-
/** Printable: one event per line, collisions marked. */
|
|
75
|
-
toString(): string;
|
|
76
|
-
private add;
|
|
77
|
-
private notify;
|
|
78
|
-
}
|
|
@@ -1,138 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* A claim log — the simplest way to watch agents collide. The engine reports
|
|
3
|
-
* the claim lifecycle (`acquired → queued → granted → lost / rejected /
|
|
4
|
-
* expired`) and the notify-instead-of-abort stale write through two channels:
|
|
5
|
-
* human-readable `logger` lines (shown with `new Ablo({ debug: true })`) and
|
|
6
|
-
* structured `observability.captureClaim` / `captureConflict` calls.
|
|
7
|
-
*
|
|
8
|
-
* This is a third channel, shaped for tests and evals. Pass a {@link ClaimLog}
|
|
9
|
-
* as `Ablo({ observability })`, run your scenario, then read back an ordered
|
|
10
|
-
* list — print it to eyeball what happened, or call `collisions()` to assert on it.
|
|
11
|
-
*/
|
|
12
|
-
// ─────────────────────────────────────────────
|
|
13
|
-
// Formatters — one readable line per event. Shared by the debug logger and
|
|
14
|
-
// this log so console output and log output never drift.
|
|
15
|
-
// ─────────────────────────────────────────────
|
|
16
|
-
/** A claim state change as one quiet, greppable line. */
|
|
17
|
-
export function formatClaim(e) {
|
|
18
|
-
const target = e.model && e.id ? `${e.model}/${e.id}` : e.claimId ?? 'unknown target';
|
|
19
|
-
const scope = e.field ? `#${e.field}` : '';
|
|
20
|
-
const pos = e.position !== undefined ? ` [pos ${e.position}]` : '';
|
|
21
|
-
// The kind belongs to the counterparty, which is the only participant an
|
|
22
|
-
// event names: on an acquisition the participant is us.
|
|
23
|
-
const kind = e.heldBy?.participantKind;
|
|
24
|
-
const actor = e.actor ? `${e.actor}${kind ? ` (${kind})` : ''}` : '';
|
|
25
|
-
// `rejected`/`lost` name the blocking holder; the rest name us (or no one).
|
|
26
|
-
const by = actor
|
|
27
|
-
? e.phase === 'rejected' || e.phase === 'lost'
|
|
28
|
-
? ` — held by ${actor}`
|
|
29
|
-
: ` — by ${actor}`
|
|
30
|
-
: '';
|
|
31
|
-
// The cause when there is one, in the policy's own words when a policy
|
|
32
|
-
// decided; otherwise what the holder said they were doing. A line never
|
|
33
|
-
// shows both, because a claim that ended has a cause and a claim that is
|
|
34
|
-
// simply alive has only its description.
|
|
35
|
-
const why = e.reason
|
|
36
|
-
? `: ${e.policyReason ?? e.reason}`
|
|
37
|
-
: e.description
|
|
38
|
-
? `: ${e.description}`
|
|
39
|
-
: '';
|
|
40
|
-
return `claim ${e.phase}: ${target}${scope}${pos}${by}${why}`;
|
|
41
|
-
}
|
|
42
|
-
/** A notify-instead-of-abort stale write as one readable line. */
|
|
43
|
-
export function formatConflict(e) {
|
|
44
|
-
const rows = e.rows.map((r) => `${r.model}/${r.id}(${r.fields.join(',')})`).join(', ');
|
|
45
|
-
return `conflict: tx ${e.clientTxId} — ${e.rows.length} row(s) changed underneath${rows ? `: ${rows}` : ''}`;
|
|
46
|
-
}
|
|
47
|
-
/**
|
|
48
|
-
* Collects the claim lifecycle + stale-write collisions into an ordered list.
|
|
49
|
-
*
|
|
50
|
-
* @example
|
|
51
|
-
* ```ts
|
|
52
|
-
* const log = new ClaimLog();
|
|
53
|
-
* const ablo = new Ablo({ schema, apiKey, observability: log });
|
|
54
|
-
* // …run the agents…
|
|
55
|
-
* console.log(`${log}`); // pretty timeline for eyeballing
|
|
56
|
-
* expect(log.collisions()).toHaveLength(0); // assert no one stepped on anyone
|
|
57
|
-
* ```
|
|
58
|
-
*
|
|
59
|
-
* Implements the transaction layer's narrow {@link CoordinationObserver}.
|
|
60
|
-
* The sync engine re-serves a compatibility subclass that fills its broader
|
|
61
|
-
* lifecycle-observability contract, so the public `Ablo({ observability })`
|
|
62
|
-
* usage remains unchanged without teaching this core class about bootstrap,
|
|
63
|
-
* IndexedDB, or WebSockets.
|
|
64
|
-
*/
|
|
65
|
-
export class ClaimLog {
|
|
66
|
-
max;
|
|
67
|
-
// Immutable list: a new array reference on every change. This is what lets
|
|
68
|
-
// `useSyncExternalStore(log.onChange, () => log.entries)` detect updates —
|
|
69
|
-
// it compares snapshots by reference, so an in-place push would never render.
|
|
70
|
-
rows = [];
|
|
71
|
-
seq = 0;
|
|
72
|
-
listeners = new Set();
|
|
73
|
-
/** Cap the buffer so a long-running session can't grow unbounded. */
|
|
74
|
-
constructor(max = 1_000) {
|
|
75
|
-
this.max = max;
|
|
76
|
-
}
|
|
77
|
-
// —— the two channels we record ——
|
|
78
|
-
captureClaim(claim) {
|
|
79
|
-
this.add({
|
|
80
|
-
line: formatClaim(claim),
|
|
81
|
-
collision: claim.phase === 'rejected' || claim.phase === 'lost',
|
|
82
|
-
claim,
|
|
83
|
-
});
|
|
84
|
-
}
|
|
85
|
-
captureConflict(conflict) {
|
|
86
|
-
this.add({ line: formatConflict(conflict), collision: true, conflict });
|
|
87
|
-
}
|
|
88
|
-
// —— reactivity ——
|
|
89
|
-
/**
|
|
90
|
-
* Fire `listener` every time an event lands. Returns an unsubscribe fn. Same
|
|
91
|
-
* contract as `ablo.claims.onChange` — drop it into `useSyncExternalStore` in
|
|
92
|
-
* React or `autorun` in MobX to render a live activity feed.
|
|
93
|
-
*
|
|
94
|
-
* @example
|
|
95
|
-
* ```tsx
|
|
96
|
-
* const log = useMemo(() => new ClaimLog(), []);
|
|
97
|
-
* const entries = useSyncExternalStore(log.onChange, () => log.entries);
|
|
98
|
-
* return <ul>{entries.map((e) => <li key={e.seq}>{e.line}</li>)}</ul>;
|
|
99
|
-
* ```
|
|
100
|
-
*/
|
|
101
|
-
onChange = (listener) => {
|
|
102
|
-
this.listeners.add(listener);
|
|
103
|
-
return () => this.listeners.delete(listener);
|
|
104
|
-
};
|
|
105
|
-
// —— inspection ——
|
|
106
|
-
/** The full ordered list. Stable reference until the next event lands. */
|
|
107
|
-
get entries() {
|
|
108
|
-
return this.rows;
|
|
109
|
-
}
|
|
110
|
-
/** Only the collisions: rejected/lost claims + stale writes. */
|
|
111
|
-
collisions() {
|
|
112
|
-
return this.rows.filter((e) => e.collision);
|
|
113
|
-
}
|
|
114
|
-
/** Drop everything — useful between scenarios in one process. */
|
|
115
|
-
clear() {
|
|
116
|
-
this.rows = [];
|
|
117
|
-
this.seq = 0;
|
|
118
|
-
this.notify();
|
|
119
|
-
}
|
|
120
|
-
/** Printable: one event per line, collisions marked. */
|
|
121
|
-
toString() {
|
|
122
|
-
if (this.rows.length === 0)
|
|
123
|
-
return 'claim log: (empty)';
|
|
124
|
-
const w = String(this.rows.length).length;
|
|
125
|
-
return this.rows
|
|
126
|
-
.map((e) => `${String(e.seq).padStart(w)} ${e.collision ? '⚠ ' : ' '}${e.line}`)
|
|
127
|
-
.join('\n');
|
|
128
|
-
}
|
|
129
|
-
add(entry) {
|
|
130
|
-
const next = [...this.rows, { seq: this.seq++, ...entry }];
|
|
131
|
-
this.rows = next.length > this.max ? next.slice(next.length - this.max) : next;
|
|
132
|
-
this.notify();
|
|
133
|
-
}
|
|
134
|
-
notify() {
|
|
135
|
-
for (const listener of this.listeners)
|
|
136
|
-
listener();
|
|
137
|
-
}
|
|
138
|
-
}
|
|
@@ -1,62 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* The durable-write port and the option that installs it.
|
|
3
|
-
*
|
|
4
|
-
* Owns the persistence contract behind `Ablo({ durableWrites })` — a behavior
|
|
5
|
-
* contract of methods, not a serialized shape, which is why it lives here
|
|
6
|
-
* rather than in `transactions/settlement/`. The records that cross this port
|
|
7
|
-
* are owned by `pendingWriteSchema` there; this module never redescribes them.
|
|
8
|
-
*
|
|
9
|
-
* The engine consumes the port through `commitOutboxStore`, and the HTTP client
|
|
10
|
-
* accepts the same option through `transport/httpOptions`.
|
|
11
|
-
*/
|
|
12
|
-
import { z } from 'zod';
|
|
13
|
-
import type { CommitOutboxScope } from './transactions/settlement/commitEnvelope.js';
|
|
14
|
-
import type { PendingWrite } from './transactions/settlement/pendingWrite.js';
|
|
15
|
-
/**
|
|
16
|
-
* Persistence port used by `Ablo({ durableWrites })`.
|
|
17
|
-
*
|
|
18
|
-
* `seal` is the durability boundary: it must atomically persist the exact write
|
|
19
|
-
* and consume the staged records that write supersedes. Resolving this promise
|
|
20
|
-
* authorizes Ablo to dispatch the request, so adapters must never report success
|
|
21
|
-
* before the data is durable.
|
|
22
|
-
*/
|
|
23
|
-
export interface DurableWriteStore {
|
|
24
|
-
/**
|
|
25
|
-
* Atomically reserve a pending write and consume the staged records it owns.
|
|
26
|
-
* The same id + same request is idempotent; the same id + a different request
|
|
27
|
-
* must be rejected. For a source-accepted envelope, a re-seal may add the
|
|
28
|
-
* monotonic `acceptedAt`/`correlationId` evidence and the store must preserve
|
|
29
|
-
* that upgrade atomically rather than ignoring it.
|
|
30
|
-
*/
|
|
31
|
-
seal(write: PendingWrite, consumedRecordIds: readonly string[]): Promise<void>;
|
|
32
|
-
/** Load all unacknowledged writes. Stored data is treated as untrusted. */
|
|
33
|
-
list(): Promise<readonly unknown[]>;
|
|
34
|
-
/** Remove one write only after its outcome is definitive. */
|
|
35
|
-
remove(writeId: string): Promise<void>;
|
|
36
|
-
}
|
|
37
|
-
/** Runtime validation for injected adapters, including JavaScript consumers. */
|
|
38
|
-
export declare const durableWriteStoreSchema: z.ZodCustom<DurableWriteStore, DurableWriteStore>;
|
|
39
|
-
/** Options for crash-durable `create`, `update`, and `delete` calls. */
|
|
40
|
-
export declare const durableWritesConfigSchema: z.ZodObject<{
|
|
41
|
-
store: z.ZodCustom<DurableWriteStore, DurableWriteStore>;
|
|
42
|
-
namespace: z.ZodOptional<z.ZodString>;
|
|
43
|
-
}, z.core.$strict>;
|
|
44
|
-
export type DurableWritesConfig = z.infer<typeof durableWritesConfigSchema>;
|
|
45
|
-
interface DurableWriteOptionInput {
|
|
46
|
-
readonly durableWrites?: DurableWritesConfig;
|
|
47
|
-
/** Compatibility input for pre-`durableWrites` clients. */
|
|
48
|
-
readonly commitOutbox?: DurableWriteStore;
|
|
49
|
-
/** Compatibility input and internal child-client identity seam. */
|
|
50
|
-
readonly commitOutboxScope?: CommitOutboxScope;
|
|
51
|
-
}
|
|
52
|
-
export interface ResolvedDurableWrites {
|
|
53
|
-
readonly store?: DurableWriteStore;
|
|
54
|
-
readonly namespace?: string;
|
|
55
|
-
}
|
|
56
|
-
/**
|
|
57
|
-
* Resolves one canonical store configuration for both HTTP and WebSocket
|
|
58
|
-
* clients. Mixed old/new configuration fails loudly so Ablo never persists to
|
|
59
|
-
* one adapter while the caller believes another adapter is authoritative.
|
|
60
|
-
*/
|
|
61
|
-
export declare function resolveDurableWrites(options: DurableWriteOptionInput): ResolvedDurableWrites;
|
|
62
|
-
export {};
|
|
@@ -1,71 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* The durable-write port and the option that installs it.
|
|
3
|
-
*
|
|
4
|
-
* Owns the persistence contract behind `Ablo({ durableWrites })` — a behavior
|
|
5
|
-
* contract of methods, not a serialized shape, which is why it lives here
|
|
6
|
-
* rather than in `transactions/settlement/`. The records that cross this port
|
|
7
|
-
* are owned by `pendingWriteSchema` there; this module never redescribes them.
|
|
8
|
-
*
|
|
9
|
-
* The engine consumes the port through `commitOutboxStore`, and the HTTP client
|
|
10
|
-
* accepts the same option through `transport/httpOptions`.
|
|
11
|
-
*/
|
|
12
|
-
import { z } from 'zod';
|
|
13
|
-
import { AbloValidationError } from './errors.js';
|
|
14
|
-
/** Runtime validation for injected adapters, including JavaScript consumers. */
|
|
15
|
-
export const durableWriteStoreSchema = z.custom((value) => {
|
|
16
|
-
if (typeof value !== 'object' || value === null)
|
|
17
|
-
return false;
|
|
18
|
-
const candidate = value;
|
|
19
|
-
return (typeof candidate.seal === 'function' &&
|
|
20
|
-
typeof candidate.list === 'function' &&
|
|
21
|
-
typeof candidate.remove === 'function');
|
|
22
|
-
}, { message: 'store must implement seal(), list(), and remove()' });
|
|
23
|
-
/** Options for crash-durable `create`, `update`, and `delete` calls. */
|
|
24
|
-
export const durableWritesConfigSchema = z.strictObject({
|
|
25
|
-
store: durableWriteStoreSchema,
|
|
26
|
-
/** Separates deployments or workflow lanes that share an authenticated actor. */
|
|
27
|
-
namespace: z.string().trim().min(1).optional(),
|
|
28
|
-
});
|
|
29
|
-
function invalidDurableWrites(message) {
|
|
30
|
-
return new AbloValidationError(`Ablo: invalid \`durableWrites\` option — ${message}.`, {
|
|
31
|
-
code: 'invalid_options',
|
|
32
|
-
param: 'durableWrites',
|
|
33
|
-
});
|
|
34
|
-
}
|
|
35
|
-
/**
|
|
36
|
-
* Resolves one canonical store configuration for both HTTP and WebSocket
|
|
37
|
-
* clients. Mixed old/new configuration fails loudly so Ablo never persists to
|
|
38
|
-
* one adapter while the caller believes another adapter is authoritative.
|
|
39
|
-
*/
|
|
40
|
-
export function resolveDurableWrites(options) {
|
|
41
|
-
if (options.durableWrites !== undefined && options.commitOutbox !== undefined) {
|
|
42
|
-
throw invalidDurableWrites('pass `durableWrites` or the deprecated `commitOutbox`, not both');
|
|
43
|
-
}
|
|
44
|
-
if (options.durableWrites !== undefined) {
|
|
45
|
-
const parsed = durableWritesConfigSchema.safeParse(options.durableWrites);
|
|
46
|
-
if (!parsed.success) {
|
|
47
|
-
throw invalidDurableWrites(parsed.error.issues.map((issue) => issue.message).join('; '));
|
|
48
|
-
}
|
|
49
|
-
return {
|
|
50
|
-
store: parsed.data.store,
|
|
51
|
-
...(parsed.data.namespace !== undefined
|
|
52
|
-
? { namespace: parsed.data.namespace }
|
|
53
|
-
: options.commitOutboxScope?.namespace !== undefined
|
|
54
|
-
? { namespace: options.commitOutboxScope.namespace }
|
|
55
|
-
: {}),
|
|
56
|
-
};
|
|
57
|
-
}
|
|
58
|
-
if (options.commitOutbox !== undefined) {
|
|
59
|
-
const parsed = durableWriteStoreSchema.safeParse(options.commitOutbox);
|
|
60
|
-
if (!parsed.success) {
|
|
61
|
-
throw invalidDurableWrites(parsed.error.issues.map((issue) => issue.message).join('; '));
|
|
62
|
-
}
|
|
63
|
-
return {
|
|
64
|
-
store: parsed.data,
|
|
65
|
-
...(options.commitOutboxScope?.namespace !== undefined
|
|
66
|
-
? { namespace: options.commitOutboxScope.namespace }
|
|
67
|
-
: {}),
|
|
68
|
-
};
|
|
69
|
-
}
|
|
70
|
-
return {};
|
|
71
|
-
}
|
|
@@ -1,105 +0,0 @@
|
|
|
1
|
-
import { z } from 'zod';
|
|
2
|
-
/**
|
|
3
|
-
* Two axes live in this module, and they are NOT the same axis. They stay
|
|
4
|
-
* together because they convert into each other; they stay distinct because
|
|
5
|
-
* conflating them is how credentials acquire a mode nobody chose.
|
|
6
|
-
*
|
|
7
|
-
* - The PLANE axis ({@link Environment}) — which isolated plane a row, schema
|
|
8
|
-
* artifact, or data source belongs to. Open-ended: `production` is the root
|
|
9
|
-
* plane and any number of others may exist beside it.
|
|
10
|
-
* - The CREDENTIAL axis ({@link KeyEnvironment}) — the mode a key was minted
|
|
11
|
-
* in. Binary, and fixed by the key format: a prefix spells exactly one of
|
|
12
|
-
* `live` or `test`, so a third value is not representable in a key at all.
|
|
13
|
-
*
|
|
14
|
-
* These were one type until this split, which is the shape behind two
|
|
15
|
-
* incidents: an `sk_test_` exchange that minted an `ek_live_` and landed
|
|
16
|
-
* sandbox commits in another tenant's tables, and a rotation that handed back
|
|
17
|
-
* an `rk_live_` in place of an `rk_test_`. Widening the plane axis while the
|
|
18
|
-
* credential axis aliased it would reopen that door one plane name wider, so
|
|
19
|
-
* the split comes first and the conversions below are deliberately narrow.
|
|
20
|
-
*/
|
|
21
|
-
/**
|
|
22
|
-
* The plane names every deployment has: the root, plus the plane every project
|
|
23
|
-
* starts with beside it. This is the well-known set, not the permitted set —
|
|
24
|
-
* {@link environmentSchema} decides what is valid.
|
|
25
|
-
*/
|
|
26
|
-
export declare const ENVIRONMENTS: readonly ["production", "sandbox"];
|
|
27
|
-
/** The root plane — the one every other plane is defined relative to. */
|
|
28
|
-
export declare const ROOT_ENVIRONMENT = "production";
|
|
29
|
-
/**
|
|
30
|
-
* The modes a credential can be minted in. Deliberately its own list rather
|
|
31
|
-
* than a view of {@link ENVIRONMENTS}: this one is fixed by the key format,
|
|
32
|
-
* which has exactly two prefix spellings, and must not grow when planes do.
|
|
33
|
-
*/
|
|
34
|
-
export declare const KEY_ENVIRONMENTS: readonly ["production", "sandbox"];
|
|
35
|
-
/**
|
|
36
|
-
* How a credential's mode is spelled inside an API-key prefix: a `live` key
|
|
37
|
-
* acts on production and a `test` key acts on the sandbox. Convert between this
|
|
38
|
-
* spelling and {@link KeyEnvironment} with {@link environmentFromKeyPrefix} and
|
|
39
|
-
* {@link environmentToKeyPrefix}.
|
|
40
|
-
*/
|
|
41
|
-
export declare const KEY_PREFIX_ENVIRONMENTS: readonly ["live", "test"];
|
|
42
|
-
export type KeyPrefixEnvironment = (typeof KEY_PREFIX_ENVIRONMENTS)[number];
|
|
43
|
-
/**
|
|
44
|
-
* Validates a value as a plane name — a lowercase slug that may not lead or
|
|
45
|
-
* trail with a hyphen.
|
|
46
|
-
*
|
|
47
|
-
* The character set is load-bearing rather than cosmetic. A plane name is
|
|
48
|
-
* interpolated into two delimited identifiers: the sync-group prefix
|
|
49
|
-
* (`sandbox:<org>:<slug>`, colon separated) and the tenant secret scope
|
|
50
|
-
* (`<org>/<env>/<project>/<sandbox>`, slash separated). Admitting `:` or `/`
|
|
51
|
-
* would let one plane's name parse as two segments and so collide with a
|
|
52
|
-
* different plane's identity, which is why the pattern excludes every delimiter
|
|
53
|
-
* either format relies on.
|
|
54
|
-
*/
|
|
55
|
-
export declare const environmentSchema: z.ZodString;
|
|
56
|
-
/** A plane name. `production` is the root; any other slug is a plane beside it. */
|
|
57
|
-
export type Environment = z.infer<typeof environmentSchema>;
|
|
58
|
-
/** Validates a value as one of the {@link KEY_ENVIRONMENTS}. */
|
|
59
|
-
export declare const keyEnvironmentSchema: z.ZodEnum<{
|
|
60
|
-
production: "production";
|
|
61
|
-
sandbox: "sandbox";
|
|
62
|
-
}>;
|
|
63
|
-
/**
|
|
64
|
-
* The mode a credential was minted in — `'production'` or `'sandbox'`, never
|
|
65
|
-
* anything else. Not an alias of {@link Environment}: a key's mode is a trust
|
|
66
|
-
* boundary, and a plane name must never be able to answer it.
|
|
67
|
-
*/
|
|
68
|
-
export type KeyEnvironment = z.infer<typeof keyEnvironmentSchema>;
|
|
69
|
-
/**
|
|
70
|
-
* Coerces an untrusted value into a valid {@link Environment}, returning
|
|
71
|
-
* `fallback` (which defaults to the root plane) when the value is not a
|
|
72
|
-
* well-formed plane name. Use it when reading a plane from configuration or off
|
|
73
|
-
* the wire.
|
|
74
|
-
*/
|
|
75
|
-
export declare function normalizeEnvironment(value: unknown, fallback?: Environment): Environment;
|
|
76
|
-
/** True when the given plane is the root plane. */
|
|
77
|
-
export declare function isRootEnvironment(value: Environment): boolean;
|
|
78
|
-
/**
|
|
79
|
-
* The mode a credential acting on the given plane must be minted in.
|
|
80
|
-
*
|
|
81
|
-
* This is the ONE narrowing from the open plane axis to the binary credential
|
|
82
|
-
* axis, and it is deliberately asymmetric: only the root plane yields a
|
|
83
|
-
* production-mode key, and every other plane — named, numbered, or newly forked
|
|
84
|
-
* — yields a sandbox-mode one. A plane cannot acquire live authority by being
|
|
85
|
-
* spelled a particular way, which is the property that keeps adding planes from
|
|
86
|
-
* widening what any credential is allowed to touch.
|
|
87
|
-
*/
|
|
88
|
-
export declare function keyEnvironmentForPlane(value: Environment): KeyEnvironment;
|
|
89
|
-
/**
|
|
90
|
-
* Maps an API-key prefix spelling to the mode it denotes: a `'test'` key was
|
|
91
|
-
* minted in the sandbox, and anything else in production.
|
|
92
|
-
*/
|
|
93
|
-
export declare function environmentFromKeyPrefix(value: KeyPrefixEnvironment): KeyEnvironment;
|
|
94
|
-
/**
|
|
95
|
-
* Maps a credential's mode to the spelling used in its key prefix.
|
|
96
|
-
*
|
|
97
|
-
* Takes a {@link KeyEnvironment} rather than an {@link Environment} on purpose.
|
|
98
|
-
* Planes outside the well-known two have no prefix spelling, and a signature
|
|
99
|
-
* that accepted one would silently answer `'live'` for them — minting a
|
|
100
|
-
* production-mode credential for a plane that is not production. That is the
|
|
101
|
-
* 2026-06-10 incident with a new cause, so the type refuses the input instead.
|
|
102
|
-
*/
|
|
103
|
-
export declare function environmentToKeyPrefix(value: KeyEnvironment): KeyPrefixEnvironment;
|
|
104
|
-
/** Returns true when the given environment is the sandbox. */
|
|
105
|
-
export declare function isSandboxEnvironment(value: Environment): boolean;
|