synth

type InstanceInput struct {
	// Module is the source #Module the instance deploys. Required. Its
	// metadata.modulePath / metadata.version identify the published module
	// the synthesized package imports (Instance references the module by
	// import, not by inlining its value).
	Module *module.Module

	// Name is the instance name (metadata.name). Required. Must satisfy the
	// schema's #NameType regex; violations surface as a CUE unification error
	// from Instance.
	Name string

	// Namespace is the target namespace (metadata.namespace). Required.
	Namespace string

	// SchemaCache supplies the OPM core schema used to unify against
	// #ModuleInstance. REQUIRED. Typically the value of
	// kernel.SchemaCache() from the caller's Kernel — passing the
	// kernel's cache preserves the one-Cache-per-process invariant and
	// avoids a duplicate schema fetch. Instance returns an error when
	// this field is nil.
	SchemaCache *schema.Cache

	// Values is the caller-supplied configuration value unified against the
	// module's #config. The zero cue.Value signals "no values supplied" — the
	// schema's values path is left unfilled and concreteness is enforced
	// downstream by Kernel.ProcessModuleInstance. Instance NEVER falls back to
	// Module.debugValues; that is a frontend policy concern.
	Values cue.Value

	// Labels and Annotations layer over the schema's stamped
	// module-instance.opmodel.dev/{name,uuid} labels. CUE unification merges
	// caller-supplied entries with schema-stamped ones; caller-supplied keys
	// MUST NOT collide with the schema's reserved keys.
	Labels      map[string]string
	Annotations map[string]string
}

type PlatformInput struct {
	// Name is the platform name (metadata.name). Required. Must satisfy the
	// schema's #NameType regex; violations surface as a CUE unification error
	// from Platform.
	Name string

	// Type is the platform type discriminator (the top-level #Platform.type
	// field). Required by the schema. Today it is an informational
	// discriminator the matcher does not consult.
	Type string

	// SchemaCache supplies the OPM core schema used to unify against
	// #Platform. REQUIRED. Typically the value of kernel.SchemaCache() from
	// the caller's Kernel — passing the kernel's cache preserves the
	// one-Cache-per-process invariant and avoids a duplicate schema fetch.
	// Platform returns an error when this field is nil.
	SchemaCache *schema.Cache

	// Description, Labels, and Annotations layer onto metadata. Each is
	// rendered only when non-empty.
	Description string
	Labels      map[string]string
	Annotations map[string]string

	// Subscriptions is the optional typed registry of catalog subscriptions.
	// The map key is the catalog's CUE module path (e.g.
	// "opmodel.dev/catalogs/opm"); a key that violates #ModulePathType
	// surfaces as a CUE unification error from Platform. An empty/nil map
	// leaves #registry empty.
	Subscriptions map[string]SubscriptionSpec
}

type SubscriptionSpec struct {
	// Enable maps onto #Subscription.enable. It is a pointer so an omitted
	// value (nil) DEFERS to the schema's `*true` default rather than forcing
	// `false`: nil → schema default, non-nil → the explicit bool. This mirrors
	// the unset-vs-supplied distinction synth.Instance draws for its inputs.
	Enable *bool

	// Version maps onto #Subscription.version — the single build the
	// subscription materializes (0010 D14: the platform file IS the
	// resolution). REQUIRED: Platform returns an error naming the
	// subscription path when it is empty, because the kernel reads this
	// scalar — a versionless subscription would fail at materialize.
	Version string
}