Documents

Les documents qu'un évaluateur lit. Chacun dit, au même endroit, ce qu'il ne prouve pas. Ils sont publiés dans leur langue d'écriture.

• AEGIS expliqué sans prérequisFR

  AEGIS expliqué sans prérequis : ce qu'il fait, ce qu'il refuse, et pour qui.

• Théorie d'Action FinalityFR

  Pourquoi une action d'agent doit être une transaction, et ce que « finalité » veut dire ici.

• Correspondance réglementaireFR

  Quel artefact est un élément de preuve pour quelle obligation — et ce qui n'est pas couvert.

• ArchitectureEN

  The kernel, the executors, the stores and the boundaries between them.

• Threat modelEN

  What AEGIS assumes, what it refuses to assume, and who the adversary is.

• AEGIS Action Finality Protocol v0.1EN

  The Action Finality Protocol, as an executable experimental profile.

• SCITT: capsules, and the log that answers questions about themEN

  Receipts as SCITT capsules, the transparency log, and the row that says what is not conformant.

• AEGIS against the OWASP Top 10 for Agentic Applications (2026)EN

  The ten OWASP agentic categories, with four verdicts and never ten out of ten.

• Kubernetes executor boundaryEN

  The two real executors, their compare-and-set discipline, and what cordoning costs in RBAC.

• Independent effect observerEN

  The read-only observer that turns a reported effect into an attested one.

• WORM transparency and SCITT profileEN

  Immutable retention and the transparency profile behind the receipts.

• Independent security audit packageEN

  The reproducible dossier handed to an independent assessor.