renderstage

type CoverageError struct {
	// Path is the uncovered major-qualified module path.
	Path string

	// RequiredBy names the input(s) whose module file lists the path.
	RequiredBy []string
}

type Dep struct {
	// Version is the canonical dependency version ("v1.2.3", "v2.0.0-alpha.7").
	Version string

	// Default marks this major as the default for imports of the path that
	// omit a major qualifier.
	Default bool
}

type GlueInputs struct {
	// InstancePath is the instance package's import path: the instance
	// module's qualified path plus the package directory, with an explicit
	// package qualifier when the package name differs from the directory.
	InstancePath string

	// PlatformPath is the platform package's import path, formed the same way.
	PlatformPath string

	// RuntimeName is the executing runtime's identity, entering the build as
	// a CUE string literal.
	RuntimeName string
}

type ModFile struct {
	// Module is the qualified module path, major suffix included
	// ("testing.opmodel.dev/library-parity@v0").
	Module string

	// Language is the declared language.version ("v0.17.0").
	Language string

	// Deps maps major-qualified dependency paths ("opmodel.dev/core@v2") to
	// their entries.
	Deps map[string]Dep
}

type Promotion struct {
	// Deps is the promoted dependency list keyed by major-qualified path. It
	// includes the two input modules themselves: cue/load resolves an
	// unqualified import inside a dependency (a module importing its own
	// subpackage, "example.com/mod/identity" from within example.com/mod@v0,
	// the ordinary authoring shape) through the MAIN module's default-major
	// table, which it reads from cue.mod/module.cue only. A replacement in
	// local-module.cue carries no default of its own, so without this entry
	// the input's self-imports fail with "cannot find module providing
	// package". The entry's version is a placeholder ([ReplacedVersion]):
	// the directory replacement serves the module and the version is never
	// resolved; the modfile decoder refuses a null version.
	Deps map[string]Dep

	// Language is the render module's language.version: the maximum of the
	// two inputs' declared versions, floored at MinLanguageVersion.
	Language string

	// Replacements maps each input module's qualified path to the absolute
	// directory cue/load serves it from (the local-module.cue replaceWith).
	Replacements map[string]string
}

type Staged struct {
	// Dir is the render module's root: cue.mod/module.cue,
	// cue.mod/local-module.cue and render.cue live here, as does a
	// materialized overlay-mode input tree.
	Dir string

	// Instance and Platform are the two committed module files the render
	// module was promoted from.
	Instance, Platform *ModFile

	// Promotion is the derived dependency list (D13).
	Promotion *Promotion

	// Skew holds the per-path resolved-versions rows (D18), instance list
	// against platform list.
	Skew []VersionRow

	// InstanceImport and PlatformImport are the generated import paths.
	InstanceImport, PlatformImport string
}

type VersionRow struct {
	// Path is the major-qualified module path compared.
	Path string

	// ModuleVersion is the version the instance module's cue.mod requires.
	ModuleVersion string

	// PlatformVersion is the version the platform module's tidied list
	// carries. Empty when the platform does not list the path (the instance's
	// own entry is then what the render resolves).
	PlatformVersion string

	// Newer is true when the instance requires a build newer than the
	// platform carries: the D7 skew case the caller's policy decides.
	Newer bool
}