105 lines
3.2 KiB
Markdown
105 lines
3.2 KiB
Markdown
<!-- file: history/0.0.2/alpha.5.md -->
|
|
<!-- version: 1 -->
|
|
|
|
# History 0.0.2-alpha.5 — profil plateforme Android
|
|
|
|
## Statut
|
|
|
|
PASS
|
|
|
|
La tranche `0.0.2-alpha.5` a été validée par l'opérateur. Le premier profil plateforme Android est matérialisé sans absorber les spécialisations Rust/JNI, Tauri ou Web différées.
|
|
|
|
## Baseline
|
|
|
|
La correction précédente `0.0.2-alpha.4.fix.1` a été enregistrée `PASS`, puis committée et poussée sous le commit observé :
|
|
|
|
```text
|
|
368dedb
|
|
```
|
|
|
|
Version validée après application de `alpha.5` :
|
|
|
|
```text
|
|
0.0.2-alpha.5
|
|
```
|
|
|
|
## Validation opérateur observée
|
|
|
|
La version et les fichiers attendus ont été confirmés :
|
|
|
|
```bash
|
|
test "$(cat VERSION)" = "0.0.2-alpha.5"
|
|
test -f docs/rules/610-ANDROID.md
|
|
test -f deltas/0.0.2/alpha.5.md
|
|
```
|
|
|
|
Les contrats principaux du profil Android ont été retrouvés, notamment :
|
|
|
|
```text
|
|
Les profils Rust/JNI et Tauri ne sont pas définis ici.
|
|
Dans un dépôt multi-plateforme où une zone Android distincte est nécessaire
|
|
Java est le langage applicatif Android par défaut du profil PGR
|
|
Android Gradle Plugin
|
|
PGR MUST NOT déduire une hausse de `minSdk`
|
|
`versionCode` est un compteur Android monotone distinct du SemVer.
|
|
`local.properties` est un fichier local Android typique
|
|
Les secrets de signature ne sont jamais versionnés.
|
|
Une ABI annoncée comme supportée doit disposer d'une preuve adaptée.
|
|
JVM unit
|
|
`AndroidManifest.xml` MUST déclarer uniquement les permissions
|
|
APK debug
|
|
PGR lui-même ne contient actuellement aucun projet Android
|
|
```
|
|
|
|
La navigation vers `610-ANDROID.md` a été retrouvée depuis `RULES.md` et `docs/rules/000-README.md`.
|
|
|
|
L'audit Markdown PGR a réussi :
|
|
|
|
```text
|
|
Markdown table audit: clean (2 table(s), 61 file(s))
|
|
```
|
|
|
|
`git diff --check` et `git diff --cached --check` n'ont produit aucun diagnostic.
|
|
|
|
Le scope Git observé avant le présent history est exactement :
|
|
|
|
```text
|
|
M RULES.md
|
|
M VERSION
|
|
A deltas/0.0.2/alpha.5.md
|
|
M docs/rules/000-README.md
|
|
A docs/rules/610-ANDROID.md
|
|
```
|
|
|
|
## Revue qualitative
|
|
|
|
Le profil validé conserve les frontières prévues :
|
|
|
|
- Android possède les contraintes de plateforme, SDK, packaging, signing et compatibilité de target ;
|
|
- Java/Gradle restent possédés par le profil langage/build et sont seulement raffinés lorsque la plateforme impose une contrainte ;
|
|
- `compileSdk`, `targetSdk` et `minSdk` restent trois contrats distincts ;
|
|
- une toolchain moderne ne relève pas automatiquement `minSdk` ;
|
|
- `versionCode` reste un compteur Android distinct du SemVer ;
|
|
- les niveaux `JVM unit`, instrumentation/intégration et smoke device/AVD ne sont pas confondus ;
|
|
- aucune validation Android réelle n'est revendiquée pour PGR lui-même en l'absence d'un projet Android à compiler ou exécuter.
|
|
|
|
## Résultat
|
|
|
|
`0.0.2-alpha.5` est validée `PASS`.
|
|
|
|
Les trois profils technologiques retenus pour `0.0.2` sont maintenant matérialisés :
|
|
|
|
```text
|
|
510 — Rust / Cargo
|
|
520 — Java / Maven / Gradle
|
|
610 — Android
|
|
```
|
|
|
|
La tranche suivante autorisée est :
|
|
|
|
```text
|
|
0.0.2-beta.1
|
|
```
|
|
|
|
Elle est consacrée à leur réconciliation, à la vérification des owners/scopes/overrides et à la navigation. Aucun nouveau profil technologique majeur n'est autorisé en beta sans REPLAN.
|