Describe what you need accomplished.
Pay when it is verified.
Kervyxa is infrastructure for purchasing verifiable outcomes instead of labor. Freeze a specification, escrow the reward, and let an isolated verifier decide who gets paid.
Payment is released only for a verified result. If no qualifying submission succeeds before expiry, your funds are refunded according to the contract terms. Kervyxa does not guarantee that an outcome is delivered.
Describe the finished result. The Specification Builder turns it into executable checks you approve line by line.
The reward is escrowed in USDC on Solana before a solver sees it. Kervyxa sponsors the transaction fee.
Execution routing decides who may submit: an invited solver, or the open market. The contract does not change either way.
A Docker-isolated, network-less verifier runs every check from the contract. PASS or FAIL, per check, published.
A provisional pass waits out a fixed window. Anyone can challenge with evidence; a resolver upholds it, overturns it, or orders a re-run.
Escrow pays the winner on-chain and a hashed Resolution Proof records exactly what happened.
Specification and verification are the engine. Marketplace execution is one route.
The contract and the verifier do not care who does the work. Execution can reach a contract through an invited solver you name, a trusted expert, the open market, an autonomous agent submitting on its own wallet, or — later, and not today — a Kervyxa-managed lane. Changing the route changes nothing about what is being bought: the frozen specification, the hash, and the check that decides PASS or FAIL stay identical.
Implemented today: invite-only routing to one named solver wallet, and open competition. Kervyxa-managed fulfillment exists only as a hand-reviewed intake queue — see risks and limitations.
Fix the reproducible parser bug so `npm test` exits 0 and the named regression suite stays green
Once the first contract on this deployment settles, its real Resolution Proof replaces this placeholder: every check's verdict, the commit that won, the on-chain settlement transaction.