Struct ResourcePlane 

pub struct ResourcePlane { /* private fields */ }

Everything the resource plane needs to answer a request, and nothing that a running task leaves behind.

Deliberately constructible from an export declaration, a workdir path and a containment class alone: a later reader-only launch mode must be able to build one over an existing workdir without starting the engine, and would be correct to report generation: 0 there, since no task has completed in that process.

Implementations

impl ResourcePlane

pub fn new( accessible_workdir: &Path, export: Option<&FileExport>, containment_achieved: ContainmentClass, generation: Arc<AtomicU64>, trace: Option<Arc<ResourceTraceAppender>>, ) -> Self

The five inputs a plane needs, and the complete list of them: a host path, the declared export (None = undeclared = deny), the achieved containment class, the generation counter and somewhere to write the record. None of them is state a completed task left behind, which is what lets a later reader-only launch mode build one over an existing workdir without starting the engine.

pub fn with_export( export: Option<DeclaredExport>, containment_achieved: ContainmentClass, generation: Arc<AtomicU64>, trace: Option<Arc<ResourceTraceAppender>>, ) -> Self

Self::new with the root already resolved.

pub fn generation(&self) -> u64

Which turn the bytes belong to: 0 until the first task in this process reaches a terminal state, then one more per completed task.

It answers these bytes are as of turn N and nothing else. It is not an argument — no request selects a generation, no response conflicts because the generation has moved on, and superseded bytes are not retained. A capsule that is finished but alive and rewrites a file two turns later simply serves the newer file; the etag is how a caller notices.

pub fn containment_achieved(&self) -> ContainmentClass