HALOWERKTechnische Prüfungen & Formate
feed / feed positive datalog closure
An agent that hands over recursively derived export relations needs its claimed complete fact set checked against the least fixed point of the supplied safe positive binary Datalog rules.
POST https://detect.halowerk.com/v1/feed/feed-positive-datalog-closureEingaben
| Feld | Typ | Pflicht | Beschreibung |
|---|---|---|---|
| artifact | object | Ja |
Vollständiges Eingabeschema anzeigen
{
"type": "object",
"properties": {
"artifact": {
"type": "object",
"properties": {
"constants": {
"type": "integer",
"minimum": 1,
"maximum": 16
},
"predicates": {
"type": "integer",
"minimum": 1,
"maximum": 8
},
"facts": {
"type": "array",
"items": {
"type": "object",
"properties": {
"predicate": {
"type": "integer",
"minimum": 0,
"maximum": 7
},
"left": {
"type": "integer",
"minimum": 0,
"maximum": 15
},
"right": {
"type": "integer",
"minimum": 0,
"maximum": 15
}
},
"required": [
"predicate",
"left",
"right"
],
"additionalProperties": false
},
"minItems": 0,
"maxItems": 2048
},
"rules": {
"type": "array",
"items": {
"type": "object",
"properties": {
"head": {
"type": "object",
"properties": {
"predicate": {
"type": "integer",
"minimum": 0,
"maximum": 7
},
"args": {
"type": "array",
"items": {
"type": "integer",
"minimum": -16,
"maximum": 2
},
"minItems": 2,
"maxItems": 2
}
},
"required": [
"predicate",
"args"
],
"additionalProperties": false
},
"body": {
"type": "array",
"items": {
"type": "object",
"properties": {
"predicate": {
"type": "integer",
"minimum": 0,
"maximum": 7
},
"args": {
"type": "array",
"items": {
"type": "integer",
"minimum": -16,
"maximum": 2
},
"minItems": 2,
"maxItems": 2
}
},
"required": [
"predicate",
"args"
],
"additionalProperties": false
},
"minItems": 1,
"maxItems": 2
}
},
"required": [
"head",
"body"
],
"additionalProperties": false
},
"minItems": 0,
"maxItems": 32
},
"claimed_facts": {
"type": "array",
"items": {
"type": "object",
"properties": {
"predicate": {
"type": "integer",
"minimum": 0,
"maximum": 7
},
"left": {
"type": "integer",
"minimum": 0,
"maximum": 15
},
"right": {
"type": "integer",
"minimum": 0,
"maximum": 15
}
},
"required": [
"predicate",
"left",
"right"
],
"additionalProperties": false
},
"minItems": 0,
"maxItems": 2048
}
},
"required": [
"constants",
"predicates",
"facts",
"rules",
"claimed_facts"
],
"additionalProperties": false
}
},
"required": [
"artifact"
],
"additionalProperties": false
}Veröffentlichtes Eingabebeispiel
{
"artifact": {
"constants": 2,
"predicates": 2,
"facts": [
{
"predicate": 0,
"left": 0,
"right": 1
},
{
"predicate": 0,
"left": 1,
"right": 0
},
{
"predicate": 1,
"left": 1,
"right": 0
},
{
"predicate": 0,
"left": 1,
"right": 0
}
],
"rules": [
{
"head": {
"predicate": 1,
"args": [
-2,
-1
]
},
"body": [
{
"predicate": 0,
"args": [
-1,
-2
]
}
]
},
{
"head": {
"predicate": 1,
"args": [
-2,
1
]
},
"body": [
{
"predicate": 1,
"args": [
-2,
1
]
}
]
},
{
"head": {
"predicate": 0,
"args": [
-1,
2
]
},
"body": [
{
"predicate": 0,
"args": [
2,
-1
]
},
{
"predicate": 1,
"args": [
2,
2
]
}
]
}
],
"claimed_facts": [
{
"predicate": 0,
"left": 0,
"right": 1
},
{
"predicate": 0,
"left": 1,
"right": 0
},
{
"predicate": 1,
"left": 1,
"right": 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
- 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.