HALOWERKTechnische Prüfungen & Formate
workflow / workflow quantified capability game
An agent that negotiates dependent capability choices needs its claimed contract feasibility checked with explicit universal provider choices and existential agent choices in the supplied observation order.
POST https://detect.halowerk.com/v1/workflow/workflow-quantified-capability-gameEingaben
| Feld | Typ | Pflicht | Beschreibung |
|---|---|---|---|
| artifact | object | Ja |
Vollständiges Eingabeschema anzeigen
{
"type": "object",
"properties": {
"artifact": {
"type": "object",
"properties": {
"variables": {
"type": "integer",
"minimum": 1,
"maximum": 16
},
"prefix": {
"type": "array",
"items": {
"type": "object",
"properties": {
"variable": {
"type": "integer",
"minimum": 0,
"maximum": 15
},
"kind": {
"type": "string",
"enum": [
"exists",
"forall"
],
"minLength": 1,
"maxLength": 64
}
},
"required": [
"variable",
"kind"
],
"additionalProperties": false
},
"minItems": 1,
"maxItems": 16
},
"clauses": {
"type": "array",
"items": {
"type": "array",
"items": {
"type": "integer",
"minimum": -16,
"maximum": 16
},
"minItems": 0,
"maxItems": 16
},
"minItems": 0,
"maxItems": 128
},
"claimed_feasible": {
"type": "boolean"
}
},
"required": [
"variables",
"prefix",
"clauses",
"claimed_feasible"
],
"additionalProperties": false
}
},
"required": [
"artifact"
],
"additionalProperties": false
}Veröffentlichtes Eingabebeispiel
{
"artifact": {
"variables": 4,
"prefix": [
{
"variable": 0,
"kind": "forall"
},
{
"variable": 1,
"kind": "forall"
},
{
"variable": 3,
"kind": "forall"
},
{
"variable": 2,
"kind": "exists"
}
],
"clauses": [
[
1,
2,
-2
],
[
-3,
2
],
[
3
],
[
-1,
-2
]
],
"claimed_feasible": false
}
}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.