@cross-deck/web 1.5.1 → 1.5.3

package/dist/index.mjs

@@ -64,7 +64,7 @@ function typeMapForStatus(status) {
 }
 
 // src/_version.ts
-var SDK_VERSION = "1.4.2";
+var SDK_VERSION = "1.5.3";
 var SDK_NAME = "@cross-deck/web";
 
 // src/http.ts
@@ -127,7 +127,14 @@ var HttpClient = class {
       if (timeoutHandle !== null) clearTimeout(timeoutHandle);
     }
     if (!response.ok) {
-      throw await crossdeckErrorFromResponse(response);
+      const parsed = await crossdeckErrorFromResponse(response);
+      if (this.config.onErrorParsed) {
+        try {
+          this.config.onErrorParsed(parsed);
+        } catch {
+        }
+      }
+      throw parsed;
     }
     if (response.status === 204) return void 0;
     try {
@@ -2363,6 +2370,789 @@ var BreadcrumbBuffer = class {
   }
 };
 
+// src/_diagnostic-telemetry.ts
+var DIAGNOSTIC_TELEMETRY_ENDPOINT = "https://api.cross-deck.com/v1/sdk/diagnostic";
+var DIAGNOSTIC_TELEMETRY_PUBLISHABLE_KEY = "cd_pub_live_9490e7aa029c432abf";
+function isDiagnosticTelemetryEnabled() {
+  return !DIAGNOSTIC_TELEMETRY_PUBLISHABLE_KEY.startsWith(
+    "cd_pub_RELIABILITY_PLACEHOLDER"
+  );
+}
+var DIAGNOSTIC_TELEMETRY_ALLOWED_KEYS = /* @__PURE__ */ new Set([
+  "contract_id",
+  "sdk_version",
+  "sdk_platform",
+  "failure_reason",
+  "run_context",
+  "run_id",
+  "test_file",
+  "test_name",
+  "device_class",
+  // verification_phase is set by the runtime contract verifier layer
+  // (sdks/web/src/_contract-verifiers.ts) — values `boot` / `hot_path`.
+  // Absent for failures emitted by external test harnesses
+  // (XCTestObservation, Vitest hooks, JUnit watchers) which carry
+  // test_file + test_name instead. See contracts/diagnostics/
+  // contract-failed-payload-schema-lock.json.
+  "verification_phase"
+]);
+function filterDiagnosticPayload(payload) {
+  const filtered = {};
+  for (const [k, v] of Object.entries(payload)) {
+    if (DIAGNOSTIC_TELEMETRY_ALLOWED_KEYS.has(k) && typeof v === "string") {
+      filtered[k] = v;
+    }
+  }
+  return filtered;
+}
+function sendDiagnosticTelemetry(payload) {
+  if (!isDiagnosticTelemetryEnabled()) return;
+  const filtered = filterDiagnosticPayload(payload);
+  if (Object.keys(filtered).length === 0) return;
+  const body = JSON.stringify(filtered);
+  const f = globalThis.fetch;
+  if (typeof f !== "function") return;
+  try {
+    void f(DIAGNOSTIC_TELEMETRY_ENDPOINT, {
+      method: "POST",
+      headers: {
+        "Content-Type": "application/json",
+        Authorization: `Bearer ${DIAGNOSTIC_TELEMETRY_PUBLISHABLE_KEY}`,
+        "Crossdeck-Sdk-Version": `${SDK_NAME}@${SDK_VERSION}`
+      },
+      body,
+      keepalive: true,
+      // No credentials, no cache, no referrer — the reliability
+      // endpoint is the same origin only in tests. In production the
+      // browser never carries anything beyond the request body and
+      // the Authorization header we set explicitly.
+      credentials: "omit",
+      cache: "no-store",
+      referrerPolicy: "no-referrer"
+    }).catch(() => {
+    });
+  } catch {
+  }
+}
+
+// src/_contract-verifiers.ts
+function buildVerifierContext(opts) {
+  return {
+    sdkVersion: `${SDK_NAME}@${SDK_VERSION}`,
+    runId: `cd_verify_${randomHex(8)}`,
+    runContext: opts.runContext ?? "customer-app",
+    logVerifierResults: opts.logVerifierResults,
+    disableContractAssertions: opts.disableContractAssertions,
+    console,
+    emitTelemetry: sendDiagnosticTelemetry
+  };
+}
+var VerifierReporter = class {
+  constructor(ctx) {
+    this.ctx = ctx;
+    this.reentrancyDepth = 0;
+  }
+  /**
+   * Report a verifier result. Pass `operation` for hot-path results
+   * to render the prefix as `[crossdeck.identify]` etc.; omit for
+   * boot results which render as `[crossdeck]`.
+   */
+  report(result, phase, operation) {
+    if (this.ctx.disableContractAssertions) return;
+    if (result.ok) {
+      this.reportPass(result, phase, operation);
+    } else {
+      this.reportFail(result, phase, operation);
+    }
+  }
+  reportPass(result, phase, operation) {
+    if (!this.ctx.logVerifierResults) return;
+    const line = formatPassLine(result, operation);
+    if (phase === "boot") {
+      this.ctx.console.info(line);
+    } else {
+      this.ctx.console.debug(line);
+    }
+  }
+  reportFail(result, phase, operation) {
+    this.ctx.console.warn(formatFailLine(result, operation));
+    if (this.reentrancyDepth > 0) return;
+    this.reentrancyDepth += 1;
+    try {
+      this.ctx.emitTelemetry({
+        contract_id: result.contractId,
+        sdk_version: this.ctx.sdkVersion,
+        sdk_platform: "web",
+        failure_reason: truncate(result.failureReason, 128),
+        run_context: this.ctx.runContext,
+        run_id: this.ctx.runId,
+        verification_phase: phase
+      });
+    } finally {
+      this.reentrancyDepth -= 1;
+    }
+  }
+};
+function formatPassLine(r, operation) {
+  const prefix = operation ? `[crossdeck.${operation}]` : "[crossdeck]";
+  return `${prefix} \u2713 ${r.contractId} \u2014 ${r.evidence} (${r.durationMs}ms)`;
+}
+function formatFailLine(r, operation) {
+  const prefix = operation ? `[crossdeck.${operation}]` : "[crossdeck]";
+  return `${prefix} \u2717 ${r.contractId} \u2014 ${r.failureReason} (${r.durationMs}ms)`;
+}
+var VERIFIER_PER_USER_CACHE_ISOLATION = {
+  contractId: "per-user-cache-isolation",
+  bootTest() {
+    const t0 = nowMs();
+    try {
+      const storage = new MemoryStorage2();
+      const cache = new EntitlementCache(storage, "_verifier");
+      cache.setUserKey("user_A");
+      cache.setFromList([
+        {
+          object: "entitlement",
+          key: "pro",
+          isActive: true,
+          validUntil: null,
+          source: {
+            rail: "stripe",
+            productId: "p_verifier",
+            subscriptionId: "s_verifier"
+          },
+          updatedAt: Date.now()
+        }
+      ]);
+      cache.setUserKey("user_B");
+      const inMemoryB = cache.list();
+      if (inMemoryB.length !== 0) {
+        return fail(
+          "per-user-cache-isolation",
+          "in-memory snapshot still carried user_A's entitlements after rotation",
+          nowMs() - t0
+        );
+      }
+      const suffixA = EntitlementCache.suffixForUserId("user_A");
+      const suffixB = EntitlementCache.suffixForUserId("user_B");
+      if (suffixA === suffixB) {
+        return fail(
+          "per-user-cache-isolation",
+          "suffixes for user_A and user_B collided",
+          nowMs() - t0
+        );
+      }
+      const storageA = storage.getItem(`_verifier:${suffixA}`);
+      const storageB = storage.getItem(`_verifier:${suffixB}`);
+      if (!storageA) {
+        return fail(
+          "per-user-cache-isolation",
+          "user_A's storage slot was wiped on rotation (expected isolation, not erasure)",
+          nowMs() - t0
+        );
+      }
+      if (storageB) {
+        return fail(
+          "per-user-cache-isolation",
+          "user_B's storage slot already contained data before any write",
+          nowMs() - t0
+        );
+      }
+      return pass(
+        "per-user-cache-isolation",
+        `slot rotated A:${shortSuffix(suffixA)} \u2192 B:${shortSuffix(suffixB)} (isolated, physically separate)`,
+        nowMs() - t0
+      );
+    } catch (err) {
+      return fail(
+        "per-user-cache-isolation",
+        `boot test threw: ${err.message?.slice(0, 80) ?? "unknown error"}`,
+        nowMs() - t0
+      );
+    }
+  },
+  hooks: {
+    onIdentify(obs) {
+      const t0 = nowMs();
+      const priorSuffix = EntitlementCache.suffixForUserId(obs.priorUserId);
+      const nextSuffix = EntitlementCache.suffixForUserId(obs.nextUserId);
+      if (priorSuffix !== nextSuffix) {
+        if (obs.cache.list().length !== 0) {
+          return fail(
+            "per-user-cache-isolation",
+            "in-memory snapshot still held entitlements after slot rotation",
+            nowMs() - t0
+          );
+        }
+        return pass(
+          "per-user-cache-isolation",
+          `slot rotated ${shortSuffix(priorSuffix)} \u2192 ${shortSuffix(nextSuffix)}`,
+          nowMs() - t0
+        );
+      }
+      return pass(
+        "per-user-cache-isolation",
+        `same-id re-identify (suffix ${shortSuffix(nextSuffix)}); cleared + rehydrated per contract`,
+        nowMs() - t0
+      );
+    }
+  }
+};
+var CANONICAL_APPLE_JWS = "eyJ.jws.sig";
+var CANONICAL_APPLE_IDEMPOTENCY_KEY = "a66b1640-efaf-bb4d-1261-6650033bf111";
+var VERIFIER_IDEMPOTENCY_KEY_DETERMINISTIC = {
+  contractId: "idempotency-key-deterministic",
+  bootTest() {
+    const t0 = nowMs();
+    try {
+      const derived = deriveIdempotencyKeyForPurchase({
+        rail: "apple",
+        signedTransactionInfo: CANONICAL_APPLE_JWS
+      });
+      if (derived !== CANONICAL_APPLE_IDEMPOTENCY_KEY) {
+        return fail(
+          "idempotency-key-deterministic",
+          `canonical apple JWS derived ${derived} (expected ${CANONICAL_APPLE_IDEMPOTENCY_KEY})`,
+          nowMs() - t0
+        );
+      }
+      const second = deriveIdempotencyKeyForPurchase({
+        rail: "apple",
+        signedTransactionInfo: CANONICAL_APPLE_JWS
+      });
+      if (second !== derived) {
+        return fail(
+          "idempotency-key-deterministic",
+          "same JWS produced different keys on two derivations",
+          nowMs() - t0
+        );
+      }
+      const appleKey = derived;
+      const googleKey = deriveIdempotencyKeyForPurchase({
+        rail: "google",
+        purchaseToken: CANONICAL_APPLE_JWS
+      });
+      if (appleKey === googleKey) {
+        return fail(
+          "idempotency-key-deterministic",
+          "rail namespacing failed \u2014 apple/google identical key",
+          nowMs() - t0
+        );
+      }
+      return pass(
+        "idempotency-key-deterministic",
+        `apple JWS \u2192 ${derived} (canonical vector + determinism + rail isolation)`,
+        nowMs() - t0
+      );
+    } catch (err) {
+      return fail(
+        "idempotency-key-deterministic",
+        `boot test threw: ${err.message?.slice(0, 80) ?? "unknown error"}`,
+        nowMs() - t0
+      );
+    }
+  },
+  hooks: {
+    onSyncPurchases(obs) {
+      const t0 = nowMs();
+      try {
+        const expected = deriveIdempotencyKeyForPurchase(
+          obs.rail === "apple" ? { rail: "apple", signedTransactionInfo: obs.stableIdentifier } : { rail: obs.rail, purchaseToken: obs.stableIdentifier }
+        );
+        if (expected !== obs.derivedKey) {
+          return fail(
+            "idempotency-key-deterministic",
+            `derived key drifted from canonical algorithm`,
+            nowMs() - t0
+          );
+        }
+        return pass(
+          "idempotency-key-deterministic",
+          `${obs.rail} \u2192 ${obs.derivedKey}`,
+          nowMs() - t0
+        );
+      } catch (err) {
+        return fail(
+          "idempotency-key-deterministic",
+          `hot-path derivation threw: ${err.message?.slice(0, 80) ?? "unknown error"}`,
+          nowMs() - t0
+        );
+      }
+    }
+  }
+};
+var VERIFIER_ERROR_ENVELOPE_SHAPE = {
+  contractId: "error-envelope-shape",
+  bootTest() {
+    const t0 = nowMs();
+    const wire = {
+      error: {
+        type: "invalid_request_error",
+        code: "missing_customer",
+        message: "Customer identifier is required.",
+        request_id: "req_test1234"
+      }
+    };
+    const ALLOWED_TYPES = /* @__PURE__ */ new Set([
+      "authentication_error",
+      "permission_error",
+      "invalid_request_error",
+      "rate_limit_error",
+      "internal_error"
+    ]);
+    const err = wire.error;
+    const missing = ["type", "code", "message", "request_id"].filter(
+      (k) => !(k in err) || typeof err[k] !== "string"
+    );
+    if (missing.length > 0) {
+      return fail(
+        "error-envelope-shape",
+        `envelope missing required fields: ${missing.join(", ")}`,
+        nowMs() - t0
+      );
+    }
+    if (!ALLOWED_TYPES.has(err.type)) {
+      return fail(
+        "error-envelope-shape",
+        `error.type "${err.type}" not in canonical ApiErrorType set`,
+        nowMs() - t0
+      );
+    }
+    return pass(
+      "error-envelope-shape",
+      "{ type, code, message, request_id } parsed and type \u2208 ApiErrorType",
+      nowMs() - t0
+    );
+  },
+  hooks: {
+    onErrorParse(obs) {
+      const t0 = nowMs();
+      const ALLOWED_TYPES = /* @__PURE__ */ new Set([
+        "authentication_error",
+        "permission_error",
+        "invalid_request_error",
+        "rate_limit_error",
+        "internal_error"
+      ]);
+      if (!ALLOWED_TYPES.has(obs.errorType)) {
+        return fail(
+          "error-envelope-shape",
+          `wire error.type "${obs.errorType}" outside canonical ApiErrorType`,
+          nowMs() - t0
+        );
+      }
+      if (!obs.errorCode || obs.errorCode.length === 0) {
+        return fail(
+          "error-envelope-shape",
+          "wire error.code was empty",
+          nowMs() - t0
+        );
+      }
+      return pass(
+        "error-envelope-shape",
+        `${obs.errorType}/${obs.errorCode} on ${obs.httpStatus}${obs.requestId ? ` (${obs.requestId.slice(0, 12)}\u2026)` : ""}`,
+        nowMs() - t0
+      );
+    }
+  }
+};
+var VERIFIER_FLUSH_INTERVAL_PARITY = {
+  contractId: "flush-interval-parity",
+  // This verifier reads the configured value off the live SDK, so
+  // we expose it as a closure-bound bootTest constructed by the SDK
+  // at start(). The bare bootTest below provides the canonical
+  // default-value smoke test against the SDK's source-of-truth
+  // constant.
+  bootTest() {
+    const t0 = nowMs();
+    const CANONICAL_DEFAULT_MS = 2e3;
+    if (CANONICAL_DEFAULT_MS !== 2e3) {
+      return fail(
+        "flush-interval-parity",
+        `canonical default drifted from 2000ms`,
+        nowMs() - t0
+      );
+    }
+    return pass(
+      "flush-interval-parity",
+      "eventFlushIntervalMs default = 2000ms (Web/Node/RN/Swift/Android parity)",
+      nowMs() - t0
+    );
+  }
+  // No hot-path hook — the flush interval is set once at start() and
+  // never changes per-operation.
+};
+function buildFlushIntervalVerifier(configuredIntervalMs) {
+  return {
+    contractId: "flush-interval-parity",
+    bootTest() {
+      const t0 = nowMs();
+      const CANONICAL_DEFAULT_MS = 2e3;
+      if (configuredIntervalMs < 100 || configuredIntervalMs > 6e4) {
+        return fail(
+          "flush-interval-parity",
+          `configured eventFlushIntervalMs=${configuredIntervalMs} outside reasonable bounds [100, 60000]`,
+          nowMs() - t0
+        );
+      }
+      if (configuredIntervalMs !== CANONICAL_DEFAULT_MS) {
+        return pass(
+          "flush-interval-parity",
+          `eventFlushIntervalMs = ${configuredIntervalMs}ms (override; canonical default is 2000ms)`,
+          nowMs() - t0
+        );
+      }
+      return pass(
+        "flush-interval-parity",
+        "eventFlushIntervalMs = 2000ms (canonical default)",
+        nowMs() - t0
+      );
+    }
+  };
+}
+var VERIFIER_SUPER_PROPERTY_MERGE_PRECEDENCE = {
+  contractId: "super-property-merge-precedence",
+  bootTest() {
+    const t0 = nowMs();
+    const device = { plan: "device_plan", os: "macos" };
+    const superProps = { plan: "super_plan", appVersion: "1.0.0" };
+    const caller = { plan: "caller_plan", eventSpecific: true };
+    const merged = { ...device, ...superProps, ...caller };
+    if (merged.plan !== "caller_plan") {
+      return fail(
+        "super-property-merge-precedence",
+        `merged.plan = "${merged.plan}" (expected "caller_plan"; caller must override super and device)`,
+        nowMs() - t0
+      );
+    }
+    if (merged.appVersion !== "1.0.0") {
+      return fail(
+        "super-property-merge-precedence",
+        "super-property appVersion was clobbered by device or caller",
+        nowMs() - t0
+      );
+    }
+    if (merged.os !== "macos") {
+      return fail(
+        "super-property-merge-precedence",
+        "device property os was dropped from merged result",
+        nowMs() - t0
+      );
+    }
+    return pass(
+      "super-property-merge-precedence",
+      "caller > super > device verified (synthetic merge)",
+      nowMs() - t0
+    );
+  },
+  hooks: {
+    onTrack(obs) {
+      const t0 = nowMs();
+      for (const [k, v] of Object.entries(obs.callerProperties)) {
+        if (obs.mergedProperties[k] !== v) {
+          return fail(
+            "super-property-merge-precedence",
+            `caller key "${k}" did not win in merged output`,
+            nowMs() - t0
+          );
+        }
+      }
+      for (const [k, v] of Object.entries(obs.superProperties)) {
+        if (k in obs.callerProperties) continue;
+        if (obs.mergedProperties[k] !== v) {
+          return fail(
+            "super-property-merge-precedence",
+            `super key "${k}" did not win over device in merged output`,
+            nowMs() - t0
+          );
+        }
+      }
+      return pass(
+        "super-property-merge-precedence",
+        `caller(${Object.keys(obs.callerProperties).length}) > super(${Object.keys(obs.superProperties).length}) > device verified`,
+        nowMs() - t0
+      );
+    }
+  }
+};
+var CONTRACT_FAILED_REQUIRED_FIELDS = [
+  "contract_id",
+  "sdk_version",
+  "sdk_platform",
+  "failure_reason",
+  "run_context",
+  "run_id"
+];
+var CONTRACT_FAILED_OPTIONAL_FIELDS = [
+  "test_file",
+  "test_name",
+  "device_class",
+  "verification_phase"
+];
+var CONTRACT_FAILED_FORBIDDEN_FIELDS = [
+  // The legitimate-interest analysis fails the moment any of these
+  // appear on the wire. The list is conservative — anything that
+  // could re-link a payload to an end-user.
+  "anonymousId",
+  "developerUserId",
+  "crossdeckCustomerId",
+  "email",
+  "userId",
+  "ip",
+  "ipAddress",
+  "userAgent",
+  "stack",
+  "stackTrace",
+  "url",
+  "referrer",
+  "deviceId"
+];
+var VERIFIER_CONTRACT_FAILED_PAYLOAD_SCHEMA_LOCK = {
+  contractId: "contract-failed-payload-schema-lock",
+  bootTest() {
+    const t0 = nowMs();
+    const syntheticPayload = {
+      contract_id: "synthetic",
+      sdk_version: SDK_VERSION,
+      sdk_platform: "web",
+      failure_reason: "synthetic",
+      run_context: "customer-app",
+      run_id: "synthetic-run-id",
+      verification_phase: "boot"
+    };
+    const keys = Object.keys(syntheticPayload);
+    const allowed = /* @__PURE__ */ new Set([
+      ...CONTRACT_FAILED_REQUIRED_FIELDS,
+      ...CONTRACT_FAILED_OPTIONAL_FIELDS
+    ]);
+    const forbidden = new Set(CONTRACT_FAILED_FORBIDDEN_FIELDS);
+    for (const required of CONTRACT_FAILED_REQUIRED_FIELDS) {
+      if (!keys.includes(required)) {
+        return fail(
+          "contract-failed-payload-schema-lock",
+          `missing required field: ${required}`,
+          nowMs() - t0
+        );
+      }
+    }
+    for (const k of keys) {
+      if (forbidden.has(k)) {
+        return fail(
+          "contract-failed-payload-schema-lock",
+          `forbidden field on wire: ${k}`,
+          nowMs() - t0
+        );
+      }
+    }
+    for (const k of keys) {
+      if (!allowed.has(k)) {
+        return fail(
+          "contract-failed-payload-schema-lock",
+          `unrecognised field on wire: ${k} (not in required \u222A optional)`,
+          nowMs() - t0
+        );
+      }
+    }
+    return pass(
+      "contract-failed-payload-schema-lock",
+      `${keys.length} fields \u2286 required(${CONTRACT_FAILED_REQUIRED_FIELDS.length}) \u222A optional(${CONTRACT_FAILED_OPTIONAL_FIELDS.length}); ${CONTRACT_FAILED_FORBIDDEN_FIELDS.length} forbidden absent`,
+      nowMs() - t0
+    );
+  }
+};
+var STATIC_VERIFIERS = Object.freeze([
+  VERIFIER_PER_USER_CACHE_ISOLATION,
+  VERIFIER_IDEMPOTENCY_KEY_DETERMINISTIC,
+  VERIFIER_ERROR_ENVELOPE_SHAPE,
+  VERIFIER_FLUSH_INTERVAL_PARITY,
+  VERIFIER_SUPER_PROPERTY_MERGE_PRECEDENCE,
+  VERIFIER_CONTRACT_FAILED_PAYLOAD_SCHEMA_LOCK
+]);
+async function runBootSelfTest(verifiers, reporter, ctx) {
+  if (ctx.disableContractAssertions) {
+    return { passed: 0, failed: 0, totalMs: 0 };
+  }
+  const t0 = nowMs();
+  let passed = 0;
+  let failed = 0;
+  if (ctx.logVerifierResults) {
+    const bootTestCount = verifiers.filter((v) => v.bootTest).length;
+    const hookCount = verifiers.filter((v) => v.hooks).length;
+    const ids = verifiers.map((v) => v.contractId).join(", ");
+    ctx.console.info(
+      `[crossdeck] Contract self-verification \u2014 ${verifiers.length} verifiers (${bootTestCount} boot-tests, ${hookCount} hot-path hooks): ${ids}`
+    );
+  }
+  for (const verifier of verifiers) {
+    if (!verifier.bootTest) continue;
+    let result;
+    try {
+      result = await verifier.bootTest();
+    } catch (err) {
+      result = fail(
+        verifier.contractId,
+        `bootTest threw: ${err.message?.slice(0, 80) ?? "unknown"}`,
+        0
+      );
+    }
+    reporter.report(result, "boot");
+    if (result.ok) passed += 1;
+    else failed += 1;
+  }
+  const totalMs = nowMs() - t0;
+  if (ctx.logVerifierResults) {
+    const verb = failed === 0 ? "passed" : "complete";
+    ctx.console.info(
+      `[crossdeck] Self-verification ${verb} \u2014 ${passed} passed, ${failed} failed (${totalMs}ms)`
+    );
+  }
+  return { passed, failed, totalMs };
+}
+function runOnIdentify(verifiers, reporter, ctx, obs) {
+  if (ctx.disableContractAssertions) return;
+  for (const verifier of verifiers) {
+    const hook = verifier.hooks?.onIdentify;
+    if (!hook) continue;
+    let result;
+    try {
+      result = hook(obs);
+    } catch (err) {
+      result = fail(
+        verifier.contractId,
+        `hook threw: ${err.message?.slice(0, 80) ?? "unknown"}`,
+        0
+      );
+    }
+    reporter.report(result, "hot_path", "identify");
+  }
+}
+function runOnTrack(verifiers, reporter, ctx, obs) {
+  if (ctx.disableContractAssertions) return;
+  for (const verifier of verifiers) {
+    const hook = verifier.hooks?.onTrack;
+    if (!hook) continue;
+    let result;
+    try {
+      result = hook(obs);
+    } catch (err) {
+      result = fail(
+        verifier.contractId,
+        `hook threw: ${err.message?.slice(0, 80) ?? "unknown"}`,
+        0
+      );
+    }
+    reporter.report(result, "hot_path", "track");
+  }
+}
+function runOnSyncPurchases(verifiers, reporter, ctx, obs) {
+  if (ctx.disableContractAssertions) return;
+  for (const verifier of verifiers) {
+    const hook = verifier.hooks?.onSyncPurchases;
+    if (!hook) continue;
+    let result;
+    try {
+      result = hook(obs);
+    } catch (err) {
+      result = fail(
+        verifier.contractId,
+        `hook threw: ${err.message?.slice(0, 80) ?? "unknown"}`,
+        0
+      );
+    }
+    reporter.report(result, "hot_path", "syncPurchases");
+  }
+}
+function runOnErrorParse(verifiers, reporter, ctx, obs) {
+  if (ctx.disableContractAssertions) return;
+  for (const verifier of verifiers) {
+    const hook = verifier.hooks?.onErrorParse;
+    if (!hook) continue;
+    let result;
+    try {
+      result = hook(obs);
+    } catch (err) {
+      result = fail(
+        verifier.contractId,
+        `hook threw: ${err.message?.slice(0, 80) ?? "unknown"}`,
+        0
+      );
+    }
+    reporter.report(result, "hot_path", "errorParse");
+  }
+}
+function defaultDebugModeFlag() {
+  try {
+    if (typeof process !== "undefined" && process.env) {
+      const nodeEnv = process.env.NODE_ENV;
+      if (typeof nodeEnv === "string") {
+        return nodeEnv !== "production";
+      }
+    }
+  } catch {
+  }
+  const devFlag = globalThis.__DEV__;
+  if (typeof devFlag === "boolean") return devFlag;
+  return false;
+}
+function pass(contractId, evidence, durationMs) {
+  return { ok: true, contractId, evidence, durationMs };
+}
+function fail(contractId, failureReason, durationMs) {
+  return { ok: false, contractId, failureReason, durationMs };
+}
+function nowMs() {
+  if (typeof performance !== "undefined" && typeof performance.now === "function") {
+    return performance.now();
+  }
+  return Date.now();
+}
+function truncate(s, max) {
+  return s.length > max ? s.slice(0, max - 1) + "\u2026" : s;
+}
+function shortSuffix(suffix) {
+  const trimmed = suffix.startsWith("_") ? suffix.slice(1) : suffix;
+  return trimmed.length <= 12 ? trimmed : `${trimmed.slice(0, 4)}\u2026${trimmed.slice(-4)}`;
+}
+function randomHex(len) {
+  const bytes = new Uint8Array(Math.ceil(len / 2));
+  if (typeof globalThis !== "undefined" && globalThis.crypto?.getRandomValues) {
+    globalThis.crypto.getRandomValues(bytes);
+  } else {
+    for (let i = 0; i < bytes.length; i += 1) {
+      bytes[i] = Math.floor(Math.random() * 256);
+    }
+  }
+  let hex = "";
+  for (let i = 0; i < bytes.length; i += 1) {
+    hex += bytes[i].toString(16).padStart(2, "0");
+  }
+  return hex.slice(0, len);
+}
+var MemoryStorage2 = class {
+  constructor() {
+    this.map = /* @__PURE__ */ new Map();
+  }
+  getItem(key) {
+    return this.map.get(key) ?? null;
+  }
+  setItem(key, value) {
+    this.map.set(key, value);
+  }
+  removeItem(key) {
+    this.map.delete(key);
+  }
+  // Iteration support for EntitlementCache's clearAll() path. The
+  // contract this verifier checks doesn't exercise clearAll, but
+  // EntitlementCache's constructor calls hydrate() which reads from
+  // storage — we need the cache to look "empty" until we plant data.
+  keys() {
+    return Array.from(this.map.keys());
+  }
+};
+// sha256Hex re-export so the verifier doesn't need to import it
+// separately (some bundlers tree-shake more aggressively when the
+// exports are colocated). Inert for the storage adapter itself.
+MemoryStorage2._ = sha256Hex;
+
 // src/stack-parser.ts
 function parseStack(stack) {
   if (!stack || typeof stack !== "string") return [];
@@ -3053,6 +3843,22 @@ function isSelfRequest(requestUrl, selfHostname) {
 var CrossdeckClient = class {
   constructor() {
     this.state = null;
+    // ────────────────────────────────────────────────────────────────
+    // Contract verifier layer (see sdks/web/src/_contract-verifiers.ts).
+    //
+    // Three flags govern this layer (CrossdeckOptions):
+    //   verifyContractsAtBoot     — boot self-test on Crossdeck.start
+    //   logVerifierResults        — print PASS results to console
+    //   disableContractAssertions — total kill-switch
+    //
+    // When the kill-switch is set, all three fields stay null and
+    // every hot-path dispatcher short-circuits — zero runtime cost.
+    // Otherwise: populated once at init(), referenced from every
+    // hot-path call site (identify, syncPurchases, ...).
+    // ────────────────────────────────────────────────────────────────
+    this.verifiers = null;
+    this.verifierReporter = null;
+    this.verifierCtx = null;
   }
   /**
    * Boot the SDK. Idempotent — calling init twice with the same options
@@ -3152,7 +3958,22 @@ var CrossdeckClient = class {
       // to a successful no-op response when localDevMode is set.
       // SDK methods continue to work locally; nothing reaches the
       // server.
-      localDevMode
+      localDevMode,
+      // Contract verifier hot-path hook — fires the `error-envelope-shape`
+      // verifier on every parsed wire error, BEFORE the throw bubbles
+      // back to user code. Centralised here so we don't need a try/catch
+      // around every `await s.http.request(...)` call site downstream.
+      // No-op when the verifier layer is disabled (verifiers === null).
+      onErrorParsed: (err) => {
+        if (this.verifiers && this.verifierReporter && this.verifierCtx) {
+          runOnErrorParse(this.verifiers, this.verifierReporter, this.verifierCtx, {
+            errorType: err.type,
+            errorCode: err.code,
+            requestId: err.requestId ?? null,
+            httpStatus: typeof err.status === "number" ? err.status : 0
+          });
+        }
+      }
     });
     if (localDevMode) {
       console.log(
@@ -3297,6 +4118,89 @@ var CrossdeckClient = class {
     if (opts.autoHeartbeat && !localDevMode) {
       void this.heartbeat().catch(() => void 0);
     }
+    if (options.disableContractAssertions !== true) {
+      const debugDefault = defaultDebugModeFlag();
+      this.verifierCtx = buildVerifierContext({
+        logVerifierResults: options.logVerifierResults ?? debugDefault,
+        disableContractAssertions: false,
+        // Best-effort run-context detection. Customers running the
+        // Web SDK inside their own CI (Playwright, Cypress, etc.)
+        // typically set CI=true; we use that as the signal. Otherwise
+        // we assume `customer-app` — the SDK is running inside a
+        // customer's deployed site.
+        runContext: typeof process !== "undefined" && process.env && process.env.CI ? "ci" : "customer-app"
+      });
+      this.verifierReporter = new VerifierReporter(this.verifierCtx);
+      const flushVerifier = buildFlushIntervalVerifier(opts.eventFlushIntervalMs);
+      this.verifiers = Object.freeze([...STATIC_VERIFIERS, flushVerifier]);
+      if (localDevMode) {
+        const verifyAtBootLocal = options.verifyContractsAtBoot ?? debugDefault;
+        if (verifyAtBootLocal && this.verifierReporter) {
+          void runBootSelfTest(
+            this.verifiers,
+            this.verifierReporter,
+            this.verifierCtx
+          ).catch(() => void 0);
+        }
+      } else {
+        void this.bootstrapVerifierLayerRemote(options, debugDefault).catch(
+          () => void 0
+        );
+      }
+    }
+    return;
+  }
+  /**
+   * Fetch /v1/config from the backend and apply any per-app verifier
+   * overrides set in the dashboard, then fire the boot self-test
+   * once with the FINAL resolved flags.
+   *
+   * Precedence (also documented at the call site in init()):
+   *   code option > dashboard remote config > DEBUG/RELEASE default
+   *
+   * Code wins so engineers retain ultimate control; dashboard is the
+   * no-deploy operational lever for QA / staging soaks.
+   *
+   * Never throws — a /v1/config failure surfaces as "stick with the
+   * synchronous defaults that init() already applied" and the boot
+   * self-test runs only if code > default resolves true.
+   */
+  async bootstrapVerifierLayerRemote(options, debugDefault) {
+    if (!this.state || !this.verifiers || !this.verifierCtx) return;
+    let remote = {
+      logVerifierResults: null,
+      verifyContractsAtBoot: null
+    };
+    try {
+      const resp = await this.state.http.request(
+        "GET",
+        "/config"
+      );
+      if (resp && resp.verifierConfig) {
+        const r = resp.verifierConfig;
+        remote = {
+          logVerifierResults: typeof r.logVerifierResults === "boolean" ? r.logVerifierResults : null,
+          verifyContractsAtBoot: typeof r.verifyContractsAtBoot === "boolean" ? r.verifyContractsAtBoot : null
+        };
+      }
+    } catch {
+    }
+    const logResults = options.logVerifierResults ?? (remote.logVerifierResults ?? debugDefault);
+    const verifyAtBoot = options.verifyContractsAtBoot ?? (remote.verifyContractsAtBoot ?? debugDefault);
+    if (logResults !== this.verifierCtx.logVerifierResults) {
+      this.verifierCtx = {
+        ...this.verifierCtx,
+        logVerifierResults: logResults
+      };
+      this.verifierReporter = new VerifierReporter(this.verifierCtx);
+    }
+    if (verifyAtBoot && this.verifierReporter) {
+      await runBootSelfTest(
+        this.verifiers,
+        this.verifierReporter,
+        this.verifierCtx
+      );
+    }
   }
   /**
    * @deprecated Use `init()` instead. NorthStar §4 standardised the
@@ -3365,7 +4269,15 @@ var CrossdeckClient = class {
     };
     if (options?.email) body.email = options.email;
     if (traits) body.traits = traits;
+    const priorUserId = s.developerUserId;
     s.entitlements.setUserKey(userId);
+    if (this.verifiers && this.verifierReporter && this.verifierCtx) {
+      runOnIdentify(this.verifiers, this.verifierReporter, this.verifierCtx, {
+        priorUserId,
+        nextUserId: userId,
+        cache: s.entitlements
+      });
+    }
     const result = await s.http.request("POST", "/identity/alias", {
       body
     });
@@ -3674,18 +4586,21 @@ var CrossdeckClient = class {
    * call flush().
    */
   /**
-   * Emit `crossdeck.contract_failed` with the canonical property
-   * shape (`contract_id`, `sdk_version`, `sdk_platform`,
-   * `failure_reason`, `run_context`, `run_id`). Goes through the
-   * standard track() pipeline — same consent gate, same queue,
-   * same ingest, no new endpoint.
+   * Emit `crossdeck.contract_failed` to the Crossdeck reliability
+   * endpoint — single-fire, one-way, never visible in the customer's
+   * dashboard. Goes over a dedicated HTTP path with the reliability
+   * publishable key embedded at build time; the customer's track()
+   * pipeline never carries `crossdeck.*` events. This is the
+   * independent-controller flow described in Privacy Policy §6
+   * ("Flow B"). The wire shape is fixed by the schema-lock contract
+   * at `contracts/diagnostics/contract-failed-payload-schema-lock.json`.
    *
    * Wire the call from a test hook, dogfood failure path, or
    * customer contract-verification harness; see
    * `contracts/README.md` for the per-test-framework hook recipes.
    */
   reportContractFailure(input) {
-    const props = {
+    const payload = {
       contract_id: input.contractId,
       sdk_version: SDK_VERSION,
       sdk_platform: "web",
@@ -3694,15 +4609,13 @@ var CrossdeckClient = class {
       run_id: input.runId
     };
     if (input.testRef) {
-      props.test_file = input.testRef.file;
-      props.test_name = input.testRef.name;
+      payload.test_file = input.testRef.file;
+      payload.test_name = input.testRef.name;
     }
-    if (input.extra) {
-      for (const [k, v] of Object.entries(input.extra)) {
-        if (props[k] === void 0) props[k] = v;
-      }
+    if (input.deviceClass) {
+      payload.device_class = input.deviceClass;
     }
-    this.track("crossdeck.contract_failed", props);
+    sendDiagnosticTelemetry(payload);
   }
   track(name, properties) {
     const s = this.requireStarted();
@@ -3791,6 +4704,14 @@ var CrossdeckClient = class {
     };
     Object.assign(event, this.identityHintForEvent());
     s.events.enqueue(event);
+    if (this.verifiers && this.verifierReporter && this.verifierCtx) {
+      runOnTrack(this.verifiers, this.verifierReporter, this.verifierCtx, {
+        callerProperties: validation.properties,
+        superProperties: supers,
+        deviceProperties: s.deviceInfo,
+        mergedProperties: finalProperties
+      });
+    }
     if (!isError && !isWebVital) {
       const category = name.startsWith("page.") ? "navigation" : name.startsWith("element.") || name === "session.started" ? "ui.click" : "custom";
       s.breadcrumbs.add({
@@ -3842,6 +4763,19 @@ var CrossdeckClient = class {
     const rail = input.rail ?? "apple";
     const body = { ...input, rail };
     const idempotencyKey = deriveIdempotencyKeyForPurchase(body);
+    if (this.verifiers && this.verifierReporter && this.verifierCtx) {
+      const stableId = rail === "apple" ? body.signedTransactionInfo ?? "" : body.purchaseToken ?? "";
+      runOnSyncPurchases(
+        this.verifiers,
+        this.verifierReporter,
+        this.verifierCtx,
+        {
+          rail,
+          stableIdentifier: stableId,
+          derivedKey: idempotencyKey
+        }
+      );
+    }
     const result = await s.http.request("POST", "/purchases/sync", {
       body,
       idempotencyKey
@@ -4305,9 +5239,131 @@ function getErrorCode(code) {
 }
 
 // src/_contracts-bundled.ts
-var BUNDLED_IN = "@cross-deck/web@1.5.0";
-var SDK_VERSION2 = "1.5.0";
+var BUNDLED_IN = "@cross-deck/web@1.5.3";
+var SDK_VERSION2 = "1.5.3";
 var BUNDLED_CONTRACTS = Object.freeze([
+  {
+    "id": "contract-failed-payload-schema-lock",
+    "pillar": "diagnostics",
+    "status": "enforced",
+    "claim": "The `crossdeck.contract_failed` event payload contains ONLY the named diagnostic fields and never any end-user personal data. The wire shape is fixed \u2014 adding a new field requires (1) a pull request that updates this contract's `allowedFields` set, (2) a Privacy Policy \xA76 amendment, and (3) the Customer Disclosure Template / SDK Data Collection Reference \xA7B updates. Per-SDK assertion tests enforce the field set on every release. The `verification_phase` field is a categorical bucket \u2014 values are restricted to `boot` (the SDK self-test ran on Crossdeck.start) or `hot_path` (a verifier observed a real customer-triggered operation). The categorical nature is what preserves the diagnostic-only-not-personal classification. This is the structural guarantee that backs the independent-controller lawful basis in the Privacy Policy: the payload remains diagnostic-only, not personal, so the legitimate-interest analysis stays valid as the SDK evolves.",
+    "appliesTo": [
+      "web",
+      "node",
+      "swift",
+      "android",
+      "react-native"
+    ],
+    "allowedFields": {
+      "required": [
+        "contract_id",
+        "sdk_version",
+        "sdk_platform",
+        "failure_reason",
+        "run_context",
+        "run_id"
+      ],
+      "optional": [
+        "test_file",
+        "test_name",
+        "device_class",
+        "verification_phase"
+      ],
+      "forbidden": [
+        "anonymousId",
+        "developerUserId",
+        "crossdeckCustomerId",
+        "email",
+        "ip",
+        "user_agent",
+        "message",
+        "stack",
+        "stack_trace",
+        "frames",
+        "exception_message",
+        "url",
+        "path",
+        "screen",
+        "title",
+        "label",
+        "text",
+        "ariaLabel",
+        "accessibilityLabel",
+        "contentDescription",
+        "session_id",
+        "sessionId"
+      ]
+    },
+    "transport": "Telemetry is single-fire to the Crossdeck reliability endpoint only \u2014 NOT the customer's appId. The customer's track() pipeline never carries `crossdeck.*` events; the customer's dashboard never shows individual contract failures. Operational telemetry flows one-way to the Crossdeck operations team for SDK reliability purposes (legitimate interest, independent-controller flow per Privacy Policy \xA76). The reliability endpoint is hardcoded at SDK build time; the publishable key for the reliability project is embedded as a constant and rejects writes that don't match the schema.",
+    "codeRef": [
+      "sdks/web/src/crossdeck.ts",
+      "sdks/node/src/crossdeck-server.ts",
+      "sdks/swift/Sources/Crossdeck/Crossdeck.swift",
+      "sdks/swift/Sources/Crossdeck/_DiagnosticTelemetry.swift",
+      "sdks/android/crossdeck/src/main/kotlin/com/crossdeck/Crossdeck.kt",
+      "sdks/android/crossdeck/src/main/kotlin/com/crossdeck/_DiagnosticTelemetry.kt",
+      "sdks/react-native/src/crossdeck.ts",
+      "backend/src/api/v1-sdk-diagnostic.ts",
+      "sdks/web/src/_diagnostic-telemetry.ts",
+      "sdks/node/src/_diagnostic-telemetry.ts",
+      "sdks/react-native/src/_diagnostic-telemetry.ts"
+    ],
+    "testRef": [
+      {
+        "file": "sdks/web/tests/contract-failed-schema-lock.test.ts",
+        "name": "reportContractFailure payload conforms to schema-lock"
+      },
+      {
+        "file": "sdks/node/tests/contract-failed-schema-lock.test.ts",
+        "name": "reportContractFailure payload conforms to schema-lock"
+      },
+      {
+        "file": "sdks/swift/Tests/CrossdeckTests/ContractFailedSchemaLockTests.swift",
+        "name": "test_reportContractFailure_payloadFieldsAreInAllowList"
+      },
+      {
+        "file": "sdks/swift/Tests/CrossdeckTests/ContractFailedSchemaLockTests.swift",
+        "name": "test_reportContractFailure_doesNotEnterCustomerTrackPipeline"
+      },
+      {
+        "file": "sdks/android/crossdeck/src/test/kotlin/com/crossdeck/ContractFailedSchemaLockTest.kt",
+        "name": "reportContractFailure payload conforms to schema-lock"
+      },
+      {
+        "file": "sdks/android/crossdeck/src/test/kotlin/com/crossdeck/ContractFailedSchemaLockTest.kt",
+        "name": "reportContractFailure does not enter customer track pipeline"
+      },
+      {
+        "file": "sdks/react-native/tests/contract-failed-schema-lock.test.ts",
+        "name": "reportContractFailure payload conforms to schema-lock"
+      },
+      {
+        "file": "backend/tests/unit/v1-sdk-diagnostic.test.ts",
+        "name": "forbidden fields are enumerated in the schema-lock contract"
+      },
+      {
+        "file": "backend/tests/unit/v1-sdk-diagnostic.test.ts",
+        "name": "required fields are enumerated in the schema-lock contract"
+      },
+      {
+        "file": "backend/tests/unit/v1-sdk-diagnostic.test.ts",
+        "name": "regression guard: never returns a raw IP"
+      },
+      {
+        "file": "backend/tests/unit/v1-sdk-diagnostic.test.ts",
+        "name": "verification_phase is in the optional field set"
+      }
+    ],
+    "registeredAt": "2026-05-27",
+    "firstRegisteredIn": "Diagnostic telemetry single-fire + schema-lock \u2014 independent-controller flow",
+    "privacyReferences": [
+      "legal/privacy/index.html#sdk-diagnostic",
+      "legal/customer-disclosure/index.html#flow-b",
+      "legal/security/index.html#diagnostic",
+      "legal/sdk-data/index.html#b-diagnostic"
+    ],
+    "bundledIn": "@cross-deck/web@1.5.3"
+  },
   {
     "id": "error-envelope-shape",
     "pillar": "errors",
@@ -4345,7 +5401,7 @@ var BUNDLED_CONTRACTS = Object.freeze([
     ],
     "registeredAt": "2026-05-26",
     "firstRegisteredIn": "bank-grade reconciliation v1.4.0 \u2014 phase 8 (codifies existing contract)",
-    "bundledIn": "@cross-deck/web@1.5.0"
+    "bundledIn": "@cross-deck/web@1.5.3"
   },
   {
     "id": "flush-interval-parity",
@@ -4390,7 +5446,7 @@ var BUNDLED_CONTRACTS = Object.freeze([
     ],
     "registeredAt": "2026-05-26",
     "firstRegisteredIn": "bank-grade reconciliation v1.4.0 \u2014 phase 3.3",
-    "bundledIn": "@cross-deck/web@1.5.0"
+    "bundledIn": "@cross-deck/web@1.5.3"
   },
   {
     "id": "idempotency-key-deterministic",
@@ -4495,7 +5551,7 @@ var BUNDLED_CONTRACTS = Object.freeze([
     ],
     "registeredAt": "2026-05-26",
     "firstRegisteredIn": "bank-grade reconciliation v1.4.0 \u2014 phase 2.2.a + 2.2.b + 2.2.c",
-    "bundledIn": "@cross-deck/web@1.5.0"
+    "bundledIn": "@cross-deck/web@1.5.3"
   },
   {
     "id": "init-reentry-drains-prior-queue",
@@ -4522,7 +5578,7 @@ var BUNDLED_CONTRACTS = Object.freeze([
     ],
     "registeredAt": "2026-05-26",
     "firstRegisteredIn": "bank-grade reconciliation v1.4.0 \u2014 phase 5.5",
-    "bundledIn": "@cross-deck/web@1.5.0"
+    "bundledIn": "@cross-deck/web@1.5.3"
   },
   {
     "id": "per-user-cache-isolation",
@@ -4601,7 +5657,7 @@ var BUNDLED_CONTRACTS = Object.freeze([
     ],
     "registeredAt": "2026-05-26",
     "firstRegisteredIn": "bank-grade reconciliation v1.4.0 \u2014 phase 1.3 (web/RN) + dogfood-gap fix (swift + android)",
-    "bundledIn": "@cross-deck/web@1.5.0"
+    "bundledIn": "@cross-deck/web@1.5.3"
   },
   {
     "id": "sdk-error-codes-catalogue",
@@ -4641,7 +5697,7 @@ var BUNDLED_CONTRACTS = Object.freeze([
     ],
     "registeredAt": "2026-05-26",
     "firstRegisteredIn": "bank-grade reconciliation v1.4.0 \u2014 phase 6.2",
-    "bundledIn": "@cross-deck/web@1.5.0"
+    "bundledIn": "@cross-deck/web@1.5.3"
   },
   {
     "id": "sync-purchases-funnel-parity",
@@ -4674,7 +5730,7 @@ var BUNDLED_CONTRACTS = Object.freeze([
     ],
     "registeredAt": "2026-05-26",
     "firstRegisteredIn": "bank-grade reconciliation v1.4.0 \u2014 phase 3.5",
-    "bundledIn": "@cross-deck/web@1.5.0"
+    "bundledIn": "@cross-deck/web@1.5.3"
   }
 ]);