123 lines
4.0 KiB
Markdown
123 lines
4.0 KiB
Markdown
<!-- file: history/0.0.2/alpha.3.md -->
|
|
<!-- version: 1 -->
|
|
|
|
# History 0.0.2-alpha.3 — premier profil Rust / Cargo
|
|
|
|
## Statut
|
|
|
|
PASS
|
|
|
|
La tranche `0.0.2-alpha.3` a été validée par l'opérateur. Le premier profil technologique réel de PGR est en place et le point de mesure prévu par le plan ne révèle pas de dérive nécessitant un REPLAN avant `alpha.4`.
|
|
|
|
## Baseline
|
|
|
|
La tranche précédente `0.0.2-alpha.2` a été enregistrée `PASS`, puis committée et poussée sous le commit observé :
|
|
|
|
```text
|
|
5f9b84c
|
|
```
|
|
|
|
Version validée après application de `alpha.3` :
|
|
|
|
```text
|
|
0.0.2-alpha.3
|
|
```
|
|
|
|
## Validation opérateur observée
|
|
|
|
L'opérateur a confirmé la version et la présence du nouveau profil :
|
|
|
|
```bash
|
|
test "$(cat VERSION)" = "0.0.2-alpha.3"
|
|
test -f docs/rules/510-RUST_CARGO.md
|
|
test -f deltas/0.0.2/alpha.3.md
|
|
```
|
|
|
|
Les contrats principaux ont été retrouvés par recherche littérale, notamment :
|
|
|
|
```text
|
|
PGR MUST NOT imposer un pin exact de toolchain uniquement parce qu'un projet source historique utilisait cette version.
|
|
le fichier PGR `VERSION` reste la version canonique de l'unité de release
|
|
Une crate membre SHOULD consommer cette dépendance avec `workspace = true`
|
|
PGR ne généralise pas automatiquement la politique de lockfile
|
|
unsafe_code = "forbid"
|
|
PGR ne généralise pas l'interdiction KSP plus stricte de tous les `use` non-traits
|
|
cargo clippy --workspace --all-targets --all-features -- -D warnings
|
|
PGR SHOULD préférer plusieurs audits monotâches et lisibles
|
|
```
|
|
|
|
Les liens vers `510-RUST_CARGO.md` ont été retrouvés depuis `RULES.md` et `docs/rules/000-README.md`.
|
|
|
|
L'audit Markdown PGR a été exécuté :
|
|
|
|
```bash
|
|
python3 -B scripts/audit_markdown_tables.py README.md RULES.md ROADMAP.md CHANGELOG.md docs deltas history prompts
|
|
```
|
|
|
|
Résultat observé :
|
|
|
|
```text
|
|
Markdown table audit: clean (2 table(s), 53 file(s))
|
|
```
|
|
|
|
Les contrôles Git ont réussi :
|
|
|
|
```bash
|
|
git diff --check
|
|
|
|
git add VERSION RULES.md docs/rules/000-README.md docs/rules/510-RUST_CARGO.md deltas/0.0.2/alpha.3.md
|
|
|
|
git diff --cached --check
|
|
git status --short
|
|
```
|
|
|
|
`git diff --check` et `git diff --cached --check` n'ont produit aucun diagnostic.
|
|
|
|
La sortie finale observée avant ajout du présent history était exactement :
|
|
|
|
```text
|
|
M RULES.md
|
|
M VERSION
|
|
A deltas/0.0.2/alpha.3.md
|
|
M docs/rules/000-README.md
|
|
A docs/rules/510-RUST_CARGO.md
|
|
```
|
|
|
|
Les marqueurs `EXEC >>` visibles dans la transcription proviennent du prompt Bash personnalisé de l'opérateur. Ils n'indiquent pas une erreur ou une commande supplémentaire dans la gate.
|
|
|
|
## Revue qualitative
|
|
|
|
L'état validé respecte le scope de `alpha.3` :
|
|
|
|
- les règles Rust/Cargo réutilisables sont séparées des conventions propres à KSP et `sasedev-games` ;
|
|
- la politique de `Cargo.lock` reste une décision explicitement liée au type de projet au lieu d'être généralisée depuis les corpus historiques ;
|
|
- les exceptions FFI et plateforme restent bornées au scope qui les impose ;
|
|
- aucune version de crate, dépendance ou toolchain historique n'est devenue un pin universel ;
|
|
- aucun audit Rust complexe n'a été ajouté sans workspace Rust réel ni propriété stable à contrôler ;
|
|
- le profil tient dans un propriétaire documentaire unique et cohérent sans matérialiser prématurément de famille supplémentaire.
|
|
|
|
## Point de mesure
|
|
|
|
Le point de mesure prévu par le plan est satisfaisant.
|
|
|
|
La matérialisation d'un profil complet n'a pas nécessité de série de fixes ni de découpage supplémentaire. Le forecast suivant reste raisonnable :
|
|
|
|
```text
|
|
0.0.2-alpha.4 — Java / Maven / Gradle
|
|
0.0.2-alpha.5 — Android
|
|
```
|
|
|
|
Un REPLAN reste obligatoire si une tranche ultérieure révèle une dérive significative ; aucune dérive de cette nature n'est observée ici.
|
|
|
|
## Résultat
|
|
|
|
`0.0.2-alpha.3` est validée `PASS`.
|
|
|
|
La tranche suivante autorisée est :
|
|
|
|
```text
|
|
0.0.2-alpha.4
|
|
```
|
|
|
|
Elle est consacrée au profil `Java / Maven / Gradle`, en maintenant une frontière nette entre règles du langage Java, politique de build Maven/Gradle et contraintes de plateforme qui appartiendront notamment au futur profil Android.
|