bad/v0 package

Package bad is the handler realm that exists to be refused (pattern G; see ../../README.md).

It satisfies facade.Handler exactly as well as the others do: same methods, same signatures, compiles and proposes itself without complaint. What it does is drop the "upper" verb and change "repeat" to take one argument instead of two, both of which break a caller already compiled against v0.

Nothing in gno's type system can see that. A Go interface says what methods exist, not which verbs the data behind them still answers, which is the whole argument for declaring the API as data and diffing it at accept time.