class SemanticContract

SemanticContract(stable_phases: tuple[SemanticPhase, ...], required_node_semantic_fields: tuple[str, ...], required_session_fields: tuple[str, ...], allowed_host_entrypoints: tuple[str, ...], allowed_host_inputs: tuple[str, ...], phase_error_boundaries: tuple[PhaseErrorBoundary, ...])

Source: packages/irx/src/irx/analysis/contract.py:74

Declared as: python:irx:irx.analysis.contract.SemanticContract

Stable semantic contract exposed by IRx.

Collect the semantic phases, metadata requirements, host input constraints, and error boundaries that analysis guarantees to lowering and host compilers.

Attributes

• stable_phases — Type: tuple[SemanticPhase, Ellipsis]

• required_node_semantic_fields — Type: tuple[str, Ellipsis]

• required_session_fields — Type: tuple[str, Ellipsis]

• allowed_host_entrypoints — Type: tuple[str, Ellipsis]

• allowed_host_inputs — Type: tuple[str, Ellipsis]

• phase_error_boundaries — Type: tuple[PhaseErrorBoundary, Ellipsis]

Methods

• __init__ —

Attributes

• allowed_host_entrypoints —

• allowed_host_inputs —

• phase_error_boundaries —

• required_node_semantic_fields —

• required_session_fields —

• stable_phases —