docs(adr): accepter ADR-013 et ADR-014, acter les pages canoniques#448
Merged
Conversation
Audit adversarial par agent indépendant (Codex indisponible — 402 deactivated_workspace) : 4 bloquants ADR-013 + 5 importants ADR-014, tous corrigés avant acceptation. ADR-013 (lecture MP) — Accepté 2026-06-12 : - état d'implémentation : décision 1 LIVRÉE (PR #428/#429, noms réels PageSwipe/LazyListScrollbar), décisions 2-3 à implémenter (#430/#6) - prefetch borné N−1/N+1, définition « ouverte », suspension après marquage non-lu manuel ; purge étage 1 tranchée - conséquence Konsist : étendre la garde au domaine MP, pas exempter ADR-014 (MPStorage v0.1) — Accepté 2026-06-12 : - état d'implémentation : lecture LIVRÉE (PR #406), écriture/cache ids à venir - premier-hit documenté (parseFirstThreadId, à re-trancher avant écriture), paramètres réels de la requête de découverte documentés - trous de vérification complétés : storage réel jamais observé, risque faux NotFound → doublon à l'écriture Pages canoniques actées : - architecture.md : politique cache MP 3 étages + exception prefetch MP bornée (notes « Proposition en cours » remplacées) - protocol-hfr.md : exception prefetch actée + contrat nonlu.php vérifié live (#361) - models.md § MPStorage : référence ADR-014 - adr/README.md : retrait des mentions (Proposé) Demandé par @xatrix Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Quoi
Passe ADR-013 (lecture MP : cache 3 étages, prefetch borné) et ADR-014 (MPStorage v0.1 de facto) au statut Accepté — 2026-06-12, après corrections issues d'un audit adversarial, et acte les pages canoniques en conséquence (règle « pas de décision implicite »).
Validation séparée
Codex est indisponible (
402 deactivated_workspace, facturation OpenAI) — l'audit a été rendu par un agent vérificateur indépendant conformément à la charte (« le même agent ne doit pas produire, corriger et valider seul »). Verdict : 4 bloquants ADR-013 + 5 importants ADR-014, tous corrigés dans cette PR avant acceptation.Corrections notables
ADR-013 (refs-#430, refs-#6) :
core/uipager/PageSwipe.kt,list/LazyListScrollbar), décisions 2-3 à implémenterADR-014 (refs-#6) :
DefaultMpStorageRepository, pipeline 3 GET), écriture + cache DataStore des ids à venirparseFirstThreadId) et marqué « à re-trancher avant l'étape écriture »orderSearch=1,resSearch=50,daterange=2,jour/mois/annee…)NotFound→ création de doublon à l'écriturePages canoniques actées
architecture.md: les deux notes « Proposition en cours » remplacées par « Acté » (cache MP 3 étages — non implémenté, le tableau reste le réel ; exception prefetch MP bornée)protocol-hfr.md: exception prefetch actée + contratnonlu.phpvérifié live (MP — investigation contrat serveur lu/non-lu : effet du GET authentifié + granularité « marquer comme non lu » (faisabilité cache/prefetch, #351) #361) écrit (GET sans hash_check, granularité binaire conversation entière, séquence de compensation sans perte)models.md§ MPStorage : référence ADR-014adr/README.md: retrait des « (Proposé) »Docs only — aucun changement de code.
🤖 Generated with Claude Code