@contractspec/bundle.library 3.4.2 → 3.5.0

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

@@ -1,188 +1,188 @@
 // src/components/docs/safety/SafetyAuditingPage.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 SafetyAuditingPage() {
-  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: "Audit Logs"
-          }, undefined, false, undefined, this),
-          /* @__PURE__ */ jsxDEV("p", {
+          }),
+          /* @__PURE__ */ jsxs("p", {
             className: "text-muted-foreground",
             children: [
               "An ",
-              /* @__PURE__ */ jsxDEV("strong", {
+              /* @__PURE__ */ jsx("strong", {
                 children: "audit log"
-              }, undefined, false, undefined, this),
+              }),
               " (also called an audit trail) is a chronological record of system activities. According to",
               " ",
-              /* @__PURE__ */ jsxDEV("a", {
+              /* @__PURE__ */ jsx("a", {
                 href: "https://www.sumologic.com/glossary/audit-log/",
                 target: "_blank",
                 rel: "noopener noreferrer",
                 className: "text-violet-400 hover:text-violet-300",
                 children: "Sumo Logic"
-              }, undefined, false, undefined, this),
+              }),
               ', audit logs "provide a detailed record of events and changes within a system, enabling organizations to track user actions, system changes, and access to sensitive 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 audit logs matter"
-          }, undefined, false, undefined, this),
-          /* @__PURE__ */ jsxDEV("div", {
+          }),
+          /* @__PURE__ */ jsxs("div", {
             className: "space-y-3",
             children: [
-              /* @__PURE__ */ jsxDEV("div", {
+              /* @__PURE__ */ jsxs("div", {
                 children: [
-                  /* @__PURE__ */ jsxDEV("h3", {
+                  /* @__PURE__ */ jsx("h3", {
                     className: "text-lg font-semibold",
                     children: "Accountability"
-                  }, undefined, false, undefined, this),
-                  /* @__PURE__ */ jsxDEV("p", {
+                  }),
+                  /* @__PURE__ */ jsx("p", {
                     className: "text-muted-foreground",
                     children: 'Audit logs answer the question "who did what, when?" This is essential for holding users and administrators accountable for their actions. If data is deleted or modified, the audit log shows exactly who made the change.'
-                  }, undefined, false, undefined, this)
+                  })
                 ]
-              }, undefined, true, undefined, this),
-              /* @__PURE__ */ jsxDEV("div", {
+              }),
+              /* @__PURE__ */ jsxs("div", {
                 children: [
-                  /* @__PURE__ */ jsxDEV("h3", {
+                  /* @__PURE__ */ jsx("h3", {
                     className: "text-lg font-semibold",
                     children: "Security"
-                  }, undefined, false, undefined, this),
-                  /* @__PURE__ */ jsxDEV("p", {
+                  }),
+                  /* @__PURE__ */ jsx("p", {
                     className: "text-muted-foreground",
                     children: "Audit logs help detect and investigate security incidents. For example, if an attacker gains unauthorized access, the logs reveal which resources they accessed and what actions they performed. This information is critical for incident response and forensics."
-                  }, undefined, false, undefined, this)
+                  })
                 ]
-              }, undefined, true, undefined, this),
-              /* @__PURE__ */ jsxDEV("div", {
+              }),
+              /* @__PURE__ */ jsxs("div", {
                 children: [
-                  /* @__PURE__ */ jsxDEV("h3", {
+                  /* @__PURE__ */ jsx("h3", {
                     className: "text-lg font-semibold",
                     children: "Compliance"
-                  }, undefined, false, undefined, this),
-                  /* @__PURE__ */ jsxDEV("p", {
+                  }),
+                  /* @__PURE__ */ jsx("p", {
                     className: "text-muted-foreground",
                     children: "Many regulations (GDPR, HIPAA, SOC 2, PCI DSS) require organizations to maintain audit logs. These logs must be tamper-evident, retained for a specified period, and available for inspection by auditors."
-                  }, undefined, false, undefined, this)
+                  })
                 ]
-              }, undefined, true, undefined, this),
-              /* @__PURE__ */ jsxDEV("div", {
+              }),
+              /* @__PURE__ */ jsxs("div", {
                 children: [
-                  /* @__PURE__ */ jsxDEV("h3", {
+                  /* @__PURE__ */ jsx("h3", {
                     className: "text-lg font-semibold",
                     children: "Debugging"
-                  }, undefined, false, undefined, this),
-                  /* @__PURE__ */ jsxDEV("p", {
+                  }),
+                  /* @__PURE__ */ jsx("p", {
                     className: "text-muted-foreground",
                     children: "When something goes wrong in production, audit logs provide a detailed timeline of events leading up to the failure. This makes it much easier to diagnose and fix issues."
-                  }, 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-4",
         children: [
-          /* @__PURE__ */ jsxDEV("h2", {
+          /* @__PURE__ */ jsx("h2", {
             className: "text-2xl font-bold",
             children: "What ContractSpec logs"
-          }, undefined, false, undefined, this),
-          /* @__PURE__ */ jsxDEV("p", {
+          }),
+          /* @__PURE__ */ jsx("p", {
             className: "text-muted-foreground",
             children: "ContractSpec automatically logs every significant operation, including:"
-          }, 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: "API calls"
-                  }, undefined, false, undefined, this),
+                  }),
                   " – Every invocation of a capability, including inputs, outputs, and the user who made the call."
                 ]
-              }, undefined, true, undefined, this),
-              /* @__PURE__ */ jsxDEV("li", {
+              }),
+              /* @__PURE__ */ jsxs("li", {
                 children: [
-                  /* @__PURE__ */ jsxDEV("strong", {
+                  /* @__PURE__ */ jsx("strong", {
                     children: "Policy decisions"
-                  }, undefined, false, undefined, this),
+                  }),
                   " – Every decision made by the",
                   " ",
-                  /* @__PURE__ */ jsxDEV(Link, {
+                  /* @__PURE__ */ jsx(Link, {
                     href: "/docs/safety/pdp",
                     className: "text-violet-400 hover:text-violet-300",
                     children: "Policy Decision Point"
-                  }, undefined, false, undefined, this),
+                  }),
                   ", including the rule that matched and the reason for the decision."
                 ]
-              }, undefined, true, undefined, this),
-              /* @__PURE__ */ jsxDEV("li", {
+              }),
+              /* @__PURE__ */ jsxs("li", {
                 children: [
-                  /* @__PURE__ */ jsxDEV("strong", {
+                  /* @__PURE__ */ jsx("strong", {
                     children: "Data access"
-                  }, undefined, false, undefined, this),
+                  }),
                   " – Every query to a data view, including which fields were accessed and whether any were redacted."
                 ]
-              }, undefined, true, undefined, this),
-              /* @__PURE__ */ jsxDEV("li", {
+              }),
+              /* @__PURE__ */ jsxs("li", {
                 children: [
-                  /* @__PURE__ */ jsxDEV("strong", {
+                  /* @__PURE__ */ jsx("strong", {
                     children: "Workflow execution"
-                  }, undefined, false, undefined, this),
+                  }),
                   " – Every step in a workflow, including retries, compensations, and failures."
                 ]
-              }, undefined, true, undefined, this),
-              /* @__PURE__ */ jsxDEV("li", {
+              }),
+              /* @__PURE__ */ jsxs("li", {
                 children: [
-                  /* @__PURE__ */ jsxDEV("strong", {
+                  /* @__PURE__ */ jsx("strong", {
                     children: "Administrative actions"
-                  }, undefined, false, undefined, this),
+                  }),
                   " – Spec deployments, configuration changes, user role assignments, and other privileged operations."
                 ]
-              }, undefined, true, undefined, this),
-              /* @__PURE__ */ jsxDEV("li", {
+              }),
+              /* @__PURE__ */ jsxs("li", {
                 children: [
-                  /* @__PURE__ */ jsxDEV("strong", {
+                  /* @__PURE__ */ jsx("strong", {
                     children: "Authentication events"
-                  }, undefined, false, undefined, this),
+                  }),
                   " – Login attempts, password resets, and session expirations."
                 ]
-              }, 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: "Audit log format"
-          }, undefined, false, undefined, this),
-          /* @__PURE__ */ jsxDEV("p", {
+          }),
+          /* @__PURE__ */ jsx("p", {
             className: "text-muted-foreground",
             children: "Each audit log entry is a structured JSON object containing:"
-          }, 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: `{
   "timestamp": "2025-11-13T14:32:15.123Z",
   "eventId": "evt_abc123",
@@ -215,165 +215,165 @@ function SafetyAuditingPage() {
     "reason": "User has admin role"
   }
 }`
-            }, 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: "Storage and retention"
-          }, undefined, false, undefined, this),
-          /* @__PURE__ */ jsxDEV("p", {
+          }),
+          /* @__PURE__ */ jsx("p", {
             className: "text-muted-foreground",
             children: "Audit logs are stored in a tamper-evident append-only log. Once written, entries cannot be modified or deleted. This ensures the integrity of the audit trail."
-          }, undefined, false, undefined, this),
-          /* @__PURE__ */ jsxDEV("p", {
+          }),
+          /* @__PURE__ */ jsx("p", {
             className: "text-muted-foreground",
             children: "ContractSpec supports multiple storage backends:"
-          }, 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: "Local file system"
-                  }, undefined, false, undefined, this),
+                  }),
                   " – For development and testing."
                 ]
-              }, undefined, true, undefined, this),
-              /* @__PURE__ */ jsxDEV("li", {
+              }),
+              /* @__PURE__ */ jsxs("li", {
                 children: [
-                  /* @__PURE__ */ jsxDEV("strong", {
+                  /* @__PURE__ */ jsx("strong", {
                     children: "Cloud object storage"
-                  }, undefined, false, undefined, this),
+                  }),
                   " – S3, GCS, or Azure Blob Storage for production."
                 ]
-              }, undefined, true, undefined, this),
-              /* @__PURE__ */ jsxDEV("li", {
+              }),
+              /* @__PURE__ */ jsxs("li", {
                 children: [
-                  /* @__PURE__ */ jsxDEV("strong", {
+                  /* @__PURE__ */ jsx("strong", {
                     children: "SIEM integration"
-                  }, undefined, false, undefined, this),
+                  }),
                   " – Forward logs to Splunk, Datadog, or other security information and event management systems."
                 ]
-              }, undefined, true, undefined, this)
+              })
             ]
-          }, undefined, true, undefined, this),
-          /* @__PURE__ */ jsxDEV("p", {
+          }),
+          /* @__PURE__ */ jsx("p", {
             className: "text-muted-foreground",
             children: "You can configure retention policies to automatically archive or delete old logs after a specified period (e.g., 7 years for GDPR compliance)."
-          }, 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: "Querying audit logs"
-          }, undefined, false, undefined, this),
-          /* @__PURE__ */ jsxDEV("p", {
+          }),
+          /* @__PURE__ */ jsx("p", {
             className: "text-muted-foreground",
             children: "ContractSpec provides a query API for searching audit logs. You can filter by:"
-          }, 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: "Time range"
-              }, undefined, false, undefined, this),
-              /* @__PURE__ */ jsxDEV("li", {
+              }),
+              /* @__PURE__ */ jsx("li", {
                 children: "Event type"
-              }, undefined, false, undefined, this),
-              /* @__PURE__ */ jsxDEV("li", {
+              }),
+              /* @__PURE__ */ jsx("li", {
                 children: "Actor (user ID, role, IP address)"
-              }, undefined, false, undefined, this),
-              /* @__PURE__ */ jsxDEV("li", {
+              }),
+              /* @__PURE__ */ jsx("li", {
                 children: "Resource (capability, data view, workflow)"
-              }, undefined, false, undefined, this),
-              /* @__PURE__ */ jsxDEV("li", {
+              }),
+              /* @__PURE__ */ jsx("li", {
                 children: "Result (success, failure, denied)"
-              }, undefined, false, undefined, this)
+              })
             ]
-          }, undefined, true, undefined, this),
-          /* @__PURE__ */ jsxDEV("p", {
+          }),
+          /* @__PURE__ */ jsx("p", {
             className: "text-muted-foreground",
             children: 'Example query: "Show all failed login attempts from IP address 203.0.113.42 in the last 24 hours."'
-          }, 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: "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: "Review logs regularly"
-                  }, undefined, false, undefined, this),
+                  }),
                   " – Set up alerts for suspicious activity (e.g., repeated failed login attempts, unauthorized access attempts)."
                 ]
-              }, undefined, true, undefined, this),
-              /* @__PURE__ */ jsxDEV("li", {
+              }),
+              /* @__PURE__ */ jsxs("li", {
                 children: [
-                  /* @__PURE__ */ jsxDEV("strong", {
+                  /* @__PURE__ */ jsx("strong", {
                     children: "Protect log access"
-                  }, undefined, false, undefined, this),
+                  }),
                   " – Only authorized personnel should be able to view audit logs. Use role-based access control to restrict access."
                 ]
-              }, undefined, true, undefined, this),
-              /* @__PURE__ */ jsxDEV("li", {
+              }),
+              /* @__PURE__ */ jsxs("li", {
                 children: [
-                  /* @__PURE__ */ jsxDEV("strong", {
+                  /* @__PURE__ */ jsx("strong", {
                     children: "Retain logs long enough"
-                  }, undefined, false, undefined, this),
+                  }),
                   " – Check your compliance requirements and configure retention policies accordingly."
                 ]
-              }, undefined, true, undefined, this),
-              /* @__PURE__ */ jsxDEV("li", {
+              }),
+              /* @__PURE__ */ jsxs("li", {
                 children: [
-                  /* @__PURE__ */ jsxDEV("strong", {
+                  /* @__PURE__ */ jsx("strong", {
                     children: "Test log integrity"
-                  }, undefined, false, undefined, this),
+                  }),
                   " – Periodically verify that logs have not been tampered with by checking cryptographic signatures."
                 ]
-              }, undefined, true, 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/safety/pdp",
             className: "btn-ghost",
             children: "Previous: Policy Decision Points"
-          }, undefined, false, undefined, this),
-          /* @__PURE__ */ jsxDEV(Link, {
+          }),
+          /* @__PURE__ */ jsxs(Link, {
             href: "/docs/safety/migrations",
             className: "btn-primary",
             children: [
               "Next: Migrations ",
-              /* @__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 {
   SafetyAuditingPage