An agent that accepts an autonomous worker trace needs whether its complete fini...
https://detect.halowerk.com/v1/workflow/workflow-finite-temporal-contractOverview
An agent that accepts an autonomous worker trace needs whether its complete finite event record satisfies the supplied temporal contract including next until eventually and always.
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:37
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_holds": true,
"complete": true,
"nodes": [
{
"atom": 0,
"kind": "atom"
},
{
"child": 0,
"kind": "eventually"
}
],
"root": 1,
"trace": [
[],
[
0
]
]
}
},
"bodyType": "json",
"method": "POST",
"type": "http"
}
Output Schema
{
"example": {
"billable": true,
"findings": [
{
"confidence": 100,
"evidence": [
{
"page_indices": [],
"page_url": null,
"pattern": "workflow-finite-temporal-contract_scoped_evidence",
"type": "artifact"
}
],
"limits": [
"Only explicitly supplied normalized JSON artifacts are examined; no network request or runtime execution occurs.",
"Only explicitly complete nonempty finite traces are decided. Strong next is false on the last step, until requires an actual right-hand witness, and all formula references must point earlier. Incomplete traces return unknown rather than claiming missing future events."
],
"module": "workflow-finite-temporal-contract",
"module_cpu_ms": 0,
"state": "not_observed",
"value": {
"claimed_temporal_result_mismatch": false,
"formula_holds_on_complete_trace": true,
"formula_nodes": 2,
"trace_steps": 2
},
"warnings": []
}
],
"known_count": 1,
"scope": {
"contact_values_returned": false,
"network": false,
"supplied_artifact_only": true
},
"warnings": []
},
"type": "json"
}