package v1

import "cue.dev/x/k8s.io/apimachinery/pkg/apis/meta/v1"

// Lease defines a lease concept.
#Lease: {
	// APIVersion defines the versioned schema of this representation of an object.
	// Servers should convert recognized schemas to the latest internal value, and
	// may reject unrecognized values. More info:
	// https://git.k8s.io/community/contributors/devel/sig-architecture/api-conventions.md#resources
	"apiVersion": "coordination.k8s.io/v1"

	// Kind is a string value representing the REST resource this object represents.
	// Servers may infer this from the endpoint the client submits requests to.
	// Cannot be updated. In CamelCase. More info:
	// https://git.k8s.io/community/contributors/devel/sig-architecture/api-conventions.md#types-kinds
	"kind": "Lease"

	// More info:
	// https://git.k8s.io/community/contributors/devel/sig-architecture/api-conventions.md#metadata
	"metadata"?: v1.#ObjectMeta

	// spec contains the specification of the Lease. More info:
	// https://git.k8s.io/community/contributors/devel/sig-architecture/api-conventions.md#spec-and-status
	"spec"?: #LeaseSpec
}

// LeaseList is a list of Lease objects.
#LeaseList: {
	// APIVersion defines the versioned schema of this representation of an object.
	// Servers should convert recognized schemas to the latest internal value, and
	// may reject unrecognized values. More info:
	// https://git.k8s.io/community/contributors/devel/sig-architecture/api-conventions.md#resources
	"apiVersion": "coordination.k8s.io/v1"

	// items is a list of schema objects.
	"items"!: [...#Lease]

	// Kind is a string value representing the REST resource this object represents.
	// Servers may infer this from the endpoint the client submits requests to.
	// Cannot be updated. In CamelCase. More info:
	// https://git.k8s.io/community/contributors/devel/sig-architecture/api-conventions.md#types-kinds
	"kind": "LeaseList"

	// Standard list metadata. More info:
	// https://git.k8s.io/community/contributors/devel/sig-architecture/api-conventions.md#metadata
	"metadata"?: v1.#ListMeta
}

// LeaseSpec is a specification of a Lease.
#LeaseSpec: {
	// acquireTime is a time when the current lease was acquired.
	"acquireTime"?: v1.#MicroTime

	// holderIdentity contains the identity of the holder of a current lease. If
	// Coordinated Leader Election is used, the holder identity must be equal to
	// the elected LeaseCandidate.metadata.name field.
	"holderIdentity"?: string

	// leaseDurationSeconds is a duration that candidates for a lease need to wait
	// to force acquire it. This is measured against the time of last observed
	// renewTime.
	"leaseDurationSeconds"?: int32 & int

	// leaseTransitions is the number of transitions of a lease between holders.
	"leaseTransitions"?: int32 & int

	// PreferredHolder signals to a lease holder that the lease has a more optimal
	// holder and should be given up. This field can only be set if Strategy is
	// also set.
	"preferredHolder"?: string

	// renewTime is a time when the current holder of a lease has last updated the lease.
	"renewTime"?: v1.#MicroTime

	// Strategy indicates the strategy for picking the leader for coordinated leader
	// election. If the field is not specified, there is no active coordination for
	// this lease. (Alpha) Using this field requires the CoordinatedLeaderElection
	// feature gate to be enabled.
	"strategy"?: string
}