@contractspec/example.versioned-knowledge-base 1.56.1 → 1.58.0

package/dist/index.js

@@ -1,11 +1,587 @@
-import { KbRuleVersionApprovedEvent, KbRuleVersionCreatedEvent, KbSnapshotPublishedEvent, KbSourceIngestedEvent } from "./events.js";
-import example_default from "./example.js";
-import { KBSnapshotModel, RuleModel, RuleVersionModel, SourceDocumentModel, SourceRefModel } from "./entities/models.js";
-import "./entities/index.js";
-import { KbApproveRuleVersionContract, KbIngestSourceContract, KbPublishSnapshotContract, KbSearchContract, KbUpsertRuleVersionContract } from "./operations/kb.js";
-import "./operations/index.js";
-import { createMemoryKbHandlers, createMemoryKbStore } from "./handlers/memory.handlers.js";
-import { VersionedKnowledgeBaseFeature } from "./versioned-knowledge-base.feature.js";
-import "./docs/index.js";
-
-export { KBSnapshotModel, KbApproveRuleVersionContract, KbIngestSourceContract, KbPublishSnapshotContract, KbRuleVersionApprovedEvent, KbRuleVersionCreatedEvent, KbSearchContract, KbSnapshotPublishedEvent, KbSourceIngestedEvent, KbUpsertRuleVersionContract, RuleModel, RuleVersionModel, SourceDocumentModel, SourceRefModel, VersionedKnowledgeBaseFeature, createMemoryKbHandlers, createMemoryKbStore, example_default as example };
+// @bun
+// src/docs/versioned-knowledge-base.docblock.ts
+import { registerDocBlocks } from "@contractspec/lib.contracts/docs";
+var docBlocks = [
+  {
+    id: "docs.examples.versioned-knowledge-base.goal",
+    title: "Versioned Knowledge Base \u2014 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.
+
+## 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 \u2014 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
+- kb.publishSnapshot
+- kb.search
+
+## Events
+- kb.source.ingested
+- kb.ruleVersion.created
+- kb.ruleVersion.approved
+- kb.snapshot.published`
+  }
+];
+registerDocBlocks(docBlocks);
+// src/entities/models.ts
+import { ScalarTypeEnum, defineSchemaModel } 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, defineSchemaModel as defineSchemaModel2 } from "@contractspec/lib.contracts";
+import { 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";
+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/operations/kb.ts
+import { defineCommand, defineQuery } from "@contractspec/lib.contracts";
+import { ScalarTypeEnum as ScalarTypeEnum3, defineSchemaModel as defineSchemaModel3 } 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";
+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" }]
+  }
+});
+export {
+  example_default as example,
+  createMemoryKbStore,
+  createMemoryKbHandlers,
+  VersionedKnowledgeBaseFeature,
+  SourceRefModel,
+  SourceDocumentModel,
+  RuleVersionModel,
+  RuleModel,
+  KbUpsertRuleVersionContract,
+  KbSourceIngestedEvent,
+  KbSnapshotPublishedEvent,
+  KbSearchContract,
+  KbRuleVersionCreatedEvent,
+  KbRuleVersionApprovedEvent,
+  KbPublishSnapshotContract,
+  KbIngestSourceContract,
+  KbApproveRuleVersionContract,
+  KBSnapshotModel
+};

package/dist/node/docs/index.js

@@ -0,0 +1,44 @@
+// src/docs/versioned-knowledge-base.docblock.ts
+import { registerDocBlocks } from "@contractspec/lib.contracts/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
+- Separates raw sources from curated knowledge.
+- Ensures assistant answers cite a published snapshot.
+- Makes change review and safe regeneration possible.
+
+## 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
+- kb.ingestSource
+- kb.upsertRuleVersion
+- kb.approveRuleVersion
+- kb.publishSnapshot
+- kb.search
+
+## Events
+- kb.source.ingested
+- kb.ruleVersion.created
+- kb.ruleVersion.approved
+- kb.snapshot.published`
+  }
+];
+registerDocBlocks(docBlocks);

package/dist/node/docs/versioned-knowledge-base.docblock.js

@@ -0,0 +1,44 @@
+// src/docs/versioned-knowledge-base.docblock.ts
+import { registerDocBlocks } from "@contractspec/lib.contracts/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
+- Separates raw sources from curated knowledge.
+- Ensures assistant answers cite a published snapshot.
+- Makes change review and safe regeneration possible.
+
+## 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
+- kb.ingestSource
+- kb.upsertRuleVersion
+- kb.approveRuleVersion
+- kb.publishSnapshot
+- kb.search
+
+## Events
+- kb.source.ingested
+- kb.ruleVersion.created
+- kb.ruleVersion.approved
+- kb.snapshot.published`
+  }
+];
+registerDocBlocks(docBlocks);