@contractspec/bundle.library 3.4.2 → 3.5.0

package/dist/node/components/docs/safety/SafetyMigrationsPage.js

@@ -1,152 +1,152 @@
 // src/components/docs/safety/SafetyMigrationsPage.tsx
 import Link from "@contractspec/lib.ui-link";
 import { ChevronRight } from "lucide-react";
-import { jsxDEV } from "react/jsx-dev-runtime";
+import { jsx, jsxs } from "react/jsx-runtime";
 function SafetyMigrationsPage() {
-  return /* @__PURE__ */ jsxDEV("div", {
+  return /* @__PURE__ */ jsxs("div", {
     className: "space-y-8",
     children: [
-      /* @__PURE__ */ jsxDEV("div", {
+      /* @__PURE__ */ jsxs("div", {
         className: "space-y-4",
         children: [
-          /* @__PURE__ */ jsxDEV("h1", {
+          /* @__PURE__ */ jsx("h1", {
             className: "text-4xl font-bold",
             children: "Migrations"
-          }, undefined, false, undefined, this),
-          /* @__PURE__ */ jsxDEV("p", {
+          }),
+          /* @__PURE__ */ jsxs("p", {
             className: "text-muted-foreground",
             children: [
               "A ",
-              /* @__PURE__ */ jsxDEV("strong", {
+              /* @__PURE__ */ jsx("strong", {
                 children: "schema migration"
-              }, undefined, false, undefined, this),
+              }),
               " (also called a database migration) is a set of incremental, reversible changes to a database schema. According to",
               " ",
-              /* @__PURE__ */ jsxDEV("a", {
+              /* @__PURE__ */ jsx("a", {
                 href: "https://en.wikipedia.org/wiki/Schema_migration",
                 target: "_blank",
                 rel: "noopener noreferrer",
                 className: "text-violet-400 hover:text-violet-300",
                 children: "Wikipedia"
-              }, undefined, false, undefined, this),
+              }),
               `, schema migrations "allow the database schema to evolve as the application's requirements change, while preserving existing data."`
             ]
-          }, undefined, true, undefined, this)
+          })
         ]
-      }, undefined, true, undefined, this),
-      /* @__PURE__ */ jsxDEV("div", {
+      }),
+      /* @__PURE__ */ jsxs("div", {
         className: "space-y-4",
         children: [
-          /* @__PURE__ */ jsxDEV("h2", {
+          /* @__PURE__ */ jsx("h2", {
             className: "text-2xl font-bold",
             children: "Why migrations matter"
-          }, undefined, false, undefined, this),
-          /* @__PURE__ */ jsxDEV("p", {
+          }),
+          /* @__PURE__ */ jsx("p", {
             className: "text-muted-foreground",
             children: "As your application evolves, you'll need to change your data model—adding new fields, renaming tables, changing data types, or restructuring relationships. Without a disciplined approach, these changes can lead to:"
-          }, undefined, false, undefined, this),
-          /* @__PURE__ */ jsxDEV("ul", {
+          }),
+          /* @__PURE__ */ jsxs("ul", {
             className: "text-muted-foreground list-inside list-disc space-y-2",
             children: [
-              /* @__PURE__ */ jsxDEV("li", {
+              /* @__PURE__ */ jsx("li", {
                 children: "Data loss or corruption"
-              }, undefined, false, undefined, this),
-              /* @__PURE__ */ jsxDEV("li", {
+              }),
+              /* @__PURE__ */ jsx("li", {
                 children: "Downtime during deployments"
-              }, undefined, false, undefined, this),
-              /* @__PURE__ */ jsxDEV("li", {
+              }),
+              /* @__PURE__ */ jsx("li", {
                 children: "Inconsistencies between environments (dev, staging, production)"
-              }, undefined, false, undefined, this),
-              /* @__PURE__ */ jsxDEV("li", {
+              }),
+              /* @__PURE__ */ jsx("li", {
                 children: "Difficulty rolling back failed changes"
-              }, undefined, false, undefined, this)
+              })
             ]
-          }, undefined, true, undefined, this),
-          /* @__PURE__ */ jsxDEV("p", {
+          }),
+          /* @__PURE__ */ jsx("p", {
             className: "text-muted-foreground",
             children: "Migrations solve these problems by treating schema changes as versioned, tested, and reversible operations."
-          }, undefined, false, undefined, this)
+          })
         ]
-      }, undefined, true, undefined, this),
-      /* @__PURE__ */ jsxDEV("div", {
+      }),
+      /* @__PURE__ */ jsxs("div", {
         className: "space-y-4",
         children: [
-          /* @__PURE__ */ jsxDEV("h2", {
+          /* @__PURE__ */ jsx("h2", {
             className: "text-2xl font-bold",
             children: "How MigrationSpec works"
-          }, undefined, false, undefined, this),
-          /* @__PURE__ */ jsxDEV("p", {
+          }),
+          /* @__PURE__ */ jsxs("p", {
             className: "text-muted-foreground",
             children: [
               "In ContractSpec, migrations are defined using",
               " ",
-              /* @__PURE__ */ jsxDEV("strong", {
+              /* @__PURE__ */ jsx("strong", {
                 children: "MigrationSpec"
-              }, undefined, false, undefined, this),
+              }),
               ". Each migration has:"
             ]
-          }, undefined, true, undefined, this),
-          /* @__PURE__ */ jsxDEV("ul", {
+          }),
+          /* @__PURE__ */ jsxs("ul", {
             className: "text-muted-foreground list-inside list-disc space-y-2",
             children: [
-              /* @__PURE__ */ jsxDEV("li", {
+              /* @__PURE__ */ jsxs("li", {
                 children: [
-                  /* @__PURE__ */ jsxDEV("strong", {
+                  /* @__PURE__ */ jsx("strong", {
                     children: "Version"
-                  }, undefined, false, undefined, this),
+                  }),
                   ' – A unique identifier (e.g., "2025-11-13-001") that determines the order of execution.'
                 ]
-              }, undefined, true, undefined, this),
-              /* @__PURE__ */ jsxDEV("li", {
+              }),
+              /* @__PURE__ */ jsxs("li", {
                 children: [
-                  /* @__PURE__ */ jsxDEV("strong", {
+                  /* @__PURE__ */ jsx("strong", {
                     children: "Up function"
-                  }, undefined, false, undefined, this),
+                  }),
                   ` – The forward migration that applies the change (e.g., "add column 'email_verified'").`
                 ]
-              }, undefined, true, undefined, this),
-              /* @__PURE__ */ jsxDEV("li", {
+              }),
+              /* @__PURE__ */ jsxs("li", {
                 children: [
-                  /* @__PURE__ */ jsxDEV("strong", {
+                  /* @__PURE__ */ jsx("strong", {
                     children: "Down function"
-                  }, undefined, false, undefined, this),
+                  }),
                   ` – The reverse migration that undoes the change (e.g., "drop column 'email_verified'").`
                 ]
-              }, undefined, true, undefined, this),
-              /* @__PURE__ */ jsxDEV("li", {
+              }),
+              /* @__PURE__ */ jsxs("li", {
                 children: [
-                  /* @__PURE__ */ jsxDEV("strong", {
+                  /* @__PURE__ */ jsx("strong", {
                     children: "Dependencies"
-                  }, undefined, false, undefined, this),
+                  }),
                   " – Other migrations that must run before this one."
                 ]
-              }, undefined, true, undefined, this),
-              /* @__PURE__ */ jsxDEV("li", {
+              }),
+              /* @__PURE__ */ jsxs("li", {
                 children: [
-                  /* @__PURE__ */ jsxDEV("strong", {
+                  /* @__PURE__ */ jsx("strong", {
                     children: "Validation"
-                  }, undefined, false, undefined, this),
+                  }),
                   ' – Optional checks to ensure the migration succeeded (e.g., "verify all users have an email address").'
                 ]
-              }, undefined, true, undefined, this)
+              })
             ]
-          }, undefined, true, undefined, this)
+          })
         ]
-      }, undefined, true, undefined, this),
-      /* @__PURE__ */ jsxDEV("div", {
+      }),
+      /* @__PURE__ */ jsxs("div", {
         className: "space-y-4",
         children: [
-          /* @__PURE__ */ jsxDEV("h2", {
+          /* @__PURE__ */ jsx("h2", {
             className: "text-2xl font-bold",
             children: "Example MigrationSpec"
-          }, undefined, false, undefined, this),
-          /* @__PURE__ */ jsxDEV("p", {
+          }),
+          /* @__PURE__ */ jsx("p", {
             className: "text-muted-foreground",
             children: "Here's a migration that adds an email verification field to the users table:"
-          }, undefined, false, undefined, this),
-          /* @__PURE__ */ jsxDEV("div", {
+          }),
+          /* @__PURE__ */ jsx("div", {
             className: "bg-background/50 border-border text-muted-foreground overflow-x-auto rounded-lg border p-4 font-mono text-sm",
-            children: /* @__PURE__ */ jsxDEV("pre", {
+            children: /* @__PURE__ */ jsx("pre", {
               children: `migrationId: add-email-verified
 version: 2025-11-13-001
 dependencies: []
@@ -171,210 +171,210 @@ validation:
       SELECT COUNT(*) FROM users
       WHERE email_verified IS NULL;
     expectZeroRows: true`
-            }, undefined, false, undefined, this)
-          }, undefined, false, undefined, this)
+            })
+          })
         ]
-      }, undefined, true, undefined, this),
-      /* @__PURE__ */ jsxDEV("div", {
+      }),
+      /* @__PURE__ */ jsxs("div", {
         className: "space-y-4",
         children: [
-          /* @__PURE__ */ jsxDEV("h2", {
+          /* @__PURE__ */ jsx("h2", {
             className: "text-2xl font-bold",
             children: "Running migrations"
-          }, undefined, false, undefined, this),
-          /* @__PURE__ */ jsxDEV("p", {
+          }),
+          /* @__PURE__ */ jsx("p", {
             className: "text-muted-foreground",
             children: "Migrations are applied automatically during deployment. The ContractSpec runtime:"
-          }, undefined, false, undefined, this),
-          /* @__PURE__ */ jsxDEV("ol", {
+          }),
+          /* @__PURE__ */ jsxs("ol", {
             className: "text-muted-foreground list-inside list-decimal space-y-2",
             children: [
-              /* @__PURE__ */ jsxDEV("li", {
+              /* @__PURE__ */ jsx("li", {
                 children: "Checks which migrations have already been applied (stored in a migrations table)."
-              }, undefined, false, undefined, this),
-              /* @__PURE__ */ jsxDEV("li", {
+              }),
+              /* @__PURE__ */ jsx("li", {
                 children: "Identifies new migrations that need to run."
-              }, undefined, false, undefined, this),
-              /* @__PURE__ */ jsxDEV("li", {
+              }),
+              /* @__PURE__ */ jsx("li", {
                 children: "Executes them in order, respecting dependencies."
-              }, undefined, false, undefined, this),
-              /* @__PURE__ */ jsxDEV("li", {
+              }),
+              /* @__PURE__ */ jsx("li", {
                 children: "Runs validation checks to ensure success."
-              }, undefined, false, undefined, this),
-              /* @__PURE__ */ jsxDEV("li", {
+              }),
+              /* @__PURE__ */ jsx("li", {
                 children: "Records the migration as applied."
-              }, undefined, false, undefined, this)
+              })
             ]
-          }, undefined, true, undefined, this),
-          /* @__PURE__ */ jsxDEV("p", {
+          }),
+          /* @__PURE__ */ jsx("p", {
             className: "text-muted-foreground",
             children: "If a migration fails, the deployment is aborted, and the system remains in its previous state. You can then fix the migration and redeploy."
-          }, undefined, false, undefined, this)
+          })
         ]
-      }, undefined, true, undefined, this),
-      /* @__PURE__ */ jsxDEV("div", {
+      }),
+      /* @__PURE__ */ jsxs("div", {
         className: "space-y-4",
         children: [
-          /* @__PURE__ */ jsxDEV("h2", {
+          /* @__PURE__ */ jsx("h2", {
             className: "text-2xl font-bold",
             children: "Rolling back migrations"
-          }, undefined, false, undefined, this),
-          /* @__PURE__ */ jsxDEV("p", {
+          }),
+          /* @__PURE__ */ jsxs("p", {
             className: "text-muted-foreground",
             children: [
               "If you need to roll back a deployment, ContractSpec automatically runs the ",
-              /* @__PURE__ */ jsxDEV("strong", {
+              /* @__PURE__ */ jsx("strong", {
                 children: "down"
-              }, undefined, false, undefined, this),
+              }),
               " functions of any migrations that were applied. This restores the database to its previous state."
             ]
-          }, undefined, true, undefined, this),
-          /* @__PURE__ */ jsxDEV("p", {
+          }),
+          /* @__PURE__ */ jsx("p", {
             className: "text-muted-foreground",
             children: "Note that rollbacks are not always possible—for example, if you've deleted a column, you cannot recover the data unless you have a backup. For destructive changes, it's best to use a multi-step migration:"
-          }, undefined, false, undefined, this),
-          /* @__PURE__ */ jsxDEV("ol", {
+          }),
+          /* @__PURE__ */ jsxs("ol", {
             className: "text-muted-foreground list-inside list-decimal space-y-2",
             children: [
-              /* @__PURE__ */ jsxDEV("li", {
+              /* @__PURE__ */ jsx("li", {
                 children: "Add the new column (reversible)."
-              }, undefined, false, undefined, this),
-              /* @__PURE__ */ jsxDEV("li", {
+              }),
+              /* @__PURE__ */ jsx("li", {
                 children: "Backfill data from the old column to the new column (reversible)."
-              }, undefined, false, undefined, this),
-              /* @__PURE__ */ jsxDEV("li", {
+              }),
+              /* @__PURE__ */ jsx("li", {
                 children: "Update application code to use the new column (reversible)."
-              }, undefined, false, undefined, this),
-              /* @__PURE__ */ jsxDEV("li", {
+              }),
+              /* @__PURE__ */ jsx("li", {
                 children: "Drop the old column (irreversible—only do this after confirming the new column works)."
-              }, undefined, false, undefined, this)
+              })
             ]
-          }, undefined, true, undefined, this)
+          })
         ]
-      }, undefined, true, undefined, this),
-      /* @__PURE__ */ jsxDEV("div", {
+      }),
+      /* @__PURE__ */ jsxs("div", {
         className: "space-y-4",
         children: [
-          /* @__PURE__ */ jsxDEV("h2", {
+          /* @__PURE__ */ jsx("h2", {
             className: "text-2xl font-bold",
             children: "Best practices"
-          }, undefined, false, undefined, this),
-          /* @__PURE__ */ jsxDEV("ul", {
+          }),
+          /* @__PURE__ */ jsxs("ul", {
             className: "text-muted-foreground list-inside list-disc space-y-2",
             children: [
-              /* @__PURE__ */ jsxDEV("li", {
+              /* @__PURE__ */ jsxs("li", {
                 children: [
-                  /* @__PURE__ */ jsxDEV("strong", {
+                  /* @__PURE__ */ jsx("strong", {
                     children: "Test migrations locally"
-                  }, undefined, false, undefined, this),
+                  }),
                   " – Run them against a copy of production data to catch issues before deploying."
                 ]
-              }, undefined, true, undefined, this),
-              /* @__PURE__ */ jsxDEV("li", {
+              }),
+              /* @__PURE__ */ jsxs("li", {
                 children: [
-                  /* @__PURE__ */ jsxDEV("strong", {
+                  /* @__PURE__ */ jsx("strong", {
                     children: "Keep migrations small"
-                  }, undefined, false, undefined, this),
+                  }),
                   " – Each migration should do one thing. This makes them easier to understand and roll back."
                 ]
-              }, undefined, true, undefined, this),
-              /* @__PURE__ */ jsxDEV("li", {
+              }),
+              /* @__PURE__ */ jsxs("li", {
                 children: [
-                  /* @__PURE__ */ jsxDEV("strong", {
+                  /* @__PURE__ */ jsx("strong", {
                     children: "Write reversible migrations"
-                  }, undefined, false, undefined, this),
+                  }),
                   " – Always provide a down function, even if you don't plan to roll back."
                 ]
-              }, undefined, true, undefined, this),
-              /* @__PURE__ */ jsxDEV("li", {
+              }),
+              /* @__PURE__ */ jsxs("li", {
                 children: [
-                  /* @__PURE__ */ jsxDEV("strong", {
+                  /* @__PURE__ */ jsx("strong", {
                     children: "Use transactions"
-                  }, undefined, false, undefined, this),
+                  }),
                   " – Wrap migrations in database transactions so they either fully succeed or fully fail."
                 ]
-              }, undefined, true, undefined, this),
-              /* @__PURE__ */ jsxDEV("li", {
+              }),
+              /* @__PURE__ */ jsxs("li", {
                 children: [
-                  /* @__PURE__ */ jsxDEV("strong", {
+                  /* @__PURE__ */ jsx("strong", {
                     children: "Avoid destructive changes"
-                  }, undefined, false, undefined, this),
+                  }),
                   " – Prefer additive changes (adding columns) over destructive ones (dropping columns). If you must delete data, archive it first."
                 ]
-              }, undefined, true, undefined, this),
-              /* @__PURE__ */ jsxDEV("li", {
+              }),
+              /* @__PURE__ */ jsxs("li", {
                 children: [
-                  /* @__PURE__ */ jsxDEV("strong", {
+                  /* @__PURE__ */ jsx("strong", {
                     children: "Version your migrations"
-                  }, undefined, false, undefined, this),
+                  }),
                   " – Use timestamps or sequential numbers to ensure migrations run in the correct order."
                 ]
-              }, undefined, true, undefined, this),
-              /* @__PURE__ */ jsxDEV("li", {
+              }),
+              /* @__PURE__ */ jsxs("li", {
                 children: [
-                  /* @__PURE__ */ jsxDEV("strong", {
+                  /* @__PURE__ */ jsx("strong", {
                     children: "Document breaking changes"
-                  }, undefined, false, undefined, this),
+                  }),
                   " – If a migration requires application code changes, note this in the migration description."
                 ]
-              }, undefined, true, undefined, this)
+              })
             ]
-          }, undefined, true, undefined, this)
+          })
         ]
-      }, undefined, true, undefined, this),
-      /* @__PURE__ */ jsxDEV("div", {
+      }),
+      /* @__PURE__ */ jsxs("div", {
         className: "space-y-4",
         children: [
-          /* @__PURE__ */ jsxDEV("h2", {
+          /* @__PURE__ */ jsx("h2", {
             className: "text-2xl font-bold",
             children: "Zero-downtime migrations"
-          }, undefined, false, undefined, this),
-          /* @__PURE__ */ jsxDEV("p", {
+          }),
+          /* @__PURE__ */ jsx("p", {
             className: "text-muted-foreground",
             children: "Some migrations can cause downtime if not handled carefully. For example, adding a NOT NULL column to a large table can lock the table for minutes. To avoid this, use a multi-step approach:"
-          }, undefined, false, undefined, this),
-          /* @__PURE__ */ jsxDEV("ol", {
+          }),
+          /* @__PURE__ */ jsxs("ol", {
             className: "text-muted-foreground list-inside list-decimal space-y-2",
             children: [
-              /* @__PURE__ */ jsxDEV("li", {
+              /* @__PURE__ */ jsx("li", {
                 children: "Add the column as nullable."
-              }, undefined, false, undefined, this),
-              /* @__PURE__ */ jsxDEV("li", {
+              }),
+              /* @__PURE__ */ jsx("li", {
                 children: "Backfill the column in batches (without locking the table)."
-              }, undefined, false, undefined, this),
-              /* @__PURE__ */ jsxDEV("li", {
+              }),
+              /* @__PURE__ */ jsx("li", {
                 children: "Add the NOT NULL constraint once all rows are populated."
-              }, undefined, false, undefined, this)
+              })
             ]
-          }, undefined, true, undefined, this),
-          /* @__PURE__ */ jsxDEV("p", {
+          }),
+          /* @__PURE__ */ jsx("p", {
             className: "text-muted-foreground",
             children: "ContractSpec's migration system supports this pattern by allowing you to split a logical change into multiple versioned migrations."
-          }, undefined, false, undefined, this)
+          })
         ]
-      }, undefined, true, undefined, this),
-      /* @__PURE__ */ jsxDEV("div", {
+      }),
+      /* @__PURE__ */ jsxs("div", {
         className: "flex items-center gap-4 pt-4",
         children: [
-          /* @__PURE__ */ jsxDEV(Link, {
+          /* @__PURE__ */ jsx(Link, {
             href: "/docs/safety/auditing",
             className: "btn-ghost",
             children: "Previous: Audit Logs"
-          }, undefined, false, undefined, this),
-          /* @__PURE__ */ jsxDEV(Link, {
+          }),
+          /* @__PURE__ */ jsxs(Link, {
             href: "/docs/advanced/renderers",
             className: "btn-primary",
             children: [
               "Next: Advanced Topics ",
-              /* @__PURE__ */ jsxDEV(ChevronRight, {
+              /* @__PURE__ */ jsx(ChevronRight, {
                 size: 16
-              }, undefined, false, undefined, this)
+              })
             ]
-          }, undefined, true, undefined, this)
+          })
         ]
-      }, undefined, true, undefined, this)
+      })
     ]
-  }, undefined, true, undefined, this);
+  });
 }
 export {
   SafetyMigrationsPage