downloadZipHandler (downloads.ts)

Handles download requests, builds zip archives, tracks metrics, and integrates GitHub handoff analytics via HTTP handler.

import { api, internal } from "./_generated/api";
import type { Id } from "./_generated/dataModel";
import { buildDownloadMetricArgs, getDownloadIdentity } from "./downloadMetrics";
import { httpAction } from "./functions";
import { ambiguousSkillSlugResponse } from "./httpApiV1/shared";
import { getOptionalActiveAuthUserIdFromAction } from "./lib/access";
import { getOptionalApiTokenUserId } from "./lib/apiTokenAuth";
import {
  ARCHIVE_MANIFEST_AUDIENCE,
  ARCHIVE_MANIFEST_CONTENT_TYPE,
  ARCHIVE_MANIFEST_JWS_TYPE,
  ARCHIVE_METRIC_AUDIENCE,
  ARCHIVE_METRIC_JWS_TYPE,
  type ArchiveMetricArgs,
  type ArchiveMetricPayload,
  signArchivePayload,
  type SkillArchiveManifest,
  verifyArchivePayloadWithLocalJwks,
} from "./lib/archiveManifest";
import {
  ARCHIVE_REQUEST_IDENTITY_HEADER,
  ex

... (truncated -- full source via MCP)