@graphrefly/ts 0.0.0 → 0.0.2

package/dist/solutions/work-item/scheduling.js

@@ -0,0 +1,146 @@
+import {
+  DEFAULT_WORK_ITEM_LINK_TYPE_CATALOG_SEED,
+  DEFAULT_WORK_ITEM_TYPE_CATALOG_SEED,
+  acceptanceCriteriaChanged,
+  assertWorkspaceProposalDataOnly,
+  decideWorkspaceProposalAdmission,
+  draftPatchKeys,
+  executionRelevantDefaults,
+  isWorkspaceProposalProjectionReleaseMaterial,
+  prepareWorkspaceProposalRepairReviewDecisionRecordingInput,
+  prepareWorkspaceProposalRepairSuccessorProposalReadyRequest,
+  previewWorkspaceProposalRepairSuccessorProposalIntake,
+  projectWorkspaceProposalApplicationStatus,
+  projectWorkspaceProposalDomainActionApplicationStatus,
+  projectWorkspaceProposalFamilyApplicationDiagnostics,
+  projectWorkspaceProposalFamilyApplicationReadModel,
+  projectWorkspaceProposalFamilyApplicationReadModels,
+  projectWorkspaceProposalFamilyOutcomeDetailSupplyResult,
+  projectWorkspaceProposalFamilyOutcomeDetailSupplyResults,
+  projectWorkspaceProposalFamilyOutcomeIndex,
+  projectWorkspaceProposalRepairActionDescriptors,
+  projectWorkspaceProposalRepairActionDisplayPolicyAdvisory,
+  projectWorkspaceProposalRepairReviewDecisionRecordings,
+  projectWorkspaceProposalRepairReviewRequests,
+  projectWorkspaceProposalRepairReviewStatuses,
+  projectWorkspaceProposalRepairSuccessorProposalIntakePreview,
+  projectWorkspaceProposalRequiredInputResponseApplication,
+  projectWorkspaceProposalWorkItemLinkApplication,
+  projectWorkspaceProposalWorkItemSpawnApplication,
+  recordWorkspaceProposal,
+  recordWorkspaceProposalDomainActionOutcome,
+  recordWorkspaceProposalRepairReviewDecision,
+  recordWorkspaceProposalRequiredInputResponseOutcome,
+  recordWorkspaceProposalWorkItemLinkOutcome,
+  recordWorkspaceProposalWorkItemSpawnOutcome,
+  validateAcceptanceCriteria,
+  validateVerificationPlan,
+  validateWorkItemDraft,
+  validateWorkItemEffectPlan,
+  validateWorkspaceProposalApplicationEnvelope,
+  validateWorkspaceProposalProjectionReleaseMaterial,
+  validateWorkspaceProposalRepairActionDisplayPolicyAdvisory,
+  validateWorkspaceProposalRepairActionIntent,
+  verificationPlanChanged,
+  workItemAuthoringProjector,
+  workItemCreatedFromDraft,
+  workItemEffectPlanProjector,
+  workItemSpawnProposed,
+  workItemVerificationRequestLowerer,
+  workItemVerificationResultMapper,
+  workspaceProposalApplicationFamilyRef,
+  workspaceProposalDataOnlyIssues,
+  workspaceProposalDomainActionApplicationProjector,
+  workspaceProposalFamilyApplicationDiagnosticProjector,
+  workspaceProposalFamilyApplicationReadModelProjector,
+  workspaceProposalFamilyApplicationReadModelsProjector,
+  workspaceProposalFamilyOutcomeDetailSupplyProjector,
+  workspaceProposalFamilyOutcomeRef,
+  workspaceProposalProjectionReleaseDiagnosticProjector,
+  workspaceProposalRepairActionDescriptorProjector,
+  workspaceProposalRepairActionDisplayPolicyAdvisoryProjector,
+  workspaceProposalRepairActionIntentProjector,
+  workspaceProposalRepairReviewDecisionRecordingProjector,
+  workspaceProposalRepairReviewProjector,
+  workspaceProposalRepairReviewStatusProjector,
+  workspaceProposalRepairSuccessorProposalIntakePreviewProjector,
+  workspaceProposalRepairSuccessorProposalReadyRequestPreparationProjector,
+  workspaceProposalRequiredInputResponseApplicationProjector,
+  workspaceProposalWorkItemLinkApplicationProjector,
+  workspaceProposalWorkItemSpawnApplicationProjector
+} from "../../chunk-2KUAG2GZ.js";
+import "../../chunk-WQIA3GFB.js";
+import "../../chunk-S6HXABGL.js";
+import "../../chunk-DGUM43GV.js";
+export {
+  DEFAULT_WORK_ITEM_LINK_TYPE_CATALOG_SEED,
+  DEFAULT_WORK_ITEM_TYPE_CATALOG_SEED,
+  acceptanceCriteriaChanged,
+  assertWorkspaceProposalDataOnly,
+  decideWorkspaceProposalAdmission,
+  draftPatchKeys,
+  executionRelevantDefaults,
+  isWorkspaceProposalProjectionReleaseMaterial,
+  prepareWorkspaceProposalRepairReviewDecisionRecordingInput,
+  prepareWorkspaceProposalRepairSuccessorProposalReadyRequest,
+  previewWorkspaceProposalRepairSuccessorProposalIntake,
+  projectWorkspaceProposalApplicationStatus,
+  projectWorkspaceProposalDomainActionApplicationStatus,
+  projectWorkspaceProposalFamilyApplicationDiagnostics,
+  projectWorkspaceProposalFamilyApplicationReadModel,
+  projectWorkspaceProposalFamilyApplicationReadModels,
+  projectWorkspaceProposalFamilyOutcomeDetailSupplyResult,
+  projectWorkspaceProposalFamilyOutcomeDetailSupplyResults,
+  projectWorkspaceProposalFamilyOutcomeIndex,
+  projectWorkspaceProposalRepairActionDescriptors,
+  projectWorkspaceProposalRepairActionDisplayPolicyAdvisory,
+  projectWorkspaceProposalRepairReviewDecisionRecordings,
+  projectWorkspaceProposalRepairReviewRequests,
+  projectWorkspaceProposalRepairReviewStatuses,
+  projectWorkspaceProposalRepairSuccessorProposalIntakePreview,
+  projectWorkspaceProposalRequiredInputResponseApplication,
+  projectWorkspaceProposalWorkItemLinkApplication,
+  projectWorkspaceProposalWorkItemSpawnApplication,
+  recordWorkspaceProposal,
+  recordWorkspaceProposalDomainActionOutcome,
+  recordWorkspaceProposalRepairReviewDecision,
+  recordWorkspaceProposalRequiredInputResponseOutcome,
+  recordWorkspaceProposalWorkItemLinkOutcome,
+  recordWorkspaceProposalWorkItemSpawnOutcome,
+  validateAcceptanceCriteria,
+  validateVerificationPlan,
+  validateWorkItemDraft,
+  validateWorkItemEffectPlan,
+  validateWorkspaceProposalApplicationEnvelope,
+  validateWorkspaceProposalProjectionReleaseMaterial,
+  validateWorkspaceProposalRepairActionDisplayPolicyAdvisory,
+  validateWorkspaceProposalRepairActionIntent,
+  verificationPlanChanged,
+  workItemAuthoringProjector,
+  workItemCreatedFromDraft,
+  workItemEffectPlanProjector,
+  workItemSpawnProposed,
+  workItemVerificationRequestLowerer,
+  workItemVerificationResultMapper,
+  workspaceProposalApplicationFamilyRef,
+  workspaceProposalDataOnlyIssues,
+  workspaceProposalDomainActionApplicationProjector,
+  workspaceProposalFamilyApplicationDiagnosticProjector,
+  workspaceProposalFamilyApplicationReadModelProjector,
+  workspaceProposalFamilyApplicationReadModelsProjector,
+  workspaceProposalFamilyOutcomeDetailSupplyProjector,
+  workspaceProposalFamilyOutcomeRef,
+  workspaceProposalProjectionReleaseDiagnosticProjector,
+  workspaceProposalRepairActionDescriptorProjector,
+  workspaceProposalRepairActionDisplayPolicyAdvisoryProjector,
+  workspaceProposalRepairActionIntentProjector,
+  workspaceProposalRepairReviewDecisionRecordingProjector,
+  workspaceProposalRepairReviewProjector,
+  workspaceProposalRepairReviewStatusProjector,
+  workspaceProposalRepairSuccessorProposalIntakePreviewProjector,
+  workspaceProposalRepairSuccessorProposalReadyRequestPreparationProjector,
+  workspaceProposalRequiredInputResponseApplicationProjector,
+  workspaceProposalWorkItemLinkApplicationProjector,
+  workspaceProposalWorkItemSpawnApplicationProjector
+};
+//# sourceMappingURL=scheduling.js.map

package/dist/solutions/work-item/scheduling.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":[],"sourcesContent":[],"mappings":"","names":[]}

package/dist/solutions/work-item/work-queue.cjs

@@ -0,0 +1,306 @@
+"use strict";
+var __defProp = Object.defineProperty;
+var __getOwnPropDesc = Object.getOwnPropertyDescriptor;
+var __getOwnPropNames = Object.getOwnPropertyNames;
+var __hasOwnProp = Object.prototype.hasOwnProperty;
+var __export = (target, all) => {
+  for (var name in all)
+    __defProp(target, name, { get: all[name], enumerable: true });
+};
+var __copyProps = (to, from, except, desc) => {
+  if (from && typeof from === "object" || typeof from === "function") {
+    for (let key of __getOwnPropNames(from))
+      if (!__hasOwnProp.call(to, key) && key !== except)
+        __defProp(to, key, { get: () => from[key], enumerable: !(desc = __getOwnPropDesc(from, key)) || desc.enumerable });
+  }
+  return to;
+};
+var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
+
+// src/solutions/work-item/work-queue.ts
+var work_queue_exports = {};
+__export(work_queue_exports, {
+  workItemSubmitCommand: () => workItemSubmitCommand,
+  workItemWorkQueueRecipe: () => workItemWorkQueueRecipe
+});
+module.exports = __toCommonJS(work_queue_exports);
+
+// src/protocol/messages.ts
+var SENTINEL = void 0;
+
+// src/ctx/types.ts
+function depWaves(ctx, depIndex) {
+  return ctx.waveData[depIndex] ?? [];
+}
+function depBatch(ctx, depIndex) {
+  const waves = depWaves(ctx, depIndex);
+  if (waves.length === 0) return null;
+  const flattened = waves.flat().filter((v) => v !== SENTINEL);
+  return flattened.length === 0 ? [] : flattened;
+}
+
+// src/solutions/work-item/work-queue.ts
+var DEFAULT_EVIDENCE_RECORDS = [
+  "work-completed",
+  "work-canceled",
+  "work-dead-lettered"
+];
+function workItemWorkQueueRecipe(graph, opts) {
+  const name = opts.name ?? "workItemWorkQueue";
+  const submitCommands = graph.node(
+    [opts.effectRequests],
+    (ctx) => {
+      for (const raw of depBatch(ctx, 0) ?? []) {
+        const request = raw;
+        ctx.down([["DATA", workItemSubmitCommand(request, opts.policy)]]);
+      }
+    },
+    { name: `${name}/submitCommands`, factory: "workItemWorkQueueSubmitCommands" }
+  );
+  const runtime = graph.node(
+    [opts.records],
+    (ctx) => {
+      const state = ctx.state.get() ?? emptyState();
+      const evidenceKinds = new Set(opts.policy?.evidenceStatuses ?? DEFAULT_EVIDENCE_RECORDS);
+      for (const raw of depBatch(ctx, 0) ?? []) {
+        const record = raw;
+        if (record.kind === "work-admitted") {
+          state.payloads.set(record.workId, record.payload);
+          continue;
+        }
+        if (!evidenceKinds.has(record.kind)) continue;
+        const key = `${record.kind}:${record.recordSeq}`;
+        if (state.terminalRecords.has(key)) continue;
+        state.terminalRecords.add(key);
+        const payload = "workId" in record ? state.payloads.get(record.workId ?? "") : void 0;
+        if (payload === void 0) {
+          emitIssue(ctx, state, record, "work-item-queue-record-without-payload");
+          continue;
+        }
+        const evidence = evidenceFromRecord(record, payload);
+        emitFact(ctx, { kind: "evidence", evidence });
+        emitStatus(ctx, state, payload, record, evidence.evidenceId, "evidence-recorded");
+        emitAudit(ctx, state, record, payload, "mapped");
+      }
+      ctx.state.set(state);
+    },
+    {
+      name: `${name}/runtime`,
+      factory: "workItemWorkQueueEvidenceProjector",
+      partial: true,
+      completeWhenDepsComplete: false,
+      errorWhenDepsError: false
+    }
+  );
+  return {
+    submitCommands,
+    evidence: project(
+      graph,
+      runtime,
+      `${name}/evidence`,
+      "workItemWorkQueueEvidence",
+      (fact) => fact.kind === "evidence" ? fact.evidence : void 0
+    ),
+    status: project(
+      graph,
+      runtime,
+      `${name}/status`,
+      "workItemWorkQueueStatus",
+      (fact) => fact.kind === "status" ? fact.status : void 0
+    ),
+    issues: project(
+      graph,
+      runtime,
+      `${name}/issues`,
+      "workItemWorkQueueIssues",
+      (fact) => fact.kind === "issue" ? fact.issue : void 0
+    ),
+    audit: project(
+      graph,
+      runtime,
+      `${name}/audit`,
+      "workItemWorkQueueAudit",
+      (fact) => fact.kind === "audit" ? fact.audit : void 0
+    )
+  };
+}
+function workItemSubmitCommand(request, policy) {
+  const payloadExtra = policy?.payload?.(request) ?? {};
+  const submit = policy?.submit?.(request) ?? {};
+  const payload = {
+    ...payloadExtra,
+    kind: "work-item-queued-work",
+    workItemId: request.workItemId,
+    effectRunId: request.effectRunId,
+    requestId: request.requestId,
+    effectKind: request.effectKind,
+    executionInputRevision: request.executionInputRevision,
+    planId: request.planId,
+    planMemberId: request.planMemberId,
+    policyRefs: request.policyRefs,
+    sourceRefs: request.sourceRefs,
+    idempotencyKey: request.idempotencyKey,
+    metadata: request.metadata
+  };
+  return {
+    kind: "submit",
+    commandId: `${request.requestId}:work-queue-submit`,
+    payload,
+    workId: submit.workId ?? `${request.workItemId}:${request.effectRunId}`,
+    priority: submit.priority,
+    tags: submit.tags ?? ["work-item", request.effectKind],
+    requirements: submit.requirements,
+    notBeforeMs: submit.notBeforeMs,
+    deadlineMs: submit.deadlineMs,
+    idempotencyKey: request.idempotencyKey ?? request.requestId,
+    sourceRefs: stringRefs(request.sourceRefs),
+    policyRefs: stringRefs(request.policyRefs)
+  };
+}
+function evidenceFromRecord(record, payload) {
+  const status = evidenceStatus(record);
+  const base = {
+    kind: "work-item-evidence-recorded",
+    evidenceId: `work-queue:${record.recordSeq}`,
+    workItemId: payload.workItemId,
+    requestId: payload.requestId,
+    effectRunId: payload.effectRunId,
+    effectRunResultId: `work-queue:${record.workId ?? payload.effectRunId}:${record.recordSeq}`,
+    executionInputRevision: payload.executionInputRevision,
+    planId: payload.planId,
+    planMemberId: payload.planMemberId,
+    status,
+    sourceRefs: [...payload.sourceRefs ?? [], ref("work-queue-record", String(record.recordSeq))],
+    recordedAtMs: record.recordedAtMs,
+    metadata: {
+      ...payload.metadata ?? {},
+      requestId: payload.requestId,
+      ...payload.executionInputRevision === void 0 ? {} : { executionInputRevision: payload.executionInputRevision },
+      ...payload.planId === void 0 ? {} : { planId: payload.planId },
+      ...payload.planMemberId === void 0 ? {} : { planMemberId: payload.planMemberId },
+      queueRecordKind: record.kind,
+      workId: record.workId
+    }
+  };
+  if (record.kind === "work-completed" || record.kind === "attempt-completed") {
+    return {
+      ...base,
+      output: {
+        kind: "work-queue-completion",
+        value: record.result,
+        refs: [ref("work-queue-record", String(record.recordSeq))]
+      }
+    };
+  }
+  return {
+    ...base,
+    error: queueIssue(record, `WorkQueue record '${record.kind}' mapped to WorkItem evidence`),
+    reason: "reason" in record ? record.reason : void 0
+  };
+}
+function evidenceStatus(record) {
+  if (record.kind === "work-completed" || record.kind === "attempt-completed") return "completed";
+  if (record.kind === "work-canceled") return "canceled";
+  return "failed";
+}
+function emitStatus(ctx, state, payload, record, evidenceId, statusState) {
+  state.statusSeq += 1;
+  emitFact(ctx, {
+    kind: "status",
+    status: {
+      kind: "work-item-status",
+      statusId: `work-item-work-queue-status:${state.statusSeq}`,
+      workItemId: payload.workItemId,
+      state: statusState,
+      effectRunId: payload.effectRunId,
+      requestId: payload.requestId,
+      evidenceId,
+      sourceRefs: [
+        ref("work-queue-record", String(record.recordSeq)),
+        ...payload.sourceRefs ?? []
+      ],
+      metadata: { queueRecordKind: record.kind, workId: record.workId }
+    }
+  });
+}
+function emitIssue(ctx, state, record, code) {
+  const issue = queueIssue(
+    record,
+    `WorkQueue record '${record.kind}' has no admitted WorkItem payload`
+  );
+  emitFact(ctx, { kind: "issue", issue: { ...issue, code } });
+  state.statusSeq += 1;
+  emitFact(ctx, {
+    kind: "status",
+    status: {
+      kind: "work-item-status",
+      statusId: `work-item-work-queue-status:${state.statusSeq}`,
+      workItemId: record.workId ?? "unknown",
+      state: "mapping-issue",
+      issues: [{ ...issue, code }],
+      sourceRefs: [ref("work-queue-record", String(record.recordSeq))]
+    }
+  });
+}
+function emitAudit(ctx, state, record, payload, outcome) {
+  state.auditSeq += 1;
+  emitFact(ctx, {
+    kind: "audit",
+    audit: {
+      id: `work-item-work-queue-audit:${state.auditSeq}`,
+      kind: "work-item-work-queue-record",
+      subjectId: payload.workItemId,
+      message: `WorkQueue record '${record.kind}' ${outcome} as WorkItem evidence`,
+      sourceRefs: [
+        ref("work-item", payload.workItemId),
+        ref("effect-run", payload.effectRunId),
+        ref("work-queue-record", String(record.recordSeq))
+      ],
+      metadata: { queueRecordKind: record.kind, workId: record.workId }
+    }
+  });
+}
+function project(graph, runtime, name, factory, select) {
+  return graph.node(
+    [runtime],
+    (ctx) => {
+      for (const raw of depBatch(ctx, 0) ?? []) {
+        const selected = select(raw);
+        if (selected !== void 0) ctx.down([["DATA", selected]]);
+      }
+    },
+    { name, factory, partial: true, completeWhenDepsComplete: false, errorWhenDepsError: false }
+  );
+}
+function emitFact(ctx, fact) {
+  ctx.down([["DATA", fact]]);
+}
+function queueIssue(record, message) {
+  return {
+    kind: "issue",
+    code: `work-item-${record.kind}`,
+    message,
+    refs: [`work-queue-record:${record.recordSeq}`],
+    metadata: { queueRecordKind: record.kind, workId: record.workId }
+  };
+}
+function emptyState() {
+  return {
+    payloads: /* @__PURE__ */ new Map(),
+    terminalRecords: /* @__PURE__ */ new Set(),
+    statusSeq: 0,
+    auditSeq: 0
+  };
+}
+function ref(kind, id) {
+  return { kind, id };
+}
+function stringRefs(refs) {
+  return refs?.map((sourceRef) => `${sourceRef.kind}:${sourceRef.id}`);
+}
+// Annotate the CommonJS export names for ESM import in node:
+0 && (module.exports = {
+  workItemSubmitCommand,
+  workItemWorkQueueRecipe
+});
+//# sourceMappingURL=work-queue.cjs.map

package/dist/solutions/work-item/work-queue.cjs.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../../src/solutions/work-item/work-queue.ts","../../../src/protocol/messages.ts","../../../src/ctx/types.ts"],"sourcesContent":["/**\n * WorkItem-over-workQueue recipe facts (D327/D331).\n *\n * This solution-layer recipe maps WorkItem effect facts to queue submit command facts and maps\n * terminal queue records back to WorkItem evidence/status. It does not mutate WorkItems or bypass\n * the generic workQueue admission path.\n */\n\nimport { type Ctx, depBatch } from \"../../ctx/types.js\";\nimport type { DataIssue } from \"../../data/index.js\";\nimport type { Graph } from \"../../graph/graph.js\";\nimport type { Node } from \"../../node/node.js\";\nimport type {\n\tAgentOutputEnvelope,\n\tAgentRuntimeAuditRecord,\n\tEffectRunResultStatus,\n\tSourceRef,\n} from \"../../orchestration/agent-runtime.js\";\nimport type {\n\tWorkItemEffectRequested,\n\tWorkItemEvidenceRecorded,\n\tWorkItemStatusRecord,\n} from \"../../orchestration/work-item-runtime.js\";\nimport type { WorkQueueCommand, WorkQueueRecord } from \"../../work-queue/index.js\";\n\nexport interface WorkItemQueuedWorkPayload {\n\treadonly kind: \"work-item-queued-work\";\n\treadonly workItemId: string;\n\treadonly effectRunId: string;\n\treadonly requestId: string;\n\treadonly effectKind: string;\n\treadonly executionInputRevision?: number;\n\treadonly planId?: string;\n\treadonly planMemberId?: string;\n\treadonly requestedActionKind?: string;\n\treadonly sourceEventId?: string;\n\treadonly sourceDecisionId?: string;\n\treadonly policyRefs?: readonly SourceRef[];\n\treadonly sourceRefs?: readonly SourceRef[];\n\treadonly contextRefs?: readonly SourceRef[];\n\treadonly artifactRefs?: readonly SourceRef[];\n\treadonly idempotencyKey?: string;\n\treadonly metadata?: Record<string, unknown>;\n}\n\nexport type WorkItemQueuedWorkPayloadExtra = Partial<\n\tOmit<\n\t\tWorkItemQueuedWorkPayload,\n\t\t\"kind\" | \"workItemId\" | \"effectRunId\" | \"requestId\" | \"effectKind\"\n\t>\n>;\n\nexport interface WorkItemWorkQueueSubmitOptions {\n\treadonly workId?: string;\n\treadonly priority?: number;\n\treadonly tags?: readonly string[];\n\treadonly requirements?: readonly string[];\n\treadonly notBeforeMs?: number;\n\treadonly deadlineMs?: number;\n}\n\nexport interface WorkItemWorkQueuePolicy {\n\treadonly policyId?: string;\n\treadonly submit?: (request: WorkItemEffectRequested) => WorkItemWorkQueueSubmitOptions;\n\treadonly payload?: (request: WorkItemEffectRequested) => WorkItemQueuedWorkPayloadExtra;\n\treadonly evidenceStatuses?: readonly WorkQueueRecord[\"kind\"][];\n}\n\nexport interface WorkItemWorkQueueRecipeOptions {\n\treadonly name?: string;\n\treadonly effectRequests: Node<WorkItemEffectRequested>;\n\treadonly records: Node<WorkQueueRecord<WorkItemQueuedWorkPayload>>;\n\treadonly policy?: WorkItemWorkQueuePolicy;\n}\n\nexport interface WorkItemWorkQueueRecipeBundle {\n\treadonly submitCommands: Node<WorkQueueCommand<WorkItemQueuedWorkPayload>>;\n\treadonly evidence: Node<WorkItemEvidenceRecorded>;\n\treadonly status: Node<WorkItemStatusRecord>;\n\treadonly issues: Node<DataIssue>;\n\treadonly audit: Node<AgentRuntimeAuditRecord>;\n}\n\ntype WorkItemQueueFact =\n\t| { readonly kind: \"evidence\"; readonly evidence: WorkItemEvidenceRecorded }\n\t| { readonly kind: \"status\"; readonly status: WorkItemStatusRecord }\n\t| { readonly kind: \"issue\"; readonly issue: DataIssue }\n\t| { readonly kind: \"audit\"; readonly audit: AgentRuntimeAuditRecord };\n\ninterface WorkItemQueueState {\n\treadonly payloads: Map<string, WorkItemQueuedWorkPayload>;\n\treadonly terminalRecords: Set<string>;\n\tstatusSeq: number;\n\tauditSeq: number;\n}\n\nconst DEFAULT_EVIDENCE_RECORDS: readonly WorkQueueRecord[\"kind\"][] = [\n\t\"work-completed\",\n\t\"work-canceled\",\n\t\"work-dead-lettered\",\n];\n\nexport function workItemWorkQueueRecipe(\n\tgraph: Graph,\n\topts: WorkItemWorkQueueRecipeOptions,\n): WorkItemWorkQueueRecipeBundle {\n\tconst name = opts.name ?? \"workItemWorkQueue\";\n\tconst submitCommands = graph.node<WorkQueueCommand<WorkItemQueuedWorkPayload>>(\n\t\t[opts.effectRequests],\n\t\t(ctx) => {\n\t\t\tfor (const raw of depBatch(ctx, 0) ?? []) {\n\t\t\t\tconst request = raw as WorkItemEffectRequested;\n\t\t\t\tctx.down([[\"DATA\", workItemSubmitCommand(request, opts.policy)]]);\n\t\t\t}\n\t\t},\n\t\t{ name: `${name}/submitCommands`, factory: \"workItemWorkQueueSubmitCommands\" },\n\t);\n\tconst runtime = graph.node<WorkItemQueueFact>(\n\t\t[opts.records],\n\t\t(ctx) => {\n\t\t\tconst state = ctx.state.get<WorkItemQueueState>() ?? emptyState();\n\t\t\tconst evidenceKinds = new Set(opts.policy?.evidenceStatuses ?? DEFAULT_EVIDENCE_RECORDS);\n\t\t\tfor (const raw of depBatch(ctx, 0) ?? []) {\n\t\t\t\tconst record = raw as WorkQueueRecord<WorkItemQueuedWorkPayload>;\n\t\t\t\tif (record.kind === \"work-admitted\") {\n\t\t\t\t\tstate.payloads.set(record.workId, record.payload);\n\t\t\t\t\tcontinue;\n\t\t\t\t}\n\t\t\t\tif (!evidenceKinds.has(record.kind)) continue;\n\t\t\t\tconst key = `${record.kind}:${record.recordSeq}`;\n\t\t\t\tif (state.terminalRecords.has(key)) continue;\n\t\t\t\tstate.terminalRecords.add(key);\n\t\t\t\tconst payload = \"workId\" in record ? state.payloads.get(record.workId ?? \"\") : undefined;\n\t\t\t\tif (payload === undefined) {\n\t\t\t\t\temitIssue(ctx, state, record, \"work-item-queue-record-without-payload\");\n\t\t\t\t\tcontinue;\n\t\t\t\t}\n\t\t\t\tconst evidence = evidenceFromRecord(record, payload);\n\t\t\t\temitFact(ctx, { kind: \"evidence\", evidence });\n\t\t\t\temitStatus(ctx, state, payload, record, evidence.evidenceId, \"evidence-recorded\");\n\t\t\t\temitAudit(ctx, state, record, payload, \"mapped\");\n\t\t\t}\n\t\t\tctx.state.set(state);\n\t\t},\n\t\t{\n\t\t\tname: `${name}/runtime`,\n\t\t\tfactory: \"workItemWorkQueueEvidenceProjector\",\n\t\t\tpartial: true,\n\t\t\tcompleteWhenDepsComplete: false,\n\t\t\terrorWhenDepsError: false,\n\t\t},\n\t);\n\treturn {\n\t\tsubmitCommands,\n\t\tevidence: project(graph, runtime, `${name}/evidence`, \"workItemWorkQueueEvidence\", (fact) =>\n\t\t\tfact.kind === \"evidence\" ? fact.evidence : undefined,\n\t\t),\n\t\tstatus: project(graph, runtime, `${name}/status`, \"workItemWorkQueueStatus\", (fact) =>\n\t\t\tfact.kind === \"status\" ? fact.status : undefined,\n\t\t),\n\t\tissues: project(graph, runtime, `${name}/issues`, \"workItemWorkQueueIssues\", (fact) =>\n\t\t\tfact.kind === \"issue\" ? fact.issue : undefined,\n\t\t),\n\t\taudit: project(graph, runtime, `${name}/audit`, \"workItemWorkQueueAudit\", (fact) =>\n\t\t\tfact.kind === \"audit\" ? fact.audit : undefined,\n\t\t),\n\t};\n}\n\nexport function workItemSubmitCommand(\n\trequest: WorkItemEffectRequested,\n\tpolicy?: WorkItemWorkQueuePolicy,\n): WorkQueueCommand<WorkItemQueuedWorkPayload> {\n\tconst payloadExtra = policy?.payload?.(request) ?? {};\n\tconst submit = policy?.submit?.(request) ?? {};\n\tconst payload: WorkItemQueuedWorkPayload = {\n\t\t...payloadExtra,\n\t\tkind: \"work-item-queued-work\",\n\t\tworkItemId: request.workItemId,\n\t\teffectRunId: request.effectRunId,\n\t\trequestId: request.requestId,\n\t\teffectKind: request.effectKind,\n\t\texecutionInputRevision: request.executionInputRevision,\n\t\tplanId: request.planId,\n\t\tplanMemberId: request.planMemberId,\n\t\tpolicyRefs: request.policyRefs,\n\t\tsourceRefs: request.sourceRefs,\n\t\tidempotencyKey: request.idempotencyKey,\n\t\tmetadata: request.metadata,\n\t};\n\treturn {\n\t\tkind: \"submit\",\n\t\tcommandId: `${request.requestId}:work-queue-submit`,\n\t\tpayload,\n\t\tworkId: submit.workId ?? `${request.workItemId}:${request.effectRunId}`,\n\t\tpriority: submit.priority,\n\t\ttags: submit.tags ?? [\"work-item\", request.effectKind],\n\t\trequirements: submit.requirements,\n\t\tnotBeforeMs: submit.notBeforeMs,\n\t\tdeadlineMs: submit.deadlineMs,\n\t\tidempotencyKey: request.idempotencyKey ?? request.requestId,\n\t\tsourceRefs: stringRefs(request.sourceRefs),\n\t\tpolicyRefs: stringRefs(request.policyRefs),\n\t};\n}\n\nfunction evidenceFromRecord(\n\trecord: WorkQueueRecord<WorkItemQueuedWorkPayload>,\n\tpayload: WorkItemQueuedWorkPayload,\n): WorkItemEvidenceRecorded {\n\tconst status = evidenceStatus(record);\n\tconst base = {\n\t\tkind: \"work-item-evidence-recorded\" as const,\n\t\tevidenceId: `work-queue:${record.recordSeq}`,\n\t\tworkItemId: payload.workItemId,\n\t\trequestId: payload.requestId,\n\t\teffectRunId: payload.effectRunId,\n\t\teffectRunResultId: `work-queue:${record.workId ?? payload.effectRunId}:${record.recordSeq}`,\n\t\texecutionInputRevision: payload.executionInputRevision,\n\t\tplanId: payload.planId,\n\t\tplanMemberId: payload.planMemberId,\n\t\tstatus,\n\t\tsourceRefs: [...(payload.sourceRefs ?? []), ref(\"work-queue-record\", String(record.recordSeq))],\n\t\trecordedAtMs: record.recordedAtMs,\n\t\tmetadata: {\n\t\t\t...(payload.metadata ?? {}),\n\t\t\trequestId: payload.requestId,\n\t\t\t...(payload.executionInputRevision === undefined\n\t\t\t\t? {}\n\t\t\t\t: { executionInputRevision: payload.executionInputRevision }),\n\t\t\t...(payload.planId === undefined ? {} : { planId: payload.planId }),\n\t\t\t...(payload.planMemberId === undefined ? {} : { planMemberId: payload.planMemberId }),\n\t\t\tqueueRecordKind: record.kind,\n\t\t\tworkId: record.workId,\n\t\t},\n\t};\n\tif (record.kind === \"work-completed\" || record.kind === \"attempt-completed\") {\n\t\treturn {\n\t\t\t...base,\n\t\t\toutput: {\n\t\t\t\tkind: \"work-queue-completion\",\n\t\t\t\tvalue: record.result,\n\t\t\t\trefs: [ref(\"work-queue-record\", String(record.recordSeq))],\n\t\t\t} satisfies AgentOutputEnvelope,\n\t\t};\n\t}\n\treturn {\n\t\t...base,\n\t\terror: queueIssue(record, `WorkQueue record '${record.kind}' mapped to WorkItem evidence`),\n\t\treason: \"reason\" in record ? record.reason : undefined,\n\t};\n}\n\nfunction evidenceStatus(record: WorkQueueRecord): EffectRunResultStatus {\n\tif (record.kind === \"work-completed\" || record.kind === \"attempt-completed\") return \"completed\";\n\tif (record.kind === \"work-canceled\") return \"canceled\";\n\treturn \"failed\";\n}\n\nfunction emitStatus(\n\tctx: Ctx,\n\tstate: WorkItemQueueState,\n\tpayload: WorkItemQueuedWorkPayload,\n\trecord: WorkQueueRecord<WorkItemQueuedWorkPayload>,\n\tevidenceId: string,\n\tstatusState: WorkItemStatusRecord[\"state\"],\n): void {\n\tstate.statusSeq += 1;\n\temitFact(ctx, {\n\t\tkind: \"status\",\n\t\tstatus: {\n\t\t\tkind: \"work-item-status\",\n\t\t\tstatusId: `work-item-work-queue-status:${state.statusSeq}`,\n\t\t\tworkItemId: payload.workItemId,\n\t\t\tstate: statusState,\n\t\t\teffectRunId: payload.effectRunId,\n\t\t\trequestId: payload.requestId,\n\t\t\tevidenceId,\n\t\t\tsourceRefs: [\n\t\t\t\tref(\"work-queue-record\", String(record.recordSeq)),\n\t\t\t\t...(payload.sourceRefs ?? []),\n\t\t\t],\n\t\t\tmetadata: { queueRecordKind: record.kind, workId: record.workId },\n\t\t},\n\t});\n}\n\nfunction emitIssue(\n\tctx: Ctx,\n\tstate: WorkItemQueueState,\n\trecord: WorkQueueRecord<WorkItemQueuedWorkPayload>,\n\tcode: string,\n): void {\n\tconst issue = queueIssue(\n\t\trecord,\n\t\t`WorkQueue record '${record.kind}' has no admitted WorkItem payload`,\n\t);\n\temitFact(ctx, { kind: \"issue\", issue: { ...issue, code } });\n\tstate.statusSeq += 1;\n\temitFact(ctx, {\n\t\tkind: \"status\",\n\t\tstatus: {\n\t\t\tkind: \"work-item-status\",\n\t\t\tstatusId: `work-item-work-queue-status:${state.statusSeq}`,\n\t\t\tworkItemId: record.workId ?? \"unknown\",\n\t\t\tstate: \"mapping-issue\",\n\t\t\tissues: [{ ...issue, code }],\n\t\t\tsourceRefs: [ref(\"work-queue-record\", String(record.recordSeq))],\n\t\t},\n\t});\n}\n\nfunction emitAudit(\n\tctx: Ctx,\n\tstate: WorkItemQueueState,\n\trecord: WorkQueueRecord<WorkItemQueuedWorkPayload>,\n\tpayload: WorkItemQueuedWorkPayload,\n\toutcome: \"mapped\" | \"issue\",\n): void {\n\tstate.auditSeq += 1;\n\temitFact(ctx, {\n\t\tkind: \"audit\",\n\t\taudit: {\n\t\t\tid: `work-item-work-queue-audit:${state.auditSeq}`,\n\t\t\tkind: \"work-item-work-queue-record\",\n\t\t\tsubjectId: payload.workItemId,\n\t\t\tmessage: `WorkQueue record '${record.kind}' ${outcome} as WorkItem evidence`,\n\t\t\tsourceRefs: [\n\t\t\t\tref(\"work-item\", payload.workItemId),\n\t\t\t\tref(\"effect-run\", payload.effectRunId),\n\t\t\t\tref(\"work-queue-record\", String(record.recordSeq)),\n\t\t\t],\n\t\t\tmetadata: { queueRecordKind: record.kind, workId: record.workId },\n\t\t},\n\t});\n}\n\nfunction project<T>(\n\tgraph: Graph,\n\truntime: Node<WorkItemQueueFact>,\n\tname: string,\n\tfactory: string,\n\tselect: (fact: WorkItemQueueFact) => T | undefined,\n): Node<T> {\n\treturn graph.node<T>(\n\t\t[runtime],\n\t\t(ctx) => {\n\t\t\tfor (const raw of depBatch(ctx, 0) ?? []) {\n\t\t\t\tconst selected = select(raw as WorkItemQueueFact);\n\t\t\t\tif (selected !== undefined) ctx.down([[\"DATA\", selected]]);\n\t\t\t}\n\t\t},\n\t\t{ name, factory, partial: true, completeWhenDepsComplete: false, errorWhenDepsError: false },\n\t);\n}\n\nfunction emitFact(ctx: Ctx, fact: WorkItemQueueFact): void {\n\tctx.down([[\"DATA\", fact]]);\n}\n\nfunction queueIssue(record: WorkQueueRecord, message: string): DataIssue {\n\treturn {\n\t\tkind: \"issue\",\n\t\tcode: `work-item-${record.kind}`,\n\t\tmessage,\n\t\trefs: [`work-queue-record:${record.recordSeq}`],\n\t\tmetadata: { queueRecordKind: record.kind, workId: record.workId },\n\t};\n}\n\nfunction emptyState(): WorkItemQueueState {\n\treturn {\n\t\tpayloads: new Map(),\n\t\tterminalRecords: new Set(),\n\t\tstatusSeq: 0,\n\t\tauditSeq: 0,\n\t};\n}\n\nfunction ref(kind: string, id: string): SourceRef {\n\treturn { kind, id };\n}\n\nfunction stringRefs(refs: readonly SourceRef[] | undefined): readonly string[] | undefined {\n\treturn refs?.map((sourceRef) => `${sourceRef.kind}:${sourceRef.id}`);\n}\n","/**\n * Wave-protocol message types and the tier const table.\n *\n * Canonical authority: ~/src/graphrefly/spec/rules.jsonl\n *   R-msg-format, R-msg-closed-set, R-tier (D34), R-data-payload, R-sentinel.\n */\n\n/** Opaque pause-lock / pull identifier (R-pause-lockset, R-pull). */\nexport type LockId = string | symbol;\n\n/** Explicit pull demand payload (D269/D272). Params are holder-visible context, never DATA-up. */\nexport interface PullDemand {\n\treadonly pullId: LockId;\n\treadonly params?: unknown;\n}\n\n/**\n * The CLOSED set of 11 message types (R-msg-closed-set / D9 + D269 + START handshake).\n * No open set, no user-defined custom types. Adding a type is a spec change.\n */\nexport type Message =\n\t| readonly [\"START\"]\n\t| readonly [\"DIRTY\"]\n\t| readonly [\"DATA\", unknown]\n\t| readonly [\"RESOLVED\"]\n\t| readonly [\"INVALIDATE\"]\n\t| readonly [\"COMPLETE\"]\n\t| readonly [\"ERROR\", unknown]\n\t| readonly [\"TEARDOWN\"]\n\t| readonly [\"PAUSE\", LockId]\n\t| readonly [\"RESUME\", LockId]\n\t| readonly [\"PULL\", PullDemand];\n\n/** One array of messages delivered in one call = one Wave (R-wave-boundary). */\nexport type Wave = readonly Message[];\n\n/** The message-type tag (the first tuple element). */\nexport type MessageType = Message[0];\n\n/**\n * SENTINEL = absence-of-DATA (R-sentinel / D16). TS representation is `undefined`.\n * Never a valid DATA payload; `null` IS a valid DATA value (domain-level absence).\n */\nexport const SENTINEL = undefined;\n\n/** R-data-payload: ERROR payloads must not collide with terminal metadata shorthand. */\nexport function isInvalidErrorPayload(v: unknown): boolean {\n\treturn v === SENTINEL || typeof v === \"boolean\";\n}\n\n/** R-data-payload / D78: host-language failures that collide with ctx.terminal shorthand become diagnostics. */\nexport function errorPayload(reason: unknown, fallback = \"error without a valid payload\"): unknown {\n\treturn isInvalidErrorPayload(reason) ? new Error(fallback) : reason;\n}\n\nexport const TIER_START = 0;\nexport const TIER_CONTROL = 1;\nexport const TIER_NOTIFICATION = 2;\nexport const TIER_VALUE = 3;\nexport const TIER_SETTLE = 4;\nexport const TIER_TERMINAL = 5;\nexport const TIER_TEARDOWN = 6;\n\n/**\n * Tier const table (R-tier / D34). Tiers below value dispatch immediately; value\n * and above are batch-deferred. This is a compile-time const table (D18), not runtime config.\n */\nconst TIER: Record<MessageType, number> = {\n\tSTART: TIER_START,\n\tPAUSE: TIER_CONTROL,\n\tRESUME: TIER_CONTROL,\n\tPULL: TIER_CONTROL,\n\tDIRTY: TIER_NOTIFICATION,\n\tDATA: TIER_VALUE,\n\tRESOLVED: TIER_VALUE,\n\tINVALIDATE: TIER_SETTLE,\n\tCOMPLETE: TIER_TERMINAL,\n\tERROR: TIER_TERMINAL,\n\tTEARDOWN: TIER_TEARDOWN,\n};\n\nexport function messageTier(t: MessageType): number {\n\treturn TIER[t];\n}\n\n/** Value and above are deferred inside a batch (DATA/RESOLVED/INVALIDATE/terminal/teardown). */\nexport function isDeferredTier(t: MessageType): boolean {\n\treturn TIER[t] >= TIER_VALUE;\n}\n\n/** Value-tier messages (DATA/RESOLVED) occupy the tier-3 slot. */\nexport function isValueTier(t: MessageType): boolean {\n\treturn TIER[t] === TIER_VALUE;\n}\n\n/** The pause buffer holds the settle slice only: value-tier DATA/RESOLVED plus INVALIDATE. */\nexport function isPauseBufferedTier(t: MessageType): boolean {\n\tconst tier = TIER[t];\n\treturn tier === TIER_VALUE || tier === TIER_SETTLE;\n}\n\n/**\n * A TERMINAL message = tier 5 (COMPLETE | ERROR), R-tier / D34. Detected via the CENTRAL tier\n * table, NOT a per-variant `=== \"COMPLETE\" || === \"ERROR\"` check — so terminal routing stays\n * driven by the one const table (feedback_use_tier_for_signal_routing); discriminate COMPLETE vs\n * ERROR within the tier by the message type only where the handling actually differs.\n */\nexport function isTerminal(t: MessageType): boolean {\n\treturn TIER[t] === TIER_TERMINAL;\n}\n\n/**\n * ctx.up carries control/demand tiers only (R-ctx-up / D269): DIRTY, PAUSE, RESUME, PULL,\n * INVALIDATE, TEARDOWN. DATA/RESOLVED (tier 3) and COMPLETE/ERROR (tier 5) are\n * down-only.\n */\nexport function isUpAllowed(t: MessageType): boolean {\n\tconst tier = TIER[t];\n\treturn tier !== TIER_VALUE && tier !== TIER_TERMINAL;\n}\n","/**\n * The fn-invocation context and per-dep input shapes.\n *\n * Canonical authority: ~/src/graphrefly/spec/rules.jsonl\n *   R-fn-contract (D8/D27), R-ctx-state (D23/D29), R-cleanup-hooks (D28), R-ctx-up.\n */\n\nimport type { Dispatcher } from \"../dispatcher/index.js\";\nimport type { EnvironmentDrivers } from \"../graph/environment.js\";\nimport type { Node } from \"../node/node.js\";\nimport { type Message, type PullDemand, SENTINEL, type Wave } from \"../protocol/messages.js\";\n\n/** A downstream sink callback (the only way to connect to a node's output). */\nexport type Sink = (msg: Message, delivery?: DeliveryMeta) => void;\n\n/** Internal delivery metadata used to preserve the upstream `ctx.down(msgs)` wave boundary. */\nexport interface DeliveryMeta {\n\treadonly wave: object;\n\treadonly last: boolean;\n}\n\n/**\n * Internal current-value reader. It is deliberately a symbol-backed implementation detail:\n * raw ctx exposes `waveData` + `terminal`; helpers below derive from that plus this dep cache.\n */\nexport const CTX_DEP_CACHE: unique symbol = Symbol(\"graphrefly.ctx.depCache\");\n\nexport interface CtxDepCache {\n\treadonly latest: readonly unknown[];\n}\n\n/** Internal node-construction binding for graph-local helper-created deps. */\nexport const CTX_NODE_BINDING: unique symbol = Symbol(\"graphrefly.ctx.nodeBinding\");\n\nexport interface CtxNodeBinding {\n\treadonly dispatcher: Dispatcher;\n\tcreate<T>(factory: () => Node<T>): Node<T>;\n}\n\n/** Per-dep wave projections: dep -> waves -> values/SENTINEL markers. */\nexport type WaveData = readonly (readonly (readonly unknown[])[])[];\n\n/** Terminal metadata parallel to `waveData`: false = none, true = COMPLETE, otherwise ERROR payload. */\nexport type TerminalData = readonly unknown[];\n\nexport function isTerminalNone(t: unknown): boolean {\n\treturn t === false || t === undefined;\n}\n\nexport function isTerminalComplete(t: unknown): t is true {\n\treturn t === true;\n}\n\nexport function isTerminalError(t: unknown): boolean {\n\treturn !isTerminalNone(t) && !isTerminalComplete(t);\n}\n\nexport function terminalErrorValue(t: unknown): unknown {\n\treturn isTerminalError(t) ? t : undefined;\n}\n\n/**\n * Per-node private cross-wave state (R-ctx-state / D23,D29). Default fresh-lifecycle\n * wipe; `persist(true)` keeps it across lifecycle transitions.\n */\nexport interface CtxState {\n\tget<S = unknown>(): S | undefined;\n\tset<S = unknown>(v: S): void;\n\tpersist(on?: boolean): void;\n}\n\n/**\n * Deferred SELF-rewire (R-rewire-deferred / D47). A node fn may, DURING its run, request a\n * mutation of its OWN dep set; the request is QUEUED and applied at the committed wave boundary\n * (after the current wave settles / batch commit / final-lock RESUME) as a fresh wave, reusing\n * R-rewire surgical/Option-C semantics (D42). This is the ONLY legal self-triggered rewire — an\n * IMMEDIATE in-fn `node.subscribeDep/unsubscribeDep/replaceDeps` is the D37 mid-fn feedback-cycle ERROR. An\n * added cached dep pushes `[DIRTY,DATA]` on the boundary wave (R-push-subscribe); a removed dep\n * is drained and, if it loses its last subscriber, `_deactivate`s + fires `onDeactivation`\n * (input-side teardown — the basis for higher-order operator cancellation / abortInFlight).\n */\nexport interface RewireNext {\n\t/** Defer subscribing to a dep (paired with the re-supplied fn — positional fn-deps lock, SD-1). */\n\tsubscribeDep(dep: Node<unknown>, fn: NodeFn): void;\n\t/** Defer unsubscribing from a dep (its source is torn down if it loses its last subscriber). */\n\tunsubscribeDep(dep: Node<unknown>, fn: NodeFn): void;\n\t/** Defer replacing the whole dep set (surgical: kept deps untouched, removed drained, added fresh-subscribe). */\n\treplaceDeps(deps: Node<unknown>[], fn: NodeFn): void;\n}\n\n/**\n * The single argument to a node fn: `(ctx) => void` (R-fn-contract / D8). All emission\n * is explicit via `ctx.down`; there is no return-value framing.\n */\nexport interface Ctx {\n\t/**\n\t * Emit upstream toward deps — control tiers only (R-ctx-up). IMMEDIATE. `towardDep` (a dep index)\n\t * routes the wave up ONE declared edge (R-up-routing directed-up); omitted = broadcast up all deps.\n\t * A pull DEMAND is `up([[PULL, { pullId, params }]])` — but for a SELF-demand (demanding a dep\n\t * this fn also reads) use {@link Ctx.upNext} instead, since an immediate demand whose delivery loops back\n\t * re-enters this fn mid-wave (D37 / R-reentrancy).\n\t */\n\tup(msgs: Wave, towardDep?: number): void;\n\t/** Emit downstream toward sinks. */\n\tdown(msgs: Wave): void;\n\t/**\n\t * The single raw dep-value input surface (R-ctx-wave-data / D77): dep -> upstream waves ->\n\t * per-wave DATA payloads and INVALIDATE/SENTINEL markers. `waveData[i] = []` means dep i\n\t * delivered no wave to this invocation; `waveData[i] = [[]]` means RESOLVED-only.\n\t */\n\twaveData: WaveData;\n\t/** Terminal metadata for the same invocation; terminal values never enter `waveData`. */\n\tterminal: TerminalData;\n\tstate: CtxState;\n\t/** Release external resources on deactivation (R-cleanup-hooks). */\n\tonDeactivation(fn: () => void): void;\n\t/** Flush on INVALIDATE (R-cleanup-hooks). */\n\tonInvalidate(fn: () => void): void;\n\t/** Graph-owned environment drivers for source/adapter boundaries (D130/D131). */\n\tenvironment(): EnvironmentDrivers;\n\t/** Holder-visible context for a PULL-caused invocation (D272); absent for ordinary waves. */\n\treadonly pull?: PullDemand;\n\t/**\n\t * Deferred SELF-rewire (R-rewire-deferred / D47) — the substrate affordance higher-order\n\t * operators (switchMap/mergeMap/concatMap/exhaustMap/flatMap) use to grow/shrink their own\n\t * inner-source dep set in response to their own data. Always present; see {@link RewireNext}.\n\t */\n\trewireNext: RewireNext;\n\t/**\n\t * Deferred up — the boundary-deferred form of {@link Ctx.up} (R-up-routing / R-pull / D59). Routes\n\t * `msgs` up from this node at the COMMITTED wave boundary (broadcast, or up the single `towardDep`\n\t * edge), riding the same R-rewire-deferred (D47) drain as {@link RewireNext}. This is the\n\t * SELF-DEMAND path: a consumer issues `ctx.upNext([[PULL, { pullId, params }]])` to demand a pull\n\t * dep it ALSO reads — the cone-routed PULL reaches the pullId-holder, whose delivery loops back as a\n\t * FRESH wave (not a mid-fn re-entry → no D37). The consumer accepts one-wave latency (the\n\t * HTTP-request model). No node reference needed: the author writes the pullId verbatim.\n\t */\n\tupNext(msgs: Wave, towardDep?: number): void;\n\t/**\n\t * Read a dep's latest value by index (dynamicNode only, R-dynamic-node / D35).\n\t * Present only on dynamicNode fns; all declared deps still participate in wave\n\t * tracking. Under D49/R-resolved-undirty an unread dep's change still fires the fn,\n\t * which re-emits its (unchanged) output as a DATA occurrence — there is NO equals-\n\t * absorption; pair with distinctUntilChanged to suppress unchanged re-emits (opt-in).\n\t */\n\ttrack?(depIndex: number): unknown;\n\t[CTX_DEP_CACHE]?: CtxDepCache;\n\t[CTX_NODE_BINDING]?: CtxNodeBinding;\n}\n\n/** A node fn (R-fn-contract). Registered in a dispatcher pool, indexed by Handle. */\nexport type NodeFn = (ctx: Ctx) => void;\n\n/** Number of declared dep slots visible in this invocation. */\nexport function depCount(ctx: Ctx): number {\n\treturn ctx.waveData.length;\n}\n\n/** DATA/SENTINEL projection batches delivered by one dep in this invocation. */\nexport function depWaves(ctx: Ctx, depIndex: number): readonly (readonly unknown[])[] {\n\treturn ctx.waveData[depIndex] ?? [];\n}\n\n/** Flattened DATA projection for old event-counting operator bodies; null = no wave. */\nexport function depBatch(ctx: Ctx, depIndex: number): readonly unknown[] | null {\n\tconst waves = depWaves(ctx, depIndex);\n\tif (waves.length === 0) return null;\n\tconst flattened = waves.flat().filter((v) => v !== SENTINEL);\n\treturn flattened.length === 0 ? [] : flattened;\n}\n\n/** Latest cached DATA for a dep, derived from implementation-owned dep cache. */\nexport function depLatest(ctx: Ctx, depIndex: number): unknown {\n\treturn ctx[CTX_DEP_CACHE]?.latest[depIndex];\n}\n\n/** Terminal metadata for one dep: false = none, true = COMPLETE, otherwise ERROR payload. */\nexport function depTerminal(ctx: Ctx, depIndex: number): unknown {\n\tconst t = ctx.terminal[depIndex];\n\treturn t === undefined ? false : t;\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;;;AC2CO,IAAM,WAAW;;;ACoHjB,SAAS,SAAS,KAAU,UAAmD;AACrF,SAAO,IAAI,SAAS,QAAQ,KAAK,CAAC;AACnC;AAGO,SAAS,SAAS,KAAU,UAA6C;AAC/E,QAAM,QAAQ,SAAS,KAAK,QAAQ;AACpC,MAAI,MAAM,WAAW,EAAG,QAAO;AAC/B,QAAM,YAAY,MAAM,KAAK,EAAE,OAAO,CAAC,MAAM,MAAM,QAAQ;AAC3D,SAAO,UAAU,WAAW,IAAI,CAAC,IAAI;AACtC;;;AFzEA,IAAM,2BAA+D;AAAA,EACpE;AAAA,EACA;AAAA,EACA;AACD;AAEO,SAAS,wBACf,OACA,MACgC;AAChC,QAAM,OAAO,KAAK,QAAQ;AAC1B,QAAM,iBAAiB,MAAM;AAAA,IAC5B,CAAC,KAAK,cAAc;AAAA,IACpB,CAAC,QAAQ;AACR,iBAAW,OAAO,SAAS,KAAK,CAAC,KAAK,CAAC,GAAG;AACzC,cAAM,UAAU;AAChB,YAAI,KAAK,CAAC,CAAC,QAAQ,sBAAsB,SAAS,KAAK,MAAM,CAAC,CAAC,CAAC;AAAA,MACjE;AAAA,IACD;AAAA,IACA,EAAE,MAAM,GAAG,IAAI,mBAAmB,SAAS,kCAAkC;AAAA,EAC9E;AACA,QAAM,UAAU,MAAM;AAAA,IACrB,CAAC,KAAK,OAAO;AAAA,IACb,CAAC,QAAQ;AACR,YAAM,QAAQ,IAAI,MAAM,IAAwB,KAAK,WAAW;AAChE,YAAM,gBAAgB,IAAI,IAAI,KAAK,QAAQ,oBAAoB,wBAAwB;AACvF,iBAAW,OAAO,SAAS,KAAK,CAAC,KAAK,CAAC,GAAG;AACzC,cAAM,SAAS;AACf,YAAI,OAAO,SAAS,iBAAiB;AACpC,gBAAM,SAAS,IAAI,OAAO,QAAQ,OAAO,OAAO;AAChD;AAAA,QACD;AACA,YAAI,CAAC,cAAc,IAAI,OAAO,IAAI,EAAG;AACrC,cAAM,MAAM,GAAG,OAAO,IAAI,IAAI,OAAO,SAAS;AAC9C,YAAI,MAAM,gBAAgB,IAAI,GAAG,EAAG;AACpC,cAAM,gBAAgB,IAAI,GAAG;AAC7B,cAAM,UAAU,YAAY,SAAS,MAAM,SAAS,IAAI,OAAO,UAAU,EAAE,IAAI;AAC/E,YAAI,YAAY,QAAW;AAC1B,oBAAU,KAAK,OAAO,QAAQ,wCAAwC;AACtE;AAAA,QACD;AACA,cAAM,WAAW,mBAAmB,QAAQ,OAAO;AACnD,iBAAS,KAAK,EAAE,MAAM,YAAY,SAAS,CAAC;AAC5C,mBAAW,KAAK,OAAO,SAAS,QAAQ,SAAS,YAAY,mBAAmB;AAChF,kBAAU,KAAK,OAAO,QAAQ,SAAS,QAAQ;AAAA,MAChD;AACA,UAAI,MAAM,IAAI,KAAK;AAAA,IACpB;AAAA,IACA;AAAA,MACC,MAAM,GAAG,IAAI;AAAA,MACb,SAAS;AAAA,MACT,SAAS;AAAA,MACT,0BAA0B;AAAA,MAC1B,oBAAoB;AAAA,IACrB;AAAA,EACD;AACA,SAAO;AAAA,IACN;AAAA,IACA,UAAU;AAAA,MAAQ;AAAA,MAAO;AAAA,MAAS,GAAG,IAAI;AAAA,MAAa;AAAA,MAA6B,CAAC,SACnF,KAAK,SAAS,aAAa,KAAK,WAAW;AAAA,IAC5C;AAAA,IACA,QAAQ;AAAA,MAAQ;AAAA,MAAO;AAAA,MAAS,GAAG,IAAI;AAAA,MAAW;AAAA,MAA2B,CAAC,SAC7E,KAAK,SAAS,WAAW,KAAK,SAAS;AAAA,IACxC;AAAA,IACA,QAAQ;AAAA,MAAQ;AAAA,MAAO;AAAA,MAAS,GAAG,IAAI;AAAA,MAAW;AAAA,MAA2B,CAAC,SAC7E,KAAK,SAAS,UAAU,KAAK,QAAQ;AAAA,IACtC;AAAA,IACA,OAAO;AAAA,MAAQ;AAAA,MAAO;AAAA,MAAS,GAAG,IAAI;AAAA,MAAU;AAAA,MAA0B,CAAC,SAC1E,KAAK,SAAS,UAAU,KAAK,QAAQ;AAAA,IACtC;AAAA,EACD;AACD;AAEO,SAAS,sBACf,SACA,QAC8C;AAC9C,QAAM,eAAe,QAAQ,UAAU,OAAO,KAAK,CAAC;AACpD,QAAM,SAAS,QAAQ,SAAS,OAAO,KAAK,CAAC;AAC7C,QAAM,UAAqC;AAAA,IAC1C,GAAG;AAAA,IACH,MAAM;AAAA,IACN,YAAY,QAAQ;AAAA,IACpB,aAAa,QAAQ;AAAA,IACrB,WAAW,QAAQ;AAAA,IACnB,YAAY,QAAQ;AAAA,IACpB,wBAAwB,QAAQ;AAAA,IAChC,QAAQ,QAAQ;AAAA,IAChB,cAAc,QAAQ;AAAA,IACtB,YAAY,QAAQ;AAAA,IACpB,YAAY,QAAQ;AAAA,IACpB,gBAAgB,QAAQ;AAAA,IACxB,UAAU,QAAQ;AAAA,EACnB;AACA,SAAO;AAAA,IACN,MAAM;AAAA,IACN,WAAW,GAAG,QAAQ,SAAS;AAAA,IAC/B;AAAA,IACA,QAAQ,OAAO,UAAU,GAAG,QAAQ,UAAU,IAAI,QAAQ,WAAW;AAAA,IACrE,UAAU,OAAO;AAAA,IACjB,MAAM,OAAO,QAAQ,CAAC,aAAa,QAAQ,UAAU;AAAA,IACrD,cAAc,OAAO;AAAA,IACrB,aAAa,OAAO;AAAA,IACpB,YAAY,OAAO;AAAA,IACnB,gBAAgB,QAAQ,kBAAkB,QAAQ;AAAA,IAClD,YAAY,WAAW,QAAQ,UAAU;AAAA,IACzC,YAAY,WAAW,QAAQ,UAAU;AAAA,EAC1C;AACD;AAEA,SAAS,mBACR,QACA,SAC2B;AAC3B,QAAM,SAAS,eAAe,MAAM;AACpC,QAAM,OAAO;AAAA,IACZ,MAAM;AAAA,IACN,YAAY,cAAc,OAAO,SAAS;AAAA,IAC1C,YAAY,QAAQ;AAAA,IACpB,WAAW,QAAQ;AAAA,IACnB,aAAa,QAAQ;AAAA,IACrB,mBAAmB,cAAc,OAAO,UAAU,QAAQ,WAAW,IAAI,OAAO,SAAS;AAAA,IACzF,wBAAwB,QAAQ;AAAA,IAChC,QAAQ,QAAQ;AAAA,IAChB,cAAc,QAAQ;AAAA,IACtB;AAAA,IACA,YAAY,CAAC,GAAI,QAAQ,cAAc,CAAC,GAAI,IAAI,qBAAqB,OAAO,OAAO,SAAS,CAAC,CAAC;AAAA,IAC9F,cAAc,OAAO;AAAA,IACrB,UAAU;AAAA,MACT,GAAI,QAAQ,YAAY,CAAC;AAAA,MACzB,WAAW,QAAQ;AAAA,MACnB,GAAI,QAAQ,2BAA2B,SACpC,CAAC,IACD,EAAE,wBAAwB,QAAQ,uBAAuB;AAAA,MAC5D,GAAI,QAAQ,WAAW,SAAY,CAAC,IAAI,EAAE,QAAQ,QAAQ,OAAO;AAAA,MACjE,GAAI,QAAQ,iBAAiB,SAAY,CAAC,IAAI,EAAE,cAAc,QAAQ,aAAa;AAAA,MACnF,iBAAiB,OAAO;AAAA,MACxB,QAAQ,OAAO;AAAA,IAChB;AAAA,EACD;AACA,MAAI,OAAO,SAAS,oBAAoB,OAAO,SAAS,qBAAqB;AAC5E,WAAO;AAAA,MACN,GAAG;AAAA,MACH,QAAQ;AAAA,QACP,MAAM;AAAA,QACN,OAAO,OAAO;AAAA,QACd,MAAM,CAAC,IAAI,qBAAqB,OAAO,OAAO,SAAS,CAAC,CAAC;AAAA,MAC1D;AAAA,IACD;AAAA,EACD;AACA,SAAO;AAAA,IACN,GAAG;AAAA,IACH,OAAO,WAAW,QAAQ,qBAAqB,OAAO,IAAI,+BAA+B;AAAA,IACzF,QAAQ,YAAY,SAAS,OAAO,SAAS;AAAA,EAC9C;AACD;AAEA,SAAS,eAAe,QAAgD;AACvE,MAAI,OAAO,SAAS,oBAAoB,OAAO,SAAS,oBAAqB,QAAO;AACpF,MAAI,OAAO,SAAS,gBAAiB,QAAO;AAC5C,SAAO;AACR;AAEA,SAAS,WACR,KACA,OACA,SACA,QACA,YACA,aACO;AACP,QAAM,aAAa;AACnB,WAAS,KAAK;AAAA,IACb,MAAM;AAAA,IACN,QAAQ;AAAA,MACP,MAAM;AAAA,MACN,UAAU,+BAA+B,MAAM,SAAS;AAAA,MACxD,YAAY,QAAQ;AAAA,MACpB,OAAO;AAAA,MACP,aAAa,QAAQ;AAAA,MACrB,WAAW,QAAQ;AAAA,MACnB;AAAA,MACA,YAAY;AAAA,QACX,IAAI,qBAAqB,OAAO,OAAO,SAAS,CAAC;AAAA,QACjD,GAAI,QAAQ,cAAc,CAAC;AAAA,MAC5B;AAAA,MACA,UAAU,EAAE,iBAAiB,OAAO,MAAM,QAAQ,OAAO,OAAO;AAAA,IACjE;AAAA,EACD,CAAC;AACF;AAEA,SAAS,UACR,KACA,OACA,QACA,MACO;AACP,QAAM,QAAQ;AAAA,IACb;AAAA,IACA,qBAAqB,OAAO,IAAI;AAAA,EACjC;AACA,WAAS,KAAK,EAAE,MAAM,SAAS,OAAO,EAAE,GAAG,OAAO,KAAK,EAAE,CAAC;AAC1D,QAAM,aAAa;AACnB,WAAS,KAAK;AAAA,IACb,MAAM;AAAA,IACN,QAAQ;AAAA,MACP,MAAM;AAAA,MACN,UAAU,+BAA+B,MAAM,SAAS;AAAA,MACxD,YAAY,OAAO,UAAU;AAAA,MAC7B,OAAO;AAAA,MACP,QAAQ,CAAC,EAAE,GAAG,OAAO,KAAK,CAAC;AAAA,MAC3B,YAAY,CAAC,IAAI,qBAAqB,OAAO,OAAO,SAAS,CAAC,CAAC;AAAA,IAChE;AAAA,EACD,CAAC;AACF;AAEA,SAAS,UACR,KACA,OACA,QACA,SACA,SACO;AACP,QAAM,YAAY;AAClB,WAAS,KAAK;AAAA,IACb,MAAM;AAAA,IACN,OAAO;AAAA,MACN,IAAI,8BAA8B,MAAM,QAAQ;AAAA,MAChD,MAAM;AAAA,MACN,WAAW,QAAQ;AAAA,MACnB,SAAS,qBAAqB,OAAO,IAAI,KAAK,OAAO;AAAA,MACrD,YAAY;AAAA,QACX,IAAI,aAAa,QAAQ,UAAU;AAAA,QACnC,IAAI,cAAc,QAAQ,WAAW;AAAA,QACrC,IAAI,qBAAqB,OAAO,OAAO,SAAS,CAAC;AAAA,MAClD;AAAA,MACA,UAAU,EAAE,iBAAiB,OAAO,MAAM,QAAQ,OAAO,OAAO;AAAA,IACjE;AAAA,EACD,CAAC;AACF;AAEA,SAAS,QACR,OACA,SACA,MACA,SACA,QACU;AACV,SAAO,MAAM;AAAA,IACZ,CAAC,OAAO;AAAA,IACR,CAAC,QAAQ;AACR,iBAAW,OAAO,SAAS,KAAK,CAAC,KAAK,CAAC,GAAG;AACzC,cAAM,WAAW,OAAO,GAAwB;AAChD,YAAI,aAAa,OAAW,KAAI,KAAK,CAAC,CAAC,QAAQ,QAAQ,CAAC,CAAC;AAAA,MAC1D;AAAA,IACD;AAAA,IACA,EAAE,MAAM,SAAS,SAAS,MAAM,0BAA0B,OAAO,oBAAoB,MAAM;AAAA,EAC5F;AACD;AAEA,SAAS,SAAS,KAAU,MAA+B;AAC1D,MAAI,KAAK,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC;AAC1B;AAEA,SAAS,WAAW,QAAyB,SAA4B;AACxE,SAAO;AAAA,IACN,MAAM;AAAA,IACN,MAAM,aAAa,OAAO,IAAI;AAAA,IAC9B;AAAA,IACA,MAAM,CAAC,qBAAqB,OAAO,SAAS,EAAE;AAAA,IAC9C,UAAU,EAAE,iBAAiB,OAAO,MAAM,QAAQ,OAAO,OAAO;AAAA,EACjE;AACD;AAEA,SAAS,aAAiC;AACzC,SAAO;AAAA,IACN,UAAU,oBAAI,IAAI;AAAA,IAClB,iBAAiB,oBAAI,IAAI;AAAA,IACzB,WAAW;AAAA,IACX,UAAU;AAAA,EACX;AACD;AAEA,SAAS,IAAI,MAAc,IAAuB;AACjD,SAAO,EAAE,MAAM,GAAG;AACnB;AAEA,SAAS,WAAW,MAAuE;AAC1F,SAAO,MAAM,IAAI,CAAC,cAAc,GAAG,UAAU,IAAI,IAAI,UAAU,EAAE,EAAE;AACpE;","names":[]}

package/dist/solutions/work-item/work-queue.d.cts

@@ -0,0 +1,71 @@
+import { DataIssue } from '../../data/index.cjs';
+import { d as Graph } from '../../graph-CWK3HLPB.cjs';
+import { N as Node } from '../../types-BS6CyR-x.cjs';
+import { S as SourceRef, a as AgentRuntimeAuditRecord } from '../../agent-runtime-types-core-CaXfKNtY.cjs';
+import { W as WorkItemEffectRequested, a as WorkItemEvidenceRecorded, b as WorkItemStatusRecord } from '../../work-item-runtime-types-CHO03AKh.cjs';
+import { a as WorkQueueRecord, W as WorkQueueCommand } from '../../types-BXKSAoE1.cjs';
+import '../../core/index.cjs';
+import '../../messages-CAzUPPJM.cjs';
+import '../../codec-BB7p8fJc.cjs';
+import '../../describe-CQRrkv-Q.cjs';
+import '../../types-BhveCMg5.cjs';
+
+/**
+ * WorkItem-over-workQueue recipe facts (D327/D331).
+ *
+ * This solution-layer recipe maps WorkItem effect facts to queue submit command facts and maps
+ * terminal queue records back to WorkItem evidence/status. It does not mutate WorkItems or bypass
+ * the generic workQueue admission path.
+ */
+
+interface WorkItemQueuedWorkPayload {
+    readonly kind: "work-item-queued-work";
+    readonly workItemId: string;
+    readonly effectRunId: string;
+    readonly requestId: string;
+    readonly effectKind: string;
+    readonly executionInputRevision?: number;
+    readonly planId?: string;
+    readonly planMemberId?: string;
+    readonly requestedActionKind?: string;
+    readonly sourceEventId?: string;
+    readonly sourceDecisionId?: string;
+    readonly policyRefs?: readonly SourceRef[];
+    readonly sourceRefs?: readonly SourceRef[];
+    readonly contextRefs?: readonly SourceRef[];
+    readonly artifactRefs?: readonly SourceRef[];
+    readonly idempotencyKey?: string;
+    readonly metadata?: Record<string, unknown>;
+}
+type WorkItemQueuedWorkPayloadExtra = Partial<Omit<WorkItemQueuedWorkPayload, "kind" | "workItemId" | "effectRunId" | "requestId" | "effectKind">>;
+interface WorkItemWorkQueueSubmitOptions {
+    readonly workId?: string;
+    readonly priority?: number;
+    readonly tags?: readonly string[];
+    readonly requirements?: readonly string[];
+    readonly notBeforeMs?: number;
+    readonly deadlineMs?: number;
+}
+interface WorkItemWorkQueuePolicy {
+    readonly policyId?: string;
+    readonly submit?: (request: WorkItemEffectRequested) => WorkItemWorkQueueSubmitOptions;
+    readonly payload?: (request: WorkItemEffectRequested) => WorkItemQueuedWorkPayloadExtra;
+    readonly evidenceStatuses?: readonly WorkQueueRecord["kind"][];
+}
+interface WorkItemWorkQueueRecipeOptions {
+    readonly name?: string;
+    readonly effectRequests: Node<WorkItemEffectRequested>;
+    readonly records: Node<WorkQueueRecord<WorkItemQueuedWorkPayload>>;
+    readonly policy?: WorkItemWorkQueuePolicy;
+}
+interface WorkItemWorkQueueRecipeBundle {
+    readonly submitCommands: Node<WorkQueueCommand<WorkItemQueuedWorkPayload>>;
+    readonly evidence: Node<WorkItemEvidenceRecorded>;
+    readonly status: Node<WorkItemStatusRecord>;
+    readonly issues: Node<DataIssue>;
+    readonly audit: Node<AgentRuntimeAuditRecord>;
+}
+declare function workItemWorkQueueRecipe(graph: Graph, opts: WorkItemWorkQueueRecipeOptions): WorkItemWorkQueueRecipeBundle;
+declare function workItemSubmitCommand(request: WorkItemEffectRequested, policy?: WorkItemWorkQueuePolicy): WorkQueueCommand<WorkItemQueuedWorkPayload>;
+
+export { type WorkItemQueuedWorkPayload, type WorkItemQueuedWorkPayloadExtra, type WorkItemWorkQueuePolicy, type WorkItemWorkQueueRecipeBundle, type WorkItemWorkQueueRecipeOptions, type WorkItemWorkQueueSubmitOptions, workItemSubmitCommand, workItemWorkQueueRecipe };