Zum Inhalt
HALOWERK

Technische Prüfungen & Formate

workflow / workflow savepoint rollback transcript

An agent that replays nested transactional edits needs whether supplied value assertions agree with rollback-to and release semantics including repeated savepoint names.

POST https://detect.halowerk.com/v1/workflow/workflow-savepoint-rollback-transcript

Eingaben

Felder des veröffentlichten Eingabeschemas
FeldTypPflichtBeschreibung
artifactobjectJa
Vollständiges Eingabeschema anzeigen
{
  "type": "object",
  "properties": {
    "artifact": {
      "type": "object",
      "properties": {
        "initial_values": {
          "type": "array",
          "items": {
            "type": "integer",
            "minimum": 0,
            "maximum": 1000000000
          },
          "minItems": 1,
          "maxItems": 256
        },
        "events": {
          "type": "array",
          "items": {
            "anyOf": [
              {
                "type": "object",
                "properties": {
                  "kind": {
                    "const": "set"
                  },
                  "key": {
                    "type": "integer",
                    "minimum": 0,
                    "maximum": 255
                  },
                  "value": {
                    "type": "integer",
                    "minimum": 0,
                    "maximum": 1000000000
                  }
                },
                "required": [
                  "kind",
                  "key",
                  "value"
                ],
                "additionalProperties": false
              },
              {
                "type": "object",
                "properties": {
                  "kind": {
                    "const": "save"
                  },
                  "name": {
                    "type": "integer",
                    "minimum": 0,
                    "maximum": 1000000
                  }
                },
                "required": [
                  "kind",
                  "name"
                ],
                "additionalProperties": false
              },
              {
                "type": "object",
                "properties": {
                  "kind": {
                    "const": "rollback"
                  },
                  "name": {
                    "type": "integer",
                    "minimum": 0,
                    "maximum": 1000000
                  }
                },
                "required": [
                  "kind",
                  "name"
                ],
                "additionalProperties": false
              },
              {
                "type": "object",
                "properties": {
                  "kind": {
                    "const": "release"
                  },
                  "name": {
                    "type": "integer",
                    "minimum": 0,
                    "maximum": 1000000
                  }
                },
                "required": [
                  "kind",
                  "name"
                ],
                "additionalProperties": false
              },
              {
                "type": "object",
                "properties": {
                  "kind": {
                    "const": "assert"
                  },
                  "key": {
                    "type": "integer",
                    "minimum": 0,
                    "maximum": 255
                  },
                  "expected": {
                    "type": "integer",
                    "minimum": 0,
                    "maximum": 1000000000
                  }
                },
                "required": [
                  "kind",
                  "key",
                  "expected"
                ],
                "additionalProperties": false
              }
            ]
          },
          "minItems": 0,
          "maxItems": 512
        }
      },
      "required": [
        "initial_values",
        "events"
      ],
      "additionalProperties": false
    }
  },
  "required": [
    "artifact"
  ],
  "additionalProperties": false
}

Originalschema öffnen

Veröffentlichtes Eingabebeispiel

{
  "artifact": {
    "initial_values": [
      0
    ],
    "events": [
      {
        "kind": "save",
        "name": 1
      },
      {
        "kind": "set",
        "key": 0,
        "value": 2
      },
      {
        "kind": "rollback",
        "name": 1
      },
      {
        "kind": "assert",
        "key": 0,
        "expected": 0
      }
    ]
  }
}

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 →