config

type Cache struct {
	Path string `yaml:"path"`
}

type Config struct {
	Version       int          `yaml:"version"`
	Dialect       string       `yaml:"dialect"`
	ServerVersion string       `yaml:"server_version"`
	Database      Database     `yaml:"database"`
	Schema        Schema       `yaml:"schema"`
	Targets       []Target     `yaml:"targets"`
	Cache         Cache        `yaml:"cache"`
	Overrides     []Override   `yaml:"overrides"`
	Expansion     Expansion    `yaml:"static_expansion"`
	Verification  Verification `yaml:"verification"`
	TreeCaps      TreeCaps     `yaml:"filter_tree_caps"`
	Policies      []Policy     `yaml:"policies"`

	// Dir is the directory containing sqletch.yaml; all relative paths
	// resolve against it. Not part of the YAML.
	Dir string `yaml:"-"`
	// Path is the config file itself, so later phases can attach
	// diagnostics to it (e.g. SQLETCH200). Not part of the YAML.
	Path string `yaml:"-"`

	// LegacyQueries and LegacyOutput decode the pre-`targets` spelling
	// (one config, one output package) for ONE purpose: to answer it
	// with the rewrite (SQLETCH301) instead of goccy's generic
	// "unknown field". Neither is ever consumed — the presence of
	// either is an error, so there is no ambiguity about which
	// spelling won. See docs/design/19-multi-target-output.md §7.
	LegacyQueries []string `yaml:"queries"`
	LegacyOutput  *Output  `yaml:"output"`
}

type Database struct {
	DSN string `yaml:"dsn"`
	// Oracle selects the type-oracle backend: "server" (default; a
	// dev database serves cache misses) or "native" (sqletch's own
	// corpus-validated inference — MySQL only, design 15). Strict by
	// decision D1: no fallback, and no DSN to fall back to.
	Oracle string `yaml:"oracle"`
}

type Expansion struct {
	Queries   []string `yaml:"queries"`
	MaxShapes int      `yaml:"max_shapes"`
}

type Output struct {
	Package string `yaml:"package"`
	Path    string `yaml:"path"`
}

type Override struct {
	Query    string `yaml:"query"`
	Column   string `yaml:"column"`
	Nullable *bool  `yaml:"nullable"`
}

type Policy struct {
	Name      string      `yaml:"name"`
	Tables    []string    `yaml:"tables"`
	Predicate string      `yaml:"predicate"`
	Param     PolicyParam `yaml:"param"`
	// AppliesTo restricts the statement kinds the policy covers;
	// empty means select, update, and delete. INSERT … VALUES is
	// never a policy target (no rows are filtered).
	AppliesTo []string `yaml:"applies_to"`
}

type PolicyParam struct {
	Name string `yaml:"name"`
	Type string `yaml:"type"`
}

type Resolution struct {
	// Targets are ordered by output path, and each target's Files are
	// sorted: determinism is never conditional on directory order.
	Targets []ResolvedTarget
	// Files is the union of every target's files, sorted. It is what
	// the whole-workspace commands (fmt, explain) and the LSP iterate.
	Files []string
	// Dirs are the directories the expansion consulted, absolute. A
	// directory's mtime moves when an entry is added or removed, so
	// re-stating these is a sound memo signature for the LSP (§6).
	Dirs []string
}

type ResolvedTarget struct {
	// Package is the generated package name (captures substituted).
	Package string
	// Path is the output directory as written in the config (captures
	// substituted): project-relative and slash-separated unless the
	// user spelled an absolute path. Use Config.Abs for filesystem
	// access and Slug for a derived-output namespace.
	Path string
	// Files are the template files, absolute and sorted.
	Files []string
}

type SQLiteFileURI struct {
	// InMemory is true for an in-memory / private-temp database — an empty
	// or ":memory:" path component. It is not a filesystem path, so it is
	// exempt from the escape check and passes through resolution untouched.
	InMemory bool
	// Abs is true when the path component is absolute. An absolute dev-DB
	// path is a normal operator choice (allowed like the plain absolute
	// spelling) and is never re-rooted against the config dir.
	Abs bool
	// Safe is false when the URI cannot be proven to stay inside the project
	// — a non-local authority (`file://host/…` with host other than
	// localhost) or an undecodable percent-escape. A trusted config never
	// produces one; callers refuse it (SQLETCH306) rather than guess.
	Safe bool
	// Path is the DECODED path component: relative to the config dir when
	// !Abs, absolute when Abs, empty when InMemory.
	Path string
	// Query is the raw query string after '?' (without the '?'), preserved
	// verbatim by SQLiteFileURIString.
	Query string
}

type Schema struct {
	Files []string `yaml:"files"`
}

type Target struct {
	Queries []string `yaml:"queries"`
	Output  Output   `yaml:"output"`
}

type TreeCaps struct {
	MaxNodes int `yaml:"max_nodes"`
	MaxDepth int `yaml:"max_depth"`
}

type Verification struct {
	MaxShapes int `yaml:"max_shapes"`
}