An agent that compiles CMS variant templates needs whether its ordered construct...
https://detect.halowerk.com/v1/cms/cms-constructor-pattern-exhaustivenessOverview
An agent that compiles CMS variant templates needs whether its ordered constructor-pattern rows cover every finite value of the supplied recursive sum types without enumerating sample records.
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:27:14
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_exhaustive": true,
"patterns": [
{
"kind": "wildcard"
}
],
"root_type": 0,
"rows": [
0
],
"types": [
{
"constructors": [
{
"fields": [],
"tag": 0
},
{
"fields": [
0
],
"tag": 1
}
]
}
]
}
},
"bodyType": "json",
"method": "POST",
"type": "http"
}
Output Schema
{
"example": {
"billable": true,
"findings": [
{
"confidence": 100,
"evidence": [
{
"page_indices": [],
"page_url": null,
"pattern": "cms-constructor-pattern-exhaustiveness_scoped_evidence",
"type": "artifact"
}
],
"limits": [
"Only explicitly supplied normalized JSON artifacts are examined; no network request or runtime execution occurs.",
"Only wildcard and constructor patterns over explicitly supplied finite recursive algebraic signatures are supported. Inhabitation uses finite values, including empty recursive types. Pattern validation memoizes at most128 times8 pattern/type pairs. Matrix specialization is bounded to50000 calls,128 columns and200000 charged cell operations, with a100ms thread-CPU analysis guard; exceeding a budget returns unknown."
],
"module": "cms-constructor-pattern-exhaustiveness",
"module_cpu_ms": 0,
"state": "not_observed",
"value": {
"claimed_exhaustiveness_mismatch": false,
"declared_types": 1,
"exhaustive_for_finite_values": true,
"template_rows": 1
},
"warnings": []
}
],
"known_count": 1,
"scope": {
"contact_values_returned": false,
"network": false,
"supplied_artifact_only": true
},
"warnings": []
},
"type": "json"
}