Expect witnessExpect witness
Plug · Acts onchain
Leave a typed hole the solver fills at execution time: a market, token, oracle, or interest rate model that may not exist yet when you sign. Actions between this and its End block are how the witness is handled: verify the candidate against its factory or registry, require the result, and only then spend it. A block that never requires a judgment over the witness will not compile.