make verifier inclut les preuves (make prouver --verifier) #3

Merged

danallaire merged 1 commit from prouver-dans-verifier into main

2026-07-20 21:04:09 -04:00

danallaire commented

2026-07-20 21:03:57 -04:00

Owner

prouver.py : nouveau mode --verifier — exécute toutes les preuves du registre
(verdict + code de sortie) sans écrire de rapport, pour ne pas écraser la pièce
justificative committée docs/audit/preuve-.md.
Makefile : make verifier se termine par python3 scripts/prouver.py --verifier
→ verifier échoue si une preuve échoue. make prouver seul écrit toujours le rapport.
docs/audit/README.md : section « Rapport avec make verifier » mise à jour.

Vérifié : make verifier → CONFORME 16/16 (voûte), aucun churn du rapport ; make
prouver écrit toujours ; ansible-lint 0 failure.

Co-Authored-By: Claude Opus 4.8 noreply@anthropic.com

- prouver.py : nouveau mode --verifier — exécute toutes les preuves du registre (verdict + code de sortie) sans écrire de rapport, pour ne pas écraser la pièce justificative committée docs/audit/preuve-<date>.md. - Makefile : make verifier se termine par `python3 scripts/prouver.py --verifier` → verifier échoue si une preuve échoue. make prouver seul écrit toujours le rapport. - docs/audit/README.md : section « Rapport avec make verifier » mise à jour. Vérifié : make verifier → CONFORME 16/16 (voûte), aucun churn du rapport ; make prouver écrit toujours ; ansible-lint 0 failure. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

danallaire added 1 commit 2026-07-20 21:03:58 -04:00

make verifier inclut les preuves (make prouver --verifier) 5a53332f96

- prouver.py : nouveau mode --verifier — exécute toutes les preuves du registre
  (verdict + code de sortie) sans écrire de rapport, pour ne pas écraser la pièce
  justificative committée docs/audit/preuve-<date>.md.
- Makefile : make verifier se termine par `python3 scripts/prouver.py --verifier`
  → verifier échoue si une preuve échoue. make prouver seul écrit toujours le rapport.
- docs/audit/README.md : section « Rapport avec make verifier » mise à jour.

Vérifié : make verifier → CONFORME 16/16 (voûte), aucun churn du rapport ; make
prouver écrit toujours ; ansible-lint 0 failure.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

danallaire merged commit abb0a85d08 into main

2026-07-20 21:04:09 -04:00

danallaire referenced this pull request from a commit

2026-07-20 21:04:10 -04:00

Merge pull request 'make verifier inclut les preuves (make prouver --verifier)' (#3) from prouver-dans-verifier into main

No reviewers

No labels

No milestone

No project

No assignees

1 participant

Notifications

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: Alliance-Boreale/Set-OPS-Public#3

No description provided.