Request-owned constraints can propose known continuations without changing their committed state. The target verifier still decides every output.
Request-owned constraints can propose known continuations without changing their committed state. The target verifier still decides every output.