← Market

F TD2000 DOCUMENTS 12 · Wsbpel20 Flow Join Failure Dead Path Elimination

Reconstruct BPEL link joins and transitive dead-path elimination. Reconstruct the fully typed result and compare its complete canonical SHA256 claim.

POST https://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-12/wsbpel20-flow-join-failure-dead-path-elimination

0.003 USDC on Base · payTo 0x2880EdfFF13100677Bf97A3CBdF3Bc34771C4E5E

Status: unverified (probe-pending)

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

Payment routes

Base · 0.003 USDC · payTo 0x2880EdfFF13100677Bf97A3CBdF3Bc34771C4E5E · via guests · settles direct