Files
yhh 12b5ba6279 refactor(usecap): the use_capability proxy leaves the agent package
UseCapabilityTool, the MCP capability runtime, on-demand connects,
capability listing and search, and the argument-contract reading they
share move from internal/runtime/agent to internal/runtime/usecap. They
were already their own types rather than agent methods, and they need
nothing from the agent. usecap depends on the agent not at all; the
agent imports it.

- The two MCP checks both sides make are now tool.HasMCPDestructiveHint
  and tool.IsMCPServerAuthorized. They live in contract/tool/mcp_server.go
  beside the interfaces they read.
- The agent's call-contract gate and the proxy's hints share
  usecap.ReadArgumentContract, with its Hint and Broken.
- FilterCapabilityListResult, FilterCapabilitySearchResult,
  ParseMCPServerCapabilityID and WithContractHint are exported for the
  child registry and the dispatch path.

The integration tests that drive a real agent through the proxy stay in
agent. The runtime's own tests move to usecap. Tests that check the
proxy's judgements against agent or delegation types run as usecap_test
through export_test.go. No test was added or removed.

Baseline: usecapability.go carries its debt unchanged under the new path,
and delegation/task.go and control/controller.go each gain one import
line (-allow-widen).
2026-09-24 00:51:59 -07:00

22 lines
678 B
Go

package usecap
import (
"encoding/json"
"reasonix/internal/contract/tool"
"reasonix/internal/runtime/capability"
)
// These expose the proxy's own judgements to the external tests in this
// directory, which check them against the agent and the delegation tools.
func ContractHint(schema, arguments json.RawMessage) string { return contractHint(schema, arguments) }
func RecordCallFailure(uc *UseCapabilityTool, resolved tool.ResolvedCall, err error) error {
return uc.recordCallFailure(resolved, err)
}
func CapabilityLead(description string) string { return capabilityLead(description) }
func LedgerOf(uc *UseCapabilityTool) *capability.Ledger { return uc.ledger }