launchcfg

type PlayLaunch struct {

	// FactId is the per-row event id (zero from producers; the launch
	// row's durable id is minted by the facts store on persist).
	FactId uint64 `lw:",id"`

	// NaturalKey is the entity natural key; the facts SetId is 2-arg.
	// These bus DTOs carry no separate key, so it stays the nil default.
	NaturalKey []byte `lw:",naturalKey"`

	// At is the event timestamp. time.Time matches the facts
	// SetTimestamp signature directly (strict 1:1); the leeway wire
	// truncates to u32 seconds, while the bus preserves full nanos.
	At time.Time `lw:",ts"`

	// Sql is the initial editor buffer. Non-empty wins over the
	// BOXER_PLAY_SQL override and the persisted-session restore; empty
	// falls through to that existing chain.
	Sql string `lw:"playLaunchSql,textArray"`

	// AutoRun triggers a Run of the seeded buffer on mount. Applied
	// whenever the window carries a config (replacing the
	// BOXER_PLAY_AUTORUN tier), matching the "config beats env" rule.
	AutoRun bool `lw:"playLaunchAutoRun,bool"`

	// Live enables live re-run on the main lane (SetLiveMain).
	Live bool `lw:"playLaunchLive,bool"`

	// BandsSql seeds the Timeline panel's bands editor when non-empty;
	// empty leaves the persisted/env-seeded bands untouched.
	BandsSql string `lw:"playLaunchBandsSql,textArray"`

	// Tab selects the initially focused body tab by id when non-empty
	// (ActivateTab); an unknown id is a warning, not a mount error.
	Tab string `lw:"playLaunchTab,symbol"`

	// Endpoint binds the opened window's client to a query target:
	// EndpointIntrospection points it at the in-process keelson `/query`
	// endpoint (where ad-hoc `keelson('<handle>')` datasets resolve,
	// ADR-0134); empty or EndpointDefault keeps play's env-configured
	// ClickHouse. An "introspection" request with no such endpoint up is a
	// warning, not a mount error — the window opens on the default target.
	Endpoint string `lw:"playLaunchEndpoint,symbol"`
	// contains filtered or unexported fields
}

type PlayLaunchBoolAttrI interface {
	dmlruntime.InAttributeMembershipLowCardRefPI
	EndAttributeP()
}

type PlayLaunchBoolAttrsReadI interface {
	GetAttrValueValue(entityIdx raruntime.EntityIdx, attrIdx raruntime.AttributeIdx) bool
	GetNumberOfAttributes(entityIdx raruntime.EntityIdx) int64
}

type PlayLaunchBoolMembsReadI interface {
	GetMembValueLowCardRef(entityIdx raruntime.EntityIdx, attrIdx raruntime.AttributeIdx) iter.Seq[uint64]
}

type PlayLaunchBoolSecI[Attr any, Ent any] interface {
	BeginAttribute(value bool) Attr
	EndSection() Ent
}

type PlayLaunchCodec struct{}

type PlayLaunchColumns struct {
	FactId     []uint64
	NaturalKey [][]byte
	At         []time.Time

	Sql      []string
	AutoRun  []bool
	Live     []bool
	BandsSql []string
	Tab      []string
	Endpoint []string
}

type PlayLaunchEntityI[
	TextArrayAttr PlayLaunchTextArrayAttrI,
	TextArraySec PlayLaunchTextArraySecI[TextArrayAttr, Ent],
	BoolAttr PlayLaunchBoolAttrI,
	BoolSec PlayLaunchBoolSecI[BoolAttr, Ent],
	SymbolAttr PlayLaunchSymbolAttrI,
	SymbolSec PlayLaunchSymbolSecI[SymbolAttr, Ent],
	Ent any,
] interface {
	BeginEntity() Ent
	SetId(id uint64, naturalKey []byte) Ent
	SetTimestamp(ts time.Time) Ent
	GetSectionTextArray() TextArraySec
	GetSectionBool() BoolSec
	GetSectionSymbol() SymbolSec
	CommitEntity() (err error)
}

type PlayLaunchSymbolAttrI interface {
	dmlruntime.InAttributeMembershipLowCardRefPI
	EndAttributeP()
}

type PlayLaunchSymbolAttrsReadI interface {
	GetAttrValueValue(entityIdx raruntime.EntityIdx, attrIdx raruntime.AttributeIdx) string
	GetNumberOfAttributes(entityIdx raruntime.EntityIdx) int64
}

type PlayLaunchSymbolMembsReadI interface {
	GetMembValueLowCardRef(entityIdx raruntime.EntityIdx, attrIdx raruntime.AttributeIdx) iter.Seq[uint64]
}

type PlayLaunchSymbolSecI[Attr any, Ent any] interface {
	BeginAttribute(value string) Attr
	EndSection() Ent
}

type PlayLaunchTextArrayAttrI interface {
	dmlruntime.InAttributeMembershipLowCardRefPI
	EndAttributeP()
}

type PlayLaunchTextArrayAttrsReadI interface {
	GetAttrValueSingle(entityIdx raruntime.EntityIdx, attrIdx raruntime.AttributeIdx) (string, error)
	GetNumberOfAttributes(entityIdx raruntime.EntityIdx) int64
}

type PlayLaunchTextArrayMembsReadI interface {
	GetMembValueLowCardRef(entityIdx raruntime.EntityIdx, attrIdx raruntime.AttributeIdx) iter.Seq[uint64]
}

type PlayLaunchTextArraySecI[Attr any, Ent any] interface {
	BeginAttributeSingle(value string) Attr
	EndSection() Ent
}