checker

type Analysis struct {
	Types                  map[*ast.Node]ast.TypeInfo
	Functions              map[string]FunctionInfo
	Structs                map[string]ast.TypeInfo
	Bridges                []SchemaBridge
	OptimizationSignatures []OptimizationSignature
	Diagnostics            []Diagnostic
	Private                map[string]bool
}

type Diagnostic struct {
	Reason string
	Line   int
	Column int
}

type FunctionInfo struct {
	Params []ast.TypeInfo
	Return ast.TypeInfo
}

type OptimizationCandidate struct {
	Label   string
	Payload string
}

type OptimizationSignature struct {
	Name       string
	Metric     string
	Tests      []string
	Candidates []OptimizationCandidate
	Line       int
	Column     int
	BodyType   ast.TypeInfo
}

type SchemaBridge struct {
	Target     string
	Constraint ast.TypeInfo
}