embodichain.lab.task_program.compiler

Task Program compilation and Semantic Call lowering.

The compiler expands a validated AST into immutable segments and calls. Semantic lowering is provider-independent; live planning starts only after an environment integration is assembled.

CompiledArticulationJointPositionValidator	Owned joint-position validator with its canonical articulation.
CompiledBarrier	Explicit join semantics for one compiled parallel block.
CompiledObjectNearTargetValidator	Owned validator config with canonical object and resolved target pose.
CompiledParallelBlock	Two or more call lanes joined by an explicit deterministic barrier.
CompiledParallelBranch	One ordered semantic-call lane inside a parallel block.
CompiledPostPolicy	Owned post-policy config plus its canonical scene entity and source path.
CompiledRepeatFrame	One lexical repeat occurrence in a compiled call or segment path.
CompiledTargetSelection	Deterministic cyclic-target selection metadata for one occurrence.
CompiledTaskProgram	Bounded provider-free segment snapshot used by preflight and execution.
CompiledTaskProgramAnalysis	One owned canonical semantic-analysis window for a compiled program.
CompiledTaskProgramCall	One owned semantic call occurrence emitted by lazy program expansion.
CompiledTaskProgramSegment	One independent explicit or implicit logical program segment.
CompiledTaskProgramValidator	Represent a PEP 604 union type
TaskProgramCompileError	Raised when a validated AST cannot lower to canonical semantic calls.
TaskProgramCompiler	Compile validated Task Program ASTs through one static scene manifest.

Classes:

CompiledArticulationJointPositionValidator	Owned joint-position validator with its canonical articulation.
CompiledBarrier	Explicit join semantics for one compiled parallel block.
CompiledObjectNearTargetValidator	Owned validator config with canonical object and resolved target pose.
CompiledParallelBlock	Two or more call lanes joined by an explicit deterministic barrier.
CompiledParallelBranch	One ordered semantic-call lane inside a parallel block.
CompiledPostPolicy	Owned post-policy config plus its canonical scene entity and source path.
CompiledRepeatFrame	One lexical repeat occurrence in a compiled call or segment path.
CompiledTargetSelection	Deterministic cyclic-target selection metadata for one occurrence.
CompiledTaskProgram	Bounded provider-free segment snapshot used by preflight and execution.
CompiledTaskProgramAnalysis	One owned canonical semantic-analysis window for a compiled program.
CompiledTaskProgramCall	One owned semantic call occurrence emitted by lazy program expansion.
CompiledTaskProgramSegment	One independent explicit or implicit logical program segment.
TaskProgramCompiler	Compile validated Task Program ASTs through one static scene manifest.

Exceptions:

TaskProgramCompileError

Raised when a validated AST cannot lower to canonical semantic calls.

class embodichain.lab.task_program.compiler.CompiledArticulationJointPositionValidator

Owned joint-position validator with its canonical articulation.

Methods:

__init__(cfg, articulation, source_path)

__init__(cfg, articulation, source_path)

class embodichain.lab.task_program.compiler.CompiledBarrier

Explicit join semantics for one compiled parallel block.

Methods:

__init__(name, timeout_steps, ...)

__init__(name, timeout_steps, failure_policy, source_path)

class embodichain.lab.task_program.compiler.CompiledObjectNearTargetValidator

Owned validator config with canonical object and resolved target pose.

Methods:

__init__(cfg, object, target_pose, ...)

__init__(cfg, object, target_pose, target_selection, source_path)

class embodichain.lab.task_program.compiler.CompiledParallelBlock

Two or more call lanes joined by an explicit deterministic barrier.

Methods:

__init__(branches, barrier, source_path)

__init__(branches, barrier, source_path)

class embodichain.lab.task_program.compiler.CompiledParallelBranch

One ordered semantic-call lane inside a parallel block.

Methods:

__init__(branch_index, calls, source_path)

__init__(branch_index, calls, source_path)

class embodichain.lab.task_program.compiler.CompiledPostPolicy

Owned post-policy config plus its canonical scene entity and source path.

Methods:

__init__(cfg, entity, source_path)

__init__(cfg, entity, source_path)

class embodichain.lab.task_program.compiler.CompiledRepeatFrame

One lexical repeat occurrence in a compiled call or segment path.

Methods:

__init__(path, iteration_index, count)

__init__(path, iteration_index, count)

class embodichain.lab.task_program.compiler.CompiledTargetSelection

Deterministic cyclic-target selection metadata for one occurrence.

Methods:

__init__(target_id, value_index, ...)

__init__(target_id, value_index, repeat_path, repeat_iteration_index)

class embodichain.lab.task_program.compiler.CompiledTaskProgram

Bounded provider-free segment snapshot used by preflight and execution.

Methods:

__init__(*args, **kwargs)	Reject construction outside TaskProgramCompiler.
iter_segments()	Iterate the already materialized provider-free segments.
preflight_analyses()	Return full-program analyses split only at parallel barriers.
sequential_execution_analysis(segment_index)	Return current-segment prefix plus downstream sequential look-ahead.

Attributes:

integration	Return an independent integration-selection snapshot.
segment_count	Return the number of materialized logical segments.

__init__(*args, **kwargs)

Reject construction outside TaskProgramCompiler.

property integration: TaskProgramIntegrationCfg

Return an independent integration-selection snapshot.

iter_segments()

Iterate the already materialized provider-free segments.

Return type:

Iterator[CompiledTaskProgramSegment]

preflight_analyses()

Return full-program analyses split only at parallel barriers.

Consecutive sequential segments form one static workflow, preserving their object-state flow and cross-segment target look-ahead. Each parallel branch is analyzed independently; no state or target inference crosses the barrier in either direction.

Return type:

tuple[CompiledTaskProgramAnalysis, ...]

property segment_count: int

Return the number of materialized logical segments.

sequential_execution_analysis(segment_index)

Return current-segment prefix plus downstream sequential look-ahead.

Parameters:

segment_index (int) – Index of the sequential segment about to execute.

Return type:

CompiledTaskProgramAnalysis

Returns:

Analysis beginning at the selected segment and ending immediately before the next parallel barrier or the end of the program.

Raises:

• IndexError – If segment_index is outside this program.

• ValueError – If the selected segment is itself parallel.

class embodichain.lab.task_program.compiler.CompiledTaskProgramAnalysis

One owned canonical semantic-analysis window for a compiled program.

execution_prefix_length separates calls that the current segment owns from downstream calls included only for static state-flow and target look-ahead. Preflight analyses set the prefix to the complete window.

Methods:

__init__(analysis_id, kind, calls, ...)

__init__(analysis_id, kind, calls, source_path, segment_indices, execution_prefix_length)

class embodichain.lab.task_program.compiler.CompiledTaskProgramCall

One owned semantic call occurrence emitted by lazy program expansion.

Methods:

__init__(call_index, segment_call_index, ...)

__init__(call_index, segment_call_index, call, source_path, repeat_frames=(), target_selections=())

class embodichain.lab.task_program.compiler.CompiledTaskProgramSegment

One independent explicit or implicit logical program segment.

Methods:

__init__(segment_index, segment_id, name, ...)

__init__(segment_index, segment_id, name, calls, source_path, repeat_frames=(), post_policies=(), validators=(), parallel_block=None, implicit=False)

exception embodichain.lab.task_program.compiler.TaskProgramCompileError

Raised when a validated AST cannot lower to canonical semantic calls.

class embodichain.lab.task_program.compiler.TaskProgramCompiler

Compile validated Task Program ASTs through one static scene manifest.

Methods:

__init__(scene_manifest)	Create one provider-free compiler.
compile(config)	Compile one validated AST into a bounded provider-free program.
from_scene_registry(registry)	Create a compiler from a provider-free SceneRegistry identity snapshot.

__init__(scene_manifest)

Create one provider-free compiler.

Parameters:

scene_manifest (SceneManifest) – Canonical provider-free scene identity catalog.

compile(config)

Compile one validated AST into a bounded provider-free program.

Parameters:

config (TaskProgramCfg) – Strict, supported-version Task Program configuration.

Return type:

CompiledTaskProgram

Returns:

Immutable segments with repeat-local targets already resolved.

Raises:

TaskProgramCompileError – If typed scene resolution or AST lowering fails.

classmethod from_scene_registry(registry)

Create a compiler from a provider-free SceneRegistry identity snapshot.

Return type:

TaskProgramCompiler