WP-05 : moteur de règles de convention, effectif-daté

Le planning cesse d'être un tableur : il est confronté aux durées légales et
conventionnelles à chaque écriture.

Domaine — dix-huit règles pures
- `src/domain/compliance/` : chaque règle est une fonction pure, testée à sa
  borne exacte. La valeur limite passe, un cran au-delà déclenche — c'est la
  seule forme de test qui protège d'une inégalité écrite à l'envers, et une
  inégalité à l'envers sur un repos quotidien est une infraction que personne
  ne verra.
- 58 tests de règles, 14 sur les tranches d'heures : 43 h donnent 8 h à +25 %,
  45 h donnent 8 h à +25 % et 2 h à +50 %.

Aucune valeur dans le code
- Les seuils vivent en base (`CollectiveAgreement.parameters`), validés par un
  schéma Zod qui refuse un jeu amputé : un seuil manquant lu comme `undefined`
  désactiverait silencieusement une règle de sécurité.
- Un test charge deux jeux différents et vérifie que les résultats diffèrent.
- `MAX_DAILY_AMPLITUDE` reste muette : l'IDCC 1517 ne fixe pas d'amplitude
  quotidienne. Inventer une borne ferait désactiver l'ensemble des alertes par
  le premier manager excédé.

Effectif-datage — exigence n° 1 de la matrice
- Les versions de convention coexistent ; un trigger PostgreSQL refuse de
  réécrire le contenu d'une version publiée, tout en laissant enregistrer une
  approbation postérieure.
- Chaque constat mémorise la version appliquée. Un test d'intégration pose deux
  versions et vérifie qu'une semaine de mars n'est pas jugée sur la règle
  publiée en juillet.

Dimanche — la double contrepartie
Le taux de 100 % ne vient pas de la convention : l'IDCC 1517 n'en fixe aucun, et
l'entreprise n'a pas d'accord. Il vient de l'article L3132-27, qui impose la
rémunération doublée **et** un repos compensateur d'égale durée. Le moteur
produit les deux ; un test échoue si l'un manque. Le quota des douze dimanches
du maire est opposable, avec la liste arrêtée par établissement.

Restitution
- Les bloquants — chevauchement, créneau pendant une absence — annulent la
  transaction : mieux vaut refuser une saisie que garder un planning dont les
  heures se comptent deux fois.
- Les avertissements se franchissent, avec un motif enregistré sur chaque
  constat et une entrée d'audit. Le constat acquitté reste affiché avec sa
  justification : le faire disparaître donnerait l'illusion qu'il a été résolu
  alors qu'il a été assumé.
- Une modification revalide la semaine **et ses voisines** : le repos entre
  dimanche soir et lundi matin appartient à deux semaines.

Règles de mineurs — non implémentées, volontairement
La matrice ne couvre que les majeurs et le dossier n'a aucune source primaire
sur les moins de 18 ans. Les codes sont réservés, les seuils absents. Les
inventer donnerait une fausse assurance sur la population que le droit protège
le plus.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Cr9dkEHwbDgkWPnyGj1Rjv
This commit is contained in:
Claude committed 2026-08-08 07:38:39 +00:00
1 parent f8d84c25b9
commit 44b5163713
20 files changed
+3906 -2

No files matched your search

@@ -0,0 +1,132 @@
-- CreateEnum
CREATE TYPE "Severity" AS ENUM ('INFO', 'WARNING', 'BLOCKING');
-- CreateTable
CREATE TABLE "CollectiveAgreement" (
"id" TEXT NOT NULL,
"accountId" TEXT NOT NULL,
"idcc" TEXT NOT NULL,
"name" TEXT NOT NULL,
"parameters" JSONB NOT NULL,
"version" INTEGER NOT NULL,
"effectiveFrom" DATE NOT NULL,
"source" TEXT,
"approvedBy" TEXT,
"approvedAt" TIMESTAMP(3),
"createdAt" TIMESTAMP(3) NOT NULL DEFAULT CURRENT_TIMESTAMP,
CONSTRAINT "CollectiveAgreement_pkey" PRIMARY KEY ("id")
);
-- CreateTable
CREATE TABLE "ComplianceViolation" (
"id" TEXT NOT NULL,
"accountId" TEXT NOT NULL,
"weeklyScheduleId" TEXT NOT NULL,
"membershipId" TEXT,
"ruleCode" TEXT NOT NULL,
"severity" "Severity" NOT NULL,
"localDate" DATE,
"message" TEXT NOT NULL,
"context" JSONB NOT NULL,
"shiftIds" TEXT[],
"agreementId" TEXT,
"detectedAt" TIMESTAMP(3) NOT NULL DEFAULT CURRENT_TIMESTAMP,
"acknowledgedBy" TEXT,
"acknowledgedAt" TIMESTAMP(3),
"acknowledgementReason" TEXT,
CONSTRAINT "ComplianceViolation_pkey" PRIMARY KEY ("id")
);
-- CreateTable
CREATE TABLE "Holiday" (
"id" TEXT NOT NULL,
"accountId" TEXT NOT NULL,
"locationId" TEXT NOT NULL,
"localDate" DATE NOT NULL,
"name" TEXT NOT NULL,
"isPaidOff" BOOLEAN NOT NULL DEFAULT false,
CONSTRAINT "Holiday_pkey" PRIMARY KEY ("id")
);
-- CreateTable
CREATE TABLE "AuthorisedSunday" (
"id" TEXT NOT NULL,
"accountId" TEXT NOT NULL,
"locationId" TEXT NOT NULL,
"localDate" DATE NOT NULL,
"reference" TEXT,
CONSTRAINT "AuthorisedSunday_pkey" PRIMARY KEY ("id")
);
-- CreateIndex
CREATE INDEX "CollectiveAgreement_accountId_idcc_effectiveFrom_idx" ON "CollectiveAgreement"("accountId", "idcc", "effectiveFrom");
-- CreateIndex
CREATE INDEX "CollectiveAgreement_accountId_idx" ON "CollectiveAgreement"("accountId");
-- CreateIndex
CREATE UNIQUE INDEX "CollectiveAgreement_accountId_idcc_version_key" ON "CollectiveAgreement"("accountId", "idcc", "version");
-- CreateIndex
CREATE INDEX "ComplianceViolation_accountId_idx" ON "ComplianceViolation"("accountId");
-- CreateIndex
CREATE INDEX "ComplianceViolation_weeklyScheduleId_idx" ON "ComplianceViolation"("weeklyScheduleId");
-- CreateIndex
CREATE INDEX "ComplianceViolation_membershipId_localDate_idx" ON "ComplianceViolation"("membershipId", "localDate");
-- CreateIndex
CREATE INDEX "Holiday_accountId_idx" ON "Holiday"("accountId");
-- CreateIndex
CREATE UNIQUE INDEX "Holiday_locationId_localDate_key" ON "Holiday"("locationId", "localDate");
-- CreateIndex
CREATE INDEX "AuthorisedSunday_accountId_idx" ON "AuthorisedSunday"("accountId");
-- CreateIndex
CREATE UNIQUE INDEX "AuthorisedSunday_locationId_localDate_key" ON "AuthorisedSunday"("locationId", "localDate");
-- AddForeignKey
ALTER TABLE "ComplianceViolation" ADD CONSTRAINT "ComplianceViolation_weeklyScheduleId_fkey" FOREIGN KEY ("weeklyScheduleId") REFERENCES "WeeklySchedule"("id") ON DELETE CASCADE ON UPDATE CASCADE;
-- Isolation : toute table portant accountId doit porter sa politique.
ALTER TABLE "CollectiveAgreement" ENABLE ROW LEVEL SECURITY;
ALTER TABLE "CollectiveAgreement" FORCE ROW LEVEL SECURITY;
CREATE POLICY tenant_isolation ON "CollectiveAgreement"
USING ("accountId" = planflow_current_account());
CREATE POLICY tenant_insert ON "CollectiveAgreement"
FOR INSERT WITH CHECK ("accountId" = planflow_current_account());
ALTER TABLE "ComplianceViolation" ENABLE ROW LEVEL SECURITY;
ALTER TABLE "ComplianceViolation" FORCE ROW LEVEL SECURITY;
CREATE POLICY tenant_isolation ON "ComplianceViolation"
USING ("accountId" = planflow_current_account());
CREATE POLICY tenant_insert ON "ComplianceViolation"
FOR INSERT WITH CHECK ("accountId" = planflow_current_account());
ALTER TABLE "Holiday" ENABLE ROW LEVEL SECURITY;
ALTER TABLE "Holiday" FORCE ROW LEVEL SECURITY;
CREATE POLICY tenant_isolation ON "Holiday"
USING ("accountId" = planflow_current_account());
CREATE POLICY tenant_insert ON "Holiday"
FOR INSERT WITH CHECK ("accountId" = planflow_current_account());
ALTER TABLE "AuthorisedSunday" ENABLE ROW LEVEL SECURITY;
ALTER TABLE "AuthorisedSunday" FORCE ROW LEVEL SECURITY;
CREATE POLICY tenant_isolation ON "AuthorisedSunday"
USING ("accountId" = planflow_current_account());
CREATE POLICY tenant_insert ON "AuthorisedSunday"
FOR INSERT WITH CHECK ("accountId" = planflow_current_account());
-- Une version de convention ne se modifie pas : elle se remplace par une
-- nouvelle version datée. Sans cela, une paie antérieure cesse d'être
-- reproductible, ce qui est précisément l'exigence n° 1 de la matrice.
CREATE TRIGGER collective_agreement_append_only
BEFORE UPDATE OR DELETE ON "CollectiveAgreement"
FOR EACH ROW EXECUTE FUNCTION planflow_deny_write();
@@ -0,0 +1,36 @@
-- Immutabilité ciblée d'une version de convention.
--
-- Le blocage total posé avec la table interdisait aussi d'y consigner une
-- approbation, qui est pourtant un acte postérieur légitime : une version est
-- chargée, puis relue et approuvée par le gestionnaire de paie.
--
-- Ce qui doit rester figé, c'est le **contenu** — paramètres, IDCC, version,
-- date d'effet — parce que c'est lui qui rend une paie antérieure
-- reproductible. Corriger une valeur passe par une nouvelle version datée.
DROP TRIGGER IF EXISTS collective_agreement_append_only ON "CollectiveAgreement";
CREATE OR REPLACE FUNCTION planflow_agreement_frozen() RETURNS trigger AS $$
BEGIN
IF TG_OP = 'DELETE' THEN
RAISE EXCEPTION
'Une version de convention ne se supprime pas : une paie antérieure doit rester reproductible.'
USING ERRCODE = 'restrict_violation';
END IF;
IF NEW."parameters"::text IS DISTINCT FROM OLD."parameters"::text
OR NEW."idcc" IS DISTINCT FROM OLD."idcc"
OR NEW."version" IS DISTINCT FROM OLD."version"
OR NEW."effectiveFrom" IS DISTINCT FROM OLD."effectiveFrom" THEN
RAISE EXCEPTION
'Le contenu d''une version de convention est figé. Publier une nouvelle version datée.'
USING ERRCODE = 'restrict_violation';
END IF;
RETURN NEW;
END;
$$ LANGUAGE plpgsql;
CREATE TRIGGER collective_agreement_frozen
BEFORE UPDATE OR DELETE ON "CollectiveAgreement"
FOR EACH ROW EXECUTE FUNCTION planflow_agreement_frozen();
+103
View File
@@ -595,6 +595,7 @@ model WeeklySchedule {
shifts Shift[]
rests Rest[]
dailyNotes DailyNote[]
violations ComplianceViolation[]
@@unique([teamId, isoYear, isoWeek])
@@index([accountId])
@@ -673,3 +674,105 @@ model DailyNote {
@@index([accountId])
}
// ============================================================================
// Conformité conventionnelle — PLAN.md §6 et §12.2, WP-05
// ============================================================================
/// Convention collective, **effectif-datée**.
///
/// Les versions coexistent et ne se remplacent pas : la matrice n° 1 impose de
/// pouvoir reproduire à l'identique une paie antérieure après un changement de
/// règle. Une mise à jour en place rendrait cette reproduction impossible, et
/// l'impossibilité ne se découvrirait qu'au premier contrôle.
model CollectiveAgreement {
id String @id @default(cuid())
accountId String
idcc String
name String
/// Jeu de paramètres validé par `agreementParametersSchema`.
parameters Json
version Int
effectiveFrom DateTime @db.Date
/// Origine du texte : URL Legifrance, référence de PDF, note d'entretien.
source String?
approvedBy String?
approvedAt DateTime?
createdAt DateTime @default(now())
@@unique([accountId, idcc, version])
@@index([accountId, idcc, effectiveFrom])
@@index([accountId])
}
/// Constat produit par le moteur de règles.
///
/// Reconstruit à chaque évaluation d'une semaine : ce n'est pas un journal mais
/// l'état courant. L'acquittement, lui, survit — c'est la décision d'un manager
/// de publier malgré une alerte, et elle doit rester opposable.
model ComplianceViolation {
id String @id @default(cuid())
accountId String
weeklyScheduleId String
membershipId String?
ruleCode String
severity Severity
localDate DateTime? @db.Date
message String
context Json
/// Créneaux mis en cause, pour poser le badge sur la bonne cellule.
shiftIds String[]
/// Version de convention appliquée : sans elle, un constat ancien devient
/// inexplicable dès que les paramètres changent.
agreementId String?
detectedAt DateTime @default(now())
acknowledgedBy String?
acknowledgedAt DateTime?
acknowledgementReason String?
schedule WeeklySchedule @relation(fields: [weeklyScheduleId], references: [id], onDelete: Cascade)
@@index([accountId])
@@index([weeklyScheduleId])
@@index([membershipId, localDate])
}
enum Severity {
INFO
WARNING
BLOCKING
}
/// Jour férié d'un établissement.
///
/// Par établissement et non par compte : l'Alsace-Moselle a deux jours fériés
/// de plus, et une chaîne peut ouvrir un magasin de l'autre côté de la limite.
model Holiday {
id String @id @default(cuid())
accountId String
locationId String
localDate DateTime @db.Date
name String
/// Chômé par décision de l'employeur, au titre des jours garantis.
isPaidOff Boolean @default(false)
@@unique([locationId, localDate])
@@index([accountId])
}
/// Dimanche du maire autorisé — L3132-26.
///
/// La liste est arrêtée avant le 31 décembre pour l'année suivante. La stocker
/// rend le quota opposable au lieu de purement indicatif.
model AuthorisedSunday {
id String @id @default(cuid())
accountId String
locationId String
localDate DateTime @db.Date
/// Arrêté municipal ou décision de référence.
reference String?
@@unique([locationId, localDate])
@@index([accountId])
}
+143
View File
@@ -16,6 +16,12 @@ import {
zonedInstant,
} from '../src/domain/planning/week';
import { POSTE_CODES, POSTE_LABELS } from '../src/lib/design/postes';
import {
IDCC_1517_PARAMETERS,
IDCC_1517_PROVENANCE,
} from '../src/domain/compliance/idcc1517';
import { evaluateSchedule } from '../src/server/compliance/evaluate';
import { withTenant } from '../src/server/tenant';
/**
* Jeu de données de départ — PLAN.md §11.
@@ -406,6 +412,128 @@ async function main() {
console.log('→ Plannings');
await seedPlanning(account.id);
console.log('→ Convention collective');
// Effectif-datée : la version ne se met pas à jour, elle se remplace par une
// suivante datée. Un trigger PostgreSQL refuse de modifier son contenu.
const agreement = await prisma.collectiveAgreement.findFirst({
where: { accountId: account.id, idcc: '1517', version: 1 },
});
if (!agreement) {
await prisma.collectiveAgreement.create({
data: {
accountId: account.id,
idcc: '1517',
name: 'Commerces de détail non alimentaires',
parameters: IDCC_1517_PARAMETERS,
version: 1,
effectiveFrom: new Date('2026-01-01'),
source:
'Sources secondaires publiques — À VALIDER contre le texte consolidé Legifrance',
},
});
}
console.log(' IDCC 1517 version 1');
console.log('→ Registre de paramétrage juridique');
// L'origine de chaque valeur — ordre public, convention, accord d'entreprise
// — décide de ce qui se négocie et de ce qui s'impose. Elle est enregistrée
// avec sa source, pas seulement commentée dans le code.
for (const entry of IDCC_1517_PROVENANCE) {
await prisma.legalConfigEntry.upsert({
where: {
accountId_domain_key_effectiveFrom: {
accountId: account.id,
domain: 'temps',
key: entry.key,
effectiveFrom: new Date('2026-01-01'),
},
},
update: { value: entry.value, source: entry.source },
create: {
accountId: account.id,
domain: 'temps',
key: entry.key,
value: `${entry.label} : ${entry.value}`,
source: `[${entry.origin}] ${entry.source}`,
population: 'Tous salariés',
effectiveFrom: new Date('2026-01-01'),
},
});
}
console.log(` ${IDCC_1517_PROVENANCE.length} paramètres tracés`);
console.log('→ Jours fériés et dimanches autorisés');
// Jours fériés légaux français, hors Alsace-Moselle.
const holidays2026: Array<[string, string]> = [
['2026-01-01', 'Jour de l’an'],
['2026-04-06', 'Lundi de Pâques'],
['2026-05-01', 'Fête du travail'],
['2026-05-08', 'Victoire 1945'],
['2026-05-14', 'Ascension'],
['2026-05-25', 'Lundi de Pentecôte'],
['2026-07-14', 'Fête nationale'],
['2026-08-15', 'Assomption'],
['2026-11-01', 'Toussaint'],
['2026-11-11', 'Armistice 1918'],
['2026-12-25', 'Noël'],
];
for (const location of locations) {
for (const [date, name] of holidays2026) {
await prisma.holiday.upsert({
where: {
locationId_localDate: {
locationId: location.id,
localDate: new Date(`${date}T00:00:00Z`),
},
},
update: { name },
create: {
accountId: account.id,
locationId: location.id,
localDate: new Date(`${date}T00:00:00Z`),
name,
// Les trois jours chômés garantis par la convention sont choisis par
// l'employeur : ils ne sont pas devinés ici.
isPaidOff: date === '2026-05-01',
},
});
}
// Douze dimanches du maire, liste arrêtée avant le 31 décembre pour
// l'année suivante (L3132-26). Valeurs de démonstration.
const sundays = [
'2026-01-11',
'2026-06-28',
'2026-07-05',
'2026-08-30',
'2026-09-06',
'2026-11-29',
'2026-12-06',
'2026-12-13',
'2026-12-20',
];
for (const date of sundays) {
await prisma.authorisedSunday.upsert({
where: {
locationId_localDate: {
locationId: location.id,
localDate: new Date(`${date}T00:00:00Z`),
},
},
update: {},
create: {
accountId: account.id,
locationId: location.id,
localDate: new Date(`${date}T00:00:00Z`),
reference: 'Arrêté municipal de démonstration',
},
});
}
}
console.log(` ${holidays2026.length} jours fériés par établissement`);
console.log('→ Durées de conservation');
const retention = [
['Shift', 12, 'creation', 'Décompte des horaires : 1 an minimum (matrice n° 21).'],
@@ -437,6 +565,21 @@ async function main() {
}
console.log(` ${retention.length} politiques`);
console.log('→ Évaluation de conformité');
// Le seed produit des plannings, donc des constats : les laisser à calculer
// au premier affichage donnerait une grille faussement conforme.
const schedules = await prisma.weeklySchedule.findMany({
where: { accountId: account.id },
select: { id: true },
});
let violations = 0;
await withTenant(account.id, async (db) => {
for (const schedule of schedules) {
violations += (await evaluateSchedule(db, schedule.id)).length;
}
});
console.log(` ${violations} constats sur ${schedules.length} semaines`);
console.log(`\nMot de passe de démonstration : ${DEMO_PASSWORD}`);
}