pub struct FactRun { /* private fields */ }Implementations§
Source§impl FactRun
impl FactRun
pub fn open( dir: impl Into<PathBuf>, completion: Arc<dyn Completion>, tools: Arc<dyn ToolRunner>, config: HarnessConfig, run_id: impl Into<String>, ) -> Result<Self>
Sourcepub fn open_composed(
dir: impl Into<PathBuf>,
completion: Arc<dyn Completion>,
tools: Arc<dyn ToolRunner>,
config: HarnessConfig,
run_id: impl Into<String>,
compose: Option<&HarnessComposeOptions>,
) -> Result<Self>
pub fn open_composed( dir: impl Into<PathBuf>, completion: Arc<dyn Completion>, tools: Arc<dyn ToolRunner>, config: HarnessConfig, run_id: impl Into<String>, compose: Option<&HarnessComposeOptions>, ) -> Result<Self>
Admit an optional Meta Harness compose recipe (default = stock actor).
Sourcepub fn open_composed_with_hosts(
dir: impl Into<PathBuf>,
completion: Arc<dyn Completion>,
tools: Arc<dyn ToolRunner>,
config: HarnessConfig,
run_id: impl Into<String>,
hosts: FactRunHostMounts<'_>,
) -> Result<Self>
pub fn open_composed_with_hosts( dir: impl Into<PathBuf>, completion: Arc<dyn Completion>, tools: Arc<dyn ToolRunner>, config: HarnessConfig, run_id: impl Into<String>, hosts: FactRunHostMounts<'_>, ) -> Result<Self>
Admit compose with optional host registry / full assembler.
Sourcepub fn open_with_graph(
dir: impl Into<PathBuf>,
completion: Arc<dyn Completion>,
tools: Arc<dyn ToolRunner>,
step_limit: u32,
run_id: impl Into<String>,
graph: HarnessGraph,
) -> Result<Self>
pub fn open_with_graph( dir: impl Into<PathBuf>, completion: Arc<dyn Completion>, tools: Arc<dyn ToolRunner>, step_limit: u32, run_id: impl Into<String>, graph: HarnessGraph, ) -> Result<Self>
Admit an explicit Meta Harness graph. Kernel policy (permissions + completion gate) remains Core-owned and cannot be cleared by the graph.
pub fn open_session( workspace: &Path, session_id: &str, client: Arc<dyn LlmClient>, executor: Arc<ToolExecutor>, permission: PermissionPolicy, yolo_lanes: &[SessionLane], max_tool_rounds: usize, ) -> Result<Self>
pub fn read_facts(&self) -> Result<Vec<Fact>>
Sourcepub fn reset_thread_log(&self) -> Result<()>
pub fn reset_thread_log(&self) -> Result<()>
Drop this thread’s log so a checkpoint resume is not a leftover session.
Sourcepub fn seed_history(&self, history: &[Message]) -> Result<()>
pub fn seed_history(&self, history: &[Message]) -> Result<()>
Record prior turns so the new prompt is the only infer that runs.
Each assistant text is a model.turn whose cause is infer:{turn}:{cycle}.
An existing log is already the control source and is left unchanged.
pub async fn user_text(&self, text: &str) -> Result<Settlement<CodingView>>
pub async fn steer(&self, text: &str) -> Result<Settlement<CodingView>>
pub async fn resume_limit(&self, limit: u32) -> Result<Settlement<CodingView>>
pub async fn confirm( &self, tool_call_id: &str, approved: bool, ) -> Result<Settlement<CodingView>>
Sourcepub async fn confirm_if_pending(
&self,
tool_call_id: &str,
approved: bool,
) -> Result<bool>
pub async fn confirm_if_pending( &self, tool_call_id: &str, approved: bool, ) -> Result<bool>
Append confirmation.answered only when this tool id is the parked one.
pub async fn answer(&self, text: &str) -> Result<Settlement<CodingView>>
pub async fn append_model_turn(&self, payload: Value) -> Result<()>
Auto Trait Implementations§
impl !RefUnwindSafe for FactRun
impl !UnwindSafe for FactRun
impl Freeze for FactRun
impl Send for FactRun
impl Sync for FactRun
impl Unpin for FactRun
impl UnsafeUnpin for FactRun
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
Mutably borrows from an owned value. Read more
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> FutureExt for T
impl<T> FutureExt for T
Source§fn with_context(self, otel_cx: Context) -> WithContext<Self> ⓘ
fn with_context(self, otel_cx: Context) -> WithContext<Self> ⓘ
Source§fn with_current_context(self) -> WithContext<Self> ⓘ
fn with_current_context(self) -> WithContext<Self> ⓘ
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> ⓘ
Converts
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> ⓘ
Converts
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