Zum Inhalt
HALOWERK

Technische Prüfungen & Formate

workflow / workflow minimal ssa phi placement

An agent that hands over a workflow compiler needs its claimed unpruned SSA phi placements checked against iterated dominance frontiers in the supplied control-flow graph.

POST https://detect.halowerk.com/v1/workflow/workflow-minimal-ssa-phi-placement

Eingaben

Felder des veröffentlichten Eingabeschemas
FeldTypPflichtBeschreibung
artifactobjectJa
Vollständiges Eingabeschema anzeigen
{
  "type": "object",
  "properties": {
    "artifact": {
      "type": "object",
      "properties": {
        "nodes": {
          "type": "integer",
          "minimum": 1,
          "maximum": 32
        },
        "variables": {
          "type": "integer",
          "minimum": 1,
          "maximum": 16
        },
        "edges": {
          "type": "array",
          "items": {
            "type": "array",
            "items": {
              "type": "integer",
              "minimum": 0,
              "maximum": 31
            },
            "minItems": 2,
            "maxItems": 2
          },
          "minItems": 0,
          "maxItems": 256
        },
        "definitions": {
          "type": "array",
          "items": {
            "type": "object",
            "properties": {
              "node": {
                "type": "integer",
                "minimum": 0,
                "maximum": 31
              },
              "variable": {
                "type": "integer",
                "minimum": 0,
                "maximum": 15
              }
            },
            "required": [
              "node",
              "variable"
            ],
            "additionalProperties": false
          },
          "minItems": 0,
          "maxItems": 256
        },
        "claimed_phi": {
          "type": "array",
          "items": {
            "type": "object",
            "properties": {
              "node": {
                "type": "integer",
                "minimum": 0,
                "maximum": 31
              },
              "variable": {
                "type": "integer",
                "minimum": 0,
                "maximum": 15
              }
            },
            "required": [
              "node",
              "variable"
            ],
            "additionalProperties": false
          },
          "minItems": 0,
          "maxItems": 512
        }
      },
      "required": [
        "nodes",
        "variables",
        "edges",
        "definitions",
        "claimed_phi"
      ],
      "additionalProperties": false
    }
  },
  "required": [
    "artifact"
  ],
  "additionalProperties": false
}

Originalschema öffnen

Veröffentlichtes Eingabebeispiel

{
  "artifact": {
    "nodes": 6,
    "variables": 2,
    "edges": [
      [
        0,
        1
      ],
      [
        0,
        3
      ],
      [
        1,
        2
      ],
      [
        1,
        5
      ],
      [
        2,
        4
      ],
      [
        5,
        5
      ]
    ],
    "definitions": [
      {
        "node": 1,
        "variable": 0
      },
      {
        "node": 4,
        "variable": 0
      }
    ],
    "claimed_phi": []
  }
}

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 →