HALOWERKTechnische Prüfungen & Formate
workflow / workflow finite temporal contract
An agent that accepts an autonomous worker trace needs whether its complete finite event record satisfies the supplied temporal contract including next until eventually and always.
POST https://detect.halowerk.com/v1/workflow/workflow-finite-temporal-contractEingaben
| Feld | Typ | Pflicht | Beschreibung |
|---|---|---|---|
| artifact | object | Ja |
Vollständiges Eingabeschema anzeigen
{
"type": "object",
"properties": {
"artifact": {
"type": "object",
"properties": {
"nodes": {
"type": "array",
"items": {
"anyOf": [
{
"type": "object",
"properties": {
"kind": {
"const": "atom"
},
"atom": {
"type": "integer",
"minimum": 0,
"maximum": 31
}
},
"required": [
"kind",
"atom"
],
"additionalProperties": false
},
{
"type": "object",
"properties": {
"kind": {
"const": "constant"
},
"value": {
"type": "boolean"
}
},
"required": [
"kind",
"value"
],
"additionalProperties": false
},
{
"type": "object",
"properties": {
"kind": {
"const": "not"
},
"child": {
"type": "integer",
"minimum": 0,
"maximum": 127
}
},
"required": [
"kind",
"child"
],
"additionalProperties": false
},
{
"type": "object",
"properties": {
"kind": {
"const": "next"
},
"child": {
"type": "integer",
"minimum": 0,
"maximum": 127
}
},
"required": [
"kind",
"child"
],
"additionalProperties": false
},
{
"type": "object",
"properties": {
"kind": {
"const": "always"
},
"child": {
"type": "integer",
"minimum": 0,
"maximum": 127
}
},
"required": [
"kind",
"child"
],
"additionalProperties": false
},
{
"type": "object",
"properties": {
"kind": {
"const": "eventually"
},
"child": {
"type": "integer",
"minimum": 0,
"maximum": 127
}
},
"required": [
"kind",
"child"
],
"additionalProperties": false
},
{
"type": "object",
"properties": {
"kind": {
"const": "and"
},
"left": {
"type": "integer",
"minimum": 0,
"maximum": 127
},
"right": {
"type": "integer",
"minimum": 0,
"maximum": 127
}
},
"required": [
"kind",
"left",
"right"
],
"additionalProperties": false
},
{
"type": "object",
"properties": {
"kind": {
"const": "or"
},
"left": {
"type": "integer",
"minimum": 0,
"maximum": 127
},
"right": {
"type": "integer",
"minimum": 0,
"maximum": 127
}
},
"required": [
"kind",
"left",
"right"
],
"additionalProperties": false
},
{
"type": "object",
"properties": {
"kind": {
"const": "until"
},
"left": {
"type": "integer",
"minimum": 0,
"maximum": 127
},
"right": {
"type": "integer",
"minimum": 0,
"maximum": 127
}
},
"required": [
"kind",
"left",
"right"
],
"additionalProperties": false
}
]
},
"minItems": 1,
"maxItems": 128
},
"root": {
"type": "integer",
"minimum": 0,
"maximum": 127
},
"trace": {
"type": "array",
"items": {
"type": "array",
"items": {
"type": "integer",
"minimum": 0,
"maximum": 31
},
"minItems": 0,
"maxItems": 32
},
"minItems": 1,
"maxItems": 512
},
"complete": {
"type": "boolean"
},
"claimed_holds": {
"type": "boolean"
}
},
"required": [
"nodes",
"root",
"trace",
"complete",
"claimed_holds"
],
"additionalProperties": false
}
},
"required": [
"artifact"
],
"additionalProperties": false
}Veröffentlichtes Eingabebeispiel
{
"artifact": {
"nodes": [
{
"kind": "atom",
"atom": 0
},
{
"kind": "eventually",
"child": 0
}
],
"root": 1,
"trace": [
[],
[
0
]
],
"complete": true,
"claimed_holds": 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
- Technische Prüfungen & Formate0,003 USDC
aria concrete role property support closure
POSThttps://detect.halowerk.com/u/aria-concrete-role-property-support-closureA component API exporter needs properties that are unsupported or prohibited for its selected explicit ARIA role rather than losing them silently during conversion.
- Technische Prüfungen & Formate0,003 USDC
aria description author source precedence
POSThttps://detect.halowerk.com/u/aria-description-author-source-precedenceA description-metadata exporter needs which author ARIA source survives precedence and which competing source is overridden before transferring help text.
- Technische Prüfungen & Formate0,003 USDC
aria explicit concrete role token fallback
POSThttps://detect.halowerk.com/u/aria-explicit-concrete-role-token-fallbackBefore removing compatibility role tokens, a website migration agent needs which concrete source role survives the normative fallback order.