Dashboard

mkMetrics produces a typed sanitize projection that pulls lockHash and toolchainSpec out of raw lock-file metrics, filters the toolchain spec by an optional whitelist of fields, and returns a flattened attr-set of the remaining metric fields.

mkWorkspaceSummary produces a typed summarize that walks a workspace member map, sanitizes each member, discovers the first non-null lockHash, optionally collects stats, and returns the summary record.