An agent that hands over recursively derived export relations needs its claimed ...
https://detect.halowerk.com/v1/feed/feed-positive-datalog-closureOverview
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.
Protocol
x402 (POST)
Price
$0.0020
Payment Asset
USD Coin
Payment Network
eip155:8453
Category
uncategorized
Provider
detect
Source
bazaar
Indexed
2026-11-02 17:26:42
Health
Status
unknown
Latency (p50)
—
Uptime (30d)
—
Reliability Score
—
Last Checked
Never
Last Healthy
Never
Consecutive Failures
0
x402 Payment Validation
Payment Requirements
—
Asset Verified
—
Facilitator
—
Input Schema
{
"body": {
"artifact": {
"claimed_facts": [
{
"left": 0,
"predicate": 0,
"right": 1
},
{
"left": 1,
"predicate": 0,
"right": 0
},
{
"left": 1,
"predicate": 1,
"right": 0
}
],
"constants": 2,
"facts": [
{
"left": 0,
"predicate": 0,
"right": 1
},
{
"left": 1,
"predicate": 0,
"right": 0
},
{
"left": 1,
"predicate": 1,
"right": 0
},
{
"left": 1,
"predicate": 0,
"right": 0
}
],
"predicates": 2,
"rules": [
{
"body": [
{
"args": [
-1,
-2
],
"predicate": 0
}
],
"head": {
"args": [
-2,
-1
],
"predicate": 1
}
},
{
"body": [
{
"args": [
-2,
1
],
"predicate": 1
}
],
"head": {
"args": [
-2,
1
],
"predicate": 1
}
},
{
"body": [
{
"args": [
2,
-1
],
"predicate": 0
},
{
"args": [
2,
2
],
"predicate": 1
}
],
"head": {
"args": [
-1,
2
],
"predicate": 0
}
}
]
}
},
"bodyType": "json",
"method": "POST",
"type": "http"
}
Output Schema
{
"example": {
"billable": true,
"findings": [
{
"confidence": 100,
"evidence": [
{
"page_indices": [],
"page_url": null,
"pattern": "feed-positive-datalog-closure_scoped_evidence",
"type": "artifact"
}
],
"limits": [
"Only the explicit bounded artifact is measured. No retrieval, execution, real credential validation, contact output or legal/security/quality judgement.",
"Safe positive function-free binary Datalog over at most16 constants and8 predicates. Variables0..2; negative arguments encode constant -(id+1). One or two body atoms, duplicate facts idempotent, no negation/arithmetic. Complete join-work cap250000; exceeding it is unknown. No facts or free keys returned."
],
"module": "feed-positive-datalog-closure",
"module_cpu_ms": 0,
"state": "not_observed",
"value": {
"claimed_complete_fact_set_matches": true,
"constant_domain": 2,
"declared_predicates": 2,
"input_facts": 4,
"least_fixed_point_facts": 3,
"rule_join_candidates": 0
},
"warnings": []
}
],
"known_count": 1,
"scope": {
"contact_values_returned": false,
"network": false,
"supplied_artifact_only": true
},
"warnings": []
},
"type": "json"
}