fix(doctor): accept missing profile policies

This commit is contained in:
Peter Steinberger
2026-06-22 14:20:09 -04:00
parent 8d5fe80303
commit 03ba09bfa8

View File

@@ -345,7 +345,7 @@ function readPreviewStringList(value: unknown): string[] | undefined {
function collectUncoveredConfiguredToolSectionGrantEntries(
configuredEntries: ConfiguredToolSectionGrantEntry[],
profilePolicy: ToolPolicyConfig,
profilePolicy: ToolPolicyConfig | undefined,
): ConfiguredToolSectionGrantEntry[] {
return configuredEntries
.map((entry) => ({