grove

type CertificationFinding = core.CertificationFinding

type CertificationPolicy = core.CertificationPolicy

type CertificationReport = core.CertificationReport

type ChangeImpactResult struct {
	Query        string
	Declarations []Symbol
	Supers       []Symbol
	Family       []Symbol
	Callers      []Symbol

	// DeclaringTypes: type declarations whose bodies contain a change-set
	// member signature that is not indexed as its own symbol (Go and TS
	// interface members) — the type's declaration block is itself a change
	// site. Empty for languages whose member declarations are real symbols.
	DeclaringTypes []Symbol

	// ExternalSupers: supertype names declared in the hierarchy that resolve
	// to no indexed type (JDK / dependency types). Informational.
	ExternalSupers []string
	// OverridesExternal: "Type#method" entries when the queried method is a
	// member of an external supertype's contract — changing its signature
	// breaks a contract the project does not own, and the change-set is the
	// project-local closure only.
	OverridesExternal []string
	// Completeness: "closed" (family fully rooted in indexed types) or
	// "project-local" (bounded by an external contract).
	Completeness string
}

type Config struct {
	// RepoRoot is the absolute path to the repository whose .grove/ directory
	// holds the index. Required.
	RepoRoot string
	// NativeAnalyzers overrides native graph enrichment when non-nil.
	NativeAnalyzers *bool
	// NativeLanguages limits native analyzers to these languages/analyzer names.
	NativeLanguages []string
	// NativeDisabledLanguages disables these languages/analyzer names.
	NativeDisabledLanguages []string
	// NativeTimeout bounds each analyzer invocation. Zero uses Grove's default.
	NativeTimeout time.Duration
}

type CoverageSite struct {
	Symbol    Symbol
	TestCount int
	Tests     []Symbol // capped; TestCount carries the truth
}

type DeadCodeResult struct {
	RootCount            int
	ReachableCount       int
	Considered           int
	Dead                 []Symbol // unreachable, non-exported, name unreferenced: deletion candidates
	ExportedUnreferenced []Symbol // exported with zero in-project reference; external liveness unknown
	Caveats              []string
}

type DiffInput = core.DiffInput

type Edge = core.Edge

type EdgeType = core.EdgeType

type Engine struct {
	// contains filtered or unexported fields
}

type EvidenceRef = core.EvidenceRef

type GraphDiff = core.GraphDiff

type IndexResult = core.IndexResult

type IsolatedChangeRegion = core.IsolatedChangeRegion

type MissingImplementationsResult struct {
	Query    string
	Contract []Symbol // the member's declaration(s) on the named type

	Missing         []Symbol // concrete closure types with no impl, own or inherited: compile errors
	AbstractMissing []Symbol // abstract classes without an impl (their concrete subtypes are in Missing)
	Unverifiable    []Symbol // types whose class-extends chain leaves the index (an external base may provide it)

	ImplementedCount int  // closure types that do carry a compatible implementation
	DefaultProvided  bool // the contract supplies a body every subtype inherits; nothing can be missing

	ExternalSupers    []string
	OverridesExternal []string
	Completeness      string // "closed" | "project-local"
}

type Neighbor struct {
	Symbol     Symbol
	EdgeType   EdgeType
	Direction  string // "out" = seed→symbol; "in" = symbol→seed
	Confidence float64
}

type Reference = parser.Reference

type ReferenceResult = parser.ReferenceResult

type RenameEdit struct {
	FilePath string
	Line     int    // 1-based
	Before   string // source line as indexed
	After    string // with the rename applied
	SiteID   string // containing symbol ID
	Site     string // "relpath:name" for relay
}

type RenamePlanResult struct {
	Query   string
	NewName string

	Edits     []RenameEdit
	Ambiguous []RenameEdit
	// Unresolved lists change-set sites for which no line edit could be
	// derived — the agent must handle these manually.
	Unresolved []string

	SitesTotal        int
	ExternalSupers    []string
	OverridesExternal []string
	Completeness      string // "closed" | "project-local"
}

type Scored = struct {
	Symbol *core.SymbolRecord
	Score  float64
}

type Status = core.Status

type Symbol = core.SymbolRecord

type SymbolChange = core.SymbolChange

type UntestedSurfaceResult struct {
	Query      string
	Untested   []Symbol // change-set sites with no covering test
	Covered    []CoverageSite
	TotalSites int

	ExternalSupers    []string
	OverridesExternal []string
	Completeness      string
}

type Verdict = core.Verdict