@neat.is/types 0.4.20-dev.20260630 → 0.4.22

package/dist/index.d.ts

@@ -1049,6 +1049,137 @@ declare const TransitiveDependenciesResultSchema: z.ZodObject<{
     total: number;
 }>;
 type TransitiveDependenciesResult = z.infer<typeof TransitiveDependenciesResultSchema>;
+declare const ObservedDependenciesResultSchema: z.ZodObject<{
+    origin: z.ZodString;
+    dependencies: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        source: z.ZodString;
+        target: z.ZodString;
+        type: z.ZodEnum<["CALLS", "DEPENDS_ON", "CONNECTS_TO", "CONFIGURED_BY", "PUBLISHES_TO", "CONSUMES_FROM", "RUNS_ON", "CONTAINS", "IMPORTS"]>;
+        provenance: z.ZodEnum<["EXTRACTED", "INFERRED", "OBSERVED", "STALE"]>;
+        confidence: z.ZodOptional<z.ZodNumber>;
+        lastObserved: z.ZodOptional<z.ZodString>;
+        callCount: z.ZodOptional<z.ZodNumber>;
+        evidence: z.ZodOptional<z.ZodObject<{
+            file: z.ZodString;
+            line: z.ZodOptional<z.ZodNumber>;
+            snippet: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            file: string;
+            line?: number | undefined;
+            snippet?: string | undefined;
+        }, {
+            file: string;
+            line?: number | undefined;
+            snippet?: string | undefined;
+        }>>;
+        signal: z.ZodOptional<z.ZodObject<{
+            spanCount: z.ZodNumber;
+            errorCount: z.ZodNumber;
+            lastObservedAgeMs: z.ZodOptional<z.ZodNumber>;
+        }, "strip", z.ZodTypeAny, {
+            spanCount: number;
+            errorCount: number;
+            lastObservedAgeMs?: number | undefined;
+        }, {
+            spanCount: number;
+            errorCount: number;
+            lastObservedAgeMs?: number | undefined;
+        }>>;
+    }, "strip", z.ZodTypeAny, {
+        type: "CALLS" | "DEPENDS_ON" | "CONNECTS_TO" | "CONFIGURED_BY" | "PUBLISHES_TO" | "CONSUMES_FROM" | "RUNS_ON" | "CONTAINS" | "IMPORTS";
+        id: string;
+        source: string;
+        target: string;
+        provenance: "EXTRACTED" | "INFERRED" | "OBSERVED" | "STALE";
+        lastObserved?: string | undefined;
+        confidence?: number | undefined;
+        callCount?: number | undefined;
+        evidence?: {
+            file: string;
+            line?: number | undefined;
+            snippet?: string | undefined;
+        } | undefined;
+        signal?: {
+            spanCount: number;
+            errorCount: number;
+            lastObservedAgeMs?: number | undefined;
+        } | undefined;
+    }, {
+        type: "CALLS" | "DEPENDS_ON" | "CONNECTS_TO" | "CONFIGURED_BY" | "PUBLISHES_TO" | "CONSUMES_FROM" | "RUNS_ON" | "CONTAINS" | "IMPORTS";
+        id: string;
+        source: string;
+        target: string;
+        provenance: "EXTRACTED" | "INFERRED" | "OBSERVED" | "STALE";
+        lastObserved?: string | undefined;
+        confidence?: number | undefined;
+        callCount?: number | undefined;
+        evidence?: {
+            file: string;
+            line?: number | undefined;
+            snippet?: string | undefined;
+        } | undefined;
+        signal?: {
+            spanCount: number;
+            errorCount: number;
+            lastObservedAgeMs?: number | undefined;
+        } | undefined;
+    }>, "many">;
+    observed: z.ZodBoolean;
+    inboundObservedCount: z.ZodNumber;
+    hasExtractedOutbound: z.ZodBoolean;
+}, "strip", z.ZodTypeAny, {
+    dependencies: {
+        type: "CALLS" | "DEPENDS_ON" | "CONNECTS_TO" | "CONFIGURED_BY" | "PUBLISHES_TO" | "CONSUMES_FROM" | "RUNS_ON" | "CONTAINS" | "IMPORTS";
+        id: string;
+        source: string;
+        target: string;
+        provenance: "EXTRACTED" | "INFERRED" | "OBSERVED" | "STALE";
+        lastObserved?: string | undefined;
+        confidence?: number | undefined;
+        callCount?: number | undefined;
+        evidence?: {
+            file: string;
+            line?: number | undefined;
+            snippet?: string | undefined;
+        } | undefined;
+        signal?: {
+            spanCount: number;
+            errorCount: number;
+            lastObservedAgeMs?: number | undefined;
+        } | undefined;
+    }[];
+    origin: string;
+    observed: boolean;
+    inboundObservedCount: number;
+    hasExtractedOutbound: boolean;
+}, {
+    dependencies: {
+        type: "CALLS" | "DEPENDS_ON" | "CONNECTS_TO" | "CONFIGURED_BY" | "PUBLISHES_TO" | "CONSUMES_FROM" | "RUNS_ON" | "CONTAINS" | "IMPORTS";
+        id: string;
+        source: string;
+        target: string;
+        provenance: "EXTRACTED" | "INFERRED" | "OBSERVED" | "STALE";
+        lastObserved?: string | undefined;
+        confidence?: number | undefined;
+        callCount?: number | undefined;
+        evidence?: {
+            file: string;
+            line?: number | undefined;
+            snippet?: string | undefined;
+        } | undefined;
+        signal?: {
+            spanCount: number;
+            errorCount: number;
+            lastObservedAgeMs?: number | undefined;
+        } | undefined;
+    }[];
+    origin: string;
+    observed: boolean;
+    inboundObservedCount: number;
+    hasExtractedOutbound: boolean;
+}>;
+type ObservedDependenciesResult = z.infer<typeof ObservedDependenciesResultSchema>;
 
 declare function serviceId(name: string, env?: string): string;
 declare function parseServiceId(id: string): {
@@ -1717,6 +1848,91 @@ declare const CheckPoliciesScopeSchema: z.ZodUnion<[z.ZodEnum<["all", "unresolve
     policyId: string;
 }>]>;
 type CheckPoliciesScope = z.infer<typeof CheckPoliciesScopeSchema>;
+declare const ApplicablePolicySchema: z.ZodObject<{
+    policyId: z.ZodString;
+    policyName: z.ZodString;
+    description: z.ZodOptional<z.ZodString>;
+    severity: z.ZodEnum<["info", "warning", "error", "critical"]>;
+    onViolation: z.ZodEnum<["log", "alert", "block"]>;
+    ruleType: z.ZodEnum<["structural", "compatibility", "provenance", "ownership", "blast-radius"]>;
+    match: z.ZodEnum<["subject", "region"]>;
+    reason: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    reason: string;
+    severity: "info" | "warning" | "error" | "critical";
+    onViolation: "log" | "alert" | "block";
+    policyId: string;
+    policyName: string;
+    ruleType: "provenance" | "structural" | "compatibility" | "ownership" | "blast-radius";
+    match: "region" | "subject";
+    description?: string | undefined;
+}, {
+    reason: string;
+    severity: "info" | "warning" | "error" | "critical";
+    onViolation: "log" | "alert" | "block";
+    policyId: string;
+    policyName: string;
+    ruleType: "provenance" | "structural" | "compatibility" | "ownership" | "blast-radius";
+    match: "region" | "subject";
+    description?: string | undefined;
+}>;
+type ApplicablePolicy = z.infer<typeof ApplicablePolicySchema>;
+declare const ApplicablePoliciesResponseSchema: z.ZodObject<{
+    node: z.ZodString;
+    applicable: z.ZodArray<z.ZodObject<{
+        policyId: z.ZodString;
+        policyName: z.ZodString;
+        description: z.ZodOptional<z.ZodString>;
+        severity: z.ZodEnum<["info", "warning", "error", "critical"]>;
+        onViolation: z.ZodEnum<["log", "alert", "block"]>;
+        ruleType: z.ZodEnum<["structural", "compatibility", "provenance", "ownership", "blast-radius"]>;
+        match: z.ZodEnum<["subject", "region"]>;
+        reason: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        reason: string;
+        severity: "info" | "warning" | "error" | "critical";
+        onViolation: "log" | "alert" | "block";
+        policyId: string;
+        policyName: string;
+        ruleType: "provenance" | "structural" | "compatibility" | "ownership" | "blast-radius";
+        match: "region" | "subject";
+        description?: string | undefined;
+    }, {
+        reason: string;
+        severity: "info" | "warning" | "error" | "critical";
+        onViolation: "log" | "alert" | "block";
+        policyId: string;
+        policyName: string;
+        ruleType: "provenance" | "structural" | "compatibility" | "ownership" | "blast-radius";
+        match: "region" | "subject";
+        description?: string | undefined;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    node: string;
+    applicable: {
+        reason: string;
+        severity: "info" | "warning" | "error" | "critical";
+        onViolation: "log" | "alert" | "block";
+        policyId: string;
+        policyName: string;
+        ruleType: "provenance" | "structural" | "compatibility" | "ownership" | "blast-radius";
+        match: "region" | "subject";
+        description?: string | undefined;
+    }[];
+}, {
+    node: string;
+    applicable: {
+        reason: string;
+        severity: "info" | "warning" | "error" | "critical";
+        onViolation: "log" | "alert" | "block";
+        policyId: string;
+        policyName: string;
+        ruleType: "provenance" | "structural" | "compatibility" | "ownership" | "blast-radius";
+        match: "region" | "subject";
+        description?: string | undefined;
+    }[];
+}>;
+type ApplicablePoliciesResponse = z.infer<typeof ApplicablePoliciesResponseSchema>;
 declare const PolicyViolationSchema: z.ZodObject<{
     id: z.ZodString;
     policyId: z.ZodString;
@@ -2080,7 +2296,6 @@ declare const MissingExtractedDivergenceSchema: z.ZodObject<{
     target: string;
     confidence: number;
     edgeType: "CALLS" | "DEPENDS_ON" | "CONNECTS_TO" | "CONFIGURED_BY" | "PUBLISHES_TO" | "CONSUMES_FROM" | "RUNS_ON" | "CONTAINS" | "IMPORTS";
-    recommendation: string;
     observed: {
         type: "CALLS" | "DEPENDS_ON" | "CONNECTS_TO" | "CONFIGURED_BY" | "PUBLISHES_TO" | "CONSUMES_FROM" | "RUNS_ON" | "CONTAINS" | "IMPORTS";
         id: string;
@@ -2101,6 +2316,7 @@ declare const MissingExtractedDivergenceSchema: z.ZodObject<{
             lastObservedAgeMs?: number | undefined;
         } | undefined;
     };
+    recommendation: string;
 }, {
     type: "missing-extracted";
     reason: string;
@@ -2108,7 +2324,6 @@ declare const MissingExtractedDivergenceSchema: z.ZodObject<{
     target: string;
     confidence: number;
     edgeType: "CALLS" | "DEPENDS_ON" | "CONNECTS_TO" | "CONFIGURED_BY" | "PUBLISHES_TO" | "CONSUMES_FROM" | "RUNS_ON" | "CONTAINS" | "IMPORTS";
-    recommendation: string;
     observed: {
         type: "CALLS" | "DEPENDS_ON" | "CONNECTS_TO" | "CONFIGURED_BY" | "PUBLISHES_TO" | "CONSUMES_FROM" | "RUNS_ON" | "CONTAINS" | "IMPORTS";
         id: string;
@@ -2129,6 +2344,7 @@ declare const MissingExtractedDivergenceSchema: z.ZodObject<{
             lastObservedAgeMs?: number | undefined;
         } | undefined;
     };
+    recommendation: string;
 }>;
 type MissingExtractedDivergence = z.infer<typeof MissingExtractedDivergenceSchema>;
 declare const CompatibilityVerdictSchema: z.ZodEnum<["incompatible", "deprecated", "unknown"]>;
@@ -2320,14 +2536,6 @@ declare const CompatViolationDivergenceSchema: z.ZodObject<{
     source: string;
     target: string;
     confidence: number;
-    rule: {
-        kind: string;
-        reason: string;
-        driver?: string | undefined;
-        engine?: string | undefined;
-        package?: string | undefined;
-    };
-    recommendation: string;
     observed: {
         type: "CALLS" | "DEPENDS_ON" | "CONNECTS_TO" | "CONFIGURED_BY" | "PUBLISHES_TO" | "CONSUMES_FROM" | "RUNS_ON" | "CONTAINS" | "IMPORTS";
         id: string;
@@ -2348,12 +2556,6 @@ declare const CompatViolationDivergenceSchema: z.ZodObject<{
             lastObservedAgeMs?: number | undefined;
         } | undefined;
     };
-}, {
-    type: "compat-violation";
-    reason: string;
-    source: string;
-    target: string;
-    confidence: number;
     rule: {
         kind: string;
         reason: string;
@@ -2362,6 +2564,12 @@ declare const CompatViolationDivergenceSchema: z.ZodObject<{
         package?: string | undefined;
     };
     recommendation: string;
+}, {
+    type: "compat-violation";
+    reason: string;
+    source: string;
+    target: string;
+    confidence: number;
     observed: {
         type: "CALLS" | "DEPENDS_ON" | "CONNECTS_TO" | "CONFIGURED_BY" | "PUBLISHES_TO" | "CONSUMES_FROM" | "RUNS_ON" | "CONTAINS" | "IMPORTS";
         id: string;
@@ -2382,6 +2590,14 @@ declare const CompatViolationDivergenceSchema: z.ZodObject<{
             lastObservedAgeMs?: number | undefined;
         } | undefined;
     };
+    rule: {
+        kind: string;
+        reason: string;
+        driver?: string | undefined;
+        engine?: string | undefined;
+        package?: string | undefined;
+    };
+    recommendation: string;
 }>;
 type CompatViolationDivergence = z.infer<typeof CompatViolationDivergenceSchema>;
 declare const DivergenceSchema: z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
@@ -2611,7 +2827,6 @@ declare const DivergenceSchema: z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
     target: string;
     confidence: number;
     edgeType: "CALLS" | "DEPENDS_ON" | "CONNECTS_TO" | "CONFIGURED_BY" | "PUBLISHES_TO" | "CONSUMES_FROM" | "RUNS_ON" | "CONTAINS" | "IMPORTS";
-    recommendation: string;
     observed: {
         type: "CALLS" | "DEPENDS_ON" | "CONNECTS_TO" | "CONFIGURED_BY" | "PUBLISHES_TO" | "CONSUMES_FROM" | "RUNS_ON" | "CONTAINS" | "IMPORTS";
         id: string;
@@ -2632,6 +2847,7 @@ declare const DivergenceSchema: z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
             lastObservedAgeMs?: number | undefined;
         } | undefined;
     };
+    recommendation: string;
 }, {
     type: "missing-extracted";
     reason: string;
@@ -2639,7 +2855,6 @@ declare const DivergenceSchema: z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
     target: string;
     confidence: number;
     edgeType: "CALLS" | "DEPENDS_ON" | "CONNECTS_TO" | "CONFIGURED_BY" | "PUBLISHES_TO" | "CONSUMES_FROM" | "RUNS_ON" | "CONTAINS" | "IMPORTS";
-    recommendation: string;
     observed: {
         type: "CALLS" | "DEPENDS_ON" | "CONNECTS_TO" | "CONFIGURED_BY" | "PUBLISHES_TO" | "CONSUMES_FROM" | "RUNS_ON" | "CONTAINS" | "IMPORTS";
         id: string;
@@ -2660,6 +2875,7 @@ declare const DivergenceSchema: z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
             lastObservedAgeMs?: number | undefined;
         } | undefined;
     };
+    recommendation: string;
 }>, z.ZodObject<{
     extractedVersion: z.ZodString;
     observedVersion: z.ZodString;
@@ -2823,14 +3039,6 @@ declare const DivergenceSchema: z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
     source: string;
     target: string;
     confidence: number;
-    rule: {
-        kind: string;
-        reason: string;
-        driver?: string | undefined;
-        engine?: string | undefined;
-        package?: string | undefined;
-    };
-    recommendation: string;
     observed: {
         type: "CALLS" | "DEPENDS_ON" | "CONNECTS_TO" | "CONFIGURED_BY" | "PUBLISHES_TO" | "CONSUMES_FROM" | "RUNS_ON" | "CONTAINS" | "IMPORTS";
         id: string;
@@ -2851,12 +3059,6 @@ declare const DivergenceSchema: z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
             lastObservedAgeMs?: number | undefined;
         } | undefined;
     };
-}, {
-    type: "compat-violation";
-    reason: string;
-    source: string;
-    target: string;
-    confidence: number;
     rule: {
         kind: string;
         reason: string;
@@ -2865,6 +3067,12 @@ declare const DivergenceSchema: z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
         package?: string | undefined;
     };
     recommendation: string;
+}, {
+    type: "compat-violation";
+    reason: string;
+    source: string;
+    target: string;
+    confidence: number;
     observed: {
         type: "CALLS" | "DEPENDS_ON" | "CONNECTS_TO" | "CONFIGURED_BY" | "PUBLISHES_TO" | "CONSUMES_FROM" | "RUNS_ON" | "CONTAINS" | "IMPORTS";
         id: string;
@@ -2885,6 +3093,14 @@ declare const DivergenceSchema: z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
             lastObservedAgeMs?: number | undefined;
         } | undefined;
     };
+    rule: {
+        kind: string;
+        reason: string;
+        driver?: string | undefined;
+        engine?: string | undefined;
+        package?: string | undefined;
+    };
+    recommendation: string;
 }>]>;
 type Divergence = z.infer<typeof DivergenceSchema>;
 declare const DivergenceResultSchema: z.ZodObject<{
@@ -3115,7 +3331,6 @@ declare const DivergenceResultSchema: z.ZodObject<{
         target: string;
         confidence: number;
         edgeType: "CALLS" | "DEPENDS_ON" | "CONNECTS_TO" | "CONFIGURED_BY" | "PUBLISHES_TO" | "CONSUMES_FROM" | "RUNS_ON" | "CONTAINS" | "IMPORTS";
-        recommendation: string;
         observed: {
             type: "CALLS" | "DEPENDS_ON" | "CONNECTS_TO" | "CONFIGURED_BY" | "PUBLISHES_TO" | "CONSUMES_FROM" | "RUNS_ON" | "CONTAINS" | "IMPORTS";
             id: string;
@@ -3136,6 +3351,7 @@ declare const DivergenceResultSchema: z.ZodObject<{
                 lastObservedAgeMs?: number | undefined;
             } | undefined;
         };
+        recommendation: string;
     }, {
         type: "missing-extracted";
         reason: string;
@@ -3143,7 +3359,6 @@ declare const DivergenceResultSchema: z.ZodObject<{
         target: string;
         confidence: number;
         edgeType: "CALLS" | "DEPENDS_ON" | "CONNECTS_TO" | "CONFIGURED_BY" | "PUBLISHES_TO" | "CONSUMES_FROM" | "RUNS_ON" | "CONTAINS" | "IMPORTS";
-        recommendation: string;
         observed: {
             type: "CALLS" | "DEPENDS_ON" | "CONNECTS_TO" | "CONFIGURED_BY" | "PUBLISHES_TO" | "CONSUMES_FROM" | "RUNS_ON" | "CONTAINS" | "IMPORTS";
             id: string;
@@ -3164,6 +3379,7 @@ declare const DivergenceResultSchema: z.ZodObject<{
                 lastObservedAgeMs?: number | undefined;
             } | undefined;
         };
+        recommendation: string;
     }>, z.ZodObject<{
         extractedVersion: z.ZodString;
         observedVersion: z.ZodString;
@@ -3327,14 +3543,6 @@ declare const DivergenceResultSchema: z.ZodObject<{
         source: string;
         target: string;
         confidence: number;
-        rule: {
-            kind: string;
-            reason: string;
-            driver?: string | undefined;
-            engine?: string | undefined;
-            package?: string | undefined;
-        };
-        recommendation: string;
         observed: {
             type: "CALLS" | "DEPENDS_ON" | "CONNECTS_TO" | "CONFIGURED_BY" | "PUBLISHES_TO" | "CONSUMES_FROM" | "RUNS_ON" | "CONTAINS" | "IMPORTS";
             id: string;
@@ -3355,12 +3563,6 @@ declare const DivergenceResultSchema: z.ZodObject<{
                 lastObservedAgeMs?: number | undefined;
             } | undefined;
         };
-    }, {
-        type: "compat-violation";
-        reason: string;
-        source: string;
-        target: string;
-        confidence: number;
         rule: {
             kind: string;
             reason: string;
@@ -3369,6 +3571,12 @@ declare const DivergenceResultSchema: z.ZodObject<{
             package?: string | undefined;
         };
         recommendation: string;
+    }, {
+        type: "compat-violation";
+        reason: string;
+        source: string;
+        target: string;
+        confidence: number;
         observed: {
             type: "CALLS" | "DEPENDS_ON" | "CONNECTS_TO" | "CONFIGURED_BY" | "PUBLISHES_TO" | "CONSUMES_FROM" | "RUNS_ON" | "CONTAINS" | "IMPORTS";
             id: string;
@@ -3389,6 +3597,14 @@ declare const DivergenceResultSchema: z.ZodObject<{
                 lastObservedAgeMs?: number | undefined;
             } | undefined;
         };
+        rule: {
+            kind: string;
+            reason: string;
+            driver?: string | undefined;
+            engine?: string | undefined;
+            package?: string | undefined;
+        };
+        recommendation: string;
     }>]>, "many">;
     totalAffected: z.ZodNumber;
     computedAt: z.ZodString;
@@ -3429,7 +3645,6 @@ declare const DivergenceResultSchema: z.ZodObject<{
         target: string;
         confidence: number;
         edgeType: "CALLS" | "DEPENDS_ON" | "CONNECTS_TO" | "CONFIGURED_BY" | "PUBLISHES_TO" | "CONSUMES_FROM" | "RUNS_ON" | "CONTAINS" | "IMPORTS";
-        recommendation: string;
         observed: {
             type: "CALLS" | "DEPENDS_ON" | "CONNECTS_TO" | "CONFIGURED_BY" | "PUBLISHES_TO" | "CONSUMES_FROM" | "RUNS_ON" | "CONTAINS" | "IMPORTS";
             id: string;
@@ -3450,6 +3665,7 @@ declare const DivergenceResultSchema: z.ZodObject<{
                 lastObservedAgeMs?: number | undefined;
             } | undefined;
         };
+        recommendation: string;
     } | {
         type: "version-mismatch";
         reason: string;
@@ -3475,14 +3691,6 @@ declare const DivergenceResultSchema: z.ZodObject<{
         source: string;
         target: string;
         confidence: number;
-        rule: {
-            kind: string;
-            reason: string;
-            driver?: string | undefined;
-            engine?: string | undefined;
-            package?: string | undefined;
-        };
-        recommendation: string;
         observed: {
             type: "CALLS" | "DEPENDS_ON" | "CONNECTS_TO" | "CONFIGURED_BY" | "PUBLISHES_TO" | "CONSUMES_FROM" | "RUNS_ON" | "CONTAINS" | "IMPORTS";
             id: string;
@@ -3503,6 +3711,14 @@ declare const DivergenceResultSchema: z.ZodObject<{
                 lastObservedAgeMs?: number | undefined;
             } | undefined;
         };
+        rule: {
+            kind: string;
+            reason: string;
+            driver?: string | undefined;
+            engine?: string | undefined;
+            package?: string | undefined;
+        };
+        recommendation: string;
     })[];
     computedAt: string;
 }, {
@@ -3542,7 +3758,6 @@ declare const DivergenceResultSchema: z.ZodObject<{
         target: string;
         confidence: number;
         edgeType: "CALLS" | "DEPENDS_ON" | "CONNECTS_TO" | "CONFIGURED_BY" | "PUBLISHES_TO" | "CONSUMES_FROM" | "RUNS_ON" | "CONTAINS" | "IMPORTS";
-        recommendation: string;
         observed: {
             type: "CALLS" | "DEPENDS_ON" | "CONNECTS_TO" | "CONFIGURED_BY" | "PUBLISHES_TO" | "CONSUMES_FROM" | "RUNS_ON" | "CONTAINS" | "IMPORTS";
             id: string;
@@ -3563,6 +3778,7 @@ declare const DivergenceResultSchema: z.ZodObject<{
                 lastObservedAgeMs?: number | undefined;
             } | undefined;
         };
+        recommendation: string;
     } | {
         type: "version-mismatch";
         reason: string;
@@ -3588,14 +3804,6 @@ declare const DivergenceResultSchema: z.ZodObject<{
         source: string;
         target: string;
         confidence: number;
-        rule: {
-            kind: string;
-            reason: string;
-            driver?: string | undefined;
-            engine?: string | undefined;
-            package?: string | undefined;
-        };
-        recommendation: string;
         observed: {
             type: "CALLS" | "DEPENDS_ON" | "CONNECTS_TO" | "CONFIGURED_BY" | "PUBLISHES_TO" | "CONSUMES_FROM" | "RUNS_ON" | "CONTAINS" | "IMPORTS";
             id: string;
@@ -3616,6 +3824,14 @@ declare const DivergenceResultSchema: z.ZodObject<{
                 lastObservedAgeMs?: number | undefined;
             } | undefined;
         };
+        rule: {
+            kind: string;
+            reason: string;
+            driver?: string | undefined;
+            engine?: string | undefined;
+            package?: string | undefined;
+        };
+        recommendation: string;
     })[];
     computedAt: string;
 }>;
@@ -9221,7 +9437,7 @@ declare const GraphDiffResultSchema: z.ZodObject<{
 }>;
 type GraphDiffResult = z.infer<typeof GraphDiffResultSchema>;
 
-type ExtractedConfidenceKind = 'structural' | 'verified-call-site' | 'url-with-structural-support' | 'hostname-shape-match';
+type ExtractedConfidenceKind = 'structural' | 'verified-call-site' | 'url-with-structural-support' | 'url-literal-service-target' | 'hostname-shape-match';
 declare const EXTRACTED_CONFIDENCE: Record<ExtractedConfidenceKind, number>;
 declare function confidenceForExtracted(kind: ExtractedConfidenceKind): number;
 declare function confidenceForObservedSignal(signal: EdgeSignal | undefined): number;
@@ -9229,4 +9445,4 @@ declare const DEFAULT_EXTRACTED_PRECISION_FLOOR = 0.7;
 declare function extractedPrecisionFloor(): number;
 declare function passesExtractedFloor(confidence: number): boolean;
 
-export { type BlastRadiusAffectedNode, BlastRadiusAffectedNodeSchema, type BlastRadiusResult, BlastRadiusResultSchema, type BlastRadiusRule, BlastRadiusRuleSchema, type CheckPoliciesScope, CheckPoliciesScopeSchema, type CompatRuleRef, CompatRuleRefSchema, type CompatViolationDivergence, CompatViolationDivergenceSchema, type CompatibilityRule, CompatibilityRuleSchema, type CompatibilityVerdict, CompatibilityVerdictSchema, type CompatibleDriver, CompatibleDriverSchema, type ConfigNode, ConfigNodeSchema, DEFAULT_EXTRACTED_PRECISION_FLOOR, type DaemonHealthResponse, DaemonHealthResponseSchema, type DatabaseNode, DatabaseNodeSchema, type DiscoveredVia, DiscoveredViaSchema, type Divergence, type DivergenceResult, DivergenceResultSchema, DivergenceSchema, type DivergenceType, DivergenceTypeSchema, EMPTY_REGISTRY, EXTRACTED_CONFIDENCE, type EdgeEvidence, EdgeEvidenceSchema, type EdgeSignal, EdgeSignalSchema, EdgeType, EdgeTypeSchema, type EdgeTypeValue, type ErrorEvent, ErrorEventSchema, type ExtractedConfidenceKind, type FileNode, FileNodeSchema, type FrontierNode, FrontierNodeSchema, type GraphDiffResult, GraphDiffResultSchema, type GraphEdge, GraphEdgeSchema, type GraphEdgesResponse, GraphEdgesResponseSchema, type GraphNode, type GraphNodeResponse, GraphNodeResponseSchema, GraphNodeSchema, type HealthResponse, HealthResponseSchema, type HostMismatchDivergence, HostMismatchDivergenceSchema, type HypotheticalAction, HypotheticalActionSchema, type IncidentsResponse, IncidentsResponseSchema, type InfraNode, InfraNodeSchema, type MCPToolName, MCP_TOOL_NAMES, type MissingExtractedDivergence, MissingExtractedDivergenceSchema, type MissingObservedDivergence, MissingObservedDivergenceSchema, NodeType, NodeTypeSchema, type NodeTypeValue, type OwnershipRule, OwnershipRuleSchema, PROV_RANK, type PoliciesCheckBody, PoliciesCheckBodySchema, type PoliciesViolationsResponse, PoliciesViolationsResponseSchema, type Policy, type PolicyAction, PolicyActionSchema, type PolicyFile, PolicyFileSchema, type PolicyRule, PolicyRuleSchema, PolicySchema, type PolicySeverity, PolicySeveritySchema, type PolicyViolation, PolicyViolationSchema, Provenance, type ProvenanceRule, ProvenanceRuleSchema, ProvenanceSchema, type ProvenanceValue, type RegistryEntry, RegistryEntrySchema, type RegistryFile, RegistryFileSchema, type RegistryStatus, RegistryStatusSchema, type RootCauseResult, RootCauseResultSchema, type SearchMatch, SearchMatchSchema, type SearchResponse, SearchResponseSchema, type SerializedGraph, SerializedGraphSchema, type ServiceNode, ServiceNodeSchema, type SingleProjectResponse, SingleProjectResponseSchema, type SpanAttributes, SpanAttributesSchema, type StaleEvent, StaleEventSchema, type StaleEventsResponse, StaleEventsResponseSchema, type StructuralRule, StructuralRuleSchema, type TransitiveDependenciesResult, TransitiveDependenciesResultSchema, type TransitiveDependency, TransitiveDependencySchema, type VersionMismatchDivergence, VersionMismatchDivergenceSchema, confidenceForExtracted, confidenceForObservedSignal, configId, databaseId, extractedEdgeId, extractedPrecisionFloor, fileId, frontierId, inferredEdgeId, infraId, observedEdgeId, parseConfigId, parseDatabaseId, parseEdgeId, parseFileId, parseFrontierId, parseInfraId, parseServiceId, passesExtractedFloor, serviceId };
+export { type ApplicablePoliciesResponse, ApplicablePoliciesResponseSchema, type ApplicablePolicy, ApplicablePolicySchema, type BlastRadiusAffectedNode, BlastRadiusAffectedNodeSchema, type BlastRadiusResult, BlastRadiusResultSchema, type BlastRadiusRule, BlastRadiusRuleSchema, type CheckPoliciesScope, CheckPoliciesScopeSchema, type CompatRuleRef, CompatRuleRefSchema, type CompatViolationDivergence, CompatViolationDivergenceSchema, type CompatibilityRule, CompatibilityRuleSchema, type CompatibilityVerdict, CompatibilityVerdictSchema, type CompatibleDriver, CompatibleDriverSchema, type ConfigNode, ConfigNodeSchema, DEFAULT_EXTRACTED_PRECISION_FLOOR, type DaemonHealthResponse, DaemonHealthResponseSchema, type DatabaseNode, DatabaseNodeSchema, type DiscoveredVia, DiscoveredViaSchema, type Divergence, type DivergenceResult, DivergenceResultSchema, DivergenceSchema, type DivergenceType, DivergenceTypeSchema, EMPTY_REGISTRY, EXTRACTED_CONFIDENCE, type EdgeEvidence, EdgeEvidenceSchema, type EdgeSignal, EdgeSignalSchema, EdgeType, EdgeTypeSchema, type EdgeTypeValue, type ErrorEvent, ErrorEventSchema, type ExtractedConfidenceKind, type FileNode, FileNodeSchema, type FrontierNode, FrontierNodeSchema, type GraphDiffResult, GraphDiffResultSchema, type GraphEdge, GraphEdgeSchema, type GraphEdgesResponse, GraphEdgesResponseSchema, type GraphNode, type GraphNodeResponse, GraphNodeResponseSchema, GraphNodeSchema, type HealthResponse, HealthResponseSchema, type HostMismatchDivergence, HostMismatchDivergenceSchema, type HypotheticalAction, HypotheticalActionSchema, type IncidentsResponse, IncidentsResponseSchema, type InfraNode, InfraNodeSchema, type MCPToolName, MCP_TOOL_NAMES, type MissingExtractedDivergence, MissingExtractedDivergenceSchema, type MissingObservedDivergence, MissingObservedDivergenceSchema, NodeType, NodeTypeSchema, type NodeTypeValue, type ObservedDependenciesResult, ObservedDependenciesResultSchema, type OwnershipRule, OwnershipRuleSchema, PROV_RANK, type PoliciesCheckBody, PoliciesCheckBodySchema, type PoliciesViolationsResponse, PoliciesViolationsResponseSchema, type Policy, type PolicyAction, PolicyActionSchema, type PolicyFile, PolicyFileSchema, type PolicyRule, PolicyRuleSchema, PolicySchema, type PolicySeverity, PolicySeveritySchema, type PolicyViolation, PolicyViolationSchema, Provenance, type ProvenanceRule, ProvenanceRuleSchema, ProvenanceSchema, type ProvenanceValue, type RegistryEntry, RegistryEntrySchema, type RegistryFile, RegistryFileSchema, type RegistryStatus, RegistryStatusSchema, type RootCauseResult, RootCauseResultSchema, type SearchMatch, SearchMatchSchema, type SearchResponse, SearchResponseSchema, type SerializedGraph, SerializedGraphSchema, type ServiceNode, ServiceNodeSchema, type SingleProjectResponse, SingleProjectResponseSchema, type SpanAttributes, SpanAttributesSchema, type StaleEvent, StaleEventSchema, type StaleEventsResponse, StaleEventsResponseSchema, type StructuralRule, StructuralRuleSchema, type TransitiveDependenciesResult, TransitiveDependenciesResultSchema, type TransitiveDependency, TransitiveDependencySchema, type VersionMismatchDivergence, VersionMismatchDivergenceSchema, confidenceForExtracted, confidenceForObservedSignal, configId, databaseId, extractedEdgeId, extractedPrecisionFloor, fileId, frontierId, inferredEdgeId, infraId, observedEdgeId, parseConfigId, parseDatabaseId, parseEdgeId, parseFileId, parseFrontierId, parseInfraId, parseServiceId, passesExtractedFloor, serviceId };

package/dist/index.js

@@ -320,6 +320,21 @@ var TransitiveDependenciesResultSchema = z5.object({
   dependencies: z5.array(TransitiveDependencySchema),
   total: z5.number().int().nonnegative()
 });
+var ObservedDependenciesResultSchema = z5.object({
+  origin: z5.string(),
+  // OBSERVED outbound edges (CALLS/CONNECTS_TO/etc.), file-grained. Structural
+  // CONTAINS ownership is never listed here — it is not a runtime dependency.
+  dependencies: z5.array(GraphEdgeSchema),
+  // Did OTel see this node (or a file it owns) at all — as caller or callee?
+  // Distinguishes a pure receiver from a node runtime has never touched.
+  observed: z5.boolean(),
+  // Count of OBSERVED inbound edges into the node (and its owned files). A
+  // non-zero count with zero dependencies is the pure-receiver signal.
+  inboundObservedCount: z5.number().int().nonnegative(),
+  // Are there EXTRACTED outbound edges but no OBSERVED ones? Only then is
+  // "static deps exist but no runtime traffic — is OTel running?" the honest note.
+  hasExtractedOutbound: z5.boolean()
+});
 
 // src/identity.ts
 var SERVICE_PREFIX = "service:";
@@ -523,6 +538,24 @@ var CheckPoliciesScopeSchema = z6.union([
   z6.enum(["all", "unresolved"]),
   z6.object({ policyId: z6.string().min(1) })
 ]);
+var ApplicablePolicySchema = z6.object({
+  policyId: z6.string().min(1),
+  policyName: z6.string().min(1),
+  description: z6.string().optional(),
+  severity: PolicySeveritySchema,
+  // The action the post-launch kernel gate WOULD take (ADR-093) — resolved
+  // from policy.onViolation or the severity default. Shown for awareness only;
+  // the soft guardrail never acts on it.
+  onViolation: PolicyActionSchema,
+  ruleType: z6.enum(["structural", "compatibility", "provenance", "ownership", "blast-radius"]),
+  match: z6.enum(["subject", "region"]),
+  // Human-readable reason the policy applies here — rides into agent context.
+  reason: z6.string().min(1)
+});
+var ApplicablePoliciesResponseSchema = z6.object({
+  node: z6.string().min(1),
+  applicable: z6.array(ApplicablePolicySchema)
+});
 var PolicyViolationSchema = z6.object({
   // ${policy.id}:${violation-context}. The violation-context is shape-
   // specific (e.g. nodeId for structural; edgeId for provenance).
@@ -746,6 +779,7 @@ var GraphDiffResultSchema = z9.object({
 var EXTRACTED_CONFIDENCE = {
   structural: 0.85,
   "verified-call-site": 0.85,
+  "url-literal-service-target": 0.7,
   "url-with-structural-support": 0.5,
   "hostname-shape-match": 0.2
 };
@@ -797,6 +831,8 @@ function passesExtractedFloor(confidence) {
   return confidence >= extractedPrecisionFloor();
 }
 export {
+  ApplicablePoliciesResponseSchema,
+  ApplicablePolicySchema,
   BlastRadiusAffectedNodeSchema,
   BlastRadiusResultSchema,
   BlastRadiusRuleSchema,
@@ -838,6 +874,7 @@ export {
   MissingObservedDivergenceSchema,
   NodeType,
   NodeTypeSchema,
+  ObservedDependenciesResultSchema,
   OwnershipRuleSchema,
   PROV_RANK,
   PoliciesCheckBodySchema,