// AUTO-GENERATED by `wrnexus dev` — do not edit. // Typed routes: a compile-time map of every page path to its [param] types, // plus an href() builder that fills params and rejects unknown paths. export interface Routes { "/": Record; "/architecture": Record; "/getting-started": Record; "/language": Record; "/packages": Record; "/packages/ai": Record; "/packages/authz": Record; "/packages/cli": Record; "/packages/compiler": Record; "/packages/core": Record; "/packages/csr": Record; "/packages/db": Record; "/packages/dev-server": Record; "/packages/encryption": Record; "/packages/i18n": Record; "/packages/jwt": Record; "/packages/mobile": Record; "/packages/native": Record; "/packages/oauth": Record; "/packages/pubsub": Record; "/packages/queue": Record; "/packages/reactive": Record; "/packages/router": Record; "/packages/ssr": Record; "/packages/styles": Record; "/packages/test": Record; "/packages/tracking": Record; "/packages/ui": Record; "/packages/uploader": Record; "/packages/validation": Record; } export type RoutePath = keyof Routes; export function href

( path: P, ...args: Routes[P] extends Record ? [] : [params: Routes[P]] ): string { const params = (args[0] ?? {}) as Record; return String(path) .split("/") .map((seg) => seg.startsWith("[") && seg.endsWith("]") ? encodeURIComponent(params[seg.slice(1, -1)] ?? "") : seg, ) .join("/"); }