@contractspec/example.versioned-knowledge-base 3.7.17 → 3.7.18

package/dist/browser/index.js

@@ -1,15 +1,4 @@
-// src/docs/versioned-knowledge-base.docblock.ts
-import { registerDocBlocks } from "@contractspec/lib.contracts-spec/docs";
-var docBlocks = [
-  {
-    id: "docs.examples.versioned-knowledge-base.goal",
-    title: "Versioned Knowledge Base — Goal",
-    summary: "Curated KB with immutable sources, versioned rules, and published snapshots referenced by answers.",
-    kind: "goal",
-    visibility: "public",
-    route: "/docs/examples/versioned-knowledge-base/goal",
-    tags: ["knowledge", "versioning", "snapshots", "traceability"],
-    body: `## Why it matters
+import{registerDocBlocks as B}from"@contractspec/lib.contracts-spec/docs";var S=[{id:"docs.examples.versioned-knowledge-base.goal",title:"Versioned Knowledge Base — Goal",summary:"Curated KB with immutable sources, versioned rules, and published snapshots referenced by answers.",kind:"goal",visibility:"public",route:"/docs/examples/versioned-knowledge-base/goal",tags:["knowledge","versioning","snapshots","traceability"],body:`## Why it matters
 - Separates raw sources from curated knowledge.
 - Ensures assistant answers cite a published snapshot.
 - Makes change review and safe regeneration possible.
@@ -17,17 +6,7 @@ var docBlocks = [
 ## Core invariants
 - Sources are immutable and content-addressed (hash).
 - Rule versions must cite at least one source.
-- Snapshots include only approved rule versions.`
-  },
-  {
-    id: "docs.examples.versioned-knowledge-base.reference",
-    title: "Versioned Knowledge Base — Reference",
-    summary: "Entities, contracts, and events for the versioned KB example.",
-    kind: "reference",
-    visibility: "public",
-    route: "/docs/examples/versioned-knowledge-base",
-    tags: ["knowledge", "reference"],
-    body: `## Contracts
+- Snapshots include only approved rule versions.`},{id:"docs.examples.versioned-knowledge-base.reference",title:"Versioned Knowledge Base — Reference",summary:"Entities, contracts, and events for the versioned KB example.",kind:"reference",visibility:"public",route:"/docs/examples/versioned-knowledge-base",tags:["knowledge","reference"],body:`## Contracts
 - kb.ingestSource
 - kb.upsertRuleVersion
 - kb.approveRuleVersion
@@ -38,603 +17,11 @@ var docBlocks = [
 - kb.source.ingested
 - kb.ruleVersion.created
 - kb.ruleVersion.approved
-- kb.snapshot.published`
-  }
-];
-registerDocBlocks(docBlocks);
-// src/entities/models.ts
-import { defineSchemaModel, ScalarTypeEnum } from "@contractspec/lib.schema";
-var SourceDocumentModel = defineSchemaModel({
-  name: "SourceDocument",
-  description: "Immutable raw source document metadata referencing a stored file.",
-  fields: {
-    id: { type: ScalarTypeEnum.String_unsecure(), isOptional: false },
-    jurisdiction: { type: ScalarTypeEnum.String_unsecure(), isOptional: false },
-    authority: { type: ScalarTypeEnum.String_unsecure(), isOptional: false },
-    title: { type: ScalarTypeEnum.String_unsecure(), isOptional: false },
-    fetchedAt: { type: ScalarTypeEnum.DateTime(), isOptional: false },
-    hash: { type: ScalarTypeEnum.String_unsecure(), isOptional: false },
-    fileId: { type: ScalarTypeEnum.String_unsecure(), isOptional: false }
-  }
-});
-var SourceRefModel = defineSchemaModel({
-  name: "SourceRef",
-  description: "Reference to a source document used to justify a rule version.",
-  fields: {
-    sourceDocumentId: {
-      type: ScalarTypeEnum.String_unsecure(),
-      isOptional: false
-    },
-    excerpt: { type: ScalarTypeEnum.String_unsecure(), isOptional: true }
-  }
-});
-var RuleModel = defineSchemaModel({
-  name: "Rule",
-  description: "Curated rule (stable identity) with topic + jurisdiction scope.",
-  fields: {
-    id: { type: ScalarTypeEnum.String_unsecure(), isOptional: false },
-    jurisdiction: { type: ScalarTypeEnum.String_unsecure(), isOptional: false },
-    topicKey: { type: ScalarTypeEnum.String_unsecure(), isOptional: false }
-  }
-});
-var RuleVersionModel = defineSchemaModel({
-  name: "RuleVersion",
-  description: "A versioned rule content with source references and approval status.",
-  fields: {
-    id: { type: ScalarTypeEnum.String_unsecure(), isOptional: false },
-    ruleId: { type: ScalarTypeEnum.String_unsecure(), isOptional: false },
-    jurisdiction: { type: ScalarTypeEnum.String_unsecure(), isOptional: false },
-    topicKey: { type: ScalarTypeEnum.String_unsecure(), isOptional: false },
-    version: { type: ScalarTypeEnum.String_unsecure(), isOptional: false },
-    content: { type: ScalarTypeEnum.String_unsecure(), isOptional: false },
-    sourceRefs: { type: SourceRefModel, isArray: true, isOptional: false },
-    status: { type: ScalarTypeEnum.String_unsecure(), isOptional: false },
-    approvedBy: { type: ScalarTypeEnum.String_unsecure(), isOptional: true },
-    approvedAt: { type: ScalarTypeEnum.DateTime(), isOptional: true },
-    createdAt: { type: ScalarTypeEnum.DateTime(), isOptional: false }
-  }
-});
-var KBSnapshotModel = defineSchemaModel({
-  name: "KBSnapshot",
-  description: "Published KB snapshot (as-of) referencing approved rule versions.",
-  fields: {
-    id: { type: ScalarTypeEnum.String_unsecure(), isOptional: false },
-    jurisdiction: { type: ScalarTypeEnum.String_unsecure(), isOptional: false },
-    asOfDate: { type: ScalarTypeEnum.DateTime(), isOptional: false },
-    includedRuleVersionIds: {
-      type: ScalarTypeEnum.String_unsecure(),
-      isArray: true,
-      isOptional: false
-    },
-    publishedAt: { type: ScalarTypeEnum.DateTime(), isOptional: false }
-  }
-});
-// src/events.ts
-import { defineEvent } from "@contractspec/lib.contracts-spec";
-import { defineSchemaModel as defineSchemaModel2, ScalarTypeEnum as ScalarTypeEnum2 } from "@contractspec/lib.schema";
-var KbSourceIngestedPayload = defineSchemaModel2({
-  name: "KbSourceIngestedPayload",
-  description: "Emitted when a source document is ingested.",
-  fields: {
-    sourceDocumentId: {
-      type: ScalarTypeEnum2.String_unsecure(),
-      isOptional: false
-    },
-    jurisdiction: { type: ScalarTypeEnum2.String_unsecure(), isOptional: false },
-    hash: { type: ScalarTypeEnum2.String_unsecure(), isOptional: false }
-  }
-});
-var KbSourceIngestedEvent = defineEvent({
-  meta: {
-    key: "kb.source.ingested",
-    version: "1.0.0",
-    description: "Source document ingested (immutable).",
-    stability: "experimental",
-    owners: ["@examples"],
-    tags: ["knowledge"]
-  },
-  payload: KbSourceIngestedPayload
-});
-var KbRuleVersionCreatedPayload = defineSchemaModel2({
-  name: "KbRuleVersionCreatedPayload",
-  description: "Emitted when a rule version draft is created.",
-  fields: {
-    ruleVersionId: {
-      type: ScalarTypeEnum2.String_unsecure(),
-      isOptional: false
-    },
-    ruleId: { type: ScalarTypeEnum2.String_unsecure(), isOptional: false },
-    jurisdiction: { type: ScalarTypeEnum2.String_unsecure(), isOptional: false },
-    status: { type: ScalarTypeEnum2.String_unsecure(), isOptional: false }
-  }
-});
-var KbRuleVersionCreatedEvent = defineEvent({
-  meta: {
-    key: "kb.ruleVersion.created",
-    version: "1.0.0",
-    description: "Rule version created (draft).",
-    stability: "experimental",
-    owners: ["@examples"],
-    tags: ["knowledge"]
-  },
-  payload: KbRuleVersionCreatedPayload
-});
-var KbRuleVersionApprovedPayload = defineSchemaModel2({
-  name: "KbRuleVersionApprovedPayload",
-  description: "Emitted when a rule version is approved.",
-  fields: {
-    ruleVersionId: {
-      type: ScalarTypeEnum2.String_unsecure(),
-      isOptional: false
-    },
-    approver: { type: ScalarTypeEnum2.String_unsecure(), isOptional: false }
-  }
-});
-var KbRuleVersionApprovedEvent = defineEvent({
-  meta: {
-    key: "kb.ruleVersion.approved",
-    version: "1.0.0",
-    description: "Rule version approved (human verified).",
-    stability: "experimental",
-    owners: ["@examples"],
-    tags: ["knowledge"]
-  },
-  payload: KbRuleVersionApprovedPayload
-});
-var KbSnapshotPublishedPayload = defineSchemaModel2({
-  name: "KbSnapshotPublishedPayload",
-  description: "Emitted when a KB snapshot is published.",
-  fields: {
-    snapshotId: { type: ScalarTypeEnum2.String_unsecure(), isOptional: false },
-    jurisdiction: { type: ScalarTypeEnum2.String_unsecure(), isOptional: false },
-    includedRuleVersionsCount: {
-      type: ScalarTypeEnum2.Int_unsecure(),
-      isOptional: false
-    }
-  }
-});
-var KbSnapshotPublishedEvent = defineEvent({
-  meta: {
-    key: "kb.snapshot.published",
-    version: "1.0.0",
-    description: "KB snapshot published.",
-    stability: "experimental",
-    owners: ["@examples"],
-    tags: ["knowledge"]
-  },
-  payload: KbSnapshotPublishedPayload
-});
-
-// src/example.ts
-import { defineExample } from "@contractspec/lib.contracts-spec";
-var example = defineExample({
-  meta: {
-    key: "versioned-knowledge-base",
-    version: "1.0.0",
-    title: "Versioned Knowledge Base",
-    description: "Curated KB with immutable sources, reviewable rule versions, and published snapshots.",
-    kind: "knowledge",
-    visibility: "public",
-    stability: "experimental",
-    owners: ["@platform.core"],
-    tags: ["knowledge", "versioning", "snapshots"]
-  },
-  docs: {
-    rootDocId: "docs.examples.versioned-knowledge-base"
-  },
-  entrypoints: {
-    packageName: "@contractspec/example.versioned-knowledge-base",
-    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 createMemoryKbStore() {
-  return {
-    sources: new Map,
-    rules: new Map,
-    ruleVersions: new Map,
-    snapshots: new Map,
-    nextRuleVersionNumberByRuleId: new Map
-  };
-}
-function stableId(prefix, value) {
-  return `${prefix}_${value.replace(/[^a-zA-Z0-9_-]/g, "_")}`;
-}
-function createMemoryKbHandlers(store) {
-  async function createRule(rule) {
-    store.rules.set(rule.id, rule);
-    return rule;
-  }
-  async function ingestSource(input) {
-    const id = stableId("src", `${input.jurisdiction}_${input.hash}`);
-    const doc = { id, ...input };
-    store.sources.set(id, doc);
-    return doc;
-  }
-  async function upsertRuleVersion(input) {
-    if (!input.sourceRefs.length) {
-      throw new Error("SOURCE_REFS_REQUIRED");
-    }
-    const rule = store.rules.get(input.ruleId);
-    if (!rule) {
-      throw new Error("RULE_NOT_FOUND");
-    }
-    const next = (store.nextRuleVersionNumberByRuleId.get(input.ruleId) ?? 0) + 1;
-    const id = stableId("rv", `${input.ruleId}_${next}`);
-    const ruleVersion = {
-      id,
-      ruleId: input.ruleId,
-      jurisdiction: rule.jurisdiction,
-      topicKey: rule.topicKey,
-      version: next.toString(),
-      content: input.content,
-      sourceRefs: input.sourceRefs,
-      status: "draft",
-      createdAt: new Date,
-      approvedAt: undefined,
-      approvedBy: undefined
-    };
-    store.ruleVersions.set(id, ruleVersion);
-    return ruleVersion;
-  }
-  async function approveRuleVersion(input) {
-    const existing = store.ruleVersions.get(input.ruleVersionId);
-    if (!existing) {
-      throw new Error("RULE_VERSION_NOT_FOUND");
-    }
-    const approved = {
-      ...existing,
-      status: "approved",
-      approvedBy: input.approver,
-      approvedAt: new Date
-    };
-    store.ruleVersions.set(approved.id, approved);
-    return approved;
-  }
-  async function publishSnapshot(input) {
-    const approved = [...store.ruleVersions.values()].filter((rv) => rv.status === "approved" && rv.jurisdiction === input.jurisdiction);
-    if (approved.length === 0) {
-      throw new Error("NO_APPROVED_RULES");
-    }
-    const includedRuleVersionIds = approved.map((rv) => rv.id).sort();
-    const id = stableId("snap", `${input.jurisdiction}_${input.asOfDate.toISOString().slice(0, 10)}_${includedRuleVersionIds.length}`);
-    const snapshot = {
-      id,
-      jurisdiction: input.jurisdiction,
-      asOfDate: input.asOfDate,
-      includedRuleVersionIds,
-      publishedAt: new Date
-    };
-    store.snapshots.set(id, snapshot);
-    return snapshot;
-  }
-  async function search(input) {
-    const snapshot = store.snapshots.get(input.snapshotId);
-    if (!snapshot) {
-      throw new Error("SNAPSHOT_NOT_FOUND");
-    }
-    if (snapshot.jurisdiction !== input.jurisdiction) {
-      throw new Error("JURISDICTION_MISMATCH");
-    }
-    const q = input.query.toLowerCase();
-    const tokens = q.split(/\s+/).map((t) => t.trim()).filter(Boolean);
-    const items = snapshot.includedRuleVersionIds.map((id) => store.ruleVersions.get(id)).filter((rv) => Boolean(rv)).filter((rv) => {
-      if (tokens.length === 0)
-        return true;
-      const hay = rv.content.toLowerCase();
-      return tokens.every((token) => hay.includes(token));
-    }).map((rv) => ({
-      ruleVersionId: rv.id,
-      excerpt: rv.content.slice(0, 120)
-    }));
-    return { items };
-  }
-  return {
-    createRule,
-    ingestSource,
-    upsertRuleVersion,
-    approveRuleVersion,
-    publishSnapshot,
-    search
-  };
-}
-// src/knowledge-snapshot-publication.migration.ts
-import {
-  OwnersEnum,
-  StabilityEnum,
-  TagsEnum
-} from "@contractspec/lib.contracts-spec/ownership";
-var KnowledgeSnapshotPublicationMigration = {
-  meta: {
-    key: "versioned-knowledge-base.migration.snapshot-publication",
-    version: "1.0.0",
-    title: "Knowledge Snapshot Publication Migration",
-    description: "Adds publication audit fields and validation checks for published knowledge snapshots.",
-    domain: "knowledge",
-    owners: [OwnersEnum.PlatformContent],
-    tags: ["knowledge", "migration", "snapshots", TagsEnum.Hygiene],
-    stability: StabilityEnum.Experimental
-  },
-  dependencies: ["versioned-knowledge-base.migration.bootstrap"],
-  plan: {
-    up: [
-      {
-        kind: "schema",
-        description: "Create the published snapshot audit table.",
-        sql: `
+- kb.snapshot.published`}];B(S);import{defineSchemaModel as c,ScalarTypeEnum as t}from"@contractspec/lib.schema";var V=c({name:"SourceDocument",description:"Immutable raw source document metadata referencing a stored file.",fields:{id:{type:t.String_unsecure(),isOptional:!1},jurisdiction:{type:t.String_unsecure(),isOptional:!1},authority:{type:t.String_unsecure(),isOptional:!1},title:{type:t.String_unsecure(),isOptional:!1},fetchedAt:{type:t.DateTime(),isOptional:!1},hash:{type:t.String_unsecure(),isOptional:!1},fileId:{type:t.String_unsecure(),isOptional:!1}}}),O=c({name:"SourceRef",description:"Reference to a source document used to justify a rule version.",fields:{sourceDocumentId:{type:t.String_unsecure(),isOptional:!1},excerpt:{type:t.String_unsecure(),isOptional:!0}}}),T=c({name:"Rule",description:"Curated rule (stable identity) with topic + jurisdiction scope.",fields:{id:{type:t.String_unsecure(),isOptional:!1},jurisdiction:{type:t.String_unsecure(),isOptional:!1},topicKey:{type:t.String_unsecure(),isOptional:!1}}}),_=c({name:"RuleVersion",description:"A versioned rule content with source references and approval status.",fields:{id:{type:t.String_unsecure(),isOptional:!1},ruleId:{type:t.String_unsecure(),isOptional:!1},jurisdiction:{type:t.String_unsecure(),isOptional:!1},topicKey:{type:t.String_unsecure(),isOptional:!1},version:{type:t.String_unsecure(),isOptional:!1},content:{type:t.String_unsecure(),isOptional:!1},sourceRefs:{type:O,isArray:!0,isOptional:!1},status:{type:t.String_unsecure(),isOptional:!1},approvedBy:{type:t.String_unsecure(),isOptional:!0},approvedAt:{type:t.DateTime(),isOptional:!0},createdAt:{type:t.DateTime(),isOptional:!1}}}),y=c({name:"KBSnapshot",description:"Published KB snapshot (as-of) referencing approved rule versions.",fields:{id:{type:t.String_unsecure(),isOptional:!1},jurisdiction:{type:t.String_unsecure(),isOptional:!1},asOfDate:{type:t.DateTime(),isOptional:!1},includedRuleVersionIds:{type:t.String_unsecure(),isArray:!0,isOptional:!1},publishedAt:{type:t.DateTime(),isOptional:!1}}});import{defineEvent as g}from"@contractspec/lib.contracts-spec";import{defineSchemaModel as d,ScalarTypeEnum as u}from"@contractspec/lib.schema";var K=d({name:"KbSourceIngestedPayload",description:"Emitted when a source document is ingested.",fields:{sourceDocumentId:{type:u.String_unsecure(),isOptional:!1},jurisdiction:{type:u.String_unsecure(),isOptional:!1},hash:{type:u.String_unsecure(),isOptional:!1}}}),ie=g({meta:{key:"kb.source.ingested",version:"1.0.0",description:"Source document ingested (immutable).",stability:"experimental",owners:["@examples"],tags:["knowledge"]},payload:K}),N=d({name:"KbRuleVersionCreatedPayload",description:"Emitted when a rule version draft is created.",fields:{ruleVersionId:{type:u.String_unsecure(),isOptional:!1},ruleId:{type:u.String_unsecure(),isOptional:!1},jurisdiction:{type:u.String_unsecure(),isOptional:!1},status:{type:u.String_unsecure(),isOptional:!1}}}),ne=g({meta:{key:"kb.ruleVersion.created",version:"1.0.0",description:"Rule version created (draft).",stability:"experimental",owners:["@examples"],tags:["knowledge"]},payload:N}),P=d({name:"KbRuleVersionApprovedPayload",description:"Emitted when a rule version is approved.",fields:{ruleVersionId:{type:u.String_unsecure(),isOptional:!1},approver:{type:u.String_unsecure(),isOptional:!1}}}),oe=g({meta:{key:"kb.ruleVersion.approved",version:"1.0.0",description:"Rule version approved (human verified).",stability:"experimental",owners:["@examples"],tags:["knowledge"]},payload:P}),m=d({name:"KbSnapshotPublishedPayload",description:"Emitted when a KB snapshot is published.",fields:{snapshotId:{type:u.String_unsecure(),isOptional:!1},jurisdiction:{type:u.String_unsecure(),isOptional:!1},includedRuleVersionsCount:{type:u.Int_unsecure(),isOptional:!1}}}),ue=g({meta:{key:"kb.snapshot.published",version:"1.0.0",description:"KB snapshot published.",stability:"experimental",owners:["@examples"],tags:["knowledge"]},payload:m});import{defineExample as M}from"@contractspec/lib.contracts-spec";var $=M({meta:{key:"versioned-knowledge-base",version:"1.0.0",title:"Versioned Knowledge Base",description:"Curated KB with immutable sources, reviewable rule versions, and published snapshots.",kind:"knowledge",visibility:"public",stability:"experimental",owners:["@platform.core"],tags:["knowledge","versioning","snapshots"]},docs:{rootDocId:"docs.examples.versioned-knowledge-base"},entrypoints:{packageName:"@contractspec/example.versioned-knowledge-base",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}}}),U=$;function ce(){return{sources:new Map,rules:new Map,ruleVersions:new Map,snapshots:new Map,nextRuleVersionNumberByRuleId:new Map}}function D(n,R){return`${n}_${R.replace(/[^a-zA-Z0-9_-]/g,"_")}`}function ge(n){async function R(e){return n.rules.set(e.id,e),e}async function I(e){let s=D("src",`${e.jurisdiction}_${e.hash}`),o={id:s,...e};return n.sources.set(s,o),o}async function h(e){if(!e.sourceRefs.length)throw Error("SOURCE_REFS_REQUIRED");let s=n.rules.get(e.ruleId);if(!s)throw Error("RULE_NOT_FOUND");let o=(n.nextRuleVersionNumberByRuleId.get(e.ruleId)??0)+1,p=D("rv",`${e.ruleId}_${o}`),l={id:p,ruleId:e.ruleId,jurisdiction:s.jurisdiction,topicKey:s.topicKey,version:o.toString(),content:e.content,sourceRefs:e.sourceRefs,status:"draft",createdAt:new Date,approvedAt:void 0,approvedBy:void 0};return n.ruleVersions.set(p,l),l}async function j(e){let s=n.ruleVersions.get(e.ruleVersionId);if(!s)throw Error("RULE_VERSION_NOT_FOUND");let o={...s,status:"approved",approvedBy:e.approver,approvedAt:new Date};return n.ruleVersions.set(o.id,o),o}async function w(e){let s=[...n.ruleVersions.values()].filter((i)=>i.status==="approved"&&i.jurisdiction===e.jurisdiction);if(s.length===0)throw Error("NO_APPROVED_RULES");let o=s.map((i)=>i.id).sort(),p=D("snap",`${e.jurisdiction}_${e.asOfDate.toISOString().slice(0,10)}_${o.length}`),l={id:p,jurisdiction:e.jurisdiction,asOfDate:e.asOfDate,includedRuleVersionIds:o,publishedAt:new Date};return n.snapshots.set(p,l),l}async function v(e){let s=n.snapshots.get(e.snapshotId);if(!s)throw Error("SNAPSHOT_NOT_FOUND");if(s.jurisdiction!==e.jurisdiction)throw Error("JURISDICTION_MISMATCH");let p=e.query.toLowerCase().split(/\s+/).map((i)=>i.trim()).filter(Boolean);return{items:s.includedRuleVersionIds.map((i)=>n.ruleVersions.get(i)).filter((i)=>Boolean(i)).filter((i)=>{if(p.length===0)return!0;let x=i.content.toLowerCase();return p.every((A)=>x.includes(A))}).map((i)=>({ruleVersionId:i.id,excerpt:i.content.slice(0,120)}))}}return{createRule:R,ingestSource:I,upsertRuleVersion:h,approveRuleVersion:j,publishSnapshot:w,search:v}}import{OwnersEnum as q,StabilityEnum as H,TagsEnum as L}from"@contractspec/lib.contracts-spec/ownership";var _e={meta:{key:"versioned-knowledge-base.migration.snapshot-publication",version:"1.0.0",title:"Knowledge Snapshot Publication Migration",description:"Adds publication audit fields and validation checks for published knowledge snapshots.",domain:"knowledge",owners:[q.PlatformContent],tags:["knowledge","migration","snapshots",L.Hygiene],stability:H.Experimental},dependencies:["versioned-knowledge-base.migration.bootstrap"],plan:{up:[{kind:"schema",description:"Create the published snapshot audit table.",sql:`
 CREATE TABLE kb_snapshot_publications (
   snapshot_id TEXT PRIMARY KEY,
   published_by TEXT NOT NULL,
   published_at TIMESTAMPTZ NOT NULL,
   source_count INTEGER NOT NULL,
   rule_version_count INTEGER NOT NULL
-);`
-      },
-      {
-        kind: "validation",
-        description: "Ensure snapshots have at least one approved rule version.",
-        assertion: "SELECT COUNT(*) = 0 FROM kb_snapshots WHERE array_length(included_rule_version_ids, 1) = 0"
-      }
-    ],
-    down: [
-      {
-        kind: "schema",
-        description: "Remove the snapshot publication audit table.",
-        sql: "DROP TABLE IF EXISTS kb_snapshot_publications;"
-      }
-    ]
-  }
-};
-
-// src/operations/kb.ts
-import { defineCommand, defineQuery } from "@contractspec/lib.contracts-spec";
-import { defineSchemaModel as defineSchemaModel3, ScalarTypeEnum as ScalarTypeEnum3 } from "@contractspec/lib.schema";
-var IngestSourceInput = defineSchemaModel3({
-  name: "KbIngestSourceInput",
-  description: "Ingest immutable source metadata referencing a stored file.",
-  fields: {
-    jurisdiction: { type: ScalarTypeEnum3.String_unsecure(), isOptional: false },
-    authority: { type: ScalarTypeEnum3.String_unsecure(), isOptional: false },
-    title: { type: ScalarTypeEnum3.String_unsecure(), isOptional: false },
-    fetchedAt: { type: ScalarTypeEnum3.DateTime(), isOptional: false },
-    hash: { type: ScalarTypeEnum3.String_unsecure(), isOptional: false },
-    fileId: { type: ScalarTypeEnum3.String_unsecure(), isOptional: false }
-  }
-});
-var UpsertRuleVersionInput = defineSchemaModel3({
-  name: "KbUpsertRuleVersionInput",
-  description: "Create a new draft rule version (immutable history).",
-  fields: {
-    ruleId: { type: ScalarTypeEnum3.String_unsecure(), isOptional: false },
-    content: { type: ScalarTypeEnum3.String_unsecure(), isOptional: false },
-    sourceRefs: { type: SourceRefModel, isArray: true, isOptional: false }
-  }
-});
-var ApproveRuleVersionInput = defineSchemaModel3({
-  name: "KbApproveRuleVersionInput",
-  description: "Approve a rule version (human verification).",
-  fields: {
-    ruleVersionId: {
-      type: ScalarTypeEnum3.String_unsecure(),
-      isOptional: false
-    },
-    approver: { type: ScalarTypeEnum3.String_unsecure(), isOptional: false }
-  }
-});
-var PublishSnapshotInput = defineSchemaModel3({
-  name: "KbPublishSnapshotInput",
-  description: "Publish a snapshot for a jurisdiction as-of a date.",
-  fields: {
-    jurisdiction: { type: ScalarTypeEnum3.String_unsecure(), isOptional: false },
-    asOfDate: { type: ScalarTypeEnum3.DateTime(), isOptional: false }
-  }
-});
-var SearchKbInput = defineSchemaModel3({
-  name: "KbSearchInput",
-  description: "Search within a published snapshot.",
-  fields: {
-    snapshotId: { type: ScalarTypeEnum3.String_unsecure(), isOptional: false },
-    jurisdiction: { type: ScalarTypeEnum3.String_unsecure(), isOptional: false },
-    query: { type: ScalarTypeEnum3.String_unsecure(), isOptional: false }
-  }
-});
-var SearchKbResultItem = defineSchemaModel3({
-  name: "KbSearchResultItem",
-  description: "Search result referencing a specific rule version.",
-  fields: {
-    ruleVersionId: {
-      type: ScalarTypeEnum3.String_unsecure(),
-      isOptional: false
-    },
-    excerpt: { type: ScalarTypeEnum3.String_unsecure(), isOptional: true }
-  }
-});
-var SearchKbOutput = defineSchemaModel3({
-  name: "KbSearchOutput",
-  description: "Search results constrained to snapshot + jurisdiction.",
-  fields: {
-    items: { type: SearchKbResultItem, isArray: true, isOptional: false }
-  }
-});
-var KbIngestSourceContract = defineCommand({
-  meta: {
-    key: "kb.ingestSource",
-    title: "Ingest Source",
-    version: "1.0.0",
-    stability: "experimental",
-    owners: ["@examples"],
-    tags: ["knowledge", "sources", "ingestion"],
-    description: "Ingest immutable source document metadata.",
-    goal: "Store traceable source documents for curated KB.",
-    context: "Called when an admin uploads/records authoritative sources."
-  },
-  io: {
-    input: IngestSourceInput,
-    output: SourceDocumentModel
-  },
-  policy: { auth: "user" }
-});
-var KbUpsertRuleVersionContract = defineCommand({
-  meta: {
-    key: "kb.upsertRuleVersion",
-    title: "Upsert Rule Version",
-    version: "1.0.0",
-    stability: "experimental",
-    owners: ["@examples"],
-    tags: ["knowledge", "rules", "versioning"],
-    description: "Create a new draft rule version with source references.",
-    goal: "Propose curated knowledge updates with traceability.",
-    context: "Automation or curators propose draft rule versions."
-  },
-  io: {
-    input: UpsertRuleVersionInput,
-    output: RuleVersionModel,
-    errors: {
-      SOURCE_REFS_REQUIRED: {
-        description: "Rule version must cite at least one sourceRef",
-        http: 400,
-        gqlCode: "SOURCE_REFS_REQUIRED",
-        when: "sourceRefs is empty"
-      },
-      RULE_NOT_FOUND: {
-        description: "Rule does not exist",
-        http: 404,
-        gqlCode: "RULE_NOT_FOUND",
-        when: "ruleId is unknown"
-      }
-    }
-  },
-  policy: { auth: "user" }
-});
-var KbApproveRuleVersionContract = defineCommand({
-  meta: {
-    key: "kb.approveRuleVersion",
-    title: "Approve Rule Version",
-    version: "1.0.0",
-    stability: "experimental",
-    owners: ["@examples"],
-    tags: ["knowledge", "rules", "approval"],
-    description: "Approve a draft rule version.",
-    goal: "Human verification step before publishing snapshots.",
-    context: "Curators/experts approve proposed KB changes."
-  },
-  io: {
-    input: ApproveRuleVersionInput,
-    output: RuleVersionModel
-  },
-  policy: { auth: "user" }
-});
-var KbPublishSnapshotContract = defineCommand({
-  meta: {
-    key: "kb.publishSnapshot",
-    title: "Publish Snapshot",
-    version: "1.0.0",
-    stability: "experimental",
-    owners: ["@examples"],
-    tags: ["knowledge", "snapshots", "publishing"],
-    description: "Publish a KB snapshot for a jurisdiction.",
-    goal: "Create a stable snapshot that assistant answers can cite.",
-    context: "Publishing happens after approvals; snapshot is referenced by answers."
-  },
-  io: {
-    input: PublishSnapshotInput,
-    output: KBSnapshotModel,
-    errors: {
-      NO_APPROVED_RULES: {
-        description: "No approved rule versions available to publish",
-        http: 409,
-        gqlCode: "NO_APPROVED_RULES",
-        when: "jurisdiction has zero approved rule versions"
-      }
-    }
-  },
-  policy: { auth: "user" }
-});
-var KbSearchContract = defineQuery({
-  meta: {
-    key: "kb.search",
-    title: "Search KB",
-    version: "1.0.0",
-    stability: "experimental",
-    owners: ["@examples"],
-    tags: ["knowledge", "search", "snapshots"],
-    description: "Search within a published KB snapshot.",
-    goal: "Provide scoped retrieval for assistant answers.",
-    context: "Assistant queries curated rules from a specific snapshot."
-  },
-  io: {
-    input: SearchKbInput,
-    output: SearchKbOutput
-  },
-  policy: { auth: "user" }
-});
-// src/versioned-knowledge-base.feature.ts
-import { defineFeature } from "@contractspec/lib.contracts-spec";
-var VersionedKnowledgeBaseFeature = defineFeature({
-  meta: {
-    key: "versioned-knowledge-base",
-    version: "1.0.0",
-    title: "Versioned Knowledge Base",
-    description: "Curated KB with immutable sources, rule versions, and published snapshots.",
-    domain: "knowledge",
-    owners: ["@examples"],
-    tags: ["knowledge", "versioning", "snapshots"],
-    stability: "experimental"
-  },
-  operations: [
-    { key: "kb.ingestSource", version: "1.0.0" },
-    { key: "kb.upsertRuleVersion", version: "1.0.0" },
-    { key: "kb.approveRuleVersion", version: "1.0.0" },
-    { key: "kb.publishSnapshot", version: "1.0.0" },
-    { key: "kb.search", version: "1.0.0" }
-  ],
-  events: [
-    { key: "kb.source.ingested", version: "1.0.0" },
-    { key: "kb.ruleVersion.created", version: "1.0.0" },
-    { key: "kb.ruleVersion.approved", version: "1.0.0" },
-    { key: "kb.snapshot.published", version: "1.0.0" }
-  ],
-  presentations: [],
-  opToPresentation: [],
-  presentationsTargets: [],
-  capabilities: {
-    requires: [{ key: "knowledge", version: "1.0.0" }]
-  },
-  knowledge: [{ key: "kb.knowledge.rules", version: "1.0.0" }],
-  docs: [
-    "docs.examples.versioned-knowledge-base.goal",
-    "docs.examples.versioned-knowledge-base.reference"
-  ]
-});
-export {
-  example_default as example,
-  createMemoryKbStore,
-  createMemoryKbHandlers,
-  VersionedKnowledgeBaseFeature,
-  SourceRefModel,
-  SourceDocumentModel,
-  RuleVersionModel,
-  RuleModel,
-  KnowledgeSnapshotPublicationMigration,
-  KbUpsertRuleVersionContract,
-  KbSourceIngestedEvent,
-  KbSnapshotPublishedEvent,
-  KbSearchContract,
-  KbRuleVersionCreatedEvent,
-  KbRuleVersionApprovedEvent,
-  KbPublishSnapshotContract,
-  KbIngestSourceContract,
-  KbApproveRuleVersionContract,
-  KBSnapshotModel
-};
+);`},{kind:"validation",description:"Ensure snapshots have at least one approved rule version.",assertion:"SELECT COUNT(*) = 0 FROM kb_snapshots WHERE array_length(included_rule_version_ids, 1) = 0"}],down:[{kind:"schema",description:"Remove the snapshot publication audit table.",sql:"DROP TABLE IF EXISTS kb_snapshot_publications;"}]}};import{defineCommand as f,defineQuery as F}from"@contractspec/lib.contracts-spec";import{defineSchemaModel as a,ScalarTypeEnum as r}from"@contractspec/lib.schema";var z=a({name:"KbIngestSourceInput",description:"Ingest immutable source metadata referencing a stored file.",fields:{jurisdiction:{type:r.String_unsecure(),isOptional:!1},authority:{type:r.String_unsecure(),isOptional:!1},title:{type:r.String_unsecure(),isOptional:!1},fetchedAt:{type:r.DateTime(),isOptional:!1},hash:{type:r.String_unsecure(),isOptional:!1},fileId:{type:r.String_unsecure(),isOptional:!1}}}),C=a({name:"KbUpsertRuleVersionInput",description:"Create a new draft rule version (immutable history).",fields:{ruleId:{type:r.String_unsecure(),isOptional:!1},content:{type:r.String_unsecure(),isOptional:!1},sourceRefs:{type:O,isArray:!0,isOptional:!1}}}),J=a({name:"KbApproveRuleVersionInput",description:"Approve a rule version (human verification).",fields:{ruleVersionId:{type:r.String_unsecure(),isOptional:!1},approver:{type:r.String_unsecure(),isOptional:!1}}}),Z=a({name:"KbPublishSnapshotInput",description:"Publish a snapshot for a jurisdiction as-of a date.",fields:{jurisdiction:{type:r.String_unsecure(),isOptional:!1},asOfDate:{type:r.DateTime(),isOptional:!1}}}),G=a({name:"KbSearchInput",description:"Search within a published snapshot.",fields:{snapshotId:{type:r.String_unsecure(),isOptional:!1},jurisdiction:{type:r.String_unsecure(),isOptional:!1},query:{type:r.String_unsecure(),isOptional:!1}}}),Q=a({name:"KbSearchResultItem",description:"Search result referencing a specific rule version.",fields:{ruleVersionId:{type:r.String_unsecure(),isOptional:!1},excerpt:{type:r.String_unsecure(),isOptional:!0}}}),W=a({name:"KbSearchOutput",description:"Search results constrained to snapshot + jurisdiction.",fields:{items:{type:Q,isArray:!0,isOptional:!1}}}),he=f({meta:{key:"kb.ingestSource",title:"Ingest Source",version:"1.0.0",stability:"experimental",owners:["@examples"],tags:["knowledge","sources","ingestion"],description:"Ingest immutable source document metadata.",goal:"Store traceable source documents for curated KB.",context:"Called when an admin uploads/records authoritative sources."},io:{input:z,output:V},policy:{auth:"user"}}),je=f({meta:{key:"kb.upsertRuleVersion",title:"Upsert Rule Version",version:"1.0.0",stability:"experimental",owners:["@examples"],tags:["knowledge","rules","versioning"],description:"Create a new draft rule version with source references.",goal:"Propose curated knowledge updates with traceability.",context:"Automation or curators propose draft rule versions."},io:{input:C,output:_,errors:{SOURCE_REFS_REQUIRED:{description:"Rule version must cite at least one sourceRef",http:400,gqlCode:"SOURCE_REFS_REQUIRED",when:"sourceRefs is empty"},RULE_NOT_FOUND:{description:"Rule does not exist",http:404,gqlCode:"RULE_NOT_FOUND",when:"ruleId is unknown"}}},policy:{auth:"user"}}),we=f({meta:{key:"kb.approveRuleVersion",title:"Approve Rule Version",version:"1.0.0",stability:"experimental",owners:["@examples"],tags:["knowledge","rules","approval"],description:"Approve a draft rule version.",goal:"Human verification step before publishing snapshots.",context:"Curators/experts approve proposed KB changes."},io:{input:J,output:_},policy:{auth:"user"}}),ve=f({meta:{key:"kb.publishSnapshot",title:"Publish Snapshot",version:"1.0.0",stability:"experimental",owners:["@examples"],tags:["knowledge","snapshots","publishing"],description:"Publish a KB snapshot for a jurisdiction.",goal:"Create a stable snapshot that assistant answers can cite.",context:"Publishing happens after approvals; snapshot is referenced by answers."},io:{input:Z,output:y,errors:{NO_APPROVED_RULES:{description:"No approved rule versions available to publish",http:409,gqlCode:"NO_APPROVED_RULES",when:"jurisdiction has zero approved rule versions"}}},policy:{auth:"user"}}),xe=F({meta:{key:"kb.search",title:"Search KB",version:"1.0.0",stability:"experimental",owners:["@examples"],tags:["knowledge","search","snapshots"],description:"Search within a published KB snapshot.",goal:"Provide scoped retrieval for assistant answers.",context:"Assistant queries curated rules from a specific snapshot."},io:{input:G,output:W},policy:{auth:"user"}});import{defineFeature as X}from"@contractspec/lib.contracts-spec";var Ne=X({meta:{key:"versioned-knowledge-base",version:"1.0.0",title:"Versioned Knowledge Base",description:"Curated KB with immutable sources, rule versions, and published snapshots.",domain:"knowledge",owners:["@examples"],tags:["knowledge","versioning","snapshots"],stability:"experimental"},operations:[{key:"kb.ingestSource",version:"1.0.0"},{key:"kb.upsertRuleVersion",version:"1.0.0"},{key:"kb.approveRuleVersion",version:"1.0.0"},{key:"kb.publishSnapshot",version:"1.0.0"},{key:"kb.search",version:"1.0.0"}],events:[{key:"kb.source.ingested",version:"1.0.0"},{key:"kb.ruleVersion.created",version:"1.0.0"},{key:"kb.ruleVersion.approved",version:"1.0.0"},{key:"kb.snapshot.published",version:"1.0.0"}],presentations:[],opToPresentation:[],presentationsTargets:[],capabilities:{requires:[{key:"knowledge",version:"1.0.0"}]},knowledge:[{key:"kb.knowledge.rules",version:"1.0.0"}],docs:["docs.examples.versioned-knowledge-base.goal","docs.examples.versioned-knowledge-base.reference"]});export{U as example,ce as createMemoryKbStore,ge as createMemoryKbHandlers,Ne as VersionedKnowledgeBaseFeature,O as SourceRefModel,V as SourceDocumentModel,_ as RuleVersionModel,T as RuleModel,_e as KnowledgeSnapshotPublicationMigration,je as KbUpsertRuleVersionContract,ie as KbSourceIngestedEvent,ue as KbSnapshotPublishedEvent,xe as KbSearchContract,ne as KbRuleVersionCreatedEvent,oe as KbRuleVersionApprovedEvent,ve as KbPublishSnapshotContract,he as KbIngestSourceContract,we as KbApproveRuleVersionContract,y as KBSnapshotModel};