// @bun
// src/components/docs/safety/SafetyOverviewPage.tsx
import Link from "@contractspec/lib.ui-link";
import { ChevronRight } from "lucide-react";
import { jsx, jsxs } from "react/jsx-runtime";
function SafetyOverviewPage() {
  return /* @__PURE__ */ jsxs("div", {
    className: "space-y-8",
    children: [
      /* @__PURE__ */ jsxs("div", {
        className: "space-y-4",
        children: [
          /* @__PURE__ */ jsx("h1", {
            className: "text-4xl font-bold",
            children: "Safety Overview"
          }),
          /* @__PURE__ */ jsxs("p", {
            className: "text-muted-foreground",
            children: [
              "ContractSpec is designed with ",
              /* @__PURE__ */ jsx("strong", {
                children: "safety by default"
              }),
              ". Every operation is governed by policies, every change is audited, and every deployment is reversible. This section covers the core safety mechanisms that protect your application and data."
            ]
          })
        ]
      }),
      /* @__PURE__ */ jsxs("div", {
        className: "space-y-4",
        children: [
          /* @__PURE__ */ jsx("h2", {
            className: "text-2xl font-bold",
            children: "Core safety features"
          }),
          /* @__PURE__ */ jsxs("div", {
            className: "space-y-6",
            children: [
              /* @__PURE__ */ jsxs("div", {
                className: "space-y-2",
                children: [
                  /* @__PURE__ */ jsx("h3", {
                    className: "text-xl font-semibold",
                    children: /* @__PURE__ */ jsx(Link, {
                      href: "/docs/safety/signing",
                      className: "text-violet-400 hover:text-violet-300",
                      children: "Spec Signing"
                    })
                  }),
                  /* @__PURE__ */ jsx("p", {
                    className: "text-muted-foreground",
                    children: "All specifications are cryptographically signed before deployment. This ensures that only authorized changes reach production and that specs cannot be tampered with in transit or at rest. Signatures are verified at runtime, and unsigned specs are rejected."
                  })
                ]
              }),
              /* @__PURE__ */ jsxs("div", {
                className: "space-y-2",
                children: [
                  /* @__PURE__ */ jsx("h3", {
                    className: "text-xl font-semibold",
                    children: /* @__PURE__ */ jsx(Link, {
                      href: "/docs/safety/pdp",
                      className: "text-violet-400 hover:text-violet-300",
                      children: "Policy Decision Points (PDP)"
                    })
                  }),
                  /* @__PURE__ */ jsx("p", {
                    className: "text-muted-foreground",
                    children: "Every API call, UI render, and data access passes through a centralized Policy Decision Point. The PDP evaluates attribute-based access control (ABAC) rules and PII policies to determine whether the operation is allowed. This ensures consistent enforcement across your entire application."
                  })
                ]
              }),
              /* @__PURE__ */ jsxs("div", {
                className: "space-y-2",
                children: [
                  /* @__PURE__ */ jsx("h3", {
                    className: "text-xl font-semibold",
                    children: /* @__PURE__ */ jsx(Link, {
                      href: "/docs/safety/auditing",
                      className: "text-violet-400 hover:text-violet-300",
                      children: "Audit Logs"
                    })
                  }),
                  /* @__PURE__ */ jsx("p", {
                    className: "text-muted-foreground",
                    children: "ContractSpec automatically records every operation in tamper-evident audit logs. These logs capture who did what, when, and why\u2014including policy decisions, data access, and administrative actions. Audit logs are essential for compliance, security investigations, and debugging."
                  })
                ]
              }),
              /* @__PURE__ */ jsxs("div", {
                className: "space-y-2",
                children: [
                  /* @__PURE__ */ jsx("h3", {
                    className: "text-xl font-semibold",
                    children: /* @__PURE__ */ jsx(Link, {
                      href: "/docs/safety/migrations",
                      className: "text-violet-400 hover:text-violet-300",
                      children: "Migrations"
                    })
                  }),
                  /* @__PURE__ */ jsxs("p", {
                    className: "text-muted-foreground",
                    children: [
                      "Schema and data migrations are managed through",
                      " ",
                      /* @__PURE__ */ jsx("strong", {
                        children: "MigrationSpecs"
                      }),
                      ". Each migration is versioned, reversible, and tested before deployment. This allows you to evolve your application safely without downtime or data loss."
                    ]
                  })
                ]
              }),
              /* @__PURE__ */ jsxs("div", {
                className: "space-y-2",
                children: [
                  /* @__PURE__ */ jsx("h3", {
                    className: "text-xl font-semibold",
                    children: "Dark Launch & Rollback"
                  }),
                  /* @__PURE__ */ jsx("p", {
                    className: "text-muted-foreground",
                    children: 'New features can be deployed in "dark launch" mode, where they run in production but are not visible to users. This allows you to test performance and correctness with real traffic before enabling the feature. If issues arise, you can instantly roll back to the previous version without redeploying.'
                  })
                ]
              }),
              /* @__PURE__ */ jsxs("div", {
                className: "space-y-2",
                children: [
                  /* @__PURE__ */ jsx("h3", {
                    className: "text-xl font-semibold",
                    children: "Data Classification"
                  }),
                  /* @__PURE__ */ jsx("p", {
                    className: "text-muted-foreground",
                    children: "Fields in your specs can be tagged with sensitivity levels (e.g., PII, PHI, confidential). The policy engine uses these tags to enforce access controls, redaction rules, and data retention policies automatically. This reduces the risk of accidental data leaks."
                  })
                ]
              })
            ]
          })
        ]
      }),
      /* @__PURE__ */ jsxs("div", {
        className: "space-y-4",
        children: [
          /* @__PURE__ */ jsx("h2", {
            className: "text-2xl font-bold",
            children: "Why safety matters"
          }),
          /* @__PURE__ */ jsx("p", {
            className: "text-muted-foreground",
            children: "Modern applications handle sensitive data and critical operations. A single bug or misconfiguration can lead to data breaches, compliance violations, or service outages. ContractSpec's safety features are not optional add-ons\u2014they are built into the core platform and enforced automatically."
          }),
          /* @__PURE__ */ jsx("p", {
            className: "text-muted-foreground",
            children: "By making safety the default, ContractSpec allows you to move fast without breaking things. You can deploy new features confidently, knowing that policies are enforced, changes are audited, and rollbacks are always available."
          })
        ]
      }),
      /* @__PURE__ */ jsxs("div", {
        className: "space-y-4",
        children: [
          /* @__PURE__ */ jsx("h2", {
            className: "text-2xl font-bold",
            children: "Next steps"
          }),
          /* @__PURE__ */ jsx("p", {
            className: "text-muted-foreground",
            children: "Explore each safety feature in detail using the links above, or continue with the advanced topics:"
          }),
          /* @__PURE__ */ jsxs("div", {
            className: "flex flex-wrap gap-4 pt-4",
            children: [
              /* @__PURE__ */ jsxs(Link, {
                href: "/docs/safety/signing",
                className: "btn-primary",
                children: [
                  "Spec Signing ",
                  /* @__PURE__ */ jsx(ChevronRight, {
                    size: 16,
                    className: "inline"
                  })
                ]
              }),
              /* @__PURE__ */ jsxs(Link, {
                href: "/docs/safety/pdp",
                className: "btn-ghost",
                children: [
                  "Policy Decision Points ",
                  /* @__PURE__ */ jsx(ChevronRight, {
                    size: 16,
                    className: "inline"
                  })
                ]
              }),
              /* @__PURE__ */ jsxs(Link, {
                href: "/docs/safety/auditing",
                className: "btn-ghost",
                children: [
                  "Audit Logs ",
                  /* @__PURE__ */ jsx(ChevronRight, {
                    size: 16,
                    className: "inline"
                  })
                ]
              }),
              /* @__PURE__ */ jsxs(Link, {
                href: "/docs/safety/migrations",
                className: "btn-ghost",
                children: [
                  "Migrations ",
                  /* @__PURE__ */ jsx(ChevronRight, {
                    size: 16,
                    className: "inline"
                  })
                ]
              }),
              /* @__PURE__ */ jsxs(Link, {
                href: "/docs/safety/security-trust",
                className: "btn-ghost",
                children: [
                  "Security & Trust ",
                  /* @__PURE__ */ jsx(ChevronRight, {
                    size: 16,
                    className: "inline"
                  })
                ]
              })
            ]
          })
        ]
      })
    ]
  });
}
export {
  SafetyOverviewPage
};
