@contractspec/bundle.library 3.8.9 → 3.8.11

package/dist/components/docs/shared/StudioPrompt.js

@@ -1,32 +1,2 @@
 // @bun
-// src/components/docs/shared/StudioPrompt.tsx
-import Link from "@contractspec/lib.ui-link";
-import { jsx, jsxs } from "react/jsx-runtime";
-function StudioPrompt({
-  title = "Need the operating layer on top of OSS ContractSpec?",
-  body = "ContractSpec Studio helps teams turn evidence into proposed spec changes, governed delivery loops, and execution-ready task packs while keeping the open contract system as the source of truth.",
-  ctaLabel = "See what Studio adds",
-  href = "https://www.contractspec.studio/docs"
-}) {
-  return /* @__PURE__ */ jsxs("div", {
-    className: "card-subtle space-y-3 p-6",
-    children: [
-      /* @__PURE__ */ jsx("h3", {
-        className: "font-semibold text-lg",
-        children: title
-      }),
-      /* @__PURE__ */ jsx("p", {
-        className: "text-muted-foreground text-sm",
-        children: body
-      }),
-      /* @__PURE__ */ jsx(Link, {
-        href,
-        className: "btn-primary",
-        children: ctaLabel
-      })
-    ]
-  });
-}
-export {
-  StudioPrompt
-};
+import a from"@contractspec/lib.ui-link";import{jsx as t,jsxs as n}from"react/jsx-runtime";function p({title:e="Need the operating layer on top of OSS ContractSpec?",body:o="ContractSpec Studio helps teams turn evidence into proposed spec changes, governed delivery loops, and execution-ready task packs while keeping the open contract system as the source of truth.",ctaLabel:r="See what Studio adds",href:s="https://www.contractspec.studio/docs"}){return n("div",{className:"card-subtle space-y-3 p-6",children:[t("h3",{className:"font-semibold text-lg",children:e}),t("p",{className:"text-muted-foreground text-sm",children:o}),t(a,{href:s,className:"btn-primary",children:r})]})}export{p as StudioPrompt};

package/dist/components/docs/specs/SpecsBuilderControlPlanePage.d.ts

@@ -0,0 +1 @@
+export declare function SpecsBuilderControlPlanePage(): import("react/jsx-runtime").JSX.Element;

package/dist/components/docs/specs/SpecsBuilderControlPlanePage.js

@@ -0,0 +1,34 @@
+// @bun
+import{CodeBlock as o}from"@contractspec/lib.design-system";import r from"@contractspec/lib.ui-link";import{jsx as e,jsxs as t}from"react/jsx-runtime";var i=[{title:"Managed",body:"Best when the team wants the platform to own setup, routing, readiness, and mobile-safe defaults."},{title:"Local",body:"Best for power users who want tenant-local execution providers and tighter data-locality control."},{title:"Hybrid",body:"Best when some work should stay local while preview, review, or export flows still use managed coordination."}],n=["Capture prompts, files, voice, and other inbound sources into a typed workspace instead of relying on a single chat transcript.","Fuse the sources into decisions, assumptions, and blueprint updates with provenance and approval memory.","Compile authoring work into execution lanes, then route the work to explicit provider profiles and runtime targets.","Create previews, run readiness gates, and record receipts before export becomes an operator action.","Keep mobile review parity so approvals, incidents, and patch proposals can be inspected away from the desktop workbench."];function c(){return t("div",{className:"space-y-10",children:[t("section",{className:"space-y-3",children:[e("p",{className:"editorial-kicker",children:"Spec pack"}),e("h1",{className:"font-serif text-4xl tracking-[-0.04em] md:text-5xl",children:"Builder is a governed authoring control plane, not a frontier coding agent."}),t("p",{className:"max-w-3xl text-lg text-muted-foreground leading-8",children:["The implemented Builder stack sits across"," ",e("code",{children:"@contractspec/lib.builder-spec"}),","," ",e("code",{children:"@contractspec/lib.builder-runtime"}),","," ",e("code",{children:"@contractspec/lib.provider-spec"}),", and the reusable workbench/mobile modules. It orchestrates inputs, provider routing, readiness, and export decisions on top of the OSS ContractSpec foundation and the Studio operating layer."]})]}),t("section",{className:"editorial-proof-strip",children:[t("div",{className:"editorial-stat",children:[e("span",{className:"editorial-label",children:"What Builder owns"}),e("span",{className:"editorial-stat-value",children:"fusion, routing, readiness, export"})]}),e("p",{className:"max-w-2xl text-muted-foreground text-sm leading-7",children:"Builder delegates synthesis and coding to external execution providers. Its job is to keep those runs policy-aware, provenance-rich, and usable from both desktop and mobile operator surfaces."})]}),t("section",{className:"editorial-panel space-y-5",children:[t("div",{className:"space-y-2",children:[e("h2",{className:"font-serif text-3xl tracking-[-0.03em]",children:"Implemented stack and entrypoints"}),e("p",{className:"text-muted-foreground text-sm leading-7",children:"You can use the type surfaces directly in code, or start from the already wired workbench and mobile review routes in the public app shell."})]}),e(o,{language:"text",filename:"builder-stack",code:`Packages
+- @contractspec/lib.builder-spec
+- @contractspec/lib.builder-runtime
+- @contractspec/lib.provider-spec
+- @contractspec/module.builder-workbench
+- @contractspec/module.mobile-review
+
+Web app routes
+- /operate/builder/workspaces/:workspaceId
+- /operate/builder/workspaces/:workspaceId/mobile-review/:cardId
+
+Operate API proxy
+- /api/operate/builder/queries/builder.workspace.snapshot
+- /api/operate/builder/commands/builder.blueprint.patch
+- /api/operate/builder/commands/builder.export.execute`})]}),e("section",{className:"grid gap-4 md:grid-cols-3",children:i.map((a)=>t("article",{className:"editorial-panel space-y-3",children:[e("h2",{className:"font-semibold text-xl",children:a.title}),e("p",{className:"text-muted-foreground text-sm leading-7",children:a.body})]},a.title))}),t("section",{className:"grid gap-5 lg:grid-cols-2",children:[t("article",{className:"editorial-panel space-y-4",children:[e("h2",{className:"font-serif text-3xl tracking-[-0.03em]",children:"Typical Builder loop"}),e("ol",{className:"list-inside list-decimal space-y-3 text-muted-foreground text-sm leading-7",children:n.map((a)=>e("li",{children:a},a))})]}),t("article",{className:"editorial-panel space-y-4",children:[e("h2",{className:"font-serif text-3xl tracking-[-0.03em]",children:"What Builder should not become"}),t("ul",{className:"editorial-list",children:[t("li",{children:[e("span",{className:"editorial-list-marker"}),e("span",{children:"Not a competitor to specialized coding agents such as Codex or Claude Code."})]}),t("li",{children:[e("span",{className:"editorial-list-marker"}),e("span",{children:"Not a managed-only product that traps teams away from OSS-local runtime paths."})]}),t("li",{children:[e("span",{className:"editorial-list-marker"}),e("span",{children:"Not a hidden routing layer that obscures provider provenance, receipts, or runtime mode."})]}),t("li",{children:[e("span",{className:"editorial-list-marker"}),e("span",{children:"Not a desktop-only surface. Mobile review parity is part of the control-plane contract."})]})]})]})]}),t("section",{className:"editorial-panel space-y-5",children:[t("div",{className:"space-y-2",children:[e("h2",{className:"font-serif text-3xl tracking-[-0.03em]",children:"Use the workbench UI as the host surface"}),e("p",{className:"text-muted-foreground text-sm leading-7",children:"The reusable module already exposes the desktop workbench shell. Your host app keeps control of action wiring, runtime mode selection, and approval flows."})]}),e(o,{language:"tsx",filename:"BuilderWorkbenchHost.tsx",code:`import { BuilderWorkbench, useBuilderWorkbenchState } from "@contractspec/module.builder-workbench";
+
+const state = useBuilderWorkbenchState({
+  workspace: initialSnapshot.workspace,
+  initialSnapshot,
+});
+
+<BuilderWorkbench
+  snapshot={state.snapshot}
+  promptDraft={state.promptDraft}
+  onPromptDraftChange={state.setPromptDraft}
+  onCapturePrompt={capturePrompt}
+  onGenerateBlueprint={generateBlueprint}
+  onCompilePlan={compilePlan}
+  onCreatePreview={createPreview}
+  onRunReadiness={runReadiness}
+  onExecuteExport={executeExport}
+  selectedExportRuntimeMode="hybrid"
+/>;`})]}),t("section",{className:"editorial-panel space-y-4",children:[e("h2",{className:"font-serif text-3xl tracking-[-0.03em]",children:"Read this with the Studio bridge in mind"}),e("p",{className:"text-muted-foreground text-sm leading-7",children:"Builder is where the OSS foundation meets the richer operating layer. Use the Studio overview when you want the higher-level product posture and team workflows on top of these contracts."}),t("div",{className:"flex flex-wrap gap-3",children:[e(r,{href:"/docs/studio",className:"btn-primary",children:"Studio overview"}),e(r,{href:"/docs/architecture/control-plane",className:"btn-ghost",children:"Control-plane runtime"})]})]})]})}export{c as SpecsBuilderControlPlanePage};

package/dist/components/docs/specs/SpecsCapabilitiesPage.js

@@ -1,52 +1,5 @@
 // @bun
-// src/components/docs/specs/SpecsCapabilitiesPage.tsx
-import Link from "@contractspec/lib.ui-link";
-import { ChevronRight } from "lucide-react";
-import { jsx, jsxs } from "react/jsx-runtime";
-function SpecsCapabilitiesPage() {
-  return /* @__PURE__ */ jsxs("div", {
-    className: "space-y-8",
-    children: [
-      /* @__PURE__ */ jsxs("div", {
-        className: "space-y-2",
-        children: [
-          /* @__PURE__ */ jsx("h1", {
-            className: "font-bold text-4xl",
-            children: "Capabilities"
-          }),
-          /* @__PURE__ */ jsx("p", {
-            className: "text-lg text-muted-foreground",
-            children: "Capabilities are the core building block of ContractSpec. They define what your app can do."
-          })
-        ]
-      }),
-      /* @__PURE__ */ jsxs("div", {
-        className: "space-y-6",
-        children: [
-          /* @__PURE__ */ jsxs("div", {
-            className: "space-y-3",
-            children: [
-              /* @__PURE__ */ jsx("h2", {
-                className: "font-bold text-2xl",
-                children: "Overview"
-              }),
-              /* @__PURE__ */ jsx("p", {
-                className: "text-muted-foreground",
-                children: "A ContractSpec (or Capability) is a typed, declarative description of an operation. It defines the operation's name, version, inputs, outputs, policies, and side effects. Runtime adapters automatically serve these as REST/GraphQL/MCP endpoints with full validation and policy enforcement."
-              })
-            ]
-          }),
-          /* @__PURE__ */ jsxs("div", {
-            className: "space-y-3",
-            children: [
-              /* @__PURE__ */ jsx("h2", {
-                className: "font-bold text-2xl",
-                children: "Defining a Command (Write)"
-              }),
-              /* @__PURE__ */ jsx("div", {
-                className: "overflow-x-auto rounded-lg border border-border bg-background/50 p-4 font-mono text-muted-foreground text-sm",
-                children: /* @__PURE__ */ jsx("pre", {
-                  children: `import { defineCommand } from '@contractspec/lib.contracts-spec';
+import z from"@contractspec/lib.ui-link";import{ChevronRight as A}from"lucide-react";import{jsx as q,jsxs as y}from"react/jsx-runtime";function E(){return y("div",{className:"space-y-8",children:[y("div",{className:"space-y-2",children:[q("h1",{className:"font-bold text-4xl",children:"Capabilities"}),q("p",{className:"text-lg text-muted-foreground",children:"Capabilities are the core building block of ContractSpec. They define what your app can do."})]}),y("div",{className:"space-y-6",children:[y("div",{className:"space-y-3",children:[q("h2",{className:"font-bold text-2xl",children:"Overview"}),q("p",{className:"text-muted-foreground",children:"A ContractSpec (or Capability) is a typed, declarative description of an operation. It defines the operation's name, version, inputs, outputs, policies, and side effects. Runtime adapters automatically serve these as REST/GraphQL/MCP endpoints with full validation and policy enforcement."})]}),y("div",{className:"space-y-3",children:[q("h2",{className:"font-bold text-2xl",children:"Defining a Command (Write)"}),q("div",{className:"overflow-x-auto rounded-lg border border-border bg-background/50 p-4 font-mono text-muted-foreground text-sm",children:q("pre",{children:`import { defineCommand } from '@contractspec/lib.contracts-spec';
 import { SchemaModel, ScalarTypeEnum } from '@contractspec/lib.schema';
 
 const TransferFundsInput = new SchemaModel({
@@ -84,113 +37,4 @@ export const TransferFunds = defineCommand({
     auth: 'user',
     flags: ['payments_enabled'],
   },
-});`
-                })
-              })
-            ]
-          }),
-          /* @__PURE__ */ jsxs("div", {
-            className: "space-y-3",
-            children: [
-              /* @__PURE__ */ jsx("h2", {
-                className: "font-bold text-2xl",
-                children: "Schema Types"
-              }),
-              /* @__PURE__ */ jsxs("p", {
-                className: "text-muted-foreground",
-                children: [
-                  "ContractSpec uses ",
-                  /* @__PURE__ */ jsx("code", {
-                    children: "@contractspec/lib.schema"
-                  }),
-                  " for I/O definitions. This provides Zod validation, GraphQL types, and JSON Schema from a single source."
-                ]
-              }),
-              /* @__PURE__ */ jsxs("ul", {
-                className: "space-y-2 text-muted-foreground",
-                children: [
-                  /* @__PURE__ */ jsxs("li", {
-                    children: [
-                      "\u2022",
-                      " ",
-                      /* @__PURE__ */ jsx("code", {
-                        className: "rounded bg-background/50 px-2 py-1",
-                        children: "ScalarTypeEnum.NonEmptyString()"
-                      }),
-                      " ",
-                      "- Non-empty text"
-                    ]
-                  }),
-                  /* @__PURE__ */ jsxs("li", {
-                    children: [
-                      "\u2022",
-                      " ",
-                      /* @__PURE__ */ jsx("code", {
-                        className: "rounded bg-background/50 px-2 py-1",
-                        children: "ScalarTypeEnum.PositiveNumber()"
-                      }),
-                      " ",
-                      "- Positive numbers"
-                    ]
-                  }),
-                  /* @__PURE__ */ jsxs("li", {
-                    children: [
-                      "\u2022",
-                      " ",
-                      /* @__PURE__ */ jsx("code", {
-                        className: "rounded bg-background/50 px-2 py-1",
-                        children: "ScalarTypeEnum.DateTime()"
-                      }),
-                      " ",
-                      "- ISO 8601 timestamps"
-                    ]
-                  }),
-                  /* @__PURE__ */ jsxs("li", {
-                    children: [
-                      "\u2022",
-                      " ",
-                      /* @__PURE__ */ jsx("code", {
-                        className: "rounded bg-background/50 px-2 py-1",
-                        children: "ScalarTypeEnum.Email()"
-                      }),
-                      " ",
-                      "- Valid email addresses"
-                    ]
-                  }),
-                  /* @__PURE__ */ jsxs("li", {
-                    children: [
-                      "\u2022",
-                      " ",
-                      /* @__PURE__ */ jsx("code", {
-                        className: "rounded bg-background/50 px-2 py-1",
-                        children: "defineEnum(...)"
-                      }),
-                      " ",
-                      "- Type-safe enums"
-                    ]
-                  })
-                ]
-              })
-            ]
-          }),
-          /* @__PURE__ */ jsx("div", {
-            className: "flex items-center gap-4 pt-4",
-            children: /* @__PURE__ */ jsxs(Link, {
-              href: "/docs/specs/dataviews",
-              className: "btn-primary",
-              children: [
-                "Next: DataViews ",
-                /* @__PURE__ */ jsx(ChevronRight, {
-                  size: 16
-                })
-              ]
-            })
-          })
-        ]
-      })
-    ]
-  });
-}
-export {
-  SpecsCapabilitiesPage
-};
+});`})})]}),y("div",{className:"space-y-3",children:[q("h2",{className:"font-bold text-2xl",children:"Schema Types"}),y("p",{className:"text-muted-foreground",children:["ContractSpec uses ",q("code",{children:"@contractspec/lib.schema"})," for I/O definitions. This provides Zod validation, GraphQL types, and JSON Schema from a single source."]}),y("ul",{className:"space-y-2 text-muted-foreground",children:[y("li",{children:["\u2022"," ",q("code",{className:"rounded bg-background/50 px-2 py-1",children:"ScalarTypeEnum.NonEmptyString()"})," ","- Non-empty text"]}),y("li",{children:["\u2022"," ",q("code",{className:"rounded bg-background/50 px-2 py-1",children:"ScalarTypeEnum.PositiveNumber()"})," ","- Positive numbers"]}),y("li",{children:["\u2022"," ",q("code",{className:"rounded bg-background/50 px-2 py-1",children:"ScalarTypeEnum.DateTime()"})," ","- ISO 8601 timestamps"]}),y("li",{children:["\u2022"," ",q("code",{className:"rounded bg-background/50 px-2 py-1",children:"ScalarTypeEnum.Email()"})," ","- Valid email addresses"]}),y("li",{children:["\u2022"," ",q("code",{className:"rounded bg-background/50 px-2 py-1",children:"defineEnum(...)"})," ","- Type-safe enums"]})]})]}),q("div",{className:"flex items-center gap-4 pt-4",children:y(z,{href:"/docs/specs/dataviews",className:"btn-primary",children:["Next: DataViews ",q(A,{size:16})]})})]})]})}export{E as SpecsCapabilitiesPage};

package/dist/components/docs/specs/SpecsConnectPage.d.ts

@@ -0,0 +1 @@
+export declare function SpecsConnectPage(): import("react/jsx-runtime").JSX.Element;

package/dist/components/docs/specs/SpecsConnectPage.js

@@ -0,0 +1,8 @@
+// @bun
+import{CodeBlock as c}from"@contractspec/lib.design-system";import n from"@contractspec/lib.ui-link";import{jsx as e,jsxs as t}from"react/jsx-runtime";var o=[{title:"ContextPack",body:"Projects the current repo state, impacted contracts, canon packs, policy bindings, and acceptance checks into one task-scoped envelope."},{title:"PlanPacket",body:"Compiles a candidate objective into ACP-aware steps plus explicit refs back to control-plane intent, plan compile, and plan verify contracts."},{title:"PatchVerdict",body:"Classifies one file edit or shell command as permit, rewrite, require_review, or deny, with runtime-linked control-plane state when available."},{title:"ReviewPacket",body:"Persists the evidence a human needs when Connect escalates, while keeping the local artifact trail authoritative in OSS mode."}],i=["Enable `connect` in `.contractsrc.json` and keep your protected, immutable, generated, and smoke-check policies explicit.","Run `contractspec connect context` and `contractspec connect plan` before risky work so the agent is operating on task-scoped evidence, not ambient repo assumptions.","Gate file and shell mutations through `contractspec connect verify` or the host hook commands instead of inventing editor-specific approval logic.","Inspect pending review packets locally first, then sync them to the Studio bridge only if your team wants centralized operator workflows.","Use replay and harness evaluation to prove whether a prior decision stayed safe when the workspace changed."],s=["Connect is not a second control plane or a second package family.","Verdicts are projections over existing `controlPlane.*`, ACP, workspace, and harness primitives.","Studio is optional for baseline enforcement. Local artifacts remain the OSS source of truth.","Destructive commands, protected paths, drift, and unknown impact stay visible instead of being hidden behind adapter magic."];function p(){return t("div",{className:"space-y-10",children:[t("section",{className:"space-y-3",children:[e("p",{className:"editorial-kicker",children:"Spec pack"}),e("h1",{className:"font-serif text-4xl tracking-[-0.04em] md:text-5xl",children:"ContractSpec Connect puts coding-agent actions behind explicit, local-first governance."}),e("p",{className:"max-w-3xl text-lg text-muted-foreground leading-8",children:"Connect is the adapter layer between agent-native actions and the existing ContractSpec stack. It reuses control-plane, ACP, workspace, knowledge, and harness primitives to explain what the agent is trying to do before a file edit or shell command lands."})]}),t("section",{className:"editorial-proof-strip",children:[t("div",{className:"editorial-stat",children:[e("span",{className:"editorial-label",children:"Authoritative surfaces"}),e("span",{className:"editorial-stat-value",children:"control plane, ACP, workspace, harness"})]}),e("p",{className:"max-w-2xl text-muted-foreground text-sm leading-7",children:"Connect stays narrow on purpose. It projects local evidence, maps its verdicts back to runtime semantics, and leaves the canonical system contracts where they already live."})]}),t("section",{className:"editorial-panel space-y-5",children:[t("div",{className:"space-y-2",children:[e("h2",{className:"font-serif text-3xl tracking-[-0.03em]",children:"What you use in practice"}),e("p",{className:"text-muted-foreground text-sm leading-7",children:"The CLI and the workspace service already implement the pack. The main workflow is local initialization, task projection, verification, then optional review sync."})]}),e(c,{language:"bash",filename:"contractspec-connect",code:`contractspec connect init --scope workspace
+contractspec connect context --task refactor-docs --paths packages/libs/contracts-spec/src/control-plane/contracts.ts --json
+printf '{"objective":"Document the control-plane contract surface","commands":["bun run typecheck"]}' | contractspec connect plan --task refactor-docs --stdin --json
+printf '{"operation":"edit","path":"packages/libs/contracts-spec/src/control-plane/contracts.ts"}' | contractspec connect verify --task refactor-docs --tool acp.fs.access --stdin --json
+printf 'bun run typecheck' | contractspec connect verify --task refactor-docs --tool acp.terminal.exec --stdin --json
+contractspec connect review list --json
+contractspec connect replay <decisionId> --json`})]}),t("section",{className:"space-y-5",children:[t("div",{className:"space-y-2",children:[e("h2",{className:"font-serif text-3xl tracking-[-0.03em]",children:"The four core artifacts"}),e("p",{className:"text-muted-foreground text-sm leading-7",children:"Every Connect command is there to emit or inspect one of these reviewable objects under `.contractspec/connect/*`."})]}),e("div",{className:"grid gap-4 md:grid-cols-2",children:o.map((a)=>t("article",{className:"editorial-panel space-y-3",children:[e("h3",{className:"font-semibold text-xl",children:a.title}),e("p",{className:"text-muted-foreground text-sm leading-7",children:a.body})]},a.title))})]}),t("section",{className:"grid gap-5 lg:grid-cols-2",children:[t("article",{className:"editorial-panel space-y-4",children:[e("h2",{className:"font-serif text-3xl tracking-[-0.03em]",children:"Adopt Connect in this order"}),e("ol",{className:"list-inside list-decimal space-y-3 text-muted-foreground text-sm leading-7",children:i.map((a)=>e("li",{children:a},a))})]}),t("article",{className:"editorial-panel space-y-4",children:[e("h2",{className:"font-serif text-3xl tracking-[-0.03em]",children:"Boundaries that keep it trustworthy"}),e("ul",{className:"editorial-list",children:s.map((a)=>t("li",{children:[e("span",{className:"editorial-list-marker"}),e("span",{children:a})]},a))})]})]}),t("section",{className:"editorial-panel space-y-4",children:[e("h2",{className:"font-serif text-3xl tracking-[-0.03em]",children:"Where Connect fits in the rest of the docs"}),e("p",{className:"text-muted-foreground text-sm leading-7",children:"Read the control-plane runtime page when you want the underlying governance contracts, then use the Studio bridge only if your team wants centralized review queues on top of the OSS-local evidence path."}),t("div",{className:"flex flex-wrap gap-3",children:[e(n,{href:"/docs/architecture/control-plane",className:"btn-primary",children:"Control-plane runtime"}),e(n,{href:"/docs/studio",className:"btn-ghost",children:"Studio bridge"})]})]})]})}export{p as SpecsConnectPage};

package/dist/components/docs/specs/SpecsDataViewsPage.js

@@ -1,120 +1,5 @@
 // @bun
-// src/components/docs/specs/SpecsDataViewsPage.tsx
-import Link from "@contractspec/lib.ui-link";
-import { ChevronRight } from "lucide-react";
-import { jsx, jsxs } from "react/jsx-runtime";
-function SpecsDataViewsPage() {
-  return /* @__PURE__ */ jsxs("div", {
-    className: "space-y-8",
-    children: [
-      /* @__PURE__ */ jsxs("div", {
-        className: "space-y-4",
-        children: [
-          /* @__PURE__ */ jsx("h1", {
-            className: "font-bold text-4xl",
-            children: "DataViews"
-          }),
-          /* @__PURE__ */ jsxs("p", {
-            className: "text-muted-foreground",
-            children: [
-              "A ",
-              /* @__PURE__ */ jsx("strong", {
-                children: "DataViewSpec"
-              }),
-              " describes how data should be queried, filtered, sorted, and presented to users. Runtime adapters execute optimized database queries and serve list views, detail views, and search interfaces while respecting policy constraints."
-            ]
-          })
-        ]
-      }),
-      /* @__PURE__ */ jsxs("div", {
-        className: "space-y-4",
-        children: [
-          /* @__PURE__ */ jsx("h2", {
-            className: "font-bold text-2xl",
-            children: "Core concepts"
-          }),
-          /* @__PURE__ */ jsxs("div", {
-            className: "space-y-3",
-            children: [
-              /* @__PURE__ */ jsxs("div", {
-                children: [
-                  /* @__PURE__ */ jsx("h3", {
-                    className: "font-semibold text-lg",
-                    children: "Data sources"
-                  }),
-                  /* @__PURE__ */ jsx("p", {
-                    className: "text-muted-foreground",
-                    children: "A DataView connects to one or more data sources\u2014databases, APIs, or other capabilities. You specify the source and the fields you want to expose."
-                  })
-                ]
-              }),
-              /* @__PURE__ */ jsxs("div", {
-                children: [
-                  /* @__PURE__ */ jsx("h3", {
-                    className: "font-semibold text-lg",
-                    children: "Filtering"
-                  }),
-                  /* @__PURE__ */ jsx("p", {
-                    className: "text-muted-foreground",
-                    children: `Define filters that users can apply to narrow down results. Filters can be simple (e.g., "status equals 'active'") or complex (e.g., "created within the last 30 days AND assigned to current user").`
-                  })
-                ]
-              }),
-              /* @__PURE__ */ jsxs("div", {
-                children: [
-                  /* @__PURE__ */ jsx("h3", {
-                    className: "font-semibold text-lg",
-                    children: "Sorting"
-                  }),
-                  /* @__PURE__ */ jsx("p", {
-                    className: "text-muted-foreground",
-                    children: "Specify which fields can be sorted and the default sort order. ContractSpec generates efficient database queries with proper indexes."
-                  })
-                ]
-              }),
-              /* @__PURE__ */ jsxs("div", {
-                children: [
-                  /* @__PURE__ */ jsx("h3", {
-                    className: "font-semibold text-lg",
-                    children: "Pagination"
-                  }),
-                  /* @__PURE__ */ jsx("p", {
-                    className: "text-muted-foreground",
-                    children: "DataViews automatically support pagination to handle large datasets. You can configure page size limits and cursor-based or offset-based pagination."
-                  })
-                ]
-              }),
-              /* @__PURE__ */ jsxs("div", {
-                children: [
-                  /* @__PURE__ */ jsx("h3", {
-                    className: "font-semibold text-lg",
-                    children: "Aggregations"
-                  }),
-                  /* @__PURE__ */ jsx("p", {
-                    className: "text-muted-foreground",
-                    children: "Compute aggregates like counts, sums, averages, and group-by operations. These are useful for dashboards and summary views."
-                  })
-                ]
-              })
-            ]
-          })
-        ]
-      }),
-      /* @__PURE__ */ jsxs("div", {
-        className: "space-y-4",
-        children: [
-          /* @__PURE__ */ jsx("h2", {
-            className: "font-bold text-2xl",
-            children: "Example DataViewSpec"
-          }),
-          /* @__PURE__ */ jsx("p", {
-            className: "text-muted-foreground",
-            children: "Here's a DataView for listing orders in TypeScript:"
-          }),
-          /* @__PURE__ */ jsx("div", {
-            className: "overflow-x-auto rounded-lg border border-border bg-background/50 p-4 font-mono text-muted-foreground text-sm",
-            children: /* @__PURE__ */ jsx("pre", {
-              children: `import { defineDataView } from '@contractspec/lib.contracts-spec';
+import B from"@contractspec/lib.ui-link";import{ChevronRight as D}from"lucide-react";import{jsx as z,jsxs as A}from"react/jsx-runtime";function G(){return A("div",{className:"space-y-8",children:[A("div",{className:"space-y-4",children:[z("h1",{className:"font-bold text-4xl",children:"DataViews"}),A("p",{className:"text-muted-foreground",children:["A ",z("strong",{children:"DataViewSpec"})," describes how data should be queried, filtered, sorted, and presented to users. Runtime adapters execute optimized database queries and serve list views, detail views, and search interfaces while respecting policy constraints."]})]}),A("div",{className:"space-y-4",children:[z("h2",{className:"font-bold text-2xl",children:"Core concepts"}),A("div",{className:"space-y-3",children:[A("div",{children:[z("h3",{className:"font-semibold text-lg",children:"Data sources"}),z("p",{className:"text-muted-foreground",children:"A DataView connects to one or more data sources\u2014databases, APIs, or other capabilities. You specify the source and the fields you want to expose."})]}),A("div",{children:[z("h3",{className:"font-semibold text-lg",children:"Filtering"}),z("p",{className:"text-muted-foreground",children:`Define filters that users can apply to narrow down results. Filters can be simple (e.g., "status equals 'active'") or complex (e.g., "created within the last 30 days AND assigned to current user").`})]}),A("div",{children:[z("h3",{className:"font-semibold text-lg",children:"Sorting"}),z("p",{className:"text-muted-foreground",children:"Specify which fields can be sorted and the default sort order. ContractSpec generates efficient database queries with proper indexes."})]}),A("div",{children:[z("h3",{className:"font-semibold text-lg",children:"Pagination"}),z("p",{className:"text-muted-foreground",children:"DataViews automatically support pagination to handle large datasets. You can configure page size limits and cursor-based or offset-based pagination."})]}),A("div",{children:[z("h3",{className:"font-semibold text-lg",children:"Aggregations"}),z("p",{className:"text-muted-foreground",children:"Compute aggregates like counts, sums, averages, and group-by operations. These are useful for dashboards and summary views."})]})]})]}),A("div",{className:"space-y-4",children:[z("h2",{className:"font-bold text-2xl",children:"Example DataViewSpec"}),z("p",{className:"text-muted-foreground",children:"Here's a DataView for listing orders in TypeScript:"}),z("div",{className:"overflow-x-auto rounded-lg border border-border bg-background/50 p-4 font-mono text-muted-foreground text-sm",children:z("pre",{children:`import { defineDataView } from '@contractspec/lib.contracts-spec';
 import { SchemaModel, ScalarTypeEnum } from '@contractspec/lib.schema';
 
 export const OrderList = defineDataView({
@@ -154,147 +39,4 @@ export const OrderList = defineDataView({
     defaultPageSize: 50,
     maxPageSize: 200,
   },
-});`
-            })
-          })
-        ]
-      }),
-      /* @__PURE__ */ jsxs("div", {
-        className: "space-y-4",
-        children: [
-          /* @__PURE__ */ jsx("h2", {
-            className: "font-bold text-2xl",
-            children: "Policy integration"
-          }),
-          /* @__PURE__ */ jsxs("p", {
-            className: "text-muted-foreground",
-            children: [
-              "DataViews automatically enforce",
-              " ",
-              /* @__PURE__ */ jsx(Link, {
-                href: "/docs/specs/policy",
-                className: "text-violet-400 hover:text-violet-300",
-                children: "PolicySpecs"
-              }),
-              ". If a user doesn't have permission to see certain fields, those fields are automatically filtered out or redacted. If a user can only see their own data, the query is automatically scoped."
-            ]
-          }),
-          /* @__PURE__ */ jsx("p", {
-            className: "text-muted-foreground",
-            children: "This means you define the data view once, and it works correctly for all users based on their permissions\u2014no need to write separate queries for different roles."
-          })
-        ]
-      }),
-      /* @__PURE__ */ jsxs("div", {
-        className: "space-y-4",
-        children: [
-          /* @__PURE__ */ jsx("h2", {
-            className: "font-bold text-2xl",
-            children: "Served outputs"
-          }),
-          /* @__PURE__ */ jsx("p", {
-            className: "text-muted-foreground",
-            children: "From a DataViewSpec, ContractSpec serves:"
-          }),
-          /* @__PURE__ */ jsxs("ul", {
-            className: "list-inside list-disc space-y-2 text-muted-foreground",
-            children: [
-              /* @__PURE__ */ jsxs("li", {
-                children: [
-                  /* @__PURE__ */ jsx("strong", {
-                    children: "Database queries"
-                  }),
-                  " \u2013 Optimized SQL or NoSQL queries executed at runtime"
-                ]
-              }),
-              /* @__PURE__ */ jsxs("li", {
-                children: [
-                  /* @__PURE__ */ jsx("strong", {
-                    children: "API endpoints"
-                  }),
-                  " \u2013 RESTful or GraphQL endpoints for fetching data"
-                ]
-              }),
-              /* @__PURE__ */ jsxs("li", {
-                children: [
-                  /* @__PURE__ */ jsx("strong", {
-                    children: "UI components"
-                  }),
-                  " \u2013 List views, tables, cards, and detail views"
-                ]
-              }),
-              /* @__PURE__ */ jsxs("li", {
-                children: [
-                  /* @__PURE__ */ jsx("strong", {
-                    children: "Search interfaces"
-                  }),
-                  " \u2013 Full-text search with autocomplete"
-                ]
-              }),
-              /* @__PURE__ */ jsxs("li", {
-                children: [
-                  /* @__PURE__ */ jsx("strong", {
-                    children: "Export functions"
-                  }),
-                  " \u2013 CSV, JSON, or Excel exports"
-                ]
-              })
-            ]
-          })
-        ]
-      }),
-      /* @__PURE__ */ jsxs("div", {
-        className: "space-y-4",
-        children: [
-          /* @__PURE__ */ jsx("h2", {
-            className: "font-bold text-2xl",
-            children: "Best practices"
-          }),
-          /* @__PURE__ */ jsxs("ul", {
-            className: "list-inside list-disc space-y-2 text-muted-foreground",
-            children: [
-              /* @__PURE__ */ jsx("li", {
-                children: "Only expose fields that users actually need\u2014this improves performance and security."
-              }),
-              /* @__PURE__ */ jsx("li", {
-                children: "Use appropriate indexes for sortable and filterable fields."
-              }),
-              /* @__PURE__ */ jsx("li", {
-                children: "Set reasonable pagination limits to prevent performance issues."
-              }),
-              /* @__PURE__ */ jsx("li", {
-                children: "Use aggregations sparingly\u2014they can be expensive on large datasets."
-              }),
-              /* @__PURE__ */ jsx("li", {
-                children: "Test DataViews with realistic data volumes to ensure they perform well."
-              })
-            ]
-          })
-        ]
-      }),
-      /* @__PURE__ */ jsxs("div", {
-        className: "flex items-center gap-4 pt-4",
-        children: [
-          /* @__PURE__ */ jsx(Link, {
-            href: "/docs/specs/capabilities",
-            className: "btn-ghost",
-            children: "Previous: Capabilities"
-          }),
-          /* @__PURE__ */ jsxs(Link, {
-            href: "/docs/specs/workflows",
-            className: "btn-primary",
-            children: [
-              "Next: Workflows ",
-              /* @__PURE__ */ jsx(ChevronRight, {
-                size: 16
-              })
-            ]
-          })
-        ]
-      })
-    ]
-  });
-}
-export {
-  SpecsDataViewsPage
-};
+});`})})]}),A("div",{className:"space-y-4",children:[z("h2",{className:"font-bold text-2xl",children:"Policy integration"}),A("p",{className:"text-muted-foreground",children:["DataViews automatically enforce"," ",z(B,{href:"/docs/specs/policy",className:"text-violet-400 hover:text-violet-300",children:"PolicySpecs"}),". If a user doesn't have permission to see certain fields, those fields are automatically filtered out or redacted. If a user can only see their own data, the query is automatically scoped."]}),z("p",{className:"text-muted-foreground",children:"This means you define the data view once, and it works correctly for all users based on their permissions\u2014no need to write separate queries for different roles."})]}),A("div",{className:"space-y-4",children:[z("h2",{className:"font-bold text-2xl",children:"Served outputs"}),z("p",{className:"text-muted-foreground",children:"From a DataViewSpec, ContractSpec serves:"}),A("ul",{className:"list-inside list-disc space-y-2 text-muted-foreground",children:[A("li",{children:[z("strong",{children:"Database queries"})," \u2013 Optimized SQL or NoSQL queries executed at runtime"]}),A("li",{children:[z("strong",{children:"API endpoints"})," \u2013 RESTful or GraphQL endpoints for fetching data"]}),A("li",{children:[z("strong",{children:"UI components"})," \u2013 List views, tables, cards, and detail views"]}),A("li",{children:[z("strong",{children:"Search interfaces"})," \u2013 Full-text search with autocomplete"]}),A("li",{children:[z("strong",{children:"Export functions"})," \u2013 CSV, JSON, or Excel exports"]})]})]}),A("div",{className:"space-y-4",children:[z("h2",{className:"font-bold text-2xl",children:"Best practices"}),A("ul",{className:"list-inside list-disc space-y-2 text-muted-foreground",children:[z("li",{children:"Only expose fields that users actually need\u2014this improves performance and security."}),z("li",{children:"Use appropriate indexes for sortable and filterable fields."}),z("li",{children:"Set reasonable pagination limits to prevent performance issues."}),z("li",{children:"Use aggregations sparingly\u2014they can be expensive on large datasets."}),z("li",{children:"Test DataViews with realistic data volumes to ensure they perform well."})]})]}),A("div",{className:"flex items-center gap-4 pt-4",children:[z(B,{href:"/docs/specs/capabilities",className:"btn-ghost",children:"Previous: Capabilities"}),A(B,{href:"/docs/specs/workflows",className:"btn-primary",children:["Next: Workflows ",z(D,{size:16})]})]})]})}export{G as SpecsDataViewsPage};

package/dist/components/docs/specs/SpecsModuleBundlesPage.d.ts

@@ -0,0 +1 @@
+export declare function SpecsModuleBundlesPage(): import("react/jsx-runtime").JSX.Element;

package/dist/components/docs/specs/SpecsModuleBundlesPage.js

@@ -0,0 +1,67 @@
+// @bun
+import{CodeBlock as r}from"@contractspec/lib.design-system";import i from"@contractspec/lib.ui-link";import{jsx as e,jsxs as a}from"react/jsx-runtime";var n=["declared routes, surfaces, layouts, slots, actions, and data recipes","entity registries and field renderers for relation-heavy workbenches","preference-aware adaptation across guidance, density, data depth, control, media, pace, and narrative","auditable overlays and bounded AI patch proposals instead of free-form JSX generation"],o=["Define one `ModuleBundleSpec` with `defineModuleBundle` and keep the route and surface map explicit.","Resolve the bundle with `resolveBundle` for a real user, route, device, and preference profile.","Render the plan through `BundleProvider` and `BundleRenderer` so the UI stays downstream of the resolved spec.","Add overlays, policy hooks, planner proposals, and telemetry only after the base route resolves cleanly.","Pilot one dense domain first, such as a PM or operations workbench, before expanding the abstraction across the app."];function c(){return a("div",{className:"space-y-10",children:[a("section",{className:"space-y-3",children:[e("p",{className:"editorial-kicker",children:"Spec pack"}),e("h1",{className:"font-serif text-4xl tracking-[-0.04em] md:text-5xl",children:"Module bundles turn surface composition into a typed ContractSpec runtime instead of a pile of bespoke page code."}),a("p",{className:"max-w-3xl text-lg text-muted-foreground leading-8",children:["The implemented package is"," ",e("code",{children:"@contractspec/lib.surface-runtime"}),". It lets you define a bundle spec once, resolve it into a personalized surface plan, then render that plan through React without letting AI or per-route custom code bypass the declared system boundary."]})]}),a("section",{className:"editorial-proof-strip",children:[a("div",{className:"editorial-stat",children:[e("span",{className:"editorial-label",children:"Runtime promise"}),e("span",{className:"editorial-stat-value",children:"bundle spec \u2192 resolved surface plan"})]}),e("p",{className:"max-w-2xl text-muted-foreground text-sm leading-7",children:"The bundle spec owns what can render, where it can render, which preferences matter, and how overlays and AI proposals stay bounded."})]}),e("section",{className:"grid gap-4 md:grid-cols-2",children:n.map((t)=>a("article",{className:"editorial-panel space-y-3",children:[e("h2",{className:"font-semibold text-xl",children:"Bundle capability"}),e("p",{className:"text-muted-foreground text-sm leading-7",children:t})]},t))}),a("section",{className:"editorial-panel space-y-5",children:[a("div",{className:"space-y-2",children:[e("h2",{className:"font-serif text-3xl tracking-[-0.03em]",children:"1) Define the bundle"}),e("p",{className:"text-muted-foreground text-sm leading-7",children:"Start with a typed route and one surface. The runtime validates that you declared routes, surfaces, and verification coverage for all seven preference dimensions."})]}),e(r,{language:"typescript",filename:"support.workbench.bundle.ts",code:`import { defineModuleBundle } from "@contractspec/lib.surface-runtime/spec/define-module-bundle";
+
+export const SupportWorkbenchBundle = defineModuleBundle({
+  meta: {
+    key: "support.workbench",
+    version: "0.1.0",
+    title: "Support Workbench",
+  },
+  routes: [
+    {
+      routeId: "support-ticket",
+      path: "/operate/support/tickets/:ticketId",
+      defaultSurface: "ticket-workbench",
+    },
+  ],
+  surfaces: {
+    "ticket-workbench": {
+      surfaceId: "ticket-workbench",
+      kind: "workbench",
+      slots: [{ slotId: "primary", role: "primary", accepts: ["entity-section"], cardinality: "many" }],
+      layouts: [{ layoutId: "balanced", title: "Balanced", root: { type: "slot", slotId: "primary" } }],
+      data: [{ recipeId: "ticket-core", source: { kind: "entity", entityType: "support.ticket" }, hydrateInto: "ticket" }],
+      verification: {
+        dimensions: {
+          guidance: "Surface can reveal walkthrough or inline help states.",
+          density: "Layout supports compact and balanced detail modes.",
+          dataDepth: "Resolver can hydrate summary or detailed ticket context.",
+          control: "Advanced actions stay policy-gated.",
+          media: "Surface supports text-first and hybrid assist modes.",
+          pace: "Transitions and confirmations adapt to operator pace.",
+          narrative: "Summary and evidence ordering stay explicit.",
+        },
+      },
+    },
+  },
+});`})]}),a("section",{className:"editorial-panel space-y-5",children:[a("div",{className:"space-y-2",children:[e("h2",{className:"font-serif text-3xl tracking-[-0.03em]",children:"2) Resolve and render the plan"}),e("p",{className:"text-muted-foreground text-sm leading-7",children:"The app renders the resolved plan, not the raw spec. That keeps layout choice, data hydration, overlays, and AI proposals auditable."})]}),e(r,{language:"tsx",filename:"SurfaceHost.tsx",code:`import { BundleProvider, BundleRenderer } from "@contractspec/lib.surface-runtime/react";
+import { resolveBundle } from "@contractspec/lib.surface-runtime/runtime/resolve-bundle";
+
+const plan = await resolveBundle(SupportWorkbenchBundle, {
+  tenantId: "tenant_demo",
+  workspaceId: "workspace_ops",
+  actorId: "user_42",
+  route: "/operate/support/tickets/123",
+  params: { ticketId: "123" },
+  query: {},
+  device: "desktop",
+  locale: "en",
+  preferences: {
+    guidance: "hints",
+    density: "compact",
+    dataDepth: "detailed",
+    control: "advanced",
+    media: "hybrid",
+    pace: "balanced",
+    narrative: "top-down",
+  },
+  capabilities: ["tickets.read", "tickets.update"],
+});
+
+export function SurfaceHost() {
+  return (
+    <BundleProvider plan={plan}>
+      <BundleRenderer assistantSlotId="assistant" />
+    </BundleProvider>
+  );
+}`})]}),a("section",{className:"grid gap-5 lg:grid-cols-2",children:[a("article",{className:"editorial-panel space-y-4",children:[e("h2",{className:"font-serif text-3xl tracking-[-0.03em]",children:"Adoption loop"}),e("ol",{className:"list-inside list-decimal space-y-3 text-muted-foreground text-sm leading-7",children:o.map((t)=>e("li",{children:t},t))})]}),a("article",{className:"editorial-panel space-y-4",children:[e("h2",{className:"font-serif text-3xl tracking-[-0.03em]",children:"Guardrails that matter"}),a("ul",{className:"editorial-list",children:[a("li",{children:[e("span",{className:"editorial-list-marker"}),e("span",{children:"Do not stuff this behavior back into `lib.ui-kit`."})]}),a("li",{children:[e("span",{className:"editorial-list-marker"}),e("span",{children:"Do not let AI invent undeclared components or mutate raw DOM state."})]}),a("li",{children:[e("span",{className:"editorial-list-marker"}),e("span",{children:"Keep third-party UI libraries behind adapter subpaths only."})]}),a("li",{children:[e("span",{className:"editorial-list-marker"}),e("span",{children:"Every surface still needs explicit verification coverage for the seven preference dimensions."})]})]})]})]}),a("section",{className:"editorial-panel space-y-4",children:[e("h2",{className:"font-serif text-3xl tracking-[-0.03em]",children:"Continue with overlays and runtime architecture"}),e("p",{className:"text-muted-foreground text-sm leading-7",children:"Once the bundle resolves deterministically, move into safe customization and the wider architecture that surrounds it."}),a("div",{className:"flex flex-wrap gap-3",children:[e(i,{href:"/docs/specs/overlays",className:"btn-primary",children:"Overlays"}),e(i,{href:"/docs/architecture",className:"btn-ghost",children:"Architecture overview"})]})]})]})}export{c as SpecsModuleBundlesPage};