Zum Inhalt
HALOWERK

Technische Prüfungen & Formate

workflow / workflow transition monoid counter freedom

An agent that publishes a finite workflow transition table needs its claimed counter-free behavior checked for hidden cyclic permutations induced by arbitrary finite command words.

POST https://detect.halowerk.com/v1/workflow/workflow-transition-monoid-counter-freedom

Eingaben

Felder des veröffentlichten Eingabeschemas
FeldTypPflichtBeschreibung
artifactobjectJa
Vollständiges Eingabeschema anzeigen
{
  "type": "object",
  "properties": {
    "artifact": {
      "type": "object",
      "properties": {
        "transitions": {
          "type": "array",
          "items": {
            "type": "array",
            "items": {
              "type": "integer",
              "minimum": 0,
              "maximum": 3
            },
            "minItems": 1,
            "maxItems": 4
          },
          "minItems": 1,
          "maxItems": 4
        },
        "claimed_counter_free": {
          "type": "boolean"
        }
      },
      "required": [
        "transitions",
        "claimed_counter_free"
      ],
      "additionalProperties": false
    }
  },
  "required": [
    "artifact"
  ],
  "additionalProperties": false
}

Originalschema öffnen

Veröffentlichtes Eingabebeispiel

{
  "artifact": {
    "transitions": [
      [
        0,
        0
      ],
      [
        0,
        0
      ]
    ],
    "claimed_counter_free": true
  }
}

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 →