@cleocode/contracts 2026.10.3 → 2026.10.5-rc.ci.672
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/dist/__tests__/cloud-replica-retirement.test.d.ts +10 -0
- package/dist/__tests__/cloud-replica-retirement.test.d.ts.map +1 -0
- package/dist/__tests__/cloud-replica-retirement.test.js +111 -0
- package/dist/__tests__/cloud-replica-retirement.test.js.map +1 -0
- package/dist/__tests__/cloud-status-checkpoint-reads.test.d.ts +10 -0
- package/dist/__tests__/cloud-status-checkpoint-reads.test.d.ts.map +1 -0
- package/dist/__tests__/cloud-status-checkpoint-reads.test.js +49 -0
- package/dist/__tests__/cloud-status-checkpoint-reads.test.js.map +1 -0
- package/dist/agent-registry.d.ts +5 -1
- package/dist/agent-registry.d.ts.map +1 -1
- package/dist/cloud/api.d.ts +156 -0
- package/dist/cloud/api.d.ts.map +1 -1
- package/dist/cloud/api.js +99 -1
- package/dist/cloud/api.js.map +1 -1
- package/dist/cloud/envelope.d.ts +3 -3
- package/dist/dispatch/operations-registry.js +1 -1
- package/dist/dispatch/operations-registry.js.map +1 -1
- package/dist/doctor.d.ts +79 -7
- package/dist/doctor.d.ts.map +1 -1
- package/dist/heavy-command-hook.d.ts +134 -5
- package/dist/heavy-command-hook.d.ts.map +1 -1
- package/dist/index.d.ts +10 -8
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +4 -2
- package/dist/index.js.map +1 -1
- package/dist/invariants/sync-write-invariants.d.ts.map +1 -1
- package/dist/invariants/sync-write-invariants.js +31 -6
- package/dist/invariants/sync-write-invariants.js.map +1 -1
- package/dist/ledger/index.d.ts +211 -0
- package/dist/ledger/index.d.ts.map +1 -0
- package/dist/ledger/index.js +122 -0
- package/dist/ledger/index.js.map +1 -0
- package/dist/nexus-account.d.ts +72 -1
- package/dist/nexus-account.d.ts.map +1 -1
- package/dist/nexus-account.js +5 -0
- package/dist/nexus-account.js.map +1 -1
- package/dist/nexus-cloud.d.ts +175 -0
- package/dist/nexus-cloud.d.ts.map +1 -1
- package/dist/nexus-cloud.js +17 -0
- package/dist/nexus-cloud.js.map +1 -1
- package/dist/nexus-first-run.d.ts +145 -0
- package/dist/nexus-first-run.d.ts.map +1 -0
- package/dist/nexus-first-run.js +54 -0
- package/dist/nexus-first-run.js.map +1 -0
- package/dist/nexus-vault.d.ts +113 -1
- package/dist/nexus-vault.d.ts.map +1 -1
- package/dist/nexus-vault.js +27 -0
- package/dist/nexus-vault.js.map +1 -1
- package/dist/operations/admin.d.ts +14 -1
- package/dist/operations/admin.d.ts.map +1 -1
- package/dist/operations/docs-lifecycle.d.ts +23 -0
- package/dist/operations/docs-lifecycle.d.ts.map +1 -0
- package/dist/operations/docs-lifecycle.js +29 -0
- package/dist/operations/docs-lifecycle.js.map +1 -0
- package/dist/operations/docs.d.ts +2 -11
- package/dist/operations/docs.d.ts.map +1 -1
- package/dist/operations/docs.js +3 -17
- package/dist/operations/docs.js.map +1 -1
- package/dist/project-context.d.ts +17 -2
- package/dist/project-context.d.ts.map +1 -1
- package/dist/release/evidence-atoms.d.ts +15 -7
- package/dist/release/evidence-atoms.d.ts.map +1 -1
- package/dist/release/evidence-atoms.js +16 -12
- package/dist/release/evidence-atoms.js.map +1 -1
- package/dist/resource-governor.d.ts +96 -0
- package/dist/resource-governor.d.ts.map +1 -1
- package/dist/resource-governor.js.map +1 -1
- package/dist/row-identity.d.ts +81 -0
- package/dist/row-identity.d.ts.map +1 -1
- package/dist/store-restore.d.ts +66 -0
- package/dist/store-restore.d.ts.map +1 -0
- package/dist/store-restore.js +9 -0
- package/dist/store-restore.js.map +1 -0
- package/dist/task.d.ts +14 -0
- package/dist/task.d.ts.map +1 -1
- package/dist/task.js.map +1 -1
- package/dist/tasks.d.ts +17 -17
- package/dist/workgraph.d.ts +28 -28
- package/package.json +6 -2
- package/src/__tests__/cloud-replica-retirement.test.ts +135 -0
- package/src/__tests__/cloud-status-checkpoint-reads.test.ts +60 -0
- package/src/agent-registry.ts +5 -1
- package/src/cloud/api.ts +125 -1
- package/src/dispatch/operations-registry.ts +1 -1
- package/src/doctor.ts +85 -7
- package/src/heavy-command-hook.ts +175 -5
- package/src/index.ts +58 -0
- package/src/invariants/sync-write-invariants.ts +81 -42
- package/src/ledger/index.ts +141 -0
- package/src/nexus-account.ts +82 -0
- package/src/nexus-cloud.ts +193 -0
- package/src/nexus-first-run.ts +165 -0
- package/src/nexus-vault.ts +124 -1
- package/src/operations/admin.ts +14 -1
- package/src/operations/conduit.ts +1 -1
- package/src/operations/docs-lifecycle.ts +31 -0
- package/src/operations/docs.ts +4 -19
- package/src/project-context.ts +17 -2
- package/src/release/evidence-atoms.ts +16 -12
- package/src/resource-governor.ts +100 -0
- package/src/row-identity.ts +98 -0
- package/src/store-restore.ts +70 -0
- package/src/task.ts +14 -0
package/dist/index.js
CHANGED
|
@@ -143,8 +143,10 @@ export { COLLECTION_IDENTITY_FIELDS, COLLECTION_KEYS, DEFAULT_IDENTITY_FIELD, }
|
|
|
143
143
|
export { choiceDecisionAnswerSchema, choiceDecisionQuestionSchema, DECIDE_DEFAULT_PROFILE_NAME, DECIDE_PROFILE_DEFAULT_URL, DECIDE_PROFILE_NAME_PATTERN, DECISION_OUTCOME_SOURCES, DECISION_PROVIDER_KINDS, DECISION_QUESTION_TYPES, DECISION_REQUEST_LIMITS, decisionAnswerSchema, decisionInstructionsSchema, decisionOutcomeSchema, decisionOutcomeSourceSchema, decisionProviderConfigSchema, decisionProviderKindSchema, decisionQuestionSchema, decisionQuestionTypeSchema, decisionRequestSchema, decisionStateSchema, JEV_DEFAULT_BASE_URL, JEV_MINIMUM_CAPABILITIES, LAYAHOST_BASE_URL, LAYAHOST_DEFAULT_MODEL, noulDecisionAnswerSchema, noulDecisionQuestionSchema, scoreDecisionAnswerSchema, scoreDecisionQuestionSchema, } from './decide.js';
|
|
144
144
|
export { DECISION_RUNGS, DECISION_SITE_MODES } from './decide-sites.js';
|
|
145
145
|
export { NEXUS_ACCOUNT_ERROR_CODES, NEXUS_CLI_CLIENT_ID, NEXUS_DEFAULT_API_URL, NEXUS_LOGIN_TARGET, nexusAccountMeSchema, nexusAccountOrganizationSchema, nexusAccountUserSchema, } from './nexus-account.js';
|
|
146
|
-
export { CLOUD_STATUS_VERDICTS, NEXUS_CLOUD_MAX_PAGES, NEXUS_CLOUD_PROFILES, NEXUS_CONFLICT_ERRORS, NEXUS_DEVICE_LIST_STATES, NEXUS_DEVICE_STATE_UNKNOWN, NEXUS_DEVICE_STATES, NEXUS_FORBIDDEN_ERRORS, NEXUS_FORBIDDEN_REASONS, NEXUS_PAGE_LIMIT_MAX, NEXUS_PRESENCE_FRESH_SECONDS, NEXUS_REVOKED_REASON_ERRORS, NEXUS_REVOKED_REASONS, NEXUS_STATUS_CHECK_IDS, NEXUS_STATUS_VERDICTS, NEXUS_UNAUTHENTICATED_ERRORS, NEXUS_UNAUTHENTICATED_REASONS, NEXUS_UNREACHABLE_ERROR, nexusCloudCredentialSchema, nexusCloudDeviceCountsSchema, nexusCloudDevicePageSchema, nexusCloudDeviceSchema, nexusCloudOrganizationSchema, nexusCloudPresenceSchema, nexusCloudProjectDetailSchema, nexusCloudProjectListItemSchema, nexusCloudProjectPageSchema, nexusCloudReplicaPageSchema, nexusCloudReplicaSchema, nexusCloudStatusCheckSchema, nexusCloudStatusSchema, nexusCloudUserSchema, nexusCloudWhoamiSchema, } from './nexus-cloud.js';
|
|
147
|
-
|
|
146
|
+
export { CLOUD_STATUS_VERDICTS, NEXUS_CLOUD_MAX_PAGES, NEXUS_CLOUD_PROFILES, NEXUS_CONFLICT_ERRORS, NEXUS_DEVICE_LIST_STATES, NEXUS_DEVICE_STATE_UNKNOWN, NEXUS_DEVICE_STATES, NEXUS_FEATURE_PROJECT_INITIAL_KEY, NEXUS_FORBIDDEN_ERRORS, NEXUS_FORBIDDEN_REASONS, NEXUS_PAGE_LIMIT_MAX, NEXUS_PRESENCE_FRESH_SECONDS, NEXUS_REVOKED_REASON_ERRORS, NEXUS_REVOKED_REASONS, NEXUS_STATUS_CHECK_IDS, NEXUS_STATUS_VERDICTS, NEXUS_UNAUTHENTICATED_ERRORS, NEXUS_UNAUTHENTICATED_REASONS, NEXUS_UNREACHABLE_ERROR, nexusCloudCredentialSchema, nexusCloudDeviceCountsSchema, nexusCloudDevicePageSchema, nexusCloudDeviceSchema, nexusCloudOrganizationSchema, nexusCloudPresenceSchema, nexusCloudProjectDetailSchema, nexusCloudProjectListItemSchema, nexusCloudProjectPageSchema, nexusCloudReplicaPageSchema, nexusCloudReplicaSchema, nexusCloudStatusCheckSchema, nexusCloudStatusSchema, nexusCloudUserSchema, nexusCloudWhoamiSchema, } from './nexus-cloud.js';
|
|
147
|
+
// === Guided first run of `cleo login nexus` (T13102) ===
|
|
148
|
+
export { NEXUS_FIRST_RUN_STATES, } from './nexus-first-run.js';
|
|
149
|
+
export { NEXUS_REPLICA_RETIREMENT_REASONS, NEXUS_VAULT_LEASE_ROLE, nexusActivityEventSchema, nexusActivityPageSchema, nexusLeaseAcquireSchema, nexusLeaseSchema, nexusProjectKeysSchema, nexusStreamHeadSchema, nexusUserKeysSchema, } from './nexus-vault.js';
|
|
148
150
|
// === Sync schema version, shared by the change journal and the cloud vault (T13034) ===
|
|
149
151
|
export { SYNC_SCHEMA_VERSION } from './sync-schema.js';
|
|
150
152
|
export { isStorableTaskId, isTaskId, TASK_ID_REGEX } from './task-id.js';
|
package/dist/index.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAyBH,2DAA2D;AAC3D,OAAO,EACL,qBAAqB,EACrB,0BAA0B,EAC1B,oBAAoB,EACpB,oBAAoB,EACpB,iBAAiB,EACjB,mBAAmB,EACnB,cAAc,EACd,cAAc,EACd,uBAAuB,EACvB,cAAc,EACd,cAAc,EACd,gBAAgB,EAChB,qBAAqB,EACrB,cAAc,GACf,MAAM,6BAA6B,CAAC;AA0DrC,OAAO,EACL,wBAAwB,EACxB,mBAAmB,EACnB,gBAAgB,EAChB,oBAAoB,EACpB,uBAAuB,EACvB,yBAAyB,EACzB,yBAAyB,EACzB,mBAAmB,GACpB,MAAM,wBAAwB,CAAC;AAoChC,OAAO,EAAE,iBAAiB,EAAE,yBAAyB,EAAE,MAAM,eAAe,CAAC;AA6C7E,iDAAiD;AACjD,OAAO,EACL,uBAAuB,EACvB,kBAAkB,EAClB,sBAAsB,EACtB,oBAAoB,GACrB,MAAM,kBAAkB,CAAC;AAI1B,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AAGxE,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAWvD,OAAO,EACL,6BAA6B,EAC7B,yBAAyB,EACzB,yBAAyB,GAC1B,MAAM,kBAAkB,CAAC;AA4B1B,OAAO,EACL,oBAAoB,EACpB,uBAAuB,EACvB,yBAAyB,EACzB,2BAA2B,EAC3B,wBAAwB,EACxB,qBAAqB,GACtB,MAAM,sBAAsB,CAAC;AAmE9B,OAAO,EAAE,0BAA0B,EAAE,MAAM,kBAAkB,CAAC;AAW9D,OAAO,EACL,kBAAkB,EAClB,0BAA0B,EAC1B,qBAAqB,EACrB,oBAAoB,EACpB,eAAe,EACf,iBAAiB,GAClB,MAAM,mBAAmB,CAAC;AAC3B,kFAAkF;AAClF,gFAAgF;AAChF,uDAAuD;AACvD,0EAA0E;AAC1E,OAAO,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAC;AAsCpE,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAmBjD,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAG3D,wGAAwG;AACxG,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,mCAAmC,CAAC;AAevF,OAAO,EACL,sBAAsB,EACtB,wBAAwB,EACxB,2BAA2B,EAC3B,uBAAuB,EACvB,wBAAwB,EACxB,mBAAmB,EACnB,sBAAsB,EACtB,uBAAuB,EACvB,oBAAoB,EACpB,yBAAyB,EACzB,qBAAqB,EACrB,4BAA4B,EAC5B,uBAAuB,EACvB,4BAA4B,EAC5B,oBAAoB,EACpB,0BAA0B,EAC1B,wBAAwB,EACxB,oBAAoB,EACpB,2BAA2B,EAC3B,wBAAwB,GACzB,MAAM,sBAAsB,CAAC;AAG9B,OAAO,EACL,aAAa,EACb,oBAAoB,EACpB,qBAAqB,EACrB,iBAAiB,GAClB,MAAM,gBAAgB,CAAC;AAoBxB,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,kBAAkB,EAClB,eAAe,GAChB,MAAM,oBAAoB,CAAC;AA0E5B,wEAAwE;AACxE,OAAO,EACL,iBAAiB,EACjB,WAAW,EACX,aAAa,EACb,MAAM,GACP,MAAM,oBAAoB,CAAC;AAC5B,sFAAsF;AACtF,OAAO,EACL,eAAe,EACf,UAAU,EACV,mBAAmB,EACnB,WAAW,EACX,eAAe,EACf,UAAU,GACX,MAAM,YAAY,CAAC;AAEpB,0BAA0B;AAC1B,OAAO,EACL,yBAAyB,EACzB,gCAAgC,EAChC,iBAAiB,EACjB,mBAAmB,EACnB,4BAA4B,EAC5B,6BAA6B,EAC7B,6BAA6B,EAC7B,6BAA6B,EAC7B,WAAW,EACX,eAAe,EACf,aAAa,EACb,WAAW,EACX,uBAAuB,EACvB,yBAAyB,EACzB,cAAc,EACd,uBAAuB,GACxB,MAAM,aAAa,CAAC;AASrB,OAAO,EACL,cAAc,EACd,aAAa,EACb,0BAA0B,EAC1B,gBAAgB,EAChB,kBAAkB,EAClB,mBAAmB,EACnB,kBAAkB,EAClB,kBAAkB,EAClB,eAAe,EACf,qBAAqB,EACrB,yBAAyB,EACzB,0BAA0B,EAC1B,iBAAiB,EACjB,cAAc,EACd,mBAAmB,EACnB,YAAY,EACZ,uBAAuB,EACvB,2BAA2B,EAC3B,mBAAmB,EACnB,iBAAiB,EACjB,cAAc,EACd,aAAa,EACb,uBAAuB,GACxB,MAAM,2BAA2B,CAAC;AAmBnC,2DAA2D;AAC3D,OAAO,EACL,yBAAyB,EACzB,oBAAoB,EACpB,oBAAoB,EACpB,sBAAsB,EACtB,sBAAsB,EACtB,6BAA6B,GAC9B,MAAM,6BAA6B,CAAC;AACrC,qBAAqB;AACrB,OAAO;AACL,0EAA0E;AAC1E,wBAAwB;AACxB,mDAAmD;AACnD,wBAAwB;AACxB,0DAA0D;AAC1D,kBAAkB;AAClB,yEAAyE;AACzE,sBAAsB,EACtB,YAAY,EACZ,YAAY,EACZ,6BAA6B,EAC7B,gBAAgB,EAChB,uBAAuB;AACvB,0DAA0D;AAC1D,sBAAsB;AACtB,wEAAwE;AACxE,wBAAwB,EACxB,wBAAwB,EACxB,eAAe,EACf,gBAAgB,EAChB,sBAAsB,EACtB,oBAAoB;AACpB,kEAAkE;AAClE,kBAAkB,EAClB,QAAQ,EACR,eAAe,EACf,WAAW,EACX,cAAc,EACd,iBAAiB,EACjB,aAAa,GACd,MAAM,iBAAiB,CAAC;AAgCzB,gCAAgC;AAChC,OAAO,EACL,uBAAuB,EACvB,WAAW,EACX,uBAAuB,GACxB,MAAM,aAAa,CAAC;AAcrB,OAAO,EACL,aAAa,EACb,yBAAyB,EACzB,sBAAsB,EACtB,WAAW,EACX,oBAAoB,EACpB,oBAAoB,EACpB,uBAAuB,GACxB,MAAM,WAAW,CAAC;AAgCnB,OAAO,EACL,wBAAwB,EACxB,0BAA0B,EAC1B,qBAAqB,GACtB,MAAM,YAAY,CAAC;AA0BpB,OAAO,EACL,kBAAkB,EAClB,kBAAkB,EAClB,YAAY,EACZ,kBAAkB,EAClB,mBAAmB,EACnB,qBAAqB,GACtB,MAAM,uBAAuB,CAAC;AAG/B,8EAA8E;AAC9E,6DAA6D;AAC7D,OAAO,EACL,2BAA2B,GAE5B,MAAM,qBAAqB,CAAC;AAuD7B,8BAA8B;AAC9B,OAAO,EACL,iBAAiB,EACjB,WAAW,EACX,aAAa,GACd,MAAM,WAAW,CAAC;AAiCnB,OAAO,EACL,qCAAqC,EACrC,uBAAuB,EACvB,uBAAuB,EACvB,0BAA0B,EAC1B,uBAAuB,EACvB,wBAAwB,EACxB,yBAAyB,EACzB,yBAAyB,EACzB,wBAAwB,EACxB,0BAA0B,EAC1B,sBAAsB,EACtB,6BAA6B,EAC7B,qBAAqB,EACrB,8BAA8B,EAC9B,sBAAsB,EACtB,eAAe,EACf,yBAAyB,EACzB,yBAAyB,EACzB,uBAAuB,EACvB,0BAA0B,EAC1B,gBAAgB,EAChB,2BAA2B,EAC3B,uBAAuB,EACvB,8BAA8B,EAC9B,wBAAwB,EACxB,sBAAsB,EACtB,wBAAwB,EACxB,8BAA8B,EAC9B,0BAA0B,EAC1B,iCAAiC,EACjC,4BAA4B,EAC5B,mCAAmC,EACnC,yBAAyB,EACzB,sBAAsB,GACvB,MAAM,sBAAsB,CAAC;AAU9B,0EAA0E;AAC1E,OAAO,EACL,kBAAkB,EAClB,sBAAsB,EACtB,iBAAiB,EACjB,kBAAkB,EAClB,uBAAuB,EACvB,uBAAuB,EACvB,0BAA0B,EAC1B,qBAAqB,EACrB,oBAAoB,EACpB,4BAA4B,EAC5B,4BAA4B,GAC7B,MAAM,yBAAyB,CAAC;AA8CjC,OAAO,EACL,iBAAiB,EACjB,cAAc,EACd,oBAAoB,EACpB,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAa7B,4EAA4E;AAC5E,OAAO,EACL,mBAAmB,EACnB,mBAAmB,GACpB,MAAM,uBAAuB,CAAC;AAiC/B,OAAO,EACL,cAAc,EACd,sBAAsB,EACtB,oBAAoB,EACpB,gBAAgB,EAChB,aAAa,EACb,wBAAwB,EACxB,sBAAsB,EACtB,eAAe,EACf,eAAe,GAChB,MAAM,wBAAwB,CAAC;AAOhC,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAsB3D,OAAO,EAAE,8BAA8B,EAAE,MAAM,qBAAqB,CAAC;AAkCrE,6EAA6E;AAC7E,OAAO,EAAE,iCAAiC,EAAE,MAAM,uBAAuB,CAAC;AAS1E,OAAO,EACL,2BAA2B,EAC3B,0BAA0B,EAC1B,8BAA8B,EAC9B,oBAAoB,EACpB,mBAAmB,EACnB,uBAAuB,GACxB,MAAM,UAAU,CAAC;AAwElB,OAAO,EACL,4BAA4B,EAC5B,8BAA8B,EAC9B,6BAA6B,EAC7B,wBAAwB,EACxB,yBAAyB,GAC1B,MAAM,oCAAoC,CAAC;AAgG5C,4EAA4E;AAC5E,uEAAuE;AACvE,uEAAuE;AACvE,OAAO,EACL,uBAAuB,GAGxB,MAAM,sBAAsB,CAAC;AAO9B,OAAO,EACL,uBAAuB,EACvB,cAAc,EACd,+BAA+B,EAC/B,iBAAiB,EACjB,mBAAmB,EACnB,cAAc,GACf,MAAM,yCAAyC,CAAC;AACjD,2EAA2E;AAC3E,kFAAkF;AAClF,wCAAwC;AACxC,OAAO,EACL,uBAAuB,EACvB,wBAAwB,EACxB,wBAAwB,EACxB,yBAAyB,EACzB,0BAA0B,EAC1B,2BAA2B,EAC3B,uBAAuB,EACvB,wBAAwB,EACxB,sBAAsB,EACtB,uBAAuB,EACvB,0BAA0B,EAC1B,2BAA2B,EAC3B,wBAAwB,EACxB,yBAAyB,EACzB,uBAAuB,EACvB,wBAAwB,EACxB,uBAAuB,EACvB,wBAAwB,EACxB,4BAA4B,EAC5B,6BAA6B,EAC7B,yBAAyB,EACzB,0BAA0B,EAC1B,yBAAyB,EACzB,0BAA0B,GAC3B,MAAM,0BAA0B,CAAC;AAClC,8FAA8F;AAC9F,OAAO,KAAK,GAAG,MAAM,uBAAuB,CAAC;AAgR7C,OAAO,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AAanE,OAAO,EACL,kBAAkB,EAClB,cAAc,EACd,eAAe,GAChB,MAAM,iCAAiC,CAAC;AAsBzC,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AAgBzE,OAAO,EAAE,gBAAgB,EAAE,MAAM,uCAAuC,CAAC;AASzE,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AA2B3D,kFAAkF;AAClF,iFAAiF;AACjF,+BAA+B;AAC/B,OAAO,EACL,2BAA2B,EAC3B,4BAA4B,EAC5B,wBAAwB,EACxB,yBAAyB,EACzB,0BAA0B,EAC1B,2BAA2B,EAC3B,0BAA0B,EAC1B,2BAA2B,GAC5B,MAAM,yBAAyB,CAAC;AA6JjC,+EAA+E;AAC/E,2EAA2E;AAC3E,gDAAgD;AAChD,OAAO,EACL,4BAA4B,EAC5B,sBAAsB,EACtB,yBAAyB,EACzB,0BAA0B,EAC1B,qBAAqB,EACrB,wBAAwB,GACzB,MAAM,uBAAuB,CAAC;AAyG/B,kEAAkE;AAClE,OAAO,EACL,kBAAkB,EAClB,oBAAoB,EACpB,cAAc,GAGf,MAAM,WAAW,CAAC;AA6DnB,0DAA0D;AAC1D,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AA8DnD,OAAO,EACL,cAAc,EACd,qBAAqB,EACrB,iCAAiC,EACjC,6BAA6B,EAC7B,0BAA0B,EAC1B,6BAA6B,GAC9B,MAAM,6BAA6B,CAAC;AA4CrC,OAAO,EACL,SAAS,EACT,WAAW,EACX,cAAc,EACd,gBAAgB,EAChB,MAAM,EACN,YAAY,EACZ,cAAc,EACd,mBAAmB,EACnB,SAAS,EACT,eAAe,EACf,gBAAgB,EAChB,eAAe,EACf,YAAY,EACZ,uBAAuB,EACvB,2BAA2B,EAC3B,cAAc,EACd,cAAc,EACd,eAAe,EACf,oBAAoB,EACpB,iBAAiB,EACjB,iBAAiB,EACjB,0BAA0B,EAC1B,qBAAqB,EACrB,iBAAiB,EACjB,qBAAqB,EACrB,gCAAgC,EAChC,6BAA6B,EAC7B,mBAAmB,EACnB,mBAAmB,EACnB,oBAAoB,EACpB,oBAAoB,EACpB,SAAS,EACT,cAAc,GACf,MAAM,mBAAmB,CAAC;AAoB3B,uDAAuD;AACvD,cAAc,mBAAmB,CAAC;AAQlC,+EAA+E;AAC/E,OAAO,EACL,+BAA+B,EAC/B,eAAe,EACf,0BAA0B,EAC1B,gBAAgB,EAChB,sBAAsB,EACtB,uBAAuB,EACvB,sBAAsB,GACvB,MAAM,wBAAwB,CAAC;AAuDhC,wBAAwB;AACxB,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAM3C,kDAAkD;AAClD,OAAO,EACL,8BAA8B,EAC9B,kCAAkC,EAClC,iCAAiC,EACjC,yBAAyB,GAC1B,MAAM,sBAAsB,CAAC;AAmE9B,uEAAuE;AACvE,OAAO,EACL,YAAY,EAIZ,aAAa,EAEb,aAAa,EACb,2BAA2B,EAC3B,wBAAwB,EACxB,iBAAiB;AAEjB,gBAAgB;AAChB,qBAAqB,EAErB,gBAAgB,EAEhB,kBAAkB,EAClB,eAAe,EAEf,yBAAyB,EACzB,2BAA2B;AAC3B,YAAY;AACZ,aAAa,EAGb,0BAA0B,EAC1B,uBAAuB;AACvB,sBAAsB;AACtB,sBAAsB,GACvB,MAAM,sBAAsB,CAAC;AAgC9B,4EAA4E;AAC5E,OAAO,EACL,gBAAgB,EAChB,iBAAiB,EACjB,aAAa,EACb,mBAAmB,EACnB,mBAAmB,EACnB,oBAAoB,EACpB,wBAAwB,EACxB,4BAA4B,EAC5B,oBAAoB,EACpB,qBAAqB,EACrB,uBAAuB,EACvB,oBAAoB,EACpB,qBAAqB,EACrB,kBAAkB,EAClB,+BAA+B,EAC/B,4BAA4B,EAC5B,+BAA+B,EAC/B,4BAA4B,EAC5B,6BAA6B,EAC7B,2BAA2B,EAC3B,kCAAkC,EAClC,0BAA0B,EAC1B,mCAAmC,EACnC,2BAA2B,GAC5B,MAAM,2BAA2B,CAAC;AAwDnC,OAAO,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,MAAM,WAAW,CAAC;AAYvE,OAAO,EACL,2BAA2B,EAC3B,kBAAkB,EAClB,iBAAiB,EACjB,wBAAwB,EACxB,kBAAkB,EAClB,wBAAwB,GACzB,MAAM,oBAAoB,CAAC;AA0B5B,uEAAuE;AACvE,OAAO,EACL,wBAAwB,EACxB,4BAA4B,EAC5B,qBAAqB,EACrB,aAAa,EACb,mBAAmB,EACnB,2BAA2B,EAC3B,mBAAmB,EACnB,yBAAyB,GAC1B,MAAM,oBAAoB,CAAC;AAmD5B,OAAO,EACL,mCAAmC,EACnC,8BAA8B,EAC9B,0BAA0B,EAC1B,6BAA6B,EAC7B,2BAA2B,EAC3B,0BAA0B,EAC1B,0BAA0B,EAC1B,qCAAqC,EACrC,sCAAsC,EACtC,sCAAsC,EACtC,oCAAoC,GACrC,MAAM,YAAY,CAAC;AAMpB,OAAO,EACL,qBAAqB,EACrB,uBAAuB,EACvB,qBAAqB,EACrB,wBAAwB,EACxB,uBAAuB,EACvB,oBAAoB,EACpB,mBAAmB,EACnB,aAAa,EACb,gBAAgB,GACjB,MAAM,eAAe,CAAC;AAYvB,OAAO,EACL,mBAAmB,EACnB,qBAAqB,EACrB,cAAc,EACd,sBAAsB,EACtB,0BAA0B,EAC1B,2BAA2B,GAC5B,MAAM,yBAAyB,CAAC;AAuDjC,OAAO,EACL,WAAW,EACX,WAAW,EACX,sBAAsB,EACtB,oBAAoB,EACpB,kBAAkB,EAClB,kBAAkB,EAClB,0BAA0B,EAC1B,sBAAsB,EACtB,wBAAwB,EACxB,sBAAsB,GACvB,MAAM,sBAAsB,CAAC;AAgB9B,OAAO,EACL,aAAa,EACb,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AAoErC,gDAAgD;AAChD,OAAO,EACL,0BAA0B,EAC1B,8BAA8B,EAC9B,4BAA4B,EAC5B,yBAAyB,EACzB,yBAAyB,EACzB,uBAAuB,EACvB,uBAAuB,EACvB,yBAAyB,EACzB,yBAAyB,EACzB,qBAAqB,EACrB,qBAAqB,EACrB,+BAA+B,EAC/B,+BAA+B,EAC/B,0BAA0B,EAC1B,gCAAgC,EAChC,gCAAgC,EAChC,0BAA0B,EAC1B,gCAAgC,EAChC,0BAA0B,EAC1B,8BAA8B,EAC9B,8BAA8B,EAC9B,kCAAkC,EAClC,kCAAkC,EAClC,qCAAqC,EACrC,qCAAqC,EACrC,0BAA0B,EAC1B,oBAAoB,GACrB,MAAM,gBAAgB,CAAC;AAcxB,0DAA0D;AAC1D,OAAO,EACL,0BAA0B,EAC1B,gCAAgC,EAChC,kCAAkC,EAClC,uBAAuB,EACvB,gBAAgB,EAChB,kBAAkB,EAClB,iCAAiC,EACjC,gCAAgC,GACjC,MAAM,oBAAoB,CAAC;AAC5B,mEAAmE;AACnE,OAAO,EACL,0BAA0B,EAC1B,eAAe,EAEf,sBAAsB,GACvB,MAAM,sBAAsB,CAAC;AA+B9B,OAAO,EACL,0BAA0B,EAC1B,4BAA4B,EAC5B,2BAA2B,EAC3B,0BAA0B,EAC1B,2BAA2B,EAC3B,wBAAwB,EACxB,uBAAuB,EACvB,uBAAuB,EACvB,uBAAuB,EACvB,oBAAoB,EACpB,0BAA0B,EAC1B,qBAAqB,EACrB,2BAA2B,EAC3B,4BAA4B,EAC5B,0BAA0B,EAC1B,sBAAsB,EACtB,0BAA0B,EAC1B,qBAAqB,EACrB,mBAAmB,EACnB,oBAAoB,EACpB,wBAAwB,EACxB,iBAAiB,EACjB,sBAAsB,EACtB,wBAAwB,EACxB,0BAA0B,EAC1B,yBAAyB,EACzB,2BAA2B,GAC5B,MAAM,aAAa,CAAC;AAcrB,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAmBxE,OAAO,EACL,yBAAyB,EACzB,mBAAmB,EACnB,qBAAqB,EACrB,kBAAkB,EAClB,oBAAoB,EACpB,8BAA8B,EAC9B,sBAAsB,GACvB,MAAM,oBAAoB,CAAC;AA2B5B,OAAO,EACL,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,qBAAqB,EACrB,wBAAwB,EACxB,0BAA0B,EAC1B,mBAAmB,EACnB,sBAAsB,EACtB,uBAAuB,EACvB,oBAAoB,EACpB,4BAA4B,EAC5B,2BAA2B,EAC3B,qBAAqB,EACrB,sBAAsB,EACtB,qBAAqB,EACrB,4BAA4B,EAC5B,6BAA6B,EAC7B,uBAAuB,EACvB,0BAA0B,EAC1B,4BAA4B,EAC5B,0BAA0B,EAC1B,sBAAsB,EACtB,4BAA4B,EAC5B,wBAAwB,EACxB,6BAA6B,EAC7B,+BAA+B,EAC/B,2BAA2B,EAC3B,2BAA2B,EAC3B,uBAAuB,EACvB,2BAA2B,EAC3B,sBAAsB,EACtB,oBAAoB,EACpB,sBAAsB,GACvB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAaL,sBAAsB,EAEtB,wBAAwB,EACxB,uBAAuB,EACvB,uBAAuB,EACvB,gBAAgB,EAChB,sBAAsB,EACtB,qBAAqB,EACrB,mBAAmB,GACpB,MAAM,kBAAkB,CAAC;AAC1B,yFAAyF;AACzF,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,gBAAgB,EAAE,QAAQ,EAAE,aAAa,EAAe,MAAM,cAAc,CAAC"}
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAyBH,2DAA2D;AAC3D,OAAO,EACL,qBAAqB,EACrB,0BAA0B,EAC1B,oBAAoB,EACpB,oBAAoB,EACpB,iBAAiB,EACjB,mBAAmB,EACnB,cAAc,EACd,cAAc,EACd,uBAAuB,EACvB,cAAc,EACd,cAAc,EACd,gBAAgB,EAChB,qBAAqB,EACrB,cAAc,GACf,MAAM,6BAA6B,CAAC;AA0DrC,OAAO,EACL,wBAAwB,EACxB,mBAAmB,EACnB,gBAAgB,EAChB,oBAAoB,EACpB,uBAAuB,EACvB,yBAAyB,EACzB,yBAAyB,EACzB,mBAAmB,GACpB,MAAM,wBAAwB,CAAC;AAoChC,OAAO,EAAE,iBAAiB,EAAE,yBAAyB,EAAE,MAAM,eAAe,CAAC;AA6C7E,iDAAiD;AACjD,OAAO,EACL,uBAAuB,EACvB,kBAAkB,EAClB,sBAAsB,EACtB,oBAAoB,GACrB,MAAM,kBAAkB,CAAC;AAI1B,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AAGxE,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAWvD,OAAO,EACL,6BAA6B,EAC7B,yBAAyB,EACzB,yBAAyB,GAC1B,MAAM,kBAAkB,CAAC;AA4B1B,OAAO,EACL,oBAAoB,EACpB,uBAAuB,EACvB,yBAAyB,EACzB,2BAA2B,EAC3B,wBAAwB,EACxB,qBAAqB,GACtB,MAAM,sBAAsB,CAAC;AAmE9B,OAAO,EAAE,0BAA0B,EAAE,MAAM,kBAAkB,CAAC;AAW9D,OAAO,EACL,kBAAkB,EAClB,0BAA0B,EAC1B,qBAAqB,EACrB,oBAAoB,EACpB,eAAe,EACf,iBAAiB,GAClB,MAAM,mBAAmB,CAAC;AAC3B,kFAAkF;AAClF,gFAAgF;AAChF,uDAAuD;AACvD,0EAA0E;AAC1E,OAAO,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAC;AAsCpE,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAmBjD,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAG3D,wGAAwG;AACxG,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,mCAAmC,CAAC;AAevF,OAAO,EACL,sBAAsB,EACtB,wBAAwB,EACxB,2BAA2B,EAC3B,uBAAuB,EACvB,wBAAwB,EACxB,mBAAmB,EACnB,sBAAsB,EACtB,uBAAuB,EACvB,oBAAoB,EACpB,yBAAyB,EACzB,qBAAqB,EACrB,4BAA4B,EAC5B,uBAAuB,EACvB,4BAA4B,EAC5B,oBAAoB,EACpB,0BAA0B,EAC1B,wBAAwB,EACxB,oBAAoB,EACpB,2BAA2B,EAC3B,wBAAwB,GACzB,MAAM,sBAAsB,CAAC;AAG9B,OAAO,EACL,aAAa,EACb,oBAAoB,EACpB,qBAAqB,EACrB,iBAAiB,GAClB,MAAM,gBAAgB,CAAC;AAoBxB,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,kBAAkB,EAClB,eAAe,GAChB,MAAM,oBAAoB,CAAC;AA4E5B,wEAAwE;AACxE,OAAO,EACL,iBAAiB,EACjB,WAAW,EACX,aAAa,EACb,MAAM,GACP,MAAM,oBAAoB,CAAC;AAC5B,sFAAsF;AACtF,OAAO,EACL,eAAe,EACf,UAAU,EACV,mBAAmB,EACnB,WAAW,EACX,eAAe,EACf,UAAU,GACX,MAAM,YAAY,CAAC;AAEpB,0BAA0B;AAC1B,OAAO,EACL,yBAAyB,EACzB,gCAAgC,EAChC,iBAAiB,EACjB,mBAAmB,EACnB,4BAA4B,EAC5B,6BAA6B,EAC7B,6BAA6B,EAC7B,6BAA6B,EAC7B,WAAW,EACX,eAAe,EACf,aAAa,EACb,WAAW,EACX,uBAAuB,EACvB,yBAAyB,EACzB,cAAc,EACd,uBAAuB,GACxB,MAAM,aAAa,CAAC;AASrB,OAAO,EACL,cAAc,EACd,aAAa,EACb,0BAA0B,EAC1B,gBAAgB,EAChB,kBAAkB,EAClB,mBAAmB,EACnB,kBAAkB,EAClB,kBAAkB,EAClB,eAAe,EACf,qBAAqB,EACrB,yBAAyB,EACzB,0BAA0B,EAC1B,iBAAiB,EACjB,cAAc,EACd,mBAAmB,EACnB,YAAY,EACZ,uBAAuB,EACvB,2BAA2B,EAC3B,mBAAmB,EACnB,iBAAiB,EACjB,cAAc,EACd,aAAa,EACb,uBAAuB,GACxB,MAAM,2BAA2B,CAAC;AAmBnC,2DAA2D;AAC3D,OAAO,EACL,yBAAyB,EACzB,oBAAoB,EACpB,oBAAoB,EACpB,sBAAsB,EACtB,sBAAsB,EACtB,6BAA6B,GAC9B,MAAM,6BAA6B,CAAC;AACrC,qBAAqB;AACrB,OAAO;AACL,0EAA0E;AAC1E,wBAAwB;AACxB,mDAAmD;AACnD,wBAAwB;AACxB,0DAA0D;AAC1D,kBAAkB;AAClB,yEAAyE;AACzE,sBAAsB,EACtB,YAAY,EACZ,YAAY,EACZ,6BAA6B,EAC7B,gBAAgB,EAChB,uBAAuB;AACvB,0DAA0D;AAC1D,sBAAsB;AACtB,wEAAwE;AACxE,wBAAwB,EACxB,wBAAwB,EACxB,eAAe,EACf,gBAAgB,EAChB,sBAAsB,EACtB,oBAAoB;AACpB,kEAAkE;AAClE,kBAAkB,EAClB,QAAQ,EACR,eAAe,EACf,WAAW,EACX,cAAc,EACd,iBAAiB,EACjB,aAAa,GACd,MAAM,iBAAiB,CAAC;AAgCzB,gCAAgC;AAChC,OAAO,EACL,uBAAuB,EACvB,WAAW,EACX,uBAAuB,GACxB,MAAM,aAAa,CAAC;AAcrB,OAAO,EACL,aAAa,EACb,yBAAyB,EACzB,sBAAsB,EACtB,WAAW,EACX,oBAAoB,EACpB,oBAAoB,EACpB,uBAAuB,GACxB,MAAM,WAAW,CAAC;AAgCnB,OAAO,EACL,wBAAwB,EACxB,0BAA0B,EAC1B,qBAAqB,GACtB,MAAM,YAAY,CAAC;AAkCpB,OAAO,EACL,kBAAkB,EAClB,kBAAkB,EAClB,YAAY,EACZ,kBAAkB,EAClB,mBAAmB,EACnB,qBAAqB,GACtB,MAAM,uBAAuB,CAAC;AAG/B,8EAA8E;AAC9E,6DAA6D;AAC7D,OAAO,EACL,2BAA2B,GAE5B,MAAM,qBAAqB,CAAC;AAuD7B,8BAA8B;AAC9B,OAAO,EACL,iBAAiB,EACjB,WAAW,EACX,aAAa,GACd,MAAM,WAAW,CAAC;AAiCnB,OAAO,EACL,qCAAqC,EACrC,uBAAuB,EACvB,uBAAuB,EACvB,0BAA0B,EAC1B,uBAAuB,EACvB,wBAAwB,EACxB,yBAAyB,EACzB,yBAAyB,EACzB,wBAAwB,EACxB,0BAA0B,EAC1B,sBAAsB,EACtB,6BAA6B,EAC7B,qBAAqB,EACrB,8BAA8B,EAC9B,sBAAsB,EACtB,eAAe,EACf,yBAAyB,EACzB,yBAAyB,EACzB,uBAAuB,EACvB,0BAA0B,EAC1B,gBAAgB,EAChB,2BAA2B,EAC3B,uBAAuB,EACvB,8BAA8B,EAC9B,wBAAwB,EACxB,sBAAsB,EACtB,wBAAwB,EACxB,8BAA8B,EAC9B,0BAA0B,EAC1B,iCAAiC,EACjC,4BAA4B,EAC5B,mCAAmC,EACnC,yBAAyB,EACzB,sBAAsB,GACvB,MAAM,sBAAsB,CAAC;AAU9B,0EAA0E;AAC1E,OAAO,EACL,kBAAkB,EAClB,sBAAsB,EACtB,iBAAiB,EACjB,kBAAkB,EAClB,uBAAuB,EACvB,uBAAuB,EACvB,0BAA0B,EAC1B,qBAAqB,EACrB,oBAAoB,EACpB,4BAA4B,EAC5B,4BAA4B,GAC7B,MAAM,yBAAyB,CAAC;AA8CjC,OAAO,EACL,iBAAiB,EACjB,cAAc,EACd,oBAAoB,EACpB,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAa7B,4EAA4E;AAC5E,OAAO,EACL,mBAAmB,EACnB,mBAAmB,GACpB,MAAM,uBAAuB,CAAC;AAiC/B,OAAO,EACL,cAAc,EACd,sBAAsB,EACtB,oBAAoB,EACpB,gBAAgB,EAChB,aAAa,EACb,wBAAwB,EACxB,sBAAsB,EACtB,eAAe,EACf,eAAe,GAChB,MAAM,wBAAwB,CAAC;AAOhC,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAsB3D,OAAO,EAAE,8BAA8B,EAAE,MAAM,qBAAqB,CAAC;AAkCrE,6EAA6E;AAC7E,OAAO,EAAE,iCAAiC,EAAE,MAAM,uBAAuB,CAAC;AAS1E,OAAO,EACL,2BAA2B,EAC3B,0BAA0B,EAC1B,8BAA8B,EAC9B,oBAAoB,EACpB,mBAAmB,EACnB,uBAAuB,GACxB,MAAM,UAAU,CAAC;AAwElB,OAAO,EACL,4BAA4B,EAC5B,8BAA8B,EAC9B,6BAA6B,EAC7B,wBAAwB,EACxB,yBAAyB,GAC1B,MAAM,oCAAoC,CAAC;AAgG5C,4EAA4E;AAC5E,uEAAuE;AACvE,uEAAuE;AACvE,OAAO,EACL,uBAAuB,GAGxB,MAAM,sBAAsB,CAAC;AAO9B,OAAO,EACL,uBAAuB,EACvB,cAAc,EACd,+BAA+B,EAC/B,iBAAiB,EACjB,mBAAmB,EACnB,cAAc,GACf,MAAM,yCAAyC,CAAC;AACjD,2EAA2E;AAC3E,kFAAkF;AAClF,wCAAwC;AACxC,OAAO,EACL,uBAAuB,EACvB,wBAAwB,EACxB,wBAAwB,EACxB,yBAAyB,EACzB,0BAA0B,EAC1B,2BAA2B,EAC3B,uBAAuB,EACvB,wBAAwB,EACxB,sBAAsB,EACtB,uBAAuB,EACvB,0BAA0B,EAC1B,2BAA2B,EAC3B,wBAAwB,EACxB,yBAAyB,EACzB,uBAAuB,EACvB,wBAAwB,EACxB,uBAAuB,EACvB,wBAAwB,EACxB,4BAA4B,EAC5B,6BAA6B,EAC7B,yBAAyB,EACzB,0BAA0B,EAC1B,yBAAyB,EACzB,0BAA0B,GAC3B,MAAM,0BAA0B,CAAC;AAClC,8FAA8F;AAC9F,OAAO,KAAK,GAAG,MAAM,uBAAuB,CAAC;AAgR7C,OAAO,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AAanE,OAAO,EACL,kBAAkB,EAClB,cAAc,EACd,eAAe,GAChB,MAAM,iCAAiC,CAAC;AAsBzC,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AAgBzE,OAAO,EAAE,gBAAgB,EAAE,MAAM,uCAAuC,CAAC;AASzE,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AA2B3D,kFAAkF;AAClF,iFAAiF;AACjF,+BAA+B;AAC/B,OAAO,EACL,2BAA2B,EAC3B,4BAA4B,EAC5B,wBAAwB,EACxB,yBAAyB,EACzB,0BAA0B,EAC1B,2BAA2B,EAC3B,0BAA0B,EAC1B,2BAA2B,GAC5B,MAAM,yBAAyB,CAAC;AA6JjC,+EAA+E;AAC/E,2EAA2E;AAC3E,gDAAgD;AAChD,OAAO,EACL,4BAA4B,EAC5B,sBAAsB,EACtB,yBAAyB,EACzB,0BAA0B,EAC1B,qBAAqB,EACrB,wBAAwB,GACzB,MAAM,uBAAuB,CAAC;AAyG/B,kEAAkE;AAClE,OAAO,EACL,kBAAkB,EAClB,oBAAoB,EACpB,cAAc,GAGf,MAAM,WAAW,CAAC;AA6DnB,0DAA0D;AAC1D,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AA8DnD,OAAO,EACL,cAAc,EACd,qBAAqB,EACrB,iCAAiC,EACjC,6BAA6B,EAC7B,0BAA0B,EAC1B,6BAA6B,GAC9B,MAAM,6BAA6B,CAAC;AA4CrC,OAAO,EACL,SAAS,EACT,WAAW,EACX,cAAc,EACd,gBAAgB,EAChB,MAAM,EACN,YAAY,EACZ,cAAc,EACd,mBAAmB,EACnB,SAAS,EACT,eAAe,EACf,gBAAgB,EAChB,eAAe,EACf,YAAY,EACZ,uBAAuB,EACvB,2BAA2B,EAC3B,cAAc,EACd,cAAc,EACd,eAAe,EACf,oBAAoB,EACpB,iBAAiB,EACjB,iBAAiB,EACjB,0BAA0B,EAC1B,qBAAqB,EACrB,iBAAiB,EACjB,qBAAqB,EACrB,gCAAgC,EAChC,6BAA6B,EAC7B,mBAAmB,EACnB,mBAAmB,EACnB,oBAAoB,EACpB,oBAAoB,EACpB,SAAS,EACT,cAAc,GACf,MAAM,mBAAmB,CAAC;AAoB3B,uDAAuD;AACvD,cAAc,mBAAmB,CAAC;AAYlC,+EAA+E;AAC/E,OAAO,EACL,+BAA+B,EAC/B,eAAe,EACf,0BAA0B,EAC1B,gBAAgB,EAChB,sBAAsB,EACtB,uBAAuB,EACvB,sBAAsB,GACvB,MAAM,wBAAwB,CAAC;AA6DhC,wBAAwB;AACxB,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAM3C,kDAAkD;AAClD,OAAO,EACL,8BAA8B,EAC9B,kCAAkC,EAClC,iCAAiC,EACjC,yBAAyB,GAC1B,MAAM,sBAAsB,CAAC;AAmE9B,uEAAuE;AACvE,OAAO,EACL,YAAY,EAIZ,aAAa,EAEb,aAAa,EACb,2BAA2B,EAC3B,wBAAwB,EACxB,iBAAiB;AAEjB,gBAAgB;AAChB,qBAAqB,EAErB,gBAAgB,EAEhB,kBAAkB,EAClB,eAAe,EAEf,yBAAyB,EACzB,2BAA2B;AAC3B,YAAY;AACZ,aAAa,EAGb,0BAA0B,EAC1B,uBAAuB;AACvB,sBAAsB;AACtB,sBAAsB,GACvB,MAAM,sBAAsB,CAAC;AAwC9B,4EAA4E;AAC5E,OAAO,EACL,gBAAgB,EAChB,iBAAiB,EACjB,aAAa,EACb,mBAAmB,EACnB,mBAAmB,EACnB,oBAAoB,EACpB,wBAAwB,EACxB,4BAA4B,EAC5B,oBAAoB,EACpB,qBAAqB,EACrB,uBAAuB,EACvB,oBAAoB,EACpB,qBAAqB,EACrB,kBAAkB,EAClB,+BAA+B,EAC/B,4BAA4B,EAC5B,+BAA+B,EAC/B,4BAA4B,EAC5B,6BAA6B,EAC7B,2BAA2B,EAC3B,kCAAkC,EAClC,0BAA0B,EAC1B,mCAAmC,EACnC,2BAA2B,GAC5B,MAAM,2BAA2B,CAAC;AAwDnC,OAAO,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,MAAM,WAAW,CAAC;AAYvE,OAAO,EACL,2BAA2B,EAC3B,kBAAkB,EAClB,iBAAiB,EACjB,wBAAwB,EACxB,kBAAkB,EAClB,wBAAwB,GACzB,MAAM,oBAAoB,CAAC;AA0B5B,uEAAuE;AACvE,OAAO,EACL,wBAAwB,EACxB,4BAA4B,EAC5B,qBAAqB,EACrB,aAAa,EACb,mBAAmB,EACnB,2BAA2B,EAC3B,mBAAmB,EACnB,yBAAyB,GAC1B,MAAM,oBAAoB,CAAC;AAmD5B,OAAO,EACL,mCAAmC,EACnC,8BAA8B,EAC9B,0BAA0B,EAC1B,6BAA6B,EAC7B,2BAA2B,EAC3B,0BAA0B,EAC1B,0BAA0B,EAC1B,qCAAqC,EACrC,sCAAsC,EACtC,sCAAsC,EACtC,oCAAoC,GACrC,MAAM,YAAY,CAAC;AAMpB,OAAO,EACL,qBAAqB,EACrB,uBAAuB,EACvB,qBAAqB,EACrB,wBAAwB,EACxB,uBAAuB,EACvB,oBAAoB,EACpB,mBAAmB,EACnB,aAAa,EACb,gBAAgB,GACjB,MAAM,eAAe,CAAC;AAYvB,OAAO,EACL,mBAAmB,EACnB,qBAAqB,EACrB,cAAc,EACd,sBAAsB,EACtB,0BAA0B,EAC1B,2BAA2B,GAC5B,MAAM,yBAAyB,CAAC;AAuDjC,OAAO,EACL,WAAW,EACX,WAAW,EACX,sBAAsB,EACtB,oBAAoB,EACpB,kBAAkB,EAClB,kBAAkB,EAClB,0BAA0B,EAC1B,sBAAsB,EACtB,wBAAwB,EACxB,sBAAsB,GACvB,MAAM,sBAAsB,CAAC;AAgB9B,OAAO,EACL,aAAa,EACb,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AAoErC,gDAAgD;AAChD,OAAO,EACL,0BAA0B,EAC1B,8BAA8B,EAC9B,4BAA4B,EAC5B,yBAAyB,EACzB,yBAAyB,EACzB,uBAAuB,EACvB,uBAAuB,EACvB,yBAAyB,EACzB,yBAAyB,EACzB,qBAAqB,EACrB,qBAAqB,EACrB,+BAA+B,EAC/B,+BAA+B,EAC/B,0BAA0B,EAC1B,gCAAgC,EAChC,gCAAgC,EAChC,0BAA0B,EAC1B,gCAAgC,EAChC,0BAA0B,EAC1B,8BAA8B,EAC9B,8BAA8B,EAC9B,kCAAkC,EAClC,kCAAkC,EAClC,qCAAqC,EACrC,qCAAqC,EACrC,0BAA0B,EAC1B,oBAAoB,GACrB,MAAM,gBAAgB,CAAC;AAcxB,0DAA0D;AAC1D,OAAO,EACL,0BAA0B,EAC1B,gCAAgC,EAChC,kCAAkC,EAClC,uBAAuB,EACvB,gBAAgB,EAChB,kBAAkB,EAClB,iCAAiC,EACjC,gCAAgC,GACjC,MAAM,oBAAoB,CAAC;AAC5B,mEAAmE;AACnE,OAAO,EACL,0BAA0B,EAC1B,eAAe,EAEf,sBAAsB,GACvB,MAAM,sBAAsB,CAAC;AA+B9B,OAAO,EACL,0BAA0B,EAC1B,4BAA4B,EAC5B,2BAA2B,EAC3B,0BAA0B,EAC1B,2BAA2B,EAC3B,wBAAwB,EACxB,uBAAuB,EACvB,uBAAuB,EACvB,uBAAuB,EACvB,oBAAoB,EACpB,0BAA0B,EAC1B,qBAAqB,EACrB,2BAA2B,EAC3B,4BAA4B,EAC5B,0BAA0B,EAC1B,sBAAsB,EACtB,0BAA0B,EAC1B,qBAAqB,EACrB,mBAAmB,EACnB,oBAAoB,EACpB,wBAAwB,EACxB,iBAAiB,EACjB,sBAAsB,EACtB,wBAAwB,EACxB,0BAA0B,EAC1B,yBAAyB,EACzB,2BAA2B,GAC5B,MAAM,aAAa,CAAC;AAcrB,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAqBxE,OAAO,EACL,yBAAyB,EACzB,mBAAmB,EACnB,qBAAqB,EACrB,kBAAkB,EAClB,oBAAoB,EACpB,8BAA8B,EAC9B,sBAAsB,GACvB,MAAM,oBAAoB,CAAC;AAoC5B,OAAO,EACL,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,qBAAqB,EACrB,wBAAwB,EACxB,0BAA0B,EAC1B,mBAAmB,EACnB,iCAAiC,EACjC,sBAAsB,EACtB,uBAAuB,EACvB,oBAAoB,EACpB,4BAA4B,EAC5B,2BAA2B,EAC3B,qBAAqB,EACrB,sBAAsB,EACtB,qBAAqB,EACrB,4BAA4B,EAC5B,6BAA6B,EAC7B,uBAAuB,EACvB,0BAA0B,EAC1B,4BAA4B,EAC5B,0BAA0B,EAC1B,sBAAsB,EACtB,4BAA4B,EAC5B,wBAAwB,EACxB,6BAA6B,EAC7B,+BAA+B,EAC/B,2BAA2B,EAC3B,2BAA2B,EAC3B,uBAAuB,EACvB,2BAA2B,EAC3B,sBAAsB,EACtB,oBAAoB,EACpB,sBAAsB,GACvB,MAAM,kBAAkB,CAAC;AAC1B,0DAA0D;AAC1D,OAAO,EACL,sBAAsB,GASvB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAiBL,gCAAgC,EAChC,sBAAsB,EAGtB,wBAAwB,EACxB,uBAAuB,EACvB,uBAAuB,EACvB,gBAAgB,EAChB,sBAAsB,EACtB,qBAAqB,EACrB,mBAAmB,GACpB,MAAM,kBAAkB,CAAC;AAC1B,yFAAyF;AACzF,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,gBAAgB,EAAE,QAAQ,EAAE,aAAa,EAAe,MAAM,cAAc,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"sync-write-invariants.d.ts","sourceRoot":"","sources":["../../src/invariants/sync-write-invariants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAEH;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,uBAAuB,GAC/B,iBAAiB,GACjB,kBAAkB,GAClB,sBAAsB,GACtB,mBAAmB,GACnB,gBAAgB,CAAC;AAErB;;;;GAIG;AACH,MAAM,WAAW,yBAAyB;IACxC,6EAA6E;IAC7E,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,uBAAuB;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;;GAIG;AACH,MAAM,WAAW,kBAAkB;IACjC,oFAAoF;IACpF,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,0CAA0C;IAC1C,QAAQ,CAAC,KAAK,EAAE,uBAAuB,CAAC;IACxC,0DAA0D;IAC1D,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,2EAA2E;IAC3E,QAAQ,CAAC,KAAK,EAAE,SAAS;QACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;KACnC,EAAE,CAAC;IACJ,qEAAqE;IACrE,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC;;;OAGG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE;QACf,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;QAC/B,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;KACvC,CAAC;IACF,uFAAuF;IACvF,QAAQ,CAAC,SAAS,CAAC,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,CAAC;IACrF,4EAA4E;IAC5E,QAAQ,CAAC,WAAW,CAAC,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;KAAE,CAAC;IAClF,iFAAiF;IACjF,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,0FAA0F;IAC1F,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;IAChC,uEAAuE;IACvE,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,yCAAyC;IACzC,QAAQ,CAAC,OAAO,CAAC,EAAE,yBAAyB,CAAC;IAC7C,kEAAkE;IAClE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;
|
|
1
|
+
{"version":3,"file":"sync-write-invariants.d.ts","sourceRoot":"","sources":["../../src/invariants/sync-write-invariants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAEH;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,uBAAuB,GAC/B,iBAAiB,GACjB,kBAAkB,GAClB,sBAAsB,GACtB,mBAAmB,GACnB,gBAAgB,CAAC;AAErB;;;;GAIG;AACH,MAAM,WAAW,yBAAyB;IACxC,6EAA6E;IAC7E,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,uBAAuB;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;;GAIG;AACH,MAAM,WAAW,kBAAkB;IACjC,oFAAoF;IACpF,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,0CAA0C;IAC1C,QAAQ,CAAC,KAAK,EAAE,uBAAuB,CAAC;IACxC,0DAA0D;IAC1D,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,2EAA2E;IAC3E,QAAQ,CAAC,KAAK,EAAE,SAAS;QACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;KACnC,EAAE,CAAC;IACJ,qEAAqE;IACrE,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC;;;OAGG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE;QACf,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;QAC/B,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;KACvC,CAAC;IACF,uFAAuF;IACvF,QAAQ,CAAC,SAAS,CAAC,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,CAAC;IACrF,4EAA4E;IAC5E,QAAQ,CAAC,WAAW,CAAC,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;KAAE,CAAC;IAClF,iFAAiF;IACjF,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,0FAA0F;IAC1F,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;IAChC,uEAAuE;IACvE,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,yCAAyC;IACzC,QAAQ,CAAC,OAAO,CAAC,EAAE,yBAAyB,CAAC;IAC7C,kEAAkE;IAClE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AA2FD;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,EAAE,SAAS,kBAAkB,EAqS7D,CAAC"}
|
|
@@ -36,6 +36,31 @@ function checkPending(task) {
|
|
|
36
36
|
function rulePending(task) {
|
|
37
37
|
return { task, reason: 'the typed merge-rule registry does not define it yet (T12344 item)' };
|
|
38
38
|
}
|
|
39
|
+
/** Where every implemented typed merge rule is enforced at apply (T12344). */
|
|
40
|
+
const MERGE_ENGINE_GATE = {
|
|
41
|
+
module: 'packages/core/src/store/sync/merge/engine.ts',
|
|
42
|
+
functionName: 'applyOp',
|
|
43
|
+
};
|
|
44
|
+
/**
|
|
45
|
+
* A typed merge rule the merge-rule registry defines (`SYNC_MERGE_RULES`),
|
|
46
|
+
* enforced by the merge engine on every applied op: no longer pending.
|
|
47
|
+
*/
|
|
48
|
+
function implemented(entry) {
|
|
49
|
+
const { pending: _pending, ...rest } = entry;
|
|
50
|
+
return { ...rest, runtimeGate: MERGE_ENGINE_GATE };
|
|
51
|
+
}
|
|
52
|
+
/** A post-apply check the apply runs (T12344 PR-5): no longer pending. */
|
|
53
|
+
function implementedCheck(entry, functionName) {
|
|
54
|
+
const { pending: _pending, ...rest } = entry;
|
|
55
|
+
return {
|
|
56
|
+
...rest,
|
|
57
|
+
check: {
|
|
58
|
+
module: 'packages/core/src/store/sync/apply/post-apply.ts',
|
|
59
|
+
functionName,
|
|
60
|
+
footprint: entry.check?.footprint ?? [],
|
|
61
|
+
},
|
|
62
|
+
};
|
|
63
|
+
}
|
|
39
64
|
function trigger(id, tables, triggers, inventory, reason) {
|
|
40
65
|
return { id, class: 'trigger-covered', tables, sites: [], triggers, inventory, reason };
|
|
41
66
|
}
|
|
@@ -82,9 +107,9 @@ export const SYNC_WRITE_INVARIANTS = Object.freeze([
|
|
|
82
107
|
trigger('selfimprove.dhq.one-open', ['selfimprove_dhq'], ['ux_selfimprove_dhq_open'], ['D49'], 'at most one open DHQ entry per question_hash'),
|
|
83
108
|
trigger('account.one-active-per-provider', ['accounts'], ['ux_accounts_active_provider'], ['A40'], 'at most one active account per provider (partial UNIQUE)'),
|
|
84
109
|
// §3.6.5: post-apply check families (T12344 items).
|
|
85
|
-
pac('task.tree.shape', 'PAC-01', 'T12922', ['tasks_tasks'], ['rows with a changed parent_id or type', 'their direct children and ancestor chain'], 'saga→epic→task→subtask matrix, non-saga has a parent, depth ≤ 3, no self-parent'),
|
|
110
|
+
implementedCheck(pac('task.tree.shape', 'PAC-01', 'T12922', ['tasks_tasks'], ['rows with a changed parent_id or type', 'their direct children and ancestor chain'], 'saga→epic→task→subtask matrix, non-saga has a parent, depth ≤ 3, no self-parent'), 'checkTaskTreeShape'),
|
|
86
111
|
pac('task.terminal-parent.live-children', 'PAC-02', 'T12923', ['tasks_tasks'], ['rows whose status, stage or parent changed', 'their parent and siblings'], 'no terminal parent with a live child; epic stage ≥ children; rollup re-evaluated'),
|
|
87
|
-
|
|
112
|
+
trigger('task.dependency.graph', ['tasks_task_dependencies', 'tasks_tasks'], ['tasks_task_dependencies_cycle_guard_insert', 'tasks_task_dependencies_cycle_guard_update'], ['PAC-03'], 'dependencies are acyclic, with no self-edge: enforced by the T12886 cycle guards on apply (a guard conflict)'),
|
|
88
113
|
pac('task.done.evidence', 'PAC-04', 'T12925', ['tasks_tasks', 'tasks_task_acceptance_criteria', 'tasks_evidence_ac_bindings'], ['done rows in the page', 'their AC rows, bindings, acceptance_json and verification_json'], 'a done task has passed verification and every AC bound or waived'),
|
|
89
114
|
pac('task.ac.integrity', 'PAC-05', 'T12926', ['tasks_tasks', 'tasks_task_acceptance_criteria', 'tasks_evidence_ac_bindings'], ['tasks whose AC rows, bindings, acceptance_json, parent_id or relations changed'], 'acceptance_json ⇔ AC rows, child_task ACs match children, bindings resolve'),
|
|
90
115
|
pac('lifecycle.rows', 'PAC-06', 'T12927', ['tasks_lifecycle_pipelines', 'tasks_lifecycle_stages', 'tasks_tasks'], ['lifecycle pipeline, stage and gate rows in the page', 'the owning task row'], 'one pipeline per task, one stage row per name, pipeline_stage ≥ completed stages'),
|
|
@@ -96,11 +121,11 @@ export const SYNC_WRITE_INVARIANTS = Object.freeze([
|
|
|
96
121
|
pac('ref.soft-orphans', 'PAC-12', 'T12933', ['brain_memory_links', 'brain_page_edges', 'docs_attachment_refs', 'tasks_task_commits'], ['reference columns of the rows in the page', 'their targets'], 'cross-DB and polymorphic references resolve'),
|
|
97
122
|
pac('supersession.graph', 'PAC-13', 'T12934', ['brain_decisions', 'docs_attachments', 'tasks_architecture_decisions'], ['rows whose supersession columns changed', 'a chain walk'], 'supersession chains are acyclic with at most one successor'),
|
|
98
123
|
pac('derived.counters', 'PAC-14', 'T12935', ['docs_attachments', 'conduit_attachments', 'docs_pipeline_manifest'], ['the owning rows'], 'derived counters and cross-column facts agree with their rows'),
|
|
99
|
-
pac('apply.preconditions', 'PAC-15', 'T12936', ['tasks_tasks'], ['the whole page'], 'no apply while the local twin collapse has failed; restore is a re-baseline'),
|
|
124
|
+
implementedCheck(pac('apply.preconditions', 'PAC-15', 'T12936', ['tasks_tasks'], ['the whole page'], 'no apply while the local twin collapse has failed; restore is a re-baseline'), 'checkApplyPreconditions'),
|
|
100
125
|
// §3.6.6: typed merge rules (T12344).
|
|
101
|
-
rule('task.status.absorbing', 'T12937', 'tasks_tasks', ['status', 'completed_at', 'cancelled_at', 'cancellation_reason', 'pipeline_stage'], ['V18', 'V20', 'C22', 'P40', 'P46', 'P47'], 'done, cancelled and archived are absorbing; leaving them needs an explicit op'),
|
|
102
|
-
rule('task.pipeline-stage.max', 'T12938', 'tasks_tasks', ['pipeline_stage'], ['V21', 'C20', 'P01', 'F3'], 'pipeline_stage is the maximum by STAGE_ORDER, except an explicit restore'),
|
|
103
|
-
rule('task.verification.frozen-on-done', 'T12939', 'tasks_tasks', ['verification_json'], ['C01', 'C02', 'C03', 'C17'], 'verification is frozen once done; otherwise merged per gate'),
|
|
126
|
+
implemented(rule('task.status.absorbing', 'T12937', 'tasks_tasks', ['status', 'completed_at', 'cancelled_at', 'cancellation_reason', 'pipeline_stage'], ['V18', 'V20', 'C22', 'P40', 'P46', 'P47'], 'done, cancelled and archived are absorbing; leaving them needs an explicit op')),
|
|
127
|
+
implemented(rule('task.pipeline-stage.max', 'T12938', 'tasks_tasks', ['pipeline_stage'], ['V21', 'C20', 'P01', 'F3'], 'pipeline_stage is the maximum by STAGE_ORDER, except an explicit restore')),
|
|
128
|
+
implemented(rule('task.verification.frozen-on-done', 'T12939', 'tasks_tasks', ['verification_json'], ['C01', 'C02', 'C03', 'C17'], 'verification is frozen once done; otherwise merged per gate')),
|
|
104
129
|
rule('session.status.terminal', 'T12940', 'tasks_sessions', ['status', 'ended_at'], ['S7', 'S8', 'S9', 'S10', 'S11', 'S17', 'S18', 'SC2', 'N1', 'SK5', 'P32'], 'ended and orphaned are terminal except on an explicit resume'),
|
|
105
130
|
rule('audit.immutable', 'T12941', 'tasks_audit_log', ['*'], ['SA3'], 'audit rows are immutable', [
|
|
106
131
|
'tasks_audit_log',
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"sync-write-invariants.js","sourceRoot":"","sources":["../../src/invariants/sync-write-invariants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAkFH,yEAAyE;AACzE,SAAS,YAAY,CAAC,IAAY;IAChC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,2DAA2D,EAAE,CAAC;AACvF,CAAC;AAED,2FAA2F;AAC3F,SAAS,WAAW,CAAC,IAAY;IAC/B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,oEAAoE,EAAE,CAAC;AAChG,CAAC;AAED,SAAS,OAAO,CACd,EAAU,EACV,MAAyB,EACzB,QAA2B,EAC3B,SAA4B,EAC5B,MAAc;IAEd,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,iBAAiB,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;AAC1F,CAAC;AAED,SAAS,GAAG,CACV,EAAU,EACV,IAAY,EACZ,IAAY,EACZ,MAAyB,EACzB,SAA4B,EAC5B,MAAc;IAEd,OAAO;QACL,EAAE;QACF,KAAK,EAAE,kBAAkB;QACzB,MAAM;QACN,KAAK,EAAE,EAAE;QACT,KAAK,EAAE,EAAE,SAAS,EAAE;QACpB,SAAS,EAAE,CAAC,IAAI,CAAC;QACjB,OAAO,EAAE,YAAY,CAAC,IAAI,CAAC;QAC3B,MAAM;KACP,CAAC;AACJ,CAAC;AAED,SAAS,IAAI,CACX,EAAU,EACV,IAAY,EACZ,KAAa,EACb,OAA0B,EAC1B,SAA4B,EAC5B,MAAc,EACd,SAA4B,CAAC,KAAK,CAAC;IAEnC,OAAO;QACL,EAAE;QACF,KAAK,EAAE,sBAAsB;QAC7B,MAAM;QACN,KAAK,EAAE,EAAE;QACT,SAAS,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE;QAC7B,SAAS;QACT,OAAO,EAAE,WAAW,CAAC,IAAI,CAAC;QAC1B,MAAM;KACP,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAkC,MAAM,CAAC,MAAM,CAAC;IAChF,gFAAgF;IAChF,OAAO,CACL,sBAAsB,EACtB,CAAC,aAAa,CAAC,EACf,CAAC,uCAAuC,EAAE,uCAAuC,CAAC,EAClF,CAAC,KAAK,EAAE,KAAK,CAAC,EACd,sFAAsF,CACvF;IACD,OAAO,CACL,yBAAyB,EACzB,CAAC,aAAa,CAAC,EACf,CAAC,uCAAuC,EAAE,uCAAuC,CAAC,EAClF,CAAC,IAAI,CAAC,EACN,sFAAsF,CACvF;IACD,OAAO,CACL,kCAAkC,EAClC,CAAC,aAAa,CAAC,EACf,CAAC,wCAAwC,EAAE,wCAAwC,CAAC,EACpF,CAAC,KAAK,EAAE,KAAK,CAAC,EACd,kDAAkD,CACnD;IACD,OAAO,CACL,+BAA+B,EAC/B,CAAC,sBAAsB,CAAC,EACxB,CAAC,6CAA6C,EAAE,6CAA6C,CAAC,EAC9F,CAAC,KAAK,CAAC,EACP,qFAAqF,CACtF;IACD,OAAO,CACL,sBAAsB,EACtB,CAAC,gCAAgC,CAAC,EAClC,CAAC,2CAA2C,EAAE,2CAA2C,CAAC,EAC1F,CAAC,KAAK,CAAC,EACP,2EAA2E,CAC5E;IACD,OAAO,CACL,6BAA6B,EAC7B,CAAC,+BAA+B,CAAC,EACjC,CAAC,qCAAqC,CAAC,EACvC,CAAC,IAAI,CAAC,EACN,mCAAmC,CACpC;IACD,OAAO,CACL,sBAAsB,EACtB,CAAC,aAAa,CAAC,EACf,CAAC,8BAA8B,EAAE,8BAA8B,CAAC,EAChE,EAAE,EACF,8CAA8C,CAC/C;IACD,OAAO,CACL,wBAAwB,EACxB,CAAC,4BAA4B,CAAC,EAC9B,CAAC,4CAA4C,CAAC,EAC9C,CAAC,KAAK,CAAC,EACP,mDAAmD,CACpD;IACD,OAAO,CACL,wBAAwB,EACxB,CAAC,gBAAgB,CAAC,EAClB,CAAC,2BAA2B,CAAC,EAC7B,CAAC,OAAO,CAAC,EACT,6BAA6B,CAC9B;IACD,OAAO,CACL,0BAA0B,EAC1B,CAAC,iBAAiB,CAAC,EACnB,CAAC,yBAAyB,CAAC,EAC3B,CAAC,KAAK,CAAC,EACP,8CAA8C,CAC/C;IACD,OAAO,CACL,iCAAiC,EACjC,CAAC,UAAU,CAAC,EACZ,CAAC,6BAA6B,CAAC,EAC/B,CAAC,KAAK,CAAC,EACP,0DAA0D,CAC3D;IAED,oDAAoD;IACpD,GAAG,CACD,iBAAiB,EACjB,QAAQ,EACR,QAAQ,EACR,CAAC,aAAa,CAAC,EACf,CAAC,uCAAuC,EAAE,0CAA0C,CAAC,EACrF,iFAAiF,CAClF;IACD,GAAG,CACD,oCAAoC,EACpC,QAAQ,EACR,QAAQ,EACR,CAAC,aAAa,CAAC,EACf,CAAC,4CAA4C,EAAE,2BAA2B,CAAC,EAC3E,kFAAkF,CACnF;IACD,
|
|
1
|
+
{"version":3,"file":"sync-write-invariants.js","sourceRoot":"","sources":["../../src/invariants/sync-write-invariants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAkFH,yEAAyE;AACzE,SAAS,YAAY,CAAC,IAAY;IAChC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,2DAA2D,EAAE,CAAC;AACvF,CAAC;AAED,2FAA2F;AAC3F,SAAS,WAAW,CAAC,IAAY;IAC/B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,oEAAoE,EAAE,CAAC;AAChG,CAAC;AAED,8EAA8E;AAC9E,MAAM,iBAAiB,GAAG;IACxB,MAAM,EAAE,8CAA8C;IACtD,YAAY,EAAE,SAAS;CACf,CAAC;AAEX;;;GAGG;AACH,SAAS,WAAW,CAAC,KAAyB;IAC5C,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,IAAI,EAAE,GAAG,KAAK,CAAC;IAC7C,OAAO,EAAE,GAAG,IAAI,EAAE,WAAW,EAAE,iBAAiB,EAAE,CAAC;AACrD,CAAC;AAED,0EAA0E;AAC1E,SAAS,gBAAgB,CAAC,KAAyB,EAAE,YAAoB;IACvE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,IAAI,EAAE,GAAG,KAAK,CAAC;IAC7C,OAAO;QACL,GAAG,IAAI;QACP,KAAK,EAAE;YACL,MAAM,EAAE,kDAAkD;YAC1D,YAAY;YACZ,SAAS,EAAE,KAAK,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE;SACxC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,OAAO,CACd,EAAU,EACV,MAAyB,EACzB,QAA2B,EAC3B,SAA4B,EAC5B,MAAc;IAEd,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,iBAAiB,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;AAC1F,CAAC;AAED,SAAS,GAAG,CACV,EAAU,EACV,IAAY,EACZ,IAAY,EACZ,MAAyB,EACzB,SAA4B,EAC5B,MAAc;IAEd,OAAO;QACL,EAAE;QACF,KAAK,EAAE,kBAAkB;QACzB,MAAM;QACN,KAAK,EAAE,EAAE;QACT,KAAK,EAAE,EAAE,SAAS,EAAE;QACpB,SAAS,EAAE,CAAC,IAAI,CAAC;QACjB,OAAO,EAAE,YAAY,CAAC,IAAI,CAAC;QAC3B,MAAM;KACP,CAAC;AACJ,CAAC;AAED,SAAS,IAAI,CACX,EAAU,EACV,IAAY,EACZ,KAAa,EACb,OAA0B,EAC1B,SAA4B,EAC5B,MAAc,EACd,SAA4B,CAAC,KAAK,CAAC;IAEnC,OAAO;QACL,EAAE;QACF,KAAK,EAAE,sBAAsB;QAC7B,MAAM;QACN,KAAK,EAAE,EAAE;QACT,SAAS,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE;QAC7B,SAAS;QACT,OAAO,EAAE,WAAW,CAAC,IAAI,CAAC;QAC1B,MAAM;KACP,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAkC,MAAM,CAAC,MAAM,CAAC;IAChF,gFAAgF;IAChF,OAAO,CACL,sBAAsB,EACtB,CAAC,aAAa,CAAC,EACf,CAAC,uCAAuC,EAAE,uCAAuC,CAAC,EAClF,CAAC,KAAK,EAAE,KAAK,CAAC,EACd,sFAAsF,CACvF;IACD,OAAO,CACL,yBAAyB,EACzB,CAAC,aAAa,CAAC,EACf,CAAC,uCAAuC,EAAE,uCAAuC,CAAC,EAClF,CAAC,IAAI,CAAC,EACN,sFAAsF,CACvF;IACD,OAAO,CACL,kCAAkC,EAClC,CAAC,aAAa,CAAC,EACf,CAAC,wCAAwC,EAAE,wCAAwC,CAAC,EACpF,CAAC,KAAK,EAAE,KAAK,CAAC,EACd,kDAAkD,CACnD;IACD,OAAO,CACL,+BAA+B,EAC/B,CAAC,sBAAsB,CAAC,EACxB,CAAC,6CAA6C,EAAE,6CAA6C,CAAC,EAC9F,CAAC,KAAK,CAAC,EACP,qFAAqF,CACtF;IACD,OAAO,CACL,sBAAsB,EACtB,CAAC,gCAAgC,CAAC,EAClC,CAAC,2CAA2C,EAAE,2CAA2C,CAAC,EAC1F,CAAC,KAAK,CAAC,EACP,2EAA2E,CAC5E;IACD,OAAO,CACL,6BAA6B,EAC7B,CAAC,+BAA+B,CAAC,EACjC,CAAC,qCAAqC,CAAC,EACvC,CAAC,IAAI,CAAC,EACN,mCAAmC,CACpC;IACD,OAAO,CACL,sBAAsB,EACtB,CAAC,aAAa,CAAC,EACf,CAAC,8BAA8B,EAAE,8BAA8B,CAAC,EAChE,EAAE,EACF,8CAA8C,CAC/C;IACD,OAAO,CACL,wBAAwB,EACxB,CAAC,4BAA4B,CAAC,EAC9B,CAAC,4CAA4C,CAAC,EAC9C,CAAC,KAAK,CAAC,EACP,mDAAmD,CACpD;IACD,OAAO,CACL,wBAAwB,EACxB,CAAC,gBAAgB,CAAC,EAClB,CAAC,2BAA2B,CAAC,EAC7B,CAAC,OAAO,CAAC,EACT,6BAA6B,CAC9B;IACD,OAAO,CACL,0BAA0B,EAC1B,CAAC,iBAAiB,CAAC,EACnB,CAAC,yBAAyB,CAAC,EAC3B,CAAC,KAAK,CAAC,EACP,8CAA8C,CAC/C;IACD,OAAO,CACL,iCAAiC,EACjC,CAAC,UAAU,CAAC,EACZ,CAAC,6BAA6B,CAAC,EAC/B,CAAC,KAAK,CAAC,EACP,0DAA0D,CAC3D;IAED,oDAAoD;IACpD,gBAAgB,CACd,GAAG,CACD,iBAAiB,EACjB,QAAQ,EACR,QAAQ,EACR,CAAC,aAAa,CAAC,EACf,CAAC,uCAAuC,EAAE,0CAA0C,CAAC,EACrF,iFAAiF,CAClF,EACD,oBAAoB,CACrB;IACD,GAAG,CACD,oCAAoC,EACpC,QAAQ,EACR,QAAQ,EACR,CAAC,aAAa,CAAC,EACf,CAAC,4CAA4C,EAAE,2BAA2B,CAAC,EAC3E,kFAAkF,CACnF;IACD,OAAO,CACL,uBAAuB,EACvB,CAAC,yBAAyB,EAAE,aAAa,CAAC,EAC1C,CAAC,4CAA4C,EAAE,4CAA4C,CAAC,EAC5F,CAAC,QAAQ,CAAC,EACV,8GAA8G,CAC/G;IACD,GAAG,CACD,oBAAoB,EACpB,QAAQ,EACR,QAAQ,EACR,CAAC,aAAa,EAAE,gCAAgC,EAAE,4BAA4B,CAAC,EAC/E,CAAC,uBAAuB,EAAE,gEAAgE,CAAC,EAC3F,kEAAkE,CACnE;IACD,GAAG,CACD,mBAAmB,EACnB,QAAQ,EACR,QAAQ,EACR,CAAC,aAAa,EAAE,gCAAgC,EAAE,4BAA4B,CAAC,EAC/E,CAAC,gFAAgF,CAAC,EAClF,4EAA4E,CAC7E;IACD,GAAG,CACD,gBAAgB,EAChB,QAAQ,EACR,QAAQ,EACR,CAAC,2BAA2B,EAAE,wBAAwB,EAAE,aAAa,CAAC,EACtE,CAAC,qDAAqD,EAAE,qBAAqB,CAAC,EAC9E,kFAAkF,CACnF;IACD,GAAG,CACD,iBAAiB,EACjB,QAAQ,EACR,QAAQ,EACR,CAAC,mBAAmB,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,aAAa,CAAC,EAC3E,CAAC,4CAA4C,CAAC,EAC9C,yCAAyC,CAC1C;IACD,GAAG,CACD,yBAAyB,EACzB,QAAQ,EACR,QAAQ,EACR,CAAC,gBAAgB,EAAE,yBAAyB,EAAE,YAAY,CAAC,EAC3D,CAAC,mDAAmD,EAAE,+BAA+B,CAAC,EACtF,kFAAkF,CACnF;IACD,GAAG,CACD,kBAAkB,EAClB,QAAQ,EACR,QAAQ,EACR,CAAC,iBAAiB,CAAC,EACnB,CAAC,4CAA4C,EAAE,qBAAqB,CAAC,EACrE,+EAA+E,CAChF;IACD,GAAG,CACD,qBAAqB,EACrB,QAAQ,EACR,QAAQ,EACR,CAAC,aAAa,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,kBAAkB,CAAC,EAC3E,CAAC,eAAe,EAAE,yBAAyB,CAAC,EAC5C,wEAAwE,CACzE;IACD,GAAG,CACD,oBAAoB,EACpB,QAAQ,EACR,QAAQ,EACR,CAAC,iBAAiB,EAAE,iBAAiB,EAAE,2BAA2B,CAAC,EACnE,CAAC,0CAA0C,CAAC,EAC5C,8CAA8C,CAC/C;IACD,GAAG,CACD,kBAAkB,EAClB,QAAQ,EACR,QAAQ,EACR,CAAC,oBAAoB,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,oBAAoB,CAAC,EACxF,CAAC,2CAA2C,EAAE,eAAe,CAAC,EAC9D,6CAA6C,CAC9C;IACD,GAAG,CACD,oBAAoB,EACpB,QAAQ,EACR,QAAQ,EACR,CAAC,iBAAiB,EAAE,kBAAkB,EAAE,8BAA8B,CAAC,EACvE,CAAC,yCAAyC,EAAE,cAAc,CAAC,EAC3D,4DAA4D,CAC7D;IACD,GAAG,CACD,kBAAkB,EAClB,QAAQ,EACR,QAAQ,EACR,CAAC,kBAAkB,EAAE,qBAAqB,EAAE,wBAAwB,CAAC,EACrE,CAAC,iBAAiB,CAAC,EACnB,+DAA+D,CAChE;IACD,gBAAgB,CACd,GAAG,CACD,qBAAqB,EACrB,QAAQ,EACR,QAAQ,EACR,CAAC,aAAa,CAAC,EACf,CAAC,gBAAgB,CAAC,EAClB,6EAA6E,CAC9E,EACD,yBAAyB,CAC1B;IAED,sCAAsC;IACtC,WAAW,CACT,IAAI,CACF,uBAAuB,EACvB,QAAQ,EACR,aAAa,EACb,CAAC,QAAQ,EAAE,cAAc,EAAE,cAAc,EAAE,qBAAqB,EAAE,gBAAgB,CAAC,EACnF,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,EAC1C,+EAA+E,CAChF,CACF;IACD,WAAW,CACT,IAAI,CACF,yBAAyB,EACzB,QAAQ,EACR,aAAa,EACb,CAAC,gBAAgB,CAAC,EAClB,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,EAC3B,0EAA0E,CAC3E,CACF;IACD,WAAW,CACT,IAAI,CACF,kCAAkC,EAClC,QAAQ,EACR,aAAa,EACb,CAAC,mBAAmB,CAAC,EACrB,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,EAC5B,6DAA6D,CAC9D,CACF;IACD,IAAI,CACF,yBAAyB,EACzB,QAAQ,EACR,gBAAgB,EAChB,CAAC,QAAQ,EAAE,UAAU,CAAC,EACtB,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,EACzE,8DAA8D,CAC/D;IACD,IAAI,CAAC,iBAAiB,EAAE,QAAQ,EAAE,iBAAiB,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,0BAA0B,EAAE;QAC/F,iBAAiB;QACjB,WAAW;KACZ,CAAC;IACF,IAAI,CACF,uBAAuB,EACvB,QAAQ,EACR,oBAAoB,EACpB,CAAC,QAAQ,EAAE,mBAAmB,CAAC,EAC/B,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,EACrB,0EAA0E,CAC3E;IACD,IAAI,CACF,0BAA0B,EAC1B,QAAQ,EACR,gBAAgB,EAChB,CAAC,QAAQ,CAAC,EACV,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,EAC/D,wCAAwC,CACzC;IACD,IAAI,CACF,wBAAwB,EACxB,QAAQ,EACR,0BAA0B,EAC1B,CAAC,QAAQ,CAAC,EACV,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,EAC/B,uCAAuC,CACxC;IACD,IAAI,CACF,4BAA4B,EAC5B,QAAQ,EACR,kBAAkB,EAClB,CAAC,kBAAkB,CAAC,EACpB,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,EAC1C,6DAA6D,CAC9D;IAED,8BAA8B;IAC9B;QACE,EAAE,EAAE,wBAAwB;QAC5B,KAAK,EAAE,gBAAgB;QACvB,MAAM,EAAE,CAAC,aAAa,EAAE,gBAAgB,CAAC;QACzC,KAAK,EAAE,EAAE;QACT,SAAS,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC;QAChC,MAAM,EACJ,8JAA8J;KACjK;CACF,CAAC,CAAC"}
|
|
@@ -0,0 +1,211 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* `@cleocode/contracts/ledger`: the decoded change-journal transaction and op
|
|
3
|
+
* shapes (journal spec `t12342-t12343-journal-design` §2.6).
|
|
4
|
+
*
|
|
5
|
+
* A sealed segment carries an array of {@link LedgerTxn}; each transaction
|
|
6
|
+
* carries {@link LedgerOp}s on sync-set rows, keyed by row uid. Values use the
|
|
7
|
+
* canonical typed wire encoding ({@link LedgerWireValue}), and counter deltas
|
|
8
|
+
* travel as `{ $inc }` ({@link LedgerValue}).
|
|
9
|
+
*
|
|
10
|
+
* Zod schemas, inferred types and const data only (arch gate 10). The sealer
|
|
11
|
+
* that produces these shapes and the merge engine that applies them live in
|
|
12
|
+
* `@cleocode/core` (`store/sync/`).
|
|
13
|
+
*
|
|
14
|
+
* @module ledger
|
|
15
|
+
* @task T12344
|
|
16
|
+
* @epic T12323
|
|
17
|
+
*/
|
|
18
|
+
import { z } from 'zod';
|
|
19
|
+
/** The transaction format version this build writes and reads (`LedgerTxn.v`). */
|
|
20
|
+
export declare const LEDGER_TXN_VERSION = 1;
|
|
21
|
+
/**
|
|
22
|
+
* A typed wire value: a string, null, a safe integer, or a typed escape for an
|
|
23
|
+
* integer beyond 2^53 (`$i`), a REAL (`$r`, `%!.17g` text, `Inf` accepted) or a
|
|
24
|
+
* BLOB (`$b`, base64).
|
|
25
|
+
*/
|
|
26
|
+
export declare const LedgerWireValue: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodNull, z.ZodObject<{
|
|
27
|
+
$i: z.ZodString;
|
|
28
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
29
|
+
$r: z.ZodString;
|
|
30
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
31
|
+
$b: z.ZodString;
|
|
32
|
+
}, z.core.$strict>]>;
|
|
33
|
+
export type LedgerWireValue = z.infer<typeof LedgerWireValue>;
|
|
34
|
+
/** A counter delta (`SYNC_COUNTER_COLUMNS`): applied by summing, never by plain LWW. */
|
|
35
|
+
export declare const LedgerIncrement: z.ZodObject<{
|
|
36
|
+
$inc: z.ZodNumber;
|
|
37
|
+
}, z.core.$strict>;
|
|
38
|
+
export type LedgerIncrement = z.infer<typeof LedgerIncrement>;
|
|
39
|
+
/** An after-value: a wire value or a counter delta. */
|
|
40
|
+
export declare const LedgerValue: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodNull, z.ZodObject<{
|
|
41
|
+
$i: z.ZodString;
|
|
42
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
43
|
+
$r: z.ZodString;
|
|
44
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
45
|
+
$b: z.ZodString;
|
|
46
|
+
}, z.core.$strict>]>, z.ZodObject<{
|
|
47
|
+
$inc: z.ZodNumber;
|
|
48
|
+
}, z.core.$strict>]>;
|
|
49
|
+
export type LedgerValue = z.infer<typeof LedgerValue>;
|
|
50
|
+
/** The op kinds: insert, update, delete, re-key. */
|
|
51
|
+
export declare const LedgerOpKind: z.ZodEnum<{
|
|
52
|
+
D: "D";
|
|
53
|
+
I: "I";
|
|
54
|
+
U: "U";
|
|
55
|
+
K: "K";
|
|
56
|
+
}>;
|
|
57
|
+
export type LedgerOpKind = z.infer<typeof LedgerOpKind>;
|
|
58
|
+
/** One op on one sync-set row (§2.6). */
|
|
59
|
+
export declare const LedgerOp: z.ZodObject<{
|
|
60
|
+
t: z.ZodString;
|
|
61
|
+
u: z.ZodString;
|
|
62
|
+
o: z.ZodEnum<{
|
|
63
|
+
D: "D";
|
|
64
|
+
I: "I";
|
|
65
|
+
U: "U";
|
|
66
|
+
K: "K";
|
|
67
|
+
}>;
|
|
68
|
+
h: z.ZodString;
|
|
69
|
+
nu: z.ZodOptional<z.ZodString>;
|
|
70
|
+
bfp: z.ZodOptional<z.ZodString>;
|
|
71
|
+
obfp: z.ZodOptional<z.ZodString>;
|
|
72
|
+
fh: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
73
|
+
k: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodNull, z.ZodObject<{
|
|
74
|
+
$i: z.ZodString;
|
|
75
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
76
|
+
$r: z.ZodString;
|
|
77
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
78
|
+
$b: z.ZodString;
|
|
79
|
+
}, z.core.$strict>]>, z.ZodObject<{
|
|
80
|
+
$inc: z.ZodNumber;
|
|
81
|
+
}, z.core.$strict>]>>>;
|
|
82
|
+
a: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodNull, z.ZodObject<{
|
|
83
|
+
$i: z.ZodString;
|
|
84
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
85
|
+
$r: z.ZodString;
|
|
86
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
87
|
+
$b: z.ZodString;
|
|
88
|
+
}, z.core.$strict>]>, z.ZodObject<{
|
|
89
|
+
$inc: z.ZodNumber;
|
|
90
|
+
}, z.core.$strict>]>>>;
|
|
91
|
+
b: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodNull, z.ZodObject<{
|
|
92
|
+
$i: z.ZodString;
|
|
93
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
94
|
+
$r: z.ZodString;
|
|
95
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
96
|
+
$b: z.ZodString;
|
|
97
|
+
}, z.core.$strict>]>>>;
|
|
98
|
+
}, z.core.$strict>;
|
|
99
|
+
export type LedgerOp = z.infer<typeof LedgerOp>;
|
|
100
|
+
/** Who wrote a transaction; `op` names the command (e.g. `tasks.reopen`). */
|
|
101
|
+
export declare const LedgerActor: z.ZodObject<{
|
|
102
|
+
agent: z.ZodOptional<z.ZodString>;
|
|
103
|
+
session: z.ZodOptional<z.ZodString>;
|
|
104
|
+
op: z.ZodOptional<z.ZodString>;
|
|
105
|
+
}, z.core.$strict>;
|
|
106
|
+
export type LedgerActor = z.infer<typeof LedgerActor>;
|
|
107
|
+
/** How a transaction's writes reached the store. */
|
|
108
|
+
export declare const LedgerTxnVia: z.ZodEnum<{
|
|
109
|
+
rebind: "rebind";
|
|
110
|
+
accessor: "accessor";
|
|
111
|
+
connection: "connection";
|
|
112
|
+
foreign: "foreign";
|
|
113
|
+
repair: "repair";
|
|
114
|
+
}>;
|
|
115
|
+
export type LedgerTxnVia = z.infer<typeof LedgerTxnVia>;
|
|
116
|
+
/** What a transaction is for. */
|
|
117
|
+
export declare const LedgerTxnKind: z.ZodEnum<{
|
|
118
|
+
import: "import";
|
|
119
|
+
write: "write";
|
|
120
|
+
repair: "repair";
|
|
121
|
+
remint: "remint";
|
|
122
|
+
rekey: "rekey";
|
|
123
|
+
exodus: "exodus";
|
|
124
|
+
retire: "retire";
|
|
125
|
+
}>;
|
|
126
|
+
export type LedgerTxnKind = z.infer<typeof LedgerTxnKind>;
|
|
127
|
+
/**
|
|
128
|
+
* One sealed transaction (§2.6). `v` is checked by the receiver, not by this
|
|
129
|
+
* schema, so a newer format is refused with an explicit error rather than a
|
|
130
|
+
* parse failure.
|
|
131
|
+
*/
|
|
132
|
+
export declare const LedgerTxn: z.ZodObject<{
|
|
133
|
+
v: z.ZodNumber;
|
|
134
|
+
txn: z.ZodString;
|
|
135
|
+
part: z.ZodOptional<z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>>;
|
|
136
|
+
hlc: z.ZodString;
|
|
137
|
+
project: z.ZodNullable<z.ZodString>;
|
|
138
|
+
scope: z.ZodEnum<{
|
|
139
|
+
project: "project";
|
|
140
|
+
global: "global";
|
|
141
|
+
}>;
|
|
142
|
+
via: z.ZodEnum<{
|
|
143
|
+
rebind: "rebind";
|
|
144
|
+
accessor: "accessor";
|
|
145
|
+
connection: "connection";
|
|
146
|
+
foreign: "foreign";
|
|
147
|
+
repair: "repair";
|
|
148
|
+
}>;
|
|
149
|
+
kind: z.ZodEnum<{
|
|
150
|
+
import: "import";
|
|
151
|
+
write: "write";
|
|
152
|
+
repair: "repair";
|
|
153
|
+
remint: "remint";
|
|
154
|
+
rekey: "rekey";
|
|
155
|
+
exodus: "exodus";
|
|
156
|
+
retire: "retire";
|
|
157
|
+
}>;
|
|
158
|
+
actor: z.ZodNullable<z.ZodObject<{
|
|
159
|
+
agent: z.ZodOptional<z.ZodString>;
|
|
160
|
+
session: z.ZodOptional<z.ZodString>;
|
|
161
|
+
op: z.ZodOptional<z.ZodString>;
|
|
162
|
+
}, z.core.$strict>>;
|
|
163
|
+
ops: z.ZodArray<z.ZodObject<{
|
|
164
|
+
t: z.ZodString;
|
|
165
|
+
u: z.ZodString;
|
|
166
|
+
o: z.ZodEnum<{
|
|
167
|
+
D: "D";
|
|
168
|
+
I: "I";
|
|
169
|
+
U: "U";
|
|
170
|
+
K: "K";
|
|
171
|
+
}>;
|
|
172
|
+
h: z.ZodString;
|
|
173
|
+
nu: z.ZodOptional<z.ZodString>;
|
|
174
|
+
bfp: z.ZodOptional<z.ZodString>;
|
|
175
|
+
obfp: z.ZodOptional<z.ZodString>;
|
|
176
|
+
fh: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
177
|
+
k: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodNull, z.ZodObject<{
|
|
178
|
+
$i: z.ZodString;
|
|
179
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
180
|
+
$r: z.ZodString;
|
|
181
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
182
|
+
$b: z.ZodString;
|
|
183
|
+
}, z.core.$strict>]>, z.ZodObject<{
|
|
184
|
+
$inc: z.ZodNumber;
|
|
185
|
+
}, z.core.$strict>]>>>;
|
|
186
|
+
a: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodNull, z.ZodObject<{
|
|
187
|
+
$i: z.ZodString;
|
|
188
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
189
|
+
$r: z.ZodString;
|
|
190
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
191
|
+
$b: z.ZodString;
|
|
192
|
+
}, z.core.$strict>]>, z.ZodObject<{
|
|
193
|
+
$inc: z.ZodNumber;
|
|
194
|
+
}, z.core.$strict>]>>>;
|
|
195
|
+
b: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodNull, z.ZodObject<{
|
|
196
|
+
$i: z.ZodString;
|
|
197
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
198
|
+
$r: z.ZodString;
|
|
199
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
200
|
+
$b: z.ZodString;
|
|
201
|
+
}, z.core.$strict>]>>>;
|
|
202
|
+
}, z.core.$strict>>;
|
|
203
|
+
retire: z.ZodOptional<z.ZodObject<{
|
|
204
|
+
replica: z.ZodString;
|
|
205
|
+
successor: z.ZodString;
|
|
206
|
+
lastReplicaSeq: z.ZodNumber;
|
|
207
|
+
}, z.core.$strict>>;
|
|
208
|
+
sig: z.ZodString;
|
|
209
|
+
}, z.core.$strict>;
|
|
210
|
+
export type LedgerTxn = z.infer<typeof LedgerTxn>;
|
|
211
|
+
//# sourceMappingURL=index.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/ledger/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,kFAAkF;AAClF,eAAO,MAAM,kBAAkB,IAAI,CAAC;AAEpC;;;;GAIG;AACH,eAAO,MAAM,eAAe;;;;;;oBAO1B,CAAC;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAE9D,wFAAwF;AACxF,eAAO,MAAM,eAAe;;kBAA0C,CAAC;AACvE,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAE9D,uDAAuD;AACvD,eAAO,MAAM,WAAW;;;;;;;;oBAA8C,CAAC;AACvE,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,WAAW,CAAC,CAAC;AAEtD,oDAAoD;AACpD,eAAO,MAAM,YAAY;;;;;EAA+B,CAAC;AACzD,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC;AAExD,yCAAyC;AACzC,eAAO,MAAM,QAAQ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBA2BjB,CAAC;AACL,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,QAAQ,CAAC,CAAC;AAEhD,6EAA6E;AAC7E,eAAO,MAAM,WAAW;;;;kBAMb,CAAC;AACZ,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,WAAW,CAAC,CAAC;AAEtD,oDAAoD;AACpD,eAAO,MAAM,YAAY;;;;;;EAAoE,CAAC;AAC9F,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC;AAExD,iCAAiC;AACjC,eAAO,MAAM,aAAa;;;;;;;;EAQxB,CAAC;AACH,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAE1D;;;;GAIG;AACH,eAAO,MAAM,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBA0BX,CAAC;AACZ,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,SAAS,CAAC,CAAC"}
|
|
@@ -0,0 +1,122 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* `@cleocode/contracts/ledger`: the decoded change-journal transaction and op
|
|
3
|
+
* shapes (journal spec `t12342-t12343-journal-design` §2.6).
|
|
4
|
+
*
|
|
5
|
+
* A sealed segment carries an array of {@link LedgerTxn}; each transaction
|
|
6
|
+
* carries {@link LedgerOp}s on sync-set rows, keyed by row uid. Values use the
|
|
7
|
+
* canonical typed wire encoding ({@link LedgerWireValue}), and counter deltas
|
|
8
|
+
* travel as `{ $inc }` ({@link LedgerValue}).
|
|
9
|
+
*
|
|
10
|
+
* Zod schemas, inferred types and const data only (arch gate 10). The sealer
|
|
11
|
+
* that produces these shapes and the merge engine that applies them live in
|
|
12
|
+
* `@cleocode/core` (`store/sync/`).
|
|
13
|
+
*
|
|
14
|
+
* @module ledger
|
|
15
|
+
* @task T12344
|
|
16
|
+
* @epic T12323
|
|
17
|
+
*/
|
|
18
|
+
import { z } from 'zod';
|
|
19
|
+
import { Hlc } from '../cloud/ids.js';
|
|
20
|
+
/** The transaction format version this build writes and reads (`LedgerTxn.v`). */
|
|
21
|
+
export const LEDGER_TXN_VERSION = 1;
|
|
22
|
+
/**
|
|
23
|
+
* A typed wire value: a string, null, a safe integer, or a typed escape for an
|
|
24
|
+
* integer beyond 2^53 (`$i`), a REAL (`$r`, `%!.17g` text, `Inf` accepted) or a
|
|
25
|
+
* BLOB (`$b`, base64).
|
|
26
|
+
*/
|
|
27
|
+
export const LedgerWireValue = z.union([
|
|
28
|
+
z.string(),
|
|
29
|
+
z.number(),
|
|
30
|
+
z.null(),
|
|
31
|
+
z.object({ $i: z.string() }).strict(),
|
|
32
|
+
z.object({ $r: z.string() }).strict(),
|
|
33
|
+
z.object({ $b: z.string() }).strict(),
|
|
34
|
+
]);
|
|
35
|
+
/** A counter delta (`SYNC_COUNTER_COLUMNS`): applied by summing, never by plain LWW. */
|
|
36
|
+
export const LedgerIncrement = z.object({ $inc: z.number() }).strict();
|
|
37
|
+
/** An after-value: a wire value or a counter delta. */
|
|
38
|
+
export const LedgerValue = z.union([LedgerWireValue, LedgerIncrement]);
|
|
39
|
+
/** The op kinds: insert, update, delete, re-key. */
|
|
40
|
+
export const LedgerOpKind = z.enum(['I', 'U', 'D', 'K']);
|
|
41
|
+
/** One op on one sync-set row (§2.6). */
|
|
42
|
+
export const LedgerOp = z
|
|
43
|
+
.object({
|
|
44
|
+
/** Table. */
|
|
45
|
+
t: z.string().min(1),
|
|
46
|
+
/** Row uid; for K the OLD uid. */
|
|
47
|
+
u: z.string().min(1),
|
|
48
|
+
o: LedgerOpKind,
|
|
49
|
+
/** The op's HLC; also every field's HLC unless `fh` names a different one. */
|
|
50
|
+
h: Hlc,
|
|
51
|
+
/** K only: the new uid. */
|
|
52
|
+
nu: z.string().min(1).optional(),
|
|
53
|
+
/** birth_fp, on every op of a minted row; for K, the new value. */
|
|
54
|
+
bfp: z.string().optional(),
|
|
55
|
+
/** K only: the old birth_fp. */
|
|
56
|
+
obfp: z.string().optional(),
|
|
57
|
+
/** Per-field HLCs where they differ from `h`. */
|
|
58
|
+
fh: z.record(z.string(), Hlc).optional(),
|
|
59
|
+
/** Natural rows: the key, with refs as uids. */
|
|
60
|
+
k: z.record(z.string(), LedgerValue).optional(),
|
|
61
|
+
/** After-values (refs as uids; counters as `{ $inc }`). */
|
|
62
|
+
a: z.record(z.string(), LedgerValue).optional(),
|
|
63
|
+
/** Before-image (secrets excluded). */
|
|
64
|
+
b: z.record(z.string(), LedgerWireValue).optional(),
|
|
65
|
+
})
|
|
66
|
+
.strict()
|
|
67
|
+
.refine((op) => (op.o === 'K') === (op.nu !== undefined), {
|
|
68
|
+
message: 'nu is required on a K op and only there',
|
|
69
|
+
});
|
|
70
|
+
/** Who wrote a transaction; `op` names the command (e.g. `tasks.reopen`). */
|
|
71
|
+
export const LedgerActor = z
|
|
72
|
+
.object({
|
|
73
|
+
agent: z.string().optional(),
|
|
74
|
+
session: z.string().optional(),
|
|
75
|
+
op: z.string().optional(),
|
|
76
|
+
})
|
|
77
|
+
.strict();
|
|
78
|
+
/** How a transaction's writes reached the store. */
|
|
79
|
+
export const LedgerTxnVia = z.enum(['accessor', 'connection', 'foreign', 'repair', 'rebind']);
|
|
80
|
+
/** What a transaction is for. */
|
|
81
|
+
export const LedgerTxnKind = z.enum([
|
|
82
|
+
'write',
|
|
83
|
+
'remint',
|
|
84
|
+
'rekey',
|
|
85
|
+
'repair',
|
|
86
|
+
'exodus',
|
|
87
|
+
'import',
|
|
88
|
+
'retire',
|
|
89
|
+
]);
|
|
90
|
+
/**
|
|
91
|
+
* One sealed transaction (§2.6). `v` is checked by the receiver, not by this
|
|
92
|
+
* schema, so a newer format is refused with an explicit error rather than a
|
|
93
|
+
* parse failure.
|
|
94
|
+
*/
|
|
95
|
+
export const LedgerTxn = z
|
|
96
|
+
.object({
|
|
97
|
+
v: z.number().int().positive(),
|
|
98
|
+
/** `${replicaId}:${localTxnSeq}`. */
|
|
99
|
+
txn: z.string().min(1),
|
|
100
|
+
/** Only for split oversized groups: [part, of]. */
|
|
101
|
+
part: z.tuple([z.number().int().positive(), z.number().int().positive()]).optional(),
|
|
102
|
+
hlc: Hlc,
|
|
103
|
+
/** Merge key is (project, uid). */
|
|
104
|
+
project: z.string().nullable(),
|
|
105
|
+
scope: z.enum(['project', 'global']),
|
|
106
|
+
via: LedgerTxnVia,
|
|
107
|
+
kind: LedgerTxnKind,
|
|
108
|
+
actor: LedgerActor.nullable(),
|
|
109
|
+
ops: z.array(LedgerOp),
|
|
110
|
+
retire: z
|
|
111
|
+
.object({
|
|
112
|
+
replica: z.string(),
|
|
113
|
+
successor: z.string(),
|
|
114
|
+
lastReplicaSeq: z.number().int().nonnegative(),
|
|
115
|
+
})
|
|
116
|
+
.strict()
|
|
117
|
+
.optional(),
|
|
118
|
+
/** Ed25519 over the transaction signing message (§2.8). */
|
|
119
|
+
sig: z.string(),
|
|
120
|
+
})
|
|
121
|
+
.strict();
|
|
122
|
+
//# sourceMappingURL=index.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/ledger/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,GAAG,EAAE,MAAM,iBAAiB,CAAC;AAEtC,kFAAkF;AAClF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC;AAEpC;;;;GAIG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC;IACrC,CAAC,CAAC,MAAM,EAAE;IACV,CAAC,CAAC,MAAM,EAAE;IACV,CAAC,CAAC,IAAI,EAAE;IACR,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACrC,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACrC,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;CACtC,CAAC,CAAC;AAGH,wFAAwF;AACxF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;AAGvE,uDAAuD;AACvD,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,eAAe,EAAE,eAAe,CAAC,CAAC,CAAC;AAGvE,oDAAoD;AACpD,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAGzD,yCAAyC;AACzC,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC;KACtB,MAAM,CAAC;IACN,aAAa;IACb,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACpB,kCAAkC;IAClC,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACpB,CAAC,EAAE,YAAY;IACf,8EAA8E;IAC9E,CAAC,EAAE,GAAG;IACN,2BAA2B;IAC3B,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAChC,mEAAmE;IACnE,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC1B,gCAAgC;IAChC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC3B,iDAAiD;IACjD,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,GAAG,CAAC,CAAC,QAAQ,EAAE;IACxC,gDAAgD;IAChD,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,WAAW,CAAC,CAAC,QAAQ,EAAE;IAC/C,2DAA2D;IAC3D,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,WAAW,CAAC,CAAC,QAAQ,EAAE;IAC/C,uCAAuC;IACvC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,eAAe,CAAC,CAAC,QAAQ,EAAE;CACpD,CAAC;KACD,MAAM,EAAE;KACR,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,KAAK,SAAS,CAAC,EAAE;IACxD,OAAO,EAAE,yCAAyC;CACnD,CAAC,CAAC;AAGL,6EAA6E;AAC7E,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC;KACzB,MAAM,CAAC;IACN,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC5B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC9B,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC1B,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,oDAAoD;AACpD,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,YAAY,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;AAG9F,iCAAiC;AACjC,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,IAAI,CAAC;IAClC,OAAO;IACP,QAAQ;IACR,OAAO;IACP,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;CACT,CAAC,CAAC;AAGH;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC;KACvB,MAAM,CAAC;IACN,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IAC9B,qCAAqC;IACrC,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACtB,mDAAmD;IACnD,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE;IACpF,GAAG,EAAE,GAAG;IACR,mCAAmC;IACnC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC9B,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;IACpC,GAAG,EAAE,YAAY;IACjB,IAAI,EAAE,aAAa;IACnB,KAAK,EAAE,WAAW,CAAC,QAAQ,EAAE;IAC7B,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC;IACtB,MAAM,EAAE,CAAC;SACN,MAAM,CAAC;QACN,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;QACnB,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;QACrB,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;KAC/C,CAAC;SACD,MAAM,EAAE;SACR,QAAQ,EAAE;IACb,2DAA2D;IAC3D,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE;CAChB,CAAC;KACD,MAAM,EAAE,CAAC"}
|
package/dist/nexus-account.d.ts
CHANGED
|
@@ -28,7 +28,7 @@ export declare const NEXUS_CLI_CLIENT_ID = "cleo-cli";
|
|
|
28
28
|
*/
|
|
29
29
|
export declare const NEXUS_LOGIN_TARGET = "nexus";
|
|
30
30
|
/** Stable error codes of the Nexus account flows. */
|
|
31
|
-
export declare const NEXUS_ACCOUNT_ERROR_CODES: readonly ["E_NEXUS_INVALID_API_URL", "E_NEXUS_NOT_SIGNED_IN", "E_NEXUS_SESSION_EXPIRED", "E_NEXUS_DEVICE_CODE_START_FAILED", "E_NEXUS_UNTRUSTED_VERIFICATION_URI", "E_NEXUS_DEVICE_CODE_EXPIRED", "E_NEXUS_ACCESS_DENIED", "E_NEXUS_DEVICE_CODE_FAILED", "E_NEXUS_REVOKE_FAILED", "E_NEXUS_REQUEST_FAILED", "E_NEXUS_NOT_A_PROJECT", "E_NEXUS_INVALID_LABEL", "E_NEXUS_UNREACHABLE", "E_NEXUS_REVOKE_PENDING", "E_NEXUS_DEVICE_SIGNED_OUT", "E_NEXUS_DEVICE_REVOKED", "E_NEXUS_CREDENTIAL_COMPROMISED", "E_NEXUS_INSUFFICIENT_SCOPE", "E_NEXUS_REPLICA_COPIED", "E_NEXUS_BUSY", "E_NEXUS_ACCOUNT_AMBIGUOUS", "E_NEXUS_DEVICE_REQUIRED", "E_NEXUS_LINK_FILE_UNSUPPORTED", "E_NEXUS_VAULT_LEASE_HELD", "E_NEXUS_VAULT_BEHIND", "E_NEXUS_VAULT_LOCAL_CHANGES", "E_NEXUS_VAULT_VERIFY_FAILED", "E_NEXUS_VAULT_KEY_UNAVAILABLE", "E_NEXUS_VAULT_NOT_LINKED", "E_NEXUS_VAULT_EMPTY", "E_NEXUS_VAULT_UNSUPPORTED", "E_NEXUS_VAULT_REFUSED", "E_NEXUS_VAULT_STREAM_UPGRADED", "E_NEXUS_VAULT_STORE_BUSY", "E_NEXUS_VAULT_TARGET_OCCUPIED"];
|
|
31
|
+
export declare const NEXUS_ACCOUNT_ERROR_CODES: readonly ["E_NEXUS_INVALID_API_URL", "E_NEXUS_NOT_SIGNED_IN", "E_NEXUS_SESSION_EXPIRED", "E_NEXUS_DEVICE_CODE_START_FAILED", "E_NEXUS_UNTRUSTED_VERIFICATION_URI", "E_NEXUS_DEVICE_CODE_EXPIRED", "E_NEXUS_ACCESS_DENIED", "E_NEXUS_DEVICE_CODE_FAILED", "E_NEXUS_REVOKE_FAILED", "E_NEXUS_REQUEST_FAILED", "E_NEXUS_NOT_A_PROJECT", "E_NEXUS_INVALID_LABEL", "E_NEXUS_UNREACHABLE", "E_NEXUS_REVOKE_PENDING", "E_NEXUS_DEVICE_SIGNED_OUT", "E_NEXUS_DEVICE_REVOKED", "E_NEXUS_CREDENTIAL_COMPROMISED", "E_NEXUS_INSUFFICIENT_SCOPE", "E_NEXUS_REPLICA_COPIED", "E_NEXUS_BUSY", "E_NEXUS_ACCOUNT_AMBIGUOUS", "E_NEXUS_DEVICE_REQUIRED", "E_NEXUS_LINK_FILE_UNSUPPORTED", "E_NEXUS_VAULT_LEASE_HELD", "E_NEXUS_VAULT_BEHIND", "E_NEXUS_VAULT_LOCAL_CHANGES", "E_NEXUS_VAULT_VERIFY_FAILED", "E_NEXUS_VAULT_KEY_UNAVAILABLE", "E_NEXUS_VAULT_NOT_LINKED", "E_NEXUS_VAULT_EMPTY", "E_NEXUS_VAULT_UNSUPPORTED", "E_NEXUS_VAULT_REFUSED", "E_NEXUS_VAULT_STREAM_UPGRADED", "E_NEXUS_VAULT_STORE_BUSY", "E_NEXUS_VAULT_TARGET_OCCUPIED", "E_NEXUS_PROJECT_NOT_FOUND", "E_NEXUS_PROJECT_AMBIGUOUS"];
|
|
32
32
|
/** One of {@link NEXUS_ACCOUNT_ERROR_CODES}. */
|
|
33
33
|
export type NexusAccountErrorCode = (typeof NEXUS_ACCOUNT_ERROR_CODES)[number];
|
|
34
34
|
/** The signed-in user, as `/v1/account/me` reports it. */
|
|
@@ -106,6 +106,66 @@ export interface NexusLoginDevice {
|
|
|
106
106
|
/** `true` when E1 created the device row, `false` when it re-enrolled it. */
|
|
107
107
|
created: boolean | null;
|
|
108
108
|
}
|
|
109
|
+
/**
|
|
110
|
+
* A step of the account setup `cleo login nexus` runs right after enrolment
|
|
111
|
+
* (T13100), named when it fails:
|
|
112
|
+
*
|
|
113
|
+
* - `connect`: open the vault connection with the new device credential;
|
|
114
|
+
* - `escrow-read`: read the escrowed account master key (`GET /v1/account/keys/escrow`);
|
|
115
|
+
* - `escrow-mint`: on the account's first device, create the master key and escrow it
|
|
116
|
+
* (`PUT /v1/account/keys/escrow`; a 409 means another device won, and its key is read);
|
|
117
|
+
* - `certify`: certify this device under the master key (`PUT /v1/devices/:id/key`);
|
|
118
|
+
* - `trust`: evaluate and record the signer trust state (`GET /v1/devices/trust`,
|
|
119
|
+
* `<cleoHome>/nexus-vault.json`).
|
|
120
|
+
*/
|
|
121
|
+
export type NexusAccountSetupStep = 'connect' | 'escrow-read' | 'escrow-mint' | 'certify' | 'trust';
|
|
122
|
+
/**
|
|
123
|
+
* What `cleo login nexus` did to make the account ready for encrypted backups
|
|
124
|
+
* (T13100). Holds no key.
|
|
125
|
+
*
|
|
126
|
+
* - `ready`: this device holds the account master key and is certified under it;
|
|
127
|
+
* - `unsupported`: the server has no account key escrow; the login still succeeded;
|
|
128
|
+
* - `skipped`: a read-only device, which never mints or certifies;
|
|
129
|
+
* - `failed`: the login succeeded but the setup did not; `step` and `fix` say where and what to do.
|
|
130
|
+
*/
|
|
131
|
+
export type NexusAccountSetup = {
|
|
132
|
+
status: 'ready';
|
|
133
|
+
/**
|
|
134
|
+
* `fetched`: the escrowed key was opened; `minted`: this device created and escrowed it;
|
|
135
|
+
* `adopted`: another device escrowed first (409) and its key was read, never re-minted.
|
|
136
|
+
*/
|
|
137
|
+
escrow: 'fetched' | 'minted' | 'adopted';
|
|
138
|
+
/** `new`: this login certified the device; `existing`: it already was. */
|
|
139
|
+
certificate: 'new' | 'existing';
|
|
140
|
+
/** Version of the account master key. */
|
|
141
|
+
keyVersion: number;
|
|
142
|
+
/** One human line. */
|
|
143
|
+
summary: string;
|
|
144
|
+
} | {
|
|
145
|
+
status: 'unsupported';
|
|
146
|
+
/** `E_NEXUS_VAULT_UNSUPPORTED`. */
|
|
147
|
+
code: NexusAccountErrorCode;
|
|
148
|
+
/** The remedy. */
|
|
149
|
+
fix: string;
|
|
150
|
+
/** One human line. */
|
|
151
|
+
summary: string;
|
|
152
|
+
} | {
|
|
153
|
+
status: 'skipped';
|
|
154
|
+
/** One human line. */
|
|
155
|
+
summary: string;
|
|
156
|
+
} | {
|
|
157
|
+
status: 'failed';
|
|
158
|
+
/** The step that failed. */
|
|
159
|
+
step: NexusAccountSetupStep;
|
|
160
|
+
/** Stable error code (a {@link NexusAccountErrorCode} when the flow raised one). */
|
|
161
|
+
code: string;
|
|
162
|
+
/** What went wrong. */
|
|
163
|
+
message: string;
|
|
164
|
+
/** The remedy. */
|
|
165
|
+
fix: string;
|
|
166
|
+
/** One human line naming the step and the remedy. */
|
|
167
|
+
summary: string;
|
|
168
|
+
};
|
|
109
169
|
/** Result of `cleo login nexus` (never carries the token). */
|
|
110
170
|
export interface NexusLoginResult {
|
|
111
171
|
/** API origin the session belongs to. */
|
|
@@ -124,6 +184,8 @@ export interface NexusLoginResult {
|
|
|
124
184
|
device?: NexusLoginDevice;
|
|
125
185
|
/** Scopes of the stored device credential; present only with device credentials. */
|
|
126
186
|
scopes?: string[];
|
|
187
|
+
/** The account key setup run right after enrolment (T13100); present only with device credentials. */
|
|
188
|
+
account?: NexusAccountSetup;
|
|
127
189
|
}
|
|
128
190
|
/** Result of `cleo logout nexus`. */
|
|
129
191
|
export interface NexusLogoutResult {
|
|
@@ -259,6 +321,15 @@ export interface NexusProjectLinkResult {
|
|
|
259
321
|
message: string;
|
|
260
322
|
fix: string | null;
|
|
261
323
|
} | null;
|
|
324
|
+
/**
|
|
325
|
+
* The project data key version the server holds from this registration
|
|
326
|
+
* (onboarding B): `1` when the link sent a new project's first key with it,
|
|
327
|
+
* `null` when it sent none (the project already existed, the server does
|
|
328
|
+
* not take keys at registration, or this device has no account key; see
|
|
329
|
+
* {@link NexusProjectLinkResult.warnings}). With `null`, the first
|
|
330
|
+
* `cleo cloud push` creates the key.
|
|
331
|
+
*/
|
|
332
|
+
initialKeyVersion: number | null;
|
|
262
333
|
/** Non-fatal problems (for example, presence could not be sent). */
|
|
263
334
|
warnings: string[];
|
|
264
335
|
}
|