Repository navigation
docs(conformance): REQ-7.10-02 couvert, scellement des journaux prouvé en service (J-d) - #105
Merged
Merged
Conversation
PhilippeVienne
force-pushed
the
feat/journal-seal-ca-ra
branch
from
October 19, 2026 09:09
69f3a07 to
5fe753a
Compare
PhilippeVienne
force-pushed
the
feat/journal-seal-docs
branch
from
October 19, 2026 09:09
1a14945 to
b1418a8
Compare
PhilippeVienne
marked this pull request as ready for review
October 20, 2026 17:07
PhilippeVienne
force-pushed
the
feat/journal-seal-ca-ra
branch
from
October 20, 2026 17:11
5fe753a to
8623cfb
Compare
PhilippeVienne
force-pushed
the
feat/journal-seal-docs
branch
from
October 20, 2026 17:12
b1418a8 to
46d949f
Compare
…é en service (J-d) La matrice passe « Intégrité démontrable des enregistrements d'audit » en couvert : scellement par oe-seal dans les trois services, contreseing tiers, copie hors site, avec ses limites (signature des jetons tiers non vérifiée à la collecte ; mise en service de ra-console prouvée par ses tests en mémoire seulement). La preuve de mise en service est une étape nouvelle des deux démonstrations de la CI, compose et kind, qui attend le premier sceau de la TSA dans le journal de la CA (/healthz, puis ca-server verify-audit). CONFORMITE-ETSI.md régénéré : 24 couvertes. Docs mises au niveau du code : ARCHITECTURE.md (journal d'audit), CPS.md (scellement), CA.md (menaces), README. Co-authored-by: Claude <noreply@anthropic.com>
PhilippeVienne
force-pushed
the
feat/journal-seal-docs
branch
from
October 20, 2026 17:33
46d949f to
8afe3f5
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Tranche J-d du plan P1 (PROGRESSION.md §0), empilée sur #103 (elle-même sur #102). Dernière tranche du constat J-1.
oe_conformance::system_matrix) :REQ-7.10-02/REQ-7.10-08passe en couvert. Mécanisme : scellement paroe-sealdans les trois services, contreseing tiers, copie hors site,/healthzdégradé après trois passes. Limites écrites dans la ligne : signature des jetons tiers non vérifiée à la collecte ;ra-consolescelle par le même crate mais sa mise en service n'est prouvée que par ses tests en mémoire (la console n'est pas dans la démonstration). Tests cités :oe-seal,tsa-server(seal.rs),ca-server(crl_publication.rs).REQ-7.11: la copie S3 est périodique pour les trois services./healthz(journal.last_seal) puis compte lesscellementsdeca-server verify-audit.tests/references.rsrésout l'étape.docs/CONFORMITE-ETSI.mdrégénéré (make conformance-doc) : 24 couvertes, 1 implémentée, 9 écarts, 2 hors périmètre.ARCHITECTURE.md(section journal d'audit réécrite),CPS.md(ligne scellement : reste la vérification de signature des jetons tiers et la liste contractuelle des TSA),CA.md(deux lignes du tableau des menaces),README.md.Vérifications :
cargo test -p oe-conformance(matrice cohérente, références résolues),cargo fmt --check, YAML du workflow chargé.https://claude.ai/code/session_017unSVWTcYebxj2tHbtFFVV