Struct MemoryContextLease 

#[non_exhaustive]
pub struct MemoryContextLease {
    pub lease_id: MemoryLeaseId,
    pub session_id: SessionId,
    pub project_id: ProjectId,
    pub provider_id: ContextProviderId,
    pub mode: MemoryContextMode,
    pub capture_policy: CapturePolicy,
    pub recall_policy: RecallPolicy,
    pub granted_by: UserIntentProof,
    pub granted_at: SystemTime,
    pub expires_at: Option<SystemTime>,
}

A host-granted continuous-memory lease (spec §6.2).

Construction is host-private (mirroring the authority discipline of crate::orchestration::validate_user_authorizable_model): the only constructor, MemoryContextLease::grant, is pub(crate), the struct is #[non_exhaustive], and there is deliberately no Deserialize impl — deserialization from extension or model output is forbidden.

Struct-literal construction outside the engine crate does not compile:

use agent_engine::runtime::memory_context::MemoryContextLease;

fn forge(lease: MemoryContextLease) -> MemoryContextLease {
    // E0639: `MemoryContextLease` is `#[non_exhaustive]` outside its crate.
    MemoryContextLease { ..lease }
}

The grant constructor is inaccessible outside the engine crate:

use agent_engine::runtime::memory_context::MemoryContextLease;

fn probe() {
    // E0624: `grant` is `pub(crate)`.
    let _ = MemoryContextLease::grant;
}

And no Deserialize impl exists, so wire input cannot mint a lease:

fn requires_deserialize<T: for<'de> serde::Deserialize<'de>>() {}

fn probe() {
    // E0277: `MemoryContextLease: Deserialize` is not satisfied.
    requires_deserialize::<agent_engine::runtime::memory_context::MemoryContextLease>();
}

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

lease_id: MemoryLeaseId

Host-minted lease identity.

session_id: SessionId

The session this lease is scoped to.

project_id: ProjectId

The project isolation boundary.

provider_id: ContextProviderId

The context provider this lease activates.

mode: MemoryContextMode

The granted memory mode.

capture_policy: CapturePolicy

The capture policy in force under this lease.

recall_policy: RecallPolicy

The recall policy in force under this lease.

granted_by: UserIntentProof

Proof of the exact user intent that authorized this lease.

granted_at: SystemTime

When the host granted the lease.

expires_at: Option<SystemTime>

Optional hard expiry; None means until revoked.

Trait Implementations

impl Clone for MemoryContextLease

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for MemoryContextLease

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for MemoryContextLease

impl PartialEq for MemoryContextLease

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for MemoryContextLease