<!-- file: history/0.0.1/alpha.1.md -->
<!-- version: 1 -->

# 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 :

```text
0.0.1-alpha.1
```

## Validation opérateur observée

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

```bash
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 :

```text
.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 :

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

Le fichier de préférences attendu contient :

```text
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.