Function readJsonNumber

src/daemon/network-log.ts:329–339

(value: Record<string, unknown> | null, keys: string[])

}

function readJsonNumber(value: Record<string, unknown> | null, keys: string[]): number | null {
  if (!value) return null;
  for (const key of keys) {
    const next = value[key];
    if (typeof next === 'number' && Number.isInteger(next)) return next;
    if (typeof next === 'string' && /^\d{3}$/.test(next.trim())) {
      return Number.parseInt(next.trim(), 10);
    }
  }
  return null;
}

function readHeaders(line: string, json: Record<string, unknown> | null): string | undefined {
  if (json) {