hierarchical-approval 0.7.0 → 0.9.0

package/CHANGELOG.md

@@ -7,6 +7,92 @@ adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
 _Nothing yet._
 
+## [0.9.0] - 2026-09-04
+
+### Added — `updateData()`: edit a pending document and recompute its chain
+
+- **`engine.updateData(instanceId, opts)` changes an in-flight instance's
+  document data and re-evaluates the template's conditions against it.**
+  Documents change after submission — a corrected line item, a reclassified
+  vendor, a revised amount — and the chain computed at submit time can be wrong
+  the moment that happens. The only previous remedy was to cancel and resubmit,
+  which discarded every approval already collected along with its audit trail.
+
+  ```ts
+  await engine.updateData(instance.id, {
+    updatedBy: 'buyer-1',
+    data: { amount: 20000 },      // merged by default; mode: 'replace' swaps wholesale
+    reason: 'Corrected line items',
+  });
+  ```
+
+  `recomputeChain: false` applies a data correction without touching the chain.
+
+- **Decided history is frozen.** Only levels after the current one are
+  recomputed. A level that is already approved, or is actively collecting
+  decisions, is never removed: a `skipLevels` condition that would drop it is
+  ignored, because editing data must not retract an approval that was given. A
+  condition that would *insert* a level at or before the current level throws
+  `ApprovalValidationError` rather than silently dropping an approval step the
+  template says is required.
+
+  A future level that survives re-evaluation is preserved object-identical, so a
+  delegation already arranged on it survives an unrelated edit elsewhere in the
+  document.
+
+- **Wiring:** emits `approval:data_updated` (`changedFields`, `addedLevels`,
+  `removedLevels`), records a `data_updated` audit entry carrying the before and
+  after data, increments `approval.data_updated`, and adds `updateData` to the
+  authorization-policy operation set — so it runs through the same
+  authz/middleware/audit/notification pipeline as every other operation.
+
+  New exports: `UpdateDataOptions`, `DataUpdatedEvent`.
+
+## [0.8.0] - 2026-09-04
+
+### Added — boolean condition expressions
+
+- **A rule's `when` now accepts `all`, `any` and `not` groups, nestable to any
+  depth.** Conditions previously supported a single test or an array meaning
+  AND, so "escalate when the amount is large **or** the vendor is high-risk"
+  could not be written as one rule — it took two rules with duplicated
+  `addLevels`, and anything involving negation or a mix of AND and OR had no
+  expression at all.
+
+  ```ts
+  when: {
+    any: [
+      { all: [
+          { field: 'amount', operator: '>', value: 1000 },
+          { field: 'dept', operator: '==', value: 'engineering' },
+      ] },
+      { field: 'override', operator: '==', value: true },
+    ],
+  }
+  ```
+
+  A group sets exactly one combinator. `any` short-circuits on the first child
+  that holds. New `ConditionExpression` and `ConditionGroup` types are exported
+  from the package root.
+
+  **Fully backward compatible.** A bare condition still works, and an array is
+  shorthand for `all` — exactly what `when: [...]` already meant.
+
+- **Condition trees are validated when the template is defined.** `validateTemplate()`
+  and `defineTemplate()` now reject an empty `all`/`any`, a group setting more
+  than one combinator, a non-array `all`/`any`, and a leaf missing its `field`
+  or `operator` — reporting the offending path, e.g.
+  `conditions[0].when.any[1].operator`. Previously a malformed condition was
+  only discovered at submit time, on a real document.
+
+  Operator *names* are deliberately not checked at definition time, because
+  custom operators can be registered after a template is defined; an unknown
+  operator still throws when the condition is evaluated.
+
+- **`validateConditionExpression(expression, path)` is exported** for callers
+  that build condition trees dynamically and want to check one before handing it
+  to a template. It collects every problem rather than throwing on the first.
+
 ## [0.7.0] - 2026-09-04
 
 ### Fixed — two condition-evaluation bypasses

package/README.md

@@ -305,6 +305,47 @@ conditions: [
 
 **Built-in operators:** `>`, `<`, `>=`, `<=`, `==`, `!=`, `in`, `not_in`
 
+#### Combining conditions
+
+A `when` can be a single condition, an array (every element must hold), or a
+boolean group — `all`, `any`, `not` — which nest to any depth:
+
+```ts
+conditions: [
+  {
+    // (amount > 1000 AND dept is engineering) OR an explicit override flag
+    when: {
+      any: [
+        {
+          all: [
+            { field: 'amount', operator: '>', value: 1000 },
+            { field: 'dept', operator: '==', value: 'engineering' },
+          ],
+        },
+        { field: 'override', operator: '==', value: true },
+      ],
+    },
+    addLevels: [{ level: 3, name: 'CFO', approvers: [{ type: 'user', userId: 'cfo' }], mode: 'any' }],
+  },
+  {
+    // Everything outside the US skips the domestic finance review
+    when: { not: { field: 'region', operator: '==', value: 'US' } },
+    skipLevels: [2],
+  },
+]
+```
+
+A group sets exactly one of `all` / `any` / `not`. `any` short-circuits on the
+first child that holds. An array is shorthand for `all`, so every template
+written before groups existed keeps working unchanged.
+
+Groups are checked when the template is defined, not when a document is
+submitted — `validateTemplate()` and `defineTemplate()` reject an empty `all`,
+a group setting two combinators, or a leaf missing its `field`/`operator`, and
+report the offending path (`conditions[0].when.any[1].operator`). Operator
+*names* are deliberately not checked there, since custom operators may be
+registered after the template is defined.
+
 #### How values are compared
 
 `==` and `!=` compare **strictly** — `'100'` does not equal `100`.
@@ -358,6 +399,42 @@ engine.registerConditionOperator('between', (actual, expected) => {
 });
 ```
 
+### Editing a document mid-flight
+
+Documents change after submission — a line item is corrected, a vendor
+reclassified, an amount revised. `updateData()` applies the change and
+re-evaluates the template's conditions, so the chain reflects the corrected
+document without cancelling and resubmitting (which would throw away the
+approvals already collected):
+
+```ts
+const updated = await engine.updateData(instance.id, {
+  updatedBy: 'buyer-1',
+  data: { amount: 20000 },   // merged into existing data
+  reason: 'Corrected line items',
+});
+// amount crossed the 10k threshold -> the CFO level is now in the chain
+```
+
+| Option | Default | Meaning |
+|---|---|---|
+| `data` | required | Fields to apply |
+| `mode` | `'merge'` | `'merge'` keeps untouched keys; `'replace'` swaps the whole object |
+| `reason` | — | Recorded on the audit entry |
+| `recomputeChain` | `true` | Set `false` to correct data without touching the chain |
+
+**Decided history is frozen.** Only levels *after* the current one are
+recomputed. A level that is already approved, or is actively collecting
+decisions, is never removed — a `skipLevels` condition that would drop it is
+ignored, because an approval that has been given cannot be retracted by editing
+data. A condition that would *insert* a level at or before the current one
+throws rather than silently dropping a required approval step; cancel and
+resubmit if the chain genuinely must change retroactively.
+
+Emits `approval:data_updated` with `changedFields`, `addedLevels` and
+`removedLevels`, and records a `data_updated` audit entry holding the before and
+after data. Only pending instances can be edited.
+
 ---
 
 ## Installation and setup

package/dist/{ApprovalEngine-BGfrrFxl.d.ts → ApprovalEngine-mD-qyxcZ.d.ts}

@@ -1,14 +1,14 @@
-import { I as IStorageAdapter, P as PaginationOpts, a as PaginatedResult, b as InstanceFilter, C as CursorPaginationOpts, c as CursorPaginatedResult } from './IStorageAdapter-D-oPxxun.js';
-import { m as ResolverFn, g as ApprovalTemplateConfig, A as ApprovalTemplate, j as AuditContext, a as ApprovalInstance, e as ApprovalMode, b as AuditEntry } from './instance-D8D7b07N.js';
-import { I as INotificationAdapter, b as ApprovalEventName, a as ApprovalEventMap } from './INotificationAdapter-BdfVjYa8.js';
+import { I as IStorageAdapter, P as PaginationOpts, a as PaginatedResult, b as InstanceFilter, C as CursorPaginationOpts, c as CursorPaginatedResult } from './IStorageAdapter-ecVYcA0z.js';
+import { k as ConditionExpression, o as ResolverFn, g as ApprovalTemplateConfig, A as ApprovalTemplate, j as AuditContext, a as ApprovalInstance, e as ApprovalMode, b as AuditEntry } from './instance-BxUwmrEi.js';
+import { I as INotificationAdapter, b as ApprovalEventName, a as ApprovalEventMap } from './INotificationAdapter-COeQ5kEv.js';
 import { z } from 'zod';
 import { L as Logger } from './Logger-BplhlU7l.js';
 import { C as Clock } from './Clock-3FnOczFJ.js';
-import { I as IOperationMiddleware, a as ApprovalError } from './IOperationMiddleware-KGAwT9f-.js';
-import { I as IAuditAdapter } from './IAuditAdapter-B3vvU09m.js';
-import { I as IMetricsAdapter } from './IMetricsAdapter-D9PUz4tM.js';
+import { I as IOperationMiddleware, a as ApprovalError } from './IOperationMiddleware-Bx4_U0ca.js';
+import { I as IAuditAdapter } from './IAuditAdapter-nlIK1em0.js';
+import { I as IMetricsAdapter } from './IMetricsAdapter-t7QpfA1I.js';
 import { I as ISchedulerAdapter } from './ISchedulerAdapter-DKv_QjVN.js';
-import { I as IAuthorizationPolicy } from './IAuthorizationPolicy-CZESF3CJ.js';
+import { I as IAuthorizationPolicy } from './IAuthorizationPolicy-DG8vmD5j.js';
 
 declare const SubmitOptionsSchema: z.ZodObject<{
     templateName: z.ZodString;
@@ -67,6 +67,16 @@ declare const OverrideOptionsSchema: z.ZodObject<{
     overriddenBy: z.ZodString;
     justification: z.ZodString;
 }, z.core.$strip>;
+declare const UpdateDataOptionsSchema: z.ZodObject<{
+    updatedBy: z.ZodString;
+    data: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+    mode: z.ZodDefault<z.ZodEnum<{
+        merge: "merge";
+        replace: "replace";
+    }>>;
+    reason: z.ZodOptional<z.ZodString>;
+    recomputeChain: z.ZodDefault<z.ZodBoolean>;
+}, z.core.$strip>;
 type SubmitOptions = z.infer<typeof SubmitOptionsSchema>;
 type ApproveOptions = z.infer<typeof ApproveOptionsSchema>;
 type RejectOptions = z.infer<typeof RejectOptionsSchema>;
@@ -77,6 +87,7 @@ type EscalateOptions = z.infer<typeof EscalateOptionsSchema>;
 type ResubmitOptions = z.infer<typeof ResubmitOptionsSchema>;
 type AddCommentOptions = z.infer<typeof AddCommentOptionsSchema>;
 type OverrideOptions = z.infer<typeof OverrideOptionsSchema>;
+type UpdateDataOptions = z.infer<typeof UpdateDataOptionsSchema>;
 
 /**
  * Computes deadline dates from a number of days. The default engine behaviour
@@ -150,6 +161,24 @@ type ConditionOperatorFn = (actual: unknown, expected: unknown) => boolean;
  * @returns The numeric value, or `null` when the value is not comparable.
  */
 declare function toComparableNumber(value: unknown): number | null;
+/**
+ * Statically check a condition expression tree, collecting every problem rather
+ * than throwing on the first.
+ *
+ * Runs at template-definition time so a malformed group is caught while the
+ * author is looking at it, instead of at submit time on a real document. The
+ * operator check is deliberately deferred: custom operators can be registered
+ * after a template is defined, so an unknown name is only an error once the
+ * condition is actually evaluated.
+ *
+ * @param expression - The `when` expression to check.
+ * @param path - Field path prefix used in reported errors.
+ * @returns One entry per problem found; empty when the tree is well formed.
+ */
+declare function validateConditionExpression(expression: ConditionExpression, path: string): Array<{
+    field: string;
+    message: string;
+}>;
 
 interface ValidationResult {
     valid: boolean;
@@ -355,6 +384,42 @@ declare class ApprovalEngine {
     reassign(instanceId: string, raw: ReassignOptions, auditCtx?: AuditContext): Promise<ApprovalInstance>;
     cancel(instanceId: string, raw: CancelOptions, auditCtx?: AuditContext): Promise<ApprovalInstance>;
     escalate(instanceId: string, raw: EscalateOptions, auditCtx?: AuditContext): Promise<ApprovalInstance>;
+    /**
+     * Change an instance's document data while it is still pending, and
+     * re-evaluate the template's conditions against the new values.
+     *
+     * Documents change after submission — a line item is corrected, a vendor is
+     * reclassified, an amount is revised — and the approval chain that was
+     * computed at submit time can be wrong the moment that happens. Without this,
+     * the only way to reflect a correction was to cancel and resubmit, losing the
+     * approvals already collected and the audit trail with them.
+     *
+     * **Only the part of the chain that has not been reached is recomputed.**
+     * Levels before {@link ApprovalInstance.currentLevel}, and the current level
+     * itself, are frozen: an approval that has already been given cannot be
+     * retracted by editing data, and a level that is actively collecting
+     * decisions is not pulled out from under its approvers. Conditions that would
+     * skip such a level are therefore ignored — history cannot be rewritten — and
+     * a condition that would *insert* a level at or before the current one throws
+     * rather than silently dropping an approval step that should have run.
+     *
+     * @param instanceId - The pending instance to update.
+     * @param raw - Who is updating, the new data, and how to apply it.
+     * @param auditCtx - Optional compliance context recorded on the audit entry.
+     * @returns The updated instance.
+     * @throws ApprovalError if the instance is not pending.
+     * @throws ApprovalValidationError if re-evaluation would insert a level at or
+     *   before the current level, or would leave the chain with no levels.
+     */
+    updateData(instanceId: string, raw: UpdateDataOptions, auditCtx?: AuditContext): Promise<ApprovalInstance>;
+    /**
+     * Recompute the not-yet-reached portion of an instance's level chain against
+     * new data, mutating `instance.levels` in place.
+     *
+     * Levels at or before `currentLevel` are treated as immutable history. See
+     * {@link updateData} for why.
+     */
+    private recomputeFutureChain;
     /** Add a comment to an instance without approving or rejecting. */
     addComment(instanceId: string, raw: AddCommentOptions, auditCtx?: AuditContext): Promise<void>;
     /** Resubmit a rejected instance, creating a new linked instance from level 1. */
@@ -435,4 +500,4 @@ declare class ApprovalEngine {
     private runExternalAudit;
 }
 
-export { type AddCommentOptions as A, type BulkResult as B, type CanApproveResult as C, type DelegateOptions as D, type EscalateOptions as E, type HealthResult as H, type IdGeneratorFn as I, type OrgProvider as O, type PreviewChainLevel as P, type ReassignOptions as R, type SubmitOptions as S, type ValidationResult as V, type WeekendCalendarOptions as W, ApprovalEngine as a, type ApprovalEngineOptions as b, type ApprovalStatistics as c, type ApproveOptions as d, type ApproverResolverFn as e, type BusinessCalendar as f, type CancelOptions as g, type ConditionOperatorFn as h, type CycleTimeStats as i, type IdempotencyKeyFn as j, type OverrideOptions as k, type PreviewResult as l, type RejectOptions as m, type ResubmitOptions as n, type RetryPolicy as o, defaultIdGenerator as p, toComparableNumber as t, weekendCalendar as w };
+export { type AddCommentOptions as A, type BulkResult as B, type CanApproveResult as C, type DelegateOptions as D, type EscalateOptions as E, type HealthResult as H, type IdGeneratorFn as I, type OrgProvider as O, type PreviewChainLevel as P, type ReassignOptions as R, type SubmitOptions as S, type UpdateDataOptions as U, type ValidationResult as V, type WeekendCalendarOptions as W, ApprovalEngine as a, type ApprovalEngineOptions as b, type ApprovalStatistics as c, type ApproveOptions as d, type ApproverResolverFn as e, type BusinessCalendar as f, type CancelOptions as g, type ConditionOperatorFn as h, type CycleTimeStats as i, type IdempotencyKeyFn as j, type OverrideOptions as k, type PreviewResult as l, type RejectOptions as m, type ResubmitOptions as n, type RetryPolicy as o, defaultIdGenerator as p, toComparableNumber as t, validateConditionExpression as v, weekendCalendar as w };

package/dist/{ApprovalEngine-BET-UqQo.d.cts → ApprovalEngine-pfQ2v-J9.d.cts}

@@ -1,14 +1,14 @@
-import { I as IStorageAdapter, P as PaginationOpts, a as PaginatedResult, b as InstanceFilter, C as CursorPaginationOpts, c as CursorPaginatedResult } from './IStorageAdapter-BibHlgPw.cjs';
-import { m as ResolverFn, g as ApprovalTemplateConfig, A as ApprovalTemplate, j as AuditContext, a as ApprovalInstance, e as ApprovalMode, b as AuditEntry } from './instance-D8D7b07N.cjs';
-import { I as INotificationAdapter, b as ApprovalEventName, a as ApprovalEventMap } from './INotificationAdapter-DVVmXU6a.cjs';
+import { I as IStorageAdapter, P as PaginationOpts, a as PaginatedResult, b as InstanceFilter, C as CursorPaginationOpts, c as CursorPaginatedResult } from './IStorageAdapter-qKgtuTY1.cjs';
+import { k as ConditionExpression, o as ResolverFn, g as ApprovalTemplateConfig, A as ApprovalTemplate, j as AuditContext, a as ApprovalInstance, e as ApprovalMode, b as AuditEntry } from './instance-BxUwmrEi.cjs';
+import { I as INotificationAdapter, b as ApprovalEventName, a as ApprovalEventMap } from './INotificationAdapter-CFedkDQe.cjs';
 import { z } from 'zod';
 import { L as Logger } from './Logger-BplhlU7l.cjs';
 import { C as Clock } from './Clock-3FnOczFJ.cjs';
-import { I as IOperationMiddleware, a as ApprovalError } from './IOperationMiddleware-CXgXmGUF.cjs';
-import { I as IAuditAdapter } from './IAuditAdapter-B_DhuPsU.cjs';
-import { I as IMetricsAdapter } from './IMetricsAdapter-D9PUz4tM.cjs';
+import { I as IOperationMiddleware, a as ApprovalError } from './IOperationMiddleware-CYXTV_TI.cjs';
+import { I as IAuditAdapter } from './IAuditAdapter-0frLfzRq.cjs';
+import { I as IMetricsAdapter } from './IMetricsAdapter-t7QpfA1I.cjs';
 import { I as ISchedulerAdapter } from './ISchedulerAdapter-DKv_QjVN.cjs';
-import { I as IAuthorizationPolicy } from './IAuthorizationPolicy-B6JzRNUk.cjs';
+import { I as IAuthorizationPolicy } from './IAuthorizationPolicy-DXEMaoxF.cjs';
 
 declare const SubmitOptionsSchema: z.ZodObject<{
     templateName: z.ZodString;
@@ -67,6 +67,16 @@ declare const OverrideOptionsSchema: z.ZodObject<{
     overriddenBy: z.ZodString;
     justification: z.ZodString;
 }, z.core.$strip>;
+declare const UpdateDataOptionsSchema: z.ZodObject<{
+    updatedBy: z.ZodString;
+    data: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+    mode: z.ZodDefault<z.ZodEnum<{
+        merge: "merge";
+        replace: "replace";
+    }>>;
+    reason: z.ZodOptional<z.ZodString>;
+    recomputeChain: z.ZodDefault<z.ZodBoolean>;
+}, z.core.$strip>;
 type SubmitOptions = z.infer<typeof SubmitOptionsSchema>;
 type ApproveOptions = z.infer<typeof ApproveOptionsSchema>;
 type RejectOptions = z.infer<typeof RejectOptionsSchema>;
@@ -77,6 +87,7 @@ type EscalateOptions = z.infer<typeof EscalateOptionsSchema>;
 type ResubmitOptions = z.infer<typeof ResubmitOptionsSchema>;
 type AddCommentOptions = z.infer<typeof AddCommentOptionsSchema>;
 type OverrideOptions = z.infer<typeof OverrideOptionsSchema>;
+type UpdateDataOptions = z.infer<typeof UpdateDataOptionsSchema>;
 
 /**
  * Computes deadline dates from a number of days. The default engine behaviour
@@ -150,6 +161,24 @@ type ConditionOperatorFn = (actual: unknown, expected: unknown) => boolean;
  * @returns The numeric value, or `null` when the value is not comparable.
  */
 declare function toComparableNumber(value: unknown): number | null;
+/**
+ * Statically check a condition expression tree, collecting every problem rather
+ * than throwing on the first.
+ *
+ * Runs at template-definition time so a malformed group is caught while the
+ * author is looking at it, instead of at submit time on a real document. The
+ * operator check is deliberately deferred: custom operators can be registered
+ * after a template is defined, so an unknown name is only an error once the
+ * condition is actually evaluated.
+ *
+ * @param expression - The `when` expression to check.
+ * @param path - Field path prefix used in reported errors.
+ * @returns One entry per problem found; empty when the tree is well formed.
+ */
+declare function validateConditionExpression(expression: ConditionExpression, path: string): Array<{
+    field: string;
+    message: string;
+}>;
 
 interface ValidationResult {
     valid: boolean;
@@ -355,6 +384,42 @@ declare class ApprovalEngine {
     reassign(instanceId: string, raw: ReassignOptions, auditCtx?: AuditContext): Promise<ApprovalInstance>;
     cancel(instanceId: string, raw: CancelOptions, auditCtx?: AuditContext): Promise<ApprovalInstance>;
     escalate(instanceId: string, raw: EscalateOptions, auditCtx?: AuditContext): Promise<ApprovalInstance>;
+    /**
+     * Change an instance's document data while it is still pending, and
+     * re-evaluate the template's conditions against the new values.
+     *
+     * Documents change after submission — a line item is corrected, a vendor is
+     * reclassified, an amount is revised — and the approval chain that was
+     * computed at submit time can be wrong the moment that happens. Without this,
+     * the only way to reflect a correction was to cancel and resubmit, losing the
+     * approvals already collected and the audit trail with them.
+     *
+     * **Only the part of the chain that has not been reached is recomputed.**
+     * Levels before {@link ApprovalInstance.currentLevel}, and the current level
+     * itself, are frozen: an approval that has already been given cannot be
+     * retracted by editing data, and a level that is actively collecting
+     * decisions is not pulled out from under its approvers. Conditions that would
+     * skip such a level are therefore ignored — history cannot be rewritten — and
+     * a condition that would *insert* a level at or before the current one throws
+     * rather than silently dropping an approval step that should have run.
+     *
+     * @param instanceId - The pending instance to update.
+     * @param raw - Who is updating, the new data, and how to apply it.
+     * @param auditCtx - Optional compliance context recorded on the audit entry.
+     * @returns The updated instance.
+     * @throws ApprovalError if the instance is not pending.
+     * @throws ApprovalValidationError if re-evaluation would insert a level at or
+     *   before the current level, or would leave the chain with no levels.
+     */
+    updateData(instanceId: string, raw: UpdateDataOptions, auditCtx?: AuditContext): Promise<ApprovalInstance>;
+    /**
+     * Recompute the not-yet-reached portion of an instance's level chain against
+     * new data, mutating `instance.levels` in place.
+     *
+     * Levels at or before `currentLevel` are treated as immutable history. See
+     * {@link updateData} for why.
+     */
+    private recomputeFutureChain;
     /** Add a comment to an instance without approving or rejecting. */
     addComment(instanceId: string, raw: AddCommentOptions, auditCtx?: AuditContext): Promise<void>;
     /** Resubmit a rejected instance, creating a new linked instance from level 1. */
@@ -435,4 +500,4 @@ declare class ApprovalEngine {
     private runExternalAudit;
 }
 
-export { type AddCommentOptions as A, type BulkResult as B, type CanApproveResult as C, type DelegateOptions as D, type EscalateOptions as E, type HealthResult as H, type IdGeneratorFn as I, type OrgProvider as O, type PreviewChainLevel as P, type ReassignOptions as R, type SubmitOptions as S, type ValidationResult as V, type WeekendCalendarOptions as W, ApprovalEngine as a, type ApprovalEngineOptions as b, type ApprovalStatistics as c, type ApproveOptions as d, type ApproverResolverFn as e, type BusinessCalendar as f, type CancelOptions as g, type ConditionOperatorFn as h, type CycleTimeStats as i, type IdempotencyKeyFn as j, type OverrideOptions as k, type PreviewResult as l, type RejectOptions as m, type ResubmitOptions as n, type RetryPolicy as o, defaultIdGenerator as p, toComparableNumber as t, weekendCalendar as w };
+export { type AddCommentOptions as A, type BulkResult as B, type CanApproveResult as C, type DelegateOptions as D, type EscalateOptions as E, type HealthResult as H, type IdGeneratorFn as I, type OrgProvider as O, type PreviewChainLevel as P, type ReassignOptions as R, type SubmitOptions as S, type UpdateDataOptions as U, type ValidationResult as V, type WeekendCalendarOptions as W, ApprovalEngine as a, type ApprovalEngineOptions as b, type ApprovalStatistics as c, type ApproveOptions as d, type ApproverResolverFn as e, type BusinessCalendar as f, type CancelOptions as g, type ConditionOperatorFn as h, type CycleTimeStats as i, type IdempotencyKeyFn as j, type OverrideOptions as k, type PreviewResult as l, type RejectOptions as m, type ResubmitOptions as n, type RetryPolicy as o, defaultIdGenerator as p, toComparableNumber as t, validateConditionExpression as v, weekendCalendar as w };

package/dist/{IAuditAdapter-B_DhuPsU.d.cts → IAuditAdapter-0frLfzRq.d.cts}

@@ -1,4 +1,4 @@
-import { b as AuditEntry, a as ApprovalInstance } from './instance-D8D7b07N.cjs';
+import { b as AuditEntry, a as ApprovalInstance } from './instance-BxUwmrEi.cjs';
 
 interface IAuditAdapter {
     /**

package/dist/{IAuditAdapter-B3vvU09m.d.ts → IAuditAdapter-nlIK1em0.d.ts}

@@ -1,4 +1,4 @@
-import { b as AuditEntry, a as ApprovalInstance } from './instance-D8D7b07N.js';
+import { b as AuditEntry, a as ApprovalInstance } from './instance-BxUwmrEi.js';
 
 interface IAuditAdapter {
     /**

package/dist/{IAuthorizationPolicy-B6JzRNUk.d.cts → IAuthorizationPolicy-DG8vmD5j.d.ts}

@@ -1,7 +1,7 @@
-import { a as ApprovalInstance, d as ApprovalLevelInstance } from './instance-D8D7b07N.cjs';
+import { a as ApprovalInstance, d as ApprovalLevelInstance } from './instance-BxUwmrEi.js';
 
 interface AuthorizationContext {
-    operation: 'submit' | 'approve' | 'reject' | 'delegate' | 'reassign' | 'cancel' | 'escalate' | 'override' | 'resubmit' | 'addComment';
+    operation: 'submit' | 'approve' | 'reject' | 'delegate' | 'reassign' | 'cancel' | 'escalate' | 'override' | 'resubmit' | 'addComment' | 'updateData';
     actorId: string;
     instance: Readonly<ApprovalInstance>;
     level?: Readonly<ApprovalLevelInstance>;

package/dist/{IAuthorizationPolicy-CZESF3CJ.d.ts → IAuthorizationPolicy-DXEMaoxF.d.cts}

@@ -1,7 +1,7 @@
-import { a as ApprovalInstance, d as ApprovalLevelInstance } from './instance-D8D7b07N.js';
+import { a as ApprovalInstance, d as ApprovalLevelInstance } from './instance-BxUwmrEi.cjs';
 
 interface AuthorizationContext {
-    operation: 'submit' | 'approve' | 'reject' | 'delegate' | 'reassign' | 'cancel' | 'escalate' | 'override' | 'resubmit' | 'addComment';
+    operation: 'submit' | 'approve' | 'reject' | 'delegate' | 'reassign' | 'cancel' | 'escalate' | 'override' | 'resubmit' | 'addComment' | 'updateData';
     actorId: string;
     instance: Readonly<ApprovalInstance>;
     level?: Readonly<ApprovalLevelInstance>;

package/dist/{IMetricsAdapter-D9PUz4tM.d.cts → IMetricsAdapter-t7QpfA1I.d.cts}

@@ -1,4 +1,4 @@
-type MetricName = 'approval.submitted' | 'approval.approved' | 'approval.rejected' | 'approval.cancelled' | 'approval.expired' | 'approval.sla_breached' | 'approval.escalated' | 'approval.reassigned' | 'approval.overridden' | 'approval.conflict_retry' | 'approval.operation_duration_ms';
+type MetricName = 'approval.submitted' | 'approval.approved' | 'approval.rejected' | 'approval.cancelled' | 'approval.expired' | 'approval.sla_breached' | 'approval.escalated' | 'approval.reassigned' | 'approval.overridden' | 'approval.data_updated' | 'approval.conflict_retry' | 'approval.operation_duration_ms';
 interface IMetricsAdapter {
     /** Increment a counter. Synchronous — never awaited. */
     increment(metric: MetricName, labels?: Record<string, string>): void;

package/dist/{IMetricsAdapter-D9PUz4tM.d.ts → IMetricsAdapter-t7QpfA1I.d.ts}

@@ -1,4 +1,4 @@
-type MetricName = 'approval.submitted' | 'approval.approved' | 'approval.rejected' | 'approval.cancelled' | 'approval.expired' | 'approval.sla_breached' | 'approval.escalated' | 'approval.reassigned' | 'approval.overridden' | 'approval.conflict_retry' | 'approval.operation_duration_ms';
+type MetricName = 'approval.submitted' | 'approval.approved' | 'approval.rejected' | 'approval.cancelled' | 'approval.expired' | 'approval.sla_breached' | 'approval.escalated' | 'approval.reassigned' | 'approval.overridden' | 'approval.data_updated' | 'approval.conflict_retry' | 'approval.operation_duration_ms';
 interface IMetricsAdapter {
     /** Increment a counter. Synchronous — never awaited. */
     increment(metric: MetricName, labels?: Record<string, string>): void;

package/dist/{INotificationAdapter-DVVmXU6a.d.cts → INotificationAdapter-CFedkDQe.d.cts}

@@ -1,4 +1,4 @@
-import { a as ApprovalInstance, b as AuditEntry } from './instance-D8D7b07N.cjs';
+import { a as ApprovalInstance, b as AuditEntry } from './instance-BxUwmrEi.cjs';
 
 interface ApprovalEvent {
     instanceId: string;
@@ -62,6 +62,22 @@ interface ExpiredEvent extends ApprovalEvent {
 interface SlaBreachedEvent extends ApprovalEvent {
     slaDeadlineAt: Date;
 }
+/**
+ * Emitted when an instance's document data is changed while it is still
+ * pending. {@link addedLevels} and {@link removedLevels} describe how the
+ * remaining approval chain was recomputed — both empty when the data change
+ * did not affect it.
+ */
+interface DataUpdatedEvent extends ApprovalEvent {
+    updatedBy: string;
+    reason?: string;
+    /** Field paths whose values differ after the update. */
+    changedFields: string[];
+    /** Level numbers added to the future chain by re-evaluating conditions. */
+    addedLevels: number[];
+    /** Level numbers removed from the future chain by re-evaluating conditions. */
+    removedLevels: number[];
+}
 interface ApprovalEventMap {
     'approval:submitted': SubmittedEvent;
     'approval:approved': ApprovedEvent;
@@ -76,6 +92,7 @@ interface ApprovalEventMap {
     'approval:overridden': OverriddenEvent;
     'approval:expired': ExpiredEvent;
     'approval:sla_breached': SlaBreachedEvent;
+    'approval:data_updated': DataUpdatedEvent;
 }
 type ApprovalEventName = keyof ApprovalEventMap;
 interface HistoryEntry extends AuditEntry {
@@ -99,4 +116,4 @@ interface INotificationAdapter {
     notify(event: NotificationEvent): Promise<void>;
 }
 
-export type { ApprovalEvent as A, CancelledEvent as C, DelegatedEvent as D, EscalatedEvent as E, HistoryEntry as H, INotificationAdapter as I, LevelAdvancedEvent as L, NotificationEvent as N, OverriddenEvent as O, ReassignedEvent as R, SlaBreachedEvent as S, ApprovalEventMap as a, ApprovalEventName as b, ApprovedEvent as c, ExpiredEvent as d, RejectedEvent as e, ResubmittedEvent as f, SubmittedEvent as g };
+export type { ApprovalEvent as A, CancelledEvent as C, DataUpdatedEvent as D, EscalatedEvent as E, HistoryEntry as H, INotificationAdapter as I, LevelAdvancedEvent as L, NotificationEvent as N, OverriddenEvent as O, ReassignedEvent as R, SlaBreachedEvent as S, ApprovalEventMap as a, ApprovalEventName as b, ApprovedEvent as c, DelegatedEvent as d, ExpiredEvent as e, RejectedEvent as f, ResubmittedEvent as g, SubmittedEvent as h };

package/dist/{INotificationAdapter-BdfVjYa8.d.ts → INotificationAdapter-COeQ5kEv.d.ts}

@@ -1,4 +1,4 @@
-import { a as ApprovalInstance, b as AuditEntry } from './instance-D8D7b07N.js';
+import { a as ApprovalInstance, b as AuditEntry } from './instance-BxUwmrEi.js';
 
 interface ApprovalEvent {
     instanceId: string;
@@ -62,6 +62,22 @@ interface ExpiredEvent extends ApprovalEvent {
 interface SlaBreachedEvent extends ApprovalEvent {
     slaDeadlineAt: Date;
 }
+/**
+ * Emitted when an instance's document data is changed while it is still
+ * pending. {@link addedLevels} and {@link removedLevels} describe how the
+ * remaining approval chain was recomputed — both empty when the data change
+ * did not affect it.
+ */
+interface DataUpdatedEvent extends ApprovalEvent {
+    updatedBy: string;
+    reason?: string;
+    /** Field paths whose values differ after the update. */
+    changedFields: string[];
+    /** Level numbers added to the future chain by re-evaluating conditions. */
+    addedLevels: number[];
+    /** Level numbers removed from the future chain by re-evaluating conditions. */
+    removedLevels: number[];
+}
 interface ApprovalEventMap {
     'approval:submitted': SubmittedEvent;
     'approval:approved': ApprovedEvent;
@@ -76,6 +92,7 @@ interface ApprovalEventMap {
     'approval:overridden': OverriddenEvent;
     'approval:expired': ExpiredEvent;
     'approval:sla_breached': SlaBreachedEvent;
+    'approval:data_updated': DataUpdatedEvent;
 }
 type ApprovalEventName = keyof ApprovalEventMap;
 interface HistoryEntry extends AuditEntry {
@@ -99,4 +116,4 @@ interface INotificationAdapter {
     notify(event: NotificationEvent): Promise<void>;
 }
 
-export type { ApprovalEvent as A, CancelledEvent as C, DelegatedEvent as D, EscalatedEvent as E, HistoryEntry as H, INotificationAdapter as I, LevelAdvancedEvent as L, NotificationEvent as N, OverriddenEvent as O, ReassignedEvent as R, SlaBreachedEvent as S, ApprovalEventMap as a, ApprovalEventName as b, ApprovedEvent as c, ExpiredEvent as d, RejectedEvent as e, ResubmittedEvent as f, SubmittedEvent as g };
+export type { ApprovalEvent as A, CancelledEvent as C, DataUpdatedEvent as D, EscalatedEvent as E, HistoryEntry as H, INotificationAdapter as I, LevelAdvancedEvent as L, NotificationEvent as N, OverriddenEvent as O, ReassignedEvent as R, SlaBreachedEvent as S, ApprovalEventMap as a, ApprovalEventName as b, ApprovedEvent as c, DelegatedEvent as d, ExpiredEvent as e, RejectedEvent as f, ResubmittedEvent as g, SubmittedEvent as h };

package/dist/{IOperationMiddleware-KGAwT9f-.d.ts → IOperationMiddleware-Bx4_U0ca.d.ts}

@@ -1,4 +1,4 @@
-import { a as ApprovalInstance } from './instance-D8D7b07N.js';
+import { a as ApprovalInstance } from './instance-BxUwmrEi.js';
 
 declare class ApprovalError extends Error {
     readonly code: string;

package/dist/{IOperationMiddleware-CXgXmGUF.d.cts → IOperationMiddleware-CYXTV_TI.d.cts}

@@ -1,4 +1,4 @@
-import { a as ApprovalInstance } from './instance-D8D7b07N.cjs';
+import { a as ApprovalInstance } from './instance-BxUwmrEi.cjs';
 
 declare class ApprovalError extends Error {
     readonly code: string;

package/dist/{IStorageAdapter-D-oPxxun.d.ts → IStorageAdapter-ecVYcA0z.d.ts}

@@ -1,4 +1,4 @@
-import { A as ApprovalTemplate, a as ApprovalInstance, f as ApprovalStatus, b as AuditEntry } from './instance-D8D7b07N.js';
+import { A as ApprovalTemplate, a as ApprovalInstance, f as ApprovalStatus, b as AuditEntry } from './instance-BxUwmrEi.js';
 
 interface PaginationOpts {
     limit: number;

package/dist/{IStorageAdapter-BibHlgPw.d.cts → IStorageAdapter-qKgtuTY1.d.cts}

@@ -1,4 +1,4 @@
-import { A as ApprovalTemplate, a as ApprovalInstance, f as ApprovalStatus, b as AuditEntry } from './instance-D8D7b07N.cjs';
+import { A as ApprovalTemplate, a as ApprovalInstance, f as ApprovalStatus, b as AuditEntry } from './instance-BxUwmrEi.cjs';
 
 interface PaginationOpts {
     limit: number;

package/dist/adapters/MemoryAdapter.d.cts

@@ -1,5 +1,5 @@
-import { I as IStorageAdapter, P as PaginationOpts, a as PaginatedResult, b as InstanceFilter, C as CursorPaginationOpts, c as CursorPaginatedResult } from '../IStorageAdapter-BibHlgPw.cjs';
-import { A as ApprovalTemplate, a as ApprovalInstance, b as AuditEntry } from '../instance-D8D7b07N.cjs';
+import { I as IStorageAdapter, P as PaginationOpts, a as PaginatedResult, b as InstanceFilter, C as CursorPaginationOpts, c as CursorPaginatedResult } from '../IStorageAdapter-qKgtuTY1.cjs';
+import { A as ApprovalTemplate, a as ApprovalInstance, b as AuditEntry } from '../instance-BxUwmrEi.cjs';
 
 declare class MemoryAdapter implements IStorageAdapter {
     private templates;

package/dist/adapters/MemoryAdapter.d.ts

@@ -1,5 +1,5 @@
-import { I as IStorageAdapter, P as PaginationOpts, a as PaginatedResult, b as InstanceFilter, C as CursorPaginationOpts, c as CursorPaginatedResult } from '../IStorageAdapter-D-oPxxun.js';
-import { A as ApprovalTemplate, a as ApprovalInstance, b as AuditEntry } from '../instance-D8D7b07N.js';
+import { I as IStorageAdapter, P as PaginationOpts, a as PaginatedResult, b as InstanceFilter, C as CursorPaginationOpts, c as CursorPaginatedResult } from '../IStorageAdapter-ecVYcA0z.js';
+import { A as ApprovalTemplate, a as ApprovalInstance, b as AuditEntry } from '../instance-BxUwmrEi.js';
 
 declare class MemoryAdapter implements IStorageAdapter {
     private templates;

package/dist/adapters/PostgresAdapter.d.cts

@@ -1,7 +1,7 @@
 import * as tls from 'tls';
 import * as pg from 'pg';
-import { I as IStorageAdapter, P as PaginationOpts, a as PaginatedResult, b as InstanceFilter, C as CursorPaginationOpts, c as CursorPaginatedResult } from '../IStorageAdapter-BibHlgPw.cjs';
-import { A as ApprovalTemplate, a as ApprovalInstance, b as AuditEntry } from '../instance-D8D7b07N.cjs';
+import { I as IStorageAdapter, P as PaginationOpts, a as PaginatedResult, b as InstanceFilter, C as CursorPaginationOpts, c as CursorPaginatedResult } from '../IStorageAdapter-qKgtuTY1.cjs';
+import { A as ApprovalTemplate, a as ApprovalInstance, b as AuditEntry } from '../instance-BxUwmrEi.cjs';
 
 interface PostgresAdapterOptions {
     connectionString?: string;

package/dist/adapters/PostgresAdapter.d.ts

@@ -1,7 +1,7 @@
 import * as tls from 'tls';
 import * as pg from 'pg';
-import { I as IStorageAdapter, P as PaginationOpts, a as PaginatedResult, b as InstanceFilter, C as CursorPaginationOpts, c as CursorPaginatedResult } from '../IStorageAdapter-D-oPxxun.js';
-import { A as ApprovalTemplate, a as ApprovalInstance, b as AuditEntry } from '../instance-D8D7b07N.js';
+import { I as IStorageAdapter, P as PaginationOpts, a as PaginatedResult, b as InstanceFilter, C as CursorPaginationOpts, c as CursorPaginatedResult } from '../IStorageAdapter-ecVYcA0z.js';
+import { A as ApprovalTemplate, a as ApprovalInstance, b as AuditEntry } from '../instance-BxUwmrEi.js';
 
 interface PostgresAdapterOptions {
     connectionString?: string;