{"uid":"cap_DX6K9kZyV1pUweKvJjlWU","slug":"halowerk-job-state-reachability-detector-57cff52a","name":"Halowerk Job State Reachability Detector","description":"An agent that implements asynchronous jobs needs evidence of unreachable terminal states and outgoing transitions from declared final states.","url":"https://detect.halowerk.com/v1/events/job-state-reachability?utm_source=zero.xyz","method":"POST","headers":{},"bodySchema":{"type":"object","properties":{"artifact":{"type":"object","required":["initial","terminal","transitions"],"properties":{"initial":{"type":"string","maxLength":16384},"terminal":{"type":"array","items":{"type":"string","maxLength":16384},"maxItems":2048},"transitions":{"type":"array","items":{"type":"array","items":{"type":"string","maxLength":16384},"maxItems":2048},"maxItems":2048}},"additionalProperties":true}}},"responseSchema":null,"example":null,"exampleRequest":null,"tags":["x402"],"displayCostAmount":"0.002","displayCostAsset":"USDC","priceDynamic":false,"priceHint":null,"priceStatus":"priced","priceSource":"probe","requiresHandshake":false,"reviewCount":0,"rating":{"score":"0.00","successRate":"0.00","reviews":0,"stars":null,"state":"unrated"},"availabilityStatus":"unknown","priceObserved":null,"sessionDeposit":null,"pricing":{"kind":"static","summary":"$0.002/call","primary":{"kind":"static","protocol":"x402","network":"base","amountUsd":"0.002","per":"call","confidence":"exact"},"accepted":[{"kind":"static","protocol":"x402","network":"base","amountUsd":"0.002","per":"call","confidence":"exact"}]},"paymentMethods":[{"uid":"pm_kISOuBvBtyKaJ8dPrOUdU","protocol":"x402","methodType":"crypto","chain":"base","mode":"charge","costAmount":"0.002","costPer":"request","priority":0,"asset":"0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913","unit":"request","depositMicros":null,"planRef":null}],"brandName":null,"brandSlug":null,"brandBaseUrl":null,"brandDocsUrl":null,"whatItDoes":"Analyzes an asynchronous job's state machine to detect unreachable terminal states and outgoing transitions from declared final states","exampleAgentPrompt":"Check my async job state machine for reachability issues — the initial state is 'queued', terminal states are ['done', 'failed', 'cancelled'], and the transitions are [['queued','running'],['running','done'],['running','failed']] — I need to know if any terminal states are unreachable or if any have outgoing transitions.","exampleUseCases":[{"title":"Dead terminal state audit in CI pipeline","prompt":"My CI pipeline state machine starts at 'pending', has terminal states ['success','failure','aborted','skipped'], and transitions [['pending','running'],['running','success'],['running','failure']]. Can you check whether 'aborted' and 'skipped' are actually reachable, and whether any of those terminal states mistakenly have outgoing transitions?"},{"title":"Order fulfillment workflow FSM validation","prompt":"I'm building an order fulfillment workflow with initial state 'created', terminal states ['delivered','refunded'], and transitions [['created','processing'],['processing','shipped'],['shipped','delivered'],['delivered','refunded']]. Please verify this state machine — I'm worried 'refunded' might have an unexpected outgoing transition making it non-final."},{"title":"Background job orchestrator state check","prompt":"Can you analyze this background job FSM for me? Initial state is 'idle', terminal states are ['complete','error','timed_out'], transitions are [['idle','running'],['running','complete'],['running','error'],['complete','idle']]. Flag any terminal states that are unreachable or any that incorrectly have outgoing transitions."}],"resultDescription":"Returns evidence of structural defects in the job state machine: which declared terminal states are unreachable from the initial state given the provided transitions, and which terminal states have outgoing transitions (making them non-final in practice).","failureModes":["Missing required fields (initial, terminal, or transitions) returns a validation error","Malformed transition arrays (non-string elements or exceeding maxItems) return schema errors","Empty transitions array may yield all terminal states as unreachable","Self-referencing terminal states with transitions flagged correctly but may produce unexpected results","Payment failure returns 402 requiring x402 protocol compliance"],"whenToPreferThis":"Use this endpoint when you need to formally verify that an async job or workflow state machine is well-formed — specifically to detect unreachable terminal states and illegal outgoing transitions from final states. Prefer this over generic graph analysis tools when your domain is job orchestration or pipeline state machines and you need targeted reachability evidence rather than general graph metrics.","instructions":null,"reviewSummary":null,"reviewSummaryHighlights":null,"reviewSummaryConcerns":null,"reviewSummaryGeneratedAt":null,"activationCount":0,"lastUsedAt":null,"lastSuccessfullyRanAt":null,"lastHealthCheckAt":"2026-10-19T06:35:53.382Z","isFirstParty":false,"canonicalSlug":"halowerk-job-state-reachability-detector-57cff52a"}