Can arguments of a message contain hyperlink markup?

[KalleOlaviNiemitalo]

When a message in a result contains placeholders (SARIF-2.1.0 §3.11.5), must the SARIF consumer first replace the placeholders with argument values and then parse the result for embedded links (SARIF-2.1.0 §3.11.6)? If so, this would allow the SARIF producer to emit links within the argument values themselves, but might also require the SARIF producer to backslash-escape some characters in the argument values in order to prevent the consumer from misparsing them as links.

Hypothetical example:

{
  "results": [
    {
      "ruleId": "SGL1014",
      "message": {
        "text": "Libraries have the same base address {0}: {1}",
        "arguments": [
          "0x140000",
          "[loader](0), [appcompat](1)"
        ]
      },
      "locations": [
        {
          "id": 0,
          "physicalLocation": {
            "uri": "file:///local/loader.l"
          }
        },
        {
          "id": 1,
          "physicalLocation": {
            "uri": "file:///local/appcompat.l"
          }
        }
      ]
    }
  ]
}

[KalleOlaviNiemitalo]

A bit related to #597.

[KalleOlaviNiemitalo]

A message object, or a multiformatMessageString object referenced by it, can have both text and markdown properties,

If SARIF consumers first replace parameter placeholders with argument values and then parse the resulting string, the SARIF producer may have to duplicate the argument values in order to encode them for each format:

{
    "text": "The {0} tag is obsolete.",
    "markdown": "The **{1}** tag is obsolete.",
    "arguments": [ "<ISINDEX>", "\\<ISINDEX\\>" ]
}

If SARIF consumers first parse the template and then replace parameter placeholders with argument values, the SARIF producer can instead share the same argument values for all formats:

{
    "text": "The {0} tag is obsolete.",
    "markdown": "The **{0}** tag is obsolete.",
    "arguments": [ "<ISINDEX>" ]
}

Because of this, I'm inclined to believe that the latter interpretation is intended.