0.1.2-rc.1

2026-09-28 01:21:44 +02:00
parent 4dcb0dd89e
commit 36b2b2162c
7 changed files with 601 additions and 5 deletions
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,5 @@
 <!-- file: CHANGELOG.md -->
-<!-- version: 13 -->
+<!-- version: 14 -->

 # Changelog Project Governance Rules

@@ -7,6 +7,15 @@ Ce fichier décrit les changements utiles aux utilisateurs ou intégrateurs des

 Les tranches `alpha`, `beta`, `rc`, fixes, validations, audits et détails de développement appartiennent aux plans, deltas et historiques. Ils ne sont pas recopiés ici par défaut.

+## 0.1.2 (candidate)
+
+- sépare l'ancien profil combiné Java/Maven/Gradle en trois owners indépendants et composables : `520-JAVA`, `521-MAVEN` et `522-GRADLE`, afin qu'un build tool ne devienne pas implicitement applicable à tout projet Java ;
+- clarifie la distinction entre JDK utilisé pour construire, niveau Java du code source et niveau de bytecode/runtime supporté, sans généraliser les versions particulières observées dans Games ;
+- formalise pour Gradle l'ownership `settings` / root / modules / propriétés partagées, ainsi que le choix proportionné entre Wrapper et Gradle système avec contrainte effectivement vérifiée ;
+- conserve Maven comme spécialisation indépendante et cohérente sans prétendre l'avoir éprouvée par Games ni créer d'artefact Maven en l'absence de corpus réel ;
+- conserve l'ancien chemin `520-JAVA_MAVEN_GRADLE.md` uniquement comme bridge documentaire `SUPERSEDED` pour les références historiques et n'ajoute aucun template, skeleton, audit Python ou contrat de validation Java/Maven/Gradle non justifié ;
+- maintient les responsabilités AGP, SDK/NDK, ABI/JNI, manifests/resources, packaging/signing et smokes Android dans l'owner Android, dont la réévaluation pratique reste la cible distincte `0.1.3`.
+
 ## 0.1.1

 - établit une fondation frontend Web composable avec quatre owners indépendants : TypeScript, écosystème de package JavaScript, Vite et CSS/Sass, sans transformer un outil concret en obligation universelle ;
--- a/2
+++ b/2
@@ -1 +1 @@
-0.1.2-beta.1
+0.1.2-rc.1
--- a/deltas/0.1.2/rc.1.md
+++ b/deltas/0.1.2/rc.1.md
@@ -0,0 +1,359 @@
+<!-- file: deltas/0.1.2/rc.1.md -->
+<!-- version: 1 -->
+
+# Delta 0.1.2-rc.1 — gel du scope et gate de release candidate
+
+## Baseline et version
+
+Baseline attendue : commit opérateur de `0.1.2-beta.1`, réalisé après application de `history/0.1.2/beta.1.md` avec statut `PASS`.
+
+Le hash de ce commit n'est pas anticipé.
+
+Version avant application :
+
+```text
+0.1.2-beta.1
+```
+
+Version après application :
+
+```text
+0.1.2-rc.1
+```
+
+## Objet et gel
+
+La RC gèle le scope fonctionnel de `0.1.2` sur :
+
+- `520-JAVA.md` comme owner du langage Java, de la compatibilité JDK/source/bytecode-runtime, de la structure, de l'API et des tests Java ;
+- `521-MAVEN.md` comme spécialisation Maven uniquement lorsqu'un projet utilise réellement Maven ;
+- `522-GRADLE.md` comme spécialisation Gradle uniquement lorsqu'un projet utilise réellement Gradle ;
+- la distinction JDK de build / niveau Java source / niveau de bytecode-runtime sans généraliser les versions particulières de Games ;
+- l'ownership Gradle `settings` / root / modules / propriétés partagées, avec séparation de l'état local ;
+- le Wrapper comme mécanisme conditionnel de reproductibilité et Gradle système comme politique valide seulement lorsque sa contrainte est effectivement vérifiée ;
+- l'ancien `520-JAVA_MAVEN_GRADLE.md` comme bridge `SUPERSEDED` non normatif afin de préserver les liens historiques ;
+- la décision beta qu'aucun template, skeleton, audit Python, contrat de validation ou artefact Maven supplémentaire n'est justifié par le corpus disponible ;
+- la frontière Android : AGP, SDK/NDK, ABI/JNI, manifests/resources, packaging/signing, devices/AVD, contraintes 16 KB et SDL3 restent hors des owners Java/Maven/Gradle et sont réévalués séparément en `0.1.3`.
+
+Le changelog reçoit une entrée candidate `0.1.2` orientée utilisateurs. Le prompt `009-V0_1_3_START_PROMPT.md` est préparé pour la prochaine cible engagée Android à partir de Games.
+
+Aucune nouvelle règle fonctionnelle n'entre dans cette RC. Les owners `520/521/522`, le bridge historique, `610-ANDROID.md`, les templates, skeletons, validations et scripts d'audit sont vérifiés mais non modifiés.
+
+## Scope
+
+REPLACE :
+
+```text
+VERSION
+CHANGELOG.md
+docs/000-README.md
+docs/plans/008-V0_1_2_JAVA_GRADLE_REEVALUATION_PLAN.md
+```
+
+ADD :
+
+```text
+deltas/0.1.2/rc.1.md
+prompts/009-V0_1_3_START_PROMPT.md
+```
+
+DELETE : aucun.
+
+Le history `beta.1` est livré séparément et MUST être appliqué/committé avant ce delta.
+
+## Gate opérateur de release candidate
+
+Après application du history `PASS` de `beta.1`, commit/push de `beta.1`, puis application du présent delta :
+
+```bash
+test "$(cat VERSION)" = '0.1.2-rc.1'
+git cat-file -e HEAD:history/0.1.2/beta.1.md
+test -f history/0.1.2/beta.1.md
+test -f deltas/0.1.2/rc.1.md
+test -f prompts/009-V0_1_3_START_PROMPT.md
+test ! -e history/0.1.2/rc.1.md
+
+grep -A2 '^## Statut$' history/0.1.2/beta.1.md | grep -Fx 'PASS'
+grep -Fx '<!-- version: 14 -->' CHANGELOG.md
+grep -Fx '## 0.1.2 (candidate)' CHANGELOG.md
+grep -Fx '<!-- version: 35 -->' docs/000-README.md
+grep -Fx '<!-- version: 5 -->' docs/plans/008-V0_1_2_JAVA_GRADLE_REEVALUATION_PLAN.md
+grep -Fx '<!-- version: 13 -->' ROADMAP.md
+grep -Fx '<!-- version: 1 -->' prompts/009-V0_1_3_START_PROMPT.md
+
+grep -Fx '<!-- version: 4 -->' docs/rules/520-JAVA.md
+grep -Fx '<!-- version: 1 -->' docs/rules/521-MAVEN.md
+grep -Fx '<!-- version: 1 -->' docs/rules/522-GRADLE.md
+grep -Fx '<!-- version: 4 -->' docs/rules/520-JAVA_MAVEN_GRADLE.md
+grep -Fx '<!-- version: 3 -->' docs/rules/610-ANDROID.md
+```
+
+Contrôle d'intégration de la RC :
+
+```bash
+python3 -B - <<'PYGATE'
+from pathlib import Path
+import re
+
+expected = {
+    "alpha.1.md": "PASS",
+    "alpha.2.md": "PASS",
+    "alpha.2.fix.1.md": "PASS",
+    "alpha.3.md": "PASS",
+    "beta.1.md": "PASS",
+}
+
+histories = {path.name for path in Path("history/0.1.2").glob("*.md")}
+assert histories == set(expected), histories
+for name, status in expected.items():
+    text = Path("history/0.1.2", name).read_text(encoding="utf-8")
+    assert re.search(rf"## Statut\s+{status}\s", text), (name, status)
+
+deltas = {path.name for path in Path("deltas/0.1.2").glob("*.md")}
+assert deltas == set(expected) | {"rc.1.md"}, deltas
+
+changelog = Path("CHANGELOG.md").read_text(encoding="utf-8")
+assert "## 0.1.2 (candidate)" in changelog
+section = changelog.split("## 0.1.2 (candidate)", 1)[1].split("## 0.1.1", 1)[0]
+for phrase in (
+    "trois owners indépendants",
+    "520-JAVA",
+    "521-MAVEN",
+    "522-GRADLE",
+    "JDK utilisé pour construire",
+    "Wrapper",
+    "Gradle système",
+    "SUPERSEDED",
+    "réévaluation pratique reste la cible distincte `0.1.3`",
+):
+    assert phrase in section, phrase
+for forbidden in (
+    "alpha.1",
+    "alpha.2",
+    "alpha.3",
+    "beta.1",
+    "rc.1",
+):
+    assert forbidden not in section, forbidden
+
+java = Path("docs/rules/520-JAVA.md").read_text(encoding="utf-8")
+maven = Path("docs/rules/521-MAVEN.md").read_text(encoding="utf-8")
+gradle = Path("docs/rules/522-GRADLE.md").read_text(encoding="utf-8")
+legacy = Path("docs/rules/520-JAVA_MAVEN_GRADLE.md").read_text(encoding="utf-8")
+android = Path("docs/rules/610-ANDROID.md").read_text(encoding="utf-8")
+
+assert "# Profil Java" in java
+assert "# Profil Maven" in maven
+assert "# Profil Gradle" in gradle
+assert "`SUPERSEDED` depuis `0.1.2-alpha.3`." in legacy
+assert "Il ne constitue plus un profil sélectionnable" in legacy
+
+for current in (
+    "RULES.md",
+    "docs/000-README.md",
+    "docs/rules/000-README.md",
+    "docs/rules/610-ANDROID.md",
+):
+    assert "520-JAVA_MAVEN_GRADLE.md" not in Path(current).read_text(encoding="utf-8"), current
+
+for local_choice in (
+    "JDK 25",
+    "source/target 17",
+    "Gradle 9.6.0",
+    "Gradle 9.7.1",
+    "AGP 9.4.0",
+):
+    assert local_choice not in java, local_choice
+    assert local_choice not in maven, local_choice
+    assert local_choice not in gradle, local_choice
+
+for android_term in (
+    "compileSdk",
+    "targetSdk",
+    "minSdk",
+    "NDK",
+    "ABI/JNI",
+    "APK/AAB",
+    "device/AVD",
+    "SDL3",
+):
+    assert android_term not in maven, android_term
+    assert android_term not in gradle, android_term
+
+for phrase in (
+    "Matrice AGP / Gradle / JDK",
+    "`compileSdk`, `targetSdk` et `minSdk`",
+    "ABI et code natif",
+    "Signing et secrets",
+):
+    assert phrase in android, phrase
+
+roadmap = Path("ROADMAP.md").read_text(encoding="utf-8")
+assert "- `( ) 0.1.2`" in roadmap
+for version in ("0.1.3", "0.1.4", "0.1.5", "0.1.6", "0.1.7"):
+    assert f"- `( ) {version}`" in roadmap, version
+assert "- `( ) 0.1.8`" not in roadmap
+assert "skeleton Tauri jusqu'au réexamen 0.1.4" in roadmap
+
+plan = Path("docs/plans/008-V0_1_2_JAVA_GRADLE_REEVALUATION_PLAN.md").read_text(encoding="utf-8")
+for phrase in (
+    "### beta.1 — réconciliation et décision d'artefacts",
+    "Statut opérateur : **PASS**.",
+    "### rc.1 — release candidate",
+    "Statut opérateur : **à valider**.",
+    "prompts/009-V0_1_3_START_PROMPT.md",
+    "Aucune nouvelle règle fonctionnelle n'entre en RC",
+):
+    assert phrase in plan, phrase
+
+prompt = Path("prompts/009-V0_1_3_START_PROMPT.md").read_text(encoding="utf-8")
+for phrase in (
+    "archive source téléchargée depuis le tag Gitea `v0.1.2`",
+    "pgr-0.1.2-publish.001-report.md",
+    "0.1.3-alpha.1",
+    "ad6e44a1332eb7d6069cf1189d9433f0fbb8fac19c5aac9f4641ac45c1c556e8",
+    "610-ANDROID.md",
+    "520-JAVA.md",
+    "522-GRADLE.md",
+    "ADOPT / KEEP-LOCAL / OVERRIDE / DEFER",
+    "Android Gradle Plugin / Gradle / JDK",
+    "compileSdk",
+    "targetSdk",
+    "minSdk",
+    "NDK",
+    "ABI",
+    "JNI",
+    "signing",
+    "16 KB",
+    "réservé à `0.1.4`",
+    "adoption Games `0.1.5`",
+):
+    assert phrase in prompt, phrase
+
+for forbidden in (
+    "Cargo.toml",
+    "crates/knowledge-domain-lib/src/content_family.rs",
+    "deltas/0.0.1/alpha.3.fix.2.md",
+    "history/0.0.1/alpha.3.fix.1.md",
+):
+    assert not Path(forbidden).exists(), forbidden
+
+java_related = sorted(
+    str(path)
+    for root in (Path("docs/templates"), Path("docs/skeletons"), Path("docs/validation"), Path("scripts"))
+    for path in root.rglob("*")
+    if path.is_file() and any(word in path.name.lower() for word in ("java", "maven", "gradle"))
+)
+assert java_related == [], java_related
+
+print("0.1.2 rc.1 integration audit: clean (5 prior histories, frozen Java/Maven/Gradle owners, candidate changelog and prompt 009 verified, Android boundary preserved)")
+PYGATE
+```
+
+Rejouer ensuite les preuves PGR :
+
+```bash
+python3 -B -m unittest discover -s tests -v
+
+python3 -B scripts/audit_markdown_headers.py \
+    README.md RULES.md ROADMAP.md CHANGELOG.md docs deltas history prompts
+python3 -B scripts/audit_markdown_tables.py \
+    README.md RULES.md ROADMAP.md CHANGELOG.md docs deltas history prompts
+python3 -B scripts/audit_markdown_links.py \
+    README.md RULES.md ROADMAP.md CHANGELOG.md docs deltas history prompts
+```
+
+Vérifier également l'hygiène texte et la parsabilité des templates de baseline sans prétendre simuler une toolchain Java/Maven/Gradle absente :
+
+```bash
+python3 -B - <<'PYHYGIENE'
+from pathlib import Path
+import json
+import tomllib
+
+for path in sorted(Path("templates/rust-cargo").rglob("*.toml")):
+    tomllib.loads(path.read_text(encoding="utf-8"))
+
+json.loads(Path("templates/web-typescript/package.json").read_text(encoding="utf-8"))
+json.loads(Path("templates/web-typescript/tsconfig.json").read_text(encoding="utf-8"))
+
+roots = (
+    Path("VERSION"),
+    Path("README.md"),
+    Path("RULES.md"),
+    Path("ROADMAP.md"),
+    Path("CHANGELOG.md"),
+    Path("docs"),
+    Path("deltas"),
+    Path("history"),
+    Path("prompts"),
+    Path("templates"),
+)
+files = []
+for root in roots:
+    if root.is_file():
+        files.append(root)
+    elif root.is_dir():
+        files.extend(path for path in root.rglob("*") if path.is_file())
+
+for path in files:
+    try:
+        data = path.read_bytes()
+        text = data.decode("utf-8")
+    except UnicodeDecodeError:
+        continue
+    assert b"\r" not in data, path
+    assert text.endswith("\n"), path
+    for number, line in enumerate(text.splitlines(), 1):
+        assert line == line.rstrip(" \t"), (path, number)
+
+print("0.1.2 rc.1 text/template hygiene: clean")
+PYHYGIENE
+
+git diff --check
+
+git add VERSION CHANGELOG.md docs/000-README.md \
+    docs/plans/008-V0_1_2_JAVA_GRADLE_REEVALUATION_PLAN.md \
+    prompts/009-V0_1_3_START_PROMPT.md \
+    deltas/0.1.2/rc.1.md
+
+git diff --cached --check
+git status --short
+```
+
+Le scope indexé attendu avant ajout du history de `rc.1` est exactement :
+
+```text
+M  CHANGELOG.md
+M  VERSION
+A  deltas/0.1.2/rc.1.md
+M  docs/000-README.md
+M  docs/plans/008-V0_1_2_JAVA_GRADLE_REEVALUATION_PLAN.md
+A  prompts/009-V0_1_3_START_PROMPT.md
+```
+
+## Revue opérateur complémentaire
+
+Confirmer que :
+
+- le scope normatif Java/Maven/Gradle est gelé ;
+- aucun owner `520/521/522`, bridge historique, profil Android, template, skeleton, contrat de validation ou script d'audit n'est modifié par la RC ;
+- le changelog candidat décrit les capacités utiles de `0.1.2` sans recopier les tranches internes ni l'incident de chaîne de commit ;
+- aucun choix local Games n'est promu comme minimum Java/Maven/Gradle générique ;
+- Maven n'est pas présenté comme éprouvé par Games ;
+- l'absence d'artefacts Java/Maven/Gradle supplémentaires reste une décision positive fondée sur le corpus, pas un oubli ;
+- Android reste hors du scope fonctionnel de `0.1.2` et le prompt `009` ne devient exécutable qu'après publication vérifiée de `v0.1.2` ;
+- le prompt `009` ne transforme pas SDL3, les jeux ou Tauri Android en règles Android générales ;
+- le skeleton Tauri reste réservé à `0.1.4` et l'adoption Games à `0.1.5` ;
+- `0.1.8` n'est pas réservé ;
+- aucune preuve `javac`, Maven, Gradle ou Android n'est revendiquée localement alors que PGR ne contient pas d'artefact exécutable correspondant dans cette RC.
+
+## Transition
+
+### PASS
+
+Produire `history/0.1.2/rc.1.md`, l'appliquer puis committer/pousser `rc.1`. Continuer avec `0.1.2-rel.1` pour la promotion mécanique vers la stable, la clôture roadmap/plan/changelog et la gate pré-tag.
+
+### FAIL
+
+Consigner le diagnostic réel dans `history/0.1.2/rc.1.md`. Corriger uniquement la release candidate dans `rc.1.fix.N` tant qu'aucun défaut normatif plus large ne justifie un REPLAN. Ne pas préparer `rel.1` tant que la RC n'a pas obtenu `PASS`.
--- a/docs/000-README.md
+++ b/docs/000-README.md
@@ -1,5 +1,5 @@
 <!-- file: docs/000-README.md -->
-<!-- version: 34 -->
+<!-- version: 35 -->

 # Documentation PGR

@@ -22,13 +22,14 @@ Les templates techniques copiables sous `templates/` restent séparés des instr

 ## Points d'entrée de 0.1.2

- [`plans/008-V0_1_2_JAVA_GRADLE_REEVALUATION_PLAN.md`](plans/008-V0_1_2_JAVA_GRADLE_REEVALUATION_PLAN.md) — plan actif de `0.1.2`, depuis la réévaluation Games jusqu'à la scission `520/521/522`, puis la réconciliation beta et le gel RC, avec frontière Android explicite.
+- [`plans/008-V0_1_2_JAVA_GRADLE_REEVALUATION_PLAN.md`](plans/008-V0_1_2_JAVA_GRADLE_REEVALUATION_PLAN.md) — plan actif de `0.1.2`, désormais gelé en RC après réévaluation Games, scission `520/521/522` et réconciliation beta, avec frontière Android explicite.
 - [`rules/520-JAVA.md`](rules/520-JAVA.md) — owner Java issu de la réévaluation du profil historique combiné ; il possède JDK, compatibilité source/bytecode, structure, API et tests Java.
 - [`rules/521-MAVEN.md`](rules/521-MAVEN.md) — spécialisation Maven séparée afin que Maven ne devienne pas implicitement applicable à tout projet Java.
 - [`rules/522-GRADLE.md`](rules/522-GRADLE.md) — spécialisation Gradle éprouvée contre Games, avec ownership du build, politique Wrapper/système et propriétés partagées/locales.
 - [`rules/610-ANDROID.md`](rules/610-ANDROID.md) — owner de contrôle de frontière ; AGP, SDK/NDK, ABI/JNI, manifests, packaging/signing et smokes Android restent hors du scope `0.1.2`.
 - [`studies/003-V0_1_0_HORIZON_REVIEW.md`](studies/003-V0_1_0_HORIZON_REVIEW.md) — revue ayant engagé `0.1.2` puis la réévaluation Android `0.1.3` comme releases distinctes.
 - [`../prompts/008-V0_1_2_START_PROMPT.md`](../prompts/008-V0_1_2_START_PROMPT.md) — contrat de reprise autoritaire exécuté pour ouvrir `0.1.2-alpha.1` après publication vérifiée de `v0.1.1`.
+- [`../prompts/009-V0_1_3_START_PROMPT.md`](../prompts/009-V0_1_3_START_PROMPT.md) — prompt préparé par la RC pour la réévaluation Android `0.1.3`, à exécuter uniquement après publication et vérification post-tag de `v0.1.2`.

 ## Points d'entrée de 0.1.1

--- a/docs/plans/008-V0_1_2_JAVA_GRADLE_REEVALUATION_PLAN.md
+++ b/docs/plans/008-V0_1_2_JAVA_GRADLE_REEVALUATION_PLAN.md
@@ -1,5 +1,5 @@
 <!-- file: docs/plans/008-V0_1_2_JAVA_GRADLE_REEVALUATION_PLAN.md -->
-<!-- version: 4 -->
+<!-- version: 5 -->

 # Plan 0.1.2 — réévaluation Java / Maven / Gradle

@@ -412,12 +412,18 @@ Relire les trois owners issus de la scission contre Games, `500-LANGUAGES.md`, `

 La beta met également à jour les index/documentation durable nécessaires à la release et prépare la clôture sans ouvrir `0.1.3` prématurément.

+Statut opérateur : **PASS**.
+
 ### rc.1 — release candidate

 Geler le scope, rejouer la validation PGR complète, contrôler les liens/index, la frontière Android, l'absence d'artefacts Maven non justifiés et la cohérence de la trajectoire `0.1.3` à `0.1.7`.

 Aucune nouvelle règle fonctionnelle n'entre en RC sauf correctif `.fix.N` ou REPLAN explicitement justifié.

+La RC prépare `prompts/009-V0_1_3_START_PROMPT.md` comme contrat de reprise futur. Ce prompt ne devient exécutable qu'après stable `v0.1.2` réellement taggée et rapport post-tag `PASS`.
+
+Statut opérateur : **à valider**.
+
 ### rel.1 — promotion stable

 Promouvoir mécaniquement la RC validée vers `0.1.2`, fermer le plan, mettre à jour `CHANGELOG.md` et `ROADMAP.md` selon le workflow applicable, préparer le handoff de publication et conserver la prochaine cible engagée `0.1.3` sans l'exécuter avant vérification post-tag de `0.1.2`.
--- a/history/0.1.2/rc.1.md
+++ b/history/0.1.2/rc.1.md
@@ -0,0 +1,129 @@
+<!-- file: history/0.1.2/rc.1.md -->
+<!-- version: 1 -->
+
+# History 0.1.2-rc.1 — release candidate Java / Maven / Gradle
+
+## Statut
+
+PASS
+
+La gate opérateur de `0.1.2-rc.1` exécutée le `2026-09-28` a réussi. Elle confirme le gel des owners Java, Maven et Gradle, l'intégrité des histories antérieurs, le changelog candidat, le prompt de reprise `009`, les tests Python, les audits Markdown et l'hygiène texte/templates avant promotion stable.
+
+## Baseline opérateur
+
+La tranche `0.1.2-beta.1` a été clôturée avec son history `PASS`, puis committée et poussée avant application de `rc.1` :
+
+```text
+commit       4dcb0dd
+message      0.1.2-beta.1
+push         origin/master PASS
+```
+
+Après application du delta `rc.1`, les contrôles initiaux ont confirmé :
+
+```text
+VERSION                                                   0.1.2-rc.1
+history/0.1.2/beta.1.md                                   présent dans HEAD et le workspace
+deltas/0.1.2/rc.1.md                                      présent
+prompts/009-V0_1_3_START_PROMPT.md                        présent
+history/0.1.2/rc.1.md                                     absent pendant la gate
+CHANGELOG.md                                               version 14
+docs/000-README.md                                        version 35
+docs/plans/008-V0_1_2_JAVA_GRADLE_REEVALUATION_PLAN.md   version 5
+ROADMAP.md                                                 version 13
+prompts/009-V0_1_3_START_PROMPT.md                        version 1
+docs/rules/520-JAVA.md                                    version 4
+docs/rules/521-MAVEN.md                                   version 1
+docs/rules/522-GRADLE.md                                  version 1
+docs/rules/520-JAVA_MAVEN_GRADLE.md                       version 4
+docs/rules/610-ANDROID.md                                 version 3
+```
+
+Le history `beta.1` a été retrouvé avec statut `PASS`.
+
+## Gate d'intégration RC
+
+Le contrôle structurel a affiché :
+
+```text
+0.1.2 rc.1 integration audit: clean (5 prior histories, frozen Java/Maven/Gradle owners, candidate changelog and prompt 009 verified, Android boundary preserved)
+```
+
+Il a vérifié les cinq histories antérieurs avec statut `PASS` :
+
+```text
+alpha.1         PASS
+alpha.2         PASS
+alpha.2.fix.1   PASS
+alpha.3         PASS
+beta.1          PASS
+```
+
+Avant application du présent history, `rc.1.md` est la seule tranche `0.1.2` possédant un delta sans history.
+
+La gate a également confirmé :
+
+- le `CHANGELOG` candidat `0.1.2` sans détails de tranches ;
+- `520-JAVA`, `521-MAVEN` et `522-GRADLE` comme owners gelés et l'ancien owner combiné comme bridge `SUPERSEDED` non sélectionnable ;
+- l'absence de généralisation de JDK 25, Java 17, Gradle 9.6.0/9.7.1 ou AGP 9.4.0 ;
+- le maintien des responsabilités Android dans `610-ANDROID.md` ;
+- la roadmap `0.1.2` à `0.1.7` sans réservation de `0.1.8` ;
+- le `DEFER` du skeleton Tauri jusqu'au réexamen `0.1.4` ;
+- le prompt `009` ciblant `0.1.3-alpha.1` uniquement depuis une future archive du tag `v0.1.2` et son rapport post-tag réel ;
+- l'absence de template, skeleton, validation ou audit Python Java/Maven/Gradle supplémentaire ;
+- l'absence persistante des chemins Knowledge introduits accidentellement puis retirés par `alpha.2.fix.1`.
+
+## Tests et audits PGR
+
+La suite Python globale a exécuté `48` tests, tous réussis :
+
+```text
+Ran 48 tests in 0.732s
+
+OK
+```
+
+Les audits documentaires sont propres :
+
+```text
+Markdown header audit: clean (247 file(s))
+Markdown table audit: clean (10 table(s), 247 file(s))
+Markdown link audit: clean (307 local link(s), 247 file(s))
+```
+
+L'hygiène texte/templates a également réussi :
+
+```text
+0.1.2 rc.1 text/template hygiene: clean
+```
+
+Les templates TOML Rust/Cargo et JSON Web ont été parsés ; aucun retour chariot, whitespace final ni fichier texte sans newline finale n'a été détecté dans le corpus contrôlé.
+
+## Contrôles Git
+
+`git diff --check` et `git diff --cached --check` n'ont produit aucun diagnostic.
+
+Le statut indexé transmis avant ajout du présent history est exactement :
+
+```text
+M  CHANGELOG.md
+M  VERSION
+A  deltas/0.1.2/rc.1.md
+M  docs/000-README.md
+M  docs/plans/008-V0_1_2_JAVA_GRADLE_REEVALUATION_PLAN.md
+A  prompts/009-V0_1_3_START_PROMPT.md
+```
+
+Le scope correspond exactement à la RC annoncée. Aucun owner Java/Maven/Gradle, bridge historique, profil Android, template, skeleton, validation ou script d'audit n'a été modifié pendant la RC.
+
+## Décision
+
+`0.1.2-rc.1` est `PASS`. Aucun fix ni REPLAN n'est requis.
+
+La transition autorisée est la promotion mécanique pré-tag :
+
+```text
+0.1.2-rel.1
+```
+
+Cette promotion ne doit pas rouvrir le scope fonctionnel. Elle doit uniquement présenter `0.1.2` comme stable, produire sa propre gate pré-tag et préparer le handoff de publication sans anticiper le rapport post-tag.
--- a/prompts/009-V0_1_3_START_PROMPT.md
+++ b/prompts/009-V0_1_3_START_PROMPT.md
@@ -0,0 +1,92 @@
+<!-- file: prompts/009-V0_1_3_START_PROMPT.md -->
+<!-- version: 1 -->
+
+# Prompt de démarrage 0.1.3 — réévaluation pratique Android
+
+## Baseline et cible
+
+Dépôt canonique : `https://git.sasedev.com/Sasedev/pgr`.
+
+La baseline attendue au démarrage effectif de `0.1.3` est l'archive source téléchargée depuis le tag Gitea `v0.1.2`, accompagnée du rapport post-tag `pgr-0.1.2-publish.001-report.md` uniquement si ce rapport a réellement été produit avec statut `PASS`.
+
+Version cible : `0.1.3`. Première tranche attendue : `0.1.3-alpha.1`.
+
+Le corpus principal attendu pour confronter Android à un projet réel est une archive autoritaire récente de `sasedev-games`. Si aucune baseline plus récente n'est explicitement fournie, la baseline de référence déjà auditée reste :
+
+```text
+games-v0.3.6.zip  ad6e44a1332eb7d6069cf1189d9433f0fbb8fac19c5aac9f4641ac45c1c556e8
+```
+
+Une archive source peut légitimement ne pas contenir `.git`. Ne pas lui attribuer une preuve Git qu'elle ne peut contenir.
+
+## Reprise manuelle après publication
+
+Après vérification réelle de l'archive du tag `v0.1.2` et du rapport post-tag `PASS`, la consigne de nouvelle session doit suivre le pattern de [`../docs/templates/003-NEW_SESSION_PROMPT.md`](../docs/templates/003-NEW_SESSION_PROMPT.md) et citer les artefacts réellement obtenus.
+
+La forme attendue, si les noms et le statut sont confirmés, est :
+
+```text
+Partir de l'archive pgr-v0.1.2.zip téléchargée depuis le tag Gitea v0.1.2 et du rapport post-tag pgr-0.1.2-publish.001-report.md. Lire et exécuter prompts/009-V0_1_3_START_PROMPT.md. Vérifier intégralement la stable PGR, puis réévaluer le profil Android à partir du corpus Games autoritaire avant de préparer 0.1.3-alpha.1, sans absorber le scope Tauri réservé à 0.1.4 ni les décisions produit propres aux jeux/SDL.
+```
+
+Ce texte ne doit pas être remis comme preuve de publication avant le `publish.001 PASS` réel.
+
+## Mission
+
+Réévaluer pratiquement [`../docs/rules/610-ANDROID.md`](../docs/rules/610-ANDROID.md) à partir du corpus Games réellement fourni, en composant explicitement les owners Java et Gradle stabilisés par `0.1.2`, puis matérialiser uniquement les règles, validations, templates ou skeletons Android génériques dont la valeur réutilisable est démontrée.
+
+`alpha.1` MUST commencer par :
+
+1. auditer indépendamment la stable `v0.1.2` et son rapport post-tag lorsqu'il est fourni ;
+2. auditer le corpus Games réellement fourni, en particulier sa structure `Android/`, sa matrice AGP/Gradle/JDK, ses SDK/NDK/ABI/JNI, manifests/resources, packaging et preuves opérateur historiques ;
+3. relire `610-ANDROID.md`, [`../docs/rules/520-JAVA.md`](../docs/rules/520-JAVA.md), [`../docs/rules/522-GRADLE.md`](../docs/rules/522-GRADLE.md), [`../docs/rules/600-PLATFORMS.md`](../docs/rules/600-PLATFORMS.md) et [`../docs/studies/003-V0_1_0_HORIZON_REVIEW.md`](../docs/studies/003-V0_1_0_HORIZON_REVIEW.md) ;
+4. créer le plan `0.1.3` avant toute normalisation importante ;
+5. classifier les décisions observées avec `ADOPT / KEEP-LOCAL / OVERRIDE / DEFER` plutôt que copier Games dans PGR.
+
+## Questions à instruire
+
+La release doit notamment réexaminer :
+
+- structure Android dans un dépôt exclusivement Android versus multi-plateforme, sans imposer artificiellement `Android/` lorsque le dépôt n'en a pas besoin ;
+- composition réelle avec Java et Gradle sans rendre Java obligatoire pour tout projet Android ni réabsorber les owners `520/522` dans `610` ;
+- matrice Android Gradle Plugin / Gradle / JDK et forme de contrainte la moins restrictive réellement compatible ;
+- séparation entre `compileSdk`, `targetSdk` et `minSdk`, avec justification produit/compatibilité plutôt que copie des valeurs Games ;
+- Android SDK, NDK et toolchains natives uniquement lorsqu'elles sont réellement applicables ;
+- ABI, JNI, bibliothèques natives, packaging et frontières de responsabilité entre Android, langage natif et produit ;
+- manifests, resources, namespaces/application IDs, variantes et configuration de build ;
+- signing, secrets, keystores et propriétés locales, avec séparation stricte entre configuration versionnée et état machine sensible ;
+- outputs/caches Android/Gradle, `local.properties` et autres états locaux à exclure de Git ;
+- packaging APK/AAB, bundles de release et contrôles réellement nécessaires ;
+- Android Lint, tests JVM/instrumentés, installation sur device/AVD et smokes, sélectionnés proportionnellement au changement ;
+- contraintes de distribution modernes telles que l'alignement mémoire/16 KB uniquement lorsqu'elles sont démontrées par une exigence Android réelle et possédées au bon niveau ;
+- nécessité éventuelle d'un contrat de validation ou skeleton Android, sans en créer un par symétrie si le profil et les outils officiels suffisent.
+
+## Frontières obligatoires
+
+`0.1.3` MUST NOT :
+
+- migrer Games vers PGR ;
+- transformer SDL3, la logique des jeux, leurs Activities concrètes ou leur architecture produit en règles Android générales ;
+- rouvrir Java/Maven/Gradle `0.1.2` sauf défaut transversal réellement démontré ;
+- réexaminer ou créer le skeleton Tauri, réservé à `0.1.4` ;
+- absorber les contraintes Android propres à Tauri dans le profil Android général sans preuve indépendante ;
+- démarrer l'adoption Games `0.1.5` ;
+- créer un owner WASM, serveur Rust ou deployment/operations par proximité ;
+- réserver une nouvelle release au-delà de la roadmap engagée sans nouvelle revue d'horizon justifiée.
+
+Une contrainte observée uniquement à cause de SDL, d'un moteur de jeu, de Tauri ou d'une chaîne JNI particulière doit rester classifiée comme responsabilité produit/framework/spécialisation lorsqu'elle n'est pas générique à Android.
+
+## Principes
+
+- Partir des responsabilités réellement exercées par Games, pas d'un catalogue théorique Android.
+- Les versions AGP, Gradle, JDK, SDK et NDK du corpus ne deviennent pas des `MUST` PGR sans preuve générique.
+- Utiliser les outils Android/Gradle officiels lorsqu'une validation porte sur un artefact exécutable réel ; un audit Python read-only ne remplace ni Gradle, ni Android Lint, ni les toolchains SDK/NDK, ni une preuve device lorsque celle-ci est réellement requise.
+- Ne pas imposer un Wrapper, une ABI, un device/AVD, une variante ou une commande `clean` par cérémonie.
+- Conserver la distinction `ADOPT / KEEP-LOCAL / OVERRIDE / DEFER` afin de préparer l'adoption Games `0.1.5` sans la commencer.
+- Conserver une frontière nette avec Tauri afin que `0.1.4` puisse réexaminer son propre `DEFER` avec la stable Android alors disponible.
+
+## Workflow
+
+Suivre [`../RULES.md`](../RULES.md), [`../docs/rules/210-WORKFLOW.md`](../docs/rules/210-WORKFLOW.md), [`../docs/rules/230-ADOPTION.md`](../docs/rules/230-ADOPTION.md) et [`../docs/rules/400-VALIDATION.md`](../docs/rules/400-VALIDATION.md).
+
+La séquence reste : delta → gate opérateur → history constaté → application du history → commit/push → delta suivant. Les commandes de handoff sont remises automatiquement conformément à [`../docs/templates/006-OPERATOR_COMMAND_HANDOFF.md`](../docs/templates/006-OPERATOR_COMMAND_HANDOFF.md).