cli

type ExplainOptions struct {
	Enumerate bool // print every reachable shape's SQL (offline)
	Analyze   bool // EXPLAIN every reachable shape on the dev DB
	// MaxShapes caps shape enumeration for Enumerate/Analyze; 0 takes
	// the mode's default (enumerateCap / analyzeCap).
	MaxShapes int
	// AllowDestructive confirms a user-supplied database.dsn is
	// disposable so --analyze may reset its schema (H1); ignored by the
	// offline modes, which never connect.
	AllowDestructive bool
}

type Mode int

type OfflineChecker struct {
	// contains filtered or unexported fields
}

type Result struct {
	Diags       []diagnostics.Diagnostic
	Sources     map[string][]byte // template path -> content (for rendering diags)
	OracleHits  int
	OracleMiss  int
	Offline     bool
	QueryCount  int
	ShapesTotal int // exhaustive mode: shapes verified against the DB
	// NativePlan: exhaustive mode ran on the native backend, whose
	// Plan is describe-validation only — the printed summary must not
	// claim EXPLAIN coverage (design 15 D2).
	NativePlan bool
}

type RunOptions struct {
	// AllowServerDrift accepts a committed cache whose recorded
	// generation environment disagrees with the connected server,
	// downgrading SQLETCH203 to a warning and adopting the connected
	// server in the record. The result is a cache no single
	// environment produced — deliberate, and never the default.
	AllowServerDrift bool
	// AllowDestructive confirms that the database at a user-supplied
	// database.dsn is disposable, letting sqletch reset (drop and
	// recreate) its schema. Without it a cold run against a
	// user-supplied DSN is refused with SQLETCH204 rather than wiping a
	// database a cloned repo pointed sqletch at (H1). A database
	// sqletch provisioned itself (empty dsn → a disposable container or
	// temp file) is never gated.
	AllowDestructive bool
}

type WorkspaceCheck struct {
	Diags   map[string][]diagnostics.Diagnostic
	Files   map[string]*template.QueryFile
	Sources map[string][]byte
}