Add CEL validation for RegistrySources in Image API

Author: muraee

config/v1/tests/images.config.openshift.io/AAA_ungated.yaml

@@ -12,3 +12,93 @@ tests:
         apiVersion: config.openshift.io/v1
         kind: Image
         spec: {}
+  onUpdate:
+    - name: Should allow updating other fields with an invalid persisted registrySources in spec
+      initialCRDPatches:
+        - op: remove
+          path: /spec/versions/0/schema/openAPIV3Schema/properties/spec/properties/registrySources/x-kubernetes-validations
+      initial: |
+        apiVersion: config.openshift.io/v1
+        kind: Image
+        spec:
+          registrySources:
+            blockedRegistries: ["test"]
+            allowedRegistries: ["test"]
+      updated: |
+        apiVersion: config.openshift.io/v1
+        kind: Image
+        spec:
+          # imageStreamImportMode: Legacy
+          externalRegistryHostnames: ["test"]
+          registrySources:
+            blockedRegistries: ["test"]
+            allowedRegistries: ["test"]
+      expected: |
+        apiVersion: config.openshift.io/v1
+        kind: Image
+        spec:
+          # imageStreamImportMode: Legacy
+          externalRegistryHostnames: ["test"]
+          registrySources:
+            blockedRegistries: ["test"]
+            allowedRegistries: ["test"]
+    - name: Should allow removing one of blockedRegistries or allowedRegistries with an invalid persisted registrySources in spec
+      initialCRDPatches:
+        - op: remove
+          path: /spec/versions/0/schema/openAPIV3Schema/properties/spec/properties/registrySources/x-kubernetes-validations
+      initial: |
+        apiVersion: config.openshift.io/v1
+        kind: Image
+        spec:
+          registrySources:
+            blockedRegistries: ["test"]
+            allowedRegistries: ["test"]
+      updated: |
+        apiVersion: config.openshift.io/v1
+        kind: Image
+        spec:
+          registrySources:
+            allowedRegistries: ["test"]
+      expected: |
+        apiVersion: config.openshift.io/v1
+        kind: Image
+        spec:
+          registrySources:
+            allowedRegistries: ["test"]
+    - name: Should not allow adding another slice entry with an invalid persisted registrySources in spec
+      initialCRDPatches:
+        - op: remove
+          path: /spec/versions/0/schema/openAPIV3Schema/properties/spec/properties/registrySources/x-kubernetes-validations
+      initial: |
+        apiVersion: config.openshift.io/v1
+        kind: Image
+        spec:
+          registrySources:
+            blockedRegistries: ["test"]
+            allowedRegistries: ["test"]
+      updated: |
+        apiVersion: config.openshift.io/v1
+        kind: Image
+        spec:
+          registrySources:
+            blockedRegistries: ["test", "test2"]
+            allowedRegistries: ["test"]
+      expectedError: 'Only one of BlockedRegistries or AllowedRegistries may be set'
+    - name: Should not allow adding blockedRegistries field when a valid registrySources with allowedRegistries is persisted in spec
+      initialCRDPatches:
+        - op: remove
+          path: /spec/versions/0/schema/openAPIV3Schema/properties/spec/properties/registrySources/x-kubernetes-validations
+      initial: |
+        apiVersion: config.openshift.io/v1
+        kind: Image
+        spec:
+          registrySources:
+            allowedRegistries: ["test"]
+      updated: |
+        apiVersion: config.openshift.io/v1
+        kind: Image
+        spec:
+          registrySources:
+            allowedRegistries: ["test"]
+            blockedRegistries: ["test"]
+      expectedError: 'Only one of BlockedRegistries or AllowedRegistries may be set'

config/v1/types_image.go

@@ -161,6 +161,8 @@ type RegistryLocation struct {
 }
 
 // RegistrySources holds cluster-wide information about how to handle the registries config.
+//
+// +kubebuilder:validation:XValidation:rule="has(self.blockedRegistries) ? !has(self.allowedRegistries) : true",message="Only one of BlockedRegistries or AllowedRegistries may be set"
 type RegistrySources struct {
 	// insecureRegistries are registries which do not have a valid TLS certificates or only support HTTP connections.
 	// +optional

config/v1/zz_generated.crd-manifests/0000_10_config-operator_01_images-CustomNoUpgrade.crd.yaml

@@ -164,6 +164,11 @@ spec:
                     type: array
                     x-kubernetes-list-type: atomic
                 type: object
+                x-kubernetes-validations:
+                - message: Only one of BlockedRegistries or AllowedRegistries may
+                    be set
+                  rule: 'has(self.blockedRegistries) ? !has(self.allowedRegistries)
+                    : true'
             type: object
           status:
             description: status holds observed values from the cluster. They may not

config/v1/zz_generated.crd-manifests/0000_10_config-operator_01_images-Default.crd.yaml

@@ -146,6 +146,11 @@ spec:
                     type: array
                     x-kubernetes-list-type: atomic
                 type: object
+                x-kubernetes-validations:
+                - message: Only one of BlockedRegistries or AllowedRegistries may
+                    be set
+                  rule: 'has(self.blockedRegistries) ? !has(self.allowedRegistries)
+                    : true'
             type: object
           status:
             description: status holds observed values from the cluster. They may not

config/v1/zz_generated.crd-manifests/0000_10_config-operator_01_images-DevPreviewNoUpgrade.crd.yaml

@@ -164,6 +164,11 @@ spec:
                     type: array
                     x-kubernetes-list-type: atomic
                 type: object
+                x-kubernetes-validations:
+                - message: Only one of BlockedRegistries or AllowedRegistries may
+                    be set
+                  rule: 'has(self.blockedRegistries) ? !has(self.allowedRegistries)
+                    : true'
             type: object
           status:
             description: status holds observed values from the cluster. They may not

config/v1/zz_generated.crd-manifests/0000_10_config-operator_01_images-TechPreviewNoUpgrade.crd.yaml

@@ -164,6 +164,11 @@ spec:
                     type: array
                     x-kubernetes-list-type: atomic
                 type: object
+                x-kubernetes-validations:
+                - message: Only one of BlockedRegistries or AllowedRegistries may
+                    be set
+                  rule: 'has(self.blockedRegistries) ? !has(self.allowedRegistries)
+                    : true'
             type: object
           status:
             description: status holds observed values from the cluster. They may not

config/v1/zz_generated.featuregated-crd-manifests/images.config.openshift.io/AAA_ungated.yaml

@@ -146,6 +146,11 @@ spec:
                     type: array
                     x-kubernetes-list-type: atomic
                 type: object
+                x-kubernetes-validations:
+                - message: Only one of BlockedRegistries or AllowedRegistries may
+                    be set
+                  rule: 'has(self.blockedRegistries) ? !has(self.allowedRegistries)
+                    : true'
             type: object
           status:
             description: status holds observed values from the cluster. They may not

config/v1/zz_generated.featuregated-crd-manifests/images.config.openshift.io/ImageStreamImportMode.yaml

@@ -164,6 +164,11 @@ spec:
                     type: array
                     x-kubernetes-list-type: atomic
                 type: object
+                x-kubernetes-validations:
+                - message: Only one of BlockedRegistries or AllowedRegistries may
+                    be set
+                  rule: 'has(self.blockedRegistries) ? !has(self.allowedRegistries)
+                    : true'
             type: object
           status:
             description: status holds observed values from the cluster. They may not

payload-manifests/crds/0000_10_config-operator_01_images-CustomNoUpgrade.crd.yaml

@@ -164,6 +164,11 @@ spec:
                     type: array
                     x-kubernetes-list-type: atomic
                 type: object
+                x-kubernetes-validations:
+                - message: Only one of BlockedRegistries or AllowedRegistries may
+                    be set
+                  rule: 'has(self.blockedRegistries) ? !has(self.allowedRegistries)
+                    : true'
             type: object
           status:
             description: status holds observed values from the cluster. They may not

payload-manifests/crds/0000_10_config-operator_01_images-Default.crd.yaml

@@ -146,6 +146,11 @@ spec:
                     type: array
                     x-kubernetes-list-type: atomic
                 type: object
+                x-kubernetes-validations:
+                - message: Only one of BlockedRegistries or AllowedRegistries may
+                    be set
+                  rule: 'has(self.blockedRegistries) ? !has(self.allowedRegistries)
+                    : true'
             type: object
           status:
             description: status holds observed values from the cluster. They may not

payload-manifests/crds/0000_10_config-operator_01_images-DevPreviewNoUpgrade.crd.yaml

@@ -164,6 +164,11 @@ spec:
                     type: array
                     x-kubernetes-list-type: atomic
                 type: object
+                x-kubernetes-validations:
+                - message: Only one of BlockedRegistries or AllowedRegistries may
+                    be set
+                  rule: 'has(self.blockedRegistries) ? !has(self.allowedRegistries)
+                    : true'
             type: object
           status:
             description: status holds observed values from the cluster. They may not

payload-manifests/crds/0000_10_config-operator_01_images-TechPreviewNoUpgrade.crd.yaml

@@ -164,6 +164,11 @@ spec:
                     type: array
                     x-kubernetes-list-type: atomic
                 type: object
+                x-kubernetes-validations:
+                - message: Only one of BlockedRegistries or AllowedRegistries may
+                    be set
+                  rule: 'has(self.blockedRegistries) ? !has(self.allowedRegistries)
+                    : true'
             type: object
           status:
             description: status holds observed values from the cluster. They may not