History 0.0.1-alpha.1 — bootstrap et cadrage PGR

Statut

FAIL

La tranche a été appliquée et les contrôles de base n'ont signalé ni erreur de version ni erreur whitespace, mais la revue opérateur a identifié un défaut de politique Eclipse dans .gitignore.

Baseline

Dépôt PGR nouvellement créé depuis https://git.sasedev.com/Sasedev/pgr.git, sans release stable antérieure.

Delta appliqué : 0.0.1-alpha.1.

Version attendue et observée :

0.0.1-alpha.1

Validation opérateur observée

Les commandes communiquées par l'opérateur sont :

git status --short

test "$(cat VERSION)" = "0.0.1-alpha.1"

find . -type f -not -path './.git/*' -print

git diff --cached --check

git status --short

Le test de VERSION n'a produit aucune erreur.

L'inventaire a notamment confirmé la présence locale de :

.project
.settings/org.eclipse.core.resources.prefs

git diff --cached --check n'a produit aucun diagnostic.

Les sorties git status --short communiquées sont vides.

Défaut identifié

Le delta alpha.1 ignorait .settings/ intégralement et considérait tous les fichiers Eclipse comme locaux.

Cette politique est trop large : .settings/org.eclipse.core.resources.prefs doit être versionné, car il porte la configuration d'encodage UTF-8 du projet Eclipse et n'est pas nécessairement régénéré lors d'un import depuis Git.

Le pattern .settings/ doit donc être remplacé par :

.settings/*
!.settings/org.eclipse.core.resources.prefs

Le fichier de préférences attendu contient :

eclipse.preferences.version=1
encoding/<project>=UTF-8

.project et les autres métadonnées Eclipse locales restent ignorés.

Limites de la preuve

Aucun audit PGR automatisé n'existe encore à cette tranche de bootstrap.

Le défaut a été détecté par revue opérateur, ce qui confirme que la validation alpha.1 doit rester capable de compléter les contrôles mécaniques par une vérification de politique.

Conséquence

La tranche ne peut pas être déclarée PASS en l'état.

Rester dans le scope alpha.1 et appliquer 0.0.1-alpha.1.fix.1 uniquement pour :

corriger la politique .settings dans .gitignore ;
versionner .settings/org.eclipse.core.resources.prefs ;
passer VERSION à 0.0.1-alpha.1.fix.1.

Aucun changement du plan 0.0.1 n'est nécessaire : le défaut est local et ne modifie ni le scope ni le forecast de la release.

2.5 KiB Raw Blame History