pub struct AttemptOwner(/* private fields */);Expand description
Terminalization authority for one execution attempt.
This type is intentionally not Clone: boundary recording is shared
through AttemptHandle, but exactly one owner may terminalize.
Implementations§
Source§impl AttemptOwner
impl AttemptOwner
Sourcepub fn attempt_id(&self) -> AttemptId
pub fn attempt_id(&self) -> AttemptId
The engine-minted identity of this invocation.
Sourcepub fn handle(&self) -> AttemptHandle
pub fn handle(&self) -> AttemptHandle
Record-only capability for native fragments of this invocation.
Sourcepub fn register_sealed_report_sink<F>(&self, sink: F)
pub fn register_sealed_report_sink<F>(&self, sink: F)
Register a read-only projection of the immutable terminal report.
The sink receives the report before completion receivers are notified, and late registration receives the already-published report. It has no lifecycle, retry, or aggregation authority; backend metrics consumes the exact sealed allocation without introducing another store.
Sourcepub fn admission_rejection(&self) -> AttemptAdmissionRejection
pub fn admission_rejection(&self) -> AttemptAdmissionRejection
Opaque capability that can terminalize only an admission request that was rejected before an admission grant was published.
Sourcepub fn admission_binding(&self) -> AttemptAdmissionBinding
pub fn admission_binding(&self) -> AttemptAdmissionBinding
Opaque, atomic attachment for the query-service admission request.
Its observation and release capability originate from this same attempt and are consumed together by admission.
Sourcepub fn completion(&self) -> AttemptCompletion ⓘ
pub fn completion(&self) -> AttemptCompletion ⓘ
An independent receiver for the terminal report.
Sourcepub fn cancellation(&self) -> AttemptCancellation
pub fn cancellation(&self) -> AttemptCancellation
The attempt-scoped cooperative cancellation signal and deadline.
Sourcepub fn commit_terminal(
&self,
outcome: RuntimeTerminalOutcome,
) -> Result<(), AttemptLifecycleError>
pub fn commit_terminal( &self, outcome: RuntimeTerminalOutcome, ) -> Result<(), AttemptLifecycleError>
The one terminal commit hook makes the outcome terminal. For admitted attempts, cleanup-complete and report-ready are deferred to the post-GPU-cleanup seal; otherwise the commit completes immediately.
Sourcepub fn commit_query_error(
&self,
error: &QueryError,
) -> Result<(), AttemptLifecycleError>
pub fn commit_query_error( &self, error: &QueryError, ) -> Result<(), AttemptLifecycleError>
Captures the native error by reference before reducing it to the closed terminal outcome. The caller retains the untouched error and its complete source chain.
Sourcepub fn commit_failure_summary(
&self,
summary: AttemptFailureSummary,
) -> Result<(), AttemptLifecycleError>
pub fn commit_failure_summary( &self, summary: AttemptFailureSummary, ) -> Result<(), AttemptLifecycleError>
Commits a closed adapter fallback without retaining adapter display or source-chain text in the engine-owned report.
Trait Implementations§
Source§impl Debug for AttemptOwner
impl Debug for AttemptOwner
Source§impl Drop for AttemptOwner
impl Drop for AttemptOwner
Source§fn drop(&mut self)
fn drop(&mut self)
Backstop for an owner dropped before its report is ready. A panicking
thread records Panicked, a cancelled attempt records its typed
cancellation, and anything else records Dropped. Commit errors are
ignored because another path may have terminalized first, in which
case that outcome stands.
Auto Trait Implementations§
impl !RefUnwindSafe for AttemptOwner
impl !UnwindSafe for AttemptOwner
impl Freeze for AttemptOwner
impl Send for AttemptOwner
impl Sync for AttemptOwner
impl Unpin for AttemptOwner
impl UnsafeUnpin for AttemptOwner
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
Source§fn in_current_span(self) -> Instrumented<Self> ⓘ
fn in_current_span(self) -> Instrumented<Self> ⓘ
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more