From 1a0f6de1755de4ecea619c40a4930fce75396375 Mon Sep 17 00:00:00 2001
From: Ralf Anton Beier <ralf_beier@me.com>
Date: Thu, 23 Jul 2026 20:20:33 +0200
Subject: [PATCH] test(ci): docs-only skip-probe for the Kani/non-required diet
 (throwaway)

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01HvusAXYbHLyv3uTzfBcMbG
---
 docs/OCI-DISTRIBUTION.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docs/OCI-DISTRIBUTION.md b/docs/OCI-DISTRIBUTION.md
index d941de8..45d4fd6 100644
--- a/docs/OCI-DISTRIBUTION.md
+++ b/docs/OCI-DISTRIBUTION.md
@@ -92,3 +92,5 @@ verified component, not yet a reusable library exposing a typed control
 interface. Publishing it is a provenance/visibility play (a formally-verified
 flight component, signed, in the public component ecosystem). A richer typed
 `falcon:flight` interface others could import is a separate follow-on.
+
+<!-- ci-diet skip-probe: docs-only change to validate that Kani + the non-required gates skip while Kani gate stays green. Safe to delete. -->