Expand description
The refactor operation surface.
Dispatch is total and every arm is a native engine — all eleven of the frozen tools answer for themselves, and the match has no fallback arm, so adding a tool to the contract fails to compile rather than quietly returning “not supported” at run time.
NOT_SUPPORTED survives as a per-call answer where an engine genuinely cannot prove
something about the input it was given — a symbol the graph records under a name that is not
an identifier, for instance. It is never the answer for a tool as a whole.
Structs§
- Refactor
Session - One server’s refactor surface: the confirmations it has issued and whether it may write.
Enums§
- Operation
- A refactor operation, resolved from a tool name the contract declares.
Functions§
- call
- Calls one refactor operation.
- catalog
- The tool catalog, taken from the frozen contract.
- catalog_
names - Names of every tool this crate exposes.