← Back to directory

An agent that hands over a derived CMS export row needs its claimed complete min...

https://detect.halowerk.com/v1/cms/cms-minimal-lineage-justifications

Overview

An agent that hands over a derived CMS export row needs its claimed complete minimal source-fact justifications checked through the supplied positive union and join provenance circuit.

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:00

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_minimal_masks": [ 0 ], "facts": 4, "nodes": [ { "children": [], "fact": 0, "kind": "fact" }, { "children": [], "fact": 1, "kind": "fact" }, { "children": [], "fact": 2, "kind": "fact" }, { "children": [], "fact": 3, "kind": "fact" }, { "children": [ 1, 2 ], "fact": 0, "kind": "union" }, { "children": [ 3 ], "fact": 0, "kind": "union" }, { "children": [], "fact": 0, "kind": "join" }, { "children": [ 6 ], "fact": 0, "kind": "join" }, { "children": [ 0, 6 ], "fact": 0, "kind": "union" }, { "children": [ 0, 4 ], "fact": 0, "kind": "join" }, { "children": [ 4, 3, 0 ], "fact": 0, "kind": "union" }, { "children": [ 8 ], "fact": 0, "kind": "join" } ], "root": 11 } }, "bodyType": "json", "method": "POST", "type": "http" }

Output Schema

{ "example": { "billable": true, "findings": [ { "confidence": 100, "evidence": [ { "page_indices": [], "page_url": null, "pattern": "cms-minimal-lineage-justifications_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.", "Exact positive Boolean provenance with fact leaves, union as OR and join as AND; empty union false and empty join true. DAG edges must point backward. Antichain absorption computes every inclusion-minimal sufficient fact set. Explicit500000 pair/absorption-work cap yields unknown. No original keys or row values returned." ], "module": "cms-minimal-lineage-justifications", "module_cpu_ms": 0, "state": "not_observed", "value": { "claimed_justifications_match": true, "minimal_source_justifications": 1, "provenance_nodes": 12 }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }