Zum Inhalt
HALOWERK

Technische Prüfungen & Formate

workflow / workflow causal snapshot cut

An agent that captures distributed worker state needs whether any receive included by its per-process prefix cut has its matching send excluded and how many messages cross the cut in flight.

POST https://detect.halowerk.com/v1/workflow/workflow-causal-snapshot-cut

Eingaben

Felder des veröffentlichten Eingabeschemas
FeldTypPflichtBeschreibung
artifactobjectJa
Vollständiges Eingabeschema anzeigen
{
  "type": "object",
  "properties": {
    "artifact": {
      "type": "object",
      "properties": {
        "logs": {
          "type": "array",
          "items": {
            "type": "array",
            "items": {
              "type": "object",
              "properties": {
                "kind": {
                  "type": "string",
                  "minLength": 1,
                  "maxLength": 32,
                  "enum": [
                    "local",
                    "send",
                    "receive"
                  ]
                },
                "message": {
                  "type": "integer",
                  "minimum": 0,
                  "maximum": 2047
                },
                "peer": {
                  "type": "integer",
                  "minimum": 0,
                  "maximum": 7
                }
              },
              "required": [
                "kind",
                "message",
                "peer"
              ],
              "additionalProperties": false
            },
            "minItems": 0,
            "maxItems": 256
          },
          "minItems": 1,
          "maxItems": 8
        },
        "cut": {
          "type": "array",
          "items": {
            "type": "integer",
            "minimum": 0,
            "maximum": 256
          },
          "minItems": 1,
          "maxItems": 8
        }
      },
      "required": [
        "logs",
        "cut"
      ],
      "additionalProperties": false
    }
  },
  "required": [
    "artifact"
  ],
  "additionalProperties": false
}

Originalschema öffnen

Veröffentlichtes Eingabebeispiel

{
  "artifact": {
    "logs": [
      [
        {
          "kind": "send",
          "message": 1,
          "peer": 1
        }
      ],
      [
        {
          "kind": "receive",
          "message": 1,
          "peer": 0
        }
      ]
    ],
    "cut": [
      1,
      1
    ]
  }
}

Ergebnis & Dokumentation

Maschinenlesbare Dokumentation dieses Hubs

Quelle dieser Seite: der veröffentlichte HALOWERK-Katalog. Stand: 2026-11-01, 15:19 UTC.

Weitere Endpunkte dieses Hubs

Alle Endpunkte dieses Hubs →