Art.12
Record-keeping (logging)
What the Act says The high-risk system must automatically log events relevant to identifying, monitoring, and investigating risk incidents.
How AEGIS satisfies it Every tool call becomes an append-only audit row with an Ed25519 signature over the Merkle chain. Signed evidence pack lists row count, first/last timestamps, and the transparency-log root hash.
Art.13
Transparency and provision of information
What the Act says Systems must be designed so deployers can interpret the output and use it appropriately — instructions for use, characteristics, capabilities, limitations must be disclosed.
How AEGIS satisfies it Registered-agents view + policy DSL rules-in-force + static policy count all embedded in the evidence pack. Deployers can hand the JSON to auditors as the "what runs where, under what rules" declaration.
Art.14
Human oversight
What the Act says Natural persons must be able to oversee the system, understand its outputs, intervene, and interrupt operation via a stop button.
How AEGIS satisfies it Blocking-mode approval queue + kill-switch API + agent status transitions (active → suspended). Evidence pack counts approvals decisions + kill-switch events + suspensions in the reporting window; fires a gap if the oversight loop was never exercised.
Art.15
Accuracy, robustness and cybersecurity
What the Act says Systems must achieve an appropriate level of accuracy, robustness, and cybersecurity — and perform consistently in those respects throughout their lifecycle.
How AEGIS satisfies it Detector chain + integrity sweep across every agent trace-chain + policy violations tally + rollback events. Evidence pack fires a gap if any agent has a broken chain (tamper suspected).