pgr/history/0.0.2/alpha.5.md

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

368dedb

Version validée après application de alpha.5 :

0.0.2-alpha.5

Validation opérateur observée

La version et les fichiers attendus ont été confirmés :

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 :

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 :

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 :

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 :

510 — Rust / Cargo
520 — Java / Maven / Gradle
610 — Android

La tranche suivante autorisée est :

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.