registry

type File struct {
	ImportPath, PackageName, Path string
	Source                        []byte
}

type ProviderInput struct {
	Schema            physical.PhysicalSchema
	Fingerprint       ir.Fingerprint
	SystemFingerprint ir.Fingerprint
	MigrationManifest []byte
}

type Request struct {
	AppPackage         modelcodegen.PackageSpec
	ModelPackages      []modelcodegen.PackageSpec
	Actor              ir.GoNamedTypeIR
	GolemImportPath    string
	RuntimeImportPath  string
	GenerationDigest   string
	GeneratorVersion   string
	TemplateABIVersion string
	Schema             SchemaInput
}

type SchemaInput struct {
	Model               ir.ModelIR
	Contract            ir.ContractIR
	ModelFingerprint    ir.Fingerprint
	ContractFingerprint ir.Fingerprint
	Providers           []ProviderInput
}

type ShellRequest struct {
	AppPackage      modelcodegen.PackageSpec
	Actor           ir.GoNamedTypeIR
	Model           ir.ModelIR
	Contract        ir.ContractIR
	GolemImportPath string
	// DeclarationDiscovery selects the deliberately permissive mutation
	// signatures used by the first typed source pass. Optimistic-concurrency
	// ownership is itself discovered by that pass, so the pre-discovery ModelIR
	// cannot yet choose between the classic and versioned final ABIs. This shell
	// is never published; generation subsequently type-checks the exact final
	// registry in the prospective artifact graph.
	DeclarationDiscovery bool
}