verify

type Cache struct {
	Version       int                    `json:"version"`
	BinaryVersion string                 `json:"binaryVersion"`
	Dialect       string                 `json:"dialect"`
	SchemaHash    string                 `json:"schemaHash"`
	Queries       map[string]CachedQuery `json:"queries"`
}

type CacheMeta struct {
	BinaryVersion string
	Dialect       string
	SchemaHash    string
}

type CachedColumn struct {
	Name     string `json:"name"`
	GoType   string `json:"goType"`
	Nullable bool   `json:"nullable"`
	Import   string `json:"import,omitempty"`
	Package  string `json:"package,omitempty"`
	Source   string `json:"source"` // "origin" | "static" | "annotation"
}

type CachedParam struct {
	Name   string `json:"name"`
	GoType string `json:"goType"`
	Source string `json:"source"`
}

type CachedQuery struct {
	QueryHash string         `json:"queryHash"`
	Columns   []CachedColumn `json:"columns"`
	Params    []CachedParam  `json:"params,omitempty"`
}

type Column struct {
	Name       string // result column name (sqlite3_column_name)
	DeclType   string // declared type; "" for expressions/functions/constants
	TableName  string // origin table; "" if not a single-column reference
	OriginName string // origin column; "" if not a single-column reference
}

type OverlayOptions struct {
	Catalog *model.Catalog
	// Resolve converts a SQL column type to Go type info (same mapping the
	// analyzer uses; wrap engine.TypeMapper().SQLToGo at the call site).
	Resolve func(sqlType string, nullable bool) analyzer.TypeInfo
	// ColumnOverrides are configured annotation overrides, keyed by UPPERCASE
	// column name. A column whose name is present here is never touched by verify.
	ColumnOverrides map[string]config.ColumnOverride
	// UseDeclType enables a secondary refinement path: when a verified Column
	// has no origin (TableName/OriginName are empty) but carries a non-empty
	// DeclType (a real DB-reported type), the Go type is resolved from DeclType
	// via Resolve. Only GoType/Import/Package are updated; nullability is NOT
	// changed from this path.
	//
	// This is intentionally opt-in and defaults to false. SQLite's DeclType is
	// declared by the schema author (not the query engine) and is unreliable for
	// expression columns, so SQLite keeps the origin-only refinement path.
	// PG/MySQL verifiers set UseDeclType=true because the DB-reported type is
	// authoritative.
	UseDeclType bool
}

type Query struct {
	Name string // query identity, e.g. "GetUser"
	SQL  string // raw SQL, db-catalyst annotations already stripped
}

type Result struct {
	Name        string
	Columns     []Column              // empty if the query has no result columns
	ParamCount  int                   // bind-parameter count
	ParamNames  []string              // index-ordered; "" entry for positional binds
	Diagnostics []analyzer.Diagnostic // prepare/bind errors surfaced to the user
}

type Verifier interface {
	// Verify prepares each query against the catalog's schema and returns one
	// Result per input query, in the same order. Implementations must not mutate
	// the catalog or the queries.
	Verify(ctx context.Context, catalog *model.Catalog, queries []Query) ([]Result, error)
	// Dialect reports the engine dialect this verifier serves (e.g. "sqlite").
	Dialect() string
}