@owlmeans/server-planning 0.1.18-rc.13 → 0.1.18-rc.15
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/README.md +21 -5
- package/agent-meta/manifest.json +2 -2
- package/agent-meta/skills/server-planning/SKILL.md +88 -6
- package/build/actions/execute.d.ts +4 -1
- package/build/actions/execute.d.ts.map +1 -1
- package/build/actions/execute.js +7 -4
- package/build/actions/execute.js.map +1 -1
- package/build/conformance/cases.d.ts.map +1 -1
- package/build/conformance/cases.js +55 -1
- package/build/conformance/cases.js.map +1 -1
- package/build/executor/creator.d.ts +30 -0
- package/build/executor/creator.d.ts.map +1 -0
- package/build/executor/creator.js +47 -0
- package/build/executor/creator.js.map +1 -0
- package/build/executor/validate.d.ts +3 -2
- package/build/executor/validate.d.ts.map +1 -1
- package/build/executor/validate.js +5 -2
- package/build/executor/validate.js.map +1 -1
- package/build/executor.d.ts +8 -5
- package/build/executor.d.ts.map +1 -1
- package/build/executor.js +10 -6
- package/build/executor.js.map +1 -1
- package/package.json +9 -9
- package/src/actions/execute.ts +7 -4
- package/src/conformance/cases.ts +69 -5
- package/src/executor/creator.ts +54 -0
- package/src/executor/validate.ts +5 -2
- package/src/executor.ts +11 -6
- package/tests/create-example.spec.ts +202 -0
- package/tests/creator.spec.ts +257 -0
|
@@ -2,8 +2,9 @@ import type { PlanningFacade, TransitionExecution } from '@owlmeans/planning';
|
|
|
2
2
|
import type { PlanningRuntime } from '../service.js';
|
|
3
3
|
import type { Resolved } from './resolve.js';
|
|
4
4
|
/**
|
|
5
|
-
* Step 6: shape, flow rule, immutables
|
|
6
|
-
*
|
|
5
|
+
* Step 6: shape, flow rule, immutables (`createdBy` among them, {@link assertCreatorFixed}),
|
|
6
|
+
* `fields`, labels, parent moves, the specification slot and relationships — in that order.
|
|
7
|
+
* Nothing is written by a refusal here.
|
|
7
8
|
*
|
|
8
9
|
* @throws {PlanningError} `malformed:*` / `immutable:*`
|
|
9
10
|
* @throws {IllegalTransition | FieldsInvalid | LabelNotAllowed | ParentNotFound | CardTypeNotAllowed}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../src/executor/validate.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EACV,cAAc,EAAoC,mBAAmB,EACtE,MAAM,oBAAoB,CAAA;AAC3B,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,eAAe,CAAA;
|
|
1
|
+
{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../src/executor/validate.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EACV,cAAc,EAAoC,mBAAmB,EACtE,MAAM,oBAAoB,CAAA;AAC3B,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,eAAe,CAAA;AAGpD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAA;AAgO5C;;;;;;;;GAQG;AACH,eAAO,MAAM,iBAAiB,YACnB,eAAe,UAAU,cAAc,QAAQ,mBAAmB,YAAY,QAAQ,KAC9F,OAAO,CAAC,IAAI,CAUd,CAAA"}
|
|
@@ -1,4 +1,5 @@
|
|
|
1
1
|
import { applyUnset, assertMutable, BODY_MAX, CODE_MAX, DESCRIPTION_MAX, IllegalTransition, LabelNotAllowed, MAX_LABELS, MAX_PARENTS, mergeFields, normalizeParents, ParentNotFound, PlanningError, RelationshipRefused, ruleOf, SpecificationRevisionConflict, SpecificationSlotUnknown, slotOf, TITLE_MAX, TransitionAction, validateFields, validateSpecificationBody, WorkcardKind, } from '@owlmeans/planning';
|
|
2
|
+
import { assertCreatorFixed } from './creator.js';
|
|
2
3
|
import { assertChildAllowed, childViewOf } from './resolve.js';
|
|
3
4
|
const ACTIONS = new Set(Object.values(TransitionAction));
|
|
4
5
|
const malformed = (what) => new PlanningError(`malformed:${what}`);
|
|
@@ -202,8 +203,9 @@ const assertRelationships = async (exec, resolved, facade) => {
|
|
|
202
203
|
}
|
|
203
204
|
};
|
|
204
205
|
/**
|
|
205
|
-
* Step 6: shape, flow rule, immutables
|
|
206
|
-
*
|
|
206
|
+
* Step 6: shape, flow rule, immutables (`createdBy` among them, {@link assertCreatorFixed}),
|
|
207
|
+
* `fields`, labels, parent moves, the specification slot and relationships — in that order.
|
|
208
|
+
* Nothing is written by a refusal here.
|
|
207
209
|
*
|
|
208
210
|
* @throws {PlanningError} `malformed:*` / `immutable:*`
|
|
209
211
|
* @throws {IllegalTransition | FieldsInvalid | LabelNotAllowed | ParentNotFound | CardTypeNotAllowed}
|
|
@@ -213,6 +215,7 @@ export const validateExecution = async (runtime, facade, exec, resolved) => {
|
|
|
213
215
|
assertShape(exec, resolved);
|
|
214
216
|
assertFlow(exec, resolved);
|
|
215
217
|
assertMutable(exec, resolved.type);
|
|
218
|
+
assertCreatorFixed(exec);
|
|
216
219
|
assertFields(exec, resolved);
|
|
217
220
|
assertLabels(exec, resolved);
|
|
218
221
|
await assertParentMove(exec, resolved, runtime, facade);
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../src/executor/validate.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,UAAU,EAAE,aAAa,EAAE,QAAQ,EAAE,QAAQ,EAAE,eAAe,EAAE,iBAAiB,EACjF,eAAe,EAAE,UAAU,EAAE,WAAW,EAAE,WAAW,EAAE,gBAAgB,EAAE,cAAc,EAAE,aAAa,EACtG,mBAAmB,EAAE,MAAM,EAAE,6BAA6B,EAAE,wBAAwB,EAAE,MAAM,EAAE,SAAS,EACvG,gBAAgB,EAAE,cAAc,EAAE,yBAAyB,EAAE,YAAY,GAC1E,MAAM,oBAAoB,CAAA;AAK3B,OAAO,EAAE,kBAAkB,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAG9D,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAA;AAEhE,MAAM,SAAS,GAAG,CAAC,IAAY,EAAiB,EAAE,CAAC,IAAI,aAAa,CAAC,aAAa,IAAI,EAAE,CAAC,CAAA;AAEzF,MAAM,UAAU,GAAG,CAAC,IAAY,EAAE,KAAc,EAAE,GAAW,EAAE,QAAiB,EAAQ,EAAE;IACxF,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QAC1C,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,SAAS,CAAC,IAAI,CAAC,CAAA;QACvB,CAAC;QACD,OAAM;IACR,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,QAAQ,IAAI,KAAK,KAAK,EAAE,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,GAAG,EAAE,CAAC;QAClF,MAAM,SAAS,CAAC,IAAI,CAAC,CAAA;IACvB,CAAC;AACH,CAAC,CAAA;AAED,MAAM,WAAW,GAAG,CAAC,IAAyB,EAAE,QAAkB,EAAQ,EAAE;IAC1E,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9B,MAAM,SAAS,CAAC,UAAU,IAAI,CAAC,MAAM,EAAE,CAAC,CAAA;IAC1C,CAAC;IACD,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,gBAAgB,CAAC,MAAM,EAAE,CAAC;QAClE,MAAM,SAAS,CAAC,sBAAsB,CAAC,CAAA;IACzC,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,gBAAgB,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,UAAU,IAAI,IAAI,IAAI,IAAI,CAAC,UAAU,KAAK,EAAE,CAAC,EAAE,CAAC;QACpG,MAAM,SAAS,CAAC,4BAA4B,CAAC,CAAA;IAC/C,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,gBAAgB,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,gBAAgB,CAAC,MAAM,CAAC;WACjF,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,EAAE,CAAC;QACvG,MAAM,SAAS,CAAC,GAAG,IAAI,CAAC,MAAM,eAAe,CAAC,CAAA;IAChD,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAqB,CAAA;QACxC,UAAU,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,CAAA;QACjD,UAAU,CAAC,aAAa,EAAE,KAAK,CAAC,WAAW,EAAE,eAAe,EAAE,KAAK,CAAC,CAAA;QACpE,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAA;QAC/C,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,WAAW,EAAE,CAAC;YAC/C,MAAM,SAAS,CAAC,SAAS,CAAC,CAAA;QAC5B,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,EAAE,CAAA;IAClC,IAAI,OAAO,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAChC,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,CAAA;IACrD,CAAC;IACD,UAAU,CAAC,aAAa,EAAE,OAAO,CAAC,WAAW,IAAI,SAAS,EAAE,eAAe,EAAE,KAAK,CAAC,CAAA;IACnF,UAAU,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,IAAI,SAAS,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAA;AAChE,CAAC,CAAA;AAED,MAAM,UAAU,GAAG,CAAC,IAAyB,EAAE,QAAkB,EAAQ,EAAE;IACzE,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpB,MAAM,MAAM,GAAI,IAAI,CAAC,IAAsB,CAAC,MAAM,CAAA;QAClD,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAChE,IAAI,MAAM,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,KAAK,MAAM,CAAC,EAAE,CAAC;YACtF,MAAM,IAAI,iBAAiB,CAAC,GAAG,OAAO,CAAC,EAAE,WAAW,MAAM,EAAE,CAAC,CAAA;QAC/D,CAAC;QACD,OAAM;IACR,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,gBAAgB,CAAC,OAAO,EAAE,CAAC;QAC7C,OAAM;IACR,CAAC;IACD,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAK,CAAA;IAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAA;IACvD,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,UAAW,EAAE,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC;QAC1D,MAAM,IAAI,iBAAiB,CAAC,GAAG,QAAQ,CAAC,MAAM,IAAI,IAAI,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC,CAAA;IAC9E,CAAC;AACH,CAAC,CAAA;AAED,MAAM,YAAY,GAAG,CAAC,IAAyB,EAAE,QAAkB,EAAQ,EAAE;IAC3E,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAA;IAChC,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAqB,CAAA;QACxC,cAAc,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAA;QAC5F,OAAM;IACR,CAAC;IACD,MAAM,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAA;IAC5E,IAAI,IAAI,CAAC,OAAO,EAAE,MAAM,IAAI,IAAI,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxD,OAAM;IACR,CAAC;IACD,MAAM,MAAM,GAAG,UAAU,CAAC,EAAE,MAAM,EAAE,WAAW,CAAC,QAAQ,CAAC,IAAK,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAA;IACvG,cAAc,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAA;AAC5D,CAAC,CAAA;AAED,MAAM,YAAY,GAAG,CAAC,IAAyB,EAAE,QAAkB,EAAQ,EAAE;IAC3E,MAAM,MAAM,GAAG;QACb,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAE,IAAI,CAAC,IAAsB,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrE,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,IAAI,EAAE,CAAC;KAChC,CAAA;IACD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAM;IACR,CAAC;IACD,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,GAAG,UAAU,EAAE,CAAC;QACtC,MAAM,IAAI,eAAe,CAAC,YAAY,MAAM,CAAC,MAAM,EAAE,CAAC,CAAA;IACxD,CAAC;IACD,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAA;IACpC,MAAM,OAAO,GAAG,OAAO,IAAI,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAA;IAC5F,IAAI,OAAO,IAAI,IAAI,EAAE,CAAC;QACpB,MAAM,IAAI,eAAe,CAAC,OAAO,CAAC,CAAA;IACpC,CAAC;AACH,CAAC,CAAA;AAED,MAAM,gBAAgB,GAAG,KAAK,EAC5B,IAAyB,EAAE,QAAkB,EAAE,OAAwB,EAAE,MAAsB,EAChF,EAAE;IACjB,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpB,OAAM;IACR,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,EAAE,CAAA;IAClC,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;SAC1E,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,QAAQ,CAAC,IAAK,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,IAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAA;IACrF,KAAK,MAAM,EAAE,IAAI,KAAK,EAAE,CAAC;QACvB,IAAI,EAAE,KAAK,QAAQ,CAAC,IAAK,CAAC,EAAE,EAAE,CAAC;YAC7B,MAAM,SAAS,CAAC,aAAa,CAAC,CAAA;QAChC,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QACzC,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;YAClB,MAAM,IAAI,cAAc,CAAC,EAAE,CAAC,CAAA;QAC9B,CAAC;QACD,kBAAkB,CAChB,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,IAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAK,CAAC,IAAI,EAAE,MAAM,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,CACnH,CAAA;IACH,CAAC;AACH,CAAC,CAAA;AAED,MAAM,mBAAmB,GAAG,KAAK,EAC/B,IAAyB,EAAE,QAAkB,EAAE,MAAsB,EACtD,EAAE;IACjB,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAE,IAAI,CAAC,IAAsB,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAK,CAAC,IAAI,CAAA;IACtF,IAAI,IAAI,KAAK,YAAY,CAAC,aAAa,EAAE,CAAC;QACxC,OAAM;IACR,CAAC;IACD,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAA;IAEhC,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAqB,CAAA;QACxC,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAO,CAAA;QAC/B,IAAI,KAAK,CAAC,QAAQ,IAAI,IAAI,IAAI,KAAK,CAAC,QAAQ,KAAK,EAAE,EAAE,CAAC;YACpD,MAAM,SAAS,CAAC,gCAAgC,CAAC,CAAA;QACnD,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAA;QAC9D,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;YACjB,MAAM,IAAI,wBAAwB,CAAC,GAAG,MAAM,CAAC,IAAI,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAA;QACxE,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,IAAI,IAAI,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;YACzD,MAAM,SAAS,CAAC,UAAU,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC,CAAA;QAC7D,CAAC;QACD,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAA;QAC/C,yBAAyB,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAA;QAC3C,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,IAAI,MAAM,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,MAAM,CAAC,EAAG,EAAE,KAAK,CAAC,QAAQ,CAAC,IAAI,IAAI,EAAE,CAAC;YACtG,MAAM,IAAI,6BAA6B,CAAC,GAAG,MAAM,CAAC,EAAE,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAA;QAC3E,CAAC;QACD,OAAM;IACR,CAAC;IAED,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAqB,CAAA;IAC3C,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,EAAE,CAAA;IAClC,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,IAAI,OAAO,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ,EAAE,CAAC;QACzE,MAAM,IAAI,aAAa,CAAC,oBAAoB,CAAC,CAAA;IAC/C,CAAC;IACD,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAA;IAC1B,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;QACjB,OAAM;IACR,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,IAAI,IAAI,IAAI,OAAO,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;QAC7D,MAAM,SAAS,CAAC,UAAU,IAAI,CAAC,QAAQ,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC,CAAA;IAC9D,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,IAAI,IAAI,EAAE,CAAC;QACzB,UAAU,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAA;QACjD,yBAAyB,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAA;IAC/C,CAAC;AACH,CAAC,CAAA;AAED,MAAM,mBAAmB,GAAG,KAAK,EAC/B,IAAyB,EAAE,QAAkB,EAAE,MAAsB,EACtD,EAAE;IACjB,MAAM,MAAM,GAAwB,IAAI,CAAC,MAAM,KAAK,gBAAgB,CAAC,MAAM;QACzE,CAAC,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE;QAClB,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,gBAAgB,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;IACxG,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAM;IACR,CAAC;IACD,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAA;IAChC,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,aAAa,IAAI,EAAE,CAAA;IAClD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAA;IAEzC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,CAAA;QAC9D,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;YACjB,MAAM,IAAI,mBAAmB,CAAC,WAAW,KAAK,CAAC,IAAI,EAAE,CAAC,CAAA;QACxD,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,IAAI,IAAI,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAChD,MAAM,IAAI,mBAAmB,CAAC,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC,CAAA;QACrD,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,KAAK,gBAAgB,CAAC,MAAM,EAAE,CAAC;YAC5C,MAAM,QAAQ,GAAG,MAAM,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAA;YAClG,IAAI,QAAQ,CAAC,KAAK,KAAK,CAAC,EAAE,CAAC;gBACzB,MAAM,IAAI,mBAAmB,CAAC,UAAU,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,EAAE,EAAE,CAAC,CAAA;YACnE,CAAC;YACD,SAAQ;QACV,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QAChD,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;YACnB,MAAM,IAAI,mBAAmB,CAAC,MAAM,KAAK,CAAC,EAAE,EAAE,CAAC,CAAA;QACjD,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACjE,MAAM,IAAI,mBAAmB,CAAC,aAAa,KAAK,CAAC,IAAI,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAA;QAChF,CAAC;QACD,IAAI,IAAI,CAAC,EAAE,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YACtD,MAAM,IAAI,mBAAmB,CAAC,WAAW,KAAK,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC,CAAA;QACvE,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;YACzB,MAAM,KAAK,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAA;YAChD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;YAC9B,MAAM,QAAQ,GAAG,MAAM,IAAI,IAAI;gBAC7B,CAAC,CAAC,CAAC;gBACH,CAAC,CAAC,CAAC,MAAM,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK;qBAC1E,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,KAAK,CAAC,EAAE,CAAC,CAAC,MAAM,CAAA;YAChD,IAAI,KAAK,GAAG,QAAQ,GAAG,CAAC,EAAE,CAAC;gBACzB,MAAM,IAAI,mBAAmB,CAAC,UAAU,KAAK,CAAC,IAAI,EAAE,CAAC,CAAA;YACvD,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC,CAAA;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,KAAK,EACpC,OAAwB,EAAE,MAAsB,EAAE,IAAyB,EAAE,QAAkB,EAChF,EAAE;IACjB,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;IAC3B,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;IAC1B,aAAa,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAA;IAClC,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;IAC5B,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;IAC5B,MAAM,gBAAgB,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,CAAA;IACvD,MAAM,mBAAmB,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAA;IACjD,MAAM,mBAAmB,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAA;AACnD,CAAC,CAAA"}
|
|
1
|
+
{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../src/executor/validate.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,UAAU,EAAE,aAAa,EAAE,QAAQ,EAAE,QAAQ,EAAE,eAAe,EAAE,iBAAiB,EACjF,eAAe,EAAE,UAAU,EAAE,WAAW,EAAE,WAAW,EAAE,gBAAgB,EAAE,cAAc,EAAE,aAAa,EACtG,mBAAmB,EAAE,MAAM,EAAE,6BAA6B,EAAE,wBAAwB,EAAE,MAAM,EAAE,SAAS,EACvG,gBAAgB,EAAE,cAAc,EAAE,yBAAyB,EAAE,YAAY,GAC1E,MAAM,oBAAoB,CAAA;AAK3B,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAA;AACjD,OAAO,EAAE,kBAAkB,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAG9D,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAA;AAEhE,MAAM,SAAS,GAAG,CAAC,IAAY,EAAiB,EAAE,CAAC,IAAI,aAAa,CAAC,aAAa,IAAI,EAAE,CAAC,CAAA;AAEzF,MAAM,UAAU,GAAG,CAAC,IAAY,EAAE,KAAc,EAAE,GAAW,EAAE,QAAiB,EAAQ,EAAE;IACxF,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QAC1C,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,SAAS,CAAC,IAAI,CAAC,CAAA;QACvB,CAAC;QACD,OAAM;IACR,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,QAAQ,IAAI,KAAK,KAAK,EAAE,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,GAAG,EAAE,CAAC;QAClF,MAAM,SAAS,CAAC,IAAI,CAAC,CAAA;IACvB,CAAC;AACH,CAAC,CAAA;AAED,MAAM,WAAW,GAAG,CAAC,IAAyB,EAAE,QAAkB,EAAQ,EAAE;IAC1E,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9B,MAAM,SAAS,CAAC,UAAU,IAAI,CAAC,MAAM,EAAE,CAAC,CAAA;IAC1C,CAAC;IACD,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,gBAAgB,CAAC,MAAM,EAAE,CAAC;QAClE,MAAM,SAAS,CAAC,sBAAsB,CAAC,CAAA;IACzC,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,gBAAgB,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,UAAU,IAAI,IAAI,IAAI,IAAI,CAAC,UAAU,KAAK,EAAE,CAAC,EAAE,CAAC;QACpG,MAAM,SAAS,CAAC,4BAA4B,CAAC,CAAA;IAC/C,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,gBAAgB,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,gBAAgB,CAAC,MAAM,CAAC;WACjF,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,EAAE,CAAC;QACvG,MAAM,SAAS,CAAC,GAAG,IAAI,CAAC,MAAM,eAAe,CAAC,CAAA;IAChD,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAqB,CAAA;QACxC,UAAU,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,CAAA;QACjD,UAAU,CAAC,aAAa,EAAE,KAAK,CAAC,WAAW,EAAE,eAAe,EAAE,KAAK,CAAC,CAAA;QACpE,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAA;QAC/C,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,WAAW,EAAE,CAAC;YAC/C,MAAM,SAAS,CAAC,SAAS,CAAC,CAAA;QAC5B,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,EAAE,CAAA;IAClC,IAAI,OAAO,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAChC,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,CAAA;IACrD,CAAC;IACD,UAAU,CAAC,aAAa,EAAE,OAAO,CAAC,WAAW,IAAI,SAAS,EAAE,eAAe,EAAE,KAAK,CAAC,CAAA;IACnF,UAAU,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,IAAI,SAAS,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAA;AAChE,CAAC,CAAA;AAED,MAAM,UAAU,GAAG,CAAC,IAAyB,EAAE,QAAkB,EAAQ,EAAE;IACzE,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpB,MAAM,MAAM,GAAI,IAAI,CAAC,IAAsB,CAAC,MAAM,CAAA;QAClD,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAChE,IAAI,MAAM,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,KAAK,MAAM,CAAC,EAAE,CAAC;YACtF,MAAM,IAAI,iBAAiB,CAAC,GAAG,OAAO,CAAC,EAAE,WAAW,MAAM,EAAE,CAAC,CAAA;QAC/D,CAAC;QACD,OAAM;IACR,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,gBAAgB,CAAC,OAAO,EAAE,CAAC;QAC7C,OAAM;IACR,CAAC;IACD,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAK,CAAA;IAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAA;IACvD,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,UAAW,EAAE,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC;QAC1D,MAAM,IAAI,iBAAiB,CAAC,GAAG,QAAQ,CAAC,MAAM,IAAI,IAAI,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC,CAAA;IAC9E,CAAC;AACH,CAAC,CAAA;AAED,MAAM,YAAY,GAAG,CAAC,IAAyB,EAAE,QAAkB,EAAQ,EAAE;IAC3E,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAA;IAChC,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAqB,CAAA;QACxC,cAAc,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAA;QAC5F,OAAM;IACR,CAAC;IACD,MAAM,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAA;IAC5E,IAAI,IAAI,CAAC,OAAO,EAAE,MAAM,IAAI,IAAI,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxD,OAAM;IACR,CAAC;IACD,MAAM,MAAM,GAAG,UAAU,CAAC,EAAE,MAAM,EAAE,WAAW,CAAC,QAAQ,CAAC,IAAK,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAA;IACvG,cAAc,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAA;AAC5D,CAAC,CAAA;AAED,MAAM,YAAY,GAAG,CAAC,IAAyB,EAAE,QAAkB,EAAQ,EAAE;IAC3E,MAAM,MAAM,GAAG;QACb,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAE,IAAI,CAAC,IAAsB,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrE,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,IAAI,EAAE,CAAC;KAChC,CAAA;IACD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAM;IACR,CAAC;IACD,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,GAAG,UAAU,EAAE,CAAC;QACtC,MAAM,IAAI,eAAe,CAAC,YAAY,MAAM,CAAC,MAAM,EAAE,CAAC,CAAA;IACxD,CAAC;IACD,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAA;IACpC,MAAM,OAAO,GAAG,OAAO,IAAI,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAA;IAC5F,IAAI,OAAO,IAAI,IAAI,EAAE,CAAC;QACpB,MAAM,IAAI,eAAe,CAAC,OAAO,CAAC,CAAA;IACpC,CAAC;AACH,CAAC,CAAA;AAED,MAAM,gBAAgB,GAAG,KAAK,EAC5B,IAAyB,EAAE,QAAkB,EAAE,OAAwB,EAAE,MAAsB,EAChF,EAAE;IACjB,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpB,OAAM;IACR,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,EAAE,CAAA;IAClC,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;SAC1E,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,QAAQ,CAAC,IAAK,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,IAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAA;IACrF,KAAK,MAAM,EAAE,IAAI,KAAK,EAAE,CAAC;QACvB,IAAI,EAAE,KAAK,QAAQ,CAAC,IAAK,CAAC,EAAE,EAAE,CAAC;YAC7B,MAAM,SAAS,CAAC,aAAa,CAAC,CAAA;QAChC,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QACzC,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;YAClB,MAAM,IAAI,cAAc,CAAC,EAAE,CAAC,CAAA;QAC9B,CAAC;QACD,kBAAkB,CAChB,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,IAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAK,CAAC,IAAI,EAAE,MAAM,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,CACnH,CAAA;IACH,CAAC;AACH,CAAC,CAAA;AAED,MAAM,mBAAmB,GAAG,KAAK,EAC/B,IAAyB,EAAE,QAAkB,EAAE,MAAsB,EACtD,EAAE;IACjB,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAE,IAAI,CAAC,IAAsB,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAK,CAAC,IAAI,CAAA;IACtF,IAAI,IAAI,KAAK,YAAY,CAAC,aAAa,EAAE,CAAC;QACxC,OAAM;IACR,CAAC;IACD,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAA;IAEhC,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAqB,CAAA;QACxC,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAO,CAAA;QAC/B,IAAI,KAAK,CAAC,QAAQ,IAAI,IAAI,IAAI,KAAK,CAAC,QAAQ,KAAK,EAAE,EAAE,CAAC;YACpD,MAAM,SAAS,CAAC,gCAAgC,CAAC,CAAA;QACnD,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAA;QAC9D,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;YACjB,MAAM,IAAI,wBAAwB,CAAC,GAAG,MAAM,CAAC,IAAI,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAA;QACxE,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,IAAI,IAAI,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;YACzD,MAAM,SAAS,CAAC,UAAU,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC,CAAA;QAC7D,CAAC;QACD,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAA;QAC/C,yBAAyB,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAA;QAC3C,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,IAAI,MAAM,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,MAAM,CAAC,EAAG,EAAE,KAAK,CAAC,QAAQ,CAAC,IAAI,IAAI,EAAE,CAAC;YACtG,MAAM,IAAI,6BAA6B,CAAC,GAAG,MAAM,CAAC,EAAE,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAA;QAC3E,CAAC;QACD,OAAM;IACR,CAAC;IAED,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAqB,CAAA;IAC3C,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,EAAE,CAAA;IAClC,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,IAAI,OAAO,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ,EAAE,CAAC;QACzE,MAAM,IAAI,aAAa,CAAC,oBAAoB,CAAC,CAAA;IAC/C,CAAC;IACD,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAA;IAC1B,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;QACjB,OAAM;IACR,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,IAAI,IAAI,IAAI,OAAO,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;QAC7D,MAAM,SAAS,CAAC,UAAU,IAAI,CAAC,QAAQ,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC,CAAA;IAC9D,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,IAAI,IAAI,EAAE,CAAC;QACzB,UAAU,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAA;QACjD,yBAAyB,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAA;IAC/C,CAAC;AACH,CAAC,CAAA;AAED,MAAM,mBAAmB,GAAG,KAAK,EAC/B,IAAyB,EAAE,QAAkB,EAAE,MAAsB,EACtD,EAAE;IACjB,MAAM,MAAM,GAAwB,IAAI,CAAC,MAAM,KAAK,gBAAgB,CAAC,MAAM;QACzE,CAAC,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE;QAClB,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,gBAAgB,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;IACxG,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAM;IACR,CAAC;IACD,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAA;IAChC,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,aAAa,IAAI,EAAE,CAAA;IAClD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAA;IAEzC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,CAAA;QAC9D,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;YACjB,MAAM,IAAI,mBAAmB,CAAC,WAAW,KAAK,CAAC,IAAI,EAAE,CAAC,CAAA;QACxD,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,IAAI,IAAI,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAChD,MAAM,IAAI,mBAAmB,CAAC,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC,CAAA;QACrD,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,KAAK,gBAAgB,CAAC,MAAM,EAAE,CAAC;YAC5C,MAAM,QAAQ,GAAG,MAAM,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAA;YAClG,IAAI,QAAQ,CAAC,KAAK,KAAK,CAAC,EAAE,CAAC;gBACzB,MAAM,IAAI,mBAAmB,CAAC,UAAU,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,EAAE,EAAE,CAAC,CAAA;YACnE,CAAC;YACD,SAAQ;QACV,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QAChD,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;YACnB,MAAM,IAAI,mBAAmB,CAAC,MAAM,KAAK,CAAC,EAAE,EAAE,CAAC,CAAA;QACjD,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACjE,MAAM,IAAI,mBAAmB,CAAC,aAAa,KAAK,CAAC,IAAI,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAA;QAChF,CAAC;QACD,IAAI,IAAI,CAAC,EAAE,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YACtD,MAAM,IAAI,mBAAmB,CAAC,WAAW,KAAK,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC,CAAA;QACvE,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;YACzB,MAAM,KAAK,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAA;YAChD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;YAC9B,MAAM,QAAQ,GAAG,MAAM,IAAI,IAAI;gBAC7B,CAAC,CAAC,CAAC;gBACH,CAAC,CAAC,CAAC,MAAM,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK;qBAC1E,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,KAAK,CAAC,EAAE,CAAC,CAAC,MAAM,CAAA;YAChD,IAAI,KAAK,GAAG,QAAQ,GAAG,CAAC,EAAE,CAAC;gBACzB,MAAM,IAAI,mBAAmB,CAAC,UAAU,KAAK,CAAC,IAAI,EAAE,CAAC,CAAA;YACvD,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC,CAAA;AAED;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,KAAK,EACpC,OAAwB,EAAE,MAAsB,EAAE,IAAyB,EAAE,QAAkB,EAChF,EAAE;IACjB,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;IAC3B,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;IAC1B,aAAa,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAA;IAClC,kBAAkB,CAAC,IAAI,CAAC,CAAA;IACxB,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;IAC5B,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;IAC5B,MAAM,gBAAgB,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,CAAA;IACvD,MAAM,mBAAmB,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAA;IACjD,MAAM,mBAAmB,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAA;AACnD,CAAC,CAAA"}
|
package/build/executor.d.ts
CHANGED
|
@@ -1,13 +1,16 @@
|
|
|
1
1
|
import type { ExecuteOptions, PlanningFacade, TransitionExecution, TransitionReceipt } from '@owlmeans/planning';
|
|
2
2
|
import type { PlanningRuntime } from './service.js';
|
|
3
|
+
export { assertCreatorFixed, creatorOf, withCreator } from './executor/creator.js';
|
|
3
4
|
/**
|
|
4
5
|
* THE write path. Nothing is appended before step 11, so every refusal leaves the log untouched.
|
|
5
6
|
*
|
|
6
|
-
* 1 normalize
|
|
7
|
-
*
|
|
8
|
-
*
|
|
9
|
-
*
|
|
10
|
-
*
|
|
7
|
+
* 1 normalize (a create's `createdBy` defaults to the scope's subject — {@link withCreator}) →
|
|
8
|
+
* 2 scope → 3 idempotency (a known `key` answers its first receipt, before any validation) →
|
|
9
|
+
* 4 resolve → 5 the plugins' `before` chain (re-resolved once when it moved the type or the parent)
|
|
10
|
+
* → 6 validate (a `createdBy` in `changes`/`unset` is refused — {@link assertCreatorFixed}) →
|
|
11
|
+
* 7 allocate the card id → 8 code → 9 changes (an update changing nothing answers
|
|
12
|
+
* the current receipt and appends nothing) → 10 seq, a CAS against the head → 11 append →
|
|
13
|
+
* 12 request the projection → 13 receipt → 14 `wait`.
|
|
11
14
|
*
|
|
12
15
|
* `after` hooks are NOT run here — the process that folds runs them, once per commit.
|
|
13
16
|
*/
|
package/build/executor.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"executor.d.ts","sourceRoot":"","sources":["../src/executor.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EACV,cAAc,EAAuB,cAAc,EACnD,mBAAmB,EAAE,iBAAiB,EACvC,MAAM,oBAAoB,CAAA;
|
|
1
|
+
{"version":3,"file":"executor.d.ts","sourceRoot":"","sources":["../src/executor.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EACV,cAAc,EAAuB,cAAc,EACnD,mBAAmB,EAAE,iBAAiB,EACvC,MAAM,oBAAoB,CAAA;AAQ3B,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,cAAc,CAAA;AAEnD,OAAO,EAAE,kBAAkB,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAA;AAkDlF;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,iBAAiB,YACnB,eAAe,UAAU,cAAc,SAAS,mBAAmB,SAAS,cAAc,KAClG,OAAO,CAAC,iBAAiB,CAuE3B,CAAA"}
|
package/build/executor.js
CHANGED
|
@@ -2,9 +2,11 @@ import { uuid } from '@owlmeans/basic-ids';
|
|
|
2
2
|
import { PlanningError, PlanningUnsupported, WorkcardConflict } from '@owlmeans/planning';
|
|
3
3
|
import { changeSetOf, transitionOf } from './executor/changes.js';
|
|
4
4
|
import { assignCode } from './executor/code.js';
|
|
5
|
+
import { withCreator } from './executor/creator.js';
|
|
5
6
|
import { makeReceipt } from './executor/receipt.js';
|
|
6
7
|
import { normalizeExecution, projectFor, resolveExecution } from './executor/resolve.js';
|
|
7
8
|
import { validateExecution } from './executor/validate.js';
|
|
9
|
+
export { assertCreatorFixed, creatorOf, withCreator } from './executor/creator.js';
|
|
8
10
|
const isoNow = () => new Date().toISOString();
|
|
9
11
|
/** What a type/parent change by a middleware is judged by. */
|
|
10
12
|
const identityOf = (exec) => typeof exec.card === 'string'
|
|
@@ -43,18 +45,20 @@ const currentReceipt = async (store, resolved, entityId, opts) => {
|
|
|
43
45
|
/**
|
|
44
46
|
* THE write path. Nothing is appended before step 11, so every refusal leaves the log untouched.
|
|
45
47
|
*
|
|
46
|
-
* 1 normalize
|
|
47
|
-
*
|
|
48
|
-
*
|
|
49
|
-
*
|
|
50
|
-
*
|
|
48
|
+
* 1 normalize (a create's `createdBy` defaults to the scope's subject — {@link withCreator}) →
|
|
49
|
+
* 2 scope → 3 idempotency (a known `key` answers its first receipt, before any validation) →
|
|
50
|
+
* 4 resolve → 5 the plugins' `before` chain (re-resolved once when it moved the type or the parent)
|
|
51
|
+
* → 6 validate (a `createdBy` in `changes`/`unset` is refused — {@link assertCreatorFixed}) →
|
|
52
|
+
* 7 allocate the card id → 8 code → 9 changes (an update changing nothing answers
|
|
53
|
+
* the current receipt and appends nothing) → 10 seq, a CAS against the head → 11 append →
|
|
54
|
+
* 12 request the projection → 13 receipt → 14 `wait`.
|
|
51
55
|
*
|
|
52
56
|
* `after` hooks are NOT run here — the process that folds runs them, once per commit.
|
|
53
57
|
*/
|
|
54
58
|
export const executeTransition = async (runtime, facade, input, opts) => {
|
|
55
59
|
const scope = facade.scope;
|
|
56
60
|
const at = (runtime.options.now ?? isoNow)();
|
|
57
|
-
let exec = normalizeExecution(input);
|
|
61
|
+
let exec = withCreator(normalizeExecution(input), scope);
|
|
58
62
|
if (scope.entityId == null || scope.entityId === '') {
|
|
59
63
|
throw new PlanningError('malformed:scope-without-entity');
|
|
60
64
|
}
|
package/build/executor.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"executor.js","sourceRoot":"","sources":["../src/executor.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,qBAAqB,CAAA;AAE1C,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAA;AAKzF,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAA;AACjE,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAA;AAC/C,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAA;AACnD,OAAO,EAAE,kBAAkB,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAA;AAExF,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAA;AAG1D,MAAM,MAAM,GAAG,GAAW,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAA;AAErD,8DAA8D;AAC9D,MAAM,UAAU,GAAG,CAAC,IAAyB,EAAU,EAAE,CAAC,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ;IACrF,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,IAAI,EAAE,IAAI,IAAI,CAAC,OAAO,EAAE,MAAM,IAAI,EAAE,EAAE;IAChF,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,IAAI,EAAE,EAAE,CAAA;AAE5I,MAAM,aAAa,GAAG,CACpB,OAAwB,EAAE,MAAsB,EAAE,QAAkB,EACpE,EAAE,CAAC,CAAC,MAAsB,EAAuB,EAAE,CAAC,CAAC;IACrD,OAAO,EAAE,OAAO,CAAC,OAAO,EAA+B;IACvD,KAAK,EAAE,MAAM,CAAC,KAAK;IACnB,OAAO,EAAE,QAAQ,CAAC,OAAO;IACzB,KAAK,EAAE,QAAQ,CAAC,KAAK;IACrB,MAAM;IACN,MAAM;IACN,IAAI,EAAE,QAAQ,CAAC,IAAI;IACnB,IAAI,EAAE,QAAQ,CAAC,IAAI;IACnB,GAAG,CAAC,QAAQ,CAAC,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACzD,GAAG,CAAC,QAAQ,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;CAChE,CAAC,CAAA;AAEF,MAAM,SAAS,GAAG,KAAK,EACrB,OAAwB,EAAE,QAAgB,EAAE,GAAW,EACW,EAAE;IACpE,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QACrC,MAAM,UAAU,GAAG,MAAM,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAA;QAChE,IAAI,UAAU,IAAI,IAAI,EAAE,CAAC;YACvB,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,CAAA;QAC9B,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC,CAAA;AAED,6FAA6F;AAC7F,MAAM,cAAc,GAAG,KAAK,EAC1B,KAAoB,EAAE,QAAkB,EAAE,QAAgB,EAAE,IAAqB,EACrD,EAAE;IAC9B,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,WAAY,CAAC,IAAI,CAC1C,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAK,CAAC,EAAG,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAC7F,CAAA;IACD,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;IAClC,IAAI,UAAU,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,IAAI,mBAAmB,CAAC,4BAA4B,QAAQ,CAAC,IAAK,CAAC,EAAE,EAAE,CAAC,CAAA;IAChF,CAAC;IACD,OAAO,MAAM,WAAW,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,CAAC,CAAA;AACnD,CAAC,CAAA;AAED
|
|
1
|
+
{"version":3,"file":"executor.js","sourceRoot":"","sources":["../src/executor.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,qBAAqB,CAAA;AAE1C,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAA;AAKzF,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAA;AACjE,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAA;AAC/C,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAA;AACnD,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAA;AACnD,OAAO,EAAE,kBAAkB,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAA;AAExF,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAA;AAG1D,OAAO,EAAE,kBAAkB,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAA;AAElF,MAAM,MAAM,GAAG,GAAW,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAA;AAErD,8DAA8D;AAC9D,MAAM,UAAU,GAAG,CAAC,IAAyB,EAAU,EAAE,CAAC,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ;IACrF,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,IAAI,EAAE,IAAI,IAAI,CAAC,OAAO,EAAE,MAAM,IAAI,EAAE,EAAE;IAChF,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,IAAI,EAAE,EAAE,CAAA;AAE5I,MAAM,aAAa,GAAG,CACpB,OAAwB,EAAE,MAAsB,EAAE,QAAkB,EACpE,EAAE,CAAC,CAAC,MAAsB,EAAuB,EAAE,CAAC,CAAC;IACrD,OAAO,EAAE,OAAO,CAAC,OAAO,EAA+B;IACvD,KAAK,EAAE,MAAM,CAAC,KAAK;IACnB,OAAO,EAAE,QAAQ,CAAC,OAAO;IACzB,KAAK,EAAE,QAAQ,CAAC,KAAK;IACrB,MAAM;IACN,MAAM;IACN,IAAI,EAAE,QAAQ,CAAC,IAAI;IACnB,IAAI,EAAE,QAAQ,CAAC,IAAI;IACnB,GAAG,CAAC,QAAQ,CAAC,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACzD,GAAG,CAAC,QAAQ,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;CAChE,CAAC,CAAA;AAEF,MAAM,SAAS,GAAG,KAAK,EACrB,OAAwB,EAAE,QAAgB,EAAE,GAAW,EACW,EAAE;IACpE,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QACrC,MAAM,UAAU,GAAG,MAAM,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAA;QAChE,IAAI,UAAU,IAAI,IAAI,EAAE,CAAC;YACvB,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,CAAA;QAC9B,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC,CAAA;AAED,6FAA6F;AAC7F,MAAM,cAAc,GAAG,KAAK,EAC1B,KAAoB,EAAE,QAAkB,EAAE,QAAgB,EAAE,IAAqB,EACrD,EAAE;IAC9B,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,WAAY,CAAC,IAAI,CAC1C,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAK,CAAC,EAAG,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAC7F,CAAA;IACD,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;IAClC,IAAI,UAAU,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,IAAI,mBAAmB,CAAC,4BAA4B,QAAQ,CAAC,IAAK,CAAC,EAAE,EAAE,CAAC,CAAA;IAChF,CAAC;IACD,OAAO,MAAM,WAAW,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,CAAC,CAAA;AACnD,CAAC,CAAA;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,KAAK,EACpC,OAAwB,EAAE,MAAsB,EAAE,KAA0B,EAAE,IAAqB,EACvE,EAAE;IAC9B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAA;IAC1B,MAAM,EAAE,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,IAAI,MAAM,CAAC,EAAE,CAAA;IAE5C,IAAI,IAAI,GAAG,WAAW,CAAC,kBAAkB,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAA;IAExD,IAAI,KAAK,CAAC,QAAQ,IAAI,IAAI,IAAI,KAAK,CAAC,QAAQ,KAAK,EAAE,EAAE,CAAC;QACpD,MAAM,IAAI,aAAa,CAAC,gCAAgC,CAAC,CAAA;IAC3D,CAAC;IAED,IAAI,IAAI,CAAC,GAAG,IAAI,IAAI,IAAI,IAAI,CAAC,GAAG,KAAK,EAAE,EAAE,CAAC;QACxC,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,CAAA;QAChE,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;YAClB,OAAO,MAAM,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,UAAU,EAAE,IAAI,CAAC,CAAA;QAC/D,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,GAAG,MAAM,gBAAgB,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,CAAA;IAE5D,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,CAAA;IAC/B,IAAI,GAAG,kBAAkB,CAAC,MAAM,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAA;IACxG,IAAI,UAAU,CAAC,IAAI,CAAC,KAAK,MAAM,EAAE,CAAC;QAChC,QAAQ,GAAG,MAAM,gBAAgB,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,CAAA;IAC1D,CAAC;IAED,MAAM,iBAAiB,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAA;IAExD,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAA;IAC5B,MAAM,WAAW,GAAG,KAAK,CAAC,WAAW,CAAA;IACrC,IAAI,WAAW,IAAI,IAAI,EAAE,CAAC;QACxB,MAAM,IAAI,mBAAmB,CAAC,eAAe,KAAK,CAAC,KAAK,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAA;IACnF,CAAC;IAED,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM;QAC5B,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,IAAI,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,IAAI,EAAE;QACtD,CAAC,CAAC,QAAQ,CAAC,IAAK,CAAC,EAAG,CAAA;IAEtB,IAAI,GAAG,MAAM,UAAU,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,QAAQ,EAAE,aAAa,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAA;IAE1G,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,WAAW,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC,CAAA;IACxE,IAAI,KAAK,EAAE,CAAC;QACV,OAAO,MAAM,cAAc,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;IACpE,CAAC;IAED,MAAM,GAAG,GAAG,MAAM,WAAW,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,CAAA;IAC9F,IAAI,QAAQ,CAAC,MAAM,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,gBAAgB,CAAC,GAAG,MAAM,WAAW,GAAG,EAAE,CAAC,CAAA;IACvD,CAAC;IAED,MAAM,UAAU,GAAG,YAAY,CAAC;QAC9B,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE;QAC3C,OAAO,EAAE,UAAU,CAAC,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC;KAC5C,CAAC,CAAA;IAEF,IAAI,QAAoB,CAAA;IACxB,IAAI,CAAC;QACH,QAAQ,GAAG,MAAM,WAAW,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;IACjD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,0EAA0E;QAC1E,IAAI,IAAI,CAAC,GAAG,IAAI,IAAI,IAAI,IAAI,CAAC,GAAG,KAAK,EAAE,EAAE,CAAC;YACxC,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,CAAA;YAChE,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;gBACnB,OAAO,MAAM,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAA;YAC/C,CAAC;QACH,CAAC;QACD,MAAM,KAAK,CAAA;IACb,CAAC;IAED,MAAM,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;IAEhG,OAAO,MAAM,WAAW,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;AACjD,CAAC,CAAA"}
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@owlmeans/server-planning",
|
|
3
|
-
"version": "0.1.18-rc.
|
|
3
|
+
"version": "0.1.18-rc.15",
|
|
4
4
|
"license": "MIT",
|
|
5
5
|
"description": "The general planning implementation — the planning service and its plugin/middleware registry, the transition executor, the in-memory store, the protocol handlers and the commit feed.",
|
|
6
6
|
"type": "module",
|
|
@@ -45,19 +45,19 @@
|
|
|
45
45
|
},
|
|
46
46
|
"dependencies": {
|
|
47
47
|
"@owlmeans/auth": "^0.1.18-rc.36",
|
|
48
|
-
"@owlmeans/auth-common": "^0.1.18-rc.
|
|
48
|
+
"@owlmeans/auth-common": "^0.1.18-rc.42",
|
|
49
49
|
"@owlmeans/basic-ids": "^0.1.18-rc.34",
|
|
50
50
|
"@owlmeans/context": "^0.1.18-rc.32",
|
|
51
51
|
"@owlmeans/entrypoint": "^0.1.18-rc.37",
|
|
52
52
|
"@owlmeans/error": "^0.1.18-rc.36",
|
|
53
|
-
"@owlmeans/planning": "^0.1.18-rc.
|
|
54
|
-
"@owlmeans/queue": "^0.1.18-rc.
|
|
55
|
-
"@owlmeans/resource": "^0.1.18-rc.
|
|
53
|
+
"@owlmeans/planning": "^0.1.18-rc.13",
|
|
54
|
+
"@owlmeans/queue": "^0.1.18-rc.36",
|
|
55
|
+
"@owlmeans/resource": "^0.1.18-rc.37",
|
|
56
56
|
"@owlmeans/route": "^0.1.18-rc.33",
|
|
57
|
-
"@owlmeans/server-api": "^0.1.18-rc.
|
|
58
|
-
"@owlmeans/server-context": "^0.1.18-rc.
|
|
57
|
+
"@owlmeans/server-api": "^0.1.18-rc.46",
|
|
58
|
+
"@owlmeans/server-context": "^0.1.18-rc.38",
|
|
59
59
|
"@owlmeans/server-entrypoint": "^0.1.18-rc.36",
|
|
60
|
-
"@owlmeans/server-socket": "^0.1.18-rc.
|
|
60
|
+
"@owlmeans/server-socket": "^0.1.18-rc.49",
|
|
61
61
|
"@owlmeans/socket": "^0.1.18-rc.35"
|
|
62
62
|
},
|
|
63
63
|
"peerDependencies": {
|
|
@@ -66,7 +66,7 @@
|
|
|
66
66
|
},
|
|
67
67
|
"devDependencies": {
|
|
68
68
|
"@owlmeans/dep-config": "workspace:*",
|
|
69
|
-
"@owlmeans/test": "^0.1.18-rc.
|
|
69
|
+
"@owlmeans/test": "^0.1.18-rc.33",
|
|
70
70
|
"@types/bun": "^1.4.0",
|
|
71
71
|
"@types/node": "^26.1.0",
|
|
72
72
|
"ajv": "^8.17.1",
|
package/src/actions/execute.ts
CHANGED
|
@@ -6,21 +6,24 @@ import type {
|
|
|
6
6
|
ExecuteOptions, ExecuteRequest, PlanningFacade, PlanningProtocols, PlanningScope, TransitionExecution,
|
|
7
7
|
TransitionReceiptView,
|
|
8
8
|
} from '@owlmeans/planning'
|
|
9
|
+
import { withCreator } from '../executor/creator.js'
|
|
9
10
|
import type { Context, PlanningAccess, PlanningHandlerOptions } from '../types.js'
|
|
10
11
|
import { assertGranted, concealed, handlerScopeOf } from '../utils/index.js'
|
|
11
12
|
|
|
12
13
|
/**
|
|
13
14
|
* What a wire execution may say. `actor` is dropped — the scope names the writer — and a create's
|
|
14
|
-
* `createdBy` is the
|
|
15
|
+
* `createdBy` claim is dropped too: the executor's {@link withCreator} stamps the authenticated
|
|
16
|
+
* subject, the same rule an in-process create follows. Applied here as well, so the returned
|
|
17
|
+
* execution already carries it. A `createdBy` in `changes` or `unset` is not dropped: the executor
|
|
18
|
+
* refuses it on every action (`assertCreatorFixed`), so no body moves an owner.
|
|
15
19
|
*/
|
|
16
20
|
export const wireExecution = (body: ExecuteRequest, scope: PlanningScope): TransitionExecution => {
|
|
17
21
|
const { wait: _wait, timeout: _timeout, actor: _actor, ...exec } = body
|
|
18
22
|
if (exec.action === TransitionAction.Create && exec.card != null && typeof exec.card === 'object') {
|
|
19
23
|
const { createdBy: _createdBy, ...draft } = exec.card
|
|
20
|
-
|
|
21
|
-
exec.card = subject != null ? { ...draft, createdBy: subject } : draft
|
|
24
|
+
exec.card = draft
|
|
22
25
|
}
|
|
23
|
-
return exec
|
|
26
|
+
return withCreator(exec, scope)
|
|
24
27
|
}
|
|
25
28
|
|
|
26
29
|
/** `wait`/`timeout` as a server grants them: the timeout never holds a request past `maxPoll`. */
|
package/src/conformance/cases.ts
CHANGED
|
@@ -1,13 +1,14 @@
|
|
|
1
1
|
import { uuid } from '@owlmeans/basic-ids'
|
|
2
2
|
import {
|
|
3
|
-
CardTypeNotAllowed, CommitState, IntrinsicStatus,
|
|
4
|
-
SchemaInUse, SchemaInvalid, SchemaOrigin, SchemaSealed, SpecificationFormat,
|
|
5
|
-
UnknownWorkcardType, WorkcardConflict, WorkcardKind, WorkcardNotFound,
|
|
3
|
+
applyTransition, CardTypeNotAllowed, CommitState, IntrinsicStatus, PlanningError, PlanningSchemaKind,
|
|
4
|
+
RelationshipRefused, SchemaConflict, SchemaInUse, SchemaInvalid, SchemaOrigin, SchemaSealed, SpecificationFormat,
|
|
5
|
+
TransitionAction, UnknownWorkcardType, WorkcardConflict, WorkcardKind, WorkcardNotFound,
|
|
6
6
|
} from '@owlmeans/planning'
|
|
7
7
|
import type {
|
|
8
|
-
CommitEvent, PlanningFacade, PlanningService, PlanningStore, StatusFlowSchema,
|
|
9
|
-
WorkcardQuery, WorkcardTypeSchema,
|
|
8
|
+
CommitEvent, PlanningFacade, PlanningService, PlanningStore, StatusFlowSchema, Transition, TransitionExecution,
|
|
9
|
+
Unsubscribe, Workcard, WorkcardQuery, WorkcardTypeSchema,
|
|
10
10
|
} from '@owlmeans/planning'
|
|
11
|
+
import { creatorOf } from '../executor/creator.js'
|
|
11
12
|
import { check, rejects, same, sameSet } from './assert.js'
|
|
12
13
|
import { BOOK_TYPE, LIBRARY, PERIODICAL_TYPE, createBook, createBranch, transit } from './fixtures.js'
|
|
13
14
|
|
|
@@ -93,6 +94,69 @@ const cases: ConformanceCase[] = [
|
|
|
93
94
|
},
|
|
94
95
|
},
|
|
95
96
|
|
|
97
|
+
{
|
|
98
|
+
name: 'keeps a create\'s createdBy — the scope\'s subject, or the one the caller named — through later writes',
|
|
99
|
+
run: async ({ facade }) => {
|
|
100
|
+
const planning = facade(organization())
|
|
101
|
+
const subject = creatorOf(planning.scope)
|
|
102
|
+
check(subject != null, 'the conformance facade acts as a signed-in person')
|
|
103
|
+
|
|
104
|
+
const branch = await createBranch(planning)
|
|
105
|
+
const stamped = await createBook(planning, branch.id!, 'Stamped')
|
|
106
|
+
const named = await createBook(planning, branch.id!, 'Named', { createdBy: 'conformance-donor' })
|
|
107
|
+
await execute(planning, { card: stamped.id!, action: TransitionAction.Update, changes: { title: 'Stamped, revised' } })
|
|
108
|
+
await transit(planning, stamped.id!, 'lend')
|
|
109
|
+
|
|
110
|
+
same([branch.createdBy, (await planning.cards.get(stamped.id!)).createdBy, (await planning.cards.get(named.id!)).createdBy],
|
|
111
|
+
[subject, subject, 'conformance-donor'], 'createdBy read back after later writes')
|
|
112
|
+
sameSet((await planning.cards.list({ parent: branch.id, size: 0 })).items.map(card => [card.title, card.createdBy]),
|
|
113
|
+
[['Stamped, revised', subject], ['Named', 'conformance-donor']], 'createdBy in a list')
|
|
114
|
+
},
|
|
115
|
+
},
|
|
116
|
+
|
|
117
|
+
{
|
|
118
|
+
name: 'refuses a write that moves createdBy, and folds a legacy row that named it',
|
|
119
|
+
run: async ({ facade, store }) => {
|
|
120
|
+
const org = organization()
|
|
121
|
+
const planning = facade(org)
|
|
122
|
+
const branch = await createBranch(planning)
|
|
123
|
+
const book = await createBook(planning, branch.id!, 'Owned')
|
|
124
|
+
const moves: TransitionExecution[] = [
|
|
125
|
+
{ card: book.id!, action: TransitionAction.Update, changes: { title: 'Taken', createdBy: 'conformance-intruder' } },
|
|
126
|
+
{ card: book.id!, action: TransitionAction.Update, unset: ['createdBy'] },
|
|
127
|
+
]
|
|
128
|
+
|
|
129
|
+
for (const exec of moves) {
|
|
130
|
+
const error = await rejects(planning.execute(exec, { wait: true }), PlanningError, 'a write naming createdBy')
|
|
131
|
+
check(error.message.includes('immutable:createdBy'), `refused as immutable, not ${error.message}`)
|
|
132
|
+
}
|
|
133
|
+
const kept = await planning.cards.get(book.id!)
|
|
134
|
+
same([kept.createdBy, kept.title, kept.seq, (await planning.transitions.list({ card: book.id! })).total],
|
|
135
|
+
[creatorOf(planning.scope), 'Owned', 1, 1], 'the refused writes left the card and its log alone')
|
|
136
|
+
|
|
137
|
+
// Rows appended before the refusal existed: the store folds them exactly as the pure fold does.
|
|
138
|
+
const legacy: Transition[] = []
|
|
139
|
+
for (const patch of [{ changes: { title: 'Legacy', createdBy: 'conformance-intruder' } }, { changes: {}, unset: ['createdBy'] }]) {
|
|
140
|
+
const seq = await store.transitions!.nextSeq(book.id!, null)
|
|
141
|
+
legacy.push(await store.transitions!.append({
|
|
142
|
+
entityId: org, card: book.id!, kind: WorkcardKind.Card, type: LIBRARY.book, project: branch.id!, seq,
|
|
143
|
+
action: TransitionAction.Update, actor: {}, at: `2001-01-01T00:00:0${seq}.000Z`,
|
|
144
|
+
commit: { state: CommitState.Pending }, ...patch,
|
|
145
|
+
}))
|
|
146
|
+
}
|
|
147
|
+
await store.cards.project(book.id!)
|
|
148
|
+
|
|
149
|
+
for (const row of legacy) {
|
|
150
|
+
same((await planning.commits.status(row.id!)).state, CommitState.Committed, `legacy row ${row.seq} settles committed`)
|
|
151
|
+
}
|
|
152
|
+
const expected = legacy.reduce<Workcard | null>((card, row) => applyTransition(card, row), kept)!
|
|
153
|
+
const folded = await planning.cards.get(book.id!)
|
|
154
|
+
same([folded.title, folded.seq, folded.createdBy], [expected.title, expected.seq, expected.createdBy], 'the legacy rows folded')
|
|
155
|
+
await execute(planning, { card: book.id!, action: TransitionAction.Update, changes: { title: 'After' } })
|
|
156
|
+
same((await planning.cards.get(book.id!)).title, 'After', 'the next write commits past them')
|
|
157
|
+
},
|
|
158
|
+
},
|
|
159
|
+
|
|
96
160
|
{
|
|
97
161
|
name: 'transit moves the intrinsic state and closedAt, and a second flow leaves the primary alone',
|
|
98
162
|
run: async ({ facade }) => {
|
|
@@ -0,0 +1,54 @@
|
|
|
1
|
+
import { PlanningError, TransitionAction } from '@owlmeans/planning'
|
|
2
|
+
import type { PlanningScope, TransitionExecution } from '@owlmeans/planning'
|
|
3
|
+
|
|
4
|
+
const named = (value?: string | null): value is string => value != null && value !== ''
|
|
5
|
+
|
|
6
|
+
/** The field a create's draft writes once and nothing moves afterwards. */
|
|
7
|
+
const CREATOR = 'createdBy'
|
|
8
|
+
|
|
9
|
+
/**
|
|
10
|
+
* The subject a create made under `scope` is stamped with as its `createdBy`: the scope's
|
|
11
|
+
* `profileId`, else its `userId`, else the same two of its `actor` — the authenticated subject an
|
|
12
|
+
* HTTP scope carries, in the same format. `undefined` for a scope that names nobody (a service or a
|
|
13
|
+
* system scope).
|
|
14
|
+
*/
|
|
15
|
+
export const creatorOf = (scope: PlanningScope): string | undefined =>
|
|
16
|
+
[scope.profileId, scope.userId, scope.actor?.profileId, scope.actor?.userId].find(named)
|
|
17
|
+
|
|
18
|
+
/**
|
|
19
|
+
* A create's draft with `createdBy` defaulted to {@link creatorOf} the scope. A `createdBy` the
|
|
20
|
+
* caller supplied wins; a scope that names nobody leaves the draft as it is; anything but a create
|
|
21
|
+
* is returned untouched. Never mutates `exec`.
|
|
22
|
+
*
|
|
23
|
+
* The executor applies it to every execution, so an in-process facade create and a wire create
|
|
24
|
+
* stamp the same value.
|
|
25
|
+
*/
|
|
26
|
+
export const withCreator = (exec: TransitionExecution, scope: PlanningScope): TransitionExecution => {
|
|
27
|
+
if (exec.action !== TransitionAction.Create || exec.card == null || typeof exec.card !== 'object') {
|
|
28
|
+
return exec
|
|
29
|
+
}
|
|
30
|
+
if (named(exec.card.createdBy)) {
|
|
31
|
+
return exec
|
|
32
|
+
}
|
|
33
|
+
const creator = creatorOf(scope)
|
|
34
|
+
|
|
35
|
+
return creator == null ? exec : { ...exec, card: { ...exec.card, createdBy: creator } }
|
|
36
|
+
}
|
|
37
|
+
|
|
38
|
+
/**
|
|
39
|
+
* Refuse an execution that names `createdBy` in `changes` or `unset`, whatever the action — a
|
|
40
|
+
* create included, whose owner is its draft's. After the create it never moves, so an ownership
|
|
41
|
+
* check (`card.createdBy === profileId`) cannot be bypassed by anyone allowed to update the card.
|
|
42
|
+
*
|
|
43
|
+
* The executor runs it with the immutables of step 6, after the `before` chain, so a wire body, an
|
|
44
|
+
* in-process caller and a plugin are refused alike. It is the executor's own check, whatever
|
|
45
|
+
* `@owlmeans/planning` build `assertMutable` comes from.
|
|
46
|
+
*
|
|
47
|
+
* @throws {PlanningError} `planning:immutable:createdBy`
|
|
48
|
+
*/
|
|
49
|
+
export const assertCreatorFixed = (exec: TransitionExecution): void => {
|
|
50
|
+
if ((exec.changes as Record<string, unknown> | undefined)?.[CREATOR] !== undefined
|
|
51
|
+
|| (exec.unset ?? []).some(path => path.split('.')[0] === CREATOR)) {
|
|
52
|
+
throw new PlanningError(`immutable:${CREATOR}`)
|
|
53
|
+
}
|
|
54
|
+
}
|
package/src/executor/validate.ts
CHANGED
|
@@ -8,6 +8,7 @@ import type {
|
|
|
8
8
|
PlanningFacade, RelationshipDraft, Specification, TransitionExecution, WorkcardDraft,
|
|
9
9
|
} from '@owlmeans/planning'
|
|
10
10
|
import type { PlanningRuntime } from '../service.js'
|
|
11
|
+
import { assertCreatorFixed } from './creator.js'
|
|
11
12
|
import { assertChildAllowed, childViewOf } from './resolve.js'
|
|
12
13
|
import type { Resolved } from './resolve.js'
|
|
13
14
|
|
|
@@ -234,8 +235,9 @@ const assertRelationships = async (
|
|
|
234
235
|
}
|
|
235
236
|
|
|
236
237
|
/**
|
|
237
|
-
* Step 6: shape, flow rule, immutables
|
|
238
|
-
*
|
|
238
|
+
* Step 6: shape, flow rule, immutables (`createdBy` among them, {@link assertCreatorFixed}),
|
|
239
|
+
* `fields`, labels, parent moves, the specification slot and relationships — in that order.
|
|
240
|
+
* Nothing is written by a refusal here.
|
|
239
241
|
*
|
|
240
242
|
* @throws {PlanningError} `malformed:*` / `immutable:*`
|
|
241
243
|
* @throws {IllegalTransition | FieldsInvalid | LabelNotAllowed | ParentNotFound | CardTypeNotAllowed}
|
|
@@ -247,6 +249,7 @@ export const validateExecution = async (
|
|
|
247
249
|
assertShape(exec, resolved)
|
|
248
250
|
assertFlow(exec, resolved)
|
|
249
251
|
assertMutable(exec, resolved.type)
|
|
252
|
+
assertCreatorFixed(exec)
|
|
250
253
|
assertFields(exec, resolved)
|
|
251
254
|
assertLabels(exec, resolved)
|
|
252
255
|
await assertParentMove(exec, resolved, runtime, facade)
|
package/src/executor.ts
CHANGED
|
@@ -7,12 +7,15 @@ import type {
|
|
|
7
7
|
} from '@owlmeans/planning'
|
|
8
8
|
import { changeSetOf, transitionOf } from './executor/changes.js'
|
|
9
9
|
import { assignCode } from './executor/code.js'
|
|
10
|
+
import { withCreator } from './executor/creator.js'
|
|
10
11
|
import { makeReceipt } from './executor/receipt.js'
|
|
11
12
|
import { normalizeExecution, projectFor, resolveExecution } from './executor/resolve.js'
|
|
12
13
|
import type { Resolved } from './executor/resolve.js'
|
|
13
14
|
import { validateExecution } from './executor/validate.js'
|
|
14
15
|
import type { PlanningRuntime } from './service.js'
|
|
15
16
|
|
|
17
|
+
export { assertCreatorFixed, creatorOf, withCreator } from './executor/creator.js'
|
|
18
|
+
|
|
16
19
|
const isoNow = (): string => new Date().toISOString()
|
|
17
20
|
|
|
18
21
|
/** What a type/parent change by a middleware is judged by. */
|
|
@@ -64,11 +67,13 @@ const currentReceipt = async (
|
|
|
64
67
|
/**
|
|
65
68
|
* THE write path. Nothing is appended before step 11, so every refusal leaves the log untouched.
|
|
66
69
|
*
|
|
67
|
-
* 1 normalize
|
|
68
|
-
*
|
|
69
|
-
*
|
|
70
|
-
*
|
|
71
|
-
*
|
|
70
|
+
* 1 normalize (a create's `createdBy` defaults to the scope's subject — {@link withCreator}) →
|
|
71
|
+
* 2 scope → 3 idempotency (a known `key` answers its first receipt, before any validation) →
|
|
72
|
+
* 4 resolve → 5 the plugins' `before` chain (re-resolved once when it moved the type or the parent)
|
|
73
|
+
* → 6 validate (a `createdBy` in `changes`/`unset` is refused — {@link assertCreatorFixed}) →
|
|
74
|
+
* 7 allocate the card id → 8 code → 9 changes (an update changing nothing answers
|
|
75
|
+
* the current receipt and appends nothing) → 10 seq, a CAS against the head → 11 append →
|
|
76
|
+
* 12 request the projection → 13 receipt → 14 `wait`.
|
|
72
77
|
*
|
|
73
78
|
* `after` hooks are NOT run here — the process that folds runs them, once per commit.
|
|
74
79
|
*/
|
|
@@ -78,7 +83,7 @@ export const executeTransition = async (
|
|
|
78
83
|
const scope = facade.scope
|
|
79
84
|
const at = (runtime.options.now ?? isoNow)()
|
|
80
85
|
|
|
81
|
-
let exec = normalizeExecution(input)
|
|
86
|
+
let exec = withCreator(normalizeExecution(input), scope)
|
|
82
87
|
|
|
83
88
|
if (scope.entityId == null || scope.entityId === '') {
|
|
84
89
|
throw new PlanningError('malformed:scope-without-entity')
|