← Back to directory

An agent that publishes a workflow dependency handover needs its claimed irredun...

https://detect.halowerk.com/v1/workflow/workflow-transitive-reduction-claims

Overview

An agent that publishes a workflow dependency handover needs its claimed irredundant DAG edge set checked against all reachability implied by the original dependencies.

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

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_edges": [ [ 1, 3 ], [ 2, 3 ] ], "edges": [ [ 1, 3 ], [ 2, 3 ] ], "nodes": 5 } }, "bodyType": "json", "method": "POST", "type": "http" }

Output Schema

{ "example": { "billable": true, "findings": [ { "confidence": 100, "evidence": [ { "page_indices": [], "page_url": null, "pattern": "workflow-transitive-reduction-claims_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.", "Unique transitive reduction of a supplied directed acyclic dependency graph. Numeric node IDs must already be a topological order; duplicated input edges collapse, duplicated claimed edges fail. Edges are removed only when another directed path preserves reachability. No workflow execution or entity names returned." ], "module": "workflow-transitive-reduction-claims", "module_cpu_ms": 0, "state": "not_observed", "value": { "claimed_reduction_matches": true, "distinct_original_dependencies": 2, "essential_dependencies": 2, "redundant_dependencies": 0, "workflow_nodes": 5 }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }