codegen

type Options struct {
	Package string
	// TreeCaps bounds @filter-tree values; zero fields fall back to
	// runtime.DefaultTreeCaps.
	TreeCaps runtime.TreeCaps
	// Style is the dialect's placeholder style; it selects the driver
	// flavor of the generated code (StyleDollar → pgx, StyleQuestion →
	// database/sql) and the composition entry points.
	Style runtime.Style
	// DefaultTimeout is query_timeout.default (design 23): the deadline
	// of every method whose query has no `-- @timeout`. 0 = none.
	DefaultTimeout time.Duration
	// Explain selects the EXPLAIN vocabulary of the generated
	// Explain<Query> methods (design 22). Zero means "derive from
	// Style", which is only unambiguous for StyleDollar (PostgreSQL):
	// MySQL and SQLite share StyleQuestion, so they must say which.
	Explain runtime.ExplainDialect
}

type QueryInput struct {
	Q          *template.QueryTemplate
	Frags      []runtime.Frag
	ParamTypes map[string]dialect.TypeRef // pinned types (premise P1)
	Columns    []dialect.ColumnDesc       // maximal Describe result
	Nullable   []bool                     // per column (P5)
	// NullableParams holds the parameters rules.DeriveNullableParams
	// found writing only nullable columns (design 20 §3): their values
	// become optional.Option[T], None binding SQL NULL.
	NullableParams map[string]bool
	// ExpandedShapes, when non-nil, switches the query to strict static
	// expansion: keys are canonical shape-key strings, precomputed by
	// the pipeline via runtime.Compose. The function dispatches by
	// lookup instead of composing.
	ExpandedShapes map[string]runtime.Expanded
}