pub struct CompilationPipeline<'a> { /* private fields */ }Expand description
Staged derived compilation (P0, docs/SYSTEM_DESIGN.md §7): every stage writes its output, reloads the reality graph, and only then compiles the next stage, so drift and later stages can never be computed against a graph that predates freshly written facts. The derived model epoch is bumped before the first write so cached context packs are invalidated even if a stage fails mid-pipeline (fail closed — no stale trusted pack survives a partial recompile).
Implementations§
Source§impl<'a> CompilationPipeline<'a>
impl<'a> CompilationPipeline<'a>
pub fn new(store: &'a Store) -> CompilationPipeline<'a>
pub fn run(self) -> Result<RecompileReport>
Auto Trait Implementations§
impl<'a> !RefUnwindSafe for CompilationPipeline<'a>
impl<'a> !Send for CompilationPipeline<'a>
impl<'a> !Sync for CompilationPipeline<'a>
impl<'a> !UnwindSafe for CompilationPipeline<'a>
impl<'a> Freeze for CompilationPipeline<'a>
impl<'a> Unpin for CompilationPipeline<'a>
impl<'a> UnsafeUnpin for CompilationPipeline<'a>
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