{"header":{"message":"campaign: conflict-record diff post-processing note + orphaned-marker fix","description":null,"timestamp":"2026-08-19T20:06:49.388612985Z","authors":[{}]},"hash":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC","authors":[{"login":"pmeunier","key":"AAAAC3NzaC1lZDI1NTE5AAAAILagOJFgwaMNhBWQINinKOXmqS4Gh5NgxgriXwdOoINJ"}],"deps":{"hashes":[["HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC","campaign: conflict-record diff post-processing note + orphaned-marker fix"],["AA",null],["BAXMIFL6RJJNKFTUEWV2WXBCDU6Q52I4MJ7HIDJKX4LJLMQ234OAC","update campaign"],["FQET3EPE2XABAA5WA7Z2RJUKKZUV253GFWGNVZ46JUAG5YHOHWQAC","campaign: monorepo & replaces design notes + mission tracking"]],"deps":["BAXMIFL6RJJNKFTUEWV2WXBCDU6Q52I4MJ7HIDJKX4LJLMQ234OAC","FQET3EPE2XABAA5WA7Z2RJUKKZUV253GFWGNVZ46JUAG5YHOHWQAC"],"known":[]},"hunks":[{"FileAdd":{"meta":{"basename":"conflict-record-diff-postprocessing.md","metadata":0},"context":[{"change":2,"pos":1}],"contents":[{"Add":{"text":"---","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:5"}},{"Add":{"text":"scope: shared","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:19"}},{"Add":{"text":"title: Record d'un fichier en conflit — post-processing du diff (statut + 1 bug ouvert)","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:109"}},{"Add":{"text":"---","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:113"}},{"Add":{"text":"","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:114"}},{"Add":{"text":"# Enregistrer un fichier en conflit : la feature et ses failles","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:178"}},{"Add":{"text":"","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:179"}},{"Add":{"text":"## La feature (post-processing du diff)","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:219"}},{"Add":{"text":"","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:220"}},{"Add":{"text":"Quand on `record` un fichier qui contient des marqueurs de conflit, le diff doit","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:301"}},{"Add":{"text":"**ignorer les parties en conflit** ; et si l'utilisateur a **édité les côtés** du","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:387"}},{"Add":{"text":"conflit sans le résoudre, on enregistre uniquement ces éditions.","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:454"}},{"Add":{"text":"","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:455"}},{"Add":{"text":"Mécanisme (vérifié) : la reconnaissance des marqueurs repose **entièrement sur le","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:541"}},{"Add":{"text":"graphe**. `output_graph` réémet le conflit dans `contents_a` du `vertex_buffer::Diff`","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:629"}},{"Add":{"text":"avec exactement les mêmes lignes `>>>>>>>` / `=======` / `<<<<<<<` (mêmes suffixes","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:714"}},{"Add":{"text":"`[hash message]`) que la copie de travail. Le diff textuel (align. par égalité de","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:798"}},{"Add":{"text":"lignes) les fait coïncider, et `diff/replace.rs` (`get_up_context` /","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:868"}},{"Add":{"text":"`get_down_context`, via `diff.marker`) les traite comme **structure**, pas comme","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:949"}},{"Add":{"text":"contenu. Il n'existe **aucun parseur de marqueurs côté copie de travail** — tout","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:1034"}},{"Add":{"text":"passe par ce miroir graphe.","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:1062"}},{"Add":{"text":"","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:1063"}},{"Add":{"text":"Conséquence : la feature ne marche que si le graphe re-contient le conflit.","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:1140"}},{"Add":{"text":"","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:1141"}},{"Add":{"text":"## Tests (pijul-core/src/tests/conflict.rs)","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:1185"}},{"Add":{"text":"","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:1186"}},{"Add":{"text":"- `edit_conflict_sides` / `edit_after_conflict` : existants. **Assertion faible** :","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:1270"}},{"Add":{"text":" ils strippent les `[...]` puis comparent la *sortie* re-générée → un régression qui","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:1362"}},{"Add":{"text":" recorderait les marqueurs comme contenu round-triperait quand même et passerait.","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:1446"}},{"Add":{"text":"- `record_conflict_ignores_markers` (ajouté) : **garde forte**. Assère sur le change","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:1533"}},{"Add":{"text":" *enregistré* lui-même : (1) record d'un conflit inchangé ⇒ change vide ; (2) édition","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:1626"}},{"Add":{"text":" des côtés ⇒ le change ne contient **aucune** ligne marqueur en `+`/`-` ; (3)","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:1709"}},{"Add":{"text":" round-trip (multiset de lignes). Passe sur le code actuel → la feature de base est OK.","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:1800"}},{"Add":{"text":"","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:1801"}},{"Add":{"text":"## Bug CORRIGÉ : un côté du conflit est un *pending patch* disparu","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:1871"}},{"Add":{"text":"","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:1872"}},{"Add":{"text":"Test : `record_conflict_pending_side_gone` (passe). Scénario exact d'un `pijul pull`","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:1958"}},{"Add":{"text":"(voir `pijul_remote::pending` + `Local::upload_changes` / `pushpull.rs`) :","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:2033"}},{"Add":{"text":"","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:2034"}},{"Add":{"text":"1. `pending()` enregistre les éditions non-recordées locales comme change éphémère P, l'applique ;","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:2138"}},{"Add":{"text":"2. on applique la change entrante (conflit P vs entrante) ;","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:2198"}},{"Add":{"text":"3. `output` ⇒ la copie de travail reçoit les marqueurs ;","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:2258"}},{"Add":{"text":"4. `unrecord(P)` **+ `del_change(P)`** ⇒ P disparaît du graphe **et** du changestore.","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:2347"}},{"Add":{"text":"","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:2348"}},{"Add":{"text":"La copie de travail garde alors des marqueurs **orphelins** dont un côté pointe vers P","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:2437"}},{"Add":{"text":"(inexistant). Le graphe, lui, n'est plus en conflit (`a\\ny\\nb\\nc\\n`). Avant le fix, au","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:2524"}},{"Add":{"text":"`record` suivant, faute de conflit dans le graphe à faire coïncider, le diff enregistrait","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:2616"}},{"Add":{"text":"les lignes marqueur **et le côté disparu comme contenu littéral** (change corrompu","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:2702"}},{"Add":{"text":"référençant un hash mort).","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:2732"}},{"Add":{"text":"","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:2733"}},{"Add":{"text":"### Le fix (diff cœur)","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:2757"}},{"Add":{"text":"","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:2758"}},{"Add":{"text":"Détection des marqueurs **côté copie de travail, mais uniquement sur les runs","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:2839"}},{"Add":{"text":"réellement insérés** (pas de scan du fichier entier — les copies de travail peuvent","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:2928"}},{"Add":{"text":"être grosses). Câblé dans `diff_emit` (`diff/mod.rs`) : `ConflictContexts.wc_scan_markers","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:3021"}},{"Add":{"text":"= d.marker.is_empty()` — activé **seulement quand le graphe n'est PAS en conflit ici**","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:3111"}},{"Add":{"text":"(sinon on laisse le mécanisme normal graphe↔working-copy, préservé).","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:3185"}},{"Add":{"text":"","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:3186"}},{"Add":{"text":"Dans `Recorded::replace` (`diff/replace.rs`), quand `wc_scan_markers` : on maintient","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:3271"}},{"Add":{"text":"`wc_marker_stack` (pile des ids `>>>>>>> N` ouverts) au fil des runs d'insertion. Une","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:3357"}},{"Add":{"text":"insertion est « dans un bloc orphelin » ssi un marqueur est déjà ouvert **ou** la 1re","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:3447"}},{"Add":{"text":"ligne du run ouvre un bloc ⇒ on **skip** l'atome. La pile est mise à jour sur les","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:3532"}},{"Add":{"text":"marqueurs du run qu'on skippe ou non, donc le run suivant voit la bonne profondeur.","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:3616"}},{"Add":{"text":"Point clé : les lignes de marqueur ne coïncident jamais avec le graphe (qui n'a pas de","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:3705"}},{"Add":{"text":"conflit ici) ⇒ elles atterrissent toujours dans une insertion ⇒ les suivre run par run","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:3796"}},{"Add":{"text":"suffit, sans relire tout `b`. `conflict_marker_id(line, b'>'|b'<')` exige la forme","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:3879"}},{"Add":{"text":"complète ` ` pour éviter les faux positifs.","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:3939"}},{"Add":{"text":"","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:3940"}},{"Add":{"text":"Effet : conflit orphelin brut ⇒ change vide (ignoré) ; édition *à l'extérieur* du bloc ⇒","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:4037"}},{"Add":{"text":"recordée normalement (suppression chirurgicale, testé). L'édition non-résolue reste dans","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:4130"}},{"Add":{"text":"la copie de travail comme travail non-recordé.","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:4178"}},{"Add":{"text":"","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:4179"}},{"Add":{"text":"Limites connues : (a) détection par bloc-id apparié, donc du texte qui ressemble à un","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:4268"}},{"Add":{"text":"marqueur Pijul complet (`>>>>>>> 5` … `<<<<<<< 5`) dans un fichier hors-conflit serait","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:4357"}},{"Add":{"text":"ignoré — risque inhérent à toute la feature (marqueurs = heuristique texte) ; (b) cas mixte","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:4454"}},{"Add":{"text":"« graphe en conflit sur A + bloc orphelin ailleurs dans le même fichier » non couvert","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:4543"}},{"Add":{"text":"(`d.marker` non vide ⇒ pas de suppression) ; (c) un run qui mélange vrai edit puis marqueur","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:4638"}},{"Add":{"text":"sans ligne alignée entre les deux se décide sur sa 1re ligne. Suffisant pour `pull`/`push`.","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:4732"}},{"Add":{"text":"","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:4733"}},{"Add":{"text":"## Régression séparée trouvée en chemin","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:4777"}},{"Add":{"text":"","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:4778"}},{"Add":{"text":"`tests::performance::linear_context_repair` **échoue** (`20: 1136 > 187`). Cause :","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:4862"}},{"Add":{"text":"`repair_zombies` (`apply.rs`, refactor de juillet « cleanup + parallel fuzzer ») reconnecte","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:4956"}},{"Add":{"text":"un zombie vivant depuis **chaque** ancêtre vivant au lieu du premier (correction de","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:5041"}},{"Add":{"text":"correction), créant des pseudo-edges redondants « prunées au output ». Le test compte","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:5131"}},{"Add":{"text":"les edges juste après apply (pas de output) ⇒ explose. Même en forçant un output avant","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:5223"}},{"Add":{"text":"comptage : 218 > 187, donc pas qu'un pruning différé. Fix = reconnexion minimale /","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:5308"}},{"Add":{"text":"pruning dans apply, arbitrage correction-vs-perf. Non lié aux marqueurs.","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:5382"}}]}},{"Edit":{"inode":{"change":3,"pos":25817},"path":"campaign/index.md","line":4,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":25890}],"down_context":[],"flag":"BLOCK","start":5449,"end":5751,"inode":{"change":3,"pos":25817}}},"contents":[{"Add":{"text":"","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:5449"}},{"Add":{"text":"## Notes de design","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:5468"}},{"Add":{"text":"","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:5469"}},{"Add":{"text":"- [Record d'un fichier en conflit — post-processing du diff](conflict-record-diff-postprocessing.md) — feature OK ; bug « pending disparu → marqueurs orphelins » **corrigé** (parseur working-copy) ; `linear_context_repair` = algo WIP de l'auteur (pas un bug à corriger).","pos":"HBIKWZLIX4WN3PRPIZMURSSCDF2J423X5YXKXSR3SEPNSEBT6PRQC:5750"}}]}}],"owner":"pijul","repo":"pijul","token":"F5VWQwBHpUa4JuZse3Ae5016dTLqn9PU1KN++n9xWnI=","login":null}

…

Dependencies

Change contents

Review