LCOS EN

exercice du 17/08/2026REQ-064AUDIT_EVENT_APPENDED

Des faits⁠, pas des adjectifs.

REQ-064

Une garantie sans artefact est une déclaration. Cette page ne cite que des contrôles exécutés, chacun relié à la pièce qui le documente. Ce qui n’a pas été exercé n’y figure pas.

  1. .01

    Journal d’audit en ajout seul

    La suppression et la modification d’une entrée du journal d’audit sont rejetées par des déclencheurs du moteur de base de données. À l’anti-test du 17 août 2026, la tentative de suppression a échoué, y compris en superutilisateur — 0 suppression possible.

    Artefact : rapport d’exercice b2-p2-pitr-oldest-antitest-20260817 (dépôt hospitality-lcos, docs/audit).

  2. .02

    Restauration exercée, pas promise

    Le 17 août 2026, la base a été restaurée à un instant donné depuis un dépôt hors-site chiffré, en 114 s. Les 21 tables du périmètre ont rendu 21/21 empreintes identiques aux attendus, 0 divergence. La portée mesurée est celle de l’exercice : serveur survivant, outillage en place.

    Artefact : journal d’exercice b2-drill-pitr-20260817221349.json (empreintes canoniques, cardinalités, durée mesurée).

  3. .03

    Approbations par matrice de rôles

    Le niveau de risque d’un contrat détermine les rôles dont la décision est exigée, jusqu’au conseil externe et à la direction pour les niveaux les plus élevés. La ratification d’une règle d’approbation émet un événement journalisé (APPROVAL_RULE_RATIFIED) ; un approbateur ne peut pas approuver sa propre demande.

    Artefact : suite de tests de bout en bout de la matrice d’approbation (module 35), qui vérifie l’événement et son entrée au journal d’audit.

  4. .04

    Erreurs stables, corrélées

    Un refus du système porte un code d’erreur stable : la même cause produit le même code, accompagné d’un identifiant de corrélation qui relie la réponse à son entrée de journal.

    Artefact : catalogue d’erreurs stables de la spécification maîtresse (§51) ; les suites de tests du dépôt vérifient les codes rendus.

Ces preuves datent et se rejouent. Elles couvrent le périmètre exercé à leur date — pas davantage — et chaque nouvel exercice remplace une déclaration par une mesure.