Snapshot the running market: the three numbers most protocols collapse into one, plus the matching and scheduling gaps. A model, not live telemetry.

Run the proofmarket-sim engine over a full horizon for a coordination regime and return utilization and the two gaps. Same supply in every regime; only coordination changes.

A Seeker submits a Proof Request to the market. Returns a request id you can poll. The Matchmaker assigns it to a Prover Node when capacity is free.

Check a Proof Request. When it settles, the result carries a proof id and attestation, delivered the way Fermah returns a proof to a Seeker callback URL. Zero humans involved.

The agentic path: define an ordered sequence and the surface runs the whole thing, no human in the loop. Steps: observe a condition, request_proof, act, settle. Returns an attested trace.