@cross-deck/web 1.5.2 → 1.5.3

package/dist/react.mjs

@@ -67,7 +67,7 @@ function typeMapForStatus(status) {
 }
 
 // src/_version.ts
-var SDK_VERSION = "1.3.0";
+var SDK_VERSION = "1.5.3";
 var SDK_NAME = "@cross-deck/web";
 
 // src/http.ts
@@ -130,7 +130,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 {
@@ -317,29 +324,258 @@ function randomChars(count) {
   return out.join("");
 }
 
+// src/hash.ts
+var K = new Uint32Array([
+  1116352408,
+  1899447441,
+  3049323471,
+  3921009573,
+  961987163,
+  1508970993,
+  2453635748,
+  2870763221,
+  3624381080,
+  310598401,
+  607225278,
+  1426881987,
+  1925078388,
+  2162078206,
+  2614888103,
+  3248222580,
+  3835390401,
+  4022224774,
+  264347078,
+  604807628,
+  770255983,
+  1249150122,
+  1555081692,
+  1996064986,
+  2554220882,
+  2821834349,
+  2952996808,
+  3210313671,
+  3336571891,
+  3584528711,
+  113926993,
+  338241895,
+  666307205,
+  773529912,
+  1294757372,
+  1396182291,
+  1695183700,
+  1986661051,
+  2177026350,
+  2456956037,
+  2730485921,
+  2820302411,
+  3259730800,
+  3345764771,
+  3516065817,
+  3600352804,
+  4094571909,
+  275423344,
+  430227734,
+  506948616,
+  659060556,
+  883997877,
+  958139571,
+  1322822218,
+  1537002063,
+  1747873779,
+  1955562222,
+  2024104815,
+  2227730452,
+  2361852424,
+  2428436474,
+  2756734187,
+  3204031479,
+  3329325298
+]);
+function utf8Bytes(input) {
+  if (typeof TextEncoder !== "undefined") {
+    return new TextEncoder().encode(input);
+  }
+  const out = [];
+  for (let i = 0; i < input.length; i++) {
+    let codePoint = input.charCodeAt(i);
+    if (codePoint >= 55296 && codePoint <= 56319 && i + 1 < input.length) {
+      const next = input.charCodeAt(i + 1);
+      if (next >= 56320 && next <= 57343) {
+        codePoint = 65536 + (codePoint - 55296 << 10) + (next - 56320);
+        i++;
+      }
+    }
+    if (codePoint < 128) {
+      out.push(codePoint);
+    } else if (codePoint < 2048) {
+      out.push(192 | codePoint >> 6);
+      out.push(128 | codePoint & 63);
+    } else if (codePoint < 65536) {
+      out.push(224 | codePoint >> 12);
+      out.push(128 | codePoint >> 6 & 63);
+      out.push(128 | codePoint & 63);
+    } else {
+      out.push(240 | codePoint >> 18);
+      out.push(128 | codePoint >> 12 & 63);
+      out.push(128 | codePoint >> 6 & 63);
+      out.push(128 | codePoint & 63);
+    }
+  }
+  return new Uint8Array(out);
+}
+function sha256Hex(input) {
+  const bytes = utf8Bytes(input);
+  const bitLength = bytes.length * 8;
+  const blockCount = Math.floor((bytes.length + 9 + 63) / 64);
+  const padded = new Uint8Array(blockCount * 64);
+  padded.set(bytes);
+  padded[bytes.length] = 128;
+  const high = Math.floor(bitLength / 4294967296);
+  const low = bitLength >>> 0;
+  const lenOffset = padded.length - 8;
+  padded[lenOffset + 0] = high >>> 24 & 255;
+  padded[lenOffset + 1] = high >>> 16 & 255;
+  padded[lenOffset + 2] = high >>> 8 & 255;
+  padded[lenOffset + 3] = high & 255;
+  padded[lenOffset + 4] = low >>> 24 & 255;
+  padded[lenOffset + 5] = low >>> 16 & 255;
+  padded[lenOffset + 6] = low >>> 8 & 255;
+  padded[lenOffset + 7] = low & 255;
+  const H = new Uint32Array([
+    1779033703,
+    3144134277,
+    1013904242,
+    2773480762,
+    1359893119,
+    2600822924,
+    528734635,
+    1541459225
+  ]);
+  const W = new Uint32Array(64);
+  for (let block = 0; block < blockCount; block++) {
+    const offset = block * 64;
+    for (let t = 0; t < 16; t++) {
+      W[t] = (padded[offset + t * 4] << 24 | padded[offset + t * 4 + 1] << 16 | padded[offset + t * 4 + 2] << 8 | padded[offset + t * 4 + 3]) >>> 0;
+    }
+    for (let t = 16; t < 64; t++) {
+      const w15 = W[t - 15];
+      const w2 = W[t - 2];
+      const s0 = (w15 >>> 7 | w15 << 25) ^ (w15 >>> 18 | w15 << 14) ^ w15 >>> 3;
+      const s1 = (w2 >>> 17 | w2 << 15) ^ (w2 >>> 19 | w2 << 13) ^ w2 >>> 10;
+      W[t] = W[t - 16] + s0 + W[t - 7] + s1 >>> 0;
+    }
+    let a = H[0], b = H[1], c = H[2], d = H[3];
+    let e = H[4], f = H[5], g = H[6], h = H[7];
+    for (let t = 0; t < 64; t++) {
+      const S1 = (e >>> 6 | e << 26) ^ (e >>> 11 | e << 21) ^ (e >>> 25 | e << 7);
+      const ch = e & f ^ ~e & g;
+      const temp1 = h + S1 + ch + K[t] + W[t] >>> 0;
+      const S0 = (a >>> 2 | a << 30) ^ (a >>> 13 | a << 19) ^ (a >>> 22 | a << 10);
+      const maj = a & b ^ a & c ^ b & c;
+      const temp2 = S0 + maj >>> 0;
+      h = g;
+      g = f;
+      f = e;
+      e = d + temp1 >>> 0;
+      d = c;
+      c = b;
+      b = a;
+      a = temp1 + temp2 >>> 0;
+    }
+    H[0] = H[0] + a >>> 0;
+    H[1] = H[1] + b >>> 0;
+    H[2] = H[2] + c >>> 0;
+    H[3] = H[3] + d >>> 0;
+    H[4] = H[4] + e >>> 0;
+    H[5] = H[5] + f >>> 0;
+    H[6] = H[6] + g >>> 0;
+    H[7] = H[7] + h >>> 0;
+  }
+  let hex = "";
+  for (let i = 0; i < 8; i++) {
+    hex += H[i].toString(16).padStart(8, "0");
+  }
+  return hex;
+}
+
 // src/entitlement-cache.ts
 var DEFAULT_STALE_AFTER_MS = 24 * 60 * 60 * 1e3;
-var EntitlementCache = class {
+var ANON_SUFFIX = "_anon";
+var INDEX_SUFFIX = "_index";
+var EntitlementCache = class _EntitlementCache {
   /**
-   * @param storage      Device storage adapter. When omitted (tests) or
-   *                     a MemoryStorage (strict-consent / no-persistence
-   *                     mode) the cache is session-only — durability is
-   *                     simply absent, never wrong.
-   * @param storageKey   Full key the persisted blob lives under.
-   * @param staleAfterMs Age past which last-known-good is flagged stale
-   *                     even without a failed refresh. Default 24h.
+   * @param storage          Device storage adapter. When omitted (tests) or
+   *                         a MemoryStorage (strict-consent / no-persistence
+   *                         mode) the cache is session-only — durability is
+   *                         simply absent, never wrong.
+   * @param storageKeyPrefix Prefix used to derive per-user storage keys
+   *                         (`<prefix>:<sha256(userId)>`). Default
+   *                         `crossdeck:entitlements`. The trailing user
+   *                         suffix is filled at identify() / reset()
+   *                         time — see [[setUserKey]].
+   * @param staleAfterMs     Age past which last-known-good is flagged stale
+   *                         even without a failed refresh. Default 24h.
    */
-  constructor(storage, storageKey = "crossdeck:entitlements", staleAfterMs = DEFAULT_STALE_AFTER_MS) {
+  constructor(storage, storageKeyPrefix = "crossdeck:entitlements", staleAfterMs = DEFAULT_STALE_AFTER_MS) {
     this.all = [];
     this.lastUpdated = 0;
     this.lastRefreshFailedAt = 0;
     this.listeners = /* @__PURE__ */ new Set();
     this.listenerErrorCount = 0;
+    this.currentSuffix = ANON_SUFFIX;
     this.storage = storage;
-    this.storageKey = storageKey;
+    this.storageKeyPrefix = storageKeyPrefix;
     this.staleAfterMs = staleAfterMs;
     this.hydrate();
   }
+  /** The full storage key the current-user blob is persisted under. */
+  get storageKey() {
+    return `${this.storageKeyPrefix}:${this.currentSuffix}`;
+  }
+  /** Key of the index blob — a JSON array of every suffix we've
+   * written. Used by clearAll() to scope a logout-wipe. */
+  get indexKey() {
+    return `${this.storageKeyPrefix}:${INDEX_SUFFIX}`;
+  }
+  /** Derive a stable suffix for a developerUserId via SHA-256. The
+   * raw userId never lands in the storage key — protects against
+   * accidentally leaking email-style identifiers through DevTools
+   * inspection. Pass `null` to switch back to the anonymous slot. */
+  static suffixForUserId(userId) {
+    if (userId == null || userId === "") return ANON_SUFFIX;
+    return sha256Hex(userId);
+  }
+  /**
+   * Switch the cache to a different user's storage slot. Bank-grade
+   * three-layer isolation:
+   *   (a) Physical key separation — `<prefix>:<sha256(userId)>` so
+   *       a user-switch can't physically read prior user's data
+   *       even if the in-memory clear was skipped.
+   *   (b) Unconditional in-memory clear — invoked whenever the
+   *       active suffix changes, even on same-id re-identify.
+   *   (c) Re-hydrate from the new slot — a returning user observes
+   *       their last-known-good cache from storage immediately.
+   *
+   * Caller (identify() / reset()) MUST invoke this BEFORE the next
+   * setFromList() so the write lands under the right key.
+   */
+  setUserKey(userId) {
+    const nextSuffix = _EntitlementCache.suffixForUserId(userId);
+    if (nextSuffix === this.currentSuffix) {
+      this.all = [];
+      this.lastUpdated = 0;
+      this.lastRefreshFailedAt = 0;
+      this.notify();
+      this.hydrate();
+      return;
+    }
+    this.currentSuffix = nextSuffix;
+    this.all = [];
+    this.lastUpdated = 0;
+    this.lastRefreshFailedAt = 0;
+    this.hydrate();
+    this.notify();
+  }
   /**
    * Sync read — true iff the entitlement is currently granting access.
    *
@@ -409,12 +645,13 @@ var EntitlementCache = class {
     this.lastUpdated = Date.now();
     this.lastRefreshFailedAt = 0;
     this.persist();
+    this.recordSuffixInIndex(this.currentSuffix);
     this.notify();
   }
   /**
-   * Wipe — used on reset() (logout) and on an identity switch. Clears
-   * BOTH memory and durable storage so a prior user's entitlements can
-   * never leak to the next person on this device.
+   * Wipe the CURRENT user's slot. Used internally when a single
+   * user's cache needs to be invalidated without affecting other
+   * persisted slots. The full-logout path is [[clearAll]].
    */
   clear() {
     this.all = [];
@@ -426,6 +663,40 @@ var EntitlementCache = class {
       } catch {
       }
     }
+    this.removeSuffixFromIndex(this.currentSuffix);
+    this.notify();
+  }
+  /**
+   * Logout-grade wipe — bank-grade contract: removes EVERY per-user
+   * entitlement slot the SDK has ever written on this device, then
+   * clears the index. Used by `Crossdeck.reset()` so a logout on a
+   * shared device can never leave another user's entitlements
+   * readable (layer (c) of the v1.4.0 isolation fix).
+   *
+   * After clearAll(), the cache is back to anonymous + empty.
+   */
+  clearAll() {
+    this.all = [];
+    this.lastUpdated = 0;
+    this.lastRefreshFailedAt = 0;
+    this.currentSuffix = ANON_SUFFIX;
+    if (this.storage) {
+      const suffixes = this.readIndex();
+      for (const suffix of suffixes) {
+        try {
+          this.storage.removeItem(`${this.storageKeyPrefix}:${suffix}`);
+        } catch {
+        }
+      }
+      try {
+        this.storage.removeItem(`${this.storageKeyPrefix}:${ANON_SUFFIX}`);
+      } catch {
+      }
+      try {
+        this.storage.removeItem(this.indexKey);
+      } catch {
+      }
+    }
     this.notify();
   }
   /**
@@ -475,6 +746,47 @@ var EntitlementCache = class {
     } catch {
     }
   }
+  /** Read the index of all per-user suffixes the SDK has written. */
+  readIndex() {
+    if (!this.storage) return [];
+    try {
+      const raw = this.storage.getItem(this.indexKey);
+      if (!raw) return [];
+      const parsed = JSON.parse(raw);
+      if (Array.isArray(parsed)) {
+        return parsed.filter((x) => typeof x === "string");
+      }
+      return [];
+    } catch {
+      return [];
+    }
+  }
+  /** Add a suffix to the persisted index. Idempotent. */
+  recordSuffixInIndex(suffix) {
+    if (!this.storage) return;
+    const existing = this.readIndex();
+    if (existing.includes(suffix)) return;
+    existing.push(suffix);
+    try {
+      this.storage.setItem(this.indexKey, JSON.stringify(existing));
+    } catch {
+    }
+  }
+  /** Remove a suffix from the persisted index. No-op if absent. */
+  removeSuffixFromIndex(suffix) {
+    if (!this.storage) return;
+    const existing = this.readIndex();
+    const next = existing.filter((s) => s !== suffix);
+    if (next.length === existing.length) return;
+    try {
+      if (next.length === 0) {
+        this.storage.removeItem(this.indexKey);
+      } else {
+        this.storage.setItem(this.indexKey, JSON.stringify(next));
+      }
+    } catch {
+    }
+  }
   notify() {
     if (this.listeners.size === 0) return;
     const snapshot = this.all.slice();
@@ -489,6 +801,34 @@ var EntitlementCache = class {
   }
 };
 
+// src/idempotency-key.ts
+function formatAsUuid(hex) {
+  return [
+    hex.slice(0, 8),
+    hex.slice(8, 12),
+    hex.slice(12, 16),
+    hex.slice(16, 20),
+    hex.slice(20, 32)
+  ].join("-");
+}
+function deriveIdempotencyKeyForPurchase(body) {
+  let identifier;
+  if (body.rail === "apple") {
+    identifier = body.signedTransactionInfo ?? "";
+  } else if (body.rail === "google") {
+    identifier = body.purchaseToken ?? "";
+  } else {
+    identifier = "";
+  }
+  if (!identifier) {
+    throw new Error(
+      `deriveIdempotencyKeyForPurchase: no stable identifier in body (rail=${body.rail}). Apple needs signedTransactionInfo; Google needs purchaseToken.`
+    );
+  }
+  const namespaced = `crossdeck:purchases/sync:${body.rail}:${identifier}`;
+  return formatAsUuid(sha256Hex(namespaced));
+}
+
 // src/retry-policy.ts
 var DEFAULT_BASE = 1e3;
 var DEFAULT_MAX = 6e4;
@@ -2033,6 +2373,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 [];
@@ -2723,6 +3846,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
@@ -2751,6 +3890,10 @@ var CrossdeckClient = class {
         this.state.errors?.uninstall();
       } catch {
       }
+      try {
+        void this.state.events.flush({ keepalive: true });
+      } catch {
+      }
     }
     if (!options.publicKey || !options.publicKey.startsWith("cd_pub_")) {
       throw new CrossdeckError({
@@ -2798,7 +3941,12 @@ var CrossdeckClient = class {
       // load still flushes if the user leaves quickly (the keepalive
       // pagehide handler picks up anything that doesn't); long enough
       // that bursts of clicks coalesce into one network round-trip.
-      eventFlushIntervalMs: options.eventFlushIntervalMs ?? 1500,
+      // v1.4.0 Phase 3.3 — flush interval default parity. Pre-
+      // v1.4.0: Web/Node 1500ms, RN/Swift/Android 5000ms. All
+      // converged on 2000ms (the Stripe-adjacent industry norm)
+      // so cross-platform funnels show events landing at the
+      // same cadence on every SDK. Per-instance override stays.
+      eventFlushIntervalMs: options.eventFlushIntervalMs ?? 2e3,
       sdkVersion: options.sdkVersion ?? SDK_VERSION,
       autoTrack,
       appVersion: options.appVersion ?? null
@@ -2813,7 +3961,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(
@@ -2958,6 +4121,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
@@ -3026,14 +4272,18 @@ 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
     });
-    const priorCdcust = s.identity.crossdeckCustomerId;
-    const cacheHasEntries = s.entitlements.list().length > 0;
-    if (priorCdcust && result.crossdeckCustomerId && priorCdcust !== result.crossdeckCustomerId || !priorCdcust && cacheHasEntries) {
-      s.entitlements.clear();
-    }
     s.identity.setCrossdeckCustomerId(result.crossdeckCustomerId);
     s.developerUserId = userId;
     return result;
@@ -3338,6 +4588,38 @@ var CrossdeckClient = class {
    * trip happens in the background. To flush before the page unloads,
    * call flush().
    */
+  /**
+   * 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 payload = {
+      contract_id: input.contractId,
+      sdk_version: SDK_VERSION,
+      sdk_platform: "web",
+      failure_reason: input.failureReason,
+      run_context: input.runContext,
+      run_id: input.runId
+    };
+    if (input.testRef) {
+      payload.test_file = input.testRef.file;
+      payload.test_name = input.testRef.name;
+    }
+    if (input.deviceClass) {
+      payload.device_class = input.deviceClass;
+    }
+    sendDiagnosticTelemetry(payload);
+  }
   track(name, properties) {
     const s = this.requireStarted();
     if (!name) {
@@ -3425,6 +4707,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({
@@ -3474,11 +4764,37 @@ 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: { ...input, rail }
+      body,
+      idempotencyKey
     });
     s.identity.setCrossdeckCustomerId(result.crossdeckCustomerId);
     s.entitlements.setFromList(result.entitlements);
+    try {
+      const sourceProductId = result.entitlements[0]?.source.productId;
+      const sourceSubscriptionId = result.entitlements[0]?.source.subscriptionId;
+      const props = { rail };
+      if (sourceProductId) props.productId = sourceProductId;
+      if (sourceSubscriptionId) props.subscriptionId = sourceSubscriptionId;
+      if (result.idempotent_replay) props.idempotent_replay = true;
+      this.track("purchase.completed", props);
+    } catch {
+    }
     s.debug.emit(
       "sdk.purchase_evidence_sent",
       "StoreKit transaction forwarded. Waiting for backend verification.",
@@ -3534,7 +4850,7 @@ var CrossdeckClient = class {
     }
     this.state.autoTracker?.uninstall();
     this.state.identity.reset();
-    this.state.entitlements.clear();
+    this.state.entitlements.clearAll();
     this.state.events.reset();
     this.state.superProps.clear();
     this.state.breadcrumbs.clear();