@contractspec/example.kb-update-pipeline 3.7.17 → 3.7.19

package/dist/node/index.js

@@ -1,32 +1,11 @@
-// src/docs/kb-update-pipeline.docblock.ts
-import { registerDocBlocks } from "@contractspec/lib.contracts-spec/docs";
-var docBlocks = [
-  {
-    id: "docs.examples.kb-update-pipeline.goal",
-    title: "KB Update Pipeline — Goal",
-    summary: "Automation proposes KB patches; humans verify; publishing is blocked until approvals are complete.",
-    kind: "goal",
-    visibility: "public",
-    route: "/docs/examples/kb-update-pipeline/goal",
-    tags: ["knowledge", "pipeline", "hitl", "audit"],
-    body: `## Why it matters
+import{registerDocBlocks as I}from"@contractspec/lib.contracts-spec/docs";var v=[{id:"docs.examples.kb-update-pipeline.goal",title:"KB Update Pipeline — Goal",summary:"Automation proposes KB patches; humans verify; publishing is blocked until approvals are complete.",kind:"goal",visibility:"public",route:"/docs/examples/kb-update-pipeline/goal",tags:["knowledge","pipeline","hitl","audit"],body:`## Why it matters
 - Keeps humans as the verifiers (HITL) while automation does the busywork.
 - Produces an auditable chain: source change -> diff -> proposal -> review -> publish.
 
 ## Guardrails
 - High-risk changes require expert approval.
 - Publishing fails if any included rule versions are not approved.
-- Review requests emit notifications/events.`
-  },
-  {
-    id: "docs.examples.kb-update-pipeline.reference",
-    title: "KB Update Pipeline — Reference",
-    summary: "Entities, contracts, and events for the KB update pipeline example.",
-    kind: "reference",
-    visibility: "public",
-    route: "/docs/examples/kb-update-pipeline",
-    tags: ["knowledge", "reference"],
-    body: `## Contracts
+- Review requests emit notifications/events.`},{id:"docs.examples.kb-update-pipeline.reference",title:"KB Update Pipeline — Reference",summary:"Entities, contracts, and events for the KB update pipeline example.",kind:"reference",visibility:"public",route:"/docs/examples/kb-update-pipeline",tags:["knowledge","reference"],body:`## Contracts
 - kbPipeline.runWatch
 - kbPipeline.createReviewTask
 - kbPipeline.submitDecision
@@ -37,616 +16,4 @@ var docBlocks = [
 - kb.change.summarized
 - kb.patch.proposed
 - kb.review.requested
-- kb.review.decided`
-  }
-];
-registerDocBlocks(docBlocks);
-// src/entities/models.ts
-import {
-  defineEnum,
-  defineSchemaModel,
-  ScalarTypeEnum
-} from "@contractspec/lib.schema";
-var ChangeRiskLevelEnum = defineEnum("ChangeRiskLevel", [
-  "low",
-  "medium",
-  "high"
-]);
-var ReviewAssignedRoleEnum = defineEnum("ReviewAssignedRole", [
-  "curator",
-  "expert"
-]);
-var ReviewDecisionEnum = defineEnum("ReviewDecision", [
-  "approve",
-  "reject"
-]);
-var ChangeCandidateModel = defineSchemaModel({
-  name: "ChangeCandidate",
-  description: "Candidate change detected in a source document.",
-  fields: {
-    id: { type: ScalarTypeEnum.String_unsecure(), isOptional: false },
-    sourceDocumentId: {
-      type: ScalarTypeEnum.String_unsecure(),
-      isOptional: false
-    },
-    detectedAt: { type: ScalarTypeEnum.DateTime(), isOptional: false },
-    diffSummary: { type: ScalarTypeEnum.String_unsecure(), isOptional: false },
-    riskLevel: { type: ChangeRiskLevelEnum, isOptional: false }
-  }
-});
-var ReviewTaskModel = defineSchemaModel({
-  name: "ReviewTask",
-  description: "Human verification task for a change candidate.",
-  fields: {
-    id: { type: ScalarTypeEnum.String_unsecure(), isOptional: false },
-    changeCandidateId: {
-      type: ScalarTypeEnum.String_unsecure(),
-      isOptional: false
-    },
-    status: { type: ScalarTypeEnum.String_unsecure(), isOptional: false },
-    assignedRole: { type: ReviewAssignedRoleEnum, isOptional: false },
-    decision: { type: ReviewDecisionEnum, isOptional: true },
-    decidedAt: { type: ScalarTypeEnum.DateTime(), isOptional: true },
-    decidedBy: { type: ScalarTypeEnum.String_unsecure(), isOptional: true }
-  }
-});
-// src/events.ts
-import { defineEvent, StabilityEnum } from "@contractspec/lib.contracts-spec";
-import { defineSchemaModel as defineSchemaModel2, ScalarTypeEnum as ScalarTypeEnum2 } from "@contractspec/lib.schema";
-var KbChangeDetectedPayload = defineSchemaModel2({
-  name: "KbChangeDetectedPayload",
-  description: "Emitted when a source change is detected.",
-  fields: {
-    changeCandidateId: {
-      type: ScalarTypeEnum2.String_unsecure(),
-      isOptional: false
-    },
-    sourceDocumentId: {
-      type: ScalarTypeEnum2.String_unsecure(),
-      isOptional: false
-    },
-    riskLevel: { type: ScalarTypeEnum2.String_unsecure(), isOptional: false }
-  }
-});
-var KbChangeDetectedEvent = defineEvent({
-  meta: {
-    key: "kb.change.detected",
-    version: "1.0.0",
-    description: "KB source change detected.",
-    stability: StabilityEnum.Experimental,
-    owners: [],
-    tags: []
-  },
-  payload: KbChangeDetectedPayload
-});
-var KbChangeSummarizedPayload = defineSchemaModel2({
-  name: "KbChangeSummarizedPayload",
-  description: "Emitted when a change summary is produced.",
-  fields: {
-    changeCandidateId: {
-      type: ScalarTypeEnum2.String_unsecure(),
-      isOptional: false
-    },
-    summary: { type: ScalarTypeEnum2.String_unsecure(), isOptional: false },
-    riskLevel: { type: ScalarTypeEnum2.String_unsecure(), isOptional: false }
-  }
-});
-var KbChangeSummarizedEvent = defineEvent({
-  meta: {
-    key: "kb.change.summarized",
-    version: "1.0.0",
-    description: "KB change summarized.",
-    stability: StabilityEnum.Experimental,
-    owners: [],
-    tags: []
-  },
-  payload: KbChangeSummarizedPayload
-});
-var KbPatchProposedPayload = defineSchemaModel2({
-  name: "KbPatchProposedPayload",
-  description: "Emitted when draft rule patches are proposed.",
-  fields: {
-    changeCandidateId: {
-      type: ScalarTypeEnum2.String_unsecure(),
-      isOptional: false
-    },
-    proposedRuleVersionIds: {
-      type: ScalarTypeEnum2.String_unsecure(),
-      isArray: true,
-      isOptional: false
-    }
-  }
-});
-var KbPatchProposedEvent = defineEvent({
-  meta: {
-    key: "kb.patch.proposed",
-    version: "1.0.0",
-    description: "KB rule patch proposed (draft versions created).",
-    stability: StabilityEnum.Experimental,
-    owners: [],
-    tags: []
-  },
-  payload: KbPatchProposedPayload
-});
-var KbReviewRequestedPayload = defineSchemaModel2({
-  name: "KbReviewRequestedPayload",
-  description: "Emitted when a review is requested.",
-  fields: {
-    reviewTaskId: { type: ScalarTypeEnum2.String_unsecure(), isOptional: false },
-    changeCandidateId: {
-      type: ScalarTypeEnum2.String_unsecure(),
-      isOptional: false
-    },
-    assignedRole: { type: ScalarTypeEnum2.String_unsecure(), isOptional: false }
-  }
-});
-var KbReviewRequestedEvent = defineEvent({
-  meta: {
-    key: "kb.review.requested",
-    version: "1.0.0",
-    description: "KB review requested.",
-    stability: StabilityEnum.Experimental,
-    owners: [],
-    tags: []
-  },
-  payload: KbReviewRequestedPayload
-});
-var KbReviewDecidedPayload = defineSchemaModel2({
-  name: "KbReviewDecidedPayload",
-  description: "Emitted when a review task is decided.",
-  fields: {
-    reviewTaskId: { type: ScalarTypeEnum2.String_unsecure(), isOptional: false },
-    decision: { type: ScalarTypeEnum2.String_unsecure(), isOptional: false },
-    decidedBy: { type: ScalarTypeEnum2.String_unsecure(), isOptional: false }
-  }
-});
-var KbReviewDecidedEvent = defineEvent({
-  meta: {
-    key: "kb.review.decided",
-    version: "1.0.0",
-    description: "KB review decided.",
-    stability: StabilityEnum.Experimental,
-    owners: [],
-    tags: []
-  },
-  payload: KbReviewDecidedPayload
-});
-
-// src/example.ts
-import { defineExample } from "@contractspec/lib.contracts-spec";
-var example = defineExample({
-  meta: {
-    key: "kb-update-pipeline",
-    version: "1.0.0",
-    title: "KB Update Pipeline",
-    description: "Automation proposes KB updates; humans verify; everything audited and notified.",
-    kind: "knowledge",
-    visibility: "public",
-    stability: "experimental",
-    owners: ["@platform.core"],
-    tags: ["knowledge", "pipeline", "hitl", "audit"]
-  },
-  docs: {
-    rootDocId: "docs.examples.kb-update-pipeline"
-  },
-  entrypoints: {
-    packageName: "@contractspec/example.kb-update-pipeline",
-    feature: "./feature",
-    contracts: "./contracts",
-    handlers: "./handlers",
-    docs: "./docs"
-  },
-  surfaces: {
-    templates: true,
-    sandbox: { enabled: true, modes: ["markdown", "specs", "builder"] },
-    studio: { enabled: true, installable: true },
-    mcp: { enabled: true }
-  }
-});
-var example_default = example;
-
-// src/handlers/memory.handlers.ts
-function createPipelineMemoryStore() {
-  return {
-    candidates: new Map,
-    reviewTasks: new Map,
-    proposedRuleVersionIdsByCandidate: new Map,
-    approvedRuleVersionIds: new Set,
-    notifications: []
-  };
-}
-function stableId(prefix, value) {
-  return `${prefix}_${value.replace(/[^a-zA-Z0-9_-]/g, "_")}`;
-}
-function createPipelineMemoryHandlers(store) {
-  async function runWatch(input) {
-    const candidates = [...store.candidates.values()].filter((c) => c.sourceDocumentId.startsWith(`${input.jurisdiction}_`) || true);
-    return { candidates };
-  }
-  async function createReviewTask(input) {
-    const candidate = store.candidates.get(input.changeCandidateId);
-    if (!candidate)
-      throw new Error("CHANGE_CANDIDATE_NOT_FOUND");
-    const assignedRole = candidate.riskLevel === "high" ? "expert" : "curator";
-    const id = stableId("review", input.changeCandidateId);
-    const task = {
-      id,
-      changeCandidateId: input.changeCandidateId,
-      status: "open",
-      assignedRole,
-      decision: undefined,
-      decidedAt: undefined,
-      decidedBy: undefined
-    };
-    store.reviewTasks.set(id, task);
-    store.notifications.push({
-      kind: "kb.review.requested",
-      reviewTaskId: id,
-      changeCandidateId: input.changeCandidateId,
-      assignedRole,
-      createdAt: new Date
-    });
-    return task;
-  }
-  async function proposeRulePatch(input) {
-    if (!store.candidates.has(input.changeCandidateId)) {
-      throw new Error("CHANGE_CANDIDATE_NOT_FOUND");
-    }
-    store.proposedRuleVersionIdsByCandidate.set(input.changeCandidateId, [
-      ...input.proposedRuleVersionIds
-    ]);
-    return { proposedRuleVersionIds: [...input.proposedRuleVersionIds] };
-  }
-  async function markRuleVersionApproved(input) {
-    store.approvedRuleVersionIds.add(input.ruleVersionId);
-    return { ruleVersionId: input.ruleVersionId };
-  }
-  async function submitDecision(input) {
-    const task = store.reviewTasks.get(input.reviewTaskId);
-    if (!task)
-      throw new Error("REVIEW_TASK_NOT_FOUND");
-    const candidate = store.candidates.get(task.changeCandidateId);
-    if (!candidate)
-      throw new Error("CHANGE_CANDIDATE_NOT_FOUND");
-    if (candidate.riskLevel === "high" && input.decision === "approve") {
-      if (input.decidedByRole !== "expert")
-        throw new Error("FORBIDDEN_ROLE");
-    }
-    const decided = {
-      ...task,
-      status: "decided",
-      decision: input.decision,
-      decidedAt: new Date,
-      decidedBy: input.decidedBy
-    };
-    store.reviewTasks.set(decided.id, decided);
-    return decided;
-  }
-  async function publishIfReady(_input) {
-    const openTasks = [...store.reviewTasks.values()].filter((t) => t.status !== "decided");
-    if (openTasks.length) {
-      throw new Error("NOT_READY");
-    }
-    const rejected = [...store.reviewTasks.values()].some((t) => t.decision === "reject");
-    if (rejected)
-      return { published: false, reason: "REJECTED" };
-    for (const task of store.reviewTasks.values()) {
-      if (task.decision !== "approve")
-        continue;
-      const proposed = store.proposedRuleVersionIdsByCandidate.get(task.changeCandidateId) ?? [];
-      const unapproved = proposed.filter((id) => !store.approvedRuleVersionIds.has(id));
-      if (unapproved.length) {
-        throw new Error("NOT_READY");
-      }
-    }
-    return { published: true };
-  }
-  return {
-    runWatch,
-    createReviewTask,
-    proposeRulePatch,
-    markRuleVersionApproved,
-    submitDecision,
-    publishIfReady
-  };
-}
-// src/kb-update-pipeline.feature.ts
-import { defineFeature } from "@contractspec/lib.contracts-spec";
-var KbUpdatePipelineFeature = defineFeature({
-  meta: {
-    key: "kb-update-pipeline",
-    version: "1.0.0",
-    title: "KB Update Pipeline (HITL)",
-    description: "Automation proposes KB patches; humans verify; publishing is blocked until approvals are complete.",
-    domain: "knowledge",
-    owners: ["@examples"],
-    tags: ["knowledge", "pipeline", "hitl", "audit", "notifications"],
-    stability: "experimental"
-  },
-  operations: [
-    { key: "kbPipeline.runWatch", version: "1.0.0" },
-    { key: "kbPipeline.createReviewTask", version: "1.0.0" },
-    { key: "kbPipeline.submitDecision", version: "1.0.0" },
-    { key: "kbPipeline.publishIfReady", version: "1.0.0" }
-  ],
-  events: [
-    { key: "kb.change.detected", version: "1.0.0" },
-    { key: "kb.change.summarized", version: "1.0.0" },
-    { key: "kb.patch.proposed", version: "1.0.0" },
-    { key: "kb.review.requested", version: "1.0.0" },
-    { key: "kb.review.decided", version: "1.0.0" }
-  ],
-  presentations: [
-    { key: "kb.dashboard", version: "1.0.0" },
-    { key: "kb.review.list", version: "1.0.0" },
-    { key: "kb.review.form", version: "1.0.0" }
-  ],
-  opToPresentation: [
-    {
-      op: { key: "kbPipeline.runWatch", version: "1.0.0" },
-      pres: { key: "kb.dashboard", version: "1.0.0" }
-    },
-    {
-      op: { key: "kbPipeline.createReviewTask", version: "1.0.0" },
-      pres: { key: "kb.review.list", version: "1.0.0" }
-    },
-    {
-      op: { key: "kbPipeline.submitDecision", version: "1.0.0" },
-      pres: { key: "kb.review.form", version: "1.0.0" }
-    }
-  ],
-  presentationsTargets: [
-    { key: "kb.dashboard", version: "1.0.0", targets: ["react", "markdown"] },
-    { key: "kb.review.list", version: "1.0.0", targets: ["react", "markdown"] },
-    { key: "kb.review.form", version: "1.0.0", targets: ["react"] }
-  ],
-  capabilities: {
-    requires: [
-      { key: "identity", version: "1.0.0" },
-      { key: "notifications", version: "1.0.0" },
-      { key: "audit-trail", version: "1.0.0" }
-    ]
-  },
-  knowledge: [{ key: "kb.knowledge.rules", version: "1.0.0" }],
-  telemetry: [{ key: "kb-pipeline.telemetry", version: "1.0.0" }],
-  jobs: [{ key: "kb-pipeline.job.watch", version: "1.0.0" }],
-  docs: [
-    "docs.examples.kb-update-pipeline.goal",
-    "docs.examples.kb-update-pipeline.reference"
-  ]
-});
-
-// src/operations/pipeline.ts
-import { defineCommand } from "@contractspec/lib.contracts-spec";
-import { defineSchemaModel as defineSchemaModel3, ScalarTypeEnum as ScalarTypeEnum3 } from "@contractspec/lib.schema";
-var RunWatchInput = defineSchemaModel3({
-  name: "KbPipelineRunWatchInput",
-  description: "Trigger a watch cycle for KB sources (demo).",
-  fields: {
-    jurisdiction: { type: ScalarTypeEnum3.String_unsecure(), isOptional: false }
-  }
-});
-var RunWatchOutput = defineSchemaModel3({
-  name: "KbPipelineRunWatchOutput",
-  description: "Output containing detected changes.",
-  fields: {
-    candidates: {
-      type: ChangeCandidateModel,
-      isArray: true,
-      isOptional: false
-    }
-  }
-});
-var CreateReviewTaskInput = defineSchemaModel3({
-  name: "KbPipelineCreateReviewTaskInput",
-  description: "Create a review task for a change candidate.",
-  fields: {
-    changeCandidateId: {
-      type: ScalarTypeEnum3.String_unsecure(),
-      isOptional: false
-    }
-  }
-});
-var SubmitDecisionInput = defineSchemaModel3({
-  name: "KbPipelineSubmitDecisionInput",
-  description: "Submit a decision for a review task.",
-  fields: {
-    reviewTaskId: { type: ScalarTypeEnum3.String_unsecure(), isOptional: false },
-    decision: { type: ReviewDecisionEnum, isOptional: false },
-    decidedBy: { type: ScalarTypeEnum3.String_unsecure(), isOptional: false },
-    decidedByRole: {
-      type: ScalarTypeEnum3.String_unsecure(),
-      isOptional: false
-    }
-  }
-});
-var PublishIfReadyInput = defineSchemaModel3({
-  name: "KbPipelinePublishIfReadyInput",
-  description: "Publish snapshot if approvals are satisfied for a jurisdiction.",
-  fields: {
-    jurisdiction: { type: ScalarTypeEnum3.String_unsecure(), isOptional: false }
-  }
-});
-var PublishIfReadyOutput = defineSchemaModel3({
-  name: "KbPipelinePublishIfReadyOutput",
-  description: "Output for publish-if-ready operation.",
-  fields: {
-    published: { type: ScalarTypeEnum3.Boolean(), isOptional: false },
-    reason: { type: ScalarTypeEnum3.String_unsecure(), isOptional: true }
-  }
-});
-var KbPipelineRunWatchContract = defineCommand({
-  meta: {
-    key: "kbPipeline.runWatch",
-    version: "1.0.0",
-    stability: "experimental",
-    owners: ["@examples"],
-    tags: ["knowledge", "pipeline", "jobs"],
-    description: "Detect source changes and create change candidates.",
-    goal: "Automate discovery of updates needing review.",
-    context: "Scheduled job or manual trigger in demos."
-  },
-  io: { input: RunWatchInput, output: RunWatchOutput },
-  policy: { auth: "user" }
-});
-var KbPipelineCreateReviewTaskContract = defineCommand({
-  meta: {
-    key: "kbPipeline.createReviewTask",
-    version: "1.0.0",
-    stability: "experimental",
-    owners: ["@examples"],
-    tags: ["knowledge", "pipeline", "hitl"],
-    description: "Create a review task for a detected change.",
-    goal: "Route work to human verifiers.",
-    context: "Called after change detection or manual selection."
-  },
-  io: { input: CreateReviewTaskInput, output: ReviewTaskModel },
-  policy: { auth: "user" }
-});
-var KbPipelineSubmitDecisionContract = defineCommand({
-  meta: {
-    key: "kbPipeline.submitDecision",
-    version: "1.0.0",
-    stability: "experimental",
-    owners: ["@examples"],
-    tags: ["knowledge", "pipeline", "hitl", "rbac"],
-    description: "Submit approve/reject decision for a review task.",
-    goal: "Ensure humans verify before publishing.",
-    context: "Curator/expert reviews and decides."
-  },
-  io: {
-    input: SubmitDecisionInput,
-    output: ReviewTaskModel,
-    errors: {
-      FORBIDDEN_ROLE: {
-        description: "Role not allowed to approve the given risk level",
-        http: 403,
-        gqlCode: "FORBIDDEN_ROLE",
-        when: "curator attempts to approve a high-risk change"
-      },
-      REVIEW_TASK_NOT_FOUND: {
-        description: "Review task not found",
-        http: 404,
-        gqlCode: "REVIEW_TASK_NOT_FOUND",
-        when: "reviewTaskId is invalid"
-      }
-    }
-  },
-  policy: { auth: "user" }
-});
-var KbPipelinePublishIfReadyContract = defineCommand({
-  meta: {
-    key: "kbPipeline.publishIfReady",
-    version: "1.0.0",
-    stability: "experimental",
-    owners: ["@examples"],
-    tags: ["knowledge", "pipeline", "publishing"],
-    description: "Publish snapshot if ready (all approvals satisfied).",
-    goal: "Prevent publishing until all required approvals exist.",
-    context: "Called by job or UI to attempt publish."
-  },
-  io: {
-    input: PublishIfReadyInput,
-    output: PublishIfReadyOutput,
-    errors: {
-      NOT_READY: {
-        description: "Publishing is blocked because approvals are incomplete",
-        http: 409,
-        gqlCode: "NOT_READY",
-        when: "there are open review tasks or unapproved rule versions"
-      }
-    }
-  },
-  policy: { auth: "user" }
-});
-// src/presentations.ts
-import {
-  definePresentation,
-  StabilityEnum as StabilityEnum2
-} from "@contractspec/lib.contracts-spec";
-var KbDashboardPresentation = definePresentation({
-  meta: {
-    key: "kb.dashboard",
-    version: "1.0.0",
-    title: "KB Update Dashboard",
-    description: "Overview of KB change candidates and review tasks.",
-    domain: "knowledge",
-    owners: ["@examples"],
-    tags: ["dashboard", "knowledge"],
-    stability: StabilityEnum2.Experimental,
-    goal: "Visualize status",
-    context: "Dashboard"
-  },
-  source: {
-    type: "component",
-    framework: "react",
-    componentKey: "KbDashboard",
-    props: ChangeCandidateModel
-  },
-  targets: ["react", "markdown"]
-});
-var KbReviewListPresentation = definePresentation({
-  meta: {
-    key: "kb.review.list",
-    version: "1.0.0",
-    title: "Review Tasks",
-    description: "List of pending review tasks for the current user.",
-    domain: "knowledge",
-    owners: ["@examples"],
-    tags: ["list", "review"],
-    stability: StabilityEnum2.Experimental,
-    goal: "List tasks",
-    context: "Inbox"
-  },
-  source: {
-    type: "component",
-    framework: "react",
-    componentKey: "ReviewTaskList",
-    props: ReviewTaskModel
-  },
-  targets: ["react", "markdown"]
-});
-var KbReviewFormPresentation = definePresentation({
-  meta: {
-    key: "kb.review.form",
-    version: "1.0.0",
-    title: "Review Change",
-    description: "Form to approve or reject a KB change candidate.",
-    domain: "knowledge",
-    owners: ["@examples"],
-    tags: ["form", "review"],
-    stability: StabilityEnum2.Experimental,
-    goal: "Review",
-    context: "Detail"
-  },
-  source: {
-    type: "component",
-    framework: "react",
-    componentKey: "ReviewDecisionForm",
-    props: ReviewTaskModel
-  },
-  targets: ["react"]
-});
-export {
-  example_default as example,
-  createPipelineMemoryStore,
-  createPipelineMemoryHandlers,
-  ReviewTaskModel,
-  ReviewDecisionEnum,
-  ReviewAssignedRoleEnum,
-  KbUpdatePipelineFeature,
-  KbReviewRequestedEvent,
-  KbReviewListPresentation,
-  KbReviewFormPresentation,
-  KbReviewDecidedEvent,
-  KbPipelineSubmitDecisionContract,
-  KbPipelineRunWatchContract,
-  KbPipelinePublishIfReadyContract,
-  KbPipelineCreateReviewTaskContract,
-  KbPatchProposedEvent,
-  KbDashboardPresentation,
-  KbChangeSummarizedEvent,
-  KbChangeDetectedEvent,
-  ChangeRiskLevelEnum,
-  ChangeCandidateModel
-};
+- kb.review.decided`}];I(v);import{defineEnum as Z,defineSchemaModel as D,ScalarTypeEnum as A}from"@contractspec/lib.schema";var R=Z("ChangeRiskLevel",["low","medium","high"]),k=Z("ReviewAssignedRole",["curator","expert"]),$=Z("ReviewDecision",["approve","reject"]),N=D({name:"ChangeCandidate",description:"Candidate change detected in a source document.",fields:{id:{type:A.String_unsecure(),isOptional:!1},sourceDocumentId:{type:A.String_unsecure(),isOptional:!1},detectedAt:{type:A.DateTime(),isOptional:!1},diffSummary:{type:A.String_unsecure(),isOptional:!1},riskLevel:{type:R,isOptional:!1}}}),H=D({name:"ReviewTask",description:"Human verification task for a change candidate.",fields:{id:{type:A.String_unsecure(),isOptional:!1},changeCandidateId:{type:A.String_unsecure(),isOptional:!1},status:{type:A.String_unsecure(),isOptional:!1},assignedRole:{type:k,isOptional:!1},decision:{type:$,isOptional:!0},decidedAt:{type:A.DateTime(),isOptional:!0},decidedBy:{type:A.String_unsecure(),isOptional:!0}}});import{defineEvent as f,StabilityEnum as G}from"@contractspec/lib.contracts-spec";import{defineSchemaModel as J,ScalarTypeEnum as _}from"@contractspec/lib.schema";var P=J({name:"KbChangeDetectedPayload",description:"Emitted when a source change is detected.",fields:{changeCandidateId:{type:_.String_unsecure(),isOptional:!1},sourceDocumentId:{type:_.String_unsecure(),isOptional:!1},riskLevel:{type:_.String_unsecure(),isOptional:!1}}}),_x=f({meta:{key:"kb.change.detected",version:"1.0.0",description:"KB source change detected.",stability:G.Experimental,owners:[],tags:[]},payload:P}),h=J({name:"KbChangeSummarizedPayload",description:"Emitted when a change summary is produced.",fields:{changeCandidateId:{type:_.String_unsecure(),isOptional:!1},summary:{type:_.String_unsecure(),isOptional:!1},riskLevel:{type:_.String_unsecure(),isOptional:!1}}}),Ax=f({meta:{key:"kb.change.summarized",version:"1.0.0",description:"KB change summarized.",stability:G.Experimental,owners:[],tags:[]},payload:h}),M=J({name:"KbPatchProposedPayload",description:"Emitted when draft rule patches are proposed.",fields:{changeCandidateId:{type:_.String_unsecure(),isOptional:!1},proposedRuleVersionIds:{type:_.String_unsecure(),isArray:!0,isOptional:!1}}}),Lx=f({meta:{key:"kb.patch.proposed",version:"1.0.0",description:"KB rule patch proposed (draft versions created).",stability:G.Experimental,owners:[],tags:[]},payload:M}),y=J({name:"KbReviewRequestedPayload",description:"Emitted when a review is requested.",fields:{reviewTaskId:{type:_.String_unsecure(),isOptional:!1},changeCandidateId:{type:_.String_unsecure(),isOptional:!1},assignedRole:{type:_.String_unsecure(),isOptional:!1}}}),jx=f({meta:{key:"kb.review.requested",version:"1.0.0",description:"KB review requested.",stability:G.Experimental,owners:[],tags:[]},payload:y}),T=J({name:"KbReviewDecidedPayload",description:"Emitted when a review task is decided.",fields:{reviewTaskId:{type:_.String_unsecure(),isOptional:!1},decision:{type:_.String_unsecure(),isOptional:!1},decidedBy:{type:_.String_unsecure(),isOptional:!1}}}),Bx=f({meta:{key:"kb.review.decided",version:"1.0.0",description:"KB review decided.",stability:G.Experimental,owners:[],tags:[]},payload:T});import{defineExample as o}from"@contractspec/lib.contracts-spec";var m=o({meta:{key:"kb-update-pipeline",version:"1.0.0",title:"KB Update Pipeline",description:"Automation proposes KB updates; humans verify; everything audited and notified.",kind:"knowledge",visibility:"public",stability:"experimental",owners:["@platform.core"],tags:["knowledge","pipeline","hitl","audit"]},docs:{rootDocId:"docs.examples.kb-update-pipeline"},entrypoints:{packageName:"@contractspec/example.kb-update-pipeline",feature:"./feature",contracts:"./contracts",handlers:"./handlers",docs:"./docs"},surfaces:{templates:!0,sandbox:{enabled:!0,modes:["markdown","specs","builder"]},studio:{enabled:!0,installable:!0},mcp:{enabled:!0}}}),r=m;function Gx(){return{candidates:new Map,reviewTasks:new Map,proposedRuleVersionIdsByCandidate:new Map,approvedRuleVersionIds:new Set,notifications:[]}}function b(g,X){return`${g}_${X.replace(/[^a-zA-Z0-9_-]/g,"_")}`}function Jx(g){async function X(x){return{candidates:[...g.candidates.values()].filter((j)=>j.sourceDocumentId.startsWith(`${x.jurisdiction}_`)||!0)}}async function F(x){let L=g.candidates.get(x.changeCandidateId);if(!L)throw Error("CHANGE_CANDIDATE_NOT_FOUND");let j=L.riskLevel==="high"?"expert":"curator",O=b("review",x.changeCandidateId),Y={id:O,changeCandidateId:x.changeCandidateId,status:"open",assignedRole:j,decision:void 0,decidedAt:void 0,decidedBy:void 0};return g.reviewTasks.set(O,Y),g.notifications.push({kind:"kb.review.requested",reviewTaskId:O,changeCandidateId:x.changeCandidateId,assignedRole:j,createdAt:new Date}),Y}async function V(x){if(!g.candidates.has(x.changeCandidateId))throw Error("CHANGE_CANDIDATE_NOT_FOUND");return g.proposedRuleVersionIdsByCandidate.set(x.changeCandidateId,[...x.proposedRuleVersionIds]),{proposedRuleVersionIds:[...x.proposedRuleVersionIds]}}async function w(x){return g.approvedRuleVersionIds.add(x.ruleVersionId),{ruleVersionId:x.ruleVersionId}}async function C(x){let L=g.reviewTasks.get(x.reviewTaskId);if(!L)throw Error("REVIEW_TASK_NOT_FOUND");let j=g.candidates.get(L.changeCandidateId);if(!j)throw Error("CHANGE_CANDIDATE_NOT_FOUND");if(j.riskLevel==="high"&&x.decision==="approve"){if(x.decidedByRole!=="expert")throw Error("FORBIDDEN_ROLE")}let O={...L,status:"decided",decision:x.decision,decidedAt:new Date,decidedBy:x.decidedBy};return g.reviewTasks.set(O.id,O),O}async function K(x){if([...g.reviewTasks.values()].filter((O)=>O.status!=="decided").length)throw Error("NOT_READY");if([...g.reviewTasks.values()].some((O)=>O.decision==="reject"))return{published:!1,reason:"REJECTED"};for(let O of g.reviewTasks.values()){if(O.decision!=="approve")continue;if((g.proposedRuleVersionIdsByCandidate.get(O.changeCandidateId)??[]).filter((W)=>!g.approvedRuleVersionIds.has(W)).length)throw Error("NOT_READY")}return{published:!0}}return{runWatch:X,createReviewTask:F,proposeRulePatch:V,markRuleVersionApproved:w,submitDecision:C,publishIfReady:K}}import{defineFeature as E}from"@contractspec/lib.contracts-spec";var Zx=E({meta:{key:"kb-update-pipeline",version:"1.0.0",title:"KB Update Pipeline (HITL)",description:"Automation proposes KB patches; humans verify; publishing is blocked until approvals are complete.",domain:"knowledge",owners:["@examples"],tags:["knowledge","pipeline","hitl","audit","notifications"],stability:"experimental"},operations:[{key:"kbPipeline.runWatch",version:"1.0.0"},{key:"kbPipeline.createReviewTask",version:"1.0.0"},{key:"kbPipeline.submitDecision",version:"1.0.0"},{key:"kbPipeline.publishIfReady",version:"1.0.0"}],events:[{key:"kb.change.detected",version:"1.0.0"},{key:"kb.change.summarized",version:"1.0.0"},{key:"kb.patch.proposed",version:"1.0.0"},{key:"kb.review.requested",version:"1.0.0"},{key:"kb.review.decided",version:"1.0.0"}],presentations:[{key:"kb.dashboard",version:"1.0.0"},{key:"kb.review.list",version:"1.0.0"},{key:"kb.review.form",version:"1.0.0"}],opToPresentation:[{op:{key:"kbPipeline.runWatch",version:"1.0.0"},pres:{key:"kb.dashboard",version:"1.0.0"}},{op:{key:"kbPipeline.createReviewTask",version:"1.0.0"},pres:{key:"kb.review.list",version:"1.0.0"}},{op:{key:"kbPipeline.submitDecision",version:"1.0.0"},pres:{key:"kb.review.form",version:"1.0.0"}}],presentationsTargets:[{key:"kb.dashboard",version:"1.0.0",targets:["react","markdown"]},{key:"kb.review.list",version:"1.0.0",targets:["react","markdown"]},{key:"kb.review.form",version:"1.0.0",targets:["react"]}],capabilities:{requires:[{key:"identity",version:"1.0.0"},{key:"notifications",version:"1.0.0"},{key:"audit-trail",version:"1.0.0"}]},knowledge:[{key:"kb.knowledge.rules",version:"1.0.0"}],telemetry:[{key:"kb-pipeline.telemetry",version:"1.0.0"}],jobs:[{key:"kb-pipeline.job.watch",version:"1.0.0"}],docs:["docs.examples.kb-update-pipeline.goal","docs.examples.kb-update-pipeline.reference"]});import{defineCommand as Q}from"@contractspec/lib.contracts-spec";import{defineSchemaModel as U,ScalarTypeEnum as B}from"@contractspec/lib.schema";var S=U({name:"KbPipelineRunWatchInput",description:"Trigger a watch cycle for KB sources (demo).",fields:{jurisdiction:{type:B.String_unsecure(),isOptional:!1}}}),p=U({name:"KbPipelineRunWatchOutput",description:"Output containing detected changes.",fields:{candidates:{type:N,isArray:!0,isOptional:!1}}}),s=U({name:"KbPipelineCreateReviewTaskInput",description:"Create a review task for a change candidate.",fields:{changeCandidateId:{type:B.String_unsecure(),isOptional:!1}}}),l=U({name:"KbPipelineSubmitDecisionInput",description:"Submit a decision for a review task.",fields:{reviewTaskId:{type:B.String_unsecure(),isOptional:!1},decision:{type:$,isOptional:!1},decidedBy:{type:B.String_unsecure(),isOptional:!1},decidedByRole:{type:B.String_unsecure(),isOptional:!1}}}),i=U({name:"KbPipelinePublishIfReadyInput",description:"Publish snapshot if approvals are satisfied for a jurisdiction.",fields:{jurisdiction:{type:B.String_unsecure(),isOptional:!1}}}),d=U({name:"KbPipelinePublishIfReadyOutput",description:"Output for publish-if-ready operation.",fields:{published:{type:B.Boolean(),isOptional:!1},reason:{type:B.String_unsecure(),isOptional:!0}}}),Fx=Q({meta:{key:"kbPipeline.runWatch",version:"1.0.0",stability:"experimental",owners:["@examples"],tags:["knowledge","pipeline","jobs"],description:"Detect source changes and create change candidates.",goal:"Automate discovery of updates needing review.",context:"Scheduled job or manual trigger in demos."},io:{input:S,output:p},policy:{auth:"user"}}),Vx=Q({meta:{key:"kbPipeline.createReviewTask",version:"1.0.0",stability:"experimental",owners:["@examples"],tags:["knowledge","pipeline","hitl"],description:"Create a review task for a detected change.",goal:"Route work to human verifiers.",context:"Called after change detection or manual selection."},io:{input:s,output:H},policy:{auth:"user"}}),wx=Q({meta:{key:"kbPipeline.submitDecision",version:"1.0.0",stability:"experimental",owners:["@examples"],tags:["knowledge","pipeline","hitl","rbac"],description:"Submit approve/reject decision for a review task.",goal:"Ensure humans verify before publishing.",context:"Curator/expert reviews and decides."},io:{input:l,output:H,errors:{FORBIDDEN_ROLE:{description:"Role not allowed to approve the given risk level",http:403,gqlCode:"FORBIDDEN_ROLE",when:"curator attempts to approve a high-risk change"},REVIEW_TASK_NOT_FOUND:{description:"Review task not found",http:404,gqlCode:"REVIEW_TASK_NOT_FOUND",when:"reviewTaskId is invalid"}}},policy:{auth:"user"}}),Cx=Q({meta:{key:"kbPipeline.publishIfReady",version:"1.0.0",stability:"experimental",owners:["@examples"],tags:["knowledge","pipeline","publishing"],description:"Publish snapshot if ready (all approvals satisfied).",goal:"Prevent publishing until all required approvals exist.",context:"Called by job or UI to attempt publish."},io:{input:i,output:d,errors:{NOT_READY:{description:"Publishing is blocked because approvals are incomplete",http:409,gqlCode:"NOT_READY",when:"there are open review tasks or unapproved rule versions"}}},policy:{auth:"user"}});import{definePresentation as q,StabilityEnum as z}from"@contractspec/lib.contracts-spec";var kx=q({meta:{key:"kb.dashboard",version:"1.0.0",title:"KB Update Dashboard",description:"Overview of KB change candidates and review tasks.",domain:"knowledge",owners:["@examples"],tags:["dashboard","knowledge"],stability:z.Experimental,goal:"Visualize status",context:"Dashboard"},source:{type:"component",framework:"react",componentKey:"KbDashboard",props:N},targets:["react","markdown"]}),Px=q({meta:{key:"kb.review.list",version:"1.0.0",title:"Review Tasks",description:"List of pending review tasks for the current user.",domain:"knowledge",owners:["@examples"],tags:["list","review"],stability:z.Experimental,goal:"List tasks",context:"Inbox"},source:{type:"component",framework:"react",componentKey:"ReviewTaskList",props:H},targets:["react","markdown"]}),hx=q({meta:{key:"kb.review.form",version:"1.0.0",title:"Review Change",description:"Form to approve or reject a KB change candidate.",domain:"knowledge",owners:["@examples"],tags:["form","review"],stability:z.Experimental,goal:"Review",context:"Detail"},source:{type:"component",framework:"react",componentKey:"ReviewDecisionForm",props:H},targets:["react"]});export{r as example,Gx as createPipelineMemoryStore,Jx as createPipelineMemoryHandlers,H as ReviewTaskModel,$ as ReviewDecisionEnum,k as ReviewAssignedRoleEnum,Zx as KbUpdatePipelineFeature,jx as KbReviewRequestedEvent,Px as KbReviewListPresentation,hx as KbReviewFormPresentation,Bx as KbReviewDecidedEvent,wx as KbPipelineSubmitDecisionContract,Fx as KbPipelineRunWatchContract,Cx as KbPipelinePublishIfReadyContract,Vx as KbPipelineCreateReviewTaskContract,Lx as KbPatchProposedEvent,kx as KbDashboardPresentation,Ax as KbChangeSummarizedEvent,_x as KbChangeDetectedEvent,R as ChangeRiskLevelEnum,N as ChangeCandidateModel};