Zum Inhalt
HALOWERK

Technische Prüfungen & Formate

workflow / workflow paxos acceptor transcript

An agent that replays a replicated commit acceptor needs promised ballot and acceptance claims checked across prepare requests higher promises and repeated proposals without executing a commit.

POST https://detect.halowerk.com/v1/workflow/workflow-paxos-acceptor-transcript

Eingaben

Felder des veröffentlichten Eingabeschemas
FeldTypPflichtBeschreibung
artifactobjectJa
Vollständiges Eingabeschema anzeigen
{
  "type": "object",
  "properties": {
    "artifact": {
      "type": "object",
      "properties": {
        "events": {
          "type": "array",
          "items": {
            "type": "object",
            "properties": {
              "kind": {
                "type": "string",
                "enum": [
                  "prepare",
                  "accept"
                ],
                "minLength": 1,
                "maxLength": 64
              },
              "ballot": {
                "type": "integer",
                "minimum": 0,
                "maximum": 1000000
              },
              "value": {
                "type": "integer",
                "minimum": 0,
                "maximum": 1000000
              },
              "claimed_ok": {
                "type": "boolean"
              },
              "claimed_promise": {
                "type": "integer",
                "minimum": -1,
                "maximum": 1000000
              },
              "claimed_accepted_ballot": {
                "type": "integer",
                "minimum": -1,
                "maximum": 1000000
              }
            },
            "required": [
              "kind",
              "ballot",
              "value",
              "claimed_ok",
              "claimed_promise",
              "claimed_accepted_ballot"
            ],
            "additionalProperties": false
          },
          "minItems": 0,
          "maxItems": 1024
        }
      },
      "required": [
        "events"
      ],
      "additionalProperties": false
    }
  },
  "required": [
    "artifact"
  ],
  "additionalProperties": false
}

Originalschema öffnen

Veröffentlichtes Eingabebeispiel

{
  "artifact": {
    "events": [
      {
        "kind": "prepare",
        "ballot": 0,
        "value": 0,
        "claimed_ok": true,
        "claimed_promise": 0,
        "claimed_accepted_ballot": -1
      },
      {
        "kind": "accept",
        "ballot": 0,
        "value": 0,
        "claimed_ok": true,
        "claimed_promise": 0,
        "claimed_accepted_ballot": 0
      },
      {
        "kind": "prepare",
        "ballot": 0,
        "value": 0,
        "claimed_ok": true,
        "claimed_promise": 0,
        "claimed_accepted_ballot": 0
      },
      {
        "kind": "accept",
        "ballot": 0,
        "value": 0,
        "claimed_ok": true,
        "claimed_promise": 0,
        "claimed_accepted_ballot": 0
      },
      {
        "kind": "prepare",
        "ballot": 0,
        "value": 0,
        "claimed_ok": true,
        "claimed_promise": 0,
        "claimed_accepted_ballot": 0
      },
      {
        "kind": "accept",
        "ballot": 0,
        "value": 0,
        "claimed_ok": true,
        "claimed_promise": 0,
        "claimed_accepted_ballot": 0
      },
      {
        "kind": "prepare",
        "ballot": 0,
        "value": 0,
        "claimed_ok": true,
        "claimed_promise": 0,
        "claimed_accepted_ballot": 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 →