@knpkv/herdr-work 0.4.0 → 0.5.1

package/dist/internal/decision-handoff-migration.js

@@ -0,0 +1,51 @@
+import { Option, Result, Schema } from "effect";
+import { WorkDecisionHandoff } from "../model.js";
+export const PreviousWorkDecisionHandoff = Schema.Struct({
+    version: Schema.Literal("herdr.work.decision.v1"),
+    id: WorkDecisionHandoff.fields.id,
+    sessionId: WorkDecisionHandoff.fields.sessionId,
+    laneId: WorkDecisionHandoff.fields.laneId,
+    goalId: WorkDecisionHandoff.fields.goalId,
+    decision: WorkDecisionHandoff.fields.decision,
+    summary: WorkDecisionHandoff.fields.summary,
+    owner: WorkDecisionHandoff.fields.owner,
+    dispatchIds: WorkDecisionHandoff.fields.dispatchIds,
+    blockers: WorkDecisionHandoff.fields.blockers,
+    evidenceRefs: WorkDecisionHandoff.fields.evidenceRefs,
+    occurredAt: WorkDecisionHandoff.fields.occurredAt
+});
+const PreviousWorkDecisionHandoffVersion = Schema.Struct({
+    version: PreviousWorkDecisionHandoff.fields.version
+});
+export const previousDecisionHandoffEquivalent = Schema.toEquivalence(PreviousWorkDecisionHandoff);
+export const currentDecisionHandoffEquivalent = Schema.toEquivalence(WorkDecisionHandoff);
+export const workDispatchLineageEquivalent = Schema.toEquivalence(WorkDecisionHandoff.fields.dispatchIds);
+export const CurrentMetadataWorkLink = Schema.Struct({
+    handoff: WorkDecisionHandoff,
+    lineage: WorkDecisionHandoff.fields.dispatchIds
+});
+/** Keeps a dispatch's ordered lineage narrower than the decision's complete dispatch set. */
+export const workDispatchLineageContainedBy = (lineage, dispatchIds) => lineage.every((dispatchId) => dispatchIds.includes(dispatchId));
+/** Accepts only the current or immediately previous persisted handoff contract. */
+export const decodePreviousDecisionHandoff = (input) => {
+    if (Option.isNone(Schema.decodeUnknownOption(PreviousWorkDecisionHandoffVersion)(input))) {
+        const current = Schema.decodeUnknownResult(WorkDecisionHandoff)(input);
+        return Result.isFailure(current)
+            ? { _tag: "invalid", cause: current.failure }
+            : { _tag: "current", value: current.success };
+    }
+    const decoded = Schema.decodeUnknownResult(PreviousWorkDecisionHandoff)(input);
+    return Result.isFailure(decoded)
+        ? { _tag: "invalid", cause: decoded.failure }
+        : { _tag: "previous", value: decoded.success };
+};
+/** Upgrades the immediately previous persisted handoff shape without accepting unknown versions. */
+export const upgradePreviousDecisionHandoff = (previous, expectedRevision) => {
+    return Schema.decodeUnknownSync(WorkDecisionHandoff)({
+        ...previous,
+        contextDelta: previous.summary,
+        expectedRevision,
+        version: "herdr.work.decision.v2"
+    });
+};
+//# sourceMappingURL=decision-handoff-migration.js.map

package/dist/internal/decision-handoff-migration.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"decision-handoff-migration.js","sourceRoot":"","sources":["../../src/internal/decision-handoff-migration.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/C,OAAO,EAAE,mBAAmB,EAAuD,MAAM,aAAa,CAAA;AAEtG,MAAM,CAAC,MAAM,2BAA2B,GAAG,MAAM,CAAC,MAAM,CAAC;IACvD,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,wBAAwB,CAAC;IACjD,EAAE,EAAE,mBAAmB,CAAC,MAAM,CAAC,EAAE;IACjC,SAAS,EAAE,mBAAmB,CAAC,MAAM,CAAC,SAAS;IAC/C,MAAM,EAAE,mBAAmB,CAAC,MAAM,CAAC,MAAM;IACzC,MAAM,EAAE,mBAAmB,CAAC,MAAM,CAAC,MAAM;IACzC,QAAQ,EAAE,mBAAmB,CAAC,MAAM,CAAC,QAAQ;IAC7C,OAAO,EAAE,mBAAmB,CAAC,MAAM,CAAC,OAAO;IAC3C,KAAK,EAAE,mBAAmB,CAAC,MAAM,CAAC,KAAK;IACvC,WAAW,EAAE,mBAAmB,CAAC,MAAM,CAAC,WAAW;IACnD,QAAQ,EAAE,mBAAmB,CAAC,MAAM,CAAC,QAAQ;IAC7C,YAAY,EAAE,mBAAmB,CAAC,MAAM,CAAC,YAAY;IACrD,UAAU,EAAE,mBAAmB,CAAC,MAAM,CAAC,UAAU;CAClD,CAAC,CAAA;AAIF,MAAM,kCAAkC,GAAG,MAAM,CAAC,MAAM,CAAC;IACvD,OAAO,EAAE,2BAA2B,CAAC,MAAM,CAAC,OAAO;CACpD,CAAC,CAAA;AAOF,MAAM,CAAC,MAAM,iCAAiC,GAAG,MAAM,CAAC,aAAa,CAAC,2BAA2B,CAAC,CAAA;AAClG,MAAM,CAAC,MAAM,gCAAgC,GAAG,MAAM,CAAC,aAAa,CAAC,mBAAmB,CAAC,CAAA;AACzF,MAAM,CAAC,MAAM,6BAA6B,GAAG,MAAM,CAAC,aAAa,CAAC,mBAAmB,CAAC,MAAM,CAAC,WAAW,CAAC,CAAA;AACzG,MAAM,CAAC,MAAM,uBAAuB,GAAG,MAAM,CAAC,MAAM,CAAC;IACnD,OAAO,EAAE,mBAAmB;IAC5B,OAAO,EAAE,mBAAmB,CAAC,MAAM,CAAC,WAAW;CAChD,CAAC,CAAA;AAEF,6FAA6F;AAC7F,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,OAA8B,EAC9B,WAAkC,EACzB,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAA;AAE7E,mFAAmF;AACnF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,KAAmC,EACE,EAAE;IACvC,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,kCAAkC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QACzF,MAAM,OAAO,GAAG,MAAM,CAAC,mBAAmB,CAAC,mBAAmB,CAAC,CAAC,KAAK,CAAC,CAAA;QACtE,OAAO,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC;YAC9B,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC,OAAO,EAAE;YAC7C,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC,OAAO,EAAE,CAAA;IACjD,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,mBAAmB,CAAC,2BAA2B,CAAC,CAAC,KAAK,CAAC,CAAA;IAC9E,OAAO,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC;QAC9B,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC,OAAO,EAAE;QAC7C,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,OAAO,EAAE,CAAA;AAClD,CAAC,CAAA;AAED,oGAAoG;AACpG,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,QAAqC,EACrC,gBAAwB,EACC,EAAE;IAC3B,OAAO,MAAM,CAAC,iBAAiB,CAAC,mBAAmB,CAAC,CAAC;QACnD,GAAG,QAAQ;QACX,YAAY,EAAE,QAAQ,CAAC,OAAO;QAC9B,gBAAgB;QAChB,OAAO,EAAE,wBAAwB;KAClC,CAAC,CAAA;AACJ,CAAC,CAAA"}

package/dist/internal/history-validation.d.ts

@@ -0,0 +1,5 @@
+import { WorkProjectionError } from "../errors.js";
+import type { WorkGoalCheckpoint } from "../model.js";
+/** Checks invariants spanning the complete decoded Work checkpoint history. */
+export declare const workHistoryError: (events: ReadonlyArray<WorkGoalCheckpoint>) => WorkProjectionError | undefined;
+//# sourceMappingURL=history-validation.d.ts.map

package/dist/internal/history-validation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"history-validation.d.ts","sourceRoot":"","sources":["../../src/internal/history-validation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAA;AAElD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAA;AAQrD,+EAA+E;AAC/E,eAAO,MAAM,gBAAgB,WACnB,aAAa,CAAC,kBAAkB,CAAC,KACxC,mBAAmB,GAAG,SAuCxB,CAAA"}

package/dist/internal/history-validation.js

@@ -0,0 +1,33 @@
+import { WorkProjectionError } from "../errors.js";
+import { validateGoalFamilyHistory } from "../goal-family.js";
+const projectionError = (reason, detail, cause) => new WorkProjectionError({ cause, detail, reason });
+/** Checks invariants spanning the complete decoded Work checkpoint history. */
+export const workHistoryError = (events) => {
+    const eventIds = new Set();
+    const goalTimes = new Set();
+    const createdAt = new Map();
+    const ordered = events.toSorted((left, right) => left.occurredAt - right.occurredAt);
+    for (const event of ordered) {
+        if (eventIds.has(event.eventId)) {
+            return projectionError("duplicate_event", `work event ${event.eventId} occurs more than once`, event);
+        }
+        eventIds.add(event.eventId);
+        const timeKey = `${event.goal.id}\u0000${event.occurredAt}`;
+        if (goalTimes.has(timeKey)) {
+            return projectionError("ambiguous_checkpoint", `goal ${event.goal.id} has more than one checkpoint at ${event.occurredAt}`, event);
+        }
+        goalTimes.add(timeKey);
+        const firstCreatedAt = createdAt.get(event.goal.id);
+        if (firstCreatedAt !== undefined && firstCreatedAt !== event.goal.createdAt) {
+            return projectionError("inconsistent_history", `goal ${event.goal.id} changed its creation timestamp`, event);
+        }
+        createdAt.set(event.goal.id, event.goal.createdAt);
+    }
+    for (const [goalId, timestamp] of createdAt) {
+        if (!events.some((event) => event.goal.id === goalId && event.occurredAt === timestamp)) {
+            return projectionError("inconsistent_history", `goal ${goalId} has no checkpoint at its creation timestamp`, { goalId, timestamp });
+        }
+    }
+    return validateGoalFamilyHistory(events);
+};
+//# sourceMappingURL=history-validation.js.map

package/dist/internal/history-validation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"history-validation.js","sourceRoot":"","sources":["../../src/internal/history-validation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAA;AAClD,OAAO,EAAE,yBAAyB,EAAE,MAAM,mBAAmB,CAAA;AAG7D,MAAM,eAAe,GAAG,CACtB,MAAqC,EACrC,MAAc,EACd,KAAc,EACd,EAAE,CAAC,IAAI,mBAAmB,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAA;AAEvD,+EAA+E;AAC/E,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,MAAyC,EACR,EAAE;IACnC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAA;IAClC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAA;IACnC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAA;IAC3C,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC,CAAA;IACpF,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YAChC,OAAO,eAAe,CAAC,iBAAiB,EAAE,cAAc,KAAK,CAAC,OAAO,wBAAwB,EAAE,KAAK,CAAC,CAAA;QACvG,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;QAC3B,MAAM,OAAO,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,SAAS,KAAK,CAAC,UAAU,EAAE,CAAA;QAC3D,IAAI,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3B,OAAO,eAAe,CACpB,sBAAsB,EACtB,QAAQ,KAAK,CAAC,IAAI,CAAC,EAAE,oCAAoC,KAAK,CAAC,UAAU,EAAE,EAC3E,KAAK,CACN,CAAA;QACH,CAAC;QACD,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;QACtB,MAAM,cAAc,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QACnD,IAAI,cAAc,KAAK,SAAS,IAAI,cAAc,KAAK,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;YAC5E,OAAO,eAAe,CACpB,sBAAsB,EACtB,QAAQ,KAAK,CAAC,IAAI,CAAC,EAAE,iCAAiC,EACtD,KAAK,CACN,CAAA;QACH,CAAC;QACD,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;IACpD,CAAC;IACD,KAAK,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,IAAI,SAAS,EAAE,CAAC;QAC5C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,MAAM,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS,CAAC,EAAE,CAAC;YACxF,OAAO,eAAe,CACpB,sBAAsB,EACtB,QAAQ,MAAM,8CAA8C,EAC5D,EAAE,MAAM,EAAE,SAAS,EAAE,CACtB,CAAA;QACH,CAAC;IACH,CAAC;IACD,OAAO,yBAAyB,CAAC,MAAM,CAAC,CAAA;AAC1C,CAAC,CAAA"}