@contractspec/bundle.library 3.8.10 → 3.8.12

package/dist/node/components/docs/specs/SpecsOverlaysPage.js

@@ -1,132 +1,4 @@
-// src/components/docs/specs/SpecsOverlaysPage.tsx
-import Link from "@contractspec/lib.ui-link";
-import { ChevronRight } from "lucide-react";
-import { jsx, jsxs } from "react/jsx-runtime";
-function SpecsOverlaysPage() {
-  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: "Overlays"
-          }),
-          /* @__PURE__ */ jsxs("p", {
-            className: "text-muted-foreground",
-            children: [
-              "An ",
-              /* @__PURE__ */ jsx("strong", {
-                children: "OverlaySpec"
-              }),
-              " allows tenants or users to customize UI layouts and field visibility without modifying the underlying application code. Overlays are cryptographically signed to ensure they respect policy boundaries and cannot introduce security vulnerabilities."
-            ]
-          })
-        ]
-      }),
-      /* @__PURE__ */ jsxs("div", {
-        className: "space-y-4",
-        children: [
-          /* @__PURE__ */ jsx("h2", {
-            className: "font-bold text-2xl",
-            children: "Why overlays matter"
-          }),
-          /* @__PURE__ */ jsx("p", {
-            className: "text-muted-foreground",
-            children: "Different users have different needs. A power user might want to see all available fields and actions, while a casual user prefers a simplified interface. A tenant in a multi-tenant application might want to brand the UI or hide features they don't use."
-          }),
-          /* @__PURE__ */ jsx("p", {
-            className: "text-muted-foreground",
-            children: "Traditional approaches require either building multiple UIs or adding complex configuration logic throughout the codebase. OverlaySpecs provide a safer, more maintainable solution: users can customize their experience, but only within the bounds allowed by the underlying specs and policies."
-          })
-        ]
-      }),
-      /* @__PURE__ */ jsxs("div", {
-        className: "space-y-4",
-        children: [
-          /* @__PURE__ */ jsx("h2", {
-            className: "font-bold text-2xl",
-            children: "What overlays can do"
-          }),
-          /* @__PURE__ */ jsxs("ul", {
-            className: "list-inside list-disc space-y-2 text-muted-foreground",
-            children: [
-              /* @__PURE__ */ jsxs("li", {
-                children: [
-                  /* @__PURE__ */ jsx("strong", {
-                    children: "Hide or show fields"
-                  }),
-                  " – Remove fields from forms or detail views (but only if the user has permission to see them in the first place)"
-                ]
-              }),
-              /* @__PURE__ */ jsxs("li", {
-                children: [
-                  /* @__PURE__ */ jsx("strong", {
-                    children: "Reorder fields"
-                  }),
-                  " – Change the order in which fields appear"
-                ]
-              }),
-              /* @__PURE__ */ jsxs("li", {
-                children: [
-                  /* @__PURE__ */ jsx("strong", {
-                    children: "Rename labels"
-                  }),
-                  " – Use different terminology that's more familiar to the user"
-                ]
-              }),
-              /* @__PURE__ */ jsxs("li", {
-                children: [
-                  /* @__PURE__ */ jsx("strong", {
-                    children: "Change layouts"
-                  }),
-                  " – Switch between list, grid, or card views"
-                ]
-              }),
-              /* @__PURE__ */ jsxs("li", {
-                children: [
-                  /* @__PURE__ */ jsx("strong", {
-                    children: "Add help text"
-                  }),
-                  " – Provide context-specific guidance"
-                ]
-              }),
-              /* @__PURE__ */ jsxs("li", {
-                children: [
-                  /* @__PURE__ */ jsx("strong", {
-                    children: "Set default values"
-                  }),
-                  " – Pre-fill forms with tenant-specific defaults"
-                ]
-              }),
-              /* @__PURE__ */ jsxs("li", {
-                children: [
-                  /* @__PURE__ */ jsx("strong", {
-                    children: "Apply branding"
-                  }),
-                  " – Customize colors, logos, and styling (within approved themes)"
-                ]
-              })
-            ]
-          })
-        ]
-      }),
-      /* @__PURE__ */ jsxs("div", {
-        className: "space-y-4",
-        children: [
-          /* @__PURE__ */ jsx("h2", {
-            className: "font-bold text-2xl",
-            children: "Example OverlaySpec"
-          }),
-          /* @__PURE__ */ jsx("p", {
-            className: "text-muted-foreground",
-            children: "Here's an overlay that customizes an order form:"
-          }),
-          /* @__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: `overlayId: acme-order-form
+import B from"@contractspec/lib.ui-link";import{ChevronRight as D}from"lucide-react";import{jsx as q,jsxs as A}from"react/jsx-runtime";function G(){return A("div",{className:"space-y-8",children:[A("div",{className:"space-y-4",children:[q("h1",{className:"font-bold text-4xl",children:"Overlays"}),A("p",{className:"text-muted-foreground",children:["An ",q("strong",{children:"OverlaySpec"})," allows tenants or users to customize UI layouts and field visibility without modifying the underlying application code. Overlays are cryptographically signed to ensure they respect policy boundaries and cannot introduce security vulnerabilities."]})]}),A("div",{className:"space-y-4",children:[q("h2",{className:"font-bold text-2xl",children:"Why overlays matter"}),q("p",{className:"text-muted-foreground",children:"Different users have different needs. A power user might want to see all available fields and actions, while a casual user prefers a simplified interface. A tenant in a multi-tenant application might want to brand the UI or hide features they don't use."}),q("p",{className:"text-muted-foreground",children:"Traditional approaches require either building multiple UIs or adding complex configuration logic throughout the codebase. OverlaySpecs provide a safer, more maintainable solution: users can customize their experience, but only within the bounds allowed by the underlying specs and policies."})]}),A("div",{className:"space-y-4",children:[q("h2",{className:"font-bold text-2xl",children:"What overlays can do"}),A("ul",{className:"list-inside list-disc space-y-2 text-muted-foreground",children:[A("li",{children:[q("strong",{children:"Hide or show fields"})," – Remove fields from forms or detail views (but only if the user has permission to see them in the first place)"]}),A("li",{children:[q("strong",{children:"Reorder fields"})," – Change the order in which fields appear"]}),A("li",{children:[q("strong",{children:"Rename labels"})," – Use different terminology that's more familiar to the user"]}),A("li",{children:[q("strong",{children:"Change layouts"})," – Switch between list, grid, or card views"]}),A("li",{children:[q("strong",{children:"Add help text"})," – Provide context-specific guidance"]}),A("li",{children:[q("strong",{children:"Set default values"})," – Pre-fill forms with tenant-specific defaults"]}),A("li",{children:[q("strong",{children:"Apply branding"})," – Customize colors, logos, and styling (within approved themes)"]})]})]}),A("div",{className:"space-y-4",children:[q("h2",{className:"font-bold text-2xl",children:"Example OverlaySpec"}),q("p",{className:"text-muted-foreground",children:"Here's an overlay that customizes an order form:"}),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:`overlayId: acme-order-form
 version: '1.0.0'.0.0
 appliesTo:
   capability: createOrder
@@ -163,246 +35,4 @@ modifications:
 signature:
   algorithm: EdDSA
   publicKey: "acme-corp-overlay-key"
-  signature: "base64-encoded-signature"`
-            })
-          })
-        ]
-      }),
-      /* @__PURE__ */ jsxs("div", {
-        className: "space-y-4",
-        children: [
-          /* @__PURE__ */ jsx("h2", {
-            className: "font-bold text-2xl",
-            children: "Safety guarantees"
-          }),
-          /* @__PURE__ */ jsx("p", {
-            className: "text-muted-foreground",
-            children: "Overlays are powerful, but they must not compromise security or data integrity. ContractSpec enforces several guarantees:"
-          }),
-          /* @__PURE__ */ jsxs("ul", {
-            className: "list-inside list-disc space-y-2 text-muted-foreground",
-            children: [
-              /* @__PURE__ */ jsxs("li", {
-                children: [
-                  /* @__PURE__ */ jsx("strong", {
-                    children: "Overlays cannot grant new permissions"
-                  }),
-                  " – They can only hide or rearrange what the user is already allowed to see"
-                ]
-              }),
-              /* @__PURE__ */ jsxs("li", {
-                children: [
-                  /* @__PURE__ */ jsx("strong", {
-                    children: "Overlays cannot bypass validation"
-                  }),
-                  " – Field types, constraints, and business rules from the underlying spec still apply"
-                ]
-              }),
-              /* @__PURE__ */ jsxs("li", {
-                children: [
-                  /* @__PURE__ */ jsx("strong", {
-                    children: "Overlays must be signed"
-                  }),
-                  " – Only authorized parties (typically tenant admins) can create overlays"
-                ]
-              }),
-              /* @__PURE__ */ jsxs("li", {
-                children: [
-                  /* @__PURE__ */ jsx("strong", {
-                    children: "Overlays are versioned"
-                  }),
-                  " – Changes to overlays are tracked and can be rolled back"
-                ]
-              }),
-              /* @__PURE__ */ jsxs("li", {
-                children: [
-                  /* @__PURE__ */ jsx("strong", {
-                    children: "Overlays are audited"
-                  }),
-                  " – Every overlay application is logged"
-                ]
-              })
-            ]
-          })
-        ]
-      }),
-      /* @__PURE__ */ jsxs("div", {
-        className: "space-y-4",
-        children: [
-          /* @__PURE__ */ jsx("h2", {
-            className: "font-bold text-2xl",
-            children: "Creating overlays"
-          }),
-          /* @__PURE__ */ jsx("p", {
-            className: "text-muted-foreground",
-            children: "Overlays can be created through:"
-          }),
-          /* @__PURE__ */ jsxs("ul", {
-            className: "list-inside list-disc space-y-2 text-muted-foreground",
-            children: [
-              /* @__PURE__ */ jsxs("li", {
-                children: [
-                  /* @__PURE__ */ jsx("strong", {
-                    children: "Visual editor"
-                  }),
-                  " – A drag-and-drop interface for non-technical users"
-                ]
-              }),
-              /* @__PURE__ */ jsxs("li", {
-                children: [
-                  /* @__PURE__ */ jsx("strong", {
-                    children: "TypeScript/JSON"
-                  }),
-                  " – For developers who prefer code"
-                ]
-              }),
-              /* @__PURE__ */ jsxs("li", {
-                children: [
-                  /* @__PURE__ */ jsx("strong", {
-                    children: "API"
-                  }),
-                  " – Programmatically create overlays for automation"
-                ]
-              })
-            ]
-          }),
-          /* @__PURE__ */ jsx("p", {
-            className: "text-muted-foreground",
-            children: "Once created, overlays must be signed using a private key. The corresponding public key is registered with ContractSpec, which verifies the signature before applying the overlay."
-          }),
-          /* @__PURE__ */ jsxs("p", {
-            className: "text-muted-foreground",
-            children: [
-              "See",
-              " ",
-              /* @__PURE__ */ jsx(Link, {
-                href: "/docs/libraries/overlay-engine",
-                className: "text-violet-400 underline",
-                children: "Overlay Engine docs"
-              }),
-              " ",
-              "and the",
-              " ",
-              /* @__PURE__ */ jsx(Link, {
-                href: "/docs/advanced/overlay-editor",
-                className: "text-violet-400 underline",
-                children: "Overlay Editor guide"
-              }),
-              " ",
-              "for end-to-end workflows."
-            ]
-          })
-        ]
-      }),
-      /* @__PURE__ */ jsxs("div", {
-        className: "space-y-4",
-        children: [
-          /* @__PURE__ */ jsx("h2", {
-            className: "font-bold text-2xl",
-            children: "Overlay scope"
-          }),
-          /* @__PURE__ */ jsx("p", {
-            className: "text-muted-foreground",
-            children: "Overlays can be scoped to:"
-          }),
-          /* @__PURE__ */ jsxs("ul", {
-            className: "list-inside list-disc space-y-2 text-muted-foreground",
-            children: [
-              /* @__PURE__ */ jsxs("li", {
-                children: [
-                  /* @__PURE__ */ jsx("strong", {
-                    children: "Tenant"
-                  }),
-                  " – All users in a tenant see the same overlay"
-                ]
-              }),
-              /* @__PURE__ */ jsxs("li", {
-                children: [
-                  /* @__PURE__ */ jsx("strong", {
-                    children: "User"
-                  }),
-                  " – Individual users can have personal overlays"
-                ]
-              }),
-              /* @__PURE__ */ jsxs("li", {
-                children: [
-                  /* @__PURE__ */ jsx("strong", {
-                    children: "Role"
-                  }),
-                  " – All users with a specific role see the overlay"
-                ]
-              }),
-              /* @__PURE__ */ jsxs("li", {
-                children: [
-                  /* @__PURE__ */ jsx("strong", {
-                    children: "Device"
-                  }),
-                  " – Different overlays for mobile vs desktop"
-                ]
-              })
-            ]
-          }),
-          /* @__PURE__ */ jsx("p", {
-            className: "text-muted-foreground",
-            children: "If multiple overlays apply to the same user, they are merged in order of specificity (user overlays override role overlays, which override tenant overlays)."
-          })
-        ]
-      }),
-      /* @__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: "Start with the default UI and only create overlays when users request specific changes."
-              }),
-              /* @__PURE__ */ jsx("li", {
-                children: "Document why each overlay modification was made—this helps when reviewing or updating overlays."
-              }),
-              /* @__PURE__ */ jsx("li", {
-                children: "Test overlays thoroughly to ensure they don't break workflows or confuse users."
-              }),
-              /* @__PURE__ */ jsx("li", {
-                children: "Use tenant-level overlays for organizational customizations and user-level overlays for personal preferences."
-              }),
-              /* @__PURE__ */ jsx("li", {
-                children: "Regularly review overlays to remove ones that are no longer needed."
-              }),
-              /* @__PURE__ */ jsx("li", {
-                children: "Protect overlay signing keys carefully—they control what customizations are allowed."
-              })
-            ]
-          })
-        ]
-      }),
-      /* @__PURE__ */ jsxs("div", {
-        className: "flex items-center gap-4 pt-4",
-        children: [
-          /* @__PURE__ */ jsx(Link, {
-            href: "/docs/specs/policy",
-            className: "btn-ghost",
-            children: "Previous: Policy"
-          }),
-          /* @__PURE__ */ jsxs(Link, {
-            href: "/docs/safety",
-            className: "btn-primary",
-            children: [
-              "Next: Safety ",
-              /* @__PURE__ */ jsx(ChevronRight, {
-                size: 16
-              })
-            ]
-          })
-        ]
-      })
-    ]
-  });
-}
-export {
-  SpecsOverlaysPage
-};
+  signature: "base64-encoded-signature"`})})]}),A("div",{className:"space-y-4",children:[q("h2",{className:"font-bold text-2xl",children:"Safety guarantees"}),q("p",{className:"text-muted-foreground",children:"Overlays are powerful, but they must not compromise security or data integrity. ContractSpec enforces several guarantees:"}),A("ul",{className:"list-inside list-disc space-y-2 text-muted-foreground",children:[A("li",{children:[q("strong",{children:"Overlays cannot grant new permissions"})," – They can only hide or rearrange what the user is already allowed to see"]}),A("li",{children:[q("strong",{children:"Overlays cannot bypass validation"})," – Field types, constraints, and business rules from the underlying spec still apply"]}),A("li",{children:[q("strong",{children:"Overlays must be signed"})," – Only authorized parties (typically tenant admins) can create overlays"]}),A("li",{children:[q("strong",{children:"Overlays are versioned"})," – Changes to overlays are tracked and can be rolled back"]}),A("li",{children:[q("strong",{children:"Overlays are audited"})," – Every overlay application is logged"]})]})]}),A("div",{className:"space-y-4",children:[q("h2",{className:"font-bold text-2xl",children:"Creating overlays"}),q("p",{className:"text-muted-foreground",children:"Overlays can be created through:"}),A("ul",{className:"list-inside list-disc space-y-2 text-muted-foreground",children:[A("li",{children:[q("strong",{children:"Visual editor"})," – A drag-and-drop interface for non-technical users"]}),A("li",{children:[q("strong",{children:"TypeScript/JSON"})," – For developers who prefer code"]}),A("li",{children:[q("strong",{children:"API"})," – Programmatically create overlays for automation"]})]}),q("p",{className:"text-muted-foreground",children:"Once created, overlays must be signed using a private key. The corresponding public key is registered with ContractSpec, which verifies the signature before applying the overlay."}),A("p",{className:"text-muted-foreground",children:["See"," ",q(B,{href:"/docs/libraries/overlay-engine",className:"text-violet-400 underline",children:"Overlay Engine docs"})," ","and the"," ",q(B,{href:"/docs/advanced/overlay-editor",className:"text-violet-400 underline",children:"Overlay Editor guide"})," ","for end-to-end workflows."]})]}),A("div",{className:"space-y-4",children:[q("h2",{className:"font-bold text-2xl",children:"Overlay scope"}),q("p",{className:"text-muted-foreground",children:"Overlays can be scoped to:"}),A("ul",{className:"list-inside list-disc space-y-2 text-muted-foreground",children:[A("li",{children:[q("strong",{children:"Tenant"})," – All users in a tenant see the same overlay"]}),A("li",{children:[q("strong",{children:"User"})," – Individual users can have personal overlays"]}),A("li",{children:[q("strong",{children:"Role"})," – All users with a specific role see the overlay"]}),A("li",{children:[q("strong",{children:"Device"})," – Different overlays for mobile vs desktop"]})]}),q("p",{className:"text-muted-foreground",children:"If multiple overlays apply to the same user, they are merged in order of specificity (user overlays override role overlays, which override tenant overlays)."})]}),A("div",{className:"space-y-4",children:[q("h2",{className:"font-bold text-2xl",children:"Best practices"}),A("ul",{className:"list-inside list-disc space-y-2 text-muted-foreground",children:[q("li",{children:"Start with the default UI and only create overlays when users request specific changes."}),q("li",{children:"Document why each overlay modification was made—this helps when reviewing or updating overlays."}),q("li",{children:"Test overlays thoroughly to ensure they don't break workflows or confuse users."}),q("li",{children:"Use tenant-level overlays for organizational customizations and user-level overlays for personal preferences."}),q("li",{children:"Regularly review overlays to remove ones that are no longer needed."}),q("li",{children:"Protect overlay signing keys carefully—they control what customizations are allowed."})]})]}),A("div",{className:"space-y-4",children:[q("h2",{className:"font-bold text-2xl",children:"Where overlays fit in the runtime"}),q("p",{className:"text-muted-foreground",children:"Overlays are safest when they sit on top of a declared bundle surface instead of ad hoc page code. Use the module-bundles docs first, then apply overlays as auditable customization on top of the resolved surface plan."}),A("div",{className:"flex flex-wrap gap-3",children:[q(B,{href:"/docs/specs/module-bundles",className:"btn-primary",children:"Module bundles"}),q(B,{href:"/docs/guides/first-module-bundle",className:"btn-ghost",children:"Build a first module bundle"})]})]}),A("div",{className:"flex items-center gap-4 pt-4",children:[q(B,{href:"/docs/specs/policy",className:"btn-ghost",children:"Previous: Policy"}),A(B,{href:"/docs/safety",className:"btn-primary",children:["Next: Safety ",q(D,{size:16})]})]})]})}export{G as SpecsOverlaysPage};

package/dist/node/components/docs/specs/SpecsOverviewPage.js

@@ -1,186 +1 @@
-// src/components/docs/specs/SpecsOverviewPage.tsx
-import Link from "@contractspec/lib.ui-link";
-import { ChevronRight } from "lucide-react";
-import { jsx, jsxs } from "react/jsx-runtime";
-var specTypes = [
-  {
-    title: "Capabilities",
-    body: "Model operations, events, and presentations as explicit system behavior.",
-    href: "/docs/specs/capabilities"
-  },
-  {
-    title: "Data views",
-    body: "Describe query, filtering, and presentation behavior from the same source model.",
-    href: "/docs/specs/dataviews"
-  },
-  {
-    title: "Workflows",
-    body: "Coordinate multi-step execution, retries, monitoring, and hand-offs.",
-    href: "/docs/specs/workflows"
-  },
-  {
-    title: "Policy",
-    body: "Carry governance and access rules through every generated and runtime-served surface.",
-    href: "/docs/specs/policy"
-  },
-  {
-    title: "Overlays",
-    body: "Customize generated surfaces safely instead of forking them permanently.",
-    href: "/docs/specs/overlays"
-  },
-  {
-    title: "Safety and migration",
-    body: "Keep change safe with signing, audits, rollbacks, and explicit migration behavior.",
-    href: "/docs/safety"
-  }
-];
-function SpecsOverviewPage() {
-  return /* @__PURE__ */ jsxs("div", {
-    className: "space-y-10",
-    children: [
-      /* @__PURE__ */ jsxs("div", {
-        className: "space-y-3",
-        children: [
-          /* @__PURE__ */ jsx("p", {
-            className: "editorial-kicker",
-            children: "Core model"
-          }),
-          /* @__PURE__ */ jsx("h1", {
-            className: "font-serif text-4xl tracking-[-0.04em] md:text-5xl",
-            children: "Contracts are the durable system boundary."
-          }),
-          /* @__PURE__ */ jsx("p", {
-            className: "max-w-3xl text-lg text-muted-foreground leading-8",
-            children: "ContractSpec uses explicit TypeScript specs to describe behavior before it spreads across APIs, UI, data models, events, and operator flows. The goal is not to hide implementation. The goal is to make the system boundary explicit enough that generation, validation, runtime enforcement, and regeneration can stay coherent."
-          })
-        ]
-      }),
-      /* @__PURE__ */ jsxs("div", {
-        className: "editorial-proof-strip",
-        children: [
-          /* @__PURE__ */ jsxs("div", {
-            className: "editorial-stat",
-            children: [
-              /* @__PURE__ */ jsx("span", {
-                className: "editorial-label",
-                children: "System promise"
-              }),
-              /* @__PURE__ */ jsx("span", {
-                className: "editorial-stat-value",
-                children: "one contract → many surfaces"
-              })
-            ]
-          }),
-          /* @__PURE__ */ jsx("p", {
-            className: "max-w-2xl text-muted-foreground text-sm leading-7",
-            children: "Use the contract layer to keep surface behavior aligned, then let runtimes and generators do the repetitive work without inventing a closed platform."
-          })
-        ]
-      }),
-      /* @__PURE__ */ jsx("section", {
-        className: "editorial-panel space-y-5",
-        children: /* @__PURE__ */ jsxs("div", {
-          className: "space-y-2",
-          children: [
-            /* @__PURE__ */ jsx("h2", {
-              className: "font-serif text-3xl tracking-[-0.03em]",
-              children: "What the contract layer owns"
-            }),
-            /* @__PURE__ */ jsxs("ul", {
-              className: "editorial-list",
-              children: [
-                /* @__PURE__ */ jsxs("li", {
-                  children: [
-                    /* @__PURE__ */ jsx("span", {
-                      className: "editorial-list-marker"
-                    }),
-                    /* @__PURE__ */ jsx("span", {
-                      children: "Behavior: operations, events, presentations, workflows."
-                    })
-                  ]
-                }),
-                /* @__PURE__ */ jsxs("li", {
-                  children: [
-                    /* @__PURE__ */ jsx("span", {
-                      className: "editorial-list-marker"
-                    }),
-                    /* @__PURE__ */ jsx("span", {
-                      children: "Validation: input, output, and schema boundaries."
-                    })
-                  ]
-                }),
-                /* @__PURE__ */ jsxs("li", {
-                  children: [
-                    /* @__PURE__ */ jsx("span", {
-                      className: "editorial-list-marker"
-                    }),
-                    /* @__PURE__ */ jsx("span", {
-                      children: "Governance: policy, auditability, and migration rules."
-                    })
-                  ]
-                }),
-                /* @__PURE__ */ jsxs("li", {
-                  children: [
-                    /* @__PURE__ */ jsx("span", {
-                      className: "editorial-list-marker"
-                    }),
-                    /* @__PURE__ */ jsx("span", {
-                      children: "Surface alignment: generated or served behavior across API, UI, data, and agent-facing interfaces."
-                    })
-                  ]
-                })
-              ]
-            })
-          ]
-        })
-      }),
-      /* @__PURE__ */ jsxs("section", {
-        className: "space-y-5",
-        children: [
-          /* @__PURE__ */ jsxs("div", {
-            className: "space-y-2",
-            children: [
-              /* @__PURE__ */ jsx("h2", {
-                className: "font-serif text-3xl tracking-[-0.03em]",
-                children: "Specification types"
-              }),
-              /* @__PURE__ */ jsx("p", {
-                className: "text-muted-foreground text-sm leading-7",
-                children: "You can adopt the model one part at a time. Not every system needs every spec type on day one."
-              })
-            ]
-          }),
-          /* @__PURE__ */ jsx("div", {
-            className: "grid gap-4 md:grid-cols-2",
-            children: specTypes.map((item) => /* @__PURE__ */ jsxs(Link, {
-              href: item.href,
-              className: "editorial-panel",
-              children: [
-                /* @__PURE__ */ jsx("h3", {
-                  className: "font-semibold text-xl",
-                  children: item.title
-                }),
-                /* @__PURE__ */ jsx("p", {
-                  className: "mt-2 text-muted-foreground text-sm leading-7",
-                  children: item.body
-                }),
-                /* @__PURE__ */ jsxs("div", {
-                  className: "mt-4 flex items-center gap-2 text-[color:var(--rust)] text-sm",
-                  children: [
-                    "Open section ",
-                    /* @__PURE__ */ jsx(ChevronRight, {
-                      size: 14
-                    })
-                  ]
-                })
-              ]
-            }, item.title))
-          })
-        ]
-      })
-    ]
-  });
-}
-export {
-  SpecsOverviewPage
-};
+import i from"@contractspec/lib.ui-link";import{ChevronRight as o}from"lucide-react";import{jsx as e,jsxs as a}from"react/jsx-runtime";var s=[{title:"Capabilities",body:"Model operations, events, and presentations as explicit system behavior.",href:"/docs/specs/capabilities"},{title:"Data views",body:"Describe query, filtering, and presentation behavior from the same source model.",href:"/docs/specs/dataviews"},{title:"Workflows",body:"Coordinate multi-step execution, retries, monitoring, and hand-offs.",href:"/docs/specs/workflows"},{title:"Policy",body:"Carry governance and access rules through every generated and runtime-served surface.",href:"/docs/specs/policy"},{title:"Overlays",body:"Customize generated surfaces safely instead of forking them permanently.",href:"/docs/specs/overlays"},{title:"Safety and migration",body:"Keep change safe with signing, audits, rollbacks, and explicit migration behavior.",href:"/docs/safety"}],n=[{title:"Module bundles",body:"Define typed surface bundles that resolve into auditable runtime plans instead of hand-built page logic.",href:"/docs/specs/module-bundles"},{title:"ContractSpec Connect",body:"Put coding-agent edits and commands behind local-first context, verification, replay, and review artifacts.",href:"/docs/specs/connect"},{title:"Builder control plane",body:"Coordinate multimodal authoring, provider routing, readiness, export, and mobile review on top of OSS and Studio.",href:"/docs/specs/builder-control-plane"}];function d(){return a("div",{className:"space-y-10",children:[a("div",{className:"space-y-3",children:[e("p",{className:"editorial-kicker",children:"Core model"}),e("h1",{className:"font-serif text-4xl tracking-[-0.04em] md:text-5xl",children:"Contracts are the durable system boundary."}),e("p",{className:"max-w-3xl text-lg text-muted-foreground leading-8",children:"ContractSpec uses explicit TypeScript specs to describe behavior before it spreads across APIs, UI, data models, events, and operator flows. The goal is not to hide implementation. The goal is to make the system boundary explicit enough that generation, validation, runtime enforcement, and regeneration can stay coherent."})]}),a("div",{className:"editorial-proof-strip",children:[a("div",{className:"editorial-stat",children:[e("span",{className:"editorial-label",children:"System promise"}),e("span",{className:"editorial-stat-value",children:"one contract → many surfaces"})]}),e("p",{className:"max-w-2xl text-muted-foreground text-sm leading-7",children:"Use the contract layer to keep surface behavior aligned, then let runtimes and generators do the repetitive work without inventing a closed platform."})]}),e("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:"What the contract layer owns"}),a("ul",{className:"editorial-list",children:[a("li",{children:[e("span",{className:"editorial-list-marker"}),e("span",{children:"Behavior: operations, events, presentations, workflows."})]}),a("li",{children:[e("span",{className:"editorial-list-marker"}),e("span",{children:"Validation: input, output, and schema boundaries."})]}),a("li",{children:[e("span",{className:"editorial-list-marker"}),e("span",{children:"Governance: policy, auditability, and migration rules."})]}),a("li",{children:[e("span",{className:"editorial-list-marker"}),e("span",{children:"Surface alignment: generated or served behavior across API, UI, data, and agent-facing interfaces."})]})]})]})}),a("section",{className:"space-y-5",children:[a("div",{className:"space-y-2",children:[e("h2",{className:"font-serif text-3xl tracking-[-0.03em]",children:"Specification types"}),e("p",{className:"text-muted-foreground text-sm leading-7",children:"You can adopt the model one part at a time. Not every system needs every spec type on day one."})]}),e("div",{className:"grid gap-4 md:grid-cols-2",children:s.map((t)=>a(i,{href:t.href,className:"editorial-panel",children:[e("h3",{className:"font-semibold text-xl",children:t.title}),e("p",{className:"mt-2 text-muted-foreground text-sm leading-7",children:t.body}),a("div",{className:"mt-4 flex items-center gap-2 text-[color:var(--rust)] text-sm",children:["Open section ",e(o,{size:14})]})]},t.title))})]}),a("section",{className:"space-y-5",children:[a("div",{className:"space-y-2",children:[e("h2",{className:"font-serif text-3xl tracking-[-0.03em]",children:"Implemented spec packs"}),e("p",{className:"text-muted-foreground text-sm leading-7",children:"These packs combine multiple contract surfaces into higher-order systems you can use directly today: agent enforcement, AI-native surface runtime, and governed Builder authoring."})]}),e("div",{className:"grid gap-4 md:grid-cols-2 xl:grid-cols-3",children:n.map((t)=>a(i,{href:t.href,className:"editorial-panel",children:[e("h3",{className:"font-semibold text-xl",children:t.title}),e("p",{className:"mt-2 text-muted-foreground text-sm leading-7",children:t.body}),a("div",{className:"mt-4 flex items-center gap-2 text-[color:var(--rust)] text-sm",children:["Open pack ",e(o,{size:14})]})]},t.title))})]})]})}export{d as SpecsOverviewPage};