List of all items

Structs

• AuthorityAuditRecord
• CancellationWitness
• ClosedSessionSummary
• CrossLaneHandoff
• Edge
• EffectExchangeRecord
• EffectFailure
• EffectInterfaceMetadata
• EffectOutcome
• EffectRequest
• EffectResponsibilityDomain
• EffectTraceEntry
• EffectTraceTape
• ExecResult
• NestedProtocolMachineHandler
• ObservabilityRetentionConfig
• OwnershipCapability
• OwnershipReceipt
• ProgramStore
• ProtocolMachine
• ProtocolMachineConfig
• ProtocolMachineMemoryUsage
• ProtocolMachineRetainedBytes
• ReadinessWitness
• RecordingEffectHandler
• ReplayEffectHandler
• ResourceState
• RuntimeUpgradeArtifact
• RuntimeUpgradeCompatibility
• SchedStepDebug
• Scheduler
• SessionStore
• SessionStoreMemoryUsage
• SessionStoreRetainedBytes
• StepPack
• TimeoutWitness
• architecture::EngineOwnership
• buffer::BoundedBuffer
• buffer::BufferConfig
• buffer::SignedValue
• capabilities::ProtocolCriticalCapabilityBoundaryEntry
• capabilities::ProtocolCriticalCapabilityLifecycleRecord
• clock::SimClock
• communication_replay::CommunicationConsumeResult
• communication_replay::CommunicationConsumptionArtifact
• communication_replay::CommunicationIdentity
• communication_replay::CommunicationIdentitySeed
• communication_replay::CommunicationReplayState
• communication_replay::DefaultCommunicationConsumption
• composition::ComposedRuntime
• composition::CompositionCertificate
• composition::MemoryBudget
• composition::MemoryUsage
• composition::ProtocolBundle
• composition::ReconfigurationEvent
• composition::ReconfigurationPhaseArtifact
• composition::ReconfigurationPlan
• composition::ReconfigurationPlanExecution
• composition::ReconfigurationPlanStep
• composition::ReconfigurationPolicy
• composition::ReconfigurationRuntimeSnapshot
• composition::RuntimeUpgradeExecution
• composition::RuntimeUpgradeRequest
• composition::TheoremPackCapabilities
• coroutine::Coroutine
• coroutine::EffectCtx
• coroutine::KnowledgeFact
• coroutine::ProgressToken
• coroutine::SpeculationState
• driver::single_thread::NativeSingleThreadDriver
• durable::AgreementWalArtifact
• durable::AgreementWalHandler
• durable::DurableRecoveryDecision
• durable::DurableRecoveryMetadata
• durable::DurableRecoveryPlan
• durable::EvidenceOutcomeCacheArtifact
• durable::EvidenceOutcomeCacheEntry
• durable::EvidencePersistenceHandler
• durable::FileAgreementWal
• durable::FileEvidenceOutcomeCache
• durable::InMemoryAgreementWal
• durable::InMemoryEvidenceOutcomeCache
• durable::PersistedDurabilityArtifact
• durable::WalSyncRequest
• envelope_diff::EnvelopeDiff
• envelope_diff::EnvelopeDiffArtifactV1
• envelope_diff::WaveWidthBound
• guard::InMemoryGuardLayer
• guard::LayerId
• identity::ParticipantId
• identity::SiteId
• identity::SiteInfo
• identity::StaticIdentityModel
• instr::Endpoint
• integration::LoadedProtocolMachineReplayConformance
• intern::EdgeSymbol
• intern::EdgeSymbolTable
• intern::SymbolTable
• kernel::ProtocolMachineKernel
• model::config::ObservabilityRetentionConfig
• model::config::ProtocolMachineConfig
• model::config::ProtocolMachineMemoryUsage
• model::config::ProtocolMachineRetainedBytes
• model::config::ResourceState
• model::effects::EffectExchangeRecord
• model::effects::EffectFailure
• model::effects::EffectInterfaceMetadata
• model::effects::EffectOutcome
• model::effects::EffectRequest
• model::effects::EffectResponsibilityDomain
• model::effects::EffectTraceEntry
• model::effects::EffectTraceTape
• model::effects::RecordingEffectHandler
• model::effects::ReplayEffectHandler
• model::effects::SendDecisionInput
• model::program::ProgramStore
• model::scheduler_types::CrossLaneHandoff
• model::scheduler_types::Scheduler
• model::state::AuthorityAuditRecord
• model::state::CancellationWitness
• model::state::ClosedSessionSummary
• model::state::Edge
• model::state::OwnershipCapability
• model::state::OwnershipReceipt
• model::state::ReadinessWitness
• model::state::SessionState
• model::state::SessionStore
• model::state::SessionStoreMemoryUsage
• model::state::SessionStoreRetainedBytes
• model::state::TimeoutWitness
• model::transitions::RuntimeUpgradeArtifact
• model::transitions::RuntimeUpgradeCompatibility
• output_condition::OutputConditionCheck
• output_condition::OutputConditionHint
• output_condition::OutputConditionMeta
• owned::OwnedSession
• persistence::NoopPersistence
• refinement::ClaimedRuntimeCoreBundle
• refinement::CoroutineRefinementSlice
• refinement::ProtocolMachineRefinementSlice
• refinement::RuntimeObservationBundle
• refinement::SchedulerRefinementSlice
• refinement::SessionRefinementSlice
• refinement::TransitionRefinementSummary
• runtime::loader::CodeImage
• runtime::runner::NestedProtocolMachineHandler
• runtime::runner::ProtocolMachine
• runtime::runner::SchedStepDebug
• runtime_contracts::DeterminismArtifacts
• runtime_contracts::ProtocolMachineExecutionProfile
• runtime_contracts::RuntimeContracts
• runtime_contracts::RuntimeTransportContract
• runtime_contracts::TheoremTransportRequirements
• runtime_contracts::TransportedTheoremBoundaryEntry
• semantic_objects::AgreementContract
• semantic_objects::AgreementEvidence
• semantic_objects::AgreementProfile
• semantic_objects::AgreementState
• semantic_objects::AuthoritativeRead
• semantic_objects::CanonicalHandle
• semantic_objects::FinalizationPath
• semantic_objects::MaterializationProof
• semantic_objects::ObservedRead
• semantic_objects::OperationInstance
• semantic_objects::OutstandingEffect
• semantic_objects::PrestateBinding
• semantic_objects::ProgressContract
• semantic_objects::ProgressTransition
• semantic_objects::ProtocolMachineFinalization
• semantic_objects::ProtocolMachineSemanticObjects
• semantic_objects::PublicationEvent
• semantic_objects::Region
• semantic_objects::SemanticHandoff
• semantic_objects::TransformationObligation
• semantics::exec::ExecResult
• semantics::exec::StepPack
• serialization::CanonicalReplayFragmentV1
• serialization::CanonicalTraceV1
• trace::NormalizedTraceV1
• transfer_semantics::DelegationAuditRecord
• transfer_semantics::DelegationReceipt
• transfer_semantics::TransferRequest
• verification::AuthProof
• verification::AuthTree
• verification::Commitment
• verification::DefaultVerificationModel
• verification::Hash
• verification::Nullifier
• verification::Signature
• verification::SigningKey
• verification::VerifyingKey

Enums

• AuthorityArtifact
• AuthorityAuditEvent
• CanonicalPublicationContinuity
• CorruptionType
• EffectAdmissibility
• EffectAgreementUse
• EffectAuthorityClass
• EffectCompositionPolicy
• EffectFailureKind
• EffectHandlerDomain
• EffectOutcomeStatus
• EffectReentrancyPolicy
• EffectRegionScope
• EffectRequestBody
• EffectResponse
• EffectResult
• EffectRetryShape
• EffectSemanticClass
• EffectTimeoutPolicy
• EffectTotality
• EffectTraceCaptureMode
• ExecStatus
• FlowPolicy
• FlowPredicate
• MonitorMode
• ObsEvent
• ObservabilityRetentionMode
• OwnershipError
• OwnershipScope
• OwnershipTerminalReason
• PayloadValidationMode
• PendingEffectTreatment
• PriorityPolicy
• ProtocolMachineError
• RunStatus
• RuntimeTuningProfile
• RuntimeUpgradeExecutionConstraint
• SchedExecStatus
• SchedPolicy
• SessionHostMutation
• StepEvent
• StepResult
• StepUpdate
• ThreadedRoundSemantics
• TopologyPerturbation
• TransitionArtifactPhase
• architecture::EngineRole
• buffer::BackpressurePolicy
• buffer::BufferMode
• buffer::EnqueueResult
• buffer::SignedDequeueError
• buffer::SignedEnqueueResult
• capabilities::ProtocolCriticalCapabilityArtifact
• capabilities::ProtocolCriticalCapabilityClass
• capabilities::ProtocolCriticalCapabilityLifecycleState
• communication_replay::CommunicationReplayError
• communication_replay::CommunicationReplayMode
• communication_replay::CommunicationStepKind
• composition::CompositionError
• composition::DeterminismCapability
• composition::SchedulerCapability
• coroutine::BlockReason
• coroutine::CoroStatus
• coroutine::Fault
• coroutine::Value
• determinism::DeterminismMode
• determinism::EffectDeterminismTier
• durable::AgreementWalEntry
• durable::DurableRecoveryAction
• durable::PersistedDurabilityPayload
• durable::WalSyncMode
• envelope_diff::EffectOrderingClass
• envelope_diff::FailureVisibleDiffClass
• envelope_diff::SchedulerPermutationClass
• faults::FaultClass
• instr::ImmValue
• instr::Instr
• instr::InvokeAction
• model::config::EffectTraceCaptureMode
• model::config::MonitorMode
• model::config::ObservabilityRetentionMode
• model::config::PayloadValidationMode
• model::config::RuntimeTuningProfile
• model::config::ThreadedRoundSemantics
• model::effects::CorruptionType
• model::effects::EffectAdmissibility
• model::effects::EffectAgreementUse
• model::effects::EffectAuthorityClass
• model::effects::EffectCompositionPolicy
• model::effects::EffectFailureKind
• model::effects::EffectHandlerDomain
• model::effects::EffectOutcomeStatus
• model::effects::EffectReentrancyPolicy
• model::effects::EffectRegionScope
• model::effects::EffectRequestBody
• model::effects::EffectResponse
• model::effects::EffectResult
• model::effects::EffectRetryShape
• model::effects::EffectSemanticClass
• model::effects::EffectTimeoutPolicy
• model::effects::EffectTotality
• model::effects::SendDecision
• model::effects::TopologyPerturbation
• model::scheduler_types::PriorityPolicy
• model::scheduler_types::SchedPolicy
• model::scheduler_types::StepUpdate
• model::state::AuthorityArtifact
• model::state::AuthorityAuditEvent
• model::state::ObsEvent
• model::state::OwnershipError
• model::state::OwnershipScope
• model::state::OwnershipTerminalReason
• model::state::SessionHostMutation
• model::state::SessionStatus
• model::transitions::CanonicalPublicationContinuity
• model::transitions::PendingEffectTreatment
• model::transitions::RuntimeUpgradeExecutionConstraint
• model::transitions::TransitionArtifactPhase
• output_condition::OutputConditionPolicy
• refinement::RefinementSliceError
• runtime::runner::ProtocolMachineError
• runtime::runner::RunStatus
• runtime::runner::SchedExecStatus
• runtime::runner::StepResult
• runtime_contracts::ProtocolMachineAdmissibilityClass
• runtime_contracts::ProtocolMachineEscalationWindowClass
• runtime_contracts::ProtocolMachineFairnessAssumption
• runtime_contracts::RuntimeAdmissionResult
• runtime_contracts::RuntimeCapability
• runtime_contracts::RuntimeGateResult
• runtime_contracts::TransportContractGateError
• runtime_contracts::TransportedTheoremBoundaryValidationError
• runtime_contracts::TransportedTheoremUsageClass
• semantic_objects::AgreementEvidenceKind
• semantic_objects::AgreementLevel
• semantic_objects::AgreementRule
• semantic_objects::AuthoritativeReadKind
• semantic_objects::AuthoritativeReadLifecycle
• semantic_objects::CanonicalHandleKind
• semantic_objects::DelegationStatus
• semantic_objects::FinalizationOutcome
• semantic_objects::FinalizationReadClass
• semantic_objects::FinalizationStage
• semantic_objects::OperationPhase
• semantic_objects::OperationVisibility
• semantic_objects::OutstandingEffectStatus
• semantic_objects::OwnershipScope
• semantic_objects::ProgressState
• semantic_objects::PublicationObserverClass
• semantic_objects::PublicationStatus
• semantics::exec::ExecStatus
• semantics::exec::StepEvent
• serialization::SemanticAuditRecord
• transfer_semantics::DelegationStatus
• verification::HashTag

Traits

• bridge::EffectGuardBridge
• bridge::IdentityGuardBridge
• bridge::IdentityPersistenceBridge
• bridge::IdentityVerificationBridge
• bridge::PersistenceEffectBridge
• communication_replay::CommunicationConsumption
• durable::AgreementWal
• durable::EvidenceIdResolver
• durable::EvidenceOutcomeCache
• guard::GuardLayer
• identity::IdentityModel
• kernel::KernelMachine
• model::effects::EffectHandler
• persistence::PersistenceModel
• verification::VerificationModel

Functions

• buffer::signed_dequeue_verified
• buffer::signed_enqueue
• buffer::signed_enqueue_with_sequence
• capabilities::capability_lifecycle_audit_log_v1
• capabilities::lean_first_class_capability_module_boundary
• capabilities::protocol_critical_capability_boundary
• capabilities::rust_first_class_capability_module_boundary
• communication_replay::canonical_receive_label_context
• compiler::compile
• decode_edge_json
• determinism::replay_consistent
• faults::classify_fault
• faults::fault_code
• faults::fault_code_of
• faults::speculation_fault_abort_requires_active
• faults::speculation_fault_disabled
• faults::speculation_fault_join_requires_active
• faults::transfer_fault_delegation_guard_violation
• faults::transfer_fault_endpoint_not_owned
• faults::transfer_fault_expect_endpoint_register
• faults::transfer_fault_expect_nat_target
• faults::transfer_fault_target_id_out_of_range
• instruction_semantics::decode_branch_label_payload
• instruction_semantics::decode_endpoint_fact
• instruction_semantics::endpoint_from_reg
• integration::run_loaded_protocol_machine_record_replay_conformance
• model::state::decode_edge_json
• model::state::unfold_if_var
• model::state::unfold_mu
• output_condition::verify_output_condition
• runtime_contracts::admit_protocol_machine_runtime
• runtime_contracts::determinism_profile_supported
• runtime_contracts::enforce_protocol_machine_runtime_gates
• runtime_contracts::execution_profile_supported
• runtime_contracts::request_determinism_profile
• runtime_contracts::requires_protocol_machine_runtime_contracts
• runtime_contracts::runtime_capability_snapshot
• runtime_contracts::runtime_critical_transported_theorem_boundary
• runtime_contracts::runtime_execution_profile
• runtime_contracts::rust_runtime_critical_transport_theorem_keys
• runtime_contracts::transported_theorem_boundary
• runtime_contracts::validate_transport_contracts_for_execution_profile
• runtime_contracts::validate_transported_theorem_boundary_consistency
• semantic_objects::protocol_machine_semantic_objects
• serialization::binary_decode
• serialization::binary_encode
• serialization::binary_size
• serialization::canonical_effect_trace
• serialization::canonical_replay_fragment_v1
• serialization::canonical_semantic_audit_log
• serialization::canonical_trace_v1
• serialization::canonicalize_protocol_machine_semantic_objects
• serialization::semantic_audit_log_v1
• trace::normalize_trace
• trace::normalize_trace_v1
• trace::obs_session
• trace::strict_trace
• trace::with_tick
• transfer_semantics::decode_transfer_request
• transfer_semantics::delegation_receipt
• transfer_semantics::delegation_scope_for_endpoint
• transfer_semantics::endpoint_owner_ids
• transfer_semantics::move_endpoint_bundle
• transfer_semantics::validate_delegation_coherence
• verification::sign_value
• verification::signing_key_for_endpoint
• verification::verify_signed_value
• verification::verifying_key_for_endpoint

Type Aliases

• AuthorityWitnessId
• FragmentOwnerId
• HandlerId
• OwnershipClaimId
• OwnershipEpoch
• Program
• ProtocolMachineState
• SchedState
• SchedulerLaneId
• SessionId
• buffer::SignedBuffer
• buffer::SignedBuffers
• coroutine::CoroutineState
• coroutine::KnowledgeSet
• coroutine::RegFile
• instr::PC
• instr::Reg
• intern::EdgeId
• intern::StringId
• model::program::Program
• model::scheduler_types::LaneId
• model::scheduler_types::SchedState
• model::state::AuthorityWitnessId
• model::state::FragmentOwnerId
• model::state::HandlerId
• model::state::OwnershipClaimId
• model::state::OwnershipEpoch
• model::state::ProtocolMachineState
• model::state::SessionId

Constants

• architecture::CANONICAL_ENGINE
• architecture::CROSS_TARGET_CONTRACT
• architecture::ENGINE_OWNERSHIP
• architecture::EQUIVALENCE_SURFACES
• communication_replay::COMM_IDENTITY_DOMAIN_TAG
• communication_replay::COMM_REPLAY_DUPLICATE_TAG
• communication_replay::COMM_REPLAY_SEQUENCE_MISMATCH_TAG
• durable::MAX_PERSISTED_DURABILITY_BYTES
• durable::PERSISTED_DURABILITY_SCHEMA_VERSION
• envelope_diff::ENVELOPE_DIFF_SCHEMA_VERSION
• semantic_objects::SEMANTIC_OBJECTS_SCHEMA_VERSION
• serialization::SERIALIZATION_SCHEMA_VERSION
• trace::TRACE_NORMALIZATION_SCHEMA_VERSION