Capability Profile Catalog

A repository document, rendered for the site. View source markdown.

Generated at: 2026-07-30T12:38:02.000Z UTC · source: committed helm-expt evidence for this rendered repository document.

Helm charts often branch on .Capabilities.KubeVersion and .Capabilities.APIVersions. The proof model turns that implicit render context into a named, digest-bound capability profile.

The catalog lives at:

data/capability-profiles/catalog.yaml

Each profile records:

Variant revisions and render receipts should bind the chosen profile by name and digest. Redis does this today with k8s-1.30-default.

Bulk And Adversarial Runs

Bulk runs choose synthetic profiles deliberately:

The verifier fails if a render receipt references an unknown profile or if the stored digest no longer matches the catalog entry.