Workflow & Verification

Guardrails That Stop It

• Verified Identity: Promotion is based on artifact digest, not ad-hoc rebuilds.
• SBOM Evidence: A verifiable SBOM is generated for every production release.
• Pre-Admission Check: Signatures and attestations are verified at the cluster boundary.
• Audit-to-Enforce: Verification policies are rolled out in phases (Audit -> Enforce).

Prerequisites

To implement this workflow, you need:

• Kyverno: The policy engine installed and reconciled via Flux.
• Cosign: For signing and verifying container images.
• Attestation Templates: Pre-defined policies for provenance and SBOM checks.

apiVersion: kyverno.io/v1
kind: ClusterPolicy
metadata:
  name: verify-signed-images-example
spec:
  validationFailureAction: Audit
  background: false
  rules:
    - name: verify-ghcr-signatures
      match:
        any:
          - resources:
              kinds:
                - Pod
      verifyImages:
        - imageReferences:
            - "${image_registry}/*"
          mutateDigest: true
          attestors:
            - entries:
                - keyless:
                    # Replace with your CI issuer and subject constraints.
                    issuer: "https://token.actions.githubusercontent.com"
                    subject: "https://github.com/${git_owner}/*"

Safe Workflow (Step-by-Step)

1. Pick Artifact: Select the immutable artifact reference (digest) from Staging.
2. Generate SBOM: Create the SBOM and sign/attest it within the CI pipeline.
3. Local Verify: Test the signature and attestation locally using cosign verify.
4. Apply Audit Policy: Deploy the Kyverno policy in Audit mode in the develop namespace.
5. Observe Reports: Monitor cluster events for “Audit” violations.
6. Enforce Policy: Transition the policy to Enforce mode once the audit is stable.

Binary Outcome Drill

Target behavior in Enforce mode:

• Denied: Unsigned or untrusted artifacts are blocked at admission.
• Admitted: Signed and attested artifacts matching the policy are allowed to run.

apiVersion: kyverno.io/v1
kind: ClusterPolicy
metadata:
  name: require-sbom-attestation-example
spec:
  validationFailureAction: Audit
  background: false
  rules:
    - name: verify-spdx-attestation
      match:
        any:
          - resources:
              kinds:
                - Pod
      verifyImages:
        - imageReferences:
            - "${image_registry}/*"
          attestations:
            - type: "https://spdx.dev/Document"
              attestors:
                - entries:
                    - keyless:
                        issuer: "https://token.actions.githubusercontent.com"
                        subject: "https://github.com/${git_owner}/*"

This builds on: Admission policies (Chapter 16) — verifyImages is an admission policy; you already know the audit → enforce rollout. This enables: Rollback and migrations (Chapter 18) — trusted artifacts are the precondition for a safe rollback.