{
  "profile": "open-alert-draft/0.20",
  "description": "Связные эталонные трассы управляющего ядра: входные события, физические подтверждения, переходы состояний и обязательные исходы.",
  "traces": [
    {
      "id": "lost-start-and-release",
      "initialState": {
        "bootId": "00000000000000000000000000190073",
        "controlEpoch": "00000000000000000000000000190091",
        "principalId": "00000000000000000000000000000001",
        "security": "tls",
        "channel": "a",
        "purpose": "real",
        "uptimeMs": "50000",
        "highWater": "0",
        "attachSeq": "0",
        "leaseDeadlineMs": "80000",
        "output": "off",
        "state": "held",
        "sessionId": "00000000000000000000000000190581",
        "decisions": []
      },
      "steps": [
        {
          "kind": "request",
          "xml": "<request v=\"1\" profile=\"open-alert-draft/0.20\" id=\"00000000000000000000000000191001\" action=\"session.start\" bootId=\"00000000000000000000000000190073\" controlEpoch=\"00000000000000000000000000190091\" cmdSeq=\"1\"><session mode=\"siren\" purpose=\"real\" acceptBeforeMs=\"60000\" maxDurationMs=\"30000\" configRevision=\"7\" capabilityRevision=\"4\"><resources><resource id=\"ou1\" bindingGeneration=\"2\"/></resources><siren pattern=\"continuous\" durationMs=\"20000\" stopMode=\"duration\"/></session></request>",
          "expect": "accepted",
          "delivered": false
        },
        {
          "kind": "disconnect"
        },
        {
          "kind": "connect",
          "channel": "b"
        },
        {
          "kind": "request",
          "xml": "<request v=\"1\" profile=\"open-alert-draft/0.20\" id=\"00000000000000000000000000191004\" action=\"control.resume\" bootId=\"00000000000000000000000000190073\" controlEpoch=\"00000000000000000000000000190091\"><control acquireSeq=\"1\" instanceId=\"00000000000000000000000000190081\" attachSeq=\"1\"/></request>",
          "expect": "ok"
        },
        {
          "kind": "request",
          "xml": "<request v=\"1\" profile=\"open-alert-draft/0.20\" id=\"00000000000000000000000000191001\" action=\"session.start\" bootId=\"00000000000000000000000000190073\" controlEpoch=\"00000000000000000000000000190091\" cmdSeq=\"1\"><session mode=\"siren\" purpose=\"real\" acceptBeforeMs=\"60000\" maxDurationMs=\"30000\" configRevision=\"7\" capabilityRevision=\"4\"><resources><resource id=\"ou1\" bindingGeneration=\"2\"/></resources><siren pattern=\"continuous\" durationMs=\"20000\" stopMode=\"duration\"/></session></request>",
          "expect": "accepted"
        },
        {
          "kind": "confirmedRunning"
        },
        {
          "kind": "request",
          "xml": "<request v=\"1\" profile=\"open-alert-draft/0.20\" id=\"00000000000000000000000000191005\" action=\"channel.ping\" bootId=\"00000000000000000000000000190073\" controlEpoch=\"00000000000000000000000000190091\"/>",
          "expect": "ok",
          "repeat": 16
        },
        {
          "kind": "request",
          "xml": "<request v=\"1\" profile=\"open-alert-draft/0.20\" id=\"00000000000000000000000000191002\" action=\"session.stop\" bootId=\"00000000000000000000000000190073\" controlEpoch=\"00000000000000000000000000190091\" cmdSeq=\"2\"><session id=\"00000000000000000000000000190581\"/></request>",
          "expect": "accepted"
        },
        {
          "kind": "confirmedOff"
        },
        {
          "kind": "request",
          "xml": "<request v=\"1\" profile=\"open-alert-draft/0.20\" id=\"00000000000000000000000000191003\" action=\"control.release\" bootId=\"00000000000000000000000000190073\" controlEpoch=\"00000000000000000000000000190091\" cmdSeq=\"3\"/>",
          "expect": "ok",
          "delivered": false
        },
        {
          "kind": "disconnect"
        },
        {
          "kind": "connect",
          "channel": "c"
        },
        {
          "kind": "request",
          "xml": "<request v=\"1\" profile=\"open-alert-draft/0.20\" id=\"00000000000000000000000000191003\" action=\"control.release\" bootId=\"00000000000000000000000000190073\" controlEpoch=\"00000000000000000000000000190091\" cmdSeq=\"3\"/>",
          "expect": "ok"
        }
      ],
      "expectedState": {
        "highWater": "3",
        "physicalStarts": 1,
        "state": "released",
        "output": "off",
        "result": "succeeded",
        "reason": "operatorStop",
        "decisions": 3
      }
    },
    {
      "id": "cancel-before-start",
      "initialState": {
        "bootId": "00000000000000000000000000190073",
        "controlEpoch": "00000000000000000000000000190091",
        "principalId": "00000000000000000000000000000001",
        "security": "tls",
        "channel": "a",
        "purpose": "real",
        "uptimeMs": "50000",
        "highWater": "0",
        "attachSeq": "0",
        "leaseDeadlineMs": "80000",
        "output": "off",
        "state": "held",
        "sessionId": "00000000000000000000000000190581",
        "decisions": []
      },
      "steps": [
        {
          "kind": "request",
          "xml": "<request v=\"1\" profile=\"open-alert-draft/0.20\" id=\"00000000000000000000000000191006\" action=\"session.cancel\" bootId=\"00000000000000000000000000190073\" controlEpoch=\"00000000000000000000000000190091\" cmdSeq=\"2\"><session startSeq=\"1\"/></request>",
          "expect": "accepted"
        },
        {
          "kind": "request",
          "xml": "<request v=\"1\" profile=\"open-alert-draft/0.20\" id=\"00000000000000000000000000191001\" action=\"session.start\" bootId=\"00000000000000000000000000190073\" controlEpoch=\"00000000000000000000000000190091\" cmdSeq=\"1\"><session mode=\"siren\" purpose=\"real\" acceptBeforeMs=\"60000\" maxDurationMs=\"30000\" configRevision=\"7\" capabilityRevision=\"4\"><resources><resource id=\"ou1\" bindingGeneration=\"2\"/></resources><siren pattern=\"continuous\" durationMs=\"20000\" stopMode=\"duration\"/></session></request>",
          "expect": "startBlockedByCancel"
        },
        {
          "kind": "request",
          "xml": "<request v=\"1\" profile=\"open-alert-draft/0.20\" id=\"00000000000000000000000000191005\" action=\"channel.ping\" bootId=\"00000000000000000000000000190073\" controlEpoch=\"00000000000000000000000000190091\"/>",
          "expect": "ok",
          "repeat": 16
        }
      ],
      "expectedState": {
        "highWater": "2",
        "physicalStarts": 0,
        "state": "held",
        "output": "off",
        "decisions": 1
      }
    },
    {
      "id": "window-and-reserves",
      "initialState": {
        "bootId": "00000000000000000000000000190073",
        "controlEpoch": "00000000000000000000000000190091",
        "principalId": "00000000000000000000000000000001",
        "security": "tls",
        "channel": "a",
        "purpose": "real",
        "uptimeMs": "50000",
        "highWater": "0",
        "attachSeq": "0",
        "leaseDeadlineMs": "80000",
        "output": "off",
        "state": "held",
        "sessionId": "00000000000000000000000000190581",
        "decisions": []
      },
      "steps": [
        {
          "kind": "request",
          "xml": "<request v=\"1\" profile=\"open-alert-draft/0.20\" id=\"00000000000000000000000000191001\" action=\"session.start\" bootId=\"00000000000000000000000000190073\" controlEpoch=\"00000000000000000000000000190091\" cmdSeq=\"4097\"><session mode=\"siren\" purpose=\"real\" acceptBeforeMs=\"60000\" maxDurationMs=\"30000\" configRevision=\"7\" capabilityRevision=\"4\"><resources><resource id=\"ou1\" bindingGeneration=\"2\"/></resources><siren pattern=\"continuous\" durationMs=\"20000\" stopMode=\"duration\"/></session></request>",
          "expect": "invalidArgument"
        },
        {
          "kind": "request",
          "xml": "<request v=\"1\" profile=\"open-alert-draft/0.20\" id=\"00000000000000000000000000191007\" action=\"session.cancel\" bootId=\"00000000000000000000000000190073\" controlEpoch=\"00000000000000000000000000190091\" cmdSeq=\"18446744073709551614\"><session startSeq=\"1\"/></request>",
          "expect": "accepted"
        },
        {
          "kind": "request",
          "xml": "<request v=\"1\" profile=\"open-alert-draft/0.20\" id=\"00000000000000000000000000191001\" action=\"session.start\" bootId=\"00000000000000000000000000190073\" controlEpoch=\"00000000000000000000000000190091\" cmdSeq=\"1\"><session mode=\"siren\" purpose=\"real\" acceptBeforeMs=\"60000\" maxDurationMs=\"30000\" configRevision=\"7\" capabilityRevision=\"4\"><resources><resource id=\"ou1\" bindingGeneration=\"2\"/></resources><siren pattern=\"continuous\" durationMs=\"20000\" stopMode=\"duration\"/></session></request>",
          "expect": "startBlockedByCancel"
        },
        {
          "kind": "request",
          "xml": "<request v=\"1\" profile=\"open-alert-draft/0.20\" id=\"00000000000000000000000000191008\" action=\"control.release\" bootId=\"00000000000000000000000000190073\" controlEpoch=\"00000000000000000000000000190091\" cmdSeq=\"18446744073709551615\"/>",
          "expect": "ok"
        }
      ],
      "expectedState": {
        "highWater": "0",
        "physicalStarts": 0,
        "state": "released",
        "output": "off",
        "decisions": 0
      }
    },
    {
      "id": "release-identity-and-expiry",
      "initialState": {
        "bootId": "00000000000000000000000000190073",
        "controlEpoch": "00000000000000000000000000190091",
        "principalId": "00000000000000000000000000000001",
        "security": "tls",
        "channel": "a",
        "purpose": "real",
        "uptimeMs": "50000",
        "highWater": "0",
        "attachSeq": "0",
        "leaseDeadlineMs": "80000",
        "output": "off",
        "state": "held",
        "sessionId": "00000000000000000000000000190581",
        "decisions": []
      },
      "steps": [
        {
          "kind": "request",
          "xml": "<request v=\"1\" profile=\"open-alert-draft/0.20\" id=\"00000000000000000000000000191003\" action=\"control.release\" bootId=\"00000000000000000000000000190073\" controlEpoch=\"00000000000000000000000000190091\" cmdSeq=\"3\"/>",
          "expect": "ok"
        },
        {
          "kind": "disconnect"
        },
        {
          "kind": "connect",
          "channel": "b",
          "principalId": "00000000000000000000000000000002"
        },
        {
          "kind": "request",
          "xml": "<request v=\"1\" profile=\"open-alert-draft/0.20\" id=\"00000000000000000000000000191003\" action=\"control.release\" bootId=\"00000000000000000000000000190073\" controlEpoch=\"00000000000000000000000000190091\" cmdSeq=\"3\"/>",
          "expect": "forbidden"
        },
        {
          "kind": "connect",
          "channel": "c",
          "principalId": "00000000000000000000000000000001",
          "security": "plain"
        },
        {
          "kind": "request",
          "xml": "<request v=\"1\" profile=\"open-alert-draft/0.20\" id=\"00000000000000000000000000191003\" action=\"control.release\" bootId=\"00000000000000000000000000190073\" controlEpoch=\"00000000000000000000000000190091\" cmdSeq=\"3\"/>",
          "expect": "forbidden"
        },
        {
          "kind": "connect",
          "channel": "d",
          "principalId": "00000000000000000000000000000001",
          "security": "tls"
        },
        {
          "kind": "request",
          "xml": "<request v=\"1\" profile=\"open-alert-draft/0.20\" id=\"00000000000000000000000000191003\" action=\"control.release\" bootId=\"00000000000000000000000000190073\" controlEpoch=\"00000000000000000000000000190091\" cmdSeq=\"3\"/>",
          "expect": "ok"
        },
        {
          "kind": "evictRelease"
        },
        {
          "kind": "request",
          "xml": "<request v=\"1\" profile=\"open-alert-draft/0.20\" id=\"00000000000000000000000000191003\" action=\"control.release\" bootId=\"00000000000000000000000000190073\" controlEpoch=\"00000000000000000000000000190091\" cmdSeq=\"3\"/>",
          "expect": "resultExpired"
        },
        {
          "kind": "reboot",
          "bootId": "00000000000000000000000000190074"
        },
        {
          "kind": "request",
          "xml": "<request v=\"1\" profile=\"open-alert-draft/0.20\" id=\"00000000000000000000000000191003\" action=\"control.release\" bootId=\"00000000000000000000000000190073\" controlEpoch=\"00000000000000000000000000190091\" cmdSeq=\"3\"/>",
          "expect": "staleBoot"
        }
      ],
      "expectedState": {
        "highWater": "0",
        "physicalStarts": 0,
        "state": "free",
        "output": "off",
        "decisions": 0
      }
    },
    {
      "id": "unreceived-release-needs-resume",
      "initialState": {
        "bootId": "00000000000000000000000000190073",
        "controlEpoch": "00000000000000000000000000190091",
        "principalId": "00000000000000000000000000000001",
        "security": "tls",
        "channel": "a",
        "purpose": "real",
        "uptimeMs": "50000",
        "highWater": "0",
        "attachSeq": "0",
        "leaseDeadlineMs": "80000",
        "output": "off",
        "state": "held",
        "sessionId": "00000000000000000000000000190581",
        "decisions": []
      },
      "steps": [
        {
          "kind": "disconnect"
        },
        {
          "kind": "connect",
          "channel": "b"
        },
        {
          "kind": "request",
          "xml": "<request v=\"1\" profile=\"open-alert-draft/0.20\" id=\"00000000000000000000000000191003\" action=\"control.release\" bootId=\"00000000000000000000000000190073\" controlEpoch=\"00000000000000000000000000190091\" cmdSeq=\"3\"/>",
          "expect": "staleAttachment"
        },
        {
          "kind": "request",
          "xml": "<request v=\"1\" profile=\"open-alert-draft/0.20\" id=\"00000000000000000000000000191004\" action=\"control.resume\" bootId=\"00000000000000000000000000190073\" controlEpoch=\"00000000000000000000000000190091\"><control acquireSeq=\"1\" instanceId=\"00000000000000000000000000190081\" attachSeq=\"1\"/></request>",
          "expect": "ok"
        },
        {
          "kind": "request",
          "xml": "<request v=\"1\" profile=\"open-alert-draft/0.20\" id=\"00000000000000000000000000191003\" action=\"control.release\" bootId=\"00000000000000000000000000190073\" controlEpoch=\"00000000000000000000000000190091\" cmdSeq=\"3\"/>",
          "expect": "ok"
        }
      ],
      "expectedState": {
        "highWater": "3",
        "physicalStarts": 0,
        "state": "released",
        "output": "off",
        "decisions": 1
      }
    }
  ]
}