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