From 1da26db22ef3dc0f63d23e30d851be74832c28f2 Mon Sep 17 00:00:00 2001
From: Claude Code DTP Worker <claude-code-dtp@otov7.com>
Date: Fri, 31 Jul 2026 02:09:55 +0000
Subject: [PATCH] =?UTF-8?q?[DTP-Worker]=20Sprint=208=20=C2=B7=20buffer=20L?=
 =?UTF-8?q?75=20=C2=B7=20Fix=20"vert=20trompeur"=20:=20les=206=20gates=20c?=
 =?UTF-8?q?i/*.sh=20passaient=20exit=200=20VERT=20hors=20d'un=20arbre=20gi?=
 =?UTF-8?q?t=20(cd=20"$(git=20rev-parse=20=E2=80=A6)"=20=E2=86=92=20cd=20"?=
 =?UTF-8?q?"=20no-op=20succ=C3=A8s=20=E2=86=92=20git=20ls-files=20vide=20?=
 =?UTF-8?q?=E2=86=92=200=20fichier=20contr=C3=B4l=C3=A9).=20Helper=20parta?=
 =?UTF-8?q?g=C3=A9=20ci/lib.sh::cd=5Frepo=5Froot=20=C3=A9choue=20bruyammen?=
 =?UTF-8?q?t=20(exit=203).=20INV-B=20(check=5Fci=5Fintegrity)=20durci=20:?=
 =?UTF-8?q?=20un=20ci/*.sh=20est=20c=C3=A2bl=C3=A9=20s'il=20est=20lanc?=
 =?UTF-8?q?=C3=A9=20par=20un=20job=20OU=20sourc=C3=A9=20par=20un=20gate=20?=
 =?UTF-8?q?(prouve=20que=20lib.sh=20n'est=20pas=20mort).?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
---
 ci/README.md             | 20 ++++++++++++++++---
 ci/check_artifacts.sh    |  4 +++-
 ci/check_ci_integrity.sh | 33 ++++++++++++++++++++++++------
 ci/check_docs.sh         |  4 +++-
 ci/check_regression.sh   |  4 +++-
 ci/guard_constraints.sh  |  4 +++-
 ci/lib.sh                | 43 ++++++++++++++++++++++++++++++++++++++++
 ci/validate_json.sh      |  4 +++-
 8 files changed, 102 insertions(+), 14 deletions(-)
 create mode 100644 ci/lib.sh

diff --git a/ci/README.md b/ci/README.md
index cc1f20a..bac9d76 100644
--- a/ci/README.md
+++ b/ci/README.md
@@ -93,9 +93,11 @@ ne bloque **rien**, même rouge. Deux invariants :
   **oublié** du gate (MISSING → ne bloque pas), une **référence fantôme** (DANGLING →
   typo / job renommé-supprimé) et un job **manuel** glissé dans `needs` (gate en
   attente perpétuelle sur push).
-- **INV-B** — chaque script `ci/*.sh` du dépôt est lancé par exactement un job
-  (`run: bash ci/<script>`), lui-même dans `gate.needs`. Un nouveau gate statique
-  **non câblé** (script mort) ou **décâblé** casse le check.
+- **INV-B** — chaque script `ci/*.sh` du dépôt est **câblé** : soit lancé par un job
+  (`run: bash ci/<script>`) lui-même dans `gate.needs`, soit **sourcé** par ≥1 gate
+  script (lib partagée `ci/lib.sh` — jamais un job propre). Un nouveau gate statique
+  **non câblé** (script mort) ou **décâblé**, ou une **lib morte** (sourcée par
+  personne), casse le check.
 
 Ferme le trou laissé par les couvertures existantes (`audit_4big/registry`,
 `qa/regression/discovery`) qui ne prouvent l'appartenance au gate que des jobs de
@@ -103,6 +105,18 @@ Ferme le trou laissé par les couvertures existantes (`audit_4big/registry`,
 working-directory n'étaient gardés par personne. Même classe d'anti-dérive que INV4
 (disque→CI), appliquée au **câblage** CI. stdlib pur (bash/awk/git), zéro réseau.
 
+### `lib.sh` — helper partagé (sourcé, jamais exécuté seul)
+Les 6 gates commençaient tous par `cd "$(git rev-parse --show-toplevel)"`. **Hors**
+d'un arbre de travail git (tarball, `git archive | tar -x`, `git` absent du PATH),
+`git rev-parse` n'écrit rien → `cd ""` est un **no-op qui RETOURNE SUCCÈS** : le gate
+poursuivait, `git ls-files` renvoyait une liste **vide**, et `validate_json` /
+`guard_constraints` / `check_docs` sortaient **exit 0 VERT en n'ayant RIEN
+contrôlé** — le pire « vert trompeur ». `ci/lib.sh` factorise ce préambule dans
+`cd_repo_root`, qui **échoue bruyamment** (exit `3`, code distinct d'un échec de
+contrôle `1`) hors d'un checkout git. `check_ci_integrity` (INV-B) prouve que
+`lib.sh` est bien sourcé par des gates (pas du code mort) sans exiger qu'il figure
+dans un job.
+
 ## 3. Exécution locale (avant push)
 
 ```bash
diff --git a/ci/check_artifacts.sh b/ci/check_artifacts.sh
index 0d04c9a..3544cc6 100755
--- a/ci/check_artifacts.sh
+++ b/ci/check_artifacts.sh
@@ -27,7 +27,9 @@
 # (stdlib pur · CLAUDE.md #2 — runner Gitea sans pip).
 # ============================================================================
 set -uo pipefail
-cd "$(git rev-parse --show-toplevel)"
+# shellcheck source=ci/lib.sh
+source "$(dirname "${BASH_SOURCE[0]}")/lib.sh" || exit 3
+cd_repo_root  # racine du dépôt, ou ROUGE honnête si hors arbre git (cf. lib.sh)
 
 FAIL=0
 report() { printf '  \033[31m✗\033[0m %s\n' "$1"; FAIL=1; }
diff --git a/ci/check_ci_integrity.sh b/ci/check_ci_integrity.sh
index a5b15de..f893cf5 100755
--- a/ci/check_ci_integrity.sh
+++ b/ci/check_ci_integrity.sh
@@ -19,14 +19,18 @@
 #           (un job manuel = gardé par `if: … workflow_dispatch …`, ex. e2e-baseline,
 #            légitimement hors du gate push/PR car il exige un serveur live).
 #           → aucun job oublié du gate (MISSING) ni référence fantôme (DANGLING).
-#   [INV-B] Chaque script `ci/*.sh` du dépôt est lancé par exactement un job
-#           (`run: bash ci/<script>`), et ce job figure dans `gate.needs`.
-#           → un nouveau gate statique non câblé, ou décâblé, casse le check.
+#   [INV-B] Chaque script `ci/*.sh` du dépôt est CÂBLÉ : soit lancé par un job
+#           (`run: bash ci/<script>`) dont le nom figure dans `gate.needs`, soit
+#           SOURCÉ par ≥1 gate script (lib partagée, ex. ci/lib.sh — jamais un
+#           job propre). → un nouveau gate statique non câblé/décâblé, ou une lib
+#           morte (sourcée par personne), casse le check.
 #
 # Dépendances : bash, git, awk, grep, sort. Aucun réseau (CLAUDE.md #2).
 # ============================================================================
 set -uo pipefail
-cd "$(git rev-parse --show-toplevel)"
+# shellcheck source=ci/lib.sh
+source "$(dirname "${BASH_SOURCE[0]}")/lib.sh" || exit 3
+cd_repo_root  # racine du dépôt, ou ROUGE honnête si hors arbre git (cf. lib.sh)
 
 CI=".gitea/workflows/ci.yml"
 FAIL=0
@@ -105,14 +109,31 @@ if [[ -z "$missing$dangling$manual_in_gate" ]]; then
 fi
 
 # --- INV-B : tout ci/*.sh est câblé à un job, lui-même dans le gate ----------
-echo "== INV-B · chaque gate statique ci/*.sh est lancé par un job du gate =="
+echo "== INV-B · chaque ci/*.sh est câblé (lancé par un job du gate, ou lib sourcée) =="
 
 # Jobs référençant chaque script (via SCRIPT_REFS).
 while IFS= read -r script; do
   [[ -z "$script" ]] && continue
   jobs_for="$(printf '%s\n' "$SCRIPT_REFS" | awk -v s="$script" '$2==s {print $1}' | sort -u)"
   if [[ -z "$jobs_for" ]]; then
-    report "$script — présent dans le dépôt mais lancé par AUCUN job CI (gate mort)"
+    # Pas lancé par un job → soit une LIB sourcée (ex. ci/lib.sh), soit un gate
+    # mort. Une lib est légitime SSI ≥1 gate script (lui-même lancé par un job)
+    # la source. On grepe les gate scripts sur disque pour une ligne
+    # `source …/<base>` ou `. …/<base>` (jamais un commentaire : ancrée en début
+    # de ligne, `#` exclu). Sinon → vraiment mort.
+    base="$(basename "$script")"; base_re="${base//./\\.}"
+    sourced_by=""
+    while IFS= read -r gs; do
+      [[ -z "$gs" || "$gs" == "$script" || ! -f "$gs" ]] && continue
+      if grep -Eq "^[[:space:]]*(source|\.)[[:space:]]+[^#]*${base_re}([[:space:]\"'\`]|\$)" "$gs"; then
+        sourced_by="$sourced_by $gs"
+      fi
+    done < <(printf '%s\n' "$SCRIPT_REFS" | awk '{print $2}' | sort -u)
+    if [[ -n "$sourced_by" ]]; then
+      ok "$script — lib sourcée par [$(echo $sourced_by | tr ' ' ',')] · non exécutée en propre (hors gate.needs, OK)"
+    else
+      report "$script — présent dans le dépôt mais lancé/sourcé par AUCUN job CI (gate mort)"
+    fi
     continue
   fi
   # Chaque job qui lance ce script doit alimenter le gate.
diff --git a/ci/check_docs.sh b/ci/check_docs.sh
index c958a8c..6f90547 100755
--- a/ci/check_docs.sh
+++ b/ci/check_docs.sh
@@ -8,7 +8,9 @@
 # Dépendances : bash, git, grep, sed. Aucun réseau requis.
 # ============================================================================
 set -uo pipefail
-cd "$(git rev-parse --show-toplevel)"
+# shellcheck source=ci/lib.sh
+source "$(dirname "${BASH_SOURCE[0]}")/lib.sh" || exit 3
+cd_repo_root  # racine du dépôt, ou ROUGE honnête si hors arbre git (cf. lib.sh)
 
 FAIL=0
 report() { printf '  \033[31m✗\033[0m %s\n' "$1"; FAIL=1; }
diff --git a/ci/check_regression.sh b/ci/check_regression.sh
index 0e89363..a9a3e59 100755
--- a/ci/check_regression.sh
+++ b/ci/check_regression.sh
@@ -34,7 +34,9 @@
 # (stdlib pur · CLAUDE.md #2 — runner Gitea sans pip).
 # ============================================================================
 set -uo pipefail
-cd "$(git rev-parse --show-toplevel)"
+# shellcheck source=ci/lib.sh
+source "$(dirname "${BASH_SOURCE[0]}")/lib.sh" || exit 3
+cd_repo_root  # racine du dépôt, ou ROUGE honnête si hors arbre git (cf. lib.sh)
 
 FAIL=0
 report() { printf '  \033[31m✗\033[0m %s\n' "$1"; FAIL=1; }
diff --git a/ci/guard_constraints.sh b/ci/guard_constraints.sh
index 1f8e576..30033f3 100755
--- a/ci/guard_constraints.sh
+++ b/ci/guard_constraints.sh
@@ -17,7 +17,9 @@
 # ============================================================================
 set -uo pipefail
 
-cd "$(git rev-parse --show-toplevel)"
+# shellcheck source=ci/lib.sh
+source "$(dirname "${BASH_SOURCE[0]}")/lib.sh" || exit 3
+cd_repo_root  # racine du dépôt, ou ROUGE honnête si hors arbre git (cf. lib.sh)
 
 # Marqueur de prohibition : si présent sur la ligne, c'est un rappel de règle.
 PROHIBITION='jamais|JAMAIS|Jamais|❌|SEUL|Seul|only|Only|ONLY|pas de|pas d|\(pas |NON-|non-|[Ii]nterdit|INTERDIT|forbidden|proscrit|éliminer'
diff --git a/ci/lib.sh b/ci/lib.sh
new file mode 100644
index 0000000..9a8e663
--- /dev/null
+++ b/ci/lib.sh
@@ -0,0 +1,43 @@
+#!/usr/bin/env bash
+# ============================================================================
+# lib.sh · OTO Enterprise OS DTP · helpers PARTAGÉS des gates ci/*.sh
+# ----------------------------------------------------------------------------
+# Fichier SOURCÉ (jamais exécuté en propre : aucun job `run: bash ci/lib.sh`).
+# check_ci_integrity.sh (INV-B) le reconnaît comme lib câblée parce qu'≥1 gate
+# le source — il n'a donc pas à figurer dans un job CI ni dans gate.needs.
+#
+# --- Pourquoi ce helper existe (bug « vert trompeur » corrigé) --------------
+# Tous les gates commençaient par `cd "$(git rev-parse --show-toplevel)"`.
+# HORS d'un arbre de travail git (tarball, `git archive | tar -x`, git absent
+# du PATH, working-dir erroné), `git rev-parse --show-toplevel` n'écrit RIEN sur
+# stdout → la commande devient `cd ""`, un **no-op qui RETOURNE SUCCÈS** (le
+# script reste dans le cwd courant au lieu d'échouer). Les gates poursuivaient
+# alors sur un `git ls-files` qui renvoie une liste VIDE → validate_json /
+# guard_constraints / check_docs affichaient « rien à valider » et sortaient
+# **exit 0 VERT en n'ayant RIEN vérifié**. Un gate qui passe au vert sans rien
+# contrôler est la pire dérive : c'est exactement le « vert trompeur » que la
+# série anti-dérive du buffer S8 traque. `cd_repo_root` le transforme en ROUGE
+# honnête (exit 3, code distinct d'un échec de contrôle 1).
+#
+# Dépendances : bash, git. Aucun réseau (CLAUDE.md #2 · runner Gitea sans pip).
+# ============================================================================
+
+# cd_repo_root — se positionne à la racine du dépôt git, ou ÉCHOUE bruyamment.
+# À appeler tout en haut de chaque gate, à la place de `cd "$(git rev-parse …)"`.
+cd_repo_root() {
+  local root
+  root="$(git rev-parse --show-toplevel 2>/dev/null)" || true
+  if [[ -z "$root" ]]; then
+    printf '\033[31m❌ ERREUR gate : hors d'\''un arbre de travail git '\
+'(git rev-parse --show-toplevel n'\''a rien renvoyé).\033[0m\n' >&2
+    printf '   Ce gate DOIT tourner dans un checkout git (actions/checkout en '\
+'CI). Un `cd ""` silencieux masquerait un VERT TROMPEUR (git ls-files vide → '\
+'0 fichier contrôlé).\n' >&2
+    exit 3
+  fi
+  cd "$root" || {
+    printf '\033[31m❌ ERREUR gate : cd vers la racine du dépôt (%s) a échoué.'\
+'\033[0m\n' "$root" >&2
+    exit 3
+  }
+}
diff --git a/ci/validate_json.sh b/ci/validate_json.sh
index d748eed..bf91310 100755
--- a/ci/validate_json.sh
+++ b/ci/validate_json.sh
@@ -9,7 +9,9 @@
 # Dépendances : bash, git, python3. Aucun réseau requis.
 # ============================================================================
 set -uo pipefail
-cd "$(git rev-parse --show-toplevel)"
+# shellcheck source=ci/lib.sh
+source "$(dirname "${BASH_SOURCE[0]}")/lib.sh" || exit 3
+cd_repo_root  # racine du dépôt, ou ROUGE honnête si hors arbre git (cf. lib.sh)
 
 FAIL=0
 mapfile -t files < <(git ls-files '*.json')