pgr/history/0.1.3/rel.1.md

History 0.1.3-rel.1 — promotion stable pré-tag

Statut

PASS

La gate opérateur de 0.1.3-rel.1 exécutée le 2026-09-28 a réussi. Elle confirme la promotion mécanique de la release candidate vers la stable 0.1.3, la cohérence des histories antérieurs, la présentation stable du profil Android, les tests PGR, les audits documentaires et l'hygiène texte/templates avant création du tag.

Baseline opérateur

La tranche 0.1.3-rc.1 a été clôturée avec son history PASS, puis committée et poussée avant application de rel.1 :

commit       a9fba6c
message      0.1.3-rc.1
push         origin/master PASS

Après application du delta rel.1, les contrôles initiaux ont confirmé :

VERSION                                                   0.1.3
history/0.1.3/rc.1.md                                     présent dans HEAD et le workspace
deltas/0.1.3/rel.1.md                                     présent
prompts/010-V0_1_4_START_PROMPT.md                        présent
history/0.1.3/rel.1.md                                    absent pendant la gate
README.md                                                  version 25
ROADMAP.md                                                 version 15
CHANGELOG.md                                               version 17
docs/000-README.md                                        version 40
docs/plans/009-V0_1_3_ANDROID_REEVALUATION_PLAN.md        version 6

Le history rc.1 a été retrouvé avec statut PASS.

La présentation stable est établie :

ROADMAP.md     0.1.3 marqué terminé
CHANGELOG.md   entrée `## 0.1.3` sans suffixe `(candidate)`
README.md      profil Android réévalué contre Games présenté comme stable
docs index     plan 009 classé historique

Gate stable pré-tag

Le contrôle structurel a affiché :

0.1.3 rel.1 stable gate audit: clean (5 prior histories, rel.1 pending, stable Android presentation and post-tag Tauri handoff coherent)

Il a vérifié les cinq histories antérieurs avec statut PASS :

alpha.1   PASS
alpha.2   PASS
alpha.3   PASS
beta.1    PASS
rc.1      PASS

Avant application du présent history, rel.1.md est la seule tranche 0.1.3 possédant un delta sans history.

La gate a également confirmé :

• 0.1.3 terminé dans la roadmap ;
• 0.1.4 à 0.1.7 engagés sans réservation de 0.1.8 ;
• le CHANGELOG stable sans suffixe (candidate) et sans détails de tranches ;
• le plan 009 classé historique ;
• le profil Android 610-ANDROID.md gelé en révision 5 ;
• l'absence de généralisation de targetSdk 36, minSdk 21, NDK r28, quatre ABI, Gradle 9.7.1, AGP 9.4.0 ou JDK 25 ;
• la composition Android avec les owners génériques existants sans création d'owner JNI/Rust/SDL, de skeleton Android ni de contrat de validation redondant ;
• les contrats Android stabilisés pour SDK, identité applicative, natif/ABI, Android Lint, niveaux de tests, APK/AAB et contraintes 16 KB conditionnelles ;
• 0.1.4 réservé au réexamen Tauri, sans création anticipée du skeleton ;
• 0.1.5 et 0.1.6 réservés respectivement aux adoptions Games et KSP ;
• le prompt 010 préparé pour démarrer 0.1.4 uniquement depuis le tag réel v0.1.3 et un rapport post-tag publish.001 PASS ;
• la convention de clôture rel.N, puis commit stable X.Y.Z avant création du tag.

Validation Android

Les décisions Android issues du corpus Games ont été réconciliées avant la RC et rel.1 n'a modifié aucun owner technique.

La promotion stable n'a donc pas simulé de toolchain Android, Gradle, AGP, JDK ou NDK absente du dépôt PGR. Elle a rejoué les gates réellement possédées par PGR afin de vérifier que la promotion documentaire et les métadonnées de release n'ont invalidé aucune propriété du référentiel.

Les choix Games qui restent locaux n'ont pas été promus en minima PGR universels et aucun artefact Android supplémentaire n'a été créé pendant la clôture.

Tests et audits PGR

La suite Python globale a exécuté 48 tests, tous réussis :

Ran 48 tests in 0.735s

OK

Les audits documentaires sont propres :

Markdown header audit: clean (263 file(s))
Markdown table audit: clean (11 table(s), 263 file(s))
Markdown link audit: clean (337 local link(s), 263 file(s))

L'hygiène texte/templates a également affiché :

0.1.3 rel.1 text/template hygiene: clean

Les templates TOML Rust/Cargo et JSON Web ont été parsés avec succè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 :

M  CHANGELOG.md
M  README.md
M  ROADMAP.md
M  VERSION
A  deltas/0.1.3/rel.1.md
M  docs/000-README.md
M  docs/plans/009-V0_1_3_ANDROID_REEVALUATION_PLAN.md

Le scope correspond exactement à la promotion stable annoncée. Aucun owner Android/Java/Gradle/Tauri, template, skeleton, validation, étude technique ou script d'audit n'a été modifié pendant rel.1.

Décision

0.1.3-rel.1 est PASS. Aucun fix ni REPLAN n'est requis.

Conformément à la convention stable PGR, le présent history doit être inclus dans le commit final nommé exactement :

0.1.3

Le commit stable doit être poussé sur origin/master avant création du tag annoté v0.1.3.

Le rapport pgr-0.1.3-publish.001-report.md ne pourra être produit qu'après réception des preuves post-publication réelles : identité du commit stable, propreté du workspace, objet et cible déréférencée du tag local, références distantes du tag et archive ZIP téléchargée depuis le tag Gitea.

Le prompt 010-V0_1_4_START_PROMPT.md ne devient la reprise effective de 0.1.4 qu'après un rapport post-tag PASS.