← Back to directory

An agent that compiles CMS variant templates needs whether its ordered construct...

https://detect.halowerk.com/v1/cms/cms-constructor-pattern-exhaustiveness

Overview

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" }