@zitadel/config 1.0.0-alpha.23 → 1.0.0-alpha.25

package/dist/validate.mjs

@@ -20,8 +20,8 @@ const FLOW_VALIDATION_RULES = {
 const RESERVED_OUTCOMES = [
 	"user_not_found",
 	"user_already_exists",
-	"identity_unknown",
-	"callback"
+	"sso_user_not_found",
+	"sso_authenticated"
 ];
 /** Mirrors the `FlowDefinitionPurpose` enum (snake transform) in flow_definition.go. */
 const FLOW_PURPOSES = [
@@ -34,7 +34,7 @@ const FLOW_PURPOSES = [
 ];
 /**
 * Mirrors `purposeFlipTargets` in flow_definition_validator.go: the
-* identifier outcomes only. `identity_unknown` comes only from SSO
+* identifier outcomes only. `sso_user_not_found` comes only from SSO
 * resolution and is left out here; requiring it on every combined entry
 * step would reject the shipped default flow. A rule on steps carrying
 * sso_providers is future work (#1044).
@@ -49,14 +49,18 @@ const FLIP_OUTCOME_IMPACTS = {
 	user_already_exists: "someone who already has an account gets stuck at registration instead of being routed to sign-in"
 };
 /** Action kinds a flow author may declare; `back` is engine-injected. */
-const DECLARABLE_ACTION_KINDS = new Set([
+const DECLARABLE_ACTION_KINDS = /* @__PURE__ */ new Set([
 	"submit",
 	"passkey",
 	"passkey_register",
 	"navigate"
 ]);
-/** Mirrors `flowBackActionName` in flow_state_machine.go. */
-const BACK_ACTION_NAME = "back";
+/**
+* Action names the engine claims, with the reason the validator reports.
+* Mirrors `flowBackActionName` and `FlowActionSSO` in flow_state_machine.go.
+* A Map, not an object, so a name like `constructor` cannot match by accident.
+*/
+const RESERVED_ACTION_NAMES = /* @__PURE__ */ new Map([["back", "engine-injected back navigation"], ["sso", "sso submissions"]]);
 /** Mirrors `authMethodPrefix` in flow_definition.go. */
 const AUTH_METHOD_PREFIX = "x-auth-methods#";
 /** Mirrors `ManifestForOnSuccess` in flow_on_success.go. */
@@ -188,14 +192,18 @@ function validateStep(step) {
 		}
 		if (action.kind === "" || action.kind !== "back" && !DECLARABLE_ACTION_KINDS.has(action.kind)) issues.push(error("steps", `step ${q(name)}: action ${q(action.name)} has no kind`, name));
 		else if (action.kind === "back") issues.push(error("steps", `step ${q(name)}: action ${q(action.name)} has kind=back, which is engine-injected and cannot be declared`, name));
-		if (action.name === BACK_ACTION_NAME) issues.push(error("steps", `step ${q(name)}: action name ${q(action.name)} is reserved for engine-injected back navigation`, name));
+		const reserved = RESERVED_ACTION_NAMES.get(action.name);
+		if (reserved !== void 0) issues.push(error("steps", `step ${q(name)}: action name ${q(action.name)} is reserved for ${reserved}`, name));
 		actionNames.add(action.name);
 	}
-	const hasCallback = step.transitions.has("callback");
-	if (step.fields.length === 0 && step.actions.length === 0 && step.ssoProviderCount === 0 && step.gateCount === 0 && !hasCallback) issues.push(error("steps", `step ${q(name)} is non-terminal but has no fields, actions, sso_providers, gates, or transitions.callback`, name));
-	if (step.ssoProviderCount > 0 && !hasCallback) issues.push(error("steps", `step ${q(name)}: has sso_providers but is missing transitions.callback`, name));
+	const hasSsoAuthenticated = step.transitions.has("sso_authenticated");
+	if (step.fields.length === 0 && step.actions.length === 0 && step.ssoProviderCount === 0 && step.gateCount === 0 && !hasSsoAuthenticated) issues.push(error("steps", `step ${q(name)} is non-terminal but has no fields, actions, sso_providers, gates, or transitions.sso_authenticated`, name));
+	if (step.ssoProviderCount > 0 && !hasSsoAuthenticated) issues.push(error("steps", `step ${q(name)}: has sso_providers but is missing transitions.sso_authenticated`, name));
 	for (const actionName of actionNames) if (!step.transitions.has(actionName)) issues.push(error("steps", `step ${q(name)}: action ${q(actionName)} has no matching transition`, name));
-	for (const transitionKey of step.transitions.keys()) if (!actionNames.has(transitionKey) && !RESERVED_OUTCOMES.includes(transitionKey)) issues.push(error("steps", `step ${q(name)}: transition key ${q(transitionKey)} is not an action name or reserved outcome (user_not_found, user_already_exists, identity_unknown, callback)`, name));
+	for (const [transitionKey, t] of step.transitions) {
+		if (!actionNames.has(transitionKey) && !RESERVED_OUTCOMES.includes(transitionKey)) issues.push(error("steps", `step ${q(name)}: transition key ${q(transitionKey)} is not an action name or reserved outcome (user_not_found, user_already_exists, sso_user_not_found, sso_authenticated)`, name));
+		if ((transitionKey === "sso_authenticated" || transitionKey === "sso_user_not_found") && (t.purpose !== null || t.action !== null)) issues.push(error("steps", `step ${q(name)}: transition ${q(transitionKey)} is an sso outcome and cannot declare purpose or action`, name));
+	}
 	return issues;
 }
 /** A transition with no cross-flow action targets a step in this flow. */
@@ -235,12 +243,14 @@ function bfs(start, adj, visited) {
 function validateGraph(def, stepNames) {
 	const issues = [];
 	for (const step of def.steps) for (const [key, t] of step.transitions) {
-		if (t.purpose !== null) if (t.action !== null) issues.push(error("graph", `step ${q(step.name)}: transition ${q(key)} declares both purpose and action; a transition either re-purposes locally or targets another flow`, step.name));
-		else if (!FLOW_PURPOSES.includes(t.purpose)) issues.push(error("graph", `step ${q(step.name)}: transition ${q(key)} has invalid purpose`, step.name));
-		else {
-			const entry = def.purposes.get(t.purpose);
-			if (entry === void 0) issues.push(error("graph", `step ${q(step.name)}: transition ${q(key)} re-purposes to ${q(t.purpose)}, which this definition does not serve`, step.name));
-			else if (t.target !== entry) issues.push(error("graph", `step ${q(step.name)}: transition ${q(key)} re-purposes to ${q(t.purpose)} but targets ${q(t.target)}; it must target that purpose's entry step ${q(entry)}`, step.name));
+		if (t.purpose !== null) {
+			if (t.action !== null) issues.push(error("graph", `step ${q(step.name)}: transition ${q(key)} declares both purpose and action; a transition either re-purposes locally or targets another flow`, step.name));
+			else if (!FLOW_PURPOSES.includes(t.purpose)) issues.push(error("graph", `step ${q(step.name)}: transition ${q(key)} has invalid purpose`, step.name));
+			else {
+				const entry = def.purposes.get(t.purpose);
+				if (entry === void 0) issues.push(error("graph", `step ${q(step.name)}: transition ${q(key)} re-purposes to ${q(t.purpose)}, which this definition does not serve`, step.name));
+				else if (t.target !== entry) issues.push(error("graph", `step ${q(step.name)}: transition ${q(key)} re-purposes to ${q(t.purpose)} but targets ${q(t.target)}; it must target that purpose's entry step ${q(entry)}`, step.name));
+			}
 		}
 		if (isCurrentFlow(t)) {
 			if (!stepNames.has(t.target)) issues.push(error("graph", `step ${q(step.name)}: transition ${q(key)} targets unknown step ${q(t.target)}`, step.name));
@@ -344,7 +354,7 @@ function resolveFieldChallenge(field, properties, schema) {
 		return { challenge: "password" };
 	}
 	const segments = field.split(".");
-	let property = void 0;
+	let property;
 	let level = properties;
 	for (const [i, segment] of segments.entries()) {
 		property = level !== void 0 && Object.hasOwn(level, segment) ? level[segment] : void 0;

package/dist/validate.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"validate.mjs","names":[],"sources":["../src/validate.ts"],"sourcesContent":["/**\n * Plan-time port of the server's flow-definition validator\n * (`internal/domain/flow_definition_validator.go`). The CLI runs it in\n * `buildSyncPlan` so every rule the server enforces on apply speaks up\n * at plan time — with the same words — before anything mutates.\n *\n * Contract with the Go source:\n *\n * - Every rule id in {@link FLOW_VALIDATION_RULES} names the Go function\n *   it ports (`goRef`); a drift-audit test asserts those functions still\n *   exist and that the shared literals below still match.\n * - Error messages mirror the Go detail strings verbatim, so a user who\n *   bypasses plan sees identical text from the server.\n * - Unlike the Go validator (fail-fast), this port collects every issue.\n *   Later phases are gated on earlier phases being clean so one defect\n *   does not cascade into noise (a BFS over duplicate step names is\n *   ill-defined).\n *\n * Scope cuts (server/service-side, not portable): pivot/switch targets\n * must name an active flow definition in the same project (needs the\n * DB); the user schema itself is assumed meta-schema-valid.\n *\n * Lifecycle: this port is a local-first interim, not a second source of\n * truth to grow. Its designed successor is the server-side validate-only\n * bundle endpoint (zitadel/nextgen#449); once plan can ask the server,\n * this file, its drift audit, and the keep-in-sync comment on the Go\n * validator all go away. New rules land in Go first and are ported here\n * only until then.\n */\n\nexport type FlowValidationSeverity = \"error\" | \"warning\";\n\nexport type FlowValidationIssue = {\n  severity: FlowValidationSeverity;\n  /** Stable rule id from {@link FLOW_VALIDATION_RULES}. */\n  rule: FlowValidationRuleId;\n  /** Mirrors the Go `ErrFlowDefinitionInvalid` detail string where a Go rule exists. */\n  message: string;\n  /** Step the issue is anchored to, when applicable. */\n  step?: string;\n};\n\n/**\n * Rule registry: rule id → the Go function it ports. `goRef: null` marks\n * CLI-only guidance with no server counterpart.\n */\nexport const FLOW_VALIDATION_RULES = {\n  \"step-names\": { goRef: \"stepNamesMap\" },\n  definition: { goRef: \"validateDefinition\" },\n  steps: { goRef: \"validateSteps\" },\n  graph: { goRef: \"validateGraph\" },\n  cycles: { goRef: \"validateCycles\" },\n  \"flip-table\": { goRef: \"validateFlipTableCoverage\" },\n  \"schema/required-fields\": { goRef: \"validateRequiredUserSchemaFields\" },\n  \"schema/fields-resolve\": { goRef: \"resolveAllStepFields\" },\n  \"schema/passkey-actions\": { goRef: \"validatePasskeyActionsEnabled\" },\n  \"schema/on-success-manifest\": { goRef: \"validateOnSuccessManifests\" },\n  \"warn/password-without-identifier\": { goRef: null },\n} as const;\n\nexport type FlowValidationRuleId = keyof typeof FLOW_VALIDATION_RULES;\n\n/** Mirrors `reservedOutcomes` in flow_definition_validator.go. */\nexport const RESERVED_OUTCOMES = [\n  \"user_not_found\",\n  \"user_already_exists\",\n  \"identity_unknown\",\n  \"callback\",\n] as const;\n\n/** Mirrors the `FlowDefinitionPurpose` enum (snake transform) in flow_definition.go. */\nexport const FLOW_PURPOSES = [\n  \"login\",\n  \"register\",\n  \"recovery\",\n  \"profiling\",\n  \"reauth\",\n  \"link_account\",\n] as const;\n\n/**\n * Mirrors `purposeFlipTargets` in flow_definition_validator.go: the\n * identifier outcomes only. `identity_unknown` comes only from SSO\n * resolution and is left out here; requiring it on every combined entry\n * step would reject the shipped default flow. A rule on steps carrying\n * sso_providers is future work (#1044).\n */\nexport const PURPOSE_FLIP_TARGETS: Readonly<Record<string, Readonly<Record<string, string>>>> = {\n  login: { user_not_found: \"register\" },\n  register: { user_already_exists: \"login\" },\n};\n\n/** Mirrors `flipOutcomeImpacts` in flow_definition_validator.go (verbatim). */\nconst FLIP_OUTCOME_IMPACTS: Readonly<Record<string, string>> = {\n  user_not_found:\n    \"someone without an account gets stuck at sign-in instead of being routed to registration\",\n  user_already_exists:\n    \"someone who already has an account gets stuck at registration instead of being routed to sign-in\",\n};\n\n/** Action kinds a flow author may declare; `back` is engine-injected. */\nconst DECLARABLE_ACTION_KINDS = new Set([\"submit\", \"passkey\", \"passkey_register\", \"navigate\"]);\n\n/** Mirrors `flowBackActionName` in flow_state_machine.go. */\nconst BACK_ACTION_NAME = \"back\";\n\n/** Mirrors `authMethodPrefix` in flow_definition.go. */\nconst AUTH_METHOD_PREFIX = \"x-auth-methods#\";\n\n/** Mirrors `ManifestForOnSuccess` in flow_on_success.go. */\nconst ON_SUCCESS_MANIFESTS: Readonly<Record<string, readonly FieldChallenge[]>> = {\n  create_user: [\"identifier\", \"password\"],\n};\n\ntype FieldChallenge = \"identifier\" | \"password\";\n\n/**\n * Validate a flow-definition config body (the `.zitadel/flows/*.json`\n * content) against the rules the server enforces on apply. `schema` is\n * the content of the user schema the flow's `user_schema` pins; when\n * omitted, schema-dependent rules are skipped. Pure — collects all\n * issues, never throws.\n */\nexport function validateFlowDefinition(flow: object, schema?: object): FlowValidationIssue[] {\n  const def = readFlow(flow);\n  const issues: FlowValidationIssue[] = [];\n\n  // Phase 1 — step names (everything else keys off them).\n  const stepNames = new Set<string>();\n  for (const step of def.steps) {\n    if (stepNames.has(step.name)) {\n      issues.push(error(\"step-names\", `duplicate step name ${q(step.name)}`, step.name));\n    }\n    stepNames.add(step.name);\n  }\n\n  // Phase 2 — purposes.\n  if (def.purposes.size === 0) {\n    issues.push(error(\"definition\", \"no purposes defined\"));\n  }\n  for (const [purpose, entryStep] of def.purposes) {\n    if (!(FLOW_PURPOSES as readonly string[]).includes(purpose)) {\n      issues.push(error(\"definition\", `'${purpose}' is not a valid purpose`));\n      continue;\n    }\n    if (entryStep === \"\") {\n      issues.push(error(\"definition\", `initial step for purpose '${purpose}' is empty`));\n      continue;\n    }\n    if (!stepNames.has(entryStep)) {\n      issues.push(\n        error(\"definition\", `purpose ${q(purpose)} targets unknown entry-point step ${q(entryStep)}`),\n      );\n    }\n  }\n\n  // Phase 3 — per-step structure.\n  for (const step of def.steps) {\n    issues.push(...validateStep(step));\n  }\n\n  // Graph phases are ill-defined over broken structure — gate on 1–3.\n  if (issues.length === 0) {\n    issues.push(...validateGraph(def, stepNames));\n    if (issues.length === 0) {\n      issues.push(...validateCycles(def));\n    }\n    issues.push(...validateFlipTableCoverage(def));\n  }\n\n  // Schema-dependent phases: only meaningful over structurally sound\n  // steps, and only when the paired schema content is available.\n  if (schema !== undefined && issues.length === 0) {\n    issues.push(...validateAgainstSchema(def, schema));\n  }\n\n  return issues;\n}\n\n// ── internal flow reading ────────────────────────────────────────────────────\n\ntype FlowStep = {\n  name: string;\n  fields: string[];\n  actions: { name: string; kind: string }[];\n  gateCount: number;\n  ssoProviderCount: number;\n  transitions: Map<string, { target: string; action: string | null; purpose: string | null }>;\n  onSuccess: string | undefined;\n  terminal: boolean;\n};\n\ntype FlowDef = {\n  purposes: Map<string, string>;\n  steps: FlowStep[];\n};\n\nfunction isPlainObject(value: unknown): value is Record<string, unknown> {\n  return typeof value === \"object\" && value !== null && !Array.isArray(value);\n}\n\nfunction str(value: unknown): string {\n  return typeof value === \"string\" ? value : \"\";\n}\n\n/**\n * Coerce raw parsed JSON into the internal shape. Callers usually run\n * the Zod config schema first; the defensive reads keep the standalone\n * API from crashing on malformed input (it reports rule violations on\n * whatever is readable instead).\n */\nfunction readFlow(flow: object): FlowDef {\n  const raw = flow as Record<string, unknown>;\n\n  const purposes = new Map<string, string>();\n  if (isPlainObject(raw.purposes)) {\n    for (const [purpose, entry] of Object.entries(raw.purposes)) {\n      purposes.set(purpose, str(entry));\n    }\n  }\n\n  const steps: FlowStep[] = [];\n  if (Array.isArray(raw.steps)) {\n    for (const value of raw.steps) {\n      if (!isPlainObject(value)) continue;\n      const transitions = new Map<\n        string,\n        { target: string; action: string | null; purpose: string | null }\n      >();\n      if (isPlainObject(value.transitions)) {\n        for (const [key, t] of Object.entries(value.transitions)) {\n          const entry = isPlainObject(t) ? t : {};\n          transitions.set(key, {\n            target: str(entry.target),\n            action: typeof entry.action === \"string\" ? entry.action : null,\n            purpose: typeof entry.purpose === \"string\" ? entry.purpose : null,\n          });\n        }\n      }\n      steps.push({\n        name: str(value.name),\n        fields: Array.isArray(value.fields) ? value.fields.map(str) : [],\n        actions: Array.isArray(value.actions)\n          ? value.actions\n              .filter(isPlainObject)\n              .map((a) => ({ name: str(a.name), kind: str(a.kind) }))\n          : [],\n        gateCount: isPlainObject(value.gates) ? Object.keys(value.gates).length : 0,\n        ssoProviderCount: Array.isArray(value.sso_providers) ? value.sso_providers.length : 0,\n        transitions,\n        onSuccess: typeof value.on_success === \"string\" ? value.on_success : undefined,\n        terminal: value.complete !== undefined && value.complete !== null,\n      });\n    }\n  }\n\n  return { purposes, steps };\n}\n\n/** Go `%q` — double-quoted string. */\nfunction q(value: string): string {\n  return JSON.stringify(value);\n}\n\nfunction error(rule: FlowValidationRuleId, message: string, step?: string): FlowValidationIssue {\n  return step === undefined\n    ? { severity: \"error\", rule, message }\n    : { severity: \"error\", rule, message, step };\n}\n\n// ── phase 3: per-step structure (validateSteps + uniqueNonEmptyFields) ──────\n\nfunction validateStep(step: FlowStep): FlowValidationIssue[] {\n  const issues: FlowValidationIssue[] = [];\n  const name = step.name;\n\n  if (step.terminal) {\n    if (\n      step.fields.length > 0 ||\n      step.actions.length > 0 ||\n      step.transitions.size > 0 ||\n      step.gateCount > 0 ||\n      step.ssoProviderCount > 0\n    ) {\n      issues.push(\n        error(\n          \"steps\",\n          `step ${q(name)} is terminal (complete is set) but has fields, actions, transitions, gates, or sso_providers`,\n          name,\n        ),\n      );\n    }\n    return issues;\n  }\n\n  const seenFields = new Set<string>();\n  for (const field of step.fields) {\n    if (field === \"\") {\n      issues.push(error(\"steps\", `step ${q(name)}: field entry is empty`, name));\n      continue;\n    }\n    if (seenFields.has(field)) {\n      issues.push(error(\"steps\", `step ${q(name)}: duplicate field ${q(field)}`, name));\n    }\n    seenFields.add(field);\n  }\n\n  const actionNames = new Set<string>();\n  for (const action of step.actions) {\n    if (action.name === \"\") {\n      issues.push(error(\"steps\", `step ${q(name)}: action has empty name`, name));\n      continue;\n    }\n    if (actionNames.has(action.name)) {\n      issues.push(error(\"steps\", `step ${q(name)}: duplicate action ${q(action.name)}`, name));\n      continue;\n    }\n    if (action.kind === \"\" || (action.kind !== \"back\" && !DECLARABLE_ACTION_KINDS.has(action.kind))) {\n      issues.push(error(\"steps\", `step ${q(name)}: action ${q(action.name)} has no kind`, name));\n    } else if (action.kind === \"back\") {\n      issues.push(\n        error(\n          \"steps\",\n          `step ${q(name)}: action ${q(action.name)} has kind=back, which is engine-injected and cannot be declared`,\n          name,\n        ),\n      );\n    }\n    if (action.name === BACK_ACTION_NAME) {\n      issues.push(\n        error(\n          \"steps\",\n          `step ${q(name)}: action name ${q(action.name)} is reserved for engine-injected back navigation`,\n          name,\n        ),\n      );\n    }\n    actionNames.add(action.name);\n  }\n\n  const hasCallback = step.transitions.has(\"callback\");\n  if (\n    step.fields.length === 0 &&\n    step.actions.length === 0 &&\n    step.ssoProviderCount === 0 &&\n    step.gateCount === 0 &&\n    !hasCallback\n  ) {\n    issues.push(\n      error(\n        \"steps\",\n        `step ${q(name)} is non-terminal but has no fields, actions, sso_providers, gates, or transitions.callback`,\n        name,\n      ),\n    );\n  }\n\n  if (step.ssoProviderCount > 0 && !hasCallback) {\n    issues.push(\n      error(\"steps\", `step ${q(name)}: has sso_providers but is missing transitions.callback`, name),\n    );\n  }\n\n  for (const actionName of actionNames) {\n    if (!step.transitions.has(actionName)) {\n      issues.push(\n        error(\"steps\", `step ${q(name)}: action ${q(actionName)} has no matching transition`, name),\n      );\n    }\n  }\n\n  for (const transitionKey of step.transitions.keys()) {\n    if (!actionNames.has(transitionKey) && !(RESERVED_OUTCOMES as readonly string[]).includes(transitionKey)) {\n      issues.push(\n        error(\n          \"steps\",\n          `step ${q(name)}: transition key ${q(transitionKey)} is not an action name or reserved outcome (user_not_found, user_already_exists, identity_unknown, callback)`,\n          name,\n        ),\n      );\n    }\n  }\n\n  return issues;\n}\n\n// ── phase 4: graph / cycles / flip table ─────────────────────────────────────\n\n/** A transition with no cross-flow action targets a step in this flow. */\nfunction isCurrentFlow(t: { action: string | null }): boolean {\n  return t.action === null;\n}\n\n/** Adjacency over local (current-flow) transitions: step → target steps. */\nfunction localAdjacency(def: FlowDef): Map<string, string[]> {\n  const adj = new Map<string, string[]>();\n  for (const step of def.steps) {\n    for (const t of step.transitions.values()) {\n      if (isCurrentFlow(t)) {\n        const targets = adj.get(step.name) ?? [];\n        targets.push(t.target);\n        adj.set(step.name, targets);\n      }\n    }\n  }\n  return adj;\n}\n\n/** Reverse adjacency over local transitions: target step → source steps. */\nfunction reverseAdjacency(def: FlowDef): Map<string, string[]> {\n  const reverse = new Map<string, string[]>();\n  for (const step of def.steps) {\n    for (const t of step.transitions.values()) {\n      if (isCurrentFlow(t)) {\n        const sources = reverse.get(t.target) ?? [];\n        sources.push(step.name);\n        reverse.set(t.target, sources);\n      }\n    }\n  }\n  return reverse;\n}\n\n/** BFS from `start` over `adj`, accumulating into `visited`. */\nfunction bfs(start: string, adj: Map<string, string[]>, visited: Set<string>): void {\n  const queue = [start];\n  for (let head = 0; head < queue.length; head += 1) {\n    const current = queue[head];\n    if (current === undefined || visited.has(current)) continue;\n    visited.add(current);\n    queue.push(...(adj.get(current) ?? []));\n  }\n}\n\nfunction validateGraph(def: FlowDef, stepNames: Set<string>): FlowValidationIssue[] {\n  const issues: FlowValidationIssue[] = [];\n\n  for (const step of def.steps) {\n    for (const [key, t] of step.transitions) {\n      if (t.purpose !== null) {\n        // Local re-purposing: never combined with a cross-flow action,\n        // only to a purpose this definition serves, and only to that\n        // purpose's entry step. Mirrors the server-side validator.\n        if (t.action !== null) {\n          issues.push(\n            error(\n              \"graph\",\n              `step ${q(step.name)}: transition ${q(key)} declares both purpose and action; a transition either re-purposes locally or targets another flow`,\n              step.name,\n            ),\n          );\n        } else if (!(FLOW_PURPOSES as readonly string[]).includes(t.purpose)) {\n          // Verbatim-identical to the Go validator's message (which cannot\n          // print the raw value — its parse layer rejects it earlier).\n          issues.push(\n            error(\n              \"graph\",\n              `step ${q(step.name)}: transition ${q(key)} has invalid purpose`,\n              step.name,\n            ),\n          );\n        } else {\n          const entry = def.purposes.get(t.purpose);\n          if (entry === undefined) {\n            issues.push(\n              error(\n                \"graph\",\n                `step ${q(step.name)}: transition ${q(key)} re-purposes to ${q(t.purpose)}, which this definition does not serve`,\n                step.name,\n              ),\n            );\n          } else if (t.target !== entry) {\n            issues.push(\n              error(\n                \"graph\",\n                `step ${q(step.name)}: transition ${q(key)} re-purposes to ${q(t.purpose)} but targets ${q(t.target)}; it must target that purpose's entry step ${q(entry)}`,\n                step.name,\n              ),\n            );\n          }\n        }\n      }\n      if (isCurrentFlow(t)) {\n        if (!stepNames.has(t.target)) {\n          issues.push(\n            error(\n              \"graph\",\n              `step ${q(step.name)}: transition ${q(key)} targets unknown step ${q(t.target)}`,\n              step.name,\n            ),\n          );\n        }\n      } else if (t.action !== \"switch\" && t.action !== \"pivot\") {\n        issues.push(\n          error(\n            \"graph\",\n            `step ${q(step.name)}: transition ${q(key)} has invalid action ${q(t.action ?? \"\")}`,\n            step.name,\n          ),\n        );\n      }\n    }\n  }\n\n  for (const step of def.steps) {\n    if (!step.terminal && step.transitions.size === 0) {\n      issues.push(\n        error(\"graph\", `step ${q(step.name)} is non-terminal but has no outgoing transitions`, step.name),\n      );\n    }\n  }\n\n  const reachable = new Set<string>();\n  const adj = localAdjacency(def);\n  for (const entryStep of def.purposes.values()) {\n    bfs(entryStep, adj, reachable);\n  }\n  for (const step of def.steps) {\n    if (!reachable.has(step.name)) {\n      issues.push(error(\"graph\", `step ${q(step.name)} is unreachable from any entry point`, step.name));\n    }\n  }\n\n  return issues;\n}\n\nfunction validateCycles(def: FlowDef): FlowValidationIssue[] {\n  const issues: FlowValidationIssue[] = [];\n  const reverse = reverseAdjacency(def);\n\n  // Seed: escape nodes (terminal, or a switch/pivot out); BFS backwards.\n  const safe = new Set<string>();\n  const queue: string[] = [];\n  for (const step of def.steps) {\n    const escapes =\n      step.terminal || [...step.transitions.values()].some((t) => !isCurrentFlow(t));\n    if (escapes) {\n      safe.add(step.name);\n      queue.push(step.name);\n    }\n  }\n  for (let head = 0; head < queue.length; head += 1) {\n    const current = queue[head];\n    if (current === undefined) continue;\n    for (const pred of reverse.get(current) ?? []) {\n      if (!safe.has(pred)) {\n        safe.add(pred);\n        queue.push(pred);\n      }\n    }\n  }\n\n  for (const step of def.steps) {\n    if (!step.terminal && !safe.has(step.name)) {\n      issues.push(\n        error(\n          \"cycles\",\n          `step ${q(step.name)} is trapped: no path to a terminal step or another flow`,\n          step.name,\n        ),\n      );\n    }\n  }\n  return issues;\n}\n\nfunction validateFlipTableCoverage(def: FlowDef): FlowValidationIssue[] {\n  const issues: FlowValidationIssue[] = [];\n  for (const [purpose, entryStepName] of def.purposes) {\n    const flipTargets = PURPOSE_FLIP_TARGETS[purpose];\n    if (flipTargets === undefined) continue;\n    const entry = def.steps.find((s) => s.name === entryStepName);\n    if (entry === undefined) continue;\n    for (const [outcome, targetPurpose] of Object.entries(flipTargets)) {\n      if (!def.purposes.has(targetPurpose)) continue;\n      if (!entry.transitions.has(outcome)) {\n        issues.push(\n          error(\n            \"flip-table\",\n            `step ${q(entry.name)}: entry step for purpose ${q(purpose)} must wire ${q(outcome)} transition because ${q(targetPurpose)} is also a purpose: without it, ${FLIP_OUTCOME_IMPACTS[outcome]}`,\n            entry.name,\n          ),\n        );\n      }\n    }\n  }\n  return issues;\n}\n\n// ── phase 5: schema-dependent rules ──────────────────────────────────────────\n\nfunction schemaProperties(schema: Record<string, unknown>): Record<string, unknown> | undefined {\n  return isPlainObject(schema.properties) ? schema.properties : undefined;\n}\n\nfunction schemaRequired(schema: Record<string, unknown>): string[] {\n  return Array.isArray(schema.required) ? schema.required.map(str).filter((n) => n !== \"\") : [];\n}\n\n/**\n * Mirrors `schemaReader.RequiredPaths`: every name in `required`,\n * recursed through the nested `required` of each required object. A\n * required object declaring no `required` of its own ends the descent at\n * the object itself.\n *\n * An optional object contributes its own `required` too once it appears\n * in `materialized`. It only exists in the document because something\n * beneath it was collected, and from that point document validation\n * enforces the rest of its `required` list.\n */\nfunction requiredPaths(\n  schema: Record<string, unknown>,\n  materialized: ReadonlySet<string>,\n  prefix = \"\",\n): string[] {\n  const properties = schemaProperties(schema);\n  const required = schemaRequired(schema);\n  // A set, like the Go `map[string]struct{}`, so a name repeated in\n  // `required` yields the path once.\n  const out = new Set<string>();\n\n  for (const name of required) {\n    const path = prefix === \"\" ? name : `${prefix}.${name}`;\n    const property =\n      properties !== undefined && Object.hasOwn(properties, name) ? properties[name] : undefined;\n    if (!isPlainObject(property) || schemaRequired(property).length === 0) {\n      out.add(path);\n      continue;\n    }\n    for (const nested of requiredPaths(property, materialized, path)) out.add(nested);\n  }\n\n  // An optional object is invisible to the loop above, so descend into\n  // the ones a collected field materializes.\n  for (const [name, property] of Object.entries(properties ?? {})) {\n    if (required.includes(name) || !isPlainObject(property)) continue;\n    const path = prefix === \"\" ? name : `${prefix}.${name}`;\n    if (!materialized.has(path)) continue;\n    for (const nested of requiredPaths(property, materialized, path)) out.add(nested);\n  }\n\n  return [...out];\n}\n\n/** Mirrors `xAuthMethodsReader.IsEnabled` in flow_field_resolver_schema.go. */\nfunction authMethodEnabled(schema: Record<string, unknown>, method: string): boolean {\n  if (!isPlainObject(schema[\"x-auth-methods\"])) return false;\n  const entry = schema[\"x-auth-methods\"][method];\n  return isPlainObject(entry) && entry.enabled === true;\n}\n\n/**\n * Resolve one step field to its challenge, mirroring the subset of\n * `SchemaFieldResolver.Resolve` the validator needs. Returns either the\n * challenge (or null for none) or the Go-verbatim resolution error.\n */\nfunction resolveFieldChallenge(\n  field: string,\n  properties: Record<string, unknown>,\n  schema: Record<string, unknown>,\n): { challenge: FieldChallenge | null } | { message: string } {\n  if (field.startsWith(AUTH_METHOD_PREFIX)) {\n    const method = field.slice(AUTH_METHOD_PREFIX.length);\n    // Mirrors deriveAuthMethodType: only password is field-shaped today.\n    if (method !== \"password\") {\n      return { message: `unknown field type for ${q(field)}` };\n    }\n    if (!authMethodEnabled(schema, method)) {\n      // Surfaced by resolveAllStepFields' enabled-method cross-check.\n      return { message: `${q(method)} is not an enabled authentication method` };\n    }\n    return { challenge: \"password\" };\n  }\n\n  // Mirrors walkUserProperty: a nested property is addressed by its\n  // dotted path, descending one `properties` level per segment.\n  const segments = field.split(\".\");\n  let property: unknown = undefined;\n  let level: Record<string, unknown> | undefined = properties;\n  for (const [i, segment] of segments.entries()) {\n    // Own properties only: Go indexes a map, where an inherited name like\n    // `toString` is simply absent.\n    property = level !== undefined && Object.hasOwn(level, segment) ? level[segment] : undefined;\n    if (property === undefined) {\n      return { message: `flow field: not a property in the user schema: ${q(field)}` };\n    }\n    const nested = isPlainObject(property) ? schemaProperties(property) : undefined;\n    if (i < segments.length - 1 && nested === undefined) {\n      return { message: `flow field: not a property in the user schema: ${q(field)}` };\n    }\n    level = nested;\n  }\n\n  if (!isPlainObject(property)) {\n    return { challenge: null };\n  }\n\n  // Mirrors schemaReader.JSONType: the nullable idiom `[\"null\", X]`\n  // reduces to X; any other multi-entry union is unsupported. Go reduces\n  // before it tests for a composite, so the union error wins and the\n  // object/array test below reads the reduced type rather than the union.\n  let jsonType = property.type;\n  if (Array.isArray(jsonType)) {\n    const nonNull = jsonType.filter((t) => t !== \"null\");\n    if (nonNull.length > 1) {\n      return { message: `flow field: unsupported JSON type: [${jsonType.map(str).join(\" \")}]` };\n    }\n    // Undefined when every entry was \"null\", matching Go's empty-string case.\n    jsonType = nonNull[0];\n  }\n\n  // Mirrors deriveUserPropertyType: an object or array has no\n  // field-shaped input. A property carrying `properties` is an object,\n  // and one carrying `items` is an array, even when it omits the `type`\n  // keyword.\n  if (\n    jsonType === \"object\" ||\n    jsonType === \"array\" ||\n    schemaProperties(property) !== undefined ||\n    \"items\" in property\n  ) {\n    return {\n      message: `flow field: not a scalar property, name a nested leaf instead: ${q(field)}`,\n    };\n  }\n\n  // Mirrors deriveIdentifierChallenge: the field naming the schema-root\n  // `x-identifier` designation is the identifier (ADR 057); other\n  // properties — unique or not — carry no identifier challenge.\n  const identifier = schema[\"x-identifier\"];\n  if (typeof identifier === \"string\" && identifier !== \"\" && field === identifier) {\n    return { challenge: \"identifier\" };\n  }\n  return { challenge: null };\n}\n\nfunction validateAgainstSchema(def: FlowDef, schema: object): FlowValidationIssue[] {\n  const issues: FlowValidationIssue[] = [];\n  const raw = schema as Record<string, unknown>;\n\n  const properties = schemaProperties(raw);\n  if (properties === undefined) {\n    issues.push(error(\"schema/fields-resolve\", \"user schema has no properties\"));\n    return issues;\n  }\n\n  // Required-fields coverage (validateRequiredUserSchemaFields).\n  // Collecting `address.street` covers the leaf and every object above\n  // it, since an object materializes once one of its children is\n  // collected. The same prefixes are what the schema treats as\n  // materialized, so an optional object's own `required` list comes into\n  // force here too.\n  const covered = new Set<string>();\n  for (const step of def.steps) {\n    for (const field of step.fields) {\n      let path = \"\";\n      for (const node of field.split(\".\")) {\n        path = path === \"\" ? node : `${path}.${node}`;\n        covered.add(path);\n      }\n    }\n  }\n  const missing = requiredPaths(raw, covered)\n    .filter((field) => !covered.has(field))\n    .sort();\n  if (missing.length > 0) {\n    issues.push(\n      error(\n        \"schema/required-fields\",\n        `required fields [${missing.join(\" \")}] in user schema are missing in the flow definition steps`,\n      ),\n    );\n  }\n\n  // Field resolution (resolveAllStepFields), collecting challenges for\n  // the manifest and warning rules below.\n  const challengesByStep = new Map<string, Set<FieldChallenge>>();\n  let resolutionFailed = false;\n  for (const step of def.steps) {\n    const challenges = new Set<FieldChallenge>();\n    for (const field of step.fields) {\n      const resolved = resolveFieldChallenge(field, properties, raw);\n      if (\"message\" in resolved) {\n        issues.push(\n          error(\"schema/fields-resolve\", `step ${q(step.name)}: ${resolved.message}`, step.name),\n        );\n        resolutionFailed = true;\n        continue;\n      }\n      if (resolved.challenge !== null) {\n        challenges.add(resolved.challenge);\n      }\n    }\n    challengesByStep.set(step.name, challenges);\n  }\n\n  // Passkey enablement (validatePasskeyActionsEnabled): passkey is\n  // action-shaped, not field-shaped, so the per-field enabled-method\n  // check above never sees it.\n  if (!authMethodEnabled(raw, \"passkey\")) {\n    for (const step of def.steps) {\n      for (const action of step.actions) {\n        if (action.kind === \"passkey\" || action.kind === \"passkey_register\") {\n          issues.push(\n            error(\n              \"schema/passkey-actions\",\n              `step ${q(step.name)}: action ${q(action.name)} offers passkey but \"passkey\" is not an enabled authentication method`,\n              step.name,\n            ),\n          );\n        }\n      }\n    }\n  }\n\n  if (resolutionFailed) {\n    return issues;\n  }\n\n  // on_success manifests (validateOnSuccessManifests): every kind the\n  // mutation needs must be collected on the step or upstream.\n  const reverse = reverseAdjacency(def);\n  for (const step of def.steps) {\n    if (step.onSuccess === undefined) continue;\n    const manifest = ON_SUCCESS_MANIFESTS[step.onSuccess];\n    if (manifest === undefined) continue;\n    const upstream = new Set<string>();\n    bfs(step.name, reverse, upstream);\n    for (const kind of manifest) {\n      const established = [...upstream].some((name) => challengesByStep.get(name)?.has(kind));\n      if (!established) {\n        issues.push(\n          error(\n            \"schema/on-success-manifest\",\n            `step ${q(step.name)}: on_success ${step.onSuccess} requires ${q(kind)} to be collected upstream`,\n            step.name,\n          ),\n        );\n      }\n    }\n  }\n\n  // CLI-only guidance (no Go counterpart): a password collected on the\n  // login path with no identifier upstream leaves the engine unable to\n  // resolve which user to challenge. Path-sensitive: walk forward from\n  // the login entry and stop at any step that collects an identifier\n  // (every route through it is covered), so an identifier on a\n  // *different* route — e.g. only on the register-purpose chain into a\n  // shared step — cannot mask a login route that never collects one.\n  const loginEntry = def.purposes.get(\"login\");\n  if (loginEntry !== undefined) {\n    const adj = localAdjacency(def);\n    const identifierFree = new Set<string>();\n    const queue = [loginEntry];\n    for (let head = 0; head < queue.length; head += 1) {\n      const name = queue[head];\n      if (name === undefined || identifierFree.has(name)) continue;\n      if (challengesByStep.get(name)?.has(\"identifier\")) continue;\n      identifierFree.add(name);\n      queue.push(...(adj.get(name) ?? []));\n    }\n    for (const step of def.steps) {\n      if (!identifierFree.has(step.name)) continue;\n      if (!challengesByStep.get(step.name)?.has(\"password\")) continue;\n      issues.push({\n        severity: \"warning\",\n        rule: \"warn/password-without-identifier\",\n        message: `step ${q(step.name)} collects ${AUTH_METHOD_PREFIX}password on the login path but no upstream step collects an identifier field — the engine cannot resolve which user to challenge`,\n        step: step.name,\n      });\n    }\n  }\n\n  return issues;\n}\n"],"mappings":";;;;;AA8CA,MAAa,wBAAwB;CACnC,cAAc,EAAE,OAAO,gBAAgB;CACvC,YAAY,EAAE,OAAO,sBAAsB;CAC3C,OAAO,EAAE,OAAO,iBAAiB;CACjC,OAAO,EAAE,OAAO,iBAAiB;CACjC,QAAQ,EAAE,OAAO,kBAAkB;CACnC,cAAc,EAAE,OAAO,6BAA6B;CACpD,0BAA0B,EAAE,OAAO,oCAAoC;CACvE,yBAAyB,EAAE,OAAO,wBAAwB;CAC1D,0BAA0B,EAAE,OAAO,iCAAiC;CACpE,8BAA8B,EAAE,OAAO,8BAA8B;CACrE,oCAAoC,EAAE,OAAO,MAAM;CACpD;;AAKD,MAAa,oBAAoB;CAC/B;CACA;CACA;CACA;CACD;;AAGD,MAAa,gBAAgB;CAC3B;CACA;CACA;CACA;CACA;CACA;CACD;;;;;;;;AASD,MAAa,uBAAmF;CAC9F,OAAO,EAAE,gBAAgB,YAAY;CACrC,UAAU,EAAE,qBAAqB,SAAS;CAC3C;;AAGD,MAAM,uBAAyD;CAC7D,gBACE;CACF,qBACE;CACH;;AAGD,MAAM,0BAA0B,IAAI,IAAI;CAAC;CAAU;CAAW;CAAoB;CAAW,CAAC;;AAG9F,MAAM,mBAAmB;;AAGzB,MAAM,qBAAqB;;AAG3B,MAAM,uBAA4E,EAChF,aAAa,CAAC,cAAc,WAAW,EACxC;;;;;;;;AAWD,SAAgB,uBAAuB,MAAc,QAAwC;CAC3F,MAAM,MAAM,SAAS,KAAK;CAC1B,MAAM,SAAgC,EAAE;CAGxC,MAAM,4BAAY,IAAI,KAAa;AACnC,MAAK,MAAM,QAAQ,IAAI,OAAO;AAC5B,MAAI,UAAU,IAAI,KAAK,KAAK,CAC1B,QAAO,KAAK,MAAM,cAAc,uBAAuB,EAAE,KAAK,KAAK,IAAI,KAAK,KAAK,CAAC;AAEpF,YAAU,IAAI,KAAK,KAAK;;AAI1B,KAAI,IAAI,SAAS,SAAS,EACxB,QAAO,KAAK,MAAM,cAAc,sBAAsB,CAAC;AAEzD,MAAK,MAAM,CAAC,SAAS,cAAc,IAAI,UAAU;AAC/C,MAAI,CAAE,cAAoC,SAAS,QAAQ,EAAE;AAC3D,UAAO,KAAK,MAAM,cAAc,IAAI,QAAQ,0BAA0B,CAAC;AACvE;;AAEF,MAAI,cAAc,IAAI;AACpB,UAAO,KAAK,MAAM,cAAc,6BAA6B,QAAQ,YAAY,CAAC;AAClF;;AAEF,MAAI,CAAC,UAAU,IAAI,UAAU,CAC3B,QAAO,KACL,MAAM,cAAc,WAAW,EAAE,QAAQ,CAAC,oCAAoC,EAAE,UAAU,GAAG,CAC9F;;AAKL,MAAK,MAAM,QAAQ,IAAI,MACrB,QAAO,KAAK,GAAG,aAAa,KAAK,CAAC;AAIpC,KAAI,OAAO,WAAW,GAAG;AACvB,SAAO,KAAK,GAAG,cAAc,KAAK,UAAU,CAAC;AAC7C,MAAI,OAAO,WAAW,EACpB,QAAO,KAAK,GAAG,eAAe,IAAI,CAAC;AAErC,SAAO,KAAK,GAAG,0BAA0B,IAAI,CAAC;;AAKhD,KAAI,WAAW,KAAA,KAAa,OAAO,WAAW,EAC5C,QAAO,KAAK,GAAG,sBAAsB,KAAK,OAAO,CAAC;AAGpD,QAAO;;AAqBT,SAAS,cAAc,OAAkD;AACvE,QAAO,OAAO,UAAU,YAAY,UAAU,QAAQ,CAAC,MAAM,QAAQ,MAAM;;AAG7E,SAAS,IAAI,OAAwB;AACnC,QAAO,OAAO,UAAU,WAAW,QAAQ;;;;;;;;AAS7C,SAAS,SAAS,MAAuB;CACvC,MAAM,MAAM;CAEZ,MAAM,2BAAW,IAAI,KAAqB;AAC1C,KAAI,cAAc,IAAI,SAAS,CAC7B,MAAK,MAAM,CAAC,SAAS,UAAU,OAAO,QAAQ,IAAI,SAAS,CACzD,UAAS,IAAI,SAAS,IAAI,MAAM,CAAC;CAIrC,MAAM,QAAoB,EAAE;AAC5B,KAAI,MAAM,QAAQ,IAAI,MAAM,CAC1B,MAAK,MAAM,SAAS,IAAI,OAAO;AAC7B,MAAI,CAAC,cAAc,MAAM,CAAE;EAC3B,MAAM,8BAAc,IAAI,KAGrB;AACH,MAAI,cAAc,MAAM,YAAY,CAClC,MAAK,MAAM,CAAC,KAAK,MAAM,OAAO,QAAQ,MAAM,YAAY,EAAE;GACxD,MAAM,QAAQ,cAAc,EAAE,GAAG,IAAI,EAAE;AACvC,eAAY,IAAI,KAAK;IACnB,QAAQ,IAAI,MAAM,OAAO;IACzB,QAAQ,OAAO,MAAM,WAAW,WAAW,MAAM,SAAS;IAC1D,SAAS,OAAO,MAAM,YAAY,WAAW,MAAM,UAAU;IAC9D,CAAC;;AAGN,QAAM,KAAK;GACT,MAAM,IAAI,MAAM,KAAK;GACrB,QAAQ,MAAM,QAAQ,MAAM,OAAO,GAAG,MAAM,OAAO,IAAI,IAAI,GAAG,EAAE;GAChE,SAAS,MAAM,QAAQ,MAAM,QAAQ,GACjC,MAAM,QACH,OAAO,cAAc,CACrB,KAAK,OAAO;IAAE,MAAM,IAAI,EAAE,KAAK;IAAE,MAAM,IAAI,EAAE,KAAK;IAAE,EAAE,GACzD,EAAE;GACN,WAAW,cAAc,MAAM,MAAM,GAAG,OAAO,KAAK,MAAM,MAAM,CAAC,SAAS;GAC1E,kBAAkB,MAAM,QAAQ,MAAM,cAAc,GAAG,MAAM,cAAc,SAAS;GACpF;GACA,WAAW,OAAO,MAAM,eAAe,WAAW,MAAM,aAAa,KAAA;GACrE,UAAU,MAAM,aAAa,KAAA,KAAa,MAAM,aAAa;GAC9D,CAAC;;AAIN,QAAO;EAAE;EAAU;EAAO;;;AAI5B,SAAS,EAAE,OAAuB;AAChC,QAAO,KAAK,UAAU,MAAM;;AAG9B,SAAS,MAAM,MAA4B,SAAiB,MAAoC;AAC9F,QAAO,SAAS,KAAA,IACZ;EAAE,UAAU;EAAS;EAAM;EAAS,GACpC;EAAE,UAAU;EAAS;EAAM;EAAS;EAAM;;AAKhD,SAAS,aAAa,MAAuC;CAC3D,MAAM,SAAgC,EAAE;CACxC,MAAM,OAAO,KAAK;AAElB,KAAI,KAAK,UAAU;AACjB,MACE,KAAK,OAAO,SAAS,KACrB,KAAK,QAAQ,SAAS,KACtB,KAAK,YAAY,OAAO,KACxB,KAAK,YAAY,KACjB,KAAK,mBAAmB,EAExB,QAAO,KACL,MACE,SACA,QAAQ,EAAE,KAAK,CAAC,+FAChB,KACD,CACF;AAEH,SAAO;;CAGT,MAAM,6BAAa,IAAI,KAAa;AACpC,MAAK,MAAM,SAAS,KAAK,QAAQ;AAC/B,MAAI,UAAU,IAAI;AAChB,UAAO,KAAK,MAAM,SAAS,QAAQ,EAAE,KAAK,CAAC,yBAAyB,KAAK,CAAC;AAC1E;;AAEF,MAAI,WAAW,IAAI,MAAM,CACvB,QAAO,KAAK,MAAM,SAAS,QAAQ,EAAE,KAAK,CAAC,oBAAoB,EAAE,MAAM,IAAI,KAAK,CAAC;AAEnF,aAAW,IAAI,MAAM;;CAGvB,MAAM,8BAAc,IAAI,KAAa;AACrC,MAAK,MAAM,UAAU,KAAK,SAAS;AACjC,MAAI,OAAO,SAAS,IAAI;AACtB,UAAO,KAAK,MAAM,SAAS,QAAQ,EAAE,KAAK,CAAC,0BAA0B,KAAK,CAAC;AAC3E;;AAEF,MAAI,YAAY,IAAI,OAAO,KAAK,EAAE;AAChC,UAAO,KAAK,MAAM,SAAS,QAAQ,EAAE,KAAK,CAAC,qBAAqB,EAAE,OAAO,KAAK,IAAI,KAAK,CAAC;AACxF;;AAEF,MAAI,OAAO,SAAS,MAAO,OAAO,SAAS,UAAU,CAAC,wBAAwB,IAAI,OAAO,KAAK,CAC5F,QAAO,KAAK,MAAM,SAAS,QAAQ,EAAE,KAAK,CAAC,WAAW,EAAE,OAAO,KAAK,CAAC,eAAe,KAAK,CAAC;WACjF,OAAO,SAAS,OACzB,QAAO,KACL,MACE,SACA,QAAQ,EAAE,KAAK,CAAC,WAAW,EAAE,OAAO,KAAK,CAAC,kEAC1C,KACD,CACF;AAEH,MAAI,OAAO,SAAS,iBAClB,QAAO,KACL,MACE,SACA,QAAQ,EAAE,KAAK,CAAC,gBAAgB,EAAE,OAAO,KAAK,CAAC,mDAC/C,KACD,CACF;AAEH,cAAY,IAAI,OAAO,KAAK;;CAG9B,MAAM,cAAc,KAAK,YAAY,IAAI,WAAW;AACpD,KACE,KAAK,OAAO,WAAW,KACvB,KAAK,QAAQ,WAAW,KACxB,KAAK,qBAAqB,KAC1B,KAAK,cAAc,KACnB,CAAC,YAED,QAAO,KACL,MACE,SACA,QAAQ,EAAE,KAAK,CAAC,6FAChB,KACD,CACF;AAGH,KAAI,KAAK,mBAAmB,KAAK,CAAC,YAChC,QAAO,KACL,MAAM,SAAS,QAAQ,EAAE,KAAK,CAAC,0DAA0D,KAAK,CAC/F;AAGH,MAAK,MAAM,cAAc,YACvB,KAAI,CAAC,KAAK,YAAY,IAAI,WAAW,CACnC,QAAO,KACL,MAAM,SAAS,QAAQ,EAAE,KAAK,CAAC,WAAW,EAAE,WAAW,CAAC,8BAA8B,KAAK,CAC5F;AAIL,MAAK,MAAM,iBAAiB,KAAK,YAAY,MAAM,CACjD,KAAI,CAAC,YAAY,IAAI,cAAc,IAAI,CAAE,kBAAwC,SAAS,cAAc,CACtG,QAAO,KACL,MACE,SACA,QAAQ,EAAE,KAAK,CAAC,mBAAmB,EAAE,cAAc,CAAC,+GACpD,KACD,CACF;AAIL,QAAO;;;AAMT,SAAS,cAAc,GAAuC;AAC5D,QAAO,EAAE,WAAW;;;AAItB,SAAS,eAAe,KAAqC;CAC3D,MAAM,sBAAM,IAAI,KAAuB;AACvC,MAAK,MAAM,QAAQ,IAAI,MACrB,MAAK,MAAM,KAAK,KAAK,YAAY,QAAQ,CACvC,KAAI,cAAc,EAAE,EAAE;EACpB,MAAM,UAAU,IAAI,IAAI,KAAK,KAAK,IAAI,EAAE;AACxC,UAAQ,KAAK,EAAE,OAAO;AACtB,MAAI,IAAI,KAAK,MAAM,QAAQ;;AAIjC,QAAO;;;AAIT,SAAS,iBAAiB,KAAqC;CAC7D,MAAM,0BAAU,IAAI,KAAuB;AAC3C,MAAK,MAAM,QAAQ,IAAI,MACrB,MAAK,MAAM,KAAK,KAAK,YAAY,QAAQ,CACvC,KAAI,cAAc,EAAE,EAAE;EACpB,MAAM,UAAU,QAAQ,IAAI,EAAE,OAAO,IAAI,EAAE;AAC3C,UAAQ,KAAK,KAAK,KAAK;AACvB,UAAQ,IAAI,EAAE,QAAQ,QAAQ;;AAIpC,QAAO;;;AAIT,SAAS,IAAI,OAAe,KAA4B,SAA4B;CAClF,MAAM,QAAQ,CAAC,MAAM;AACrB,MAAK,IAAI,OAAO,GAAG,OAAO,MAAM,QAAQ,QAAQ,GAAG;EACjD,MAAM,UAAU,MAAM;AACtB,MAAI,YAAY,KAAA,KAAa,QAAQ,IAAI,QAAQ,CAAE;AACnD,UAAQ,IAAI,QAAQ;AACpB,QAAM,KAAK,GAAI,IAAI,IAAI,QAAQ,IAAI,EAAE,CAAE;;;AAI3C,SAAS,cAAc,KAAc,WAA+C;CAClF,MAAM,SAAgC,EAAE;AAExC,MAAK,MAAM,QAAQ,IAAI,MACrB,MAAK,MAAM,CAAC,KAAK,MAAM,KAAK,aAAa;AACvC,MAAI,EAAE,YAAY,KAIhB,KAAI,EAAE,WAAW,KACf,QAAO,KACL,MACE,SACA,QAAQ,EAAE,KAAK,KAAK,CAAC,eAAe,EAAE,IAAI,CAAC,qGAC3C,KAAK,KACN,CACF;WACQ,CAAE,cAAoC,SAAS,EAAE,QAAQ,CAGlE,QAAO,KACL,MACE,SACA,QAAQ,EAAE,KAAK,KAAK,CAAC,eAAe,EAAE,IAAI,CAAC,uBAC3C,KAAK,KACN,CACF;OACI;GACL,MAAM,QAAQ,IAAI,SAAS,IAAI,EAAE,QAAQ;AACzC,OAAI,UAAU,KAAA,EACZ,QAAO,KACL,MACE,SACA,QAAQ,EAAE,KAAK,KAAK,CAAC,eAAe,EAAE,IAAI,CAAC,kBAAkB,EAAE,EAAE,QAAQ,CAAC,yCAC1E,KAAK,KACN,CACF;YACQ,EAAE,WAAW,MACtB,QAAO,KACL,MACE,SACA,QAAQ,EAAE,KAAK,KAAK,CAAC,eAAe,EAAE,IAAI,CAAC,kBAAkB,EAAE,EAAE,QAAQ,CAAC,eAAe,EAAE,EAAE,OAAO,CAAC,6CAA6C,EAAE,MAAM,IAC1J,KAAK,KACN,CACF;;AAIP,MAAI,cAAc,EAAE;OACd,CAAC,UAAU,IAAI,EAAE,OAAO,CAC1B,QAAO,KACL,MACE,SACA,QAAQ,EAAE,KAAK,KAAK,CAAC,eAAe,EAAE,IAAI,CAAC,wBAAwB,EAAE,EAAE,OAAO,IAC9E,KAAK,KACN,CACF;aAEM,EAAE,WAAW,YAAY,EAAE,WAAW,QAC/C,QAAO,KACL,MACE,SACA,QAAQ,EAAE,KAAK,KAAK,CAAC,eAAe,EAAE,IAAI,CAAC,sBAAsB,EAAE,EAAE,UAAU,GAAG,IAClF,KAAK,KACN,CACF;;AAKP,MAAK,MAAM,QAAQ,IAAI,MACrB,KAAI,CAAC,KAAK,YAAY,KAAK,YAAY,SAAS,EAC9C,QAAO,KACL,MAAM,SAAS,QAAQ,EAAE,KAAK,KAAK,CAAC,mDAAmD,KAAK,KAAK,CAClG;CAIL,MAAM,4BAAY,IAAI,KAAa;CACnC,MAAM,MAAM,eAAe,IAAI;AAC/B,MAAK,MAAM,aAAa,IAAI,SAAS,QAAQ,CAC3C,KAAI,WAAW,KAAK,UAAU;AAEhC,MAAK,MAAM,QAAQ,IAAI,MACrB,KAAI,CAAC,UAAU,IAAI,KAAK,KAAK,CAC3B,QAAO,KAAK,MAAM,SAAS,QAAQ,EAAE,KAAK,KAAK,CAAC,uCAAuC,KAAK,KAAK,CAAC;AAItG,QAAO;;AAGT,SAAS,eAAe,KAAqC;CAC3D,MAAM,SAAgC,EAAE;CACxC,MAAM,UAAU,iBAAiB,IAAI;CAGrC,MAAM,uBAAO,IAAI,KAAa;CAC9B,MAAM,QAAkB,EAAE;AAC1B,MAAK,MAAM,QAAQ,IAAI,MAGrB,KADE,KAAK,YAAY,CAAC,GAAG,KAAK,YAAY,QAAQ,CAAC,CAAC,MAAM,MAAM,CAAC,cAAc,EAAE,CAAC,EACnE;AACX,OAAK,IAAI,KAAK,KAAK;AACnB,QAAM,KAAK,KAAK,KAAK;;AAGzB,MAAK,IAAI,OAAO,GAAG,OAAO,MAAM,QAAQ,QAAQ,GAAG;EACjD,MAAM,UAAU,MAAM;AACtB,MAAI,YAAY,KAAA,EAAW;AAC3B,OAAK,MAAM,QAAQ,QAAQ,IAAI,QAAQ,IAAI,EAAE,CAC3C,KAAI,CAAC,KAAK,IAAI,KAAK,EAAE;AACnB,QAAK,IAAI,KAAK;AACd,SAAM,KAAK,KAAK;;;AAKtB,MAAK,MAAM,QAAQ,IAAI,MACrB,KAAI,CAAC,KAAK,YAAY,CAAC,KAAK,IAAI,KAAK,KAAK,CACxC,QAAO,KACL,MACE,UACA,QAAQ,EAAE,KAAK,KAAK,CAAC,0DACrB,KAAK,KACN,CACF;AAGL,QAAO;;AAGT,SAAS,0BAA0B,KAAqC;CACtE,MAAM,SAAgC,EAAE;AACxC,MAAK,MAAM,CAAC,SAAS,kBAAkB,IAAI,UAAU;EACnD,MAAM,cAAc,qBAAqB;AACzC,MAAI,gBAAgB,KAAA,EAAW;EAC/B,MAAM,QAAQ,IAAI,MAAM,MAAM,MAAM,EAAE,SAAS,cAAc;AAC7D,MAAI,UAAU,KAAA,EAAW;AACzB,OAAK,MAAM,CAAC,SAAS,kBAAkB,OAAO,QAAQ,YAAY,EAAE;AAClE,OAAI,CAAC,IAAI,SAAS,IAAI,cAAc,CAAE;AACtC,OAAI,CAAC,MAAM,YAAY,IAAI,QAAQ,CACjC,QAAO,KACL,MACE,cACA,QAAQ,EAAE,MAAM,KAAK,CAAC,2BAA2B,EAAE,QAAQ,CAAC,aAAa,EAAE,QAAQ,CAAC,sBAAsB,EAAE,cAAc,CAAC,kCAAkC,qBAAqB,YAClL,MAAM,KACP,CACF;;;AAIP,QAAO;;AAKT,SAAS,iBAAiB,QAAsE;AAC9F,QAAO,cAAc,OAAO,WAAW,GAAG,OAAO,aAAa,KAAA;;AAGhE,SAAS,eAAe,QAA2C;AACjE,QAAO,MAAM,QAAQ,OAAO,SAAS,GAAG,OAAO,SAAS,IAAI,IAAI,CAAC,QAAQ,MAAM,MAAM,GAAG,GAAG,EAAE;;;;;;;;;;;;;AAc/F,SAAS,cACP,QACA,cACA,SAAS,IACC;CACV,MAAM,aAAa,iBAAiB,OAAO;CAC3C,MAAM,WAAW,eAAe,OAAO;CAGvC,MAAM,sBAAM,IAAI,KAAa;AAE7B,MAAK,MAAM,QAAQ,UAAU;EAC3B,MAAM,OAAO,WAAW,KAAK,OAAO,GAAG,OAAO,GAAG;EACjD,MAAM,WACJ,eAAe,KAAA,KAAa,OAAO,OAAO,YAAY,KAAK,GAAG,WAAW,QAAQ,KAAA;AACnF,MAAI,CAAC,cAAc,SAAS,IAAI,eAAe,SAAS,CAAC,WAAW,GAAG;AACrE,OAAI,IAAI,KAAK;AACb;;AAEF,OAAK,MAAM,UAAU,cAAc,UAAU,cAAc,KAAK,CAAE,KAAI,IAAI,OAAO;;AAKnF,MAAK,MAAM,CAAC,MAAM,aAAa,OAAO,QAAQ,cAAc,EAAE,CAAC,EAAE;AAC/D,MAAI,SAAS,SAAS,KAAK,IAAI,CAAC,cAAc,SAAS,CAAE;EACzD,MAAM,OAAO,WAAW,KAAK,OAAO,GAAG,OAAO,GAAG;AACjD,MAAI,CAAC,aAAa,IAAI,KAAK,CAAE;AAC7B,OAAK,MAAM,UAAU,cAAc,UAAU,cAAc,KAAK,CAAE,KAAI,IAAI,OAAO;;AAGnF,QAAO,CAAC,GAAG,IAAI;;;AAIjB,SAAS,kBAAkB,QAAiC,QAAyB;AACnF,KAAI,CAAC,cAAc,OAAO,kBAAkB,CAAE,QAAO;CACrD,MAAM,QAAQ,OAAO,kBAAkB;AACvC,QAAO,cAAc,MAAM,IAAI,MAAM,YAAY;;;;;;;AAQnD,SAAS,sBACP,OACA,YACA,QAC4D;AAC5D,KAAI,MAAM,WAAW,mBAAmB,EAAE;EACxC,MAAM,SAAS,MAAM,MAAM,GAA0B;AAErD,MAAI,WAAW,WACb,QAAO,EAAE,SAAS,0BAA0B,EAAE,MAAM,IAAI;AAE1D,MAAI,CAAC,kBAAkB,QAAQ,OAAO,CAEpC,QAAO,EAAE,SAAS,GAAG,EAAE,OAAO,CAAC,2CAA2C;AAE5E,SAAO,EAAE,WAAW,YAAY;;CAKlC,MAAM,WAAW,MAAM,MAAM,IAAI;CACjC,IAAI,WAAoB,KAAA;CACxB,IAAI,QAA6C;AACjD,MAAK,MAAM,CAAC,GAAG,YAAY,SAAS,SAAS,EAAE;AAG7C,aAAW,UAAU,KAAA,KAAa,OAAO,OAAO,OAAO,QAAQ,GAAG,MAAM,WAAW,KAAA;AACnF,MAAI,aAAa,KAAA,EACf,QAAO,EAAE,SAAS,kDAAkD,EAAE,MAAM,IAAI;EAElF,MAAM,SAAS,cAAc,SAAS,GAAG,iBAAiB,SAAS,GAAG,KAAA;AACtE,MAAI,IAAI,SAAS,SAAS,KAAK,WAAW,KAAA,EACxC,QAAO,EAAE,SAAS,kDAAkD,EAAE,MAAM,IAAI;AAElF,UAAQ;;AAGV,KAAI,CAAC,cAAc,SAAS,CAC1B,QAAO,EAAE,WAAW,MAAM;CAO5B,IAAI,WAAW,SAAS;AACxB,KAAI,MAAM,QAAQ,SAAS,EAAE;EAC3B,MAAM,UAAU,SAAS,QAAQ,MAAM,MAAM,OAAO;AACpD,MAAI,QAAQ,SAAS,EACnB,QAAO,EAAE,SAAS,uCAAuC,SAAS,IAAI,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI;AAG3F,aAAW,QAAQ;;AAOrB,KACE,aAAa,YACb,aAAa,WACb,iBAAiB,SAAS,KAAK,KAAA,KAC/B,WAAW,SAEX,QAAO,EACL,SAAS,kEAAkE,EAAE,MAAM,IACpF;CAMH,MAAM,aAAa,OAAO;AAC1B,KAAI,OAAO,eAAe,YAAY,eAAe,MAAM,UAAU,WACnE,QAAO,EAAE,WAAW,cAAc;AAEpC,QAAO,EAAE,WAAW,MAAM;;AAG5B,SAAS,sBAAsB,KAAc,QAAuC;CAClF,MAAM,SAAgC,EAAE;CACxC,MAAM,MAAM;CAEZ,MAAM,aAAa,iBAAiB,IAAI;AACxC,KAAI,eAAe,KAAA,GAAW;AAC5B,SAAO,KAAK,MAAM,yBAAyB,gCAAgC,CAAC;AAC5E,SAAO;;CAST,MAAM,0BAAU,IAAI,KAAa;AACjC,MAAK,MAAM,QAAQ,IAAI,MACrB,MAAK,MAAM,SAAS,KAAK,QAAQ;EAC/B,IAAI,OAAO;AACX,OAAK,MAAM,QAAQ,MAAM,MAAM,IAAI,EAAE;AACnC,UAAO,SAAS,KAAK,OAAO,GAAG,KAAK,GAAG;AACvC,WAAQ,IAAI,KAAK;;;CAIvB,MAAM,UAAU,cAAc,KAAK,QAAQ,CACxC,QAAQ,UAAU,CAAC,QAAQ,IAAI,MAAM,CAAC,CACtC,MAAM;AACT,KAAI,QAAQ,SAAS,EACnB,QAAO,KACL,MACE,0BACA,oBAAoB,QAAQ,KAAK,IAAI,CAAC,2DACvC,CACF;CAKH,MAAM,mCAAmB,IAAI,KAAkC;CAC/D,IAAI,mBAAmB;AACvB,MAAK,MAAM,QAAQ,IAAI,OAAO;EAC5B,MAAM,6BAAa,IAAI,KAAqB;AAC5C,OAAK,MAAM,SAAS,KAAK,QAAQ;GAC/B,MAAM,WAAW,sBAAsB,OAAO,YAAY,IAAI;AAC9D,OAAI,aAAa,UAAU;AACzB,WAAO,KACL,MAAM,yBAAyB,QAAQ,EAAE,KAAK,KAAK,CAAC,IAAI,SAAS,WAAW,KAAK,KAAK,CACvF;AACD,uBAAmB;AACnB;;AAEF,OAAI,SAAS,cAAc,KACzB,YAAW,IAAI,SAAS,UAAU;;AAGtC,mBAAiB,IAAI,KAAK,MAAM,WAAW;;AAM7C,KAAI,CAAC,kBAAkB,KAAK,UAAU;OAC/B,MAAM,QAAQ,IAAI,MACrB,MAAK,MAAM,UAAU,KAAK,QACxB,KAAI,OAAO,SAAS,aAAa,OAAO,SAAS,mBAC/C,QAAO,KACL,MACE,0BACA,QAAQ,EAAE,KAAK,KAAK,CAAC,WAAW,EAAE,OAAO,KAAK,CAAC,wEAC/C,KAAK,KACN,CACF;;AAMT,KAAI,iBACF,QAAO;CAKT,MAAM,UAAU,iBAAiB,IAAI;AACrC,MAAK,MAAM,QAAQ,IAAI,OAAO;AAC5B,MAAI,KAAK,cAAc,KAAA,EAAW;EAClC,MAAM,WAAW,qBAAqB,KAAK;AAC3C,MAAI,aAAa,KAAA,EAAW;EAC5B,MAAM,2BAAW,IAAI,KAAa;AAClC,MAAI,KAAK,MAAM,SAAS,SAAS;AACjC,OAAK,MAAM,QAAQ,SAEjB,KAAI,CADgB,CAAC,GAAG,SAAS,CAAC,MAAM,SAAS,iBAAiB,IAAI,KAAK,EAAE,IAAI,KAAK,CACtE,CACd,QAAO,KACL,MACE,8BACA,QAAQ,EAAE,KAAK,KAAK,CAAC,eAAe,KAAK,UAAU,YAAY,EAAE,KAAK,CAAC,4BACvE,KAAK,KACN,CACF;;CAYP,MAAM,aAAa,IAAI,SAAS,IAAI,QAAQ;AAC5C,KAAI,eAAe,KAAA,GAAW;EAC5B,MAAM,MAAM,eAAe,IAAI;EAC/B,MAAM,iCAAiB,IAAI,KAAa;EACxC,MAAM,QAAQ,CAAC,WAAW;AAC1B,OAAK,IAAI,OAAO,GAAG,OAAO,MAAM,QAAQ,QAAQ,GAAG;GACjD,MAAM,OAAO,MAAM;AACnB,OAAI,SAAS,KAAA,KAAa,eAAe,IAAI,KAAK,CAAE;AACpD,OAAI,iBAAiB,IAAI,KAAK,EAAE,IAAI,aAAa,CAAE;AACnD,kBAAe,IAAI,KAAK;AACxB,SAAM,KAAK,GAAI,IAAI,IAAI,KAAK,IAAI,EAAE,CAAE;;AAEtC,OAAK,MAAM,QAAQ,IAAI,OAAO;AAC5B,OAAI,CAAC,eAAe,IAAI,KAAK,KAAK,CAAE;AACpC,OAAI,CAAC,iBAAiB,IAAI,KAAK,KAAK,EAAE,IAAI,WAAW,CAAE;AACvD,UAAO,KAAK;IACV,UAAU;IACV,MAAM;IACN,SAAS,QAAQ,EAAE,KAAK,KAAK,CAAC,YAAY,mBAAmB;IAC7D,MAAM,KAAK;IACZ,CAAC;;;AAIN,QAAO"}
+{"version":3,"file":"validate.mjs","names":[],"sources":["../src/validate.ts"],"sourcesContent":["/**\n * Plan-time port of the server's flow-definition validator\n * (`internal/domain/flow_definition_validator.go`). The CLI runs it in\n * `buildSyncPlan` so every rule the server enforces on apply speaks up\n * at plan time — with the same words — before anything mutates.\n *\n * Contract with the Go source:\n *\n * - Every rule id in {@link FLOW_VALIDATION_RULES} names the Go function\n *   it ports (`goRef`); a drift-audit test asserts those functions still\n *   exist and that the shared literals below still match.\n * - Error messages mirror the Go detail strings verbatim, so a user who\n *   bypasses plan sees identical text from the server.\n * - Unlike the Go validator (fail-fast), this port collects every issue.\n *   Later phases are gated on earlier phases being clean so one defect\n *   does not cascade into noise (a BFS over duplicate step names is\n *   ill-defined).\n *\n * Scope cuts (server/service-side, not portable): pivot/switch targets\n * must name an active flow definition in the same project (needs the\n * DB); the user schema itself is assumed meta-schema-valid.\n *\n * Lifecycle: this port is a local-first interim, not a second source of\n * truth to grow. Its designed successor is the server-side validate-only\n * bundle endpoint (zitadel/nextgen#449); once plan can ask the server,\n * this file, its drift audit, and the keep-in-sync comment on the Go\n * validator all go away. New rules land in Go first and are ported here\n * only until then.\n */\n\nexport type FlowValidationSeverity = \"error\" | \"warning\";\n\nexport type FlowValidationIssue = {\n  severity: FlowValidationSeverity;\n  /** Stable rule id from {@link FLOW_VALIDATION_RULES}. */\n  rule: FlowValidationRuleId;\n  /** Mirrors the Go `ErrFlowDefinitionInvalid` detail string where a Go rule exists. */\n  message: string;\n  /** Step the issue is anchored to, when applicable. */\n  step?: string;\n};\n\n/**\n * Rule registry: rule id → the Go function it ports. `goRef: null` marks\n * CLI-only guidance with no server counterpart.\n */\nexport const FLOW_VALIDATION_RULES = {\n  \"step-names\": { goRef: \"stepNamesMap\" },\n  definition: { goRef: \"validateDefinition\" },\n  steps: { goRef: \"validateSteps\" },\n  graph: { goRef: \"validateGraph\" },\n  cycles: { goRef: \"validateCycles\" },\n  \"flip-table\": { goRef: \"validateFlipTableCoverage\" },\n  \"schema/required-fields\": { goRef: \"validateRequiredUserSchemaFields\" },\n  \"schema/fields-resolve\": { goRef: \"resolveAllStepFields\" },\n  \"schema/passkey-actions\": { goRef: \"validatePasskeyActionsEnabled\" },\n  \"schema/on-success-manifest\": { goRef: \"validateOnSuccessManifests\" },\n  \"warn/password-without-identifier\": { goRef: null },\n} as const;\n\nexport type FlowValidationRuleId = keyof typeof FLOW_VALIDATION_RULES;\n\n/** Mirrors `reservedOutcomes` in flow_definition_validator.go. */\nexport const RESERVED_OUTCOMES = [\n  \"user_not_found\",\n  \"user_already_exists\",\n  \"sso_user_not_found\",\n  \"sso_authenticated\",\n] as const;\n\n/** Mirrors the `FlowDefinitionPurpose` enum (snake transform) in flow_definition.go. */\nexport const FLOW_PURPOSES = [\n  \"login\",\n  \"register\",\n  \"recovery\",\n  \"profiling\",\n  \"reauth\",\n  \"link_account\",\n] as const;\n\n/**\n * Mirrors `purposeFlipTargets` in flow_definition_validator.go: the\n * identifier outcomes only. `sso_user_not_found` comes only from SSO\n * resolution and is left out here; requiring it on every combined entry\n * step would reject the shipped default flow. A rule on steps carrying\n * sso_providers is future work (#1044).\n */\nexport const PURPOSE_FLIP_TARGETS: Readonly<Record<string, Readonly<Record<string, string>>>> = {\n  login: { user_not_found: \"register\" },\n  register: { user_already_exists: \"login\" },\n};\n\n/** Mirrors `flipOutcomeImpacts` in flow_definition_validator.go (verbatim). */\nconst FLIP_OUTCOME_IMPACTS: Readonly<Record<string, string>> = {\n  user_not_found:\n    \"someone without an account gets stuck at sign-in instead of being routed to registration\",\n  user_already_exists:\n    \"someone who already has an account gets stuck at registration instead of being routed to sign-in\",\n};\n\n/** Action kinds a flow author may declare; `back` is engine-injected. */\nconst DECLARABLE_ACTION_KINDS = new Set([\"submit\", \"passkey\", \"passkey_register\", \"navigate\"]);\n\n/**\n * Action names the engine claims, with the reason the validator reports.\n * Mirrors `flowBackActionName` and `FlowActionSSO` in flow_state_machine.go.\n * A Map, not an object, so a name like `constructor` cannot match by accident.\n */\nconst RESERVED_ACTION_NAMES = new Map([\n  [\"back\", \"engine-injected back navigation\"],\n  [\"sso\", \"sso submissions\"],\n]);\n\n/** Mirrors `authMethodPrefix` in flow_definition.go. */\nconst AUTH_METHOD_PREFIX = \"x-auth-methods#\";\n\n/** Mirrors `ManifestForOnSuccess` in flow_on_success.go. */\nconst ON_SUCCESS_MANIFESTS: Readonly<Record<string, readonly FieldChallenge[]>> = {\n  create_user: [\"identifier\", \"password\"],\n};\n\ntype FieldChallenge = \"identifier\" | \"password\";\n\n/**\n * Validate a flow-definition config body (the `.zitadel/flows/*.json`\n * content) against the rules the server enforces on apply. `schema` is\n * the content of the user schema the flow's `user_schema` pins; when\n * omitted, schema-dependent rules are skipped. Pure — collects all\n * issues, never throws.\n */\nexport function validateFlowDefinition(flow: object, schema?: object): FlowValidationIssue[] {\n  const def = readFlow(flow);\n  const issues: FlowValidationIssue[] = [];\n\n  // Phase 1 — step names (everything else keys off them).\n  const stepNames = new Set<string>();\n  for (const step of def.steps) {\n    if (stepNames.has(step.name)) {\n      issues.push(error(\"step-names\", `duplicate step name ${q(step.name)}`, step.name));\n    }\n    stepNames.add(step.name);\n  }\n\n  // Phase 2 — purposes.\n  if (def.purposes.size === 0) {\n    issues.push(error(\"definition\", \"no purposes defined\"));\n  }\n  for (const [purpose, entryStep] of def.purposes) {\n    if (!(FLOW_PURPOSES as readonly string[]).includes(purpose)) {\n      issues.push(error(\"definition\", `'${purpose}' is not a valid purpose`));\n      continue;\n    }\n    if (entryStep === \"\") {\n      issues.push(error(\"definition\", `initial step for purpose '${purpose}' is empty`));\n      continue;\n    }\n    if (!stepNames.has(entryStep)) {\n      issues.push(\n        error(\n          \"definition\",\n          `purpose ${q(purpose)} targets unknown entry-point step ${q(entryStep)}`,\n        ),\n      );\n    }\n  }\n\n  // Phase 3 — per-step structure.\n  for (const step of def.steps) {\n    issues.push(...validateStep(step));\n  }\n\n  // Graph phases are ill-defined over broken structure — gate on 1–3.\n  if (issues.length === 0) {\n    issues.push(...validateGraph(def, stepNames));\n    if (issues.length === 0) {\n      issues.push(...validateCycles(def));\n    }\n    issues.push(...validateFlipTableCoverage(def));\n  }\n\n  // Schema-dependent phases: only meaningful over structurally sound\n  // steps, and only when the paired schema content is available.\n  if (schema !== undefined && issues.length === 0) {\n    issues.push(...validateAgainstSchema(def, schema));\n  }\n\n  return issues;\n}\n\n// ── internal flow reading ────────────────────────────────────────────────────\n\ntype FlowStep = {\n  name: string;\n  fields: string[];\n  actions: { name: string; kind: string }[];\n  gateCount: number;\n  ssoProviderCount: number;\n  transitions: Map<string, { target: string; action: string | null; purpose: string | null }>;\n  onSuccess: string | undefined;\n  terminal: boolean;\n};\n\ntype FlowDef = {\n  purposes: Map<string, string>;\n  steps: FlowStep[];\n};\n\nfunction isPlainObject(value: unknown): value is Record<string, unknown> {\n  return typeof value === \"object\" && value !== null && !Array.isArray(value);\n}\n\nfunction str(value: unknown): string {\n  return typeof value === \"string\" ? value : \"\";\n}\n\n/**\n * Coerce raw parsed JSON into the internal shape. Callers usually run\n * the Zod config schema first; the defensive reads keep the standalone\n * API from crashing on malformed input (it reports rule violations on\n * whatever is readable instead).\n */\nfunction readFlow(flow: object): FlowDef {\n  const raw = flow as Record<string, unknown>;\n\n  const purposes = new Map<string, string>();\n  if (isPlainObject(raw.purposes)) {\n    for (const [purpose, entry] of Object.entries(raw.purposes)) {\n      purposes.set(purpose, str(entry));\n    }\n  }\n\n  const steps: FlowStep[] = [];\n  if (Array.isArray(raw.steps)) {\n    for (const value of raw.steps) {\n      if (!isPlainObject(value)) continue;\n      const transitions = new Map<\n        string,\n        { target: string; action: string | null; purpose: string | null }\n      >();\n      if (isPlainObject(value.transitions)) {\n        for (const [key, t] of Object.entries(value.transitions)) {\n          const entry = isPlainObject(t) ? t : {};\n          transitions.set(key, {\n            target: str(entry.target),\n            action: typeof entry.action === \"string\" ? entry.action : null,\n            purpose: typeof entry.purpose === \"string\" ? entry.purpose : null,\n          });\n        }\n      }\n      steps.push({\n        name: str(value.name),\n        fields: Array.isArray(value.fields) ? value.fields.map(str) : [],\n        actions: Array.isArray(value.actions)\n          ? value.actions\n              .filter(isPlainObject)\n              .map((a) => ({ name: str(a.name), kind: str(a.kind) }))\n          : [],\n        gateCount: isPlainObject(value.gates) ? Object.keys(value.gates).length : 0,\n        ssoProviderCount: Array.isArray(value.sso_providers) ? value.sso_providers.length : 0,\n        transitions,\n        onSuccess: typeof value.on_success === \"string\" ? value.on_success : undefined,\n        terminal: value.complete !== undefined && value.complete !== null,\n      });\n    }\n  }\n\n  return { purposes, steps };\n}\n\n/** Go `%q` — double-quoted string. */\nfunction q(value: string): string {\n  return JSON.stringify(value);\n}\n\nfunction error(rule: FlowValidationRuleId, message: string, step?: string): FlowValidationIssue {\n  return step === undefined\n    ? { severity: \"error\", rule, message }\n    : { severity: \"error\", rule, message, step };\n}\n\n// ── phase 3: per-step structure (validateSteps + uniqueNonEmptyFields) ──────\n\nfunction validateStep(step: FlowStep): FlowValidationIssue[] {\n  const issues: FlowValidationIssue[] = [];\n  const name = step.name;\n\n  if (step.terminal) {\n    if (\n      step.fields.length > 0 ||\n      step.actions.length > 0 ||\n      step.transitions.size > 0 ||\n      step.gateCount > 0 ||\n      step.ssoProviderCount > 0\n    ) {\n      issues.push(\n        error(\n          \"steps\",\n          `step ${q(name)} is terminal (complete is set) but has fields, actions, transitions, gates, or sso_providers`,\n          name,\n        ),\n      );\n    }\n    return issues;\n  }\n\n  const seenFields = new Set<string>();\n  for (const field of step.fields) {\n    if (field === \"\") {\n      issues.push(error(\"steps\", `step ${q(name)}: field entry is empty`, name));\n      continue;\n    }\n    if (seenFields.has(field)) {\n      issues.push(error(\"steps\", `step ${q(name)}: duplicate field ${q(field)}`, name));\n    }\n    seenFields.add(field);\n  }\n\n  const actionNames = new Set<string>();\n  for (const action of step.actions) {\n    if (action.name === \"\") {\n      issues.push(error(\"steps\", `step ${q(name)}: action has empty name`, name));\n      continue;\n    }\n    if (actionNames.has(action.name)) {\n      issues.push(error(\"steps\", `step ${q(name)}: duplicate action ${q(action.name)}`, name));\n      continue;\n    }\n    if (\n      action.kind === \"\" ||\n      (action.kind !== \"back\" && !DECLARABLE_ACTION_KINDS.has(action.kind))\n    ) {\n      issues.push(error(\"steps\", `step ${q(name)}: action ${q(action.name)} has no kind`, name));\n    } else if (action.kind === \"back\") {\n      issues.push(\n        error(\n          \"steps\",\n          `step ${q(name)}: action ${q(action.name)} has kind=back, which is engine-injected and cannot be declared`,\n          name,\n        ),\n      );\n    }\n    const reserved = RESERVED_ACTION_NAMES.get(action.name);\n    if (reserved !== undefined) {\n      issues.push(\n        error(\n          \"steps\",\n          `step ${q(name)}: action name ${q(action.name)} is reserved for ${reserved}`,\n          name,\n        ),\n      );\n    }\n    actionNames.add(action.name);\n  }\n\n  const hasSsoAuthenticated = step.transitions.has(\"sso_authenticated\");\n  if (\n    step.fields.length === 0 &&\n    step.actions.length === 0 &&\n    step.ssoProviderCount === 0 &&\n    step.gateCount === 0 &&\n    !hasSsoAuthenticated\n  ) {\n    issues.push(\n      error(\n        \"steps\",\n        `step ${q(name)} is non-terminal but has no fields, actions, sso_providers, gates, or transitions.sso_authenticated`,\n        name,\n      ),\n    );\n  }\n\n  if (step.ssoProviderCount > 0 && !hasSsoAuthenticated) {\n    issues.push(\n      error(\n        \"steps\",\n        `step ${q(name)}: has sso_providers but is missing transitions.sso_authenticated`,\n        name,\n      ),\n    );\n  }\n\n  for (const actionName of actionNames) {\n    if (!step.transitions.has(actionName)) {\n      issues.push(\n        error(\"steps\", `step ${q(name)}: action ${q(actionName)} has no matching transition`, name),\n      );\n    }\n  }\n\n  for (const [transitionKey, t] of step.transitions) {\n    if (\n      !actionNames.has(transitionKey) &&\n      !(RESERVED_OUTCOMES as readonly string[]).includes(transitionKey)\n    ) {\n      issues.push(\n        error(\n          \"steps\",\n          `step ${q(name)}: transition key ${q(transitionKey)} is not an action name or reserved outcome (user_not_found, user_already_exists, sso_user_not_found, sso_authenticated)`,\n          name,\n        ),\n      );\n    }\n    // The sso outcomes carry a bound user or parked claims, which a\n    // re-purpose would drop and another flow cannot receive.\n    const isSsoOutcome =\n      transitionKey === \"sso_authenticated\" || transitionKey === \"sso_user_not_found\";\n    if (isSsoOutcome && (t.purpose !== null || t.action !== null)) {\n      issues.push(\n        error(\n          \"steps\",\n          `step ${q(name)}: transition ${q(transitionKey)} is an sso outcome and cannot declare purpose or action`,\n          name,\n        ),\n      );\n    }\n  }\n\n  return issues;\n}\n\n// ── phase 4: graph / cycles / flip table ─────────────────────────────────────\n\n/** A transition with no cross-flow action targets a step in this flow. */\nfunction isCurrentFlow(t: { action: string | null }): boolean {\n  return t.action === null;\n}\n\n/** Adjacency over local (current-flow) transitions: step → target steps. */\nfunction localAdjacency(def: FlowDef): Map<string, string[]> {\n  const adj = new Map<string, string[]>();\n  for (const step of def.steps) {\n    for (const t of step.transitions.values()) {\n      if (isCurrentFlow(t)) {\n        const targets = adj.get(step.name) ?? [];\n        targets.push(t.target);\n        adj.set(step.name, targets);\n      }\n    }\n  }\n  return adj;\n}\n\n/** Reverse adjacency over local transitions: target step → source steps. */\nfunction reverseAdjacency(def: FlowDef): Map<string, string[]> {\n  const reverse = new Map<string, string[]>();\n  for (const step of def.steps) {\n    for (const t of step.transitions.values()) {\n      if (isCurrentFlow(t)) {\n        const sources = reverse.get(t.target) ?? [];\n        sources.push(step.name);\n        reverse.set(t.target, sources);\n      }\n    }\n  }\n  return reverse;\n}\n\n/** BFS from `start` over `adj`, accumulating into `visited`. */\nfunction bfs(start: string, adj: Map<string, string[]>, visited: Set<string>): void {\n  const queue = [start];\n  for (let head = 0; head < queue.length; head += 1) {\n    const current = queue[head];\n    if (current === undefined || visited.has(current)) continue;\n    visited.add(current);\n    queue.push(...(adj.get(current) ?? []));\n  }\n}\n\nfunction validateGraph(def: FlowDef, stepNames: Set<string>): FlowValidationIssue[] {\n  const issues: FlowValidationIssue[] = [];\n\n  for (const step of def.steps) {\n    for (const [key, t] of step.transitions) {\n      if (t.purpose !== null) {\n        // Local re-purposing: never combined with a cross-flow action,\n        // only to a purpose this definition serves, and only to that\n        // purpose's entry step. Mirrors the server-side validator.\n        if (t.action !== null) {\n          issues.push(\n            error(\n              \"graph\",\n              `step ${q(step.name)}: transition ${q(key)} declares both purpose and action; a transition either re-purposes locally or targets another flow`,\n              step.name,\n            ),\n          );\n        } else if (!(FLOW_PURPOSES as readonly string[]).includes(t.purpose)) {\n          // Verbatim-identical to the Go validator's message (which cannot\n          // print the raw value — its parse layer rejects it earlier).\n          issues.push(\n            error(\n              \"graph\",\n              `step ${q(step.name)}: transition ${q(key)} has invalid purpose`,\n              step.name,\n            ),\n          );\n        } else {\n          const entry = def.purposes.get(t.purpose);\n          if (entry === undefined) {\n            issues.push(\n              error(\n                \"graph\",\n                `step ${q(step.name)}: transition ${q(key)} re-purposes to ${q(t.purpose)}, which this definition does not serve`,\n                step.name,\n              ),\n            );\n          } else if (t.target !== entry) {\n            issues.push(\n              error(\n                \"graph\",\n                `step ${q(step.name)}: transition ${q(key)} re-purposes to ${q(t.purpose)} but targets ${q(t.target)}; it must target that purpose's entry step ${q(entry)}`,\n                step.name,\n              ),\n            );\n          }\n        }\n      }\n      if (isCurrentFlow(t)) {\n        if (!stepNames.has(t.target)) {\n          issues.push(\n            error(\n              \"graph\",\n              `step ${q(step.name)}: transition ${q(key)} targets unknown step ${q(t.target)}`,\n              step.name,\n            ),\n          );\n        }\n      } else if (t.action !== \"switch\" && t.action !== \"pivot\") {\n        issues.push(\n          error(\n            \"graph\",\n            `step ${q(step.name)}: transition ${q(key)} has invalid action ${q(t.action ?? \"\")}`,\n            step.name,\n          ),\n        );\n      }\n    }\n  }\n\n  for (const step of def.steps) {\n    if (!step.terminal && step.transitions.size === 0) {\n      issues.push(\n        error(\n          \"graph\",\n          `step ${q(step.name)} is non-terminal but has no outgoing transitions`,\n          step.name,\n        ),\n      );\n    }\n  }\n\n  const reachable = new Set<string>();\n  const adj = localAdjacency(def);\n  for (const entryStep of def.purposes.values()) {\n    bfs(entryStep, adj, reachable);\n  }\n  for (const step of def.steps) {\n    if (!reachable.has(step.name)) {\n      issues.push(\n        error(\"graph\", `step ${q(step.name)} is unreachable from any entry point`, step.name),\n      );\n    }\n  }\n\n  return issues;\n}\n\nfunction validateCycles(def: FlowDef): FlowValidationIssue[] {\n  const issues: FlowValidationIssue[] = [];\n  const reverse = reverseAdjacency(def);\n\n  // Seed: escape nodes (terminal, or a switch/pivot out); BFS backwards.\n  const safe = new Set<string>();\n  const queue: string[] = [];\n  for (const step of def.steps) {\n    const escapes = step.terminal || [...step.transitions.values()].some((t) => !isCurrentFlow(t));\n    if (escapes) {\n      safe.add(step.name);\n      queue.push(step.name);\n    }\n  }\n  for (let head = 0; head < queue.length; head += 1) {\n    const current = queue[head];\n    if (current === undefined) continue;\n    for (const pred of reverse.get(current) ?? []) {\n      if (!safe.has(pred)) {\n        safe.add(pred);\n        queue.push(pred);\n      }\n    }\n  }\n\n  for (const step of def.steps) {\n    if (!step.terminal && !safe.has(step.name)) {\n      issues.push(\n        error(\n          \"cycles\",\n          `step ${q(step.name)} is trapped: no path to a terminal step or another flow`,\n          step.name,\n        ),\n      );\n    }\n  }\n  return issues;\n}\n\nfunction validateFlipTableCoverage(def: FlowDef): FlowValidationIssue[] {\n  const issues: FlowValidationIssue[] = [];\n  for (const [purpose, entryStepName] of def.purposes) {\n    const flipTargets = PURPOSE_FLIP_TARGETS[purpose];\n    if (flipTargets === undefined) continue;\n    const entry = def.steps.find((s) => s.name === entryStepName);\n    if (entry === undefined) continue;\n    for (const [outcome, targetPurpose] of Object.entries(flipTargets)) {\n      if (!def.purposes.has(targetPurpose)) continue;\n      if (!entry.transitions.has(outcome)) {\n        issues.push(\n          error(\n            \"flip-table\",\n            `step ${q(entry.name)}: entry step for purpose ${q(purpose)} must wire ${q(outcome)} transition because ${q(targetPurpose)} is also a purpose: without it, ${FLIP_OUTCOME_IMPACTS[outcome]}`,\n            entry.name,\n          ),\n        );\n      }\n    }\n  }\n  return issues;\n}\n\n// ── phase 5: schema-dependent rules ──────────────────────────────────────────\n\nfunction schemaProperties(schema: Record<string, unknown>): Record<string, unknown> | undefined {\n  return isPlainObject(schema.properties) ? schema.properties : undefined;\n}\n\nfunction schemaRequired(schema: Record<string, unknown>): string[] {\n  return Array.isArray(schema.required) ? schema.required.map(str).filter((n) => n !== \"\") : [];\n}\n\n/**\n * Mirrors `schemaReader.RequiredPaths`: every name in `required`,\n * recursed through the nested `required` of each required object. A\n * required object declaring no `required` of its own ends the descent at\n * the object itself.\n *\n * An optional object contributes its own `required` too once it appears\n * in `materialized`. It only exists in the document because something\n * beneath it was collected, and from that point document validation\n * enforces the rest of its `required` list.\n */\nfunction requiredPaths(\n  schema: Record<string, unknown>,\n  materialized: ReadonlySet<string>,\n  prefix = \"\",\n): string[] {\n  const properties = schemaProperties(schema);\n  const required = schemaRequired(schema);\n  // A set, like the Go `map[string]struct{}`, so a name repeated in\n  // `required` yields the path once.\n  const out = new Set<string>();\n\n  for (const name of required) {\n    const path = prefix === \"\" ? name : `${prefix}.${name}`;\n    const property =\n      properties !== undefined && Object.hasOwn(properties, name) ? properties[name] : undefined;\n    if (!isPlainObject(property) || schemaRequired(property).length === 0) {\n      out.add(path);\n      continue;\n    }\n    for (const nested of requiredPaths(property, materialized, path)) out.add(nested);\n  }\n\n  // An optional object is invisible to the loop above, so descend into\n  // the ones a collected field materializes.\n  for (const [name, property] of Object.entries(properties ?? {})) {\n    if (required.includes(name) || !isPlainObject(property)) continue;\n    const path = prefix === \"\" ? name : `${prefix}.${name}`;\n    if (!materialized.has(path)) continue;\n    for (const nested of requiredPaths(property, materialized, path)) out.add(nested);\n  }\n\n  return [...out];\n}\n\n/** Mirrors `xAuthMethodsReader.IsEnabled` in flow_field_resolver_schema.go. */\nfunction authMethodEnabled(schema: Record<string, unknown>, method: string): boolean {\n  if (!isPlainObject(schema[\"x-auth-methods\"])) return false;\n  const entry = schema[\"x-auth-methods\"][method];\n  return isPlainObject(entry) && entry.enabled === true;\n}\n\n/**\n * Resolve one step field to its challenge, mirroring the subset of\n * `SchemaFieldResolver.Resolve` the validator needs. Returns either the\n * challenge (or null for none) or the Go-verbatim resolution error.\n */\nfunction resolveFieldChallenge(\n  field: string,\n  properties: Record<string, unknown>,\n  schema: Record<string, unknown>,\n): { challenge: FieldChallenge | null } | { message: string } {\n  if (field.startsWith(AUTH_METHOD_PREFIX)) {\n    const method = field.slice(AUTH_METHOD_PREFIX.length);\n    // Mirrors deriveAuthMethodType: only password is field-shaped today.\n    if (method !== \"password\") {\n      return { message: `unknown field type for ${q(field)}` };\n    }\n    if (!authMethodEnabled(schema, method)) {\n      // Surfaced by resolveAllStepFields' enabled-method cross-check.\n      return { message: `${q(method)} is not an enabled authentication method` };\n    }\n    return { challenge: \"password\" };\n  }\n\n  // Mirrors walkUserProperty: a nested property is addressed by its\n  // dotted path, descending one `properties` level per segment.\n  const segments = field.split(\".\");\n  let property: unknown;\n  let level: Record<string, unknown> | undefined = properties;\n  for (const [i, segment] of segments.entries()) {\n    // Own properties only: Go indexes a map, where an inherited name like\n    // `toString` is simply absent.\n    property = level !== undefined && Object.hasOwn(level, segment) ? level[segment] : undefined;\n    if (property === undefined) {\n      return { message: `flow field: not a property in the user schema: ${q(field)}` };\n    }\n    const nested = isPlainObject(property) ? schemaProperties(property) : undefined;\n    if (i < segments.length - 1 && nested === undefined) {\n      return { message: `flow field: not a property in the user schema: ${q(field)}` };\n    }\n    level = nested;\n  }\n\n  if (!isPlainObject(property)) {\n    return { challenge: null };\n  }\n\n  // Mirrors schemaReader.JSONType: the nullable idiom `[\"null\", X]`\n  // reduces to X; any other multi-entry union is unsupported. Go reduces\n  // before it tests for a composite, so the union error wins and the\n  // object/array test below reads the reduced type rather than the union.\n  let jsonType = property.type;\n  if (Array.isArray(jsonType)) {\n    const nonNull = jsonType.filter((t) => t !== \"null\");\n    if (nonNull.length > 1) {\n      return { message: `flow field: unsupported JSON type: [${jsonType.map(str).join(\" \")}]` };\n    }\n    // Undefined when every entry was \"null\", matching Go's empty-string case.\n    jsonType = nonNull[0];\n  }\n\n  // Mirrors deriveUserPropertyType: an object or array has no\n  // field-shaped input. A property carrying `properties` is an object,\n  // and one carrying `items` is an array, even when it omits the `type`\n  // keyword.\n  if (\n    jsonType === \"object\" ||\n    jsonType === \"array\" ||\n    schemaProperties(property) !== undefined ||\n    \"items\" in property\n  ) {\n    return {\n      message: `flow field: not a scalar property, name a nested leaf instead: ${q(field)}`,\n    };\n  }\n\n  // Mirrors deriveIdentifierChallenge: the field naming the schema-root\n  // `x-identifier` designation is the identifier (ADR 057); other\n  // properties — unique or not — carry no identifier challenge.\n  const identifier = schema[\"x-identifier\"];\n  if (typeof identifier === \"string\" && identifier !== \"\" && field === identifier) {\n    return { challenge: \"identifier\" };\n  }\n  return { challenge: null };\n}\n\nfunction validateAgainstSchema(def: FlowDef, schema: object): FlowValidationIssue[] {\n  const issues: FlowValidationIssue[] = [];\n  const raw = schema as Record<string, unknown>;\n\n  const properties = schemaProperties(raw);\n  if (properties === undefined) {\n    issues.push(error(\"schema/fields-resolve\", \"user schema has no properties\"));\n    return issues;\n  }\n\n  // Required-fields coverage (validateRequiredUserSchemaFields).\n  // Collecting `address.street` covers the leaf and every object above\n  // it, since an object materializes once one of its children is\n  // collected. The same prefixes are what the schema treats as\n  // materialized, so an optional object's own `required` list comes into\n  // force here too.\n  const covered = new Set<string>();\n  for (const step of def.steps) {\n    for (const field of step.fields) {\n      let path = \"\";\n      for (const node of field.split(\".\")) {\n        path = path === \"\" ? node : `${path}.${node}`;\n        covered.add(path);\n      }\n    }\n  }\n  const missing = requiredPaths(raw, covered)\n    .filter((field) => !covered.has(field))\n    .sort();\n  if (missing.length > 0) {\n    issues.push(\n      error(\n        \"schema/required-fields\",\n        `required fields [${missing.join(\" \")}] in user schema are missing in the flow definition steps`,\n      ),\n    );\n  }\n\n  // Field resolution (resolveAllStepFields), collecting challenges for\n  // the manifest and warning rules below.\n  const challengesByStep = new Map<string, Set<FieldChallenge>>();\n  let resolutionFailed = false;\n  for (const step of def.steps) {\n    const challenges = new Set<FieldChallenge>();\n    for (const field of step.fields) {\n      const resolved = resolveFieldChallenge(field, properties, raw);\n      if (\"message\" in resolved) {\n        issues.push(\n          error(\"schema/fields-resolve\", `step ${q(step.name)}: ${resolved.message}`, step.name),\n        );\n        resolutionFailed = true;\n        continue;\n      }\n      if (resolved.challenge !== null) {\n        challenges.add(resolved.challenge);\n      }\n    }\n    challengesByStep.set(step.name, challenges);\n  }\n\n  // Passkey enablement (validatePasskeyActionsEnabled): passkey is\n  // action-shaped, not field-shaped, so the per-field enabled-method\n  // check above never sees it.\n  if (!authMethodEnabled(raw, \"passkey\")) {\n    for (const step of def.steps) {\n      for (const action of step.actions) {\n        if (action.kind === \"passkey\" || action.kind === \"passkey_register\") {\n          issues.push(\n            error(\n              \"schema/passkey-actions\",\n              `step ${q(step.name)}: action ${q(action.name)} offers passkey but \"passkey\" is not an enabled authentication method`,\n              step.name,\n            ),\n          );\n        }\n      }\n    }\n  }\n\n  if (resolutionFailed) {\n    return issues;\n  }\n\n  // on_success manifests (validateOnSuccessManifests): every kind the\n  // mutation needs must be collected on the step or upstream.\n  const reverse = reverseAdjacency(def);\n  for (const step of def.steps) {\n    if (step.onSuccess === undefined) continue;\n    const manifest = ON_SUCCESS_MANIFESTS[step.onSuccess];\n    if (manifest === undefined) continue;\n    const upstream = new Set<string>();\n    bfs(step.name, reverse, upstream);\n    for (const kind of manifest) {\n      const established = [...upstream].some((name) => challengesByStep.get(name)?.has(kind));\n      if (!established) {\n        issues.push(\n          error(\n            \"schema/on-success-manifest\",\n            `step ${q(step.name)}: on_success ${step.onSuccess} requires ${q(kind)} to be collected upstream`,\n            step.name,\n          ),\n        );\n      }\n    }\n  }\n\n  // CLI-only guidance (no Go counterpart): a password collected on the\n  // login path with no identifier upstream leaves the engine unable to\n  // resolve which user to challenge. Path-sensitive: walk forward from\n  // the login entry and stop at any step that collects an identifier\n  // (every route through it is covered), so an identifier on a\n  // *different* route — e.g. only on the register-purpose chain into a\n  // shared step — cannot mask a login route that never collects one.\n  const loginEntry = def.purposes.get(\"login\");\n  if (loginEntry !== undefined) {\n    const adj = localAdjacency(def);\n    const identifierFree = new Set<string>();\n    const queue = [loginEntry];\n    for (let head = 0; head < queue.length; head += 1) {\n      const name = queue[head];\n      if (name === undefined || identifierFree.has(name)) continue;\n      if (challengesByStep.get(name)?.has(\"identifier\")) continue;\n      identifierFree.add(name);\n      queue.push(...(adj.get(name) ?? []));\n    }\n    for (const step of def.steps) {\n      if (!identifierFree.has(step.name)) continue;\n      if (!challengesByStep.get(step.name)?.has(\"password\")) continue;\n      issues.push({\n        severity: \"warning\",\n        rule: \"warn/password-without-identifier\",\n        message: `step ${q(step.name)} collects ${AUTH_METHOD_PREFIX}password on the login path but no upstream step collects an identifier field — the engine cannot resolve which user to challenge`,\n        step: step.name,\n      });\n    }\n  }\n\n  return issues;\n}\n"],"mappings":";;;;;AA8CA,MAAa,wBAAwB;CACnC,cAAc,EAAE,OAAO,eAAe;CACtC,YAAY,EAAE,OAAO,qBAAqB;CAC1C,OAAO,EAAE,OAAO,gBAAgB;CAChC,OAAO,EAAE,OAAO,gBAAgB;CAChC,QAAQ,EAAE,OAAO,iBAAiB;CAClC,cAAc,EAAE,OAAO,4BAA4B;CACnD,0BAA0B,EAAE,OAAO,mCAAmC;CACtE,yBAAyB,EAAE,OAAO,uBAAuB;CACzD,0BAA0B,EAAE,OAAO,gCAAgC;CACnE,8BAA8B,EAAE,OAAO,6BAA6B;CACpE,oCAAoC,EAAE,OAAO,KAAK;AACpD;;AAKA,MAAa,oBAAoB;CAC/B;CACA;CACA;CACA;AACF;;AAGA,MAAa,gBAAgB;CAC3B;CACA;CACA;CACA;CACA;CACA;AACF;;;;;;;;AASA,MAAa,uBAAmF;CAC9F,OAAO,EAAE,gBAAgB,WAAW;CACpC,UAAU,EAAE,qBAAqB,QAAQ;AAC3C;;AAGA,MAAM,uBAAyD;CAC7D,gBACE;CACF,qBACE;AACJ;;AAGA,MAAM,0CAA0B,IAAI,IAAI;CAAC;CAAU;CAAW;CAAoB;AAAU,CAAC;;;;;;AAO7F,MAAM,wCAAwB,IAAI,IAAI,CACpC,CAAC,QAAQ,iCAAiC,GAC1C,CAAC,OAAO,iBAAiB,CAC3B,CAAC;;AAGD,MAAM,qBAAqB;;AAG3B,MAAM,uBAA4E,EAChF,aAAa,CAAC,cAAc,UAAU,EACxC;;;;;;;;AAWA,SAAgB,uBAAuB,MAAc,QAAwC;CAC3F,MAAM,MAAM,SAAS,IAAI;CACzB,MAAM,SAAgC,CAAC;CAGvC,MAAM,4BAAY,IAAI,IAAY;CAClC,KAAK,MAAM,QAAQ,IAAI,OAAO;EAC5B,IAAI,UAAU,IAAI,KAAK,IAAI,GACzB,OAAO,KAAK,MAAM,cAAc,uBAAuB,EAAE,KAAK,IAAI,KAAK,KAAK,IAAI,CAAC;EAEnF,UAAU,IAAI,KAAK,IAAI;CACzB;CAGA,IAAI,IAAI,SAAS,SAAS,GACxB,OAAO,KAAK,MAAM,cAAc,qBAAqB,CAAC;CAExD,KAAK,MAAM,CAAC,SAAS,cAAc,IAAI,UAAU;EAC/C,IAAI,CAAE,cAAoC,SAAS,OAAO,GAAG;GAC3D,OAAO,KAAK,MAAM,cAAc,IAAI,QAAQ,yBAAyB,CAAC;GACtE;EACF;EACA,IAAI,cAAc,IAAI;GACpB,OAAO,KAAK,MAAM,cAAc,6BAA6B,QAAQ,WAAW,CAAC;GACjF;EACF;EACA,IAAI,CAAC,UAAU,IAAI,SAAS,GAC1B,OAAO,KACL,MACE,cACA,WAAW,EAAE,OAAO,EAAE,oCAAoC,EAAE,SAAS,GACvE,CACF;CAEJ;CAGA,KAAK,MAAM,QAAQ,IAAI,OACrB,OAAO,KAAK,GAAG,aAAa,IAAI,CAAC;CAInC,IAAI,OAAO,WAAW,GAAG;EACvB,OAAO,KAAK,GAAG,cAAc,KAAK,SAAS,CAAC;EAC5C,IAAI,OAAO,WAAW,GACpB,OAAO,KAAK,GAAG,eAAe,GAAG,CAAC;EAEpC,OAAO,KAAK,GAAG,0BAA0B,GAAG,CAAC;CAC/C;CAIA,IAAI,WAAW,KAAA,KAAa,OAAO,WAAW,GAC5C,OAAO,KAAK,GAAG,sBAAsB,KAAK,MAAM,CAAC;CAGnD,OAAO;AACT;AAoBA,SAAS,cAAc,OAAkD;CACvE,OAAO,OAAO,UAAU,YAAY,UAAU,QAAQ,CAAC,MAAM,QAAQ,KAAK;AAC5E;AAEA,SAAS,IAAI,OAAwB;CACnC,OAAO,OAAO,UAAU,WAAW,QAAQ;AAC7C;;;;;;;AAQA,SAAS,SAAS,MAAuB;CACvC,MAAM,MAAM;CAEZ,MAAM,2BAAW,IAAI,IAAoB;CACzC,IAAI,cAAc,IAAI,QAAQ,GAC5B,KAAK,MAAM,CAAC,SAAS,UAAU,OAAO,QAAQ,IAAI,QAAQ,GACxD,SAAS,IAAI,SAAS,IAAI,KAAK,CAAC;CAIpC,MAAM,QAAoB,CAAC;CAC3B,IAAI,MAAM,QAAQ,IAAI,KAAK,GACzB,KAAK,MAAM,SAAS,IAAI,OAAO;EAC7B,IAAI,CAAC,cAAc,KAAK,GAAG;EAC3B,MAAM,8BAAc,IAAI,IAGtB;EACF,IAAI,cAAc,MAAM,WAAW,GACjC,KAAK,MAAM,CAAC,KAAK,MAAM,OAAO,QAAQ,MAAM,WAAW,GAAG;GACxD,MAAM,QAAQ,cAAc,CAAC,IAAI,IAAI,CAAC;GACtC,YAAY,IAAI,KAAK;IACnB,QAAQ,IAAI,MAAM,MAAM;IACxB,QAAQ,OAAO,MAAM,WAAW,WAAW,MAAM,SAAS;IAC1D,SAAS,OAAO,MAAM,YAAY,WAAW,MAAM,UAAU;GAC/D,CAAC;EACH;EAEF,MAAM,KAAK;GACT,MAAM,IAAI,MAAM,IAAI;GACpB,QAAQ,MAAM,QAAQ,MAAM,MAAM,IAAI,MAAM,OAAO,IAAI,GAAG,IAAI,CAAC;GAC/D,SAAS,MAAM,QAAQ,MAAM,OAAO,IAChC,MAAM,QACH,OAAO,aAAa,CAAC,CACrB,KAAK,OAAO;IAAE,MAAM,IAAI,EAAE,IAAI;IAAG,MAAM,IAAI,EAAE,IAAI;GAAE,EAAE,IACxD,CAAC;GACL,WAAW,cAAc,MAAM,KAAK,IAAI,OAAO,KAAK,MAAM,KAAK,CAAC,CAAC,SAAS;GAC1E,kBAAkB,MAAM,QAAQ,MAAM,aAAa,IAAI,MAAM,cAAc,SAAS;GACpF;GACA,WAAW,OAAO,MAAM,eAAe,WAAW,MAAM,aAAa,KAAA;GACrE,UAAU,MAAM,aAAa,KAAA,KAAa,MAAM,aAAa;EAC/D,CAAC;CACH;CAGF,OAAO;EAAE;EAAU;CAAM;AAC3B;;AAGA,SAAS,EAAE,OAAuB;CAChC,OAAO,KAAK,UAAU,KAAK;AAC7B;AAEA,SAAS,MAAM,MAA4B,SAAiB,MAAoC;CAC9F,OAAO,SAAS,KAAA,IACZ;EAAE,UAAU;EAAS;EAAM;CAAQ,IACnC;EAAE,UAAU;EAAS;EAAM;EAAS;CAAK;AAC/C;AAIA,SAAS,aAAa,MAAuC;CAC3D,MAAM,SAAgC,CAAC;CACvC,MAAM,OAAO,KAAK;CAElB,IAAI,KAAK,UAAU;EACjB,IACE,KAAK,OAAO,SAAS,KACrB,KAAK,QAAQ,SAAS,KACtB,KAAK,YAAY,OAAO,KACxB,KAAK,YAAY,KACjB,KAAK,mBAAmB,GAExB,OAAO,KACL,MACE,SACA,QAAQ,EAAE,IAAI,EAAE,+FAChB,IACF,CACF;EAEF,OAAO;CACT;CAEA,MAAM,6BAAa,IAAI,IAAY;CACnC,KAAK,MAAM,SAAS,KAAK,QAAQ;EAC/B,IAAI,UAAU,IAAI;GAChB,OAAO,KAAK,MAAM,SAAS,QAAQ,EAAE,IAAI,EAAE,yBAAyB,IAAI,CAAC;GACzE;EACF;EACA,IAAI,WAAW,IAAI,KAAK,GACtB,OAAO,KAAK,MAAM,SAAS,QAAQ,EAAE,IAAI,EAAE,oBAAoB,EAAE,KAAK,KAAK,IAAI,CAAC;EAElF,WAAW,IAAI,KAAK;CACtB;CAEA,MAAM,8BAAc,IAAI,IAAY;CACpC,KAAK,MAAM,UAAU,KAAK,SAAS;EACjC,IAAI,OAAO,SAAS,IAAI;GACtB,OAAO,KAAK,MAAM,SAAS,QAAQ,EAAE,IAAI,EAAE,0BAA0B,IAAI,CAAC;GAC1E;EACF;EACA,IAAI,YAAY,IAAI,OAAO,IAAI,GAAG;GAChC,OAAO,KAAK,MAAM,SAAS,QAAQ,EAAE,IAAI,EAAE,qBAAqB,EAAE,OAAO,IAAI,KAAK,IAAI,CAAC;GACvF;EACF;EACA,IACE,OAAO,SAAS,MACf,OAAO,SAAS,UAAU,CAAC,wBAAwB,IAAI,OAAO,IAAI,GAEnE,OAAO,KAAK,MAAM,SAAS,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,IAAI,EAAE,eAAe,IAAI,CAAC;OACpF,IAAI,OAAO,SAAS,QACzB,OAAO,KACL,MACE,SACA,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,IAAI,EAAE,kEAC1C,IACF,CACF;EAEF,MAAM,WAAW,sBAAsB,IAAI,OAAO,IAAI;EACtD,IAAI,aAAa,KAAA,GACf,OAAO,KACL,MACE,SACA,QAAQ,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,IAAI,EAAE,mBAAmB,YAClE,IACF,CACF;EAEF,YAAY,IAAI,OAAO,IAAI;CAC7B;CAEA,MAAM,sBAAsB,KAAK,YAAY,IAAI,mBAAmB;CACpE,IACE,KAAK,OAAO,WAAW,KACvB,KAAK,QAAQ,WAAW,KACxB,KAAK,qBAAqB,KAC1B,KAAK,cAAc,KACnB,CAAC,qBAED,OAAO,KACL,MACE,SACA,QAAQ,EAAE,IAAI,EAAE,sGAChB,IACF,CACF;CAGF,IAAI,KAAK,mBAAmB,KAAK,CAAC,qBAChC,OAAO,KACL,MACE,SACA,QAAQ,EAAE,IAAI,EAAE,mEAChB,IACF,CACF;CAGF,KAAK,MAAM,cAAc,aACvB,IAAI,CAAC,KAAK,YAAY,IAAI,UAAU,GAClC,OAAO,KACL,MAAM,SAAS,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,8BAA8B,IAAI,CAC5F;CAIJ,KAAK,MAAM,CAAC,eAAe,MAAM,KAAK,aAAa;EACjD,IACE,CAAC,YAAY,IAAI,aAAa,KAC9B,CAAE,kBAAwC,SAAS,aAAa,GAEhE,OAAO,KACL,MACE,SACA,QAAQ,EAAE,IAAI,EAAE,mBAAmB,EAAE,aAAa,EAAE,0HACpD,IACF,CACF;EAMF,KADE,kBAAkB,uBAAuB,kBAAkB,0BACxC,EAAE,YAAY,QAAQ,EAAE,WAAW,OACtD,OAAO,KACL,MACE,SACA,QAAQ,EAAE,IAAI,EAAE,eAAe,EAAE,aAAa,EAAE,0DAChD,IACF,CACF;CAEJ;CAEA,OAAO;AACT;;AAKA,SAAS,cAAc,GAAuC;CAC5D,OAAO,EAAE,WAAW;AACtB;;AAGA,SAAS,eAAe,KAAqC;CAC3D,MAAM,sBAAM,IAAI,IAAsB;CACtC,KAAK,MAAM,QAAQ,IAAI,OACrB,KAAK,MAAM,KAAK,KAAK,YAAY,OAAO,GACtC,IAAI,cAAc,CAAC,GAAG;EACpB,MAAM,UAAU,IAAI,IAAI,KAAK,IAAI,KAAK,CAAC;EACvC,QAAQ,KAAK,EAAE,MAAM;EACrB,IAAI,IAAI,KAAK,MAAM,OAAO;CAC5B;CAGJ,OAAO;AACT;;AAGA,SAAS,iBAAiB,KAAqC;CAC7D,MAAM,0BAAU,IAAI,IAAsB;CAC1C,KAAK,MAAM,QAAQ,IAAI,OACrB,KAAK,MAAM,KAAK,KAAK,YAAY,OAAO,GACtC,IAAI,cAAc,CAAC,GAAG;EACpB,MAAM,UAAU,QAAQ,IAAI,EAAE,MAAM,KAAK,CAAC;EAC1C,QAAQ,KAAK,KAAK,IAAI;EACtB,QAAQ,IAAI,EAAE,QAAQ,OAAO;CAC/B;CAGJ,OAAO;AACT;;AAGA,SAAS,IAAI,OAAe,KAA4B,SAA4B;CAClF,MAAM,QAAQ,CAAC,KAAK;CACpB,KAAK,IAAI,OAAO,GAAG,OAAO,MAAM,QAAQ,QAAQ,GAAG;EACjD,MAAM,UAAU,MAAM;EACtB,IAAI,YAAY,KAAA,KAAa,QAAQ,IAAI,OAAO,GAAG;EACnD,QAAQ,IAAI,OAAO;EACnB,MAAM,KAAK,GAAI,IAAI,IAAI,OAAO,KAAK,CAAC,CAAE;CACxC;AACF;AAEA,SAAS,cAAc,KAAc,WAA+C;CAClF,MAAM,SAAgC,CAAC;CAEvC,KAAK,MAAM,QAAQ,IAAI,OACrB,KAAK,MAAM,CAAC,KAAK,MAAM,KAAK,aAAa;EACvC,IAAI,EAAE,YAAY,MAAM;GAItB,IAAI,EAAE,WAAW,MACf,OAAO,KACL,MACE,SACA,QAAQ,EAAE,KAAK,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,qGAC3C,KAAK,IACP,CACF;QACK,IAAI,CAAE,cAAoC,SAAS,EAAE,OAAO,GAGjE,OAAO,KACL,MACE,SACA,QAAQ,EAAE,KAAK,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,uBAC3C,KAAK,IACP,CACF;QACK;IACL,MAAM,QAAQ,IAAI,SAAS,IAAI,EAAE,OAAO;IACxC,IAAI,UAAU,KAAA,GACZ,OAAO,KACL,MACE,SACA,QAAQ,EAAE,KAAK,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,kBAAkB,EAAE,EAAE,OAAO,EAAE,yCAC1E,KAAK,IACP,CACF;SACK,IAAI,EAAE,WAAW,OACtB,OAAO,KACL,MACE,SACA,QAAQ,EAAE,KAAK,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,kBAAkB,EAAE,EAAE,OAAO,EAAE,eAAe,EAAE,EAAE,MAAM,EAAE,6CAA6C,EAAE,KAAK,KACzJ,KAAK,IACP,CACF;GAEJ;EACF;EACA,IAAI,cAAc,CAAC,GACb;OAAA,CAAC,UAAU,IAAI,EAAE,MAAM,GACzB,OAAO,KACL,MACE,SACA,QAAQ,EAAE,KAAK,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,wBAAwB,EAAE,EAAE,MAAM,KAC7E,KAAK,IACP,CACF;EAAA,OAEG,IAAI,EAAE,WAAW,YAAY,EAAE,WAAW,SAC/C,OAAO,KACL,MACE,SACA,QAAQ,EAAE,KAAK,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,sBAAsB,EAAE,EAAE,UAAU,EAAE,KACjF,KAAK,IACP,CACF;CAEJ;CAGF,KAAK,MAAM,QAAQ,IAAI,OACrB,IAAI,CAAC,KAAK,YAAY,KAAK,YAAY,SAAS,GAC9C,OAAO,KACL,MACE,SACA,QAAQ,EAAE,KAAK,IAAI,EAAE,mDACrB,KAAK,IACP,CACF;CAIJ,MAAM,4BAAY,IAAI,IAAY;CAClC,MAAM,MAAM,eAAe,GAAG;CAC9B,KAAK,MAAM,aAAa,IAAI,SAAS,OAAO,GAC1C,IAAI,WAAW,KAAK,SAAS;CAE/B,KAAK,MAAM,QAAQ,IAAI,OACrB,IAAI,CAAC,UAAU,IAAI,KAAK,IAAI,GAC1B,OAAO,KACL,MAAM,SAAS,QAAQ,EAAE,KAAK,IAAI,EAAE,uCAAuC,KAAK,IAAI,CACtF;CAIJ,OAAO;AACT;AAEA,SAAS,eAAe,KAAqC;CAC3D,MAAM,SAAgC,CAAC;CACvC,MAAM,UAAU,iBAAiB,GAAG;CAGpC,MAAM,uBAAO,IAAI,IAAY;CAC7B,MAAM,QAAkB,CAAC;CACzB,KAAK,MAAM,QAAQ,IAAI,OAErB,IADgB,KAAK,YAAY,CAAC,GAAG,KAAK,YAAY,OAAO,CAAC,CAAC,CAAC,MAAM,MAAM,CAAC,cAAc,CAAC,CAAC,GAChF;EACX,KAAK,IAAI,KAAK,IAAI;EAClB,MAAM,KAAK,KAAK,IAAI;CACtB;CAEF,KAAK,IAAI,OAAO,GAAG,OAAO,MAAM,QAAQ,QAAQ,GAAG;EACjD,MAAM,UAAU,MAAM;EACtB,IAAI,YAAY,KAAA,GAAW;EAC3B,KAAK,MAAM,QAAQ,QAAQ,IAAI,OAAO,KAAK,CAAC,GAC1C,IAAI,CAAC,KAAK,IAAI,IAAI,GAAG;GACnB,KAAK,IAAI,IAAI;GACb,MAAM,KAAK,IAAI;EACjB;CAEJ;CAEA,KAAK,MAAM,QAAQ,IAAI,OACrB,IAAI,CAAC,KAAK,YAAY,CAAC,KAAK,IAAI,KAAK,IAAI,GACvC,OAAO,KACL,MACE,UACA,QAAQ,EAAE,KAAK,IAAI,EAAE,0DACrB,KAAK,IACP,CACF;CAGJ,OAAO;AACT;AAEA,SAAS,0BAA0B,KAAqC;CACtE,MAAM,SAAgC,CAAC;CACvC,KAAK,MAAM,CAAC,SAAS,kBAAkB,IAAI,UAAU;EACnD,MAAM,cAAc,qBAAqB;EACzC,IAAI,gBAAgB,KAAA,GAAW;EAC/B,MAAM,QAAQ,IAAI,MAAM,MAAM,MAAM,EAAE,SAAS,aAAa;EAC5D,IAAI,UAAU,KAAA,GAAW;EACzB,KAAK,MAAM,CAAC,SAAS,kBAAkB,OAAO,QAAQ,WAAW,GAAG;GAClE,IAAI,CAAC,IAAI,SAAS,IAAI,aAAa,GAAG;GACtC,IAAI,CAAC,MAAM,YAAY,IAAI,OAAO,GAChC,OAAO,KACL,MACE,cACA,QAAQ,EAAE,MAAM,IAAI,EAAE,2BAA2B,EAAE,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,sBAAsB,EAAE,aAAa,EAAE,kCAAkC,qBAAqB,YAClL,MAAM,IACR,CACF;EAEJ;CACF;CACA,OAAO;AACT;AAIA,SAAS,iBAAiB,QAAsE;CAC9F,OAAO,cAAc,OAAO,UAAU,IAAI,OAAO,aAAa,KAAA;AAChE;AAEA,SAAS,eAAe,QAA2C;CACjE,OAAO,MAAM,QAAQ,OAAO,QAAQ,IAAI,OAAO,SAAS,IAAI,GAAG,CAAC,CAAC,QAAQ,MAAM,MAAM,EAAE,IAAI,CAAC;AAC9F;;;;;;;;;;;;AAaA,SAAS,cACP,QACA,cACA,SAAS,IACC;CACV,MAAM,aAAa,iBAAiB,MAAM;CAC1C,MAAM,WAAW,eAAe,MAAM;CAGtC,MAAM,sBAAM,IAAI,IAAY;CAE5B,KAAK,MAAM,QAAQ,UAAU;EAC3B,MAAM,OAAO,WAAW,KAAK,OAAO,GAAG,OAAO,GAAG;EACjD,MAAM,WACJ,eAAe,KAAA,KAAa,OAAO,OAAO,YAAY,IAAI,IAAI,WAAW,QAAQ,KAAA;EACnF,IAAI,CAAC,cAAc,QAAQ,KAAK,eAAe,QAAQ,CAAC,CAAC,WAAW,GAAG;GACrE,IAAI,IAAI,IAAI;GACZ;EACF;EACA,KAAK,MAAM,UAAU,cAAc,UAAU,cAAc,IAAI,GAAG,IAAI,IAAI,MAAM;CAClF;CAIA,KAAK,MAAM,CAAC,MAAM,aAAa,OAAO,QAAQ,cAAc,CAAC,CAAC,GAAG;EAC/D,IAAI,SAAS,SAAS,IAAI,KAAK,CAAC,cAAc,QAAQ,GAAG;EACzD,MAAM,OAAO,WAAW,KAAK,OAAO,GAAG,OAAO,GAAG;EACjD,IAAI,CAAC,aAAa,IAAI,IAAI,GAAG;EAC7B,KAAK,MAAM,UAAU,cAAc,UAAU,cAAc,IAAI,GAAG,IAAI,IAAI,MAAM;CAClF;CAEA,OAAO,CAAC,GAAG,GAAG;AAChB;;AAGA,SAAS,kBAAkB,QAAiC,QAAyB;CACnF,IAAI,CAAC,cAAc,OAAO,iBAAiB,GAAG,OAAO;CACrD,MAAM,QAAQ,OAAO,iBAAiB,CAAC;CACvC,OAAO,cAAc,KAAK,KAAK,MAAM,YAAY;AACnD;;;;;;AAOA,SAAS,sBACP,OACA,YACA,QAC4D;CAC5D,IAAI,MAAM,WAAW,kBAAkB,GAAG;EACxC,MAAM,SAAS,MAAM,MAAM,EAAyB;EAEpD,IAAI,WAAW,YACb,OAAO,EAAE,SAAS,0BAA0B,EAAE,KAAK,IAAI;EAEzD,IAAI,CAAC,kBAAkB,QAAQ,MAAM,GAEnC,OAAO,EAAE,SAAS,GAAG,EAAE,MAAM,EAAE,0CAA0C;EAE3E,OAAO,EAAE,WAAW,WAAW;CACjC;CAIA,MAAM,WAAW,MAAM,MAAM,GAAG;CAChC,IAAI;CACJ,IAAI,QAA6C;CACjD,KAAK,MAAM,CAAC,GAAG,YAAY,SAAS,QAAQ,GAAG;EAG7C,WAAW,UAAU,KAAA,KAAa,OAAO,OAAO,OAAO,OAAO,IAAI,MAAM,WAAW,KAAA;EACnF,IAAI,aAAa,KAAA,GACf,OAAO,EAAE,SAAS,kDAAkD,EAAE,KAAK,IAAI;EAEjF,MAAM,SAAS,cAAc,QAAQ,IAAI,iBAAiB,QAAQ,IAAI,KAAA;EACtE,IAAI,IAAI,SAAS,SAAS,KAAK,WAAW,KAAA,GACxC,OAAO,EAAE,SAAS,kDAAkD,EAAE,KAAK,IAAI;EAEjF,QAAQ;CACV;CAEA,IAAI,CAAC,cAAc,QAAQ,GACzB,OAAO,EAAE,WAAW,KAAK;CAO3B,IAAI,WAAW,SAAS;CACxB,IAAI,MAAM,QAAQ,QAAQ,GAAG;EAC3B,MAAM,UAAU,SAAS,QAAQ,MAAM,MAAM,MAAM;EACnD,IAAI,QAAQ,SAAS,GACnB,OAAO,EAAE,SAAS,uCAAuC,SAAS,IAAI,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,GAAG;EAG1F,WAAW,QAAQ;CACrB;CAMA,IACE,aAAa,YACb,aAAa,WACb,iBAAiB,QAAQ,MAAM,KAAA,KAC/B,WAAW,UAEX,OAAO,EACL,SAAS,kEAAkE,EAAE,KAAK,IACpF;CAMF,MAAM,aAAa,OAAO;CAC1B,IAAI,OAAO,eAAe,YAAY,eAAe,MAAM,UAAU,YACnE,OAAO,EAAE,WAAW,aAAa;CAEnC,OAAO,EAAE,WAAW,KAAK;AAC3B;AAEA,SAAS,sBAAsB,KAAc,QAAuC;CAClF,MAAM,SAAgC,CAAC;CACvC,MAAM,MAAM;CAEZ,MAAM,aAAa,iBAAiB,GAAG;CACvC,IAAI,eAAe,KAAA,GAAW;EAC5B,OAAO,KAAK,MAAM,yBAAyB,+BAA+B,CAAC;EAC3E,OAAO;CACT;CAQA,MAAM,0BAAU,IAAI,IAAY;CAChC,KAAK,MAAM,QAAQ,IAAI,OACrB,KAAK,MAAM,SAAS,KAAK,QAAQ;EAC/B,IAAI,OAAO;EACX,KAAK,MAAM,QAAQ,MAAM,MAAM,GAAG,GAAG;GACnC,OAAO,SAAS,KAAK,OAAO,GAAG,KAAK,GAAG;GACvC,QAAQ,IAAI,IAAI;EAClB;CACF;CAEF,MAAM,UAAU,cAAc,KAAK,OAAO,CAAC,CACxC,QAAQ,UAAU,CAAC,QAAQ,IAAI,KAAK,CAAC,CAAC,CACtC,KAAK;CACR,IAAI,QAAQ,SAAS,GACnB,OAAO,KACL,MACE,0BACA,oBAAoB,QAAQ,KAAK,GAAG,EAAE,0DACxC,CACF;CAKF,MAAM,mCAAmB,IAAI,IAAiC;CAC9D,IAAI,mBAAmB;CACvB,KAAK,MAAM,QAAQ,IAAI,OAAO;EAC5B,MAAM,6BAAa,IAAI,IAAoB;EAC3C,KAAK,MAAM,SAAS,KAAK,QAAQ;GAC/B,MAAM,WAAW,sBAAsB,OAAO,YAAY,GAAG;GAC7D,IAAI,aAAa,UAAU;IACzB,OAAO,KACL,MAAM,yBAAyB,QAAQ,EAAE,KAAK,IAAI,EAAE,IAAI,SAAS,WAAW,KAAK,IAAI,CACvF;IACA,mBAAmB;IACnB;GACF;GACA,IAAI,SAAS,cAAc,MACzB,WAAW,IAAI,SAAS,SAAS;EAErC;EACA,iBAAiB,IAAI,KAAK,MAAM,UAAU;CAC5C;CAKA,IAAI,CAAC,kBAAkB,KAAK,SAAS,GAC9B;OAAA,MAAM,QAAQ,IAAI,OACrB,KAAK,MAAM,UAAU,KAAK,SACxB,IAAI,OAAO,SAAS,aAAa,OAAO,SAAS,oBAC/C,OAAO,KACL,MACE,0BACA,QAAQ,EAAE,KAAK,IAAI,EAAE,WAAW,EAAE,OAAO,IAAI,EAAE,wEAC/C,KAAK,IACP,CACF;CAAA;CAMR,IAAI,kBACF,OAAO;CAKT,MAAM,UAAU,iBAAiB,GAAG;CACpC,KAAK,MAAM,QAAQ,IAAI,OAAO;EAC5B,IAAI,KAAK,cAAc,KAAA,GAAW;EAClC,MAAM,WAAW,qBAAqB,KAAK;EAC3C,IAAI,aAAa,KAAA,GAAW;EAC5B,MAAM,2BAAW,IAAI,IAAY;EACjC,IAAI,KAAK,MAAM,SAAS,QAAQ;EAChC,KAAK,MAAM,QAAQ,UAEjB,IAAI,CADgB,CAAC,GAAG,QAAQ,CAAC,CAAC,MAAM,SAAS,iBAAiB,IAAI,IAAI,CAAC,EAAE,IAAI,IAAI,CACtE,GACb,OAAO,KACL,MACE,8BACA,QAAQ,EAAE,KAAK,IAAI,EAAE,eAAe,KAAK,UAAU,YAAY,EAAE,IAAI,EAAE,4BACvE,KAAK,IACP,CACF;CAGN;CASA,MAAM,aAAa,IAAI,SAAS,IAAI,OAAO;CAC3C,IAAI,eAAe,KAAA,GAAW;EAC5B,MAAM,MAAM,eAAe,GAAG;EAC9B,MAAM,iCAAiB,IAAI,IAAY;EACvC,MAAM,QAAQ,CAAC,UAAU;EACzB,KAAK,IAAI,OAAO,GAAG,OAAO,MAAM,QAAQ,QAAQ,GAAG;GACjD,MAAM,OAAO,MAAM;GACnB,IAAI,SAAS,KAAA,KAAa,eAAe,IAAI,IAAI,GAAG;GACpD,IAAI,iBAAiB,IAAI,IAAI,CAAC,EAAE,IAAI,YAAY,GAAG;GACnD,eAAe,IAAI,IAAI;GACvB,MAAM,KAAK,GAAI,IAAI,IAAI,IAAI,KAAK,CAAC,CAAE;EACrC;EACA,KAAK,MAAM,QAAQ,IAAI,OAAO;GAC5B,IAAI,CAAC,eAAe,IAAI,KAAK,IAAI,GAAG;GACpC,IAAI,CAAC,iBAAiB,IAAI,KAAK,IAAI,CAAC,EAAE,IAAI,UAAU,GAAG;GACvD,OAAO,KAAK;IACV,UAAU;IACV,MAAM;IACN,SAAS,QAAQ,EAAE,KAAK,IAAI,EAAE,YAAY,mBAAmB;IAC7D,MAAM,KAAK;GACb,CAAC;EACH;CACF;CAEA,OAAO;AACT"}

package/meta-schemas/branding.json

@@ -16,7 +16,7 @@
         "centered",
         "split"
       ],
-      "description": "Degrade preset (`centered` or `split`) the bundled default template\nbranches on, and the fallback when a custom template fails validation.\nNot the complete design catalog: all named designs (`centered`, `split`,\n`split-right`, `hero`, `minimal`) ship as templates and map onto one of\nthese two values; switch designs with\n`zitadel branding eject --design <name>` instead of editing this field.\nEjected templates may ignore it. Selects a template rather than restyling\nthe widget, so it is not an appearance control.\n",
+      "description": "Layout preset the revision declares, `centered` or `split`. It is\nvalidated on publish and handed to the template as `branding.layout`.\nThe bundled default template does not read it, so changing it alone\nchanges nothing on screen, and it is not an appearance control.\nNot a design catalog: the ejectable designs (`centered`, `minimal`)\nship as templates and both carry `centered`; switch designs with\n`zitadel branding eject --design <name>` instead of editing this field.\n`split` is carried by revisions published from the earlier split\ndesigns.\n",
       "default": "centered"
     },
     "liquid_template": {
@@ -43,7 +43,7 @@
       "type": "string",
       "format": "uri",
       "maxLength": 2048,
-      "description": "Hero/background image URL, used by the split layout.",
+      "description": "Hero image URL, for templates that reference `branding.hero_url`. The\nbundled default template does not use it.\n",
       "pattern": "^([hH][tT][tT][pP][sS]://(?:\\[[0-9A-Fa-f:.]+\\]|[^/:?#@]+)(?::0*(?:[0-9]|[1-9][0-9]{1,3}|[1-5][0-9]{4}|6[0-4][0-9]{3}|65[0-4][0-9]{2}|655[0-2][0-9]|6553[0-5]))?(?:[/?#]|$)|[hH][tT][tT][pP]://([lL][oO][cC][aA][lL][hH][oO][sS][tT]|127\\.(?:(?:25[0-5]|2[0-4][0-9]|1[0-9]{2}|[1-9]?[0-9])\\.){2}(?:25[0-5]|2[0-4][0-9]|1[0-9]{2}|[1-9]?[0-9])|\\[::1\\])(?::0*(?:[0-9]|[1-9][0-9]{1,3}|[1-5][0-9]{4}|6[0-4][0-9]{3}|65[0-4][0-9]{2}|655[0-2][0-9]|6553[0-5]))?([/?#]|$))"
     },
     "theme": {
@@ -74,7 +74,7 @@
     "BrandingTheme": {
       "type": "object",
       "additionalProperties": false,
-      "description": "The theme sides this project publishes, and which of them may run.\n\nPublishing one side makes it the only theme that resolves, even under `auto`\nor an operating-system preference for the other. Publishing both lets `auto`\nfollow the operating system, each side using its own logo and palette.\n\nThe element-level `theme` property overrides `mode`, but cannot select a\nside the project never published.\n",
+      "description": "The theme sides this project publishes, and which of them may run.\n\nPublishing one side makes it the only theme that resolves, even under `auto`\nor an operating-system preference for the other. Publishing both lets `auto`\nfollow the operating system, each side using its own logo and palette.\n\nThe element-level `theme` property overrides `mode`. When one side is\npublished it cannot select the other. Publishing neither side leaves\n`mode`, the `theme` property and the operating system to pick one, painted\nwith the maintained defaults.\n",
       "properties": {
         "mode": {
           "type": "string",
@@ -99,7 +99,7 @@
     "BrandingThemeSide": {
       "type": "object",
       "additionalProperties": false,
-      "description": "One complete theme side. Light and dark are independent surfaces — neither\ninherits from the other, and a side that is absent is never used, whatever\n`mode` or the operating system asks for.\n",
+      "description": "One complete theme side. Light and dark are independent surfaces — neither\ninherits from the other. When a revision publishes one side, the absent\nside is never used, whatever `mode` or the operating system asks for. When\nit publishes neither, either side can resolve and paints the maintained\ndefaults.\n",
       "properties": {
         "logo_url": {
           "type": "string",
@@ -214,7 +214,7 @@
           "type": "string",
           "format": "uri",
           "maxLength": 2048,
-          "description": "Stylesheet that loads `font_family` — a Google Fonts CSS URL, for\nexample. Must be https; unlike the logo and hero assets there is no\nloopback carve-out. Rejected without `font_family`, which would name\nnothing to paint with.\n\nStored but not applied to an embedded widget: the embedding page loads\nthe face, and Zitadel does not inject a stylesheet into a document it\ndoes not own.\n",
+          "description": "Stylesheet that loads `font_family` — a Google Fonts CSS URL, for\nexample. Must be https; unlike the logo and hero assets there is no\nloopback carve-out. Rejected without `font_family`, which would name\nnothing to paint with.\n\nLoaded only when the login component runs as `variant=\"page\"`, the\nfull-page login. In the default `variant=\"widget\"` it is stored but not\nloaded: the component injects no stylesheet, and the embedding page\nloads the face.\n",
           "pattern": "^[hH][tT][tT][pP][sS]://(?:\\[[0-9A-Fa-f:.]+\\]|[^/:?#@]+)(?::0*(?:[0-9]|[1-9][0-9]{1,3}|[1-5][0-9]{4}|6[0-4][0-9]{3}|65[0-4][0-9]{2}|655[0-2][0-9]|6553[0-5]))?(?:[/?#]|$)",
           "examples": [
             "https://fonts.googleapis.com/css2?family=Inter&display=swap"

package/meta-schemas/flow-definition.json

@@ -199,7 +199,7 @@
                   "transitions": {
                     "not": {
                       "required": [
-                        "callback"
+                        "sso_authenticated"
                       ]
                     }
                   }
@@ -286,11 +286,84 @@
               "transitions": {
                 "not": {
                   "required": [
-                    "callback"
+                    "sso_authenticated"
                   ]
                 }
               }
             }
+          },
+          {
+            "required": [
+              "transitions"
+            ],
+            "properties": {
+              "transitions": {
+                "anyOf": [
+                  {
+                    "required": [
+                      "sso_authenticated"
+                    ],
+                    "properties": {
+                      "sso_authenticated": {
+                        "anyOf": [
+                          {
+                            "required": [
+                              "purpose"
+                            ],
+                            "properties": {
+                              "purpose": {
+                                "type": "string"
+                              }
+                            }
+                          },
+                          {
+                            "required": [
+                              "action"
+                            ],
+                            "properties": {
+                              "action": {
+                                "type": "string"
+                              }
+                            }
+                          }
+                        ]
+                      }
+                    }
+                  },
+                  {
+                    "required": [
+                      "sso_user_not_found"
+                    ],
+                    "properties": {
+                      "sso_user_not_found": {
+                        "anyOf": [
+                          {
+                            "required": [
+                              "purpose"
+                            ],
+                            "properties": {
+                              "purpose": {
+                                "type": "string"
+                              }
+                            }
+                          },
+                          {
+                            "required": [
+                              "action"
+                            ],
+                            "properties": {
+                              "action": {
+                                "type": "string"
+                              }
+                            }
+                          }
+                        ]
+                      }
+                    }
+                  }
+                ]
+              }
+            }
           }
         ]
       },
@@ -358,8 +431,9 @@
         },
         "sso_providers": {
           "type": "array",
-          "description": "Slugs of the identity provider connections this step offers, in display\norder. Each names the `slug` of a connection under `.zitadel/idps/`; the\nconnection carries the display name and template, so a rename there\nreaches every step without editing the flow. The rendered step the client\nreceives carries the resolved `{id, name, template}` objects instead.\n",
+          "description": "Slugs of the identity provider connections this step offers, in display\norder. Each names the `slug` of a connection under `.zitadel/idps/`; the\nconnection carries the display name and template, so a rename there\nreaches every step without editing the flow. The rendered step the client\nreceives carries the resolved `{id, name, template}` objects instead. A\nstep offers at most 20 providers.\n",
           "uniqueItems": true,
+          "maxItems": 20,
           "items": {
             "type": "string",
             "pattern": "^[a-z0-9][a-z0-9_-]*$",
@@ -375,9 +449,10 @@
         "on_success": {
           "type": "string",
           "enum": [
-            "create_user"
+            "create_user",
+            "create_user_with_sso"
           ],
-          "description": "Server-side mutation to execute when this step completes successfully.\nRuns after field validation passes, before the transition fires.\n\n- create_user: creates the user record (registration flows)\n",
+          "description": "Server-side mutation to execute when this step completes successfully.\nRuns after field validation passes, before the transition fires.\n\n- create_user: creates the user record (registration flows)\n- create_user_with_sso: creates the user record from the identity an\n  external provider returned, linking it to that identity. Accepted by\n  the API so an SSO flow can be authored and stored; the engine handler\n  is not wired yet, and a step reaching it fails with a flow integrity\n  error rather than creating anything.\n",
           "examples": [
             "create_user"
           ]
@@ -395,7 +470,7 @@
         },
         "transitions": {
           "type": "object",
-          "description": "Maps action/outcome names to their transition descriptor.\n\nKeys match action names from the `actions` array. Additional keys\ncome from implicit outcomes based on schema annotations\n(e.g. `user_not_found` from `x-unique` fields) and engine\nevents (e.g. `sso`, `callback`).\n",
+          "description": "Maps action/outcome names to their transition descriptor.\n\nKeys match action names from the `actions` array. Additional keys\ncome from implicit outcomes based on schema annotations\n(e.g. `user_not_found` from `x-unique` fields) and engine\nevents (e.g. `sso_authenticated`, `sso_user_not_found`).\n",
           "additionalProperties": {
             "type": "object",
             "required": [

package/meta-schemas/idp-connection.json

@@ -109,7 +109,7 @@
     "oidc": {
       "type": "object",
       "additionalProperties": false,
-      "description": "OIDC connection details. Endpoints come from discovery, but any may be supplied to override it, or to serve a provider that exposes no .well-known document.",
+      "description": "OIDC connection details. Endpoints come from the issuer's discovery document. A provider that exposes no .well-known document names them all instead: authorization_endpoint, token_endpoint, jwks_uri, and userinfo_endpoint unless id_token_mapping is set. Setting some but not all is rejected.",
       "required": [
         "issuer",
         "client_id",
@@ -121,13 +121,13 @@
           "type": "string",
           "format": "uri",
           "pattern": "^(https://[^\\s/?#]+|http://(localhost|127\\.0\\.0\\.1)(:[0-9]+)?)(/[^\\s?#]*)?$",
-          "description": "Discovery base. Endpoints are resolved from its .well-known document unless overridden below."
+          "description": "Discovery base. Endpoints are resolved from its .well-known document unless the connection names them all."
         },
         "jwks_uri": {
           "type": "string",
           "format": "uri",
           "pattern": "^(https://[^\\s/?#]+|http://(localhost|127\\.0\\.0\\.1)(:[0-9]+)?)([/?][^\\s#]*)?$",
-          "description": "Overrides the JWKS endpoint from discovery. Required in practice when the provider exposes no .well-known document, since ID tokens cannot otherwise be validated."
+          "description": "JWKS endpoint, for a provider that exposes no .well-known document. Set together with the other endpoints."
         },
         "id_token_mapping": {
           "type": "boolean",
@@ -138,19 +138,19 @@
           "type": "string",
           "format": "uri",
           "pattern": "^(https://[^\\s/?#]+|http://(localhost|127\\.0\\.0\\.1)(:[0-9]+)?)([/?][^\\s#]*)?$",
-          "description": "Overrides discovery."
+          "description": "For a provider that exposes no .well-known document. Set together with the other endpoints."
         },
         "token_endpoint": {
           "type": "string",
           "format": "uri",
           "pattern": "^(https://[^\\s/?#]+|http://(localhost|127\\.0\\.0\\.1)(:[0-9]+)?)([/?][^\\s#]*)?$",
-          "description": "Overrides discovery."
+          "description": "For a provider that exposes no .well-known document. Set together with the other endpoints."
         },
         "userinfo_endpoint": {
           "type": "string",
           "format": "uri",
           "pattern": "^(https://[^\\s/?#]+|http://(localhost|127\\.0\\.0\\.1)(:[0-9]+)?)([/?][^\\s#]*)?$",
-          "description": "Overrides discovery."
+          "description": "For a provider that exposes no .well-known document. Set together with the other endpoints; not needed when id_token_mapping is set."
         },
         "client_id": {
           "type": "string",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@zitadel/config",
-  "version": "1.0.0-alpha.23",
+  "version": "1.0.0-alpha.25",
   "description": "Versioned Zitadel local config schemas and defaults",
   "homepage": "https://github.com/zitadel/nextgen/tree/main/packages/config#readme",
   "bugs": {
@@ -33,6 +33,11 @@
       "types": "./dist/defaults.d.mts",
       "import": "./dist/defaults.mjs"
     },
+    "./idp": {
+      "@zitadel/source": "./src/idp/index.ts",
+      "types": "./dist/idp/index.d.mts",
+      "import": "./dist/idp/index.mjs"
+    },
     "./schemas": {
       "@zitadel/source": "./src/schemas.ts",
       "types": "./dist/schemas.d.mts",
@@ -84,20 +89,25 @@
     "culori": "^4.0.2",
     "liquidjs": "^10.27.2",
     "zod": "^4.3.6",
-    "@zitadel/api": "1.0.0-alpha.23"
+    "@zitadel/api": "1.0.0-alpha.25"
   },
   "devDependencies": {
     "@types/culori": "^4.0.1",
+    "@types/node": "^25.6.0",
     "ajv": "^8.20.0",
-    "tsdown": "^0.21.10",
+    "tsdown": "^0.23.0",
     "tslib": "^2.8.1",
-    "vitest": "^4.1.9"
+    "typescript": "^6.0.3",
+    "vitest": "^4.1.11"
   },
   "scripts": {
     "sync-schemas": "node scripts/sync-meta-schemas.mjs",
-    "build": "node scripts/sync-meta-schemas.mjs && tsdown",
-    "typecheck": "node scripts/sync-meta-schemas.mjs && tsc --build tsconfig.json",
-    "test": "node scripts/sync-meta-schemas.mjs && vitest run --passWithNoTests",
-    "lint": "oxlint ."
+    "prebuild": "pnpm run sync-schemas",
+    "build": "tsdown",
+    "pretypecheck": "pnpm run sync-schemas",
+    "typecheck": "tsc --noEmit -p tsconfig.lib.json && tsc --noEmit -p tsconfig.spec.json",
+    "pretest": "pnpm run sync-schemas",
+    "test": "vitest run",
+    "test:all": "pnpm run test"
   }
 }