app

type AcquireCommand struct {
	Lease      domain.Lease
	RuleID     string
	Dimensions domain.Dimensions
	Limit      int
	Mode       domain.RuleMode
	Now        time.Time
}

type AcquireResult struct {
	Lease            domain.Lease
	Replayed         bool
	RemainingSlots   int
	CapacityExceeded bool
	Rejected         bool
}

type AcquireSetCommand struct {
	SetID       string
	RequestID   string
	Members     []AcquireSetMember
	TTL         time.Duration
	RenewBefore time.Duration
	Now         time.Time
}

type AcquireSetMember struct {
	Lease      domain.Lease
	RuleID     string
	Dimensions domain.Dimensions
	Limit      int
	Mode       domain.RuleMode
}

type AcquireSetResult struct {
	Set              domain.LeaseSet
	Replayed         bool
	RemainingSlots   int
	CapacityExceeded bool
	Rejected         bool
	LockOrder        []string
	DenyingRuleID    string
}

type AdmitInput struct {
	RequestID      string
	Scope          scope.PrincipalScopeView
	Namespace      string
	TTL            time.Duration
	BoundVersion   economics.PolicySnapshotRef
	IdempotencyKey string
	Lifecycle      metering.LifecycleScope
	ParentLeaseID  string
	AuxPolicy      domain.AuxPolicy
	RuleID         string
}

type AdmitResult struct {
	Kind            domain.DecisionKind
	LeaseID         string
	Generation      int64
	ExpiresAt       time.Time
	RemainingSlots  int
	Readiness       domain.Readiness
	BoundVersion    economics.PolicySnapshotRef
	Evidence        domain.Evidence
	Acquired        bool
	Replayed        bool
	RuleID          string
	RenewBefore     time.Duration
	TTL             time.Duration
	FailureBehavior domain.FailureBehavior
	// Leases holds all rule occupancies from this Admit. It is empty on deny,
	// and on error every lease acquired by this Admit is rolled back.
	Leases []AdmittedLease
	SetID  string
}

type AdmittedLease struct {
	LeaseID         string
	RuleID          string
	Generation      int64
	ExpiresAt       time.Time
	RenewBefore     time.Duration
	TTL             time.Duration
	FailureBehavior domain.FailureBehavior
	Acquired        bool
	Replayed        bool
}

type Clock interface {
	Now() time.Time
}

type Error struct {
	// contains filtered or unexported fields
}

type LeaseSetOccupancyCounts struct {
	Active    int
	Uncertain int
	Expiring  int
	Released  int
	Failed    int
}

type LeaseStore interface {
	Acquire(ctx context.Context, cmd AcquireCommand) (AcquireResult, error)
	Renew(ctx context.Context, cmd RenewCommand) (RenewResult, error)
	Release(ctx context.Context, cmd ReleaseCommand) (ReleaseResult, error)
	Query(ctx context.Context, q QueryCommand) (QueryResult, error)
	CheckReadiness(ctx context.Context) (domain.Readiness, error)

	// Atomic lease-set operations (Phase 6 / requirements 10.3–10.9).
	AcquireSet(ctx context.Context, cmd AcquireSetCommand) (AcquireSetResult, error)
	RenewSet(ctx context.Context, cmd RenewSetCommand) (RenewSetResult, error)
	ReleaseSet(ctx context.Context, cmd ReleaseSetCommand) (ReleaseSetResult, error)
	QuerySets(ctx context.Context, q QuerySetsCommand) (QuerySetsResult, error)
	MarkSetUncertain(ctx context.Context, setID string, now time.Time) error
}

type Provider struct {
	// contains filtered or unexported fields
}

type QueryCommand struct {
	LeaseID   string
	RequestID string
	RuleID    string
	State     domain.LeaseState
	Now       time.Time
	Limit     int
}

type QueryResult struct {
	Leases []domain.Lease
}

type QuerySetsCommand struct {
	SetID     string
	RequestID string
	State     domain.LeaseSetState
	Now       time.Time
	Limit     int
}

type QuerySetsResult struct {
	Sets []domain.LeaseSet
}

type ReleaseCommand struct {
	LeaseID   string
	RequestID string
	Reason    string
	Now       time.Time
}

type ReleaseInput struct {
	LeaseID   string
	RequestID string
	Reason    string
	SetID     string
}

type ReleaseResult struct {
	Applied bool
	Lease   domain.Lease
}

type ReleaseSetCommand struct {
	SetID     string
	RequestID string
	Reason    string
	Now       time.Time
}

type ReleaseSetResult struct {
	Applied bool
	Set     domain.LeaseSet
}

type RenewCommand struct {
	LeaseID            string
	RequestID          string
	ExpectedGeneration int64
	TTL                time.Duration
	Now                time.Time
}

type RenewInput struct {
	LeaseID            string
	RequestID          string
	ExpectedGeneration int64
	TTL                time.Duration
	SetID              string
	RenewBefore        time.Duration
}

type RenewResult struct {
	Lease domain.Lease
}

type RenewSetCommand struct {
	SetID              string
	RequestID          string
	ExpectedGeneration int64
	TTL                time.Duration
	RenewBefore        time.Duration
	Now                time.Time
}

type RenewSetResult struct {
	Set       domain.LeaseSet
	Uncertain bool
}

type RuleSnapshot struct {
	ID          string
	Version     string
	EffectiveAt time.Time
	FetchedAt   time.Time
	State       economics.SnapshotState
	Readiness   domain.Readiness
	Rules       []domain.Rule
}

type RuleSource interface {
	Snapshot(ctx context.Context) (RuleSnapshot, error)
}

type Service struct {
	// contains filtered or unexported fields
}