← Market

Workflow · Workflow Acyclic Stack Type Joins

An agent that hands over workflow bytecode needs its claimed type safety checked across every acyclic control-flow branch, including stack joins and typed return contracts.

POST https://detect.halowerk.com/v1/workflow/workflow-acyclic-stack-type-joins

0.002 USDC on Base · payTo 0x2880EdfFF13100677Bf97A3CBdF3Bc34771C4E5E

Status: unverified (probe-pending)

Settlement: direct to the seller's payTo — 0% HIVE402 take

Payment routes