Processor Layer¶

The raes_processor package provides SDL processing: instantiation-aware compilation, reconciliation planning, support determination, manifest authority, and compiled processor runtime models. Per ADR-036, live runtime control lives in raes_runtime and cross-package runtime/backend DTOs live in raes_contracts.

Public API¶

Runtime implementation package.

Compiler¶

SDL-to-runtime compiler.

Public facade for the compiler package. The compilation logic is split across package-private submodules (foundations -> domain compilers -> pipeline); this module re-exports the stable public API so raes_processor.compiler keeps its external contract.

raes_processor.compiler.compile_runtime_model(scenario)¶

Compile an SDL scenario into bound runtime objects.

Parameters:: scenario (Scenario | ExpandedScenario | InstantiatedScenario)
Return type:: RuntimeModel

raes_processor.compiler.compile_scenario_runtime_model(scenario, *, parameters=None, profile=None)¶

Instantiate an SDL scenario and compile it into runtime artifacts.

Parameters:

scenario (Scenario | ExpandedScenario | InstantiatedScenario)
parameters (Mapping[str, object] | None)
profile (str | None)

Return type:

RuntimeModel

Processor Models¶

The runtime data models live in the raes_processor.models package; its __init__ re-exports the full public surface, and the classes and functions are documented here from the subdomain modules that define them.

Compiled provisioning/resolved-resource records and SEM-211 action-contract validation.

class raes_processor.models.resources.RuntimeTemplate¶

Bases: object

Reusable SDL definition preserved in compiled form.

address: str¶

name: str¶

spec: dict[str, Any]¶

__init__(address, name, spec)¶

Parameters:

address (str)
name (str)
spec (dict[str, Any])

Return type:

None

class raes_processor.models.resources.ResolvedResource¶

Bases: object

Base class for bound runtime resources.

address: str¶

name: str¶

spec: dict[str, Any]¶

ordering_dependencies: tuple[str, ...] = ()¶

refresh_dependencies: tuple[str, ...] = ()¶

__init__(address, name, spec, ordering_dependencies=(), refresh_dependencies=())¶

Parameters:

address (str)
name (str)
spec (dict[str, Any])
ordering_dependencies (tuple[str, ...])
refresh_dependencies (tuple[str, ...])

Return type:

None

class raes_processor.models.resources.NetworkRuntime¶

Bases: ResolvedResource

Compiled switch/network deployment.

node_name: str = ''¶

__init__(address, name, spec, ordering_dependencies=(), refresh_dependencies=(), node_name='')¶

Parameters:

address (str)
name (str)
spec (dict[str, Any])
ordering_dependencies (tuple[str, ...])
refresh_dependencies (tuple[str, ...])
node_name (str)

Return type:

None

class raes_processor.models.resources.NodeRuntime¶

Bases: ResolvedResource

Compiled VM deployment.

node_name: str = ''¶

node_type: str = ''¶

os_family: str = ''¶

count: int | str | None = None¶

network_namespace_target: str = ''¶

domain_topology: DomainTopologyBinding | None = None¶

__init__(address, name, spec, ordering_dependencies=(), refresh_dependencies=(), node_name='', node_type='', os_family='', count=None, network_namespace_target='', domain_topology=None)¶

Parameters:

address (str)
name (str)
spec (dict[str, Any])
ordering_dependencies (tuple[str, ...])
refresh_dependencies (tuple[str, ...])
node_name (str)
node_type (str)
os_family (str)
count (int | str | None)
network_namespace_target (str)
domain_topology (DomainTopologyBinding | None)

Return type:

None

class raes_processor.models.resources.FeatureBinding¶

Bases: ResolvedResource

Feature template bound to a specific node role.

node_name: str = ''¶

node_address: str = ''¶

feature_name: str = ''¶

template_address: str = ''¶

role_name: str = ''¶

__init__(address, name, spec, ordering_dependencies=(), refresh_dependencies=(), node_name='', node_address='', feature_name='', template_address='', role_name='')¶

Parameters:

address (str)
name (str)
spec (dict[str, Any])
ordering_dependencies (tuple[str, ...])
refresh_dependencies (tuple[str, ...])
node_name (str)
node_address (str)
feature_name (str)
template_address (str)
role_name (str)

Return type:

None

class raes_processor.models.resources.PropositionRuntime¶

Bases: ResolvedResource

Compiled backend-neutral proposition with resolved finite subjects.

subject_addresses: tuple[str, ...] = ()¶

predicate_kind: str = ''¶

evaluation_basis: str = ''¶

evidence_requirement_refs: tuple[str, ...] = ()¶

__init__(address, name, spec, ordering_dependencies=(), refresh_dependencies=(), subject_addresses=(), predicate_kind='', evaluation_basis='', evidence_requirement_refs=())¶

Parameters:

address (str)
name (str)
spec (dict[str, Any])
ordering_dependencies (tuple[str, ...])
refresh_dependencies (tuple[str, ...])
subject_addresses (tuple[str, ...])
predicate_kind (str)
evaluation_basis (str)
evidence_requirement_refs (tuple[str, ...])

Return type:

None

class raes_processor.models.resources.AssertionRuntime¶

Bases: ResolvedResource

Compiled assertion use over one proposition.

proposition_address: str = ''¶

role: str = ''¶

polarity: str = ''¶

__init__(address, name, spec, ordering_dependencies=(), refresh_dependencies=(), proposition_address='', role='', polarity='')¶

Parameters:

address (str)
name (str)
spec (dict[str, Any])
ordering_dependencies (tuple[str, ...])
refresh_dependencies (tuple[str, ...])
proposition_address (str)
role (str)
polarity (str)

Return type:

None

class raes_processor.models.resources.ConditionBinding¶

Bases: ResolvedResource

Condition template bound to a specific node role.

node_name: str = ''¶

node_address: str = ''¶

condition_name: str = ''¶

template_address: str = ''¶

role_name: str = ''¶

proposition_address: str = ''¶

result_contract: EvaluationResultContract¶

execution_contract: EvaluationExecutionContract¶

__init__(address, name, spec, ordering_dependencies=(), refresh_dependencies=(), node_name='', node_address='', condition_name='', template_address='', role_name='', proposition_address='', result_contract=<factory>, execution_contract=<factory>)¶

Parameters:

address (str)
name (str)
spec (dict[str, Any])
ordering_dependencies (tuple[str, ...])
refresh_dependencies (tuple[str, ...])
node_name (str)
node_address (str)
condition_name (str)
template_address (str)
role_name (str)
proposition_address (str)
result_contract (EvaluationResultContract)
execution_contract (EvaluationExecutionContract)

Return type:

None

class raes_processor.models.resources.InjectBinding¶

Bases: ResolvedResource

Inject template bound to a specific node role.

node_name: str = ''¶

node_address: str = ''¶

inject_name: str = ''¶

template_address: str = ''¶

role_name: str = ''¶

__init__(address, name, spec, ordering_dependencies=(), refresh_dependencies=(), node_name='', node_address='', inject_name='', template_address='', role_name='')¶

Parameters:

address (str)
name (str)
spec (dict[str, Any])
ordering_dependencies (tuple[str, ...])
refresh_dependencies (tuple[str, ...])
node_name (str)
node_address (str)
inject_name (str)
template_address (str)
role_name (str)

Return type:

None

class raes_processor.models.resources.InjectRuntime¶

Bases: ResolvedResource

Resolved top-level inject resource.

__init__(address, name, spec, ordering_dependencies=(), refresh_dependencies=())¶

Parameters:

address (str)
name (str)
spec (dict[str, Any])
ordering_dependencies (tuple[str, ...])
refresh_dependencies (tuple[str, ...])

Return type:

None

class raes_processor.models.resources.ServiceContentMaterializationBinding¶

Bases: object

Closed compiled requirements for one service-owned content placement.

target_service_address: str¶

interface_profile: str¶

profile_version: str¶

content_type: str¶

operation: str¶

conflict_policy: str¶

readback: str¶

canonical_content_digest: str¶

shared_service_relationship_ref: str = ''¶

consumer_tenant_ref: str = ''¶

mutable_state_owner: str = ''¶

reset_generation_owner: str = ''¶

readback_assertion_addresses: tuple[str, ...] = ()¶

evidence_requirement_refs: tuple[str, ...] = ()¶

observation_boundary_addresses: tuple[str, ...] = ()¶

__init__(target_service_address, interface_profile, profile_version, content_type, operation, conflict_policy, readback, canonical_content_digest, shared_service_relationship_ref='', consumer_tenant_ref='', mutable_state_owner='', reset_generation_owner='', readback_assertion_addresses=(), evidence_requirement_refs=(), observation_boundary_addresses=())¶

Parameters:

target_service_address (str)
interface_profile (str)
profile_version (str)
content_type (str)
operation (str)
conflict_policy (str)
readback (str)
canonical_content_digest (str)
shared_service_relationship_ref (str)
consumer_tenant_ref (str)
mutable_state_owner (str)
reset_generation_owner (str)
readback_assertion_addresses (tuple[str, ...])
evidence_requirement_refs (tuple[str, ...])
observation_boundary_addresses (tuple[str, ...])

Return type:

None

class raes_processor.models.resources.ContentPlacement¶

Bases: ResolvedResource

Content entry resolved to a concrete node or named service.

content_name: str = ''¶

target_node: str = ''¶

target_address: str = ''¶

service_materialization: ServiceContentMaterializationBinding | None = None¶

__init__(address, name, spec, ordering_dependencies=(), refresh_dependencies=(), content_name='', target_node='', target_address='', service_materialization=None)¶

Parameters:

address (str)
name (str)
spec (dict[str, Any])
ordering_dependencies (tuple[str, ...])
refresh_dependencies (tuple[str, ...])
content_name (str)
target_node (str)
target_address (str)
service_materialization (ServiceContentMaterializationBinding | None)

Return type:

None

class raes_processor.models.resources.AccountPlacement¶

Bases: ResolvedResource

Account entry resolved to a concrete target node.

account_name: str = ''¶

node_name: str = ''¶

target_address: str = ''¶

domain_topology: DomainTopologyBinding | None = None¶

__init__(address, name, spec, ordering_dependencies=(), refresh_dependencies=(), account_name='', node_name='', target_address='', domain_topology=None)¶

Parameters:

address (str)
name (str)
spec (dict[str, Any])
ordering_dependencies (tuple[str, ...])
refresh_dependencies (tuple[str, ...])
account_name (str)
node_name (str)
target_address (str)
domain_topology (DomainTopologyBinding | None)

Return type:

None

class raes_processor.models.resources.DomainControllerPlacement¶

Bases: ResolvedResource

Identity domain bootstrap intent bound to one controller node.

target_address: str¶

domain_topology: DomainTopologyBinding¶

__init__(address, name, spec, ordering_dependencies=(), refresh_dependencies=(), *, target_address, domain_topology)¶

Parameters:

address (str)
name (str)
spec (dict[str, Any])
ordering_dependencies (tuple[str, ...])
refresh_dependencies (tuple[str, ...])
target_address (str)
domain_topology (DomainTopologyBinding)

Return type:

None

class raes_processor.models.resources.GeneratedArtifactRuntime¶

Bases: ResolvedResource

Compiled generated-artifact desired state.

__init__(address, name, spec, ordering_dependencies=(), refresh_dependencies=())¶

Parameters:

address (str)
name (str)
spec (dict[str, Any])
ordering_dependencies (tuple[str, ...])
refresh_dependencies (tuple[str, ...])

Return type:

None

class raes_processor.models.resources.PersistentVolumeRuntime¶

Bases: ResolvedResource

Compiled persistent-volume desired state.

__init__(address, name, spec, ordering_dependencies=(), refresh_dependencies=())¶

Parameters:

address (str)
name (str)
spec (dict[str, Any])
ordering_dependencies (tuple[str, ...])
refresh_dependencies (tuple[str, ...])

Return type:

None

class raes_processor.models.resources.ParticipantActionContractRuntime¶

Bases: ResolvedResource

Compiled participant action contract.

action_name: str = ''¶

argument_shape_ref: str = ''¶

argument_definitions: tuple[dict[str, Any], ...] = ()¶

semantic_version: str = ''¶

lifecycle_state: str = ''¶

behavioral_granularity: str = ''¶

precondition_classes: tuple[str, ...] = ()¶

effect_classes: tuple[str, ...] = ()¶

failure_classes: tuple[str, ...] = ()¶

backend_failure_mappings: tuple[dict[str, str], ...] = ()¶

interaction_classes: tuple[str, ...] = ()¶

shared_state_refs: tuple[str, ...] = ()¶

temporal_contract_ids: tuple[str, ...] = ()¶

temporal_kinds: tuple[str, ...] = ()¶

time_domains: tuple[str, ...] = ()¶

clock_authorities: tuple[str, ...] = ()¶

backend_timing_disclosures: tuple[dict[str, Any], ...] = ()¶

__init__(address, name, spec, ordering_dependencies=(), refresh_dependencies=(), action_name='', argument_shape_ref='', argument_definitions=(), semantic_version='', lifecycle_state='', behavioral_granularity='', precondition_classes=(), effect_classes=(), failure_classes=(), backend_failure_mappings=(), interaction_classes=(), shared_state_refs=(), temporal_contract_ids=(), temporal_kinds=(), time_domains=(), clock_authorities=(), backend_timing_disclosures=())¶

Parameters:

address (str)
name (str)
spec (dict[str, Any])
ordering_dependencies (tuple[str, ...])
refresh_dependencies (tuple[str, ...])
action_name (str)
argument_shape_ref (str)
argument_definitions (tuple[dict[str, Any], ...])
semantic_version (str)
lifecycle_state (str)
behavioral_granularity (str)
precondition_classes (tuple[str, ...])
effect_classes (tuple[str, ...])
failure_classes (tuple[str, ...])
backend_failure_mappings (tuple[dict[str, str], ...])
interaction_classes (tuple[str, ...])
shared_state_refs (tuple[str, ...])
temporal_contract_ids (tuple[str, ...])
temporal_kinds (tuple[str, ...])
time_domains (tuple[str, ...])
clock_authorities (tuple[str, ...])
backend_timing_disclosures (tuple[dict[str, Any], ...])

Return type:

None

raes_processor.models.resources.map_backend_diagnostic_to_participant_failure(diagnostic, contract)¶

Map a backend diagnostic to a portable SEM-211 failure class.

Parameters:

diagnostic (Diagnostic | Mapping[str, Any] | str)
contract (ParticipantActionContractRuntime)

Return type:

ParticipantFailureClass

raes_processor.models.resources.validate_participant_action_result_contract(result, contract)¶

Return SEM-211 contract violations for one typed action result.

Parameters:

result (ParticipantActionResult)
contract (ParticipantActionContractRuntime)

Return type:

list[str]

Participant-behavior and workflow resource records plus shared validation helpers.

class raes_processor.models.behavior_resources.ParticipantObservationBoundaryRuntime¶

Bases: ResolvedResource

Compiled participant observation projection boundary.

boundary_name: str = ''¶

projection_basis: str = ''¶

hidden_refs: tuple[str, ...] = ()¶

observable_refs: tuple[str, ...] = ()¶

evidence_refs: tuple[str, ...] = ()¶

disclosed_refs: tuple[str, ...] = ()¶

evidence_only_refs: tuple[str, ...] = ()¶

discovered_refs: tuple[str, ...] = ()¶

inferred_refs: tuple[str, ...] = ()¶

concealed_refs: tuple[str, ...] = ()¶

deceptive_refs: tuple[str, ...] = ()¶

view_transitions: tuple[dict[str, Any], ...] = ()¶

view_relation_timeline: tuple[dict[str, Any], ...] = ()¶

realized_view_disclosure: str = ''¶

__init__(address, name, spec, ordering_dependencies=(), refresh_dependencies=(), boundary_name='', projection_basis='', hidden_refs=(), observable_refs=(), evidence_refs=(), disclosed_refs=(), evidence_only_refs=(), discovered_refs=(), inferred_refs=(), concealed_refs=(), deceptive_refs=(), view_transitions=(), view_relation_timeline=(), realized_view_disclosure='')¶

Parameters:

address (str)
name (str)
spec (dict[str, Any])
ordering_dependencies (tuple[str, ...])
refresh_dependencies (tuple[str, ...])
boundary_name (str)
projection_basis (str)
hidden_refs (tuple[str, ...])
observable_refs (tuple[str, ...])
evidence_refs (tuple[str, ...])
disclosed_refs (tuple[str, ...])
evidence_only_refs (tuple[str, ...])
discovered_refs (tuple[str, ...])
inferred_refs (tuple[str, ...])
concealed_refs (tuple[str, ...])
deceptive_refs (tuple[str, ...])
view_transitions (tuple[dict[str, Any], ...])
view_relation_timeline (tuple[dict[str, Any], ...])
realized_view_disclosure (str)

Return type:

None

class raes_processor.models.behavior_resources.ParticipantOutcomeInterpretationRuleRuntime¶

Bases: ResolvedResource

Compiled SEM-215 participant outcome interpretation rule.

rule_name: str = ''¶

semantic_version: str = ''¶

participant_scope: str = ''¶

observation_point_basis: str = ''¶

interpretation_basis: str = ''¶

source_layers: tuple[str, ...] = ()¶

source_refs: tuple[str, ...] = ()¶

target_layers: tuple[str, ...] = ()¶

target_refs: tuple[str, ...] = ()¶

evidence_refs: tuple[str, ...] = ()¶

limitations: tuple[str, ...] = ()¶

__init__(address, name, spec, ordering_dependencies=(), refresh_dependencies=(), rule_name='', semantic_version='', participant_scope='', observation_point_basis='', interpretation_basis='', source_layers=(), source_refs=(), target_layers=(), target_refs=(), evidence_refs=(), limitations=())¶

Parameters:

address (str)
name (str)
spec (dict[str, Any])
ordering_dependencies (tuple[str, ...])
refresh_dependencies (tuple[str, ...])
rule_name (str)
semantic_version (str)
participant_scope (str)
observation_point_basis (str)
interpretation_basis (str)
source_layers (tuple[str, ...])
source_refs (tuple[str, ...])
target_layers (tuple[str, ...])
target_refs (tuple[str, ...])
evidence_refs (tuple[str, ...])
limitations (tuple[str, ...])

Return type:

None

class raes_processor.models.behavior_resources.ParticipantInteractiveAccessRuntime¶

Bases: object

Resolved authored interactive access carried with one participant.

access_id: str¶

target_ref: str¶

target_address: str¶

channel: str¶

account_ref: str = ''¶

account_address: str = ''¶

__init__(access_id, target_ref, target_address, channel, account_ref='', account_address='')¶

Parameters:

access_id (str)
target_ref (str)
target_address (str)
channel (str)
account_ref (str)
account_address (str)

Return type:

None

class raes_processor.models.behavior_resources.ParticipantBehaviorRuntime¶

Bases: ResolvedResource

Compiled role-neutral participant behavior binding.

participant_name: str = ''¶

entity_name: str = ''¶

starting_account_refs: tuple[str, ...] = ()¶

starting_account_addresses: tuple[str, ...] = ()¶

initial_knowledge_addresses: tuple[str, ...] = ()¶

starting_assertion_refs: tuple[str, ...] = ()¶

starting_assertion_addresses: tuple[str, ...] = ()¶

authority_anchor_refs: tuple[str, ...] = ()¶

authority_anchor_addresses: tuple[str, ...] = ()¶

operating_scope_refs: tuple[str, ...] = ()¶

operating_scope_addresses: tuple[str, ...] = ()¶

action_contract_addresses: tuple[str, ...] = ()¶

observation_boundary_addresses: tuple[str, ...] = ()¶

interactive_access: tuple[ParticipantInteractiveAccessRuntime, ...] = ()¶

interpretation_mode: str = 'role-neutral-projection'¶

__init__(address, name, spec, ordering_dependencies=(), refresh_dependencies=(), participant_name='', entity_name='', starting_account_refs=(), starting_account_addresses=(), initial_knowledge_addresses=(), starting_assertion_refs=(), starting_assertion_addresses=(), authority_anchor_refs=(), authority_anchor_addresses=(), operating_scope_refs=(), operating_scope_addresses=(), action_contract_addresses=(), observation_boundary_addresses=(), interactive_access=(), interpretation_mode='role-neutral-projection')¶

Parameters:

address (str)
name (str)
spec (dict[str, Any])
ordering_dependencies (tuple[str, ...])
refresh_dependencies (tuple[str, ...])
participant_name (str)
entity_name (str)
starting_account_refs (tuple[str, ...])
starting_account_addresses (tuple[str, ...])
initial_knowledge_addresses (tuple[str, ...])
starting_assertion_refs (tuple[str, ...])
starting_assertion_addresses (tuple[str, ...])
authority_anchor_refs (tuple[str, ...])
authority_anchor_addresses (tuple[str, ...])
operating_scope_refs (tuple[str, ...])
operating_scope_addresses (tuple[str, ...])
action_contract_addresses (tuple[str, ...])
observation_boundary_addresses (tuple[str, ...])
interactive_access (tuple[ParticipantInteractiveAccessRuntime, ...])
interpretation_mode (str)

Return type:

None

class raes_processor.models.behavior_resources.ParticipantExecutionBindingRuntime¶

Bases: object

Compiled action-to-target relation for native participant execution.

action_contract_address: str¶

target_addresses: tuple[str, ...]¶

participant_implementation_ref: str¶

max_action_attempts: int¶

max_in_flight: int¶

__init__(action_contract_address, target_addresses, participant_implementation_ref, max_action_attempts, max_in_flight)¶

Parameters:

action_contract_address (str)
target_addresses (tuple[str, ...])
participant_implementation_ref (str)
max_action_attempts (int)
max_in_flight (int)

Return type:

None

class raes_processor.models.behavior_resources.ParticipantAutonomousExecutionRuntime¶

Bases: ResolvedResource

Compiled deterministic execution policy for ordinary participants.

behavior_specification_address: str = ''¶

participant_addresses: tuple[str, ...] = ()¶

participant_implementation_ref: str = ''¶

clock_address: str = ''¶

progression_policy_address: str = ''¶

temporal_constraint_addresses: tuple[str, ...] = ()¶

action_contract_addresses: tuple[str, ...] = ()¶

target_addresses: tuple[str, ...] = ()¶

execution_bindings: tuple[ParticipantExecutionBindingRuntime, ...] = ()¶

observation_boundary_address: str = ''¶

selection_strategy: str = ''¶

max_action_attempts: int = 0¶

max_in_flight: int = 0¶

failure_policy: str = ''¶

evaluation_authority_mode: str = ''¶

objective_refs: tuple[str, ...] = ()¶

proof_producer_refs: tuple[str, ...] = ()¶

score_authority_refs: tuple[str, ...] = ()¶

receipt_authority_refs: tuple[str, ...] = ()¶

profile: str = 'participant-autonomous-execution/v1'¶

work_window_addresses: tuple[str, ...] = ()¶

pause_window_addresses: tuple[str, ...] = ()¶

stochastic_control_ref: str = ''¶

timing_minimum_ticks: int = 0¶

timing_maximum_ticks: int = 0¶

outside_window_disposition: str = ''¶

empty_eligible_disposition: str = ''¶

action_candidate_ids: tuple[str, ...] = ()¶

action_candidate_weights: tuple[int, ...] = ()¶

action_candidate_dependencies: tuple[tuple[str, ...], ...] = ()¶

action_candidate_retry_failure_classes: tuple[tuple[str, ...], ...] = ()¶

action_candidate_max_retries: tuple[int, ...] = ()¶

action_candidate_cooldown_ticks: tuple[int, ...] = ()¶

max_occurrences: int = 0¶

max_burst_size: int = 1¶

resource_owners: tuple[ParticipantResourceOwnerRuntime, ...] = ()¶

resource_demands: tuple[ParticipantResourceDemandRuntime, ...] = ()¶

resource_fairness: ParticipantResourceFairnessRuntime¶

__init__(address, name, spec, ordering_dependencies=(), refresh_dependencies=(), behavior_specification_address='', participant_addresses=(), participant_implementation_ref='', clock_address='', progression_policy_address='', temporal_constraint_addresses=(), action_contract_addresses=(), target_addresses=(), execution_bindings=(), observation_boundary_address='', selection_strategy='', max_action_attempts=0, max_in_flight=0, failure_policy='', evaluation_authority_mode='', objective_refs=(), proof_producer_refs=(), score_authority_refs=(), receipt_authority_refs=(), profile='participant-autonomous-execution/v1', work_window_addresses=(), pause_window_addresses=(), stochastic_control_ref='', timing_minimum_ticks=0, timing_maximum_ticks=0, outside_window_disposition='', empty_eligible_disposition='', action_candidate_ids=(), action_candidate_weights=(), action_candidate_dependencies=(), action_candidate_retry_failure_classes=(), action_candidate_max_retries=(), action_candidate_cooldown_ticks=(), max_occurrences=0, max_burst_size=1, resource_owners=(), resource_demands=(), resource_fairness=<factory>)¶

Parameters:

address (str)
name (str)
spec (dict[str, Any])
ordering_dependencies (tuple[str, ...])
refresh_dependencies (tuple[str, ...])
behavior_specification_address (str)
participant_addresses (tuple[str, ...])
participant_implementation_ref (str)
clock_address (str)
progression_policy_address (str)
temporal_constraint_addresses (tuple[str, ...])
action_contract_addresses (tuple[str, ...])
target_addresses (tuple[str, ...])
execution_bindings (tuple[ParticipantExecutionBindingRuntime, ...])
observation_boundary_address (str)
selection_strategy (str)
max_action_attempts (int)
max_in_flight (int)
failure_policy (str)
evaluation_authority_mode (str)
objective_refs (tuple[str, ...])
proof_producer_refs (tuple[str, ...])
score_authority_refs (tuple[str, ...])
receipt_authority_refs (tuple[str, ...])
profile (str)
work_window_addresses (tuple[str, ...])
pause_window_addresses (tuple[str, ...])
stochastic_control_ref (str)
timing_minimum_ticks (int)
timing_maximum_ticks (int)
outside_window_disposition (str)
empty_eligible_disposition (str)
action_candidate_ids (tuple[str, ...])
action_candidate_weights (tuple[int, ...])
action_candidate_dependencies (tuple[tuple[str, ...], ...])
action_candidate_retry_failure_classes (tuple[tuple[str, ...], ...])
action_candidate_max_retries (tuple[int, ...])
action_candidate_cooldown_ticks (tuple[int, ...])
max_occurrences (int)
max_burst_size (int)
resource_owners (tuple[ParticipantResourceOwnerRuntime, ...])
resource_demands (tuple[ParticipantResourceDemandRuntime, ...])
resource_fairness (ParticipantResourceFairnessRuntime)

Return type:

None

class raes_processor.models.behavior_resources.MixedControlDispositionRulesRuntime¶

Bases: object

Compiled fail-closed decision disposition rules.

duplicate: str¶

stale: str¶

revoked: str¶

late: str¶

concurrent: str¶

conflict: str¶

__init__(duplicate, stale, revoked, late, concurrent, conflict)¶

Parameters:

duplicate (str)
stale (str)
revoked (str)
late (str)
concurrent (str)
conflict (str)

Return type:

None

class raes_processor.models.behavior_resources.MixedControlControllerStateRuntime¶

Bases: ResolvedResource

Compiled controller binding nested under one behavior specification.

state_id: str = ''¶

controller_ref: str = ''¶

controller_address: str = ''¶

authority_basis_refs: tuple[str, ...] = ()¶

authority_basis_addresses: tuple[str, ...] = ()¶

scope_refs: tuple[str, ...] = ()¶

scope_addresses: tuple[str, ...] = ()¶

policy_revision: str = ''¶

valid_from_order: int = 0¶

valid_until_order: int = 0¶

authority_status: str = ''¶

evidence_refs: tuple[str, ...] = ()¶

evidence_addresses: tuple[str, ...] = ()¶

__init__(address, name, spec, ordering_dependencies=(), refresh_dependencies=(), state_id='', controller_ref='', controller_address='', authority_basis_refs=(), authority_basis_addresses=(), scope_refs=(), scope_addresses=(), policy_revision='', valid_from_order=0, valid_until_order=0, authority_status='', evidence_refs=(), evidence_addresses=())¶

Parameters:

address (str)
name (str)
spec (dict[str, Any])
ordering_dependencies (tuple[str, ...])
refresh_dependencies (tuple[str, ...])
state_id (str)
controller_ref (str)
controller_address (str)
authority_basis_refs (tuple[str, ...])
authority_basis_addresses (tuple[str, ...])
scope_refs (tuple[str, ...])
scope_addresses (tuple[str, ...])
policy_revision (str)
valid_from_order (int)
valid_until_order (int)
authority_status (str)
evidence_refs (tuple[str, ...])
evidence_addresses (tuple[str, ...])

Return type:

None

class raes_processor.models.behavior_resources.MixedControlTransitionRuntime¶

Bases: ResolvedResource

Compiled ordered control transition nested under one behavior specification.

transition_id: str = ''¶

transition_kind: str = ''¶

from_state_address: str = ''¶

to_state_address: str = ''¶

policy_revision: str = ''¶

expected_state_revision: int = 0¶

resulting_state_revision: int = 0¶

effective_order: int = 0¶

valid_from_order: int = 0¶

valid_until_order: int = 0¶

proposal_address: str = ''¶

proposal_revision: int | None = None¶

evidence_refs: tuple[str, ...] = ()¶

evidence_addresses: tuple[str, ...] = ()¶

completion_evidence_refs: tuple[str, ...] = ()¶

completion_evidence_addresses: tuple[str, ...] = ()¶

__init__(address, name, spec, ordering_dependencies=(), refresh_dependencies=(), transition_id='', transition_kind='', from_state_address='', to_state_address='', policy_revision='', expected_state_revision=0, resulting_state_revision=0, effective_order=0, valid_from_order=0, valid_until_order=0, proposal_address='', proposal_revision=None, evidence_refs=(), evidence_addresses=(), completion_evidence_refs=(), completion_evidence_addresses=())¶

Parameters:

address (str)
name (str)
spec (dict[str, Any])
ordering_dependencies (tuple[str, ...])
refresh_dependencies (tuple[str, ...])
transition_id (str)
transition_kind (str)
from_state_address (str)
to_state_address (str)
policy_revision (str)
expected_state_revision (int)
resulting_state_revision (int)
effective_order (int)
valid_from_order (int)
valid_until_order (int)
proposal_address (str)
proposal_revision (int | None)
evidence_refs (tuple[str, ...])
evidence_addresses (tuple[str, ...])
completion_evidence_refs (tuple[str, ...])
completion_evidence_addresses (tuple[str, ...])

Return type:

None

class raes_processor.models.behavior_resources.ParticipantBehaviorSpecificationRuntime¶

Bases: ResolvedResource

Compiled first-class participant behavior specification aggregate.

spec_name: str = ''¶

semantic_version: str = ''¶

lifecycle_state: str = ''¶

participant_addresses: tuple[str, ...] = ()¶

participant_role_refs: tuple[str, ...] = ()¶

action_contract_addresses: tuple[str, ...] = ()¶

observation_boundary_addresses: tuple[str, ...] = ()¶

outcome_interpretation_rule_addresses: tuple[str, ...] = ()¶

authority_scope_refs: tuple[str, ...] = ()¶

authority_scope_addresses: tuple[str, ...] = ()¶

behavior_mode: str = ''¶

autonomous_execution: ParticipantAutonomousExecutionRuntime | None = None¶

mixed_control_participant_address: str = ''¶

mixed_control_policy_revision: str = ''¶

mixed_control_order_strategy: str = ''¶

mixed_control_initial_state_address: str = ''¶

mixed_control_dispositions: MixedControlDispositionRulesRuntime | None = None¶

controller_states: tuple[MixedControlControllerStateRuntime, ...] = ()¶

control_transitions: tuple[MixedControlTransitionRuntime, ...] = ()¶

ai_offensive_behavior_refs: tuple[str, ...] = ()¶

defensive_behavior_refs: tuple[str, ...] = ()¶

offensive_behavior_refs: tuple[str, ...] = ()¶

realization_profile_ref: str = ''¶

backend_feature_support_refs: tuple[str, ...] = ()¶

evidence_contract_refs: tuple[str, ...] = ()¶

tool_affordance_addresses: tuple[str, ...] = ()¶

participant_inject_delivery_addresses: tuple[str, ...] = ()¶

extension_policy: str = ''¶

extension_keys: tuple[str, ...] = ()¶

__init__(address, name, spec, ordering_dependencies=(), refresh_dependencies=(), spec_name='', semantic_version='', lifecycle_state='', participant_addresses=(), participant_role_refs=(), action_contract_addresses=(), observation_boundary_addresses=(), outcome_interpretation_rule_addresses=(), authority_scope_refs=(), authority_scope_addresses=(), behavior_mode='', autonomous_execution=None, mixed_control_participant_address='', mixed_control_policy_revision='', mixed_control_order_strategy='', mixed_control_initial_state_address='', mixed_control_dispositions=None, controller_states=(), control_transitions=(), ai_offensive_behavior_refs=(), defensive_behavior_refs=(), offensive_behavior_refs=(), realization_profile_ref='', backend_feature_support_refs=(), evidence_contract_refs=(), tool_affordance_addresses=(), participant_inject_delivery_addresses=(), extension_policy='', extension_keys=())¶

Parameters:

address (str)
name (str)
spec (dict[str, Any])
ordering_dependencies (tuple[str, ...])
refresh_dependencies (tuple[str, ...])
spec_name (str)
semantic_version (str)
lifecycle_state (str)
participant_addresses (tuple[str, ...])
participant_role_refs (tuple[str, ...])
action_contract_addresses (tuple[str, ...])
observation_boundary_addresses (tuple[str, ...])
outcome_interpretation_rule_addresses (tuple[str, ...])
authority_scope_refs (tuple[str, ...])
authority_scope_addresses (tuple[str, ...])
behavior_mode (str)
autonomous_execution (ParticipantAutonomousExecutionRuntime | None)
mixed_control_participant_address (str)
mixed_control_policy_revision (str)
mixed_control_order_strategy (str)
mixed_control_initial_state_address (str)
mixed_control_dispositions (MixedControlDispositionRulesRuntime | None)
controller_states (tuple[MixedControlControllerStateRuntime, ...])
control_transitions (tuple[MixedControlTransitionRuntime, ...])
ai_offensive_behavior_refs (tuple[str, ...])
defensive_behavior_refs (tuple[str, ...])
offensive_behavior_refs (tuple[str, ...])
realization_profile_ref (str)
backend_feature_support_refs (tuple[str, ...])
evidence_contract_refs (tuple[str, ...])
tool_affordance_addresses (tuple[str, ...])
participant_inject_delivery_addresses (tuple[str, ...])
extension_policy (str)
extension_keys (tuple[str, ...])

Return type:

None

class raes_processor.models.behavior_resources.ParticipantToolAffordanceRuntime¶

Bases: ResolvedResource

Compiled semantic IR for one authored participant tool-affordance binding.

affordance_id: str = ''¶

behavior_specification_address: str = ''¶

tool_ref: str = ''¶

tool_address: str = ''¶

action_contract_refs: tuple[str, ...] = ()¶

action_contract_addresses: tuple[str, ...] = ()¶

observation_boundary_refs: tuple[str, ...] = ()¶

observation_boundary_addresses: tuple[str, ...] = ()¶

__init__(address, name, spec, ordering_dependencies=(), refresh_dependencies=(), affordance_id='', behavior_specification_address='', tool_ref='', tool_address='', action_contract_refs=(), action_contract_addresses=(), observation_boundary_refs=(), observation_boundary_addresses=())¶

Parameters:

address (str)
name (str)
spec (dict[str, Any])
ordering_dependencies (tuple[str, ...])
refresh_dependencies (tuple[str, ...])
affordance_id (str)
behavior_specification_address (str)
tool_ref (str)
tool_address (str)
action_contract_refs (tuple[str, ...])
action_contract_addresses (tuple[str, ...])
observation_boundary_refs (tuple[str, ...])
observation_boundary_addresses (tuple[str, ...])

Return type:

None

class raes_processor.models.behavior_resources.ParticipantInjectDeliveryRuntime¶

Bases: ResolvedResource

Compiled declaration of participant delivery intent, never realization.

binding_id: str = ''¶

behavior_specification_address: str = ''¶

participant_address: str = ''¶

inject_address: str = ''¶

event_address: str = ''¶

script_address: str = ''¶

story_address: str = ''¶

source_item_ref: str = ''¶

source_item_address: str = ''¶

result_item_ref: str = ''¶

result_item_address: str = ''¶

observation_boundary_address: str = ''¶

delivery_kind: str = ''¶

policy_ref: str = ''¶

policy_revision: str = ''¶

exposure_policy_ref: str = ''¶

audience_scope_ref: str = ''¶

visibility_basis_ref: str = ''¶

disclosure_basis_ref: str = ''¶

order_basis: str = ''¶

temporal_constraint_addresses: tuple[str, ...] = ()¶

evidence_requirement_addresses: tuple[str, ...] = ()¶

failure_disposition: str = ''¶

control_transition_address: str = ''¶

controller_address: str = ''¶

control_authority_scope_refs: tuple[str, ...] = ()¶

control_authority_scope_addresses: tuple[str, ...] = ()¶

control_effective_order: int | None = None¶

control_valid_from_order: int | None = None¶

control_valid_until_order: int | None = None¶

control_evidence_refs: tuple[str, ...] = ()¶

control_evidence_addresses: tuple[str, ...] = ()¶

__init__(address, name, spec, ordering_dependencies=(), refresh_dependencies=(), binding_id='', behavior_specification_address='', participant_address='', inject_address='', event_address='', script_address='', story_address='', source_item_ref='', source_item_address='', result_item_ref='', result_item_address='', observation_boundary_address='', delivery_kind='', policy_ref='', policy_revision='', exposure_policy_ref='', audience_scope_ref='', visibility_basis_ref='', disclosure_basis_ref='', order_basis='', temporal_constraint_addresses=(), evidence_requirement_addresses=(), failure_disposition='', control_transition_address='', controller_address='', control_authority_scope_refs=(), control_authority_scope_addresses=(), control_effective_order=None, control_valid_from_order=None, control_valid_until_order=None, control_evidence_refs=(), control_evidence_addresses=())¶

Parameters:

address (str)
name (str)
spec (dict[str, Any])
ordering_dependencies (tuple[str, ...])
refresh_dependencies (tuple[str, ...])
binding_id (str)
behavior_specification_address (str)
participant_address (str)
inject_address (str)
event_address (str)
script_address (str)
story_address (str)
source_item_ref (str)
source_item_address (str)
result_item_ref (str)
result_item_address (str)
observation_boundary_address (str)
delivery_kind (str)
policy_ref (str)
policy_revision (str)
exposure_policy_ref (str)
audience_scope_ref (str)
visibility_basis_ref (str)
disclosure_basis_ref (str)
order_basis (str)
temporal_constraint_addresses (tuple[str, ...])
evidence_requirement_addresses (tuple[str, ...])
failure_disposition (str)
control_transition_address (str)
controller_address (str)
control_authority_scope_refs (tuple[str, ...])
control_authority_scope_addresses (tuple[str, ...])
control_effective_order (int | None)
control_valid_from_order (int | None)
control_valid_until_order (int | None)
control_evidence_refs (tuple[str, ...])
control_evidence_addresses (tuple[str, ...])

Return type:

None

class raes_processor.models.behavior_resources.EventRuntime¶

Bases: ResolvedResource

Resolved orchestration event.

assertion_names: tuple[str, ...] = ()¶

assertion_addresses: tuple[str, ...] = ()¶

inject_names: tuple[str, ...] = ()¶

inject_addresses: tuple[str, ...] = ()¶

__init__(address, name, spec, ordering_dependencies=(), refresh_dependencies=(), assertion_names=(), assertion_addresses=(), inject_names=(), inject_addresses=())¶

Parameters:

address (str)
name (str)
spec (dict[str, Any])
ordering_dependencies (tuple[str, ...])
refresh_dependencies (tuple[str, ...])
assertion_names (tuple[str, ...])
assertion_addresses (tuple[str, ...])
inject_names (tuple[str, ...])
inject_addresses (tuple[str, ...])

Return type:

None

class raes_processor.models.behavior_resources.ScriptRuntime¶

Bases: ResolvedResource

Resolved script with event dependencies.

event_addresses: tuple[str, ...] = ()¶

__init__(address, name, spec, ordering_dependencies=(), refresh_dependencies=(), event_addresses=())¶

Parameters:

address (str)
name (str)
spec (dict[str, Any])
ordering_dependencies (tuple[str, ...])
refresh_dependencies (tuple[str, ...])
event_addresses (tuple[str, ...])

Return type:

None

class raes_processor.models.behavior_resources.StoryRuntime¶

Bases: ResolvedResource

Resolved story with script dependencies.

script_addresses: tuple[str, ...] = ()¶

__init__(address, name, spec, ordering_dependencies=(), refresh_dependencies=(), script_addresses=())¶

Parameters:

address (str)
name (str)
spec (dict[str, Any])
ordering_dependencies (tuple[str, ...])
refresh_dependencies (tuple[str, ...])
script_addresses (tuple[str, ...])

Return type:

None

class raes_processor.models.behavior_resources.ObjectiveWindowReferenceRuntime¶

Bases: object

Normalized resolved objective/window reference.

raw: str¶

canonical_name: str¶

reference_kind: str¶

dependency_roles: tuple[str, ...] = ()¶

workflow_name: str = ''¶

step_name: str = ''¶

namespace_path: tuple[str, ...] = ()¶

__init__(raw, canonical_name, reference_kind, dependency_roles=(), workflow_name='', step_name='', namespace_path=())¶

Parameters:

raw (str)
canonical_name (str)
reference_kind (str)
dependency_roles (tuple[str, ...])
workflow_name (str)
step_name (str)
namespace_path (tuple[str, ...])

Return type:

None

class raes_processor.models.behavior_resources.WorkflowStepStatePredicateRuntime¶

Bases: object

Resolved predicate clause over prior workflow step state.

step_name: str¶

outcomes: tuple[WorkflowStepOutcome, ...] = ()¶

min_attempts: int | str | None = None¶

__init__(step_name, outcomes=(), min_attempts=None)¶

Parameters:

step_name (str)
outcomes (tuple[WorkflowStepOutcome, ...])
min_attempts (int | str | None)

Return type:

None

class raes_processor.models.behavior_resources.WorkflowPredicateRuntime¶

Bases: object

Resolved workflow predicate semantics.

assertion_addresses: tuple[str, ...] = ()¶

objective_addresses: tuple[str, ...] = ()¶

step_state_predicates: tuple[WorkflowStepStatePredicateRuntime, ...] = ()¶

property external_addresses: tuple[str, ...]¶

__init__(assertion_addresses=(), objective_addresses=(), step_state_predicates=())¶

Parameters:

assertion_addresses (tuple[str, ...])
objective_addresses (tuple[str, ...])
step_state_predicates (tuple[WorkflowStepStatePredicateRuntime, ...])

Return type:

None

class raes_processor.models.behavior_resources.WorkflowSwitchCaseRuntime¶

Bases: object

Resolved ordered switch-case branch semantics.

case_index: int¶

predicate: WorkflowPredicateRuntime¶

next_step: str¶

__init__(case_index, predicate, next_step)¶

Parameters:

case_index (int)
predicate (WorkflowPredicateRuntime)
next_step (str)

Return type:

None

class raes_processor.models.behavior_resources.WorkflowStepRuntime¶

Bases: object

Resolved workflow step semantics.

name: str¶

step_type: str¶

execution_mode: str = 'scripted'¶

objective_address: str = ''¶

procedure_ref: str = ''¶

scaffold_refs: tuple[str, ...] = ()¶

allowed_action_families: tuple[str, ...] = ()¶

tool_affordance_refs: tuple[str, ...] = ()¶

capability_refs: tuple[str, ...] = ()¶

fact_binding_refs: tuple[str, ...] = ()¶

predicate: WorkflowPredicateRuntime | None = None¶

next_step: str = ''¶

on_success: str = ''¶

on_failure: str = ''¶

on_exhausted: str = ''¶

then_step: str = ''¶

else_step: str = ''¶

switch_cases: tuple[WorkflowSwitchCaseRuntime, ...] = ()¶

default_step: str = ''¶

branches: tuple[str, ...] = ()¶

join_step: str = ''¶

owning_parallel_step: str = ''¶

called_workflow_address: str = ''¶

compensation_workflow_address: str = ''¶

max_attempts: int | str | None = None¶

state_contract: WorkflowStepSemanticContract¶

__init__(name, step_type, execution_mode='scripted', objective_address='', procedure_ref='', scaffold_refs=(), allowed_action_families=(), tool_affordance_refs=(), capability_refs=(), fact_binding_refs=(), predicate=None, next_step='', on_success='', on_failure='', on_exhausted='', then_step='', else_step='', switch_cases=(), default_step='', branches=(), join_step='', owning_parallel_step='', called_workflow_address='', compensation_workflow_address='', max_attempts=None, state_contract=<factory>)¶

Parameters:

name (str)
step_type (str)
execution_mode (str)
objective_address (str)
procedure_ref (str)
scaffold_refs (tuple[str, ...])
allowed_action_families (tuple[str, ...])
tool_affordance_refs (tuple[str, ...])
capability_refs (tuple[str, ...])
fact_binding_refs (tuple[str, ...])
predicate (WorkflowPredicateRuntime | None)
next_step (str)
on_success (str)
on_failure (str)
on_exhausted (str)
then_step (str)
else_step (str)
switch_cases (tuple[WorkflowSwitchCaseRuntime, ...])
default_step (str)
branches (tuple[str, ...])
join_step (str)
owning_parallel_step (str)
called_workflow_address (str)
compensation_workflow_address (str)
max_attempts (int | str | None)
state_contract (WorkflowStepSemanticContract)

Return type:

None

class raes_processor.models.behavior_resources.WorkflowRuntime¶

Bases: ResolvedResource

Resolved workflow control program.

start_step: str = ''¶

referenced_objective_addresses: tuple[str, ...] = ()¶

control_steps: dict[str, WorkflowStepRuntime]¶

control_edges: dict[str, tuple[str, ...]]¶

join_owners: dict[str, str]¶

step_assertion_addresses: dict[str, tuple[str, ...]]¶

step_predicate_addresses: dict[str, tuple[str, ...]]¶

required_features: tuple[WorkflowFeature, ...] = ()¶

required_state_predicate_features: tuple[WorkflowStatePredicateFeature, ...] = ()¶

result_contract: WorkflowResultContract¶

execution_contract: WorkflowExecutionContract¶

state_schema_version: str = 'workflow-step-state/v1'¶

__init__(address, name, spec, ordering_dependencies=(), refresh_dependencies=(), start_step='', referenced_objective_addresses=(), control_steps=<factory>, control_edges=<factory>, join_owners=<factory>, step_assertion_addresses=<factory>, step_predicate_addresses=<factory>, required_features=(), required_state_predicate_features=(), result_contract=<factory>, execution_contract=<factory>, state_schema_version='workflow-step-state/v1')¶

Parameters:

address (str)
name (str)
spec (dict[str, Any])
ordering_dependencies (tuple[str, ...])
refresh_dependencies (tuple[str, ...])
start_step (str)
referenced_objective_addresses (tuple[str, ...])
control_steps (dict[str, WorkflowStepRuntime])
control_edges (dict[str, tuple[str, ...]])
join_owners (dict[str, str])
step_assertion_addresses (dict[str, tuple[str, ...]])
step_predicate_addresses (dict[str, tuple[str, ...]])
required_features (tuple[WorkflowFeature, ...])
required_state_predicate_features (tuple[WorkflowStatePredicateFeature, ...])
result_contract (WorkflowResultContract)
execution_contract (WorkflowExecutionContract)
state_schema_version (str)

Return type:

None

Resolved participant action precondition/effect/result records.

class raes_processor.models.action_results.ParticipantActionPreconditionResult¶

Bases: object

Resolved applicability state for one typed SEM-211 precondition.

precondition_id: str¶

precondition_class: ParticipantPreconditionClass¶

status: ParticipantActionPreconditionStatus¶

participant_address: str¶

episode_id: str¶

action_contract_address: str¶

observation_point: str¶

support_refs: tuple[str, ...] = ()¶

evidence_refs: tuple[str, ...] = ()¶

diagnostics: tuple[str, ...] = ()¶

classmethod from_payload(payload)¶

Parameters:: payload (Mapping[str, Any])
Return type:: ParticipantActionPreconditionResult

to_payload()¶

Return type:: dict[str, Any]

__init__(precondition_id, precondition_class, status, participant_address, episode_id, action_contract_address, observation_point, support_refs=(), evidence_refs=(), diagnostics=())¶

Parameters:

precondition_id (str)
precondition_class (ParticipantPreconditionClass)
status (ParticipantActionPreconditionStatus)
participant_address (str)
episode_id (str)
action_contract_address (str)
observation_point (str)
support_refs (tuple[str, ...])
evidence_refs (tuple[str, ...])
diagnostics (tuple[str, ...])

Return type:

None

class raes_processor.models.action_results.ParticipantActionEffectResult¶

Bases: object

Realized effect entry for a SEM-211 participant action result.

effect_id: str¶

effect_class: ParticipantEffectClass¶

description: str¶

target_refs: tuple[str, ...] = ()¶

evidence_refs: tuple[str, ...] = ()¶

diagnostics: tuple[str, ...] = ()¶

classmethod from_payload(payload)¶

Parameters:: payload (Mapping[str, Any])
Return type:: ParticipantActionEffectResult

to_payload()¶

Return type:: dict[str, Any]

__init__(effect_id, effect_class, description, target_refs=(), evidence_refs=(), diagnostics=())¶

Parameters:

effect_id (str)
effect_class (ParticipantEffectClass)
description (str)
target_refs (tuple[str, ...])
evidence_refs (tuple[str, ...])
diagnostics (tuple[str, ...])

Return type:

None

class raes_processor.models.action_results.ParticipantActionResult¶

Bases: object

Typed SEM-211 local result for a participant action attempt.

status: ParticipantActionResultStatus¶

participant_address: str¶

episode_id: str¶

action_instance_id: str¶

action_contract_address: str¶

observation_point: str¶

preconditions: tuple[ParticipantActionPreconditionResult, ...] = ()¶

effects: tuple[ParticipantActionEffectResult, ...] = ()¶

failure_class: ParticipantFailureClass | None = None¶

observations: tuple[str, ...] = ()¶

evidence_refs: tuple[str, ...] = ()¶

diagnostics: tuple[str, ...] = ()¶

classmethod from_payload(payload)¶

Parameters:: payload (Mapping[str, Any])
Return type:: ParticipantActionResult

to_payload()¶

Return type:: dict[str, Any]

__init__(status, participant_address, episode_id, action_instance_id, action_contract_address, observation_point, preconditions=(), effects=(), failure_class=None, observations=(), evidence_refs=(), diagnostics=())¶

Parameters:

status (ParticipantActionResultStatus)
participant_address (str)
episode_id (str)
action_instance_id (str)
action_contract_address (str)
observation_point (str)
preconditions (tuple[ParticipantActionPreconditionResult, ...])
effects (tuple[ParticipantActionEffectResult, ...])
failure_class (ParticipantFailureClass | None)
observations (tuple[str, ...])
evidence_refs (tuple[str, ...])
diagnostics (tuple[str, ...])

Return type:

None

Participant attribution candidate, ordering, evidence, and edge records.

class raes_processor.models.attribution.ParticipantAttributionCandidate¶

Bases: object

Candidate endpoint for a SEM-212 attribution edge.

candidate_kind: ParticipantAttributionCandidateKind¶

ref: str¶

description: str¶

classmethod from_payload(payload)¶

Parameters:: payload (Mapping[str, Any])
Return type:: ParticipantAttributionCandidate

to_payload()¶

Return type:: dict[str, Any]

__init__(candidate_kind, ref, description)¶

Parameters:

candidate_kind (ParticipantAttributionCandidateKind)
ref (str)
description (str)

Return type:

None

class raes_processor.models.attribution.ParticipantAttributionOrderingBasis¶

Bases: object

Explicit ordering basis for a SEM-212 attribution edge.

basis_kind: ParticipantAttributionOrderingBasisKind¶

relation_ref: str¶

description: str¶

ordered_event_refs: tuple[str, ...] = ()¶

classmethod from_payload(payload)¶

Parameters:: payload (Mapping[str, Any])
Return type:: ParticipantAttributionOrderingBasis

to_payload()¶

Return type:: dict[str, Any]

__init__(basis_kind, relation_ref, description, ordered_event_refs=())¶

Parameters:

basis_kind (ParticipantAttributionOrderingBasisKind)
relation_ref (str)
description (str)
ordered_event_refs (tuple[str, ...])

Return type:

None

class raes_processor.models.attribution.ParticipantAttributionEvidenceBasis¶

Bases: object

Evidence-disclosure basis for a SEM-212 attribution edge.

capture_apparatus: str¶

granularity: str¶

loss_model: str¶

redaction_policy: str¶

observer_effects: tuple[str, ...]¶

classmethod from_payload(payload)¶

Parameters:: payload (Mapping[str, Any])
Return type:: ParticipantAttributionEvidenceBasis

to_payload()¶

Return type:: dict[str, Any]

__init__(capture_apparatus, granularity, loss_model, redaction_policy, observer_effects)¶

Parameters:

capture_apparatus (str)
granularity (str)
loss_model (str)
redaction_policy (str)
observer_effects (tuple[str, ...])

Return type:

None

class raes_processor.models.attribution.ParticipantAttributionEdge¶

Bases: object

Evidence-labeled SEM-212 attribution edge.

edge_id: str¶

participant_address: str¶

episode_id: str¶

observation_point: str¶

cause_candidate: ParticipantAttributionCandidate¶

effect_candidate: ParticipantAttributionCandidate¶

ordering_basis: ParticipantAttributionOrderingBasis¶

evidence_basis: ParticipantAttributionEvidenceBasis¶

support_class: ParticipantAttributionSupportClass¶

confidence: str¶

strength: str¶

limitations: tuple[str, ...]¶

evidence_refs: tuple[str, ...]¶

interpretation_rule_ref: str | None = None¶

classmethod from_payload(payload)¶

Parameters:: payload (Mapping[str, Any])
Return type:: ParticipantAttributionEdge

to_payload()¶

Return type:: dict[str, Any]

__init__(edge_id, participant_address, episode_id, observation_point, cause_candidate, effect_candidate, ordering_basis, evidence_basis, support_class, confidence, strength, limitations, evidence_refs, interpretation_rule_ref=None)¶

Parameters:

edge_id (str)
participant_address (str)
episode_id (str)
observation_point (str)
cause_candidate (ParticipantAttributionCandidate)
effect_candidate (ParticipantAttributionCandidate)
ordering_basis (ParticipantAttributionOrderingBasis)
evidence_basis (ParticipantAttributionEvidenceBasis)
support_class (ParticipantAttributionSupportClass)
confidence (str)
strength (str)
limitations (tuple[str, ...])
evidence_refs (tuple[str, ...])
interpretation_rule_ref (str | None)

Return type:

None

Participant outcome source/target/interpretation records.

class raes_processor.models.outcome.ParticipantOutcomeSourceRecord¶

Bases: object

Runtime source observed for a SEM-215 outcome interpretation.

source_id: str¶

source_layer: OutcomeInterpretationSourceLayer¶

ref: str¶

observed_value: str¶

evidence_refs: tuple[str, ...] = ()¶

provenance_refs: tuple[str, ...] = ()¶

diagnostics: tuple[str, ...] = ()¶

classmethod from_payload(payload)¶

Parameters:: payload (Mapping[str, Any])
Return type:: ParticipantOutcomeSourceRecord

to_payload()¶

Return type:: dict[str, Any]

__init__(source_id, source_layer, ref, observed_value, evidence_refs=(), provenance_refs=(), diagnostics=())¶

Parameters:

source_id (str)
source_layer (OutcomeInterpretationSourceLayer)
ref (str)
observed_value (str)
evidence_refs (tuple[str, ...])
provenance_refs (tuple[str, ...])
diagnostics (tuple[str, ...])

Return type:

None

class raes_processor.models.outcome.ParticipantOutcomeTargetRecord¶

Bases: object

Runtime target interpretation produced by a SEM-215 rule.

target_id: str¶

target_layer: OutcomeInterpretationTargetLayer¶

ref: str¶

interpreted_value: str¶

evidence_refs: tuple[str, ...]¶

limitations: tuple[str, ...]¶

governance_ref: str | None = None¶

diagnostics: tuple[str, ...] = ()¶

classmethod from_payload(payload)¶

Parameters:: payload (Mapping[str, Any])
Return type:: ParticipantOutcomeTargetRecord

to_payload()¶

Return type:: dict[str, Any]

__init__(target_id, target_layer, ref, interpreted_value, evidence_refs, limitations, governance_ref=None, diagnostics=())¶

Parameters:

target_id (str)
target_layer (OutcomeInterpretationTargetLayer)
ref (str)
interpreted_value (str)
evidence_refs (tuple[str, ...])
limitations (tuple[str, ...])
governance_ref (str | None)
diagnostics (tuple[str, ...])

Return type:

None

class raes_processor.models.outcome.ParticipantOutcomeInterpretationRecord¶

Bases: object

Provenance-bearing SEM-215 interpretation of participant-local outcomes.

interpretation_id: str¶

rule_address: str¶

participant_address: str¶

episode_id: str¶

observation_point: str¶

source_bindings: tuple[ParticipantOutcomeSourceRecord, ...]¶

target_bindings: tuple[ParticipantOutcomeTargetRecord, ...]¶

evidence_refs: tuple[str, ...]¶

limitations: tuple[str, ...]¶

diagnostics: tuple[str, ...] = ()¶

classmethod from_payload(payload)¶

Parameters:: payload (Mapping[str, Any])
Return type:: ParticipantOutcomeInterpretationRecord

to_payload()¶

Return type:: dict[str, Any]

__init__(interpretation_id, rule_address, participant_address, episode_id, observation_point, source_bindings, target_bindings, evidence_refs, limitations, diagnostics=())¶

Parameters:

interpretation_id (str)
rule_address (str)
participant_address (str)
episode_id (str)
observation_point (str)
source_bindings (tuple[ParticipantOutcomeSourceRecord, ...])
target_bindings (tuple[ParticipantOutcomeTargetRecord, ...])
evidence_refs (tuple[str, ...])
limitations (tuple[str, ...])
diagnostics (tuple[str, ...])

Return type:

None

SEM-215 outcome-interpretation rule-conformance validation.

raes_processor.models.outcome_interpretation_validation.validate_participant_outcome_interpretation_record(record, rule)¶

Return SEM-215 rule-conformance violations for a runtime interpretation.

Parameters:

record (ParticipantOutcomeInterpretationRecord)
rule (ParticipantOutcomeInterpretationRuleRuntime)

Return type:

list[str]

Participant temporal runtime context and state-machine records.

class raes_processor.models.temporal.ParticipantTemporalRuntimeContext¶

Bases: object

Realized SEM-213 temporal context on a participant behavior event.

temporal_contract_id: str¶

time_domain: ParticipantTimeDomain¶

clock_authority: str¶

event_points: tuple[ParticipantTemporalEventPoint, ...]¶

observation_point: str¶

backend_disclosure_refs: tuple[str, ...] = ()¶

reset_boundary: str | None = None¶

replay_boundary: str | None = None¶

classmethod from_payload(payload)¶

Parameters:: payload (Mapping[str, Any])
Return type:: ParticipantTemporalRuntimeContext

to_payload()¶

Return type:: dict[str, Any]

__init__(temporal_contract_id, time_domain, clock_authority, event_points, observation_point, backend_disclosure_refs=(), reset_boundary=None, replay_boundary=None)¶

Parameters:

temporal_contract_id (str)
time_domain (ParticipantTimeDomain)
clock_authority (str)
event_points (tuple[ParticipantTemporalEventPoint, ...])
observation_point (str)
backend_disclosure_refs (tuple[str, ...])
reset_boundary (str | None)
replay_boundary (str | None)

Return type:

None

class raes_processor.models.temporal.ParticipantTemporalStateTransition¶

Bases: object

Abstract SEM-213 deadline / dwell / timeout state transition.

temporal_contract_id: str¶

from_state: ParticipantTemporalState¶

to_state: ParticipantTemporalState¶

event_point: ParticipantTemporalEventPoint¶

time_domain: ParticipantTimeDomain¶

clock_authority: str¶

boundary_ref: str¶

evidence_refs: tuple[str, ...]¶

classmethod from_payload(payload)¶

Parameters:: payload (Mapping[str, Any])
Return type:: ParticipantTemporalStateTransition

__init__(temporal_contract_id, from_state, to_state, event_point, time_domain, clock_authority, boundary_ref, evidence_refs)¶

Parameters:

temporal_contract_id (str)
from_state (ParticipantTemporalState)
to_state (ParticipantTemporalState)
event_point (ParticipantTemporalEventPoint)
time_domain (ParticipantTimeDomain)
clock_authority (str)
boundary_ref (str)
evidence_refs (tuple[str, ...])

Return type:

None

raes_processor.models.temporal.iter_participant_temporal_state_machine_violations(transitions)¶

Yield SEM-213 abstract state-machine violations.

Parameters:: transitions (Iterable[ParticipantTemporalStateTransition | Mapping[str, Any]])
Return type:: Iterator[tuple[str, str]]

The resolved participant-behavior history event record.

class raes_processor.models.history_event.ParticipantBehaviorHistoryEvent¶

Bases: object

Internal normalized participant behavior history event.

The canonical record keeps actor provenance and compiled behavior-contract addresses. Role-neutral interpretation is a projection over those records, not a reason to treat raw action names or backend-native logs as behavior semantics.

event_type: ParticipantBehaviorHistoryEventType¶

timestamp: str¶

participant_address: str¶

episode_id: str¶

action_instance_id: str¶

action_contract_address: str | None = None¶

observation_boundary_address: str | None = None¶

observation_status: ParticipantObservationStatus | None = None¶

actor_provenance: str | None = None¶

lifecycle_phase: ParticipantRuntimeLifecyclePhase | None = None¶

phase_realization: ParticipantPhaseRealization | None = None¶

admission_disposition: ParticipantAdmissionDisposition | None = None¶

operation_ref: str | None = None¶

operation_state: ParticipantLifecycleOperationState | None = None¶

state_transition_kind: str | None = None¶

post_state_digest: str | None = None¶

joint_action_set_id: str | None = None¶

realized_order: int | None = None¶

interaction_class: ParticipantInteractionClass | None = None¶

interaction_ref: str | None = None¶

shared_state_refs: tuple[str, ...] = ()¶

action_result: ParticipantActionResult | None = None¶

attribution_edges: tuple[ParticipantAttributionEdge, ...] = ()¶

outcome_interpretations: tuple[ParticipantOutcomeInterpretationRecord, ...] = ()¶

temporal_contexts: tuple[ParticipantTemporalRuntimeContext, ...] = ()¶

details: dict[str, Any]¶

classmethod from_payload(payload)¶

Parameters:: payload (Mapping[str, Any])
Return type:: ParticipantBehaviorHistoryEvent

to_payload()¶

Return type:: dict[str, Any]

__init__(event_type, timestamp, participant_address, episode_id, action_instance_id, action_contract_address=None, observation_boundary_address=None, observation_status=None, actor_provenance=None, lifecycle_phase=None, phase_realization=None, admission_disposition=None, operation_ref=None, operation_state=None, state_transition_kind=None, post_state_digest=None, joint_action_set_id=None, realized_order=None, interaction_class=None, interaction_ref=None, shared_state_refs=(), action_result=None, attribution_edges=(), outcome_interpretations=(), temporal_contexts=(), details=<factory>)¶

Parameters:

event_type (ParticipantBehaviorHistoryEventType)
timestamp (str)
participant_address (str)
episode_id (str)
action_instance_id (str)
action_contract_address (str | None)
observation_boundary_address (str | None)
observation_status (ParticipantObservationStatus | None)
actor_provenance (str | None)
lifecycle_phase (ParticipantRuntimeLifecyclePhase | None)
phase_realization (ParticipantPhaseRealization | None)
admission_disposition (ParticipantAdmissionDisposition | None)
operation_ref (str | None)
operation_state (ParticipantLifecycleOperationState | None)
state_transition_kind (str | None)
post_state_digest (str | None)
joint_action_set_id (str | None)
realized_order (int | None)
interaction_class (ParticipantInteractionClass | None)
interaction_ref (str | None)
shared_state_refs (tuple[str, ...])
action_result (ParticipantActionResult | None)
attribution_edges (tuple[ParticipantAttributionEdge, ...])
outcome_interpretations (tuple[ParticipantOutcomeInterpretationRecord, ...])
temporal_contexts (tuple[ParticipantTemporalRuntimeContext, ...])
details (dict[str, Any])

Return type:

None

Outcome-interpretation validation and the public participant-behavior violation iterators.

class raes_processor.models.behavior_history_violations.ParticipantHistoryAddressScope¶

Bases: object

Optional compiled address sets for participant-behavior history checks.

Bundles the compiled action-contract and observation-boundary address sets so a caller can restrict address validation to a participant-scoped subset independently of the contract/boundary mappings. When a field is None and the matching mapping is supplied, the address set defaults to that mapping’s keys.

action_contract_addresses: set[str] | frozenset[str] | None = None¶

observation_boundary_addresses: set[str] | frozenset[str] | None = None¶

__init__(action_contract_addresses=None, observation_boundary_addresses=None)¶

Parameters:

action_contract_addresses (set[str] | frozenset[str] | None)
observation_boundary_addresses (set[str] | frozenset[str] | None)

Return type:

None

raes_processor.models.behavior_history_violations.iter_participant_behavior_history_violations(participant_behavior_history, *, action_contracts=None, outcome_interpretation_rules=None, observation_boundaries=None, participant_episode_history=None, expected_participant_address=None, address_scope=None)¶

Yield every SEM-208 behavior-history invariant violation.

The helper checks that each action instance has one terminal observation paired with the state transition digest it reports. When compiled address sets are provided (via address_scope), it also rejects references outside those sets. When compiled observation boundaries are provided, SEM-210 observation details and SEM-211 action-result references are checked against the time-indexed participant view relation.

Parameters:

participant_behavior_history (object)
action_contracts (Mapping[str, ParticipantActionContractRuntime] | None)
outcome_interpretation_rules (Mapping[str, ParticipantOutcomeInterpretationRuleRuntime] | None)
observation_boundaries (Mapping[str, ParticipantObservationBoundaryRuntime] | None)
participant_episode_history (object)
expected_participant_address (str | None)
address_scope (ParticipantHistoryAddressScope | None)

Return type:

Iterator[tuple[str, str]]

raes_processor.models.behavior_history_violations.iter_participant_behavior_joint_action_violations(participant_behavior_history_by_participant)¶

Yield SEM-209 joint-action ordering violations across participant histories.

Parameters:: participant_behavior_history_by_participant (object)
Return type:: Iterator[tuple[str, str]]

Top-level compiled RuntimeModel, ExecutionPlan, and resource payload projection.

class raes_processor.models.runtime_model.ObjectiveRuntime¶

Bases: ResolvedResource

Resolved objective node.

actor_type: str = ''¶

actor_name: str = ''¶

success_addresses: tuple[str, ...] = ()¶

objective_dependencies: tuple[str, ...] = ()¶

window_story_addresses: tuple[str, ...] = ()¶

window_script_addresses: tuple[str, ...] = ()¶

window_event_addresses: tuple[str, ...] = ()¶

window_workflow_addresses: tuple[str, ...] = ()¶

window_step_refs: tuple[str, ...] = ()¶

window_step_workflow_addresses: tuple[str, ...] = ()¶

window_references: tuple[ObjectiveWindowReferenceRuntime, ...] = ()¶

result_contract: EvaluationResultContract¶

execution_contract: EvaluationExecutionContract¶

__init__(address, name, spec, ordering_dependencies=(), refresh_dependencies=(), actor_type='', actor_name='', success_addresses=(), objective_dependencies=(), window_story_addresses=(), window_script_addresses=(), window_event_addresses=(), window_workflow_addresses=(), window_step_refs=(), window_step_workflow_addresses=(), window_references=(), result_contract=<factory>, execution_contract=<factory>)¶

Parameters:

address (str)
name (str)
spec (dict[str, Any])
ordering_dependencies (tuple[str, ...])
refresh_dependencies (tuple[str, ...])
actor_type (str)
actor_name (str)
success_addresses (tuple[str, ...])
objective_dependencies (tuple[str, ...])
window_story_addresses (tuple[str, ...])
window_script_addresses (tuple[str, ...])
window_event_addresses (tuple[str, ...])
window_workflow_addresses (tuple[str, ...])
window_step_refs (tuple[str, ...])
window_step_workflow_addresses (tuple[str, ...])
window_references (tuple[ObjectiveWindowReferenceRuntime, ...])
result_contract (EvaluationResultContract)
execution_contract (EvaluationExecutionContract)

Return type:

None

class raes_processor.models.runtime_model.CompiledCapabilityConstraint¶

Bases: object

One finite SDL capability domain lowered onto a compiled resource.

address: str¶

concern: str¶

parameter: tuple[str, ...]¶

allowed_values: tuple[str | int | float | bool, ...]¶

__init__(address, concern, parameter, allowed_values)¶

Parameters:

address (str)
concern (str)
parameter (tuple[str, ...])
allowed_values (tuple[str | int | float | bool, ...])

Return type:

None

class raes_processor.models.runtime_model.RuntimeModel¶

Bases: object

Compiled SDL runtime model.

Reusable definitions stay as templates or metadata. Only bound runtime instances become planned resources.

scenario_name: str¶

feature_templates: dict[str, RuntimeTemplate]¶

condition_templates: dict[str, RuntimeTemplate]¶

inject_templates: dict[str, RuntimeTemplate]¶

vulnerability_templates: dict[str, RuntimeTemplate]¶

entity_specs: dict[str, dict[str, Any]]¶

agent_specs: dict[str, dict[str, Any]]¶

relationship_specs: dict[str, dict[str, Any]]¶

time_model: CompiledTimeModel¶

capability_constraints: tuple[CompiledCapabilityConstraint, ...] = ()¶

networks: dict[str, NetworkRuntime]¶

node_deployments: dict[str, NodeRuntime]¶

feature_bindings: dict[str, FeatureBinding]¶

propositions: dict[str, PropositionRuntime]¶

assertions: dict[str, AssertionRuntime]¶

condition_bindings: dict[str, ConditionBinding]¶

injects: dict[str, InjectRuntime]¶

inject_bindings: dict[str, InjectBinding]¶

content_placements: dict[str, ContentPlacement]¶

domain_controller_placements: dict[str, DomainControllerPlacement]¶

account_placements: dict[str, AccountPlacement]¶

generated_artifacts: dict[str, GeneratedArtifactRuntime]¶

persistent_volumes: dict[str, PersistentVolumeRuntime]¶

action_contracts: dict[str, ParticipantActionContractRuntime]¶

observation_boundaries: dict[str, ParticipantObservationBoundaryRuntime]¶

outcome_interpretation_rules: dict[str, ParticipantOutcomeInterpretationRuleRuntime]¶

participant_behaviors: dict[str, ParticipantBehaviorRuntime]¶

behavior_specifications: dict[str, ParticipantBehaviorSpecificationRuntime]¶

tool_affordances: dict[str, ParticipantToolAffordanceRuntime]¶

participant_inject_deliveries: dict[str, ParticipantInjectDeliveryRuntime]¶

events: dict[str, EventRuntime]¶

scripts: dict[str, ScriptRuntime]¶

stories: dict[str, StoryRuntime]¶

workflows: dict[str, WorkflowRuntime]¶

objectives: dict[str, ObjectiveRuntime]¶

diagnostics: list[Diagnostic]¶

realization_requirements: tuple[CompiledRealizationRequirement, ...] = ()¶

realization_instance: InstantiatedScenario | None = None¶

__init__(scenario_name, feature_templates=<factory>, condition_templates=<factory>, inject_templates=<factory>, vulnerability_templates=<factory>, entity_specs=<factory>, agent_specs=<factory>, relationship_specs=<factory>, time_model=<factory>, capability_constraints=(), networks=<factory>, node_deployments=<factory>, feature_bindings=<factory>, propositions=<factory>, assertions=<factory>, condition_bindings=<factory>, injects=<factory>, inject_bindings=<factory>, content_placements=<factory>, domain_controller_placements=<factory>, account_placements=<factory>, generated_artifacts=<factory>, persistent_volumes=<factory>, action_contracts=<factory>, observation_boundaries=<factory>, outcome_interpretation_rules=<factory>, participant_behaviors=<factory>, behavior_specifications=<factory>, tool_affordances=<factory>, participant_inject_deliveries=<factory>, events=<factory>, scripts=<factory>, stories=<factory>, workflows=<factory>, objectives=<factory>, diagnostics=<factory>, realization_requirements=(), realization_instance=None)¶

Parameters:

scenario_name (str)
feature_templates (dict[str, RuntimeTemplate])
condition_templates (dict[str, RuntimeTemplate])
inject_templates (dict[str, RuntimeTemplate])
vulnerability_templates (dict[str, RuntimeTemplate])
entity_specs (dict[str, dict[str, Any]])
agent_specs (dict[str, dict[str, Any]])
relationship_specs (dict[str, dict[str, Any]])
time_model (CompiledTimeModel)
capability_constraints (tuple[CompiledCapabilityConstraint, ...])
networks (dict[str, NetworkRuntime])
node_deployments (dict[str, NodeRuntime])
feature_bindings (dict[str, FeatureBinding])
propositions (dict[str, PropositionRuntime])
assertions (dict[str, AssertionRuntime])
condition_bindings (dict[str, ConditionBinding])
injects (dict[str, InjectRuntime])
inject_bindings (dict[str, InjectBinding])
content_placements (dict[str, ContentPlacement])
domain_controller_placements (dict[str, DomainControllerPlacement])
account_placements (dict[str, AccountPlacement])
generated_artifacts (dict[str, GeneratedArtifactRuntime])
persistent_volumes (dict[str, PersistentVolumeRuntime])
action_contracts (dict[str, ParticipantActionContractRuntime])
observation_boundaries (dict[str, ParticipantObservationBoundaryRuntime])
outcome_interpretation_rules (dict[str, ParticipantOutcomeInterpretationRuleRuntime])
participant_behaviors (dict[str, ParticipantBehaviorRuntime])
behavior_specifications (dict[str, ParticipantBehaviorSpecificationRuntime])
tool_affordances (dict[str, ParticipantToolAffordanceRuntime])
participant_inject_deliveries (dict[str, ParticipantInjectDeliveryRuntime])
events (dict[str, EventRuntime])
scripts (dict[str, ScriptRuntime])
stories (dict[str, StoryRuntime])
workflows (dict[str, WorkflowRuntime])
objectives (dict[str, ObjectiveRuntime])
diagnostics (list[Diagnostic])
realization_requirements (tuple[CompiledRealizationRequirement, ...])
realization_instance (InstantiatedScenario | None)

Return type:

None

class raes_processor.models.runtime_model.ExecutionPlan¶

Bases: object

Composite runtime execution plan.

target_name: str | None¶

manifest: BackendManifest¶

base_snapshot: RuntimeSnapshot¶

scenario_name: str¶

model: RuntimeModel¶

provisioning: ProvisioningPlan¶

orchestration: OrchestrationPlan¶

evaluation: EvaluationPlan¶

diagnostics: list[Diagnostic]¶

artifact_availability: ArtifactAvailabilityContext¶

property is_valid: bool¶

__init__(target_name, manifest, base_snapshot, scenario_name, model, provisioning, orchestration, evaluation, diagnostics=<factory>, artifact_availability=<factory>)¶

Parameters:

target_name (str | None)
manifest (BackendManifest)
base_snapshot (RuntimeSnapshot)
scenario_name (str)
model (RuntimeModel)
provisioning (ProvisioningPlan)
orchestration (OrchestrationPlan)
evaluation (EvaluationPlan)
diagnostics (list[Diagnostic])
artifact_availability (ArtifactAvailabilityContext)

Return type:

None

raes_processor.models.runtime_model.resource_payload(resource)¶

Convert a compiled resource to a stable planner payload.

Parameters:: resource (ResolvedResource)
Return type:: dict[str, Any]

Manifest Authority¶

Reference processor manifest declarations.

raes_processor.manifest.create_reference_processor_manifest(*, version=None)¶

Return the current repo-owned reference processor manifest.

Parameters:: version (str | None)
Return type:: ProcessorManifest

raes_processor.manifest.reference_processor_manifest_v2_model(*, version=None)¶

Return the reference processor manifest as the authoritative v2 model.

Parameters:: version (str | None)
Return type:: ProcessorManifestV2Model

raes_processor.manifest.reference_processor_manifest_model(*, version=None)¶

Return the reference processor manifest as the authoritative v2 contract model.

Parameters:: version (str | None)
Return type:: ProcessorManifestV2Model

raes_processor.manifest.reference_processor_manifest_payload(*, version=None)¶

Return the reference processor manifest as JSON-ready data.

Parameters:: version (str | None)
Return type:: dict[str, Any]

Planner¶

Planner for compiled SDL runtime models.

raes_processor.planner.plan(model, manifest, snapshot=None, *, target_name=None, apparatus_realization_default=None, artifact_availability=None)¶

Reconcile a compiled runtime model against the current snapshot.

Parameters:

model (RuntimeModel)
manifest (BackendManifest)
snapshot (RuntimeSnapshot | None)
target_name (str | None)
apparatus_realization_default (Callable[[CompiledRealizationRequirement, BackendManifest], Closure] | None)
artifact_availability (ArtifactAvailabilityContext | None)

Return type:

ExecutionPlan

raes_processor.planner.realization_disclosure(requirements, declared_plan, returned_snapshot, *, manifest=None, artifact_availability=None)¶

SEM-218 runtime non-approximation gate (I2) + provenance disclosure (I5).

Compares each compiled realization concern’s author-declared value (from the provisioning plan the processor emitted) against the value the backend realized in its returned snapshot. For an exact concern, a backend that realizes a different value — or omits the value entirely (a returned snapshot with no entry for the resource, or an entry missing the concern field) — is a silent approximation and yields a rejecting runtime.backend-contract-invalid diagnostic. Absent backend evidence is not a non-event: an exact declaration the backend never realized is exactly the I2 failure this gate exists to catch. This is the spec’s Execution-phase non-approximation rule.

Absent plan-side evidence is different and is not a backend fault: when the plan declares no provisioning op for the resource, removes it (a DELETE op — expected absence), or carries no value for the concern, there is no author baseline for this run to enforce, so the requirement is skipped.

Every honoured/realized concern is recorded as a RealizationProvenanceEntry: author-declared when the backend honoured the declaration, backend-realized when it realized a different value for a constrained surface. Diagnostics and entries name the field path and kind only, never the realized value (SEM-218 host-exposure gate).

This is the runtime sibling of realization_support_diagnostics: the planner gate rejects an unrealizable exact requirement before deployment; this gate rejects a backend that realized one dishonestly. The runtime adapter (raes_runtime) invokes it at the backend-call boundary.

Parameters:

requirements (tuple[CompiledRealizationRequirement, ...])
declared_plan (ProvisioningPlan)
returned_snapshot (RuntimeSnapshot)
manifest (BackendManifest | None)
artifact_availability (ArtifactAvailabilityContext | None)

Return type:

tuple[list[Diagnostic], tuple[RealizationProvenanceEntry, …]]

raes_processor.planner.snapshot_delete_order(entries)¶

Return delete order for existing snapshot entries.

Parameters:: entries (dict[str, SnapshotEntry])
Return type:: list[str]

Capabilities¶

Processor-level capability declarations.

class raes_processor.capabilities.ProcessorCapabilitySet¶

Bases: object

Processor-specific capability declarations.

supported_sdl_versions: frozenset[str] = frozenset({})¶

supported_features: frozenset[ProcessorFeature] = frozenset({})¶

__init__(supported_sdl_versions=frozenset({}), supported_features=frozenset({}))¶

Parameters:

supported_sdl_versions (frozenset[str])
supported_features (frozenset[ProcessorFeature])

Return type:

None

class raes_processor.capabilities.ProcessorCompatibility¶

Bases: object

Processor compatibility claims against backend surfaces.

backends: frozenset[str] = frozenset({})¶

__init__(backends=frozenset({}))¶

Parameters:: backends (frozenset[str])
Return type:: None

class raes_processor.capabilities.ProcessorManifest¶

Bases: object

Processor identity, capability, and compatibility declaration.

identity: ApparatusIdentity¶

supported_contract_versions: frozenset[str]¶

compatibility: ProcessorCompatibility¶

concept_bindings: tuple[ConceptBinding, ...]¶

constraints: dict[str, str]¶

capabilities: ProcessorCapabilitySet¶

__init__(*, identity=None, supported_contract_versions=frozenset({}), compatibility=None, concept_bindings=(), constraints=None, capabilities=None, name=None, version='0.0.0+unknown', supported_sdl_versions=frozenset({}), supported_features=frozenset({}), compatible_backends=frozenset({}))¶

Parameters:

identity (ApparatusIdentity | None)
supported_contract_versions (frozenset[str])
compatibility (ProcessorCompatibility | None)
concept_bindings (tuple[ConceptBinding, ...])
constraints (dict[str, str] | None)
capabilities (ProcessorCapabilitySet | None)
name (str | None)
version (str)
supported_sdl_versions (frozenset[str])
supported_features (frozenset[ProcessorFeature])
compatible_backends (frozenset[str])

Return type:

None

property name: str¶

property version: str¶

property supported_sdl_versions: frozenset[str]¶

property supported_features: frozenset[ProcessorFeature]¶

property compatible_backends: frozenset[str]¶

Exploit-Path Analysis¶

Governed typed exploit-path analysis.

exception raes_processor.exploit_path.ExploitPathEvidenceError¶

Bases: ValueError

Stored exploit-path evidence does not replay against its governed input.

exception raes_processor.exploit_path.ExploitPathOperationalError¶

Bases: RuntimeError

The analyzer failed outside the typed outcome domain.

raes_processor.exploit_path.analyze_exploit_path_file(path, *, profile='raes-exploit-path-analysis-v1')¶

Analyze one bounded exploit-path input JSON file.

Parameters:

path (Path)
profile (str)

Return type:

ExploitPathAnalysisEvidenceModel

raes_processor.exploit_path.analyze_exploit_path_input(request, *, source_id, source_digest)¶

Analyze an admitted snapshot, normalized graph, and closed query.

Parameters:

request (ExploitPathAnalysisInputModel)
source_id (str)
source_digest (str)

Return type:

ExploitPathAnalysisEvidenceModel

raes_processor.exploit_path.replay_exploit_path_evidence(path, evidence)¶

Recompute and compare every source/graph/query/result evidence join.

Parameters:

path (Path)
evidence (ExploitPathAnalysisEvidenceModel)

Return type:

ExploitPathAnalysisEvidenceModel