@wenathlan/extension 1.1.49 → 1.1.50

package/dist/workflow.d.ts

@@ -0,0 +1,148 @@
+import type { actionrisk, blockinvocation, delaystep, expressiontype, regexrule, runlogentry, steptemplate, variablebinding, variablescope, variablevalue, workflowblock, workflowrecord, workflowrun, workflowstep } from "./types.js";
+import type { stepoutcome } from "./types.js";
+/**
+ * Workflow engine for the 1.1.50 family.
+ * Every correlated rule for the reviewed step composition lives in this file: the workflow kind list, the step, block and template normalizers, the composition that validates and freezes a step list, the block expansion that hides no step from review, the pre-run validation of kinds, scopes and bindings, the typed scope stack with shadowing, the variable bindings that link step outputs to names, the expression arithmetic with coercion refusals, the regex extraction with honest no match outcomes, the seeded delay jitter, the run loop with per step checkpoints, the single step execution, the pause, resume and cancel transitions and the pure dry run with read only projections.
+ * The engine stays pure: every page, browser and storage effect flows through the injected executor so tests run on plain fixtures, and the risk grading flows through the injected risk callback so the policy table stays the single source of truth.
+ */
+/** The workflow kinds of the 1.1.50 family: composition, templates, runs, dry runs, jittered delays, element waits, expressions and variable extraction. */
+export declare const workflowkinds: string[];
+/** The outcome the injected executor returns for one workflow step. */
+export type stepexecution = {
+    ok: boolean;
+    summary: string;
+    details?: Record<string, unknown>;
+};
+/** Normalizes one workflow step: id, kind, label, the optional target, value and JSON options, the output bindings, the inline expression and the inline regex rule. */
+export declare function workflowstepof(value: unknown): workflowstep | undefined;
+/** Normalizes one block invocation: the referenced block name and the human readable label. */
+export declare function blockinvocationof(value: unknown): blockinvocation | undefined;
+/** Normalizes one reusable workflow block: the unique name, the label and the child steps with nested block invocations. */
+export declare function workflowblockof(value: unknown): workflowblock | undefined;
+/** Normalizes one shareable step template: the id, the unique name, the origin, the step and the share time. */
+export declare function steptemplateof(value: unknown): steptemplate | undefined;
+/** The reviewed expression operators of the workflow grammar. */
+export declare const expressionoperators: string[];
+/** Normalizes one reviewed expression: the operands, the operator and the result variable with its result kind. */
+export declare function expressionof(value: unknown): expressiontype | undefined;
+/** Normalizes one reviewed regex rule: the pattern, the flag set and the named capture group list. */
+export declare function regexruleof(value: unknown): regexrule | undefined;
+/** Flattens nested blocks into one executable step list; every flattened step carries the innermost block name so runs highlight the active block. Unknown or cyclic block references are refused. */
+export declare function expandblocks(steps: Array<workflowstep | blockinvocation>, blocks: workflowblock[]): workflowstep[];
+/** Composes one workflow record: validates the name, version, origin grants, steps and blocks, expands every block so no step stays hidden, grades the review risk through the injected risk table and freezes the result. */
+export declare function composeworkflow(input: {
+    id?: string;
+    name: string;
+    version: number;
+    origins: string[];
+    steps: Array<workflowstep | blockinvocation>;
+    blocks?: workflowblock[];
+    now: number;
+    kindallowed?: (kind: string) => boolean;
+    riskof?: (kind: string) => actionrisk;
+}): workflowrecord;
+/** Validates a composed workflow before any run: the expanded step list, every step kind against the injected allowlist, the bindings against earlier steps and every variable reference against the bindings, the inputs and the root scope. */
+export declare function validateworkflow(record: workflowrecord, options?: {
+    kindallowed?: (kind: string) => boolean;
+    inputs?: string[];
+}): {
+    allowed: boolean;
+    reason?: string;
+};
+/** Opens one child scope for a block invocation; the parent chain stays intact so resolution walks outward. */
+export declare function pushscope(scopes: variablescope[], name: string, parent?: string): variablescope[];
+/** Closes the newest scope and keeps every parent scope intact. */
+export declare function popscope(scopes: variablescope[]): variablescope[];
+/** Resolves one variable from the nearest scope outward through the parent chain; shadowing follows the newest scope first. */
+export declare function resolvevariable(scopes: variablescope[], name: string): variablevalue | undefined;
+/** Resolves every binding whose source step already produced an outcome into the newest scope; the engine runs this before each step so following steps read fresh values. */
+export declare function bindvariables(scopes: variablescope[], bindings: variablebinding[], outputs: Record<string, stepoutcome>, now: number): {
+    scopes: variablescope[];
+    produced: string[];
+};
+/** Evaluates one reviewed expression between variables: arithmetic, comparison and logic operators with operand coercion and mismatched operator refusals, resolving references from the nearest scope outward; list operands join only the contains and length operators while every other operator refuses them at coercion. */
+export declare function expressioneval(expression: expressiontype, scopes: variablescope[]): string | number | boolean;
+/** Applies one reviewed regex rule to text and stores the named capture groups as string variables; the no match case is an honest outcome instead of a crash. */
+export declare function regexextract(rule: regexrule, text: string, now: number): {
+    matched: boolean;
+    variables: variablevalue[];
+};
+/** Plans the element wait polling: how many probe passes fit inside the reviewed timeout window at the reviewed poll interval; a zero timeout or a zero poll interval runs a single immediate probe. */
+export declare function waitelementplan(wait: {
+    timeout: number;
+    poll: number;
+}): {
+    probes: number;
+    lastwait: number;
+};
+/** Samples one delay inside the reviewed jitter window from a seeded random source: the window spans base minus half the jitter to base plus half the jitter and never dips below zero. */
+export declare function delayjitter(delay: delaystep, seed: number): number;
+/** Builds one new workflow run: pending state, a zero step cursor and the optional dry run flag. */
+export declare function newworkflowrun(input: {
+    id?: string;
+    workflowid: string;
+    dryrun?: boolean;
+    now: number;
+}): workflowrun;
+/** Pauses one running workflow run at its last checkpoint; the cursor keeps the completed steps so a resume continues exactly there. */
+export declare function pauserun(run: workflowrun, now: number): workflowrun;
+/** Cancels one workflow run and records the reviewed reason; done and already cancelled runs stay untouched. */
+export declare function cancelrun(run: workflowrun, reason: string, now: number): workflowrun;
+/** Executes exactly one workflow step outside the run loop: resolves the bindings of earlier steps, evaluates the inline expression and regex rule, interpolates the variable references, dispatches through the injected executor and binds the outcome into the newest scope. */
+export declare function runstep(input: {
+    step: workflowstep;
+    scopes: variablescope[];
+    outputs: Record<string, stepoutcome>;
+    execute: (step: workflowstep, context: {
+        scopes: variablescope[];
+        block?: string;
+    }) => Promise<stepexecution>;
+    now: number;
+    block?: string;
+}): Promise<{
+    scopes: variablescope[];
+    log: runlogentry;
+    output: stepexecution;
+}>;
+/** Advances one workflow run one step at a time: gates the run behind the active session, the approved plan and the origin grants, opens a child scope per block region, checkpoints after every completed step and resumes a paused run from its last checkpoint. */
+export declare function runworkflow(input: {
+    record: workflowrecord;
+    run: workflowrun;
+    scopes?: variablescope[];
+    log?: runlogentry[];
+    outputs?: Record<string, stepoutcome>;
+    execute: (step: workflowstep, context: {
+        scopes: variablescope[];
+        block?: string;
+    }) => Promise<stepexecution>;
+    now: number;
+    gates?: {
+        sessionactive: boolean;
+        planapproved: boolean;
+        origingranted: (origin: string) => boolean;
+    };
+    oncheckpoint?: (state: {
+        run: workflowrun;
+        scopes: variablescope[];
+        log: runlogentry[];
+    }) => Promise<void> | void;
+}): Promise<{
+    run: workflowrun;
+    scopes: variablescope[];
+    log: runlogentry[];
+    outputs: Record<string, stepoutcome>;
+}>;
+/** Evaluates every step of a workflow with no page mutation and no storage write: steps with a read only projection record their would be outcome and every other step is refused in the runlog. */
+export declare function dryrunworkflow(input: {
+    record: workflowrecord;
+    run: workflowrun;
+    scopes?: variablescope[];
+    log?: runlogentry[];
+    now: number;
+    projection: (step: workflowstep) => string | undefined;
+}): {
+    run: workflowrun;
+    scopes: variablescope[];
+    log: runlogentry[];
+};
+//# sourceMappingURL=workflow.d.ts.map

package/dist/workflow.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflow.d.ts","sourceRoot":"","sources":["../workflow.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,eAAe,EAAE,SAAS,EAAE,cAAc,EAAE,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,eAAe,EAAgB,aAAa,EAAE,aAAa,EAAE,aAAa,EAAE,cAAc,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AACtP,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAE9C;;;;GAIG;AAEH,4JAA4J;AAC5J,eAAO,MAAM,aAAa,EAAE,MAAM,EAAmH,CAAC;AAEtJ,uEAAuE;AACvE,MAAM,MAAM,aAAa,GAAG;IAAE,EAAE,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,CAAC;AAEhG,wKAAwK;AACxK,wBAAgB,cAAc,CAAC,KAAK,EAAE,OAAO,GAAG,YAAY,GAAG,SAAS,CAiBvE;AAED,+FAA+F;AAC/F,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,eAAe,GAAG,SAAS,CAM7E;AAED,4HAA4H;AAC5H,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,aAAa,GAAG,SAAS,CAezE;AAED,gHAAgH;AAChH,wBAAgB,cAAc,CAAC,KAAK,EAAE,OAAO,GAAG,YAAY,GAAG,SAAS,CAUvE;AAgBD,iEAAiE;AACjE,eAAO,MAAM,mBAAmB,EAAE,MAAM,EAAiL,CAAC;AAE1N,mHAAmH;AACnH,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,cAAc,GAAG,SAAS,CAWvE;AAaD,sGAAsG;AACtG,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,SAAS,GAAG,SAAS,CAQjE;AAED,sMAAsM;AACtM,wBAAgB,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,YAAY,GAAG,eAAe,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,GAAG,YAAY,EAAE,CAoBlH;AAED,8NAA8N;AAC9N,wBAAgB,eAAe,CAAC,KAAK,EAAE;IAAE,EAAE,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,EAAE,CAAC;IAAC,KAAK,EAAE,KAAK,CAAC,YAAY,GAAG,eAAe,CAAC,CAAC;IAAC,MAAM,CAAC,EAAE,aAAa,EAAE,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,WAAW,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC;IAAC,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,UAAU,CAAA;CAAE,GAAG,cAAc,CA6B7R;AAWD,iPAAiP;AACjP,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,cAAc,EAAE,OAAO,CAAC,EAAE;IAAE,WAAW,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,CAsBxK;AAED,+GAA+G;AAC/G,wBAAgB,SAAS,CAAC,MAAM,EAAE,aAAa,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,aAAa,EAAE,CAEjG;AAED,mEAAmE;AACnE,wBAAgB,QAAQ,CAAC,MAAM,EAAE,aAAa,EAAE,GAAG,aAAa,EAAE,CAGjE;AAED,+HAA+H;AAC/H,wBAAgB,eAAe,CAAC,MAAM,EAAE,aAAa,EAAE,EAAE,IAAI,EAAE,MAAM,GAAG,aAAa,GAAG,SAAS,CAahG;AAgDD,8KAA8K;AAC9K,wBAAgB,aAAa,CAAC,MAAM,EAAE,aAAa,EAAE,EAAE,QAAQ,EAAE,eAAe,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,GAAG,EAAE,MAAM,GAAG;IAAE,MAAM,EAAE,aAAa,EAAE,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAAE,CAYtL;AAaD,kUAAkU;AAClU,wBAAgB,cAAc,CAAC,UAAU,EAAE,cAAc,EAAE,MAAM,EAAE,aAAa,EAAE,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CA8D7G;AAED,kKAAkK;AAClK,wBAAgB,YAAY,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,SAAS,EAAE,aAAa,EAAE,CAAA;CAAE,CAUzH;AAED,wMAAwM;AACxM,wBAAgB,eAAe,CAAC,IAAI,EAAE;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAI7G;AAED,2LAA2L;AAC3L,wBAAgB,WAAW,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAIlE;AAiBD,oGAAoG;AACpG,wBAAgB,cAAc,CAAC,KAAK,EAAE;IAAE,EAAE,CAAC,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GAAG,WAAW,CAErH;AAED,wIAAwI;AACxI,wBAAgB,QAAQ,CAAC,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,GAAG,WAAW,CAGnE;AAED,gHAAgH;AAChH,wBAAgB,SAAS,CAAC,GAAG,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,WAAW,CAGpF;AAmBD,mRAAmR;AACnR,wBAAsB,OAAO,CAAC,KAAK,EAAE;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,MAAM,EAAE,aAAa,EAAE,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAAC,OAAO,EAAE,CAAC,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE;QAAE,MAAM,EAAE,aAAa,EAAE,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,KAAK,OAAO,CAAC,aAAa,CAAC,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,OAAO,CAAC;IAAE,MAAM,EAAE,aAAa,EAAE,CAAC;IAAC,GAAG,EAAE,WAAW,CAAC;IAAC,MAAM,EAAE,aAAa,CAAA;CAAE,CAAC,CA+CrV;AAED,sQAAsQ;AACtQ,wBAAsB,WAAW,CAAC,KAAK,EAAE;IAAE,MAAM,EAAE,cAAc,CAAC;IAAC,GAAG,EAAE,WAAW,CAAC;IAAC,MAAM,CAAC,EAAE,aAAa,EAAE,CAAC;IAAC,GAAG,CAAC,EAAE,WAAW,EAAE,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAAC,OAAO,EAAE,CAAC,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE;QAAE,MAAM,EAAE,aAAa,EAAE,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,KAAK,OAAO,CAAC,aAAa,CAAC,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE;QAAE,aAAa,EAAE,OAAO,CAAC;QAAC,YAAY,EAAE,OAAO,CAAC;QAAC,aAAa,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,OAAO,CAAA;KAAE,CAAC;IAAC,YAAY,CAAC,EAAE,CAAC,KAAK,EAAE;QAAE,GAAG,EAAE,WAAW,CAAC;QAAC,MAAM,EAAE,aAAa,EAAE,CAAC;QAAC,GAAG,EAAE,WAAW,EAAE,CAAA;KAAE,KAAK,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAA;CAAE,GAAG,OAAO,CAAC;IAAE,GAAG,EAAE,WAAW,CAAC;IAAC,MAAM,EAAE,aAAa,EAAE,CAAC;IAAC,GAAG,EAAE,WAAW,EAAE,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAA;CAAE,CAAC,CAoCnnB;AAED,oMAAoM;AACpM,wBAAgB,cAAc,CAAC,KAAK,EAAE;IAAE,MAAM,EAAE,cAAc,CAAC;IAAC,GAAG,EAAE,WAAW,CAAC;IAAC,MAAM,CAAC,EAAE,aAAa,EAAE,CAAC;IAAC,GAAG,CAAC,EAAE,WAAW,EAAE,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,CAAC,IAAI,EAAE,YAAY,KAAK,MAAM,GAAG,SAAS,CAAA;CAAE,GAAG;IAAE,GAAG,EAAE,WAAW,CAAC;IAAC,MAAM,EAAE,aAAa,EAAE,CAAC;IAAC,GAAG,EAAE,WAAW,EAAE,CAAA;CAAE,CAczQ"}