checks

type Context struct {
	View *View
	Cfg  *config.Effective
	// CfgPath is the workspace-root-relative config file path (the site of
	// stale-suppression findings).
	CfgPath string
}

type EntryPointInfo struct {
	ID   relation.NodeID
	Form string
	Name string
	// File is the site for findings: the resolves_to row's file when
	// present, else the member manifest.
	File string
	Span relation.Span
}

type ExportEdge struct {
	Src string
	Dst string
}

type ModuleEdge struct {
	Dst string
	Row relation.Row
}

type ModuleInfo struct {
	ID      relation.NodeID
	Logical string
	// Path is workspace-root-relative; MemberRel is member-root-relative.
	Path      string
	MemberRel string
	Test      bool
}

type View struct {
	WS  *workspace.Workspace
	Res *extract.Result

	// Modules: (lang, member) -> logical -> info.
	Modules map[langMember]map[string]*ModuleInfo
	// MemberImports: imports rows whose dst is a member node.
	MemberImports map[memberEdge][]relation.Row
	// DeclaredDeps: declares_dependency rows.
	DeclaredDeps map[memberEdge][]relation.Row
	// ModuleImports: (lang, member) -> src logical -> edges.
	ModuleImports map[langMember]map[string][]ModuleEdge
	// Exports: (lang, member) -> export edges.
	Exports map[langMember][]ExportEdge
	// EntryTargets: (lang, member) -> logicals reached by resolves_to rows.
	EntryTargets map[langMember][]string
	// EntryPoints: (lang, member) -> entry point infos.
	EntryPoints map[langMember][]EntryPointInfo

	// NodeKinds: serialized node ID -> kind (finding-target labeling).
	NodeKinds map[string]vocab.NodeKind
	// contains filtered or unexported fields
}