← Market

Relational · Relational Query Rewrite Equivalence

An agent that changes a declared export query needs bag-result differences between two bounded relational programs measured on the supplied relations.

POST https://detect.halowerk.com/v1/relational/relational-query-rewrite-equivalence

0.002 USDC on Base · payTo 0x2880EdfFF13100677Bf97A3CBdF3Bc34771C4E5E

Status: unverified (probe-pending)

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

Payment routes