@atlashub/smartstack-cli 4.75.0 → 4.79.0

package/templates/skills/business-analyse/react/components.md

@@ -34,19 +34,20 @@ import {
 import type { FeatureJson, FeatureStatus } from '@/types/docs';
 import { loadFeature, listVersions } from '@/services/docs';
 
-// Status Badge Component (supports both module and application statuses)
+// Status Badge Component (uses SmartStack theme CSS vars — adapts to dark mode and custom themes)
+// Maps the 8 BA statuses to the 4 canonical status tokens (info/warning/success) + neutral + accent.
 function StatusBadge({ status }: { status: FeatureStatus }) {
   const config: Record<FeatureStatus, { color: string; label: string }> = {
-    'draft': { color: 'bg-gray-500/10 text-gray-600', label: 'Draft' },
-    'framed': { color: 'bg-sky-500/10 text-sky-600', label: 'Framed' },
-    'analysed': { color: 'bg-blue-500/10 text-blue-600', label: 'Analysed' },
-    'decomposed': { color: 'bg-indigo-500/10 text-indigo-600', label: 'Decomposed' },
-    'specified': { color: 'bg-yellow-500/10 text-yellow-600', label: 'Specified' },
-    'consolidated': { color: 'bg-orange-500/10 text-orange-600', label: 'Consolidated' },
-    'approved': { color: 'bg-green-500/10 text-green-600', label: 'Approved' },
-    'handed-off': { color: 'bg-purple-500/10 text-purple-600', label: 'Handed Off' }
+    'draft':        { color: 'bg-[var(--bg-tertiary)] text-[var(--text-secondary)]',                                    label: 'Draft' },
+    'framed':       { color: 'bg-[var(--info-bg)] text-[var(--info-text)] border border-[var(--info-border)]',          label: 'Framed' },
+    'analysed':     { color: 'bg-[var(--info-bg)] text-[var(--info-text)] border border-[var(--info-border)]',          label: 'Analysed' },
+    'decomposed':   { color: 'bg-[var(--accent-bg)] text-[var(--accent-text)] border border-[var(--accent-border)]',    label: 'Decomposed' },
+    'specified':    { color: 'bg-[var(--warning-bg)] text-[var(--warning-text)] border border-[var(--warning-border)]', label: 'Specified' },
+    'consolidated': { color: 'bg-[var(--warning-bg)] text-[var(--warning-text)] border border-[var(--warning-border)]', label: 'Consolidated' },
+    'approved':     { color: 'bg-[var(--success-bg)] text-[var(--success-text)] border border-[var(--success-border)]', label: 'Approved' },
+    'handed-off':   { color: 'bg-[var(--accent-bg)] text-[var(--accent-text)] border border-[var(--accent-border)]',    label: 'Handed Off' }
   };
-  const { color, label } = config[status] || { color: 'bg-gray-500/10 text-gray-600', label: status };
+  const { color, label } = config[status] || { color: 'bg-[var(--bg-tertiary)] text-[var(--text-secondary)]', label: status };
   return (
     <span className={`px-2 py-0.5 rounded text-xs font-medium ${color}`}>
       {label}
@@ -54,15 +55,15 @@ function StatusBadge({ status }: { status: FeatureStatus }) {
   );
 }
 
-// Priority Badge Component
+// Priority Badge Component (MoSCoW → status tokens)
 function PriorityBadge({ priority }: { priority: string }) {
   const colors: Record<string, string> = {
-    Must: 'bg-red-500/10 text-red-600',
-    Should: 'bg-yellow-500/10 text-yellow-600',
-    Could: 'bg-blue-500/10 text-blue-600'
+    Must:   'bg-[var(--error-bg)] text-[var(--error-text)] border border-[var(--error-border)]',
+    Should: 'bg-[var(--warning-bg)] text-[var(--warning-text)] border border-[var(--warning-border)]',
+    Could:  'bg-[var(--info-bg)] text-[var(--info-text)] border border-[var(--info-border)]'
   };
   return (
-    <span className={`px-2 py-0.5 rounded text-xs font-medium ${colors[priority] || 'bg-gray-500/10 text-gray-600'}`}>
+    <span className={`px-2 py-0.5 rounded text-xs font-medium ${colors[priority] || 'bg-[var(--bg-tertiary)] text-[var(--text-secondary)]'}`}>
       {priority}
     </span>
   );
@@ -240,8 +241,8 @@ export function BusinessAnalyseViewer() {
               {feature.discovery.risks.map((risk) => (
                 <div key={risk.id} className="flex items-start gap-2 p-2 rounded bg-[var(--bg-secondary)] mb-1">
                   <AlertTriangle className={`w-4 h-4 flex-shrink-0 mt-0.5 ${
-                    risk.severity === 'high' ? 'text-red-500' :
-                    risk.severity === 'medium' ? 'text-yellow-500' : 'text-blue-500'
+                    risk.severity === 'high' ? 'text-[var(--error-text)]' :
+                    risk.severity === 'medium' ? 'text-[var(--warning-text)]' : 'text-[var(--info-text)]'
                   }`} />
                   <div>
                     <span className="text-sm font-medium">{risk.description}</span>
@@ -341,7 +342,7 @@ export function BusinessAnalyseViewer() {
                 </ol>
               </div>
               <div className="flex items-center gap-2 text-xs">
-                <Shield className="w-3 h-3 text-amber-500" />
+                <Shield className="w-3 h-3 text-[var(--warning-text)]" />
                 <code className="bg-[var(--bg-secondary)] px-2 py-0.5 rounded">{uc.permission}</code>
                 {uc.linkedRules.length > 0 && (
                   <span className="text-[var(--text-secondary)]">
@@ -393,11 +394,12 @@ export function BusinessAnalyseViewer() {
             </thead>
             <tbody>
               {feature.specification.apiEndpoints.map((ep, idx) => {
+                // HTTP methods → status tokens (theme-aware)
                 const methodColors: Record<string, string> = {
-                  GET: 'bg-green-500/10 text-green-600',
-                  POST: 'bg-blue-500/10 text-blue-600',
-                  PUT: 'bg-yellow-500/10 text-yellow-600',
-                  DELETE: 'bg-red-500/10 text-red-600'
+                  GET:    'bg-[var(--success-bg)] text-[var(--success-text)] border border-[var(--success-border)]',
+                  POST:   'bg-[var(--info-bg)] text-[var(--info-text)] border border-[var(--info-border)]',
+                  PUT:    'bg-[var(--warning-bg)] text-[var(--warning-text)] border border-[var(--warning-border)]',
+                  DELETE: 'bg-[var(--error-bg)] text-[var(--error-text)] border border-[var(--error-border)]'
                 };
                 return (
                   <tr key={`${ep.method}-${ep.path}`} className={idx % 2 === 1 ? 'bg-[var(--bg-secondary)]/50' : ''}>
@@ -431,7 +433,7 @@ export function BusinessAnalyseViewer() {
                   </h3>
                   <div className="flex gap-1">
                     {wf.permissionsRequired?.map((perm) => (
-                      <code key={perm} className="px-2 py-0.5 rounded bg-amber-500/10 text-amber-600 text-xs">
+                      <code key={perm} className="px-2 py-0.5 rounded bg-[var(--warning-bg)] text-[var(--warning-text)] border border-[var(--warning-border)] text-xs">
                         {perm}
                       </code>
                     ))}
@@ -466,8 +468,8 @@ export function BusinessAnalyseViewer() {
           <div className="space-y-2">
             {feature.suggestions.map((s) => (
               <div key={s.code} className={`flex items-center justify-between p-3 rounded-lg border ${
-                s.accepted === true ? 'border-green-500/30 bg-green-500/5' :
-                s.accepted === false ? 'border-red-500/30 bg-red-500/5 opacity-50' :
+                s.accepted === true ? 'border-[var(--success-border)] bg-[var(--success-bg)]' :
+                s.accepted === false ? 'border-[var(--error-border)] bg-[var(--error-bg)] opacity-50' :
                 'border-[var(--border-color)]'
               }`}>
                 <div>
@@ -476,9 +478,9 @@ export function BusinessAnalyseViewer() {
                   <p className="text-xs text-[var(--text-secondary)]">{s.reason}</p>
                 </div>
                 <span className={`px-2 py-0.5 rounded text-xs ${
-                  s.accepted === true ? 'bg-green-500/10 text-green-600' :
-                  s.accepted === false ? 'bg-red-500/10 text-red-600' :
-                  'bg-gray-500/10 text-gray-600'
+                  s.accepted === true ? 'bg-[var(--success-bg)] text-[var(--success-text)] border border-[var(--success-border)]' :
+                  s.accepted === false ? 'bg-[var(--error-bg)] text-[var(--error-text)] border border-[var(--error-border)]' :
+                  'bg-[var(--bg-tertiary)] text-[var(--text-secondary)]'
                 }`}>
                   {s.accepted === true ? 'Accepted' : s.accepted === false ? 'Declined' : 'Pending'}
                 </span>

package/templates/skills/business-analyse/references/03-json-schemas.md

@@ -38,6 +38,8 @@ Omit flags when `false` (default). Include explicitly when `true`.
 
 ## Business Rules Schema Format
 
+> **Source of truth:** `schemas/sections/analysis-schema.json` property `businessRules`.
+
 ```json
 {
   "id": "BR-VAL-EMPLOYEES-001",
@@ -45,9 +47,10 @@ Omit flags when `false` (default). Include explicitly when `true`.
   "category": "validation",
   "sectionCode": "list",
   "statement": "La date d'embauche ne peut pas être dans le futur",
-  "example": "Date embauche = 2027-01-01 → erreur car > date du jour",
+  "severity": "blocking",
   "entities": ["Employee"],
-  "severity": "blocking"
+  "examples": [{ "input": "hireDate = 2027-01-01", "expected": "Erreur : date dans le futur" }],
+  "domainSpecific": false
 }
 ```
 
@@ -63,10 +66,15 @@ Categories: `validation`, `calculation`, `workflow`, `security`, `data`, `notifi
 ```json
 {
   "id": "BR-CALC-INV-003",
+  "name": "Calcul reste à payer",
   "category": "calculation",
+  "sectionCode": "detail",
   "statement": "Le reste à payer = total - montant payé",
+  "severity": "blocking",
   "formula": "remainingAmount = total - paidAmount",
-  "entities": ["Invoice"]
+  "entities": ["Invoice"],
+  "examples": [{ "input": "total=1000, paidAmount=300", "expected": "remainingAmount = 700" }],
+  "domainSpecific": false
 }
 ```
 

package/templates/skills/business-analyse/references/03-post-check-validation.md

@@ -129,6 +129,70 @@ for (const mod of modules) {
       }
     }
   }
+
+  // ── Business Rules Schema Conformity (C16-C21) ──────────────────────
+
+  // Quality gate: BR schema field conformity (C16 — BLOCKING)
+  for (const br of brs) {
+    if (!br.id) errors.push(mod.code + ": BR missing 'id' field");
+    else if (!/^BR-(VAL|CALC|WF|SEC|DATA|NOTIF)-[A-Z]{2,4}-\d{3}$/.test(br.id))
+      errors.push(mod.code + ": BR '" + br.id + "' does not match ID pattern BR-{CAT}-{MOD}-{NNN}");
+    if (!br.name) errors.push(mod.code + ": BR '" + (br.id||'?') + "' missing 'name'");
+    if (!br.category) errors.push(mod.code + ": BR '" + (br.id||'?') + "' missing 'category'");
+    if (!br.statement) errors.push(mod.code + ": BR '" + (br.id||'?') + "' missing 'statement'");
+    if (!br.severity) errors.push(mod.code + ": BR '" + (br.id||'?') + "' missing 'severity'");
+    if (!br.entities || br.entities.length === 0)
+      errors.push(mod.code + ": BR '" + (br.id||'?') + "' missing 'entities[]'");
+    // Reject deprecated field names (common drift from sub-agent schema ignorance)
+    if (br.code && !br.id) errors.push(mod.code + ": BR uses 'code' instead of canonical 'id'");
+    if (br.label && !br.name) errors.push(mod.code + ": BR uses 'label' instead of canonical 'name'");
+    if (br.description && !br.statement) errors.push(mod.code + ": BR uses 'description' instead of canonical 'statement'");
+    if (br.rule && !br.statement) errors.push(mod.code + ": BR uses 'rule' instead of canonical 'statement'");
+    if (br.type && !br.category) errors.push(mod.code + ": BR uses 'type' instead of canonical 'category'");
+  }
+
+  // Quality gate: BR examples format (C17 — BLOCKING)
+  for (const br of brs) {
+    if (!br.examples || br.examples.length === 0)
+      errors.push(mod.code + ": BR '" + (br.id||'?') + "' missing 'examples[]' (min 1 required)");
+    if (br.example && !br.examples)
+      errors.push(mod.code + ": BR '" + (br.id||'?') + "' uses deprecated 'example' string — use 'examples[]' array of {input, expected}");
+    if (br.examples) {
+      for (const ex of br.examples) {
+        if (typeof ex === 'string')
+          errors.push(mod.code + ": BR '" + (br.id||'?') + "' has string in examples[] — must be {input, expected}");
+      }
+    }
+  }
+
+  // Quality gate: BR count minimum (C18 — BLOCKING if < 4)
+  if (brs.length > 0 && brs.length < 4) {
+    errors.push(mod.code + ": only " + brs.length + " business rules (minimum: 4)");
+  }
+
+  // Quality gate: Domain-specific ratio (C19 — WARNING if < 2)
+  const domainBRs = brs.filter(br => br.domainSpecific === true);
+  if (brs.length >= 4 && domainBRs.length < 2) {
+    warnings.push(mod.code + ": only " + domainBRs.length + " domain-specific rules out of " + brs.length +
+      " (minimum: 2 — see _shared.md rule 3)");
+  }
+
+  // Quality gate: domainSpecific flag presence (C20 — WARNING)
+  const brsMissingFlag = brs.filter(br => typeof br.domainSpecific === 'undefined');
+  if (brsMissingFlag.length > 0) {
+    warnings.push(mod.code + ": " + brsMissingFlag.length + "/" + brs.length +
+      " BRs missing 'domainSpecific' flag");
+  }
+
+  // Quality gate: Structured conditions for conditional rules (C21 — WARNING)
+  const conditionalBRs = brs.filter(br =>
+    br.category === 'workflow' || br.category === 'security' ||
+    (br.statement && /\b(IF|Si |si |Quand |quand |Lorsqu)/i.test(br.statement)));
+  const brsWithConditions = conditionalBRs.filter(br => br.conditions && br.conditions.length > 0);
+  if (conditionalBRs.length > 2 && brsWithConditions.length < 2) {
+    warnings.push(mod.code + ": " + brsWithConditions.length + "/" + conditionalBRs.length +
+      " conditional BRs have structured conditions[] (recommended: >= 2)");
+  }
 }
 
 if (errors.length > 0) {

package/templates/skills/business-analyse/references/canonical-json-formats.md

@@ -83,9 +83,10 @@
       "category": "validation",
       "sectionCode": "list",
       "statement": "La date ne peut pas être dans le futur",
-      "example": "Date = 2027-01-01 → erreur",
+      "severity": "blocking",
       "entities": ["Employee"],
-      "severity": "blocking"
+      "examples": [{ "input": "date = 2027-01-01", "expected": "Erreur : date dans le futur" }],
+      "domainSpecific": false
     }
   ]
 }
@@ -95,7 +96,10 @@
 |---------------|------------------------|
 | `rules` (root) | `businessRules` |
 | `statement` | `description` |
-| `id` | `name` (as identifier) |
+| `id` | `name` (as identifier), `code` |
+| `examples` (array of `{input, expected}`) | `example` (singular string) |
+| `category` | `type` |
+| `name` | `label` |
 
 Categories: `validation`, `calculation`, `workflow`, `security`, `data`, `notification`
 

package/templates/skills/business-analyse/references/robustness-checks.md

@@ -61,7 +61,7 @@ Ensures each module has ALL required components before being marked as "specifie
 | 5.1 | Sections count | ≥2 | YES | Modules need list + form minimum |
 | 5.2 | Wireframes count | 1 per section | YES | EVERY section MUST have wireframe |
 | 5.3 | Navigation entries | ≥1 | YES | Module must be accessible in menu |
-| 5.4 | Navigation route patterns | No `/list` or `/detail/:id` suffixes | YES | list route = module route (index), detail route = module + /:id. FORBIDDEN: `/module/list`, `/module/detail/:id` |
+| 5.4 | Navigation route patterns | No `/detail/:id` suffix | YES | ALL sections use uniform route: module route + /{section-code}. list route MUST end with `/list`. FORBIDDEN: `/module/detail/:id` (detail is implicit) |
 
 #### SECTION 6: I18N & Messages (3 checks)
 

package/templates/skills/business-analyse/references/validation-checklist.md

@@ -169,20 +169,20 @@ const checklist = {
   },
 
   navigationRoutePatterns: {
-    check: "Navigation routes do NOT contain CRUD suffixes (/list, /detail/:id)",
+    check: "Navigation routes do NOT contain forbidden patterns (/detail/:id)",
     status: (() => {
       const allRoutes = [
         ...(specification.seedDataCore?.navigationSections || []).map(s => s.route),
         ...(specification.sections || []).map(s => s.route),
         ...(specification.navigation?.entries || []).map(e => e.route)
       ].filter(Boolean);
-      const forbidden = allRoutes.filter(r => r.match(/\/list$/) || r.match(/\/detail\/:id$/));
+      const forbidden = allRoutes.filter(r => r.match(/\/detail\/:id$/));
       return forbidden.length === 0 ? "PASS" : "FAIL";
     })(),
     blocking: true,
-    details: "FORBIDDEN: /module/list (use /module), /module/detail/:id (use /module/:id). " +
-             "list route = module route (React Router index route). " +
-             "detail route = module route + /:id (React Router :id child). " +
+    details: "FORBIDDEN: /module/detail/:id (detail is implicit, not a section). " +
+             "ALL sections use uniform route: module route + /{section-code}. " +
+             "list route = module route + /list. " +
              "Other sections (dashboard, approve) add /{section} normally."
   },
 

package/templates/skills/business-analyse/schemas/sections/analysis-schema.json

@@ -24,9 +24,9 @@
         "type": "object",
         "required": ["id", "name", "category", "statement"],
         "properties": {
-          "id": { "type": "string", "pattern": "^BR-(VAL|CALC|WF|SEC|DATA)-[A-Z]{2,4}-\\d{3}$", "description": "Module-prefixed BR ID (e.g., BR-VAL-RM-001)" },
+          "id": { "type": "string", "pattern": "^BR-(VAL|CALC|WF|SEC|DATA|NOTIF)-[A-Z]{2,4}-\\d{3}$", "description": "Module-prefixed BR ID (e.g., BR-VAL-RM-001)" },
           "name": { "type": "string" },
-          "category": { "type": "string", "enum": ["validation", "calculation", "workflow", "security", "data"] },
+          "category": { "type": "string", "enum": ["validation", "calculation", "workflow", "security", "data", "notification"] },
           "statement": { "type": "string", "description": "IF ... THEN ... ELSE ..." },
           "priority": { "type": "string", "enum": ["must", "should", "could"] },
           "conditions": {
@@ -48,15 +48,26 @@
           },
           "examples": {
             "type": "array",
+            "description": "Test-ready examples: each example = a test case with concrete values. Minimum 2 per rule (happy_path + error). These feed Gherkin generation and automated tests.",
             "items": {
               "type": "object",
               "required": ["input", "expected"],
               "properties": {
-                "input": { "type": "string", "description": "Concrete input values" },
-                "expected": { "type": "string", "description": "Expected result/behavior" }
+                "input": { "type": "string", "description": "LEGACY fallback. Prefer given/when/then format." },
+                "expected": { "type": "string", "description": "LEGACY fallback. Prefer given/when/then format." },
+                "scenario": { "type": "string", "enum": ["happy_path", "error", "boundary", "calculation", "security"], "description": "Test scenario type" },
+                "description": { "type": "string", "description": "Human-readable test case description" },
+                "given": { "type": "object", "description": "Initial state: Entity.field → concrete value. Ex: {\"Employee.code\": \"EMP-001\", \"existingCodes\": [\"EMP-001\"]}", "additionalProperties": true },
+                "when": { "type": "string", "description": "Triggering action. Ex: 'create', 'update', 'submit', 'calculate_remaining'" },
+                "then": { "type": "object", "description": "Expected outcome: {result: 'success'|'error', Entity.field: value, message: '...', field: '...'}", "additionalProperties": true }
               }
             }
           },
+          "entities": {
+            "type": "array",
+            "items": { "type": "string" },
+            "description": "Entity names this rule applies to"
+          },
           "testability": { "type": "string" },
           "formula": { "type": "string", "description": "BR-CALC calculation formulas" },
           "sectionCode": { "type": "string", "description": "Section code the rule applies to" },

package/templates/skills/business-analyse/steps/step-03-specify.md

@@ -31,6 +31,26 @@ function resolveModuleDir(appCode, moduleCode) {
 > **Module directory (ba-006):** `mod.dir = resolveModuleDir(applicationCode, module.code)`
 > Example: `docs/projet-rh/v1.0/human-resources/employees/`
 
+## ENFORCEMENT LANGUE (OBLIGATOIRE)
+
+Toutes les valeurs textuelles générées dans les fichiers JSON de ce module DOIVENT être rédigées en `{language}` :
+
+| Champ JSON | Langue | Exemple FR | Exemple EN |
+|------------|--------|-----------|-----------|
+| entity.description | `{language}` | "Représente un employé" | "Represents an employee" |
+| attribute.description | `{language}` | "Code unique de l'employé" | "Unique employee code" |
+| rule.statement | `{language}` | "Le code doit être unique" | "Code must be unique" |
+| rule.examples[].input | `{language}` | "code='EMP-001', doublon" | "code='EMP-001', duplicate" |
+| rule.examples[].expected | `{language}` | "Erreur : code déjà existant" | "Error: code already exists" |
+| usecase.name | `{language}` | "Créer un employé" | "Create employee" |
+| usecase.mainScenario[] | `{language}` | "L'utilisateur ouvre la page" | "User opens the page" |
+| usecase.preconditions[] | `{language}` | "L'utilisateur est connecté" | "User is logged in" |
+| permission.description | `{language}` | "Consulter la liste" | "View the list" |
+
+**Identifiants techniques** (PascalCase) restent en anglais : `Employee`, `AbsenceBalance`, `status`, `BR-VAL-EMP-001`.
+
+**VIOLATION = contenu rejeté à la consolidation (step-04).**
+
 ## Prerequisites
 
 - Step 02 (structure) completed
@@ -82,6 +102,11 @@ Display(`Scope locked: ${expectedApps} app(s), ${confirmedModules.length} module
 |     - INTERDICTION de spawner des ba-writer pour des modules NON encore      |
 |       valides par le client                                                  |
 |                                                                              |
+|  6. JAMAIS "accelerer" en batchant des modules dans des sub-agents.          |
+|     Sub-agents (Agent/Snipper) n'ont PAS acces au schema JSON canonique.     |
+|     PREUVE: audit ba-012 → 4 dialectes JSON, conformite 95% → 35%.          |
+|     Si > 10 modules: maintenir le sequentiel, le retravail coute plus.       |
+|                                                                              |
 +==============================================================================+
 
 ## Sequential Execution
@@ -349,9 +374,12 @@ IF module has workflow states OR approval patterns:
     - BR-VAL-ABS-008: "Medical certificate required for absences > 3 days" [domainSpecific]
     - BR-SEC-ABS-001: "Manager cannot approve their own absences" [domainSpecific]
 
-ELSE (non-workflow module):
+ELSE (non-workflow module with >= 2 entities):
+  SHOULD WebSearch: "{module_domain} data validation rules best practices"
   → Use entity patterns from A-bis for validation rules
   → Load archetype rules from module-completeness-challenge.md
+  → For each archetype rule relevant to this module type, ADD to proposal
+  → Mark rules from research with domainSpecific: true
 ```
 
 ### C-bis. Client Validation — Business Rules (OBLIGATOIRE)
@@ -363,13 +391,63 @@ ELSE (non-workflow module):
    - Patterns domaine (A-bis) : validations standards, calculs attendus
    - Cadrage : errorFlows, processus décrits
 
+   > **Schema:** ALL fields defined in `schemas/sections/analysis-schema.json` property `businessRules`. Use EXACT canonical field names (`id`, `name`, `category`, `statement`, `severity`, `entities`, `examples`, `sectionCode`, `domainSpecific`).
+
    **ENRICHISSEMENT OBLIGATOIRE pour chaque règle :**
 
    Pour chaque BR proposée, inclure ces champs :
    - `severity` : TOUJOURS spécifier (blocking/warning/info)
    - `sectionCode` : TOUJOURS spécifier (section où la règle s'applique)
-   - `examples[]` : OBLIGATOIRE — au moins 1 exemple structuré `{input, expected}`
-     Ex: `{ input: "debut=15/03 fin=12/03", expected: "Erreur : date de fin avant date de debut" }`
+   - `examples[]` : OBLIGATOIRE — format **test-ready** `{scenario, description, given, when, then}`
+     Chaque exemple est un **jeu de test** avec des valeurs concrètes (pas de prose).
+     Minimum **2 exemples** par règle : `happy_path` + `error` (ou `calculation` + `boundary`).
+
+     **Format par catégorie :**
+     - `validation` :
+       ```json
+       { "scenario": "happy_path", "description": "Code unique accepté",
+         "given": { "Employee.code": "EMP-00042", "existingCodes": [] },
+         "when": "create",
+         "then": { "result": "success" } }
+       { "scenario": "error", "description": "Code dupliqué rejeté",
+         "given": { "Employee.code": "EMP-00001", "existingCodes": ["EMP-00001"] },
+         "when": "create",
+         "then": { "result": "error", "message": "Code déjà existant", "field": "code" } }
+       ```
+     - `calculation` :
+       ```json
+       { "scenario": "calculation", "description": "Solde avec report",
+         "given": { "AbsenceBalance.entitled": 25, "AbsenceBalance.carriedForward": 3, "AbsenceBalance.taken": 12 },
+         "when": "calculate_remaining",
+         "then": { "AbsenceBalance.remaining": 16, "formula": "25 + 3 - 12 = 16" } }
+       { "scenario": "boundary", "description": "Solde à zéro",
+         "given": { "AbsenceBalance.entitled": 10, "AbsenceBalance.carriedForward": 0, "AbsenceBalance.taken": 10 },
+         "when": "calculate_remaining",
+         "then": { "AbsenceBalance.remaining": 0 } }
+       ```
+     - `workflow` :
+       ```json
+       { "scenario": "happy_path", "description": "Transition Draft→Submitted",
+         "given": { "Absence.status": "Draft" },
+         "when": "submit",
+         "then": { "Absence.status": "Submitted", "result": "success" } }
+       { "scenario": "error", "description": "Transition interdite Approved→Draft",
+         "given": { "Absence.status": "Approved" },
+         "when": "submit",
+         "then": { "result": "error", "message": "Transition non autorisée" } }
+       ```
+     - `security` :
+       ```json
+       { "scenario": "happy_path", "description": "Admin accède à toutes les fiches",
+         "given": { "user.role": "RH Admin", "Employee.departmentId": "any" },
+         "when": "read",
+         "then": { "result": "success", "scope": "all" } }
+       { "scenario": "error", "description": "Employé accède uniquement à sa fiche",
+         "given": { "user.role": "Employé", "target.employeeId": "other-user" },
+         "when": "read",
+         "then": { "result": "error", "message": "Accès limité à votre fiche" } }
+       ```
+     **Fallback** : `{input, expected}` accepté mais marqué WARNING "format non test-ready".
    - `conditions[]` : OBLIGATOIRE pour les règles conditionnelles (IF/THEN) — structuré `{entity, field, operator, value}`
      Ex: `[{ entity: "Absence", field: "type", operator: "==", value: "Maladie" }, { entity: "Absence", field: "duration", operator: ">", value: 3 }]`
    - `consequences[]` : OBLIGATOIRE pour les règles avec effets de bord
@@ -378,9 +456,20 @@ ELSE (non-workflow module):
    - `domainSpecific: true` si la règle vient de la recherche domaine (C-pre)
 
    **Minimums par module métier (hors Portal/config) :**
-   - >= 4 règles avec `examples[]` structurés `{input, expected}`
+   - 100% des règles avec `examples[]` non vide (minimum 2 par règle : happy_path + error)
+   - >= 4 règles avec exemples test-ready `{scenario, given, when, then}`
    - >= 2 règles avec `conditions[]` structurés
    - >= 1 règle avec `consequences[]`
+   - Toute BR-CALC avec un exemple `calculation` contenant des valeurs numériques chiffrées
+
+   **Self-check AVANT présentation client :**
+   ```
+   domainCount = rules.filter(r => r.domainSpecific === true).length
+   IF domainCount < 2 AND module is NOT config/lookup/Portal:
+     SELF-CHECK: "Only {domainCount} domain-specific rules."
+     → Re-examine module-completeness-challenge.md archetypes for this module type
+     → Add at least 2 domain-specific rules before presenting to client
+   ```
 
 2. **Présenter le LOT complet** (markdown PUIS AskUserQuestion) :
    ```
@@ -398,6 +487,60 @@ ELSE (non-workflow module):
    - Q3.8 si les relations inter-champs sont complexes
    - Q3.9 si les données sensibles ne sont pas identifiées
 
+4. **POST-VALIDATION : Qualité test-ready des exemples (OBLIGATOIRE)**
+
+   Après validation client des règles métier, vérifier la qualité des exemples AVANT écriture :
+
+   ```javascript
+   // 1. Règles sans aucun exemple
+   const rulesWithoutExamples = module.rules.filter(r =>
+     !r.examples || r.examples.length === 0
+   );
+   if (rulesWithoutExamples.length > 0) {
+     // Auto-générer des exemples test-ready à partir du statement et des conditions
+     for (const rule of rulesWithoutExamples) {
+       rule.examples = generateTestReadyExamples(rule);
+       // Génère minimum: 1 happy_path + 1 error avec given/when/then
+     }
+     Display(`${rulesWithoutExamples.length} règle(s) complétée(s) avec exemples test-ready auto-générés.`);
+   }
+
+   // 2. Règles avec exemples en prose (ancien format {input, expected} sans given/when/then)
+   const proseExamples = module.rules.filter(r =>
+     r.examples?.length > 0 && !r.examples.some(e => e.given && e.when && e.then)
+   );
+   if (proseExamples.length > 0) {
+     // Convertir les exemples prose en format test-ready
+     for (const rule of proseExamples) {
+       rule.examples = rule.examples.map(e => convertToTestReady(e, rule));
+     }
+     Display(`${proseExamples.length} règle(s) converties du format prose au format test-ready.`);
+   }
+
+   // 3. BR-CALC sans exemple chiffré
+   const calcWithoutNumbers = module.rules.filter(r =>
+     r.category === 'calculation' &&
+     !r.examples?.some(e => e.scenario === 'calculation' || (e.then && Object.values(e.then).some(v => typeof v === 'number')))
+   );
+   if (calcWithoutNumbers.length > 0) {
+     Display(`⚠ ${calcWithoutNumbers.length} BR-CALC sans exemple chiffré — ajouter des valeurs numériques.`);
+   }
+
+   // 4. Vérification minimale
+   const testReady = module.rules.filter(r =>
+     r.examples?.some(e => e.given && e.when && e.then)
+   );
+   if (testReady.length < 4 && module.featureType !== 'portal') {
+     Display(`⚠ ${testReady.length}/4 règles au format test-ready {given, when, then}. Enrichir.`);
+   }
+   ```
+
+   **Minimum requis par module métier (hors Portal/config) :**
+   - 100% des règles avec `examples[]` non vide (minimum 2 par règle)
+   - >= 4 règles avec exemples test-ready `{scenario, given, when, then}`
+   - Toute BR-CALC avec un exemple `calculation` contenant des valeurs numériques
+   - Zéro exemple en prose vague (tout doit être en format `given/when/then`)
+
 INTERDICTION de passer à D (Use Cases) tant que le client n'a pas validé les règles.
 
 ### D. Use Cases
@@ -767,6 +910,21 @@ For EACH apiEndpoint in module:
 
 **criture :** Stocker dans `usecases.json` sous la cl `apiEndpoints[]` (enrichi).
 
+### H-pre. Schema Refresh (OBLIGATOIRE avant chaque ecriture)
+
+AVANT d'ecrire les JSON pour le module courant :
+→ **Relire** `references/03-json-schemas.md` section "Business Rules Schema Format"
+→ Verifier que CHAQUE rule dans le buffer utilise les champs canoniques :
+  - `id` (pas `code`), `name` (pas `label`), `statement` (pas `description`/`rule`),
+    `category` (pas `type`), `severity` (blocking/warning/info, pas Error/error),
+    `examples[]` (array d'`{input, expected}`, pas string), `entities[]`, `sectionCode`
+→ SI un champ deprecated est detecte : corriger AVANT ecriture
+→ Ce refresh prend ~30 secondes et previent 100% des derives de schema
+
+**POURQUOI ce refresh :** Apres 5+ modules, le contexte est compacte et les exemples
+JSON du debut de conversation sont perdus. Ce refresh garantit que chaque module
+est ecrit avec le format canonique, meme si le contexte a ete compresse.
+
 ### H. Write & Advance (SEULEMENT apres validation complete)
 
 > **GATE:** ba-writer ne peut etre lance QUE si le client a valide :