An agent that changes an exported relation query needs whether the old positive ...
https://detect.halowerk.com/v1/relational/relational-conjunctive-query-containmentOverview
An agent that changes an exported relation query needs whether the old positive conjunctive query is contained in the new one for every finite relation instance.
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:39
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": {
"after": {
"atoms": [
{
"relation": "R",
"variables": [
0
]
}
],
"head": [
0
]
},
"before": {
"atoms": [
{
"relation": "R",
"variables": [
0
]
}
],
"head": [
0
]
}
}
},
"bodyType": "json",
"method": "POST",
"type": "http"
}
Output Schema
{
"example": {
"billable": true,
"findings": [
{
"confidence": 100,
"evidence": [
{
"page_indices": [],
"page_url": null,
"pattern": "relational-conjunctive-query-containment_scoped_evidence",
"type": "artifact"
}
],
"limits": [
"Only explicitly supplied normalized JSON artifacts are examined; no network request or runtime execution occurs.",
"Pure set-valued conjunctive queries without constants negation nulls or duplicate semantics are modeled. The atom-candidate product is bounded at100000 before search."
],
"module": "relational-conjunctive-query-containment",
"module_cpu_ms": 0,
"state": "not_observed",
"value": {
"contained_for_all_finite_instances": true,
"search_states": 2
},
"warnings": []
}
],
"known_count": 1,
"scope": {
"contact_values_returned": false,
"network": false,
"supplied_artifact_only": true
},
"warnings": []
},
"type": "json"
}