Agent Logic / Proof / CAV Red-Blue Verification

Retained Proof Packet

Continuous Adversarial Verification: red/blue run

A rendering of a retained CAV proof packet. Governed red-team agents attempted six attacks against the runtime; blue-team controls refused or detected all six. The JSON packet below is the source of record — this page is generated from it and adds nothing to it.


All scenarios passed. Residual risks are declared per scenario below — "passed with bounded residuals" means we state what this run does not prove.

Attack scenarios

Each card shows what the red team attempted, the control that responded, and the recorded outcome. Severity reflects the impact if the attack had succeeded.

Boundaries

Evidence is only as good as its declared limits. This packet states both what was retained and what this run explicitly does not claim.

Redaction & retention

    Non-claims — what this run does not prove

      Retained artifacts

        Run identity

          Inspect the source of record: raw proof packet (JSON) — schema . If this page and the packet ever disagree, the packet wins.