AllocationContext class

Everything an Allocation needs to manage its effect — assembled by the Host and handed to Capability.createAllocation (ADR-0009 D5).

Bundles the host's stable treeContext (the effect reads its ambient values with the effect verb — getInheritedSeedOfExactType, loud on unmounted) + the per-step args, the process transport (a RuntimeProvider — spawn/kill/events; transport, NOT a writer/notifier), the stable address, the engine env overlay the Host computed (the GRID_* vars incl. the freshness token), the sink to report through, and the fence (the prior identity for a no-adopt-on-faith proof — D4).

Constructors

AllocationContext({required TreeContext treeContext, required StepArgs args, required RuntimeProvider transport, required AllocationAddress address, required Map<String, String> env, required AllocationSink sink, AdoptFence fence = const AdoptFence(), StepKind kind = StepKind.job, AllocationLiveness liveness = neverLive, WorkSignalProbe workSignal = noWorkSignal, Duration workSignalTimeout = kWorkSignalTimeout})
Bundles the host's treeContext + the per-step args, the process transport, address, engine env overlay, report sink, adopt fence, step kind, and pgid liveness seam.
const

Properties

address → AllocationAddress
The stable, addressable identity (<sessionId>/<nodePath>).
final
args → StepArgs
The per-step values (params/nodePath/cancel) of this incarnation.
final
env → Map<String, String>
The engine env overlay the Host computed (GRID_BEAD_ID/GRID_SESSION_ID/ GRID_INSTANCE_TOKEN/GRID_STEP_PATH) — layered over the capability's spawn config so a spawned effect can write its own cursor via the shim.
final
fence → AdoptFence
The prior incarnation's identity for the adopt-freshness proof (D4); empty for a fresh mint.
final
hashCode → int
The hash code for this object.
no setterinherited
kind → StepKind
Whether this effect runs-to-completion (StepKind.job) or stays mounted (StepKind.daemon) — the discriminator for adoptability/detachability (D4: a job is respawn-or-skip; a daemon is adopt-or-respawn + detach-capable).
final
liveness → AllocationLiveness
The engine pgid-liveness half of the adopt-freshness proof (D4); offline default neverLive (no controller ⇒ no adopt).
final
runtimeType → Type
A representation of the runtime type of the object.
no setterinherited
sink → AllocationSink
The report channel (the Host persists each report off-build).
final
transport → RuntimeProvider
The process transport — start/stop/events. Transport only; holding it is not a writer/notifier (invariant 1/2 unaffected). A non-process effect simply never touches it.
final
treeContext → TreeContext
The host branch's stable tree context — valid while the host is mounted, throws (loudly, by design) after unmount. Effects read ambient values through it at entry and re-check StepArgs.cancel after async gaps.
final
workSignal → WorkSignalProbe
The work-signal probe the COMPLETION FENCE proves an inferred completion with — bound by the composer via StationServices.workSignal; noWorkSignal (the default) leaves the fence INERT, which is exactly today's behavior. Only consulted for a capability declaring CompletionContract.committedWorkspace, and only when the tree actually carries a real SourceControl + Workspace (see ProcessAllocation).
final
workSignalTimeout → Duration
How long the fence waits for workSignal before treating the workspace as unreadable (fail closed ⇒ respawn, never a stalled step). Defaults to kWorkSignalTimeout.
final

Methods

noSuchMethod(Invocation invocation) → dynamic
Invoked when a nonexistent method or property is accessed.
inherited
toString() → String
A string representation of this object.
inherited

Operators

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