@contractspec/bundle.library 3.4.3 → 3.5.2

package/dist/components/docs/getting-started/VSCodeExtensionPage.js

@@ -3,7 +3,7 @@
 import Link from "@contractspec/lib.ui-link";
 import { ChevronRight, ExternalLink } from "lucide-react";
 import { CodeBlock } from "@contractspec/lib.design-system";
-import { jsxDEV } from "react/jsx-dev-runtime";
+import { jsx, jsxs } from "react/jsx-runtime";
 function VSCodeExtensionPage() {
   const features = [
     {
@@ -62,371 +62,371 @@ function VSCodeExtensionPage() {
       description: "Generate OpenAPI specification"
     }
   ];
-  return /* @__PURE__ */ jsxDEV("div", {
+  return /* @__PURE__ */ jsxs("div", {
     className: "space-y-8",
     children: [
-      /* @__PURE__ */ jsxDEV("div", {
+      /* @__PURE__ */ jsxs("div", {
         className: "space-y-2",
         children: [
-          /* @__PURE__ */ jsxDEV("h1", {
+          /* @__PURE__ */ jsx("h1", {
             className: "text-4xl font-bold",
             children: "VS Code Extension"
-          }, undefined, false, undefined, this),
-          /* @__PURE__ */ jsxDEV("p", {
+          }),
+          /* @__PURE__ */ jsx("p", {
             className: "text-muted-foreground text-lg",
             children: "Spec-first development directly in VS Code. Validate, scaffold, and explore your contract specifications with real-time feedback."
-          }, undefined, false, undefined, this)
+          })
         ]
-      }, undefined, true, undefined, this),
-      /* @__PURE__ */ jsxDEV("div", {
+      }),
+      /* @__PURE__ */ jsxs("div", {
         className: "flex flex-wrap gap-3",
         children: [
-          /* @__PURE__ */ jsxDEV("a", {
+          /* @__PURE__ */ jsxs("a", {
             href: "https://marketplace.visualstudio.com/items?itemName=lssm.vscode-contractspec",
             target: "_blank",
             rel: "noopener noreferrer",
             className: "btn-primary inline-flex items-center gap-2",
             children: [
               "Install Extension ",
-              /* @__PURE__ */ jsxDEV(ExternalLink, {
+              /* @__PURE__ */ jsx(ExternalLink, {
                 size: 16
-              }, undefined, false, undefined, this)
+              })
             ]
-          }, undefined, true, undefined, this),
-          /* @__PURE__ */ jsxDEV("a", {
+          }),
+          /* @__PURE__ */ jsx("a", {
             href: "vscode:extension/lssm.vscode-contractspec",
             className: "btn-ghost inline-flex items-center gap-2",
             children: "Open in VS Code"
-          }, undefined, false, undefined, this)
+          })
         ]
-      }, undefined, true, undefined, this),
-      /* @__PURE__ */ jsxDEV("div", {
+      }),
+      /* @__PURE__ */ jsxs("div", {
         className: "space-y-6",
         children: [
-          /* @__PURE__ */ jsxDEV("div", {
+          /* @__PURE__ */ jsxs("div", {
             className: "space-y-3",
             children: [
-              /* @__PURE__ */ jsxDEV("h2", {
+              /* @__PURE__ */ jsx("h2", {
                 className: "text-2xl font-bold",
                 children: "Installation"
-              }, undefined, false, undefined, this),
-              /* @__PURE__ */ jsxDEV("div", {
+              }),
+              /* @__PURE__ */ jsxs("div", {
                 className: "space-y-2",
                 children: [
-                  /* @__PURE__ */ jsxDEV("p", {
+                  /* @__PURE__ */ jsxs("p", {
                     className: "text-muted-foreground text-sm",
                     children: [
-                      /* @__PURE__ */ jsxDEV("strong", {
+                      /* @__PURE__ */ jsx("strong", {
                         children: "Option 1:"
-                      }, undefined, false, undefined, this),
+                      }),
                       " Install from VS Code Marketplace"
                     ]
-                  }, undefined, true, undefined, this),
-                  /* @__PURE__ */ jsxDEV(CodeBlock, {
+                  }),
+                  /* @__PURE__ */ jsx(CodeBlock, {
                     language: "bash",
                     code: "code --install-extension lssm.vscode-contractspec"
-                  }, undefined, false, undefined, this),
-                  /* @__PURE__ */ jsxDEV("p", {
+                  }),
+                  /* @__PURE__ */ jsxs("p", {
                     className: "text-muted-foreground mt-4 text-sm",
                     children: [
-                      /* @__PURE__ */ jsxDEV("strong", {
+                      /* @__PURE__ */ jsx("strong", {
                         children: "Option 2:"
-                      }, undefined, false, undefined, this),
+                      }),
                       ' Search for "ContractSpec" in VS Code Extensions (Ctrl/Cmd+Shift+X)'
                     ]
-                  }, 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: "Features"
-              }, undefined, false, undefined, this),
-              /* @__PURE__ */ jsxDEV("div", {
+              }),
+              /* @__PURE__ */ jsx("div", {
                 className: "grid gap-4 md:grid-cols-3",
-                children: features.map((section) => /* @__PURE__ */ jsxDEV("div", {
+                children: features.map((section) => /* @__PURE__ */ jsxs("div", {
                   className: "card-subtle space-y-3 p-4",
                   children: [
-                    /* @__PURE__ */ jsxDEV("h3", {
+                    /* @__PURE__ */ jsx("h3", {
                       className: "font-bold text-violet-400",
                       children: section.category
-                    }, undefined, false, undefined, this),
-                    /* @__PURE__ */ jsxDEV("ul", {
+                    }),
+                    /* @__PURE__ */ jsx("ul", {
                       className: "space-y-2",
-                      children: section.items.map((item) => /* @__PURE__ */ jsxDEV("li", {
+                      children: section.items.map((item) => /* @__PURE__ */ jsxs("li", {
                         className: "text-muted-foreground flex items-start gap-2 text-sm",
                         children: [
-                          /* @__PURE__ */ jsxDEV("span", {
+                          /* @__PURE__ */ jsx("span", {
                             className: "mt-1 text-violet-400",
                             children: "-"
-                          }, undefined, false, undefined, this),
-                          /* @__PURE__ */ jsxDEV("span", {
+                          }),
+                          /* @__PURE__ */ jsx("span", {
                             children: item
-                          }, undefined, false, undefined, this)
+                          })
                         ]
-                      }, item, true, undefined, this))
-                    }, undefined, false, undefined, this)
+                      }, item))
+                    })
                   ]
-                }, section.category, true, undefined, this))
-              }, undefined, false, undefined, this)
+                }, section.category))
+              })
             ]
-          }, 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: "Commands"
-              }, undefined, false, undefined, this),
-              /* @__PURE__ */ jsxDEV("p", {
+              }),
+              /* @__PURE__ */ jsxs("p", {
                 className: "text-muted-foreground",
                 children: [
                   "Access commands via Command Palette (Ctrl/Cmd+Shift+P) with prefix",
                   " ",
-                  /* @__PURE__ */ jsxDEV("code", {
+                  /* @__PURE__ */ jsx("code", {
                     children: "ContractSpec:"
-                  }, undefined, false, undefined, this)
+                  })
                 ]
-              }, undefined, true, undefined, this),
-              /* @__PURE__ */ jsxDEV("div", {
+              }),
+              /* @__PURE__ */ jsx("div", {
                 className: "grid gap-3 md:grid-cols-2",
-                children: commands.map((cmd) => /* @__PURE__ */ jsxDEV("div", {
+                children: commands.map((cmd) => /* @__PURE__ */ jsx("div", {
                   className: "card-subtle flex items-center gap-3 p-3",
-                  children: /* @__PURE__ */ jsxDEV("div", {
+                  children: /* @__PURE__ */ jsxs("div", {
                     className: "flex-1",
                     children: [
-                      /* @__PURE__ */ jsxDEV("p", {
+                      /* @__PURE__ */ jsx("p", {
                         className: "font-mono text-sm font-medium",
                         children: cmd.name
-                      }, undefined, false, undefined, this),
-                      /* @__PURE__ */ jsxDEV("p", {
+                      }),
+                      /* @__PURE__ */ jsx("p", {
                         className: "text-muted-foreground text-xs",
                         children: cmd.description
-                      }, undefined, false, undefined, this)
+                      })
                     ]
-                  }, undefined, true, undefined, this)
-                }, cmd.name, false, undefined, this))
-              }, undefined, false, undefined, this)
+                  })
+                }, cmd.name))
+              })
             ]
-          }, undefined, true, undefined, this),
-          /* @__PURE__ */ jsxDEV("div", {
+          }),
+          /* @__PURE__ */ jsxs("div", {
             className: "space-y-3",
             children: [
-              /* @__PURE__ */ jsxDEV("h2", {
+              /* @__PURE__ */ jsx("h2", {
                 className: "text-2xl font-bold",
                 children: "Sidebar Views"
-              }, undefined, false, undefined, this),
-              /* @__PURE__ */ jsxDEV("p", {
+              }),
+              /* @__PURE__ */ jsx("p", {
                 className: "text-muted-foreground",
                 children: "The extension adds a ContractSpec activity bar (icon in sidebar) with three views:"
-              }, undefined, false, undefined, this),
-              /* @__PURE__ */ jsxDEV("div", {
+              }),
+              /* @__PURE__ */ jsxs("div", {
                 className: "grid gap-4 md:grid-cols-3",
                 children: [
-                  /* @__PURE__ */ jsxDEV("div", {
+                  /* @__PURE__ */ jsxs("div", {
                     className: "card-subtle space-y-2 p-4",
                     children: [
-                      /* @__PURE__ */ jsxDEV("h4", {
+                      /* @__PURE__ */ jsx("h4", {
                         className: "font-bold",
                         children: "Specs Explorer"
-                      }, undefined, false, undefined, this),
-                      /* @__PURE__ */ jsxDEV("p", {
+                      }),
+                      /* @__PURE__ */ jsx("p", {
                         className: "text-muted-foreground text-sm",
                         children: "Browse all specs organized by type. Shows name, version, and stability. Click to open, right-click for actions."
-                      }, undefined, false, undefined, this)
+                      })
                     ]
-                  }, undefined, true, undefined, this),
-                  /* @__PURE__ */ jsxDEV("div", {
+                  }),
+                  /* @__PURE__ */ jsxs("div", {
                     className: "card-subtle space-y-2 p-4",
                     children: [
-                      /* @__PURE__ */ jsxDEV("h4", {
+                      /* @__PURE__ */ jsx("h4", {
                         className: "font-bold",
                         children: "Dependencies"
-                      }, undefined, false, undefined, this),
-                      /* @__PURE__ */ jsxDEV("p", {
+                      }),
+                      /* @__PURE__ */ jsx("p", {
                         className: "text-muted-foreground text-sm",
                         children: "Visualize spec relationships. Detect circular dependencies. Navigate to referenced specs."
-                      }, undefined, false, undefined, this)
+                      })
                     ]
-                  }, undefined, true, undefined, this),
-                  /* @__PURE__ */ jsxDEV("div", {
+                  }),
+                  /* @__PURE__ */ jsxs("div", {
                     className: "card-subtle space-y-2 p-4",
                     children: [
-                      /* @__PURE__ */ jsxDEV("h4", {
+                      /* @__PURE__ */ jsx("h4", {
                         className: "font-bold",
                         children: "Build Results"
-                      }, undefined, false, undefined, this),
-                      /* @__PURE__ */ jsxDEV("p", {
+                      }),
+                      /* @__PURE__ */ jsx("p", {
                         className: "text-muted-foreground text-sm",
                         children: "Track build history (last 20). Success/failure indicators. Click to open generated files."
-                      }, undefined, false, undefined, this)
+                      })
                     ]
-                  }, undefined, true, undefined, this)
+                  })
                 ]
-              }, undefined, true, undefined, this)
+              })
             ]
-          }, undefined, true, undefined, this),
-          /* @__PURE__ */ jsxDEV("div", {
+          }),
+          /* @__PURE__ */ jsxs("div", {
             className: "space-y-3",
             children: [
-              /* @__PURE__ */ jsxDEV("h2", {
+              /* @__PURE__ */ jsx("h2", {
                 className: "text-2xl font-bold",
                 children: "Getting Started"
-              }, 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: "Install the extension from VS Code Marketplace"
-                  }, undefined, false, undefined, this),
-                  /* @__PURE__ */ jsxDEV("li", {
+                  }),
+                  /* @__PURE__ */ jsx("li", {
                     children: "Open a workspace with ContractSpec files (or create one)"
-                  }, undefined, false, undefined, this),
-                  /* @__PURE__ */ jsxDEV("li", {
+                  }),
+                  /* @__PURE__ */ jsx("li", {
                     children: "Start the walkthrough: Help - Welcome - ContractSpec"
-                  }, undefined, false, undefined, this),
-                  /* @__PURE__ */ jsxDEV("li", {
+                  }),
+                  /* @__PURE__ */ jsxs("li", {
                     children: [
                       "Create your first spec: Click ",
-                      /* @__PURE__ */ jsxDEV("strong", {
+                      /* @__PURE__ */ jsx("strong", {
                         children: "+"
-                      }, undefined, false, undefined, this),
+                      }),
                       " in Specs Explorer or run ",
-                      /* @__PURE__ */ jsxDEV("code", {
+                      /* @__PURE__ */ jsx("code", {
                         children: "ContractSpec: Create New Spec"
-                      }, undefined, false, undefined, this)
+                      })
                     ]
-                  }, undefined, true, undefined, this),
-                  /* @__PURE__ */ jsxDEV("li", {
+                  }),
+                  /* @__PURE__ */ jsx("li", {
                     children: "Build from it: Click the build icon in the editor title bar"
-                  }, undefined, false, undefined, this)
+                  })
                 ]
-              }, undefined, true, undefined, this)
+              })
             ]
-          }, undefined, true, undefined, this),
-          /* @__PURE__ */ jsxDEV("div", {
+          }),
+          /* @__PURE__ */ jsxs("div", {
             className: "card-subtle space-y-4 p-6",
             children: [
-              /* @__PURE__ */ jsxDEV("h3", {
+              /* @__PURE__ */ jsx("h3", {
                 className: "font-bold",
                 children: "Configuration"
-              }, undefined, false, undefined, this),
-              /* @__PURE__ */ jsxDEV("p", {
+              }),
+              /* @__PURE__ */ jsx("p", {
                 className: "text-muted-foreground text-sm",
                 children: "Configure the extension in VS Code Settings:"
-              }, undefined, false, undefined, this),
-              /* @__PURE__ */ jsxDEV("div", {
+              }),
+              /* @__PURE__ */ jsx("div", {
                 className: "overflow-x-auto",
-                children: /* @__PURE__ */ jsxDEV("table", {
+                children: /* @__PURE__ */ jsxs("table", {
                   className: "text-muted-foreground w-full text-sm",
                   children: [
-                    /* @__PURE__ */ jsxDEV("thead", {
-                      children: /* @__PURE__ */ jsxDEV("tr", {
+                    /* @__PURE__ */ jsx("thead", {
+                      children: /* @__PURE__ */ jsxs("tr", {
                         className: "border-border border-b",
                         children: [
-                          /* @__PURE__ */ jsxDEV("th", {
+                          /* @__PURE__ */ jsx("th", {
                             className: "p-2 text-left font-medium",
                             children: "Setting"
-                          }, undefined, false, undefined, this),
-                          /* @__PURE__ */ jsxDEV("th", {
+                          }),
+                          /* @__PURE__ */ jsx("th", {
                             className: "p-2 text-left font-medium",
                             children: "Description"
-                          }, undefined, false, undefined, this),
-                          /* @__PURE__ */ jsxDEV("th", {
+                          }),
+                          /* @__PURE__ */ jsx("th", {
                             className: "p-2 text-left font-medium",
                             children: "Default"
-                          }, undefined, false, undefined, this)
+                          })
                         ]
-                      }, undefined, true, undefined, this)
-                    }, undefined, false, undefined, this),
-                    /* @__PURE__ */ jsxDEV("tbody", {
+                      })
+                    }),
+                    /* @__PURE__ */ jsxs("tbody", {
                       children: [
-                        /* @__PURE__ */ jsxDEV("tr", {
+                        /* @__PURE__ */ jsxs("tr", {
                           className: "border-border border-b",
                           children: [
-                            /* @__PURE__ */ jsxDEV("td", {
+                            /* @__PURE__ */ jsx("td", {
                               className: "p-2 font-mono text-xs",
                               children: "validation.onSave"
-                            }, undefined, false, undefined, this),
-                            /* @__PURE__ */ jsxDEV("td", {
+                            }),
+                            /* @__PURE__ */ jsx("td", {
                               className: "p-2",
                               children: "Run validation on save"
-                            }, undefined, false, undefined, this),
-                            /* @__PURE__ */ jsxDEV("td", {
+                            }),
+                            /* @__PURE__ */ jsx("td", {
                               className: "p-2",
                               children: "true"
-                            }, undefined, false, undefined, this)
+                            })
                           ]
-                        }, undefined, true, undefined, this),
-                        /* @__PURE__ */ jsxDEV("tr", {
+                        }),
+                        /* @__PURE__ */ jsxs("tr", {
                           className: "border-border border-b",
                           children: [
-                            /* @__PURE__ */ jsxDEV("td", {
+                            /* @__PURE__ */ jsx("td", {
                               className: "p-2 font-mono text-xs",
                               children: "validation.onOpen"
-                            }, undefined, false, undefined, this),
-                            /* @__PURE__ */ jsxDEV("td", {
+                            }),
+                            /* @__PURE__ */ jsx("td", {
                               className: "p-2",
                               children: "Run validation on open"
-                            }, undefined, false, undefined, this),
-                            /* @__PURE__ */ jsxDEV("td", {
+                            }),
+                            /* @__PURE__ */ jsx("td", {
                               className: "p-2",
                               children: "true"
-                            }, undefined, false, undefined, this)
+                            })
                           ]
-                        }, undefined, true, undefined, this),
-                        /* @__PURE__ */ jsxDEV("tr", {
+                        }),
+                        /* @__PURE__ */ jsxs("tr", {
                           className: "border-border border-b",
                           children: [
-                            /* @__PURE__ */ jsxDEV("td", {
+                            /* @__PURE__ */ jsx("td", {
                               className: "p-2 font-mono text-xs",
                               children: "api.baseUrl"
-                            }, undefined, false, undefined, this),
-                            /* @__PURE__ */ jsxDEV("td", {
+                            }),
+                            /* @__PURE__ */ jsx("td", {
                               className: "p-2",
                               children: "Base URL for ContractSpec API"
-                            }, undefined, false, undefined, this),
-                            /* @__PURE__ */ jsxDEV("td", {
+                            }),
+                            /* @__PURE__ */ jsx("td", {
                               className: "p-2",
                               children: "(empty)"
-                            }, undefined, false, undefined, this)
+                            })
                           ]
-                        }, undefined, true, undefined, this)
+                        })
                       ]
-                    }, undefined, true, undefined, this)
+                    })
                   ]
-                }, undefined, true, undefined, this)
-              }, undefined, false, undefined, this)
+                })
+              })
             ]
-          }, undefined, true, 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/getting-started/tools/cli",
             className: "btn-ghost",
             children: "Back: CLI"
-          }, undefined, false, undefined, this),
-          /* @__PURE__ */ jsxDEV(Link, {
+          }),
+          /* @__PURE__ */ jsxs(Link, {
             href: "/docs/specs",
             className: "btn-primary",
             children: [
               "Next: Core Concepts ",
-              /* @__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 {
   VSCodeExtensionPage