contract

type ContractFile struct {
	Package    string
	Imports    map[string]string // alias/name → import path (e.g. "sql" → "database/sql")
	Interfaces []InterfaceDef
	// InterfaceNames is the set of interface type names defined in this file.
	// Used by the zero-value generator to emit "nil" for interface-typed
	// returns instead of the invalid composite literal "T{}".
	InterfaceNames map[string]bool
	// PrimitiveAliases maps a named type (e.g. "BalanceCapReason") to its
	// underlying primitive kind (e.g. "string"). Populated by scanning
	// contract.go and its sibling .go files for `type X <primitive>`
	// declarations. Used by the zero-value generator to emit the
	// underlying primitive's zero (`""`, `0`, `false`) instead of the
	// invalid composite literal `BalanceCapReason{}`.
	PrimitiveAliases map[string]string
}

type Deps struct{}

type InterfaceDef struct {
	Name    string
	Methods []MethodDef
}

type MethodDef struct {
	Name    string
	Params  []ParamDef
	Results []ParamDef
}

type MockService struct {
	contractkit.Recorder
	GenerateFunc      func(string) error
	ParseContractFunc func(string) (*ContractFile, error)
}

type Options struct {
	// ExtraInterfaceTypes is a project-supplied allow-list of cross-package
	// interface types the mock generator should treat as mockable. The
	// rendered type expression of a method's return (e.g.
	// "billing.MeterClient") is matched against this set during zero-value
	// emission; matches produce "nil" instead of the invalid composite
	// literal "T{}".
	//
	// Sourced from forge.yaml's `contracts.interface_types` at the CLI
	// layer; nil / empty is the no-op default.
	ExtraInterfaceTypes map[string]bool

	// ProjectRoot + Checksums route the mock write through the
	// checksums.WriteGeneratedFile chokepoint so the emitted
	// internal/<pkg>/mock_gen.go is recorded in the manifest AND in
	// the per-run WrittenThisRun set. Without this, the stale-artifact
	// sweep saw every manifest-tracked mock_gen.go as "tracked but not
	// re-emitted this run" and flagged it for deletion on every
	// `forge generate` — and `--force-cleanup` would actually delete
	// live mocks (kalshi-trader FORGE_BACKLOG #15).
	//
	// ProjectRoot is the project root (the directory containing .forge/);
	// relative manifest paths are computed against it. Both fields nil
	// /empty preserve the legacy raw-os.WriteFile behavior for callers
	// without a manifest in scope (e.g. the `forge add package` stub
	// emit — its mock is adopted into the manifest on the next full
	// generate).
	ProjectRoot string
	Checksums   *checksums.FileChecksums
}

type ParamDef struct {
	Name     string
	TypeExpr string // rendered Go type expression, e.g. "context.Context", "*sql.Rows", "...any"
	Variadic bool
}

type Service interface {
	Generate(contractPath string) error
	ParseContract(path string) (*ContractFile, error)
}