66 lines (47 loc) · 1.69 KB

✅ Implémentation Terminée - Breaking Change Workflows

Date: 2026-01-16
Statut: COMPLET

Fichiers Créés

1. Guide Méthodologique

breaking-change-rules.md (274 lignes)
Basé sur invariants-analysis.md
4 invariants + 8 propriétés + 4 checkpoints

2. Workflows

.agent/workflows/breaking-setup.md (367 lignes)
.agent/workflows/breaking-action-plan.md (410 lignes)
Total: 777 lignes de workflows

3. Infrastructure

reports-breaking/README.md
README.md mis à jour

4. Expérimentations

experiments/dependency-graph/extract-graph.jl (testé ✅)
experiments/dependency-graph/STRATEGIES.md
experiments/dependency-graph/RESUME.md

Utilisation des Invariants

Le fichier breaking-change-rules.md utilise directement l'analyse d'invariants :

Invariants (de invariants-analysis.md):

✅ Invariant 1: ⋂ ≠ ∅ (lignes 21-31)
✅ Invariant 2: Stable closure (lignes 35-45)
✅ Invariant 3: Stability preference (lignes 49-57)
✅ Invariant 4: Pre-release visibility (lignes 61-72)

Propriétés (lignes 78-129):

✅ Property 1: Widening creates paths
✅ Property 2: Forcing constraint (avec exemple)
✅ Property 3: Beta propagation
✅ Property 4: Stabilization order

Checkpoints (lignes 135-175):

✅ Before/After beta release
✅ Before/After stabilization

Template (lignes 181-210):

Inclut validation des invariants à chaque phase

Prêt à Utiliser

# Workflow 1: Setup
/breaking-setup

# Workflow 2: Action Plan
/breaking-action-plan reports-breaking/{setup-file}

Prochaine étape: Tester sur un cas réel (CTBase, CTModels, ou CTDirect)