diff --git a/CHANGELOG.md b/CHANGELOG.md index a8dd409..d249884 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,5 +1,5 @@ - + # 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 ; diff --git a/VERSION b/VERSION index 674771a..c99d2fb 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.1.2-beta.1 +0.1.2-rc.1 diff --git a/deltas/0.1.2/rc.1.md b/deltas/0.1.2/rc.1.md new file mode 100644 index 0000000..2ae9862 --- /dev/null +++ b/deltas/0.1.2/rc.1.md @@ -0,0 +1,359 @@ + + + +# 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 '' CHANGELOG.md +grep -Fx '## 0.1.2 (candidate)' CHANGELOG.md +grep -Fx '' docs/000-README.md +grep -Fx '' docs/plans/008-V0_1_2_JAVA_GRADLE_REEVALUATION_PLAN.md +grep -Fx '' ROADMAP.md +grep -Fx '' prompts/009-V0_1_3_START_PROMPT.md + +grep -Fx '' docs/rules/520-JAVA.md +grep -Fx '' docs/rules/521-MAVEN.md +grep -Fx '' docs/rules/522-GRADLE.md +grep -Fx '' docs/rules/520-JAVA_MAVEN_GRADLE.md +grep -Fx '' 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`. diff --git a/docs/000-README.md b/docs/000-README.md index 95f3dbf..9afb284 100644 --- a/docs/000-README.md +++ b/docs/000-README.md @@ -1,5 +1,5 @@ - + # 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 diff --git a/docs/plans/008-V0_1_2_JAVA_GRADLE_REEVALUATION_PLAN.md b/docs/plans/008-V0_1_2_JAVA_GRADLE_REEVALUATION_PLAN.md index 4ae342a..0c8c0ac 100644 --- 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 @@ - + # 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`. diff --git a/history/0.1.2/rc.1.md b/history/0.1.2/rc.1.md new file mode 100644 index 0000000..c35fc08 --- /dev/null +++ b/history/0.1.2/rc.1.md @@ -0,0 +1,129 @@ + + + +# 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. diff --git a/prompts/009-V0_1_3_START_PROMPT.md b/prompts/009-V0_1_3_START_PROMPT.md new file mode 100644 index 0000000..fca1f12 --- /dev/null +++ b/prompts/009-V0_1_3_START_PROMPT.md @@ -0,0 +1,92 @@ + + + +# 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).