Jalon 1.112 novembre 2026

Ce que cette Coupe devait faire

Il faut pouvoir annuler sa réservation, et que le créneau redevienne libre tout de suite.

Ticket T-2 · Annuler une réservation

Travail des Agents

L-2 · agent principal · 4 fichiers touchés
- openapi.yaml
- docs/specs/SF-003-annuler.md
- docs/specs/SF-002-droits.md
- docs/tests/TF-003-annuler.md

Pour chaque Facette : ce qui est déclaré, et ce qui le prouve.

FonctionnelEn échec
- SF-001 Réserver une salleprouvé
- SF-003 Annuler une réservationnon prouvé
- TF-001 Réserver un créneau libreprouvé
- TF-003 Annuler puis reprendre le créneauen échec
InvariantsCouverte
- SF-001 Réserver une salleprouvé
- TF-002 Refuser un créneau déjà prisprouvé
SécuritéNon prouvée
- SF-002 Qui peut réserver et annulernon prouvé
Performance et budgetsÉcartée
Écartée par l’Agent : Une annulation est une seule écriture.
FiabilitéÉcartée
Écartée par l’Agent : Pas de service externe appelé.
ÉvolutivitéManquante
Rien n’est déclaré.
MaintenabilitéCouverte
- ST-001 Où sont gardées les réservationsprouvé
- TT-001 La base refuse le chevauchementprouvé
Expérience(informe, ne bloque pas)Non prouvée
- SF-001 Réserver une salleprouvé
- SF-003 Annuler une réservationnon prouvé

Documentation applicative (1)

Documentation API (0)

Aucun document dans cette Rubrique à cette Coupe.

Spécifications fonctionnelles (3)

Spécifications techniques (1)

Architecture (0)

Aucun document dans cette Rubrique à cette Coupe.

Tests fonctionnels (3)

Tests techniques (1)

Réserver un créneau libre e2e/reserver.specréussi
Refuser un créneau déjà pris e2e/chevauchement.specréussi
Annuler puis reprendre le créneau e2e/annuler.specéchoué
Le créneau reste marqué occupé pendant 30 secondes après l'annulation.
Refuser d'annuler la réservation d'un autre e2e/annuler-autre.specignoré
La base refuse le chevauchement db/contrainte.testréussi