Zum Inhalt
HALOWERK

Technische Prüfungen & Formate

workflow / workflow multiversion serialization

An agent that checks a versioned workflow history needs write-order read-from and anti-dependency edges derived from explicit versions rather than a single interleaved conflict trace.

POST https://detect.halowerk.com/v1/workflow/workflow-multiversion-serialization

Eingaben

Felder des veröffentlichten Eingabeschemas
FeldTypPflichtBeschreibung
artifactobjectJa
Vollständiges Eingabeschema anzeigen
{
  "type": "object",
  "properties": {
    "artifact": {
      "type": "object",
      "properties": {
        "transactions": {
          "type": "array",
          "items": {
            "type": "integer",
            "minimum": 0,
            "maximum": 31
          },
          "minItems": 1,
          "maxItems": 32
        },
        "versions": {
          "type": "array",
          "items": {
            "type": "object",
            "properties": {
              "key": {
                "anyOf": [
                  {
                    "type": "integer",
                    "minimum": -1000000000,
                    "maximum": 1000000000
                  },
                  {
                    "type": "string",
                    "minLength": 0,
                    "maxLength": 128
                  },
                  {
                    "type": "boolean"
                  },
                  {
                    "type": "null"
                  }
                ]
              },
              "version": {
                "type": "integer",
                "minimum": 0,
                "maximum": 1000000000
              },
              "writer": {
                "type": "integer",
                "minimum": -1,
                "maximum": 31
              },
              "order": {
                "type": "integer",
                "minimum": 0,
                "maximum": 1000000000
              }
            },
            "required": [
              "key",
              "version",
              "writer",
              "order"
            ],
            "additionalProperties": false
          },
          "minItems": 1,
          "maxItems": 128
        },
        "reads": {
          "type": "array",
          "items": {
            "type": "object",
            "properties": {
              "reader": {
                "type": "integer",
                "minimum": 0,
                "maximum": 31
              },
              "key": {
                "anyOf": [
                  {
                    "type": "integer",
                    "minimum": -1000000000,
                    "maximum": 1000000000
                  },
                  {
                    "type": "string",
                    "minLength": 0,
                    "maxLength": 128
                  },
                  {
                    "type": "boolean"
                  },
                  {
                    "type": "null"
                  }
                ]
              },
              "version": {
                "type": "integer",
                "minimum": 0,
                "maximum": 1000000000
              }
            },
            "required": [
              "reader",
              "key",
              "version"
            ],
            "additionalProperties": false
          },
          "minItems": 0,
          "maxItems": 256
        }
      },
      "required": [
        "transactions",
        "versions",
        "reads"
      ],
      "additionalProperties": false
    }
  },
  "required": [
    "artifact"
  ],
  "additionalProperties": false
}

Originalschema öffnen

Veröffentlichtes Eingabebeispiel

{
  "artifact": {
    "transactions": [
      0,
      1
    ],
    "versions": [
      {
        "key": "x",
        "version": 0,
        "writer": 0,
        "order": 0
      },
      {
        "key": "x",
        "version": 1,
        "writer": 1,
        "order": 1
      }
    ],
    "reads": []
  }
}

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 →