Module application_ir 

Provides the application_ir module.

Examples

use pharos_runtime_core::application_ir;

Related

• crate for sibling modules in the same crate. Canonical typed application contract consumed by the native runtime.

Structs

ActionEffects

Bounded side effects declared for one action.

ActionIr

Compiled action declaration with validated identifiers and effect boundaries.

ApplicationIr

Canonical in-memory application contract consumed by the runtime.

ContractId

Stable identifier used for routes, actions, policies, and other cross-linked declarations.

RouteIr

Compiled route declaration with validated target references and security posture.

RouteSecurityPosture

Effective route security settings after contract compilation.

SourceProvenance

Exact source location preserved for a compiled declaration.

Enums

ApplicationIrError

Semantic failures that block contract compilation or loading.

Constants

APPLICATION_IR_VERSION

Schema identifier emitted for compiled application IR documents.

CONTRACT_VERSION

Declarative contract version accepted by this runtime.

Functions

action_transition 🔒

Returns the workflow transition executed by one action, rejecting ambiguous declarations.

collect_ids 🔒

Collects a canonically ordered identifier set from one contract array.

collect_string_ids 🔒

Collects a canonically ordered identifier set from a string array.

compile_action_effects_for_runtime

Compiles the existing action declaration into a closed typed effect set.

compile_application_ir

Compiles and semantically validates all executable application contracts.

contract_digest 🔒

Hashes the complete executable contract set in stable document order.

effect_job_strings 🔒

Collects scheduled-job identifiers from string or bounded object declarations.

effect_strings 🔒

Collects string values from one optional array without permitting empty effects.

load_contract 🔒

Loads a JSON contract document from a packaged application artifact.

load_optional_contract 🔒

Loads an optional contract document as an empty typed collection when undeclared.

route_security_posture 🔒

Resolves and validates the route-level security defaults and overrides.

source_line 🔒

Returns a source line for an identifier in a deterministic generated JSON document.

source_provenance 🔒

Resolves generator-retained YAML provenance with a JSON fallback for legacy artifacts.

validate_contract_version 🔒

Validates the exact major/minor contract version supported by this runtime.

validate_optional_contract_version 🔒

Validates a populated optional contract while allowing an absent empty compatibility view.

validate_reference 🔒

Validates one optional identifier reference against its typed target collection.