{
  "attacks": [
    {
      "attackId": "ADV-001",
      "expectedCheck": "SEM_RESPONSE_TUPLE",
      "mutation": "Set status=200 while retaining AUTH_REQUIRED error",
      "name": "status-envelope-outcome",
      "target": "AW-002"
    },
    {
      "attackId": "ADV-002",
      "expectedCheck": "SEM_DENIAL_EFFECTS",
      "mutation": "Set signerCalls=1 on non-ownership denial",
      "name": "denial-zero-effects",
      "target": "AW-002"
    },
    {
      "attackId": "ADV-003",
      "expectedCheck": "SEM_RACE_WINNER",
      "mutation": "Set second event mutationCommitted=true",
      "name": "race-single-winner",
      "target": "AW-065"
    },
    {
      "attackId": "ADV-004",
      "expectedCheck": "SEM_OWNERSHIP",
      "mutation": "Change positive owner actor userA to userB",
      "name": "authoritative-owner",
      "target": "AW-040"
    },
    {
      "attackId": "ADV-005",
      "expectedCheck": "SEM_ADMIN_AUDIT",
      "mutation": "Remove the sole accepted-command audit record and set auditEvents=0",
      "name": "admin-audit",
      "target": "AW-094"
    },
    {
      "attackId": "ADV-006",
      "expectedCheck": "SEM_AUTH_PARSER",
      "mutation": "Replace malformed bearer with syntactically valid registered bearer",
      "name": "bearer-parser",
      "target": "AW-003"
    },
    {
      "attackId": "ADV-007",
      "expectedCheck": "SEM_RATE_DERIVATION",
      "mutation": "Mutate exact-limit rate identity/key",
      "name": "rate-derivation",
      "target": "AW-067"
    },
    {
      "attackId": "ADV-008",
      "expectedCheck": "SEM_CONTRACT_REF",
      "mutation": "Replace contractRefs with nonexistent SEC-ZZZ",
      "name": "contract-resolution",
      "target": "AW-001"
    },
    {
      "attackId": "ADV-009",
      "expectedCheck": "SEM_PREFLIGHT_MATRIX",
      "mutation": "Change category cors to malformed",
      "name": "preflight-identity",
      "target": "AW-124"
    },
    {
      "attackId": "ADV-010",
      "expectedCheck": "SEM_LOGGING_ANCHOR",
      "mutation": "Delete sink leaf and self-rehash mutable graph",
      "name": "external-sink-anchor",
      "target": "manifest.loggingInventory"
    },
    {
      "attackId": "ADV-011",
      "expectedCheck": "SEM_STABLE_BASELINE",
      "mutation": "Swap descriptions and self-rehash current manifest semantic map",
      "name": "immutable-semantic-baseline",
      "target": "AW-001/AW-002"
    },
    {
      "attackId": "ADV-012",
      "expectedCheck": "SEM_TRANSITIONS",
      "mutation": "Delete all transitions from mutating case",
      "name": "transition-nonvacuity",
      "target": "AW-035"
    }
  ],
  "executionRepetitions": 2,
  "matrixVersion": 1,
  "validator": "validate.py --self-test-attacks"
}