ast

type Action string

type ContractRef struct {
	ParamIdentity string
	Path          FieldPath
	Cardinality   spec.Cardinality
}

type CurrentField struct {
	Current    FieldRef
	Entity     FieldRef
	Conversion LinkConversion
}

type CurrentPlan struct {
	Lookup        *LookupProjection
	ParamIdentity string
	ViewIdentity  string
	InputPath     FieldPath
	Keys          []KeyPart
	// Fields is the declared current-to-entity projection, not evidence that a
	// particular read selected these fields. PreviousFields requires read provenance.
	Fields []CurrentField
	// Self names the actual read row's self-reference holders, not entity edges.
	Self []FieldRef
}

type EntityField struct {
	Name             string
	Path             FieldPath
	Type             spec.TypeRef
	Identity         bool
	Relation         bool
	Self             bool
	Writable         bool
	Invariant        string
	DeleteMarker     bool
	ConcurrencyToken bool
}

type EntityPlan struct {
	Type          spec.TypeRef
	MarkerField   string
	MarkerPointer bool
	Owned         bool
	MarkerType    spec.TypeRef
	Fields        []EntityField
	Keys          []KeyPart
	Invariants    []InvariantGroup
	Hooks         spec.TypeRef
	// HooksScaffold marks an explicit unresolved local lifecycle declaration.
	HooksScaffold bool
	HooksBind     bool
	LateWrite     LateWriteEffects
}

type FieldPath []string

type FieldRef struct {
	Field  string
	Source string
	Type   spec.TypeRef
}

type InvariantGroup struct {
	Name   string
	Fields []string
}

type KeyLink struct {
	Parent          KeyPart
	Child           KeyPart
	ParentNamespace string
	ChildNamespace  string
	Conversion      LinkConversion
}

type KeyPart struct {
	Field  string
	Source string
	Type   spec.TypeRef
}

type LateWriteEffects struct {
	Unresolved    string
	InsertHook    bool
	UpdateHook    bool
	DefaultFields []string
}

type LinkConversion string

type LookupProjection struct {
	// ParentOnly projects the already scoped Previous parent, without request fallback.
	ParentOnly bool
	Name       string
	Columns    []string
}

type Operation string

type Plan struct {
	ReadCollections []ReadCollection
	Operation       Operation
	Input           ContractRef
	Output          *ContractRef
	Root            *RecordPlan
}

type ReadCollection struct {
	Name      string
	InputPath FieldPath
	Type      spec.TypeRef
	Fields    []FieldRef
	Keys      []KeyPart
	// Groups are exact canonical relationship tuples prepared automatically.
	Groups []ReadGroup
}

type ReadGroup struct{ Parts []KeyPart }

type RecordPlan struct {
	Identity string
	// Auxiliary records remain available to business reads/indexes, but are
	// excluded from generated sequencing and mutation traversal.
	Auxiliary   bool
	InputPath   FieldPath
	Current     *CurrentPlan
	Table       string
	Cardinality spec.Cardinality
	Keys        []KeyPart
	// PresenceFields are generated-view fields whose programmatic assignments
	// must be exposed to SQLX PATCH updates through the generated Has marker.
	// Package-linked record authority leaves this empty.
	PresenceFields []string
	Entity         *EntityPlan
	Sequence       *SequencePlan
	Write          WritePolicy
	Relations      []*RelationPlan
	SelfRelations  []SelfRelationPlan
}

type RelationPlan struct {
	// AllowReparent is explicit permission to change non-identity parent links.
	AllowReparent bool
	Identity      string
	FieldPath     FieldPath
	Cardinality   spec.Cardinality
	Links         []KeyLink
	Child         *RecordPlan
}

type SelfRelationPlan struct {
	AllowReparent bool
	FieldPath     FieldPath
	Links         []KeyLink
}

type SequencePlan struct {
	Destination FieldPath
	Selector    FieldPath
	// Field is the canonical local row field, independent of root traversal syntax.
	Field FieldRef
}

type WritePolicy struct {
	DeleteMarker     FieldRef
	ConcurrencyToken FieldRef
	ValuePath        FieldPath
	Existing         Action
	Missing          Action
	Allowed          []Action
	Order            int
}