fhelium.residency.request

Declarative residency working-set requirements.

Requests describe which manager-owned logical values must be resident at which local locations and how much named accounting headroom the operation requires. They contain no placement path, eviction choice, stream, or concrete tensor.

ResidencyRequest

class View source

ResidencyRequest(name: str, requirements: tuple[ResidencyRequirement, ...], reservations: tuple[MemoryReservation, ...] = ())

Immutable declarative working-set and headroom request.

Each (handle, location) pair appears exactly once. A replicable value may therefore be required at several locations in one request. Whether a handle's replica mode permits those simultaneous postconditions is validated against manager state during controller decision-making.

Reservations are accounting headroom held while the admitted request is active. They neither allocate tensors nor name eviction victims.

Attributes

Name	Type	Default/value
name	str
requirements	tuple[ResidencyRequirement, ...]
reservations	tuple[MemoryReservation, ...]	()

ResidencyRequirement

class View source

ResidencyRequirement(handle: ResidencyHandle[Any], location: ResidencyLocation)

Require one managed logical value at one local location.

The requirement states a post-admission condition. It deliberately does not select a source materialization, transfer path, eviction victim, or execution stream; those choices belong to a controller decision.

Attributes

Name	Type	Default/value
handle	ResidencyHandle[Any]
location	ResidencyLocation