@dharta/cli 0.6.77 → 0.6.78

package/node_modules/@dharta/contracts/src/activity.ts

@@ -0,0 +1,215 @@
+/** RFC 0065 semantic activity wire contract (snake_case, server -> consumer). */
+
+export const ACTIVITY_KINDS = [
+  "read", "search", "create", "edit", "delete", "move", "command",
+  "test", "request", "artifact", "task", "other",
+] as const;
+
+export const ACTIVITY_STATUSES = [
+  "queued", "running", "awaiting_approval", "succeeded", "failed",
+  "denied", "cancelled", "interrupted",
+] as const;
+
+export const ACTIVITY_TARGET_KINDS = [
+  "file", "directory", "command", "url", "artifact", "task", "other",
+] as const;
+
+export const ACTIVITY_DETAIL_RENDERERS = [
+  "file_diff", "command", "search_results", "request", "artifact", "json",
+] as const;
+
+export const ACTIVITY_PRESENTATIONS = ["row", "current", "badge"] as const;
+
+export const ACTIVITY_SOURCE_KINDS = [
+  "workspace", "web", "integration", "system", "subagent", "harness", "other",
+] as const;
+
+export const ACTIVITY_LIMITS = {
+  idChars: 128,
+  labelChars: 240,
+  pathChars: 1024,
+  detailBytes: 32_768,
+  detailLines: 400,
+  detailItems: 200,
+} as const;
+
+export type ActivityKindWire = (typeof ACTIVITY_KINDS)[number];
+export type ActivityStatusWire = (typeof ACTIVITY_STATUSES)[number];
+export type ActivityTargetKindWire = (typeof ACTIVITY_TARGET_KINDS)[number];
+export type ActivityDetailRendererWire = (typeof ACTIVITY_DETAIL_RENDERERS)[number];
+export type ActivityPresentationModeWire = (typeof ACTIVITY_PRESENTATIONS)[number];
+export type ActivitySourceKindWire = (typeof ACTIVITY_SOURCE_KINDS)[number];
+
+export interface ActivitySourceWire {
+  kind: ActivitySourceKindWire;
+  label?: string;
+}
+
+export interface ActivityTargetWire {
+  kind: ActivityTargetKindWire;
+  label: string;
+  path?: string;
+}
+
+export interface ActivityMetricsWire {
+  added_lines?: number;
+  removed_lines?: number;
+  item_count?: number;
+  exit_code?: number;
+  duration_ms?: number;
+  tool_uses?: number;
+}
+
+export interface ActivityDetailWire {
+  renderer: ActivityDetailRendererWire;
+  payload: unknown;
+  truncated?: boolean;
+}
+
+export interface ActivityPresentationWire {
+  schema_version: 1;
+  activity_id: string;
+  turn_id: string;
+  task_id?: string;
+  kind: ActivityKindWire;
+  status: ActivityStatusWire;
+  target?: ActivityTargetWire;
+  metrics?: ActivityMetricsWire;
+  detail?: ActivityDetailWire;
+  started_at?: string;
+  completed_at?: string;
+  fallback_label?: string;
+  presentation?: ActivityPresentationModeWire;
+  source?: ActivitySourceWire;
+}
+
+const KIND_SET = new Set<string>(ACTIVITY_KINDS);
+const STATUS_SET = new Set<string>(ACTIVITY_STATUSES);
+const TARGET_KIND_SET = new Set<string>(ACTIVITY_TARGET_KINDS);
+const DETAIL_RENDERER_SET = new Set<string>(ACTIVITY_DETAIL_RENDERERS);
+const PRESENTATION_SET = new Set<string>(ACTIVITY_PRESENTATIONS);
+const SOURCE_KIND_SET = new Set<string>(ACTIVITY_SOURCE_KINDS);
+const METRIC_KEYS = [
+  "added_lines", "removed_lines", "item_count", "exit_code", "duration_ms", "tool_uses",
+] as const;
+
+/** Validate an untrusted decoded value. Invalid metadata falls back to its legacy tool event. */
+export function parseActivityPresentationWire(value: unknown): ActivityPresentationWire | null {
+  if (!isRecord(value) || value.schema_version !== 1) return null;
+  if (!boundedString(value.activity_id, ACTIVITY_LIMITS.idChars)) return null;
+  if (!boundedString(value.turn_id, ACTIVITY_LIMITS.idChars)) return null;
+  if (!KIND_SET.has(String(value.kind)) || !STATUS_SET.has(String(value.status))) return null;
+  if (value.task_id !== undefined && !boundedString(value.task_id, ACTIVITY_LIMITS.idChars)) return null;
+  if (value.started_at !== undefined && !validTimestamp(value.started_at)) return null;
+  if (value.completed_at !== undefined && !validTimestamp(value.completed_at)) return null;
+  if (value.presentation !== undefined && !PRESENTATION_SET.has(String(value.presentation))) return null;
+
+  const kind = value.kind as ActivityKindWire;
+  if (value.fallback_label !== undefined) {
+    if (kind !== "other" || !boundedString(value.fallback_label, ACTIVITY_LIMITS.labelChars)) return null;
+  }
+
+  const target = parseTarget(value.target);
+  if (value.target !== undefined && target === null) return null;
+  const metrics = parseMetrics(value.metrics);
+  if (value.metrics !== undefined && metrics === null) return null;
+  const detail = parseDetail(value.detail);
+  if (value.detail !== undefined && detail === null) return null;
+  const source = parseSource(value.source);
+  if (value.source !== undefined && source === null) return null;
+
+  return {
+    schema_version: 1,
+    activity_id: value.activity_id as string,
+    turn_id: value.turn_id as string,
+    ...(value.task_id !== undefined ? { task_id: value.task_id as string } : {}),
+    kind,
+    status: value.status as ActivityStatusWire,
+    ...(target ? { target } : {}),
+    ...(metrics ? { metrics } : {}),
+    ...(detail ? { detail } : {}),
+    ...(value.started_at !== undefined ? { started_at: value.started_at as string } : {}),
+    ...(value.completed_at !== undefined ? { completed_at: value.completed_at as string } : {}),
+    ...(value.fallback_label !== undefined ? { fallback_label: value.fallback_label as string } : {}),
+    ...(value.presentation !== undefined ? { presentation: value.presentation as ActivityPresentationModeWire } : {}),
+    ...(source ? { source } : {}),
+  };
+}
+
+function parseSource(value: unknown): ActivitySourceWire | null {
+  if (value === undefined) return null;
+  if (!isRecord(value) || !SOURCE_KIND_SET.has(String(value.kind))) return null;
+  if (value.label !== undefined && !boundedString(value.label, ACTIVITY_LIMITS.labelChars)) return null;
+  return {
+    kind: value.kind as ActivitySourceKindWire,
+    ...(value.label !== undefined ? { label: value.label as string } : {}),
+  };
+}
+
+function parseTarget(value: unknown): ActivityTargetWire | null {
+  if (value === undefined) return null;
+  if (!isRecord(value) || !TARGET_KIND_SET.has(String(value.kind))) return null;
+  if (!boundedString(value.label, ACTIVITY_LIMITS.labelChars)) return null;
+  if (value.path !== undefined) {
+    if (!boundedString(value.path, ACTIVITY_LIMITS.pathChars) || !safeRelativePath(value.path)) return null;
+  }
+  return {
+    kind: value.kind as ActivityTargetKindWire,
+    label: value.label as string,
+    ...(value.path !== undefined ? { path: value.path as string } : {}),
+  };
+}
+
+function parseMetrics(value: unknown): ActivityMetricsWire | null {
+  if (value === undefined) return null;
+  if (!isRecord(value)) return null;
+  const metrics: Record<string, number> = {};
+  for (const key of METRIC_KEYS) {
+    const metric = value[key];
+    if (metric === undefined) continue;
+    if (!Number.isSafeInteger(metric)) return null;
+    if (key !== "exit_code" && (metric as number) < 0) return null;
+    metrics[key] = metric as number;
+  }
+  return metrics as ActivityMetricsWire;
+}
+
+function parseDetail(value: unknown): ActivityDetailWire | null {
+  if (value === undefined) return null;
+  if (!isRecord(value) || !DETAIL_RENDERER_SET.has(String(value.renderer))) return null;
+  if (!("payload" in value)) return null;
+  if (value.truncated !== undefined && typeof value.truncated !== "boolean") return null;
+  if (jsonByteLength(value.payload) > ACTIVITY_LIMITS.detailBytes) return null;
+  return {
+    renderer: value.renderer as ActivityDetailRendererWire,
+    payload: value.payload,
+    ...(value.truncated !== undefined ? { truncated: value.truncated } : {}),
+  };
+}
+
+function safeRelativePath(value: string): boolean {
+  if (value.startsWith("/") || value.includes("\\")) return false;
+  if (/^[A-Za-z]:[\\/]/.test(value)) return false;
+  return !value.split("/").some((part) => part === "" || part === "." || part === "..");
+}
+
+function jsonByteLength(value: unknown): number {
+  try {
+    const encoded = JSON.stringify(value);
+    return encoded === undefined ? 0 : new TextEncoder().encode(encoded).byteLength;
+  } catch {
+    return Number.POSITIVE_INFINITY;
+  }
+}
+
+function validTimestamp(value: unknown): value is string {
+  return boundedString(value, 64) && Number.isFinite(Date.parse(value));
+}
+
+function boundedString(value: unknown, max: number): value is string {
+  return typeof value === "string" && value.length > 0 && value.length <= max;
+}
+
+function isRecord(value: unknown): value is Record<string, unknown> {
+  return typeof value === "object" && value !== null && !Array.isArray(value);
+}

package/node_modules/@dharta/contracts/src/artifact-runtime-formats.ts

@@ -0,0 +1,54 @@
+// Format validators for the Artifact runtime wire schemas.
+//
+// Ajv deliberately ships without format implementations. Keep these tiny
+// validators local so the canonical runtime package enforces the same formats
+// promised by its published JSON Schema without pulling browser-hostile
+// transitive code into every widget bundle.
+//
+// They live in their own module because the standalone-compiled validators
+// (artifact-runtime-validators.generated.ts) import `wireFormats` by name;
+// the shape registered with Ajv at codegen time and the shape exported here
+// must stay identical.
+
+export const RFC3339_DATE_TIME = /^(\d{4})-(0[1-9]|1[0-2])-(0[1-9]|[12]\d|3[01])T([01]\d|2[0-3]):([0-5]\d):([0-5]\d|60)(?:\.(\d+))?(Z|([+-])([01]\d|2[0-3]):([0-5]\d))$/;
+
+export function isRfc3339DateTime(value: string): boolean {
+  const fields = RFC3339_DATE_TIME.exec(value);
+  if (!fields) return false;
+  const year = Number(fields[1]);
+  const month = Number(fields[2]);
+  const day = Number(fields[3]);
+  const hour = Number(fields[4]);
+  const minute = Number(fields[5]);
+  const second = Number(fields[6]);
+  if (day > daysInMonth(year, month)) return false;
+  // Dharta emitters never produce leap seconds. Rejecting `60` is deterministic
+  // across offsets and runtimes; accepting it correctly would require a
+  // maintained UTC leap-second table rather than local-clock heuristics.
+  return second !== 60 && hour <= 23 && minute <= 59;
+}
+
+function daysInMonth(year: number, month: number): number {
+  if (month === 2) {
+    return year % 4 === 0 && (year % 100 !== 0 || year % 400 === 0) ? 29 : 28;
+  }
+  return [4, 6, 9, 11].includes(month) ? 30 : 31;
+}
+
+function isAbsoluteUri(value: string): boolean {
+  try {
+    return new URL(value).toString().length > 0;
+  } catch {
+    return false;
+  }
+}
+
+/**
+ * The format table the standalone-compiled validators reference. Must match
+ * the definitions registered with Ajv in generate-artifact-runtime-bindings.mjs
+ * (same names, same `{ type, validate }` shape).
+ */
+export const wireFormats = {
+  "date-time": { type: "string", validate: isRfc3339DateTime },
+  uri: { type: "string", validate: isAbsoluteUri },
+} as const;