CelmPort class abstract

A guarded local execution loop.

The invariant every method serves: a step that has not been verified does not advance. An implementation that advances on an unverified result satisfies the signatures and not the contract.

Implementers

Constructors

CelmPort()

Properties

hashCode → int
The hash code for this object.
no setterinherited
runtimeType → Type
A representation of the runtime type of the object.
no setterinherited

Methods

cancel(String runId, {AnalysisActor? actor}) → Future<CelmOutcome>
Stop a running goal. Evidence established before the stop survives.
execute(CelmGoalRef goal, {CelmConstraints? constraints, AnalysisActor? actor}) → Future<CelmRunHandle>
Start goal. Returns once the run has an id; the outcome arrives on the handle.
explain(String conclusionId, {AnalysisActor? actor}) → Future<CelmEvidence>
The evidence chain behind a conclusion.
noSuchMethod(Invocation invocation) → dynamic
Invoked when a nonexistent method or property is accessed.
inherited
observe({CelmObserveRequest? request, AnalysisActor? actor}) → Future<CelmObservation>
Current structured state.
progress(String runId, {AnalysisActor? actor}) → Future<CelmProgress>
Progress, attempts and remaining budget of a run; its outcome once it has ended.
resume(String runId, CelmResumption resumption, {AnalysisActor? actor}) → Future<CelmOutcome>
Resume an escalated run with a planner's answer.
standalone(String runId, {AnalysisActor? actor}) → Future<List<ObservedConclusion>>
Conclusions from runId that may stand alone as evidence.
toString() → String
A string representation of this object.
inherited

Operators

operator ==(Object other) → bool
The equality operator.
inherited