Crate xlsynth_pir_compiler_runtime 

Runtime ABI and observable-event collection for compiled PIR functions.

Structs

AssertionFailure

A failed compiled assertion, resolved to its source-site metadata.

AssumptionFailure

One failed assumption observed while executing compiled code.

Bits0

Zero-sized native representation of a bits[0] value.

BitsInU8

BitsInU16

BitsInU32

BitsInU64

CompiledFunctionMetadata

Runtime metadata for all observable sites in one compiled function.

CoverCount

Accumulated execution count for a compiled cover site.

EventSiteMetadata

Static information attached to one observable node in compiled code.

ExecutionContext

Rust-owned event collector used for one or more compiled executions.

ExecutionOptions

Runtime options controlling which observable events are collected.

ExecutionResult

Rust-owned observable results recorded while executing compiled code.

RawExecutionContext

Opaque execution context forwarded by compiled code to runtime callbacks.

RunError

Error returned by generated native-compiler entrypoint wrappers.

SignedBits0

Public signed DSLX-style wrapper for an sbits[0] value.

SignedBitsInU8

SignedBitsInU16

SignedBitsInU32

SignedBitsInU64

SignedWideBits

Public signed DSLX-style wrapper for a wide native bitvector.

Token

Zero-sized native representation of a PIR token value.

TraceMessage

One emitted compiled trace statement.

TraceTupleFieldLayout

Description of one tuple field supplied as a trace operand.

UnsignedBits0

Public unsigned DSLX-style wrapper for a bits[0] value.

UnsignedBitsInU8

UnsignedBitsInU16

UnsignedBitsInU32

UnsignedBitsInU64

UnsignedWideBits

Public unsigned DSLX-style wrapper for a wide native bitvector.

WideBits

Native least-significant-first limb storage for a bitvector wider than 64 bits.

Enums

AssumptionFailureKind

A failed contract asserted by an assumed_in_bounds array operation.

EventKind

Kind of observable PIR event described by an event site.

TraceValueLayout

Native data description sufficient for immediate trace-value decoding.

WideBinaryOp

Operation implemented by xlsynth_pir_runtime_wide_binop.

WideUnaryOp

Operation implemented by xlsynth_pir_runtime_wide_unary_op.

Functions

xlsynth_pir_record_assert^⚠

Records a failed assertion from generated code.

xlsynth_pir_record_assumption_failure^⚠

Records a failed assumed_in_bounds contract from generated code.

xlsynth_pir_record_cover^⚠

Records one active cover occurrence from generated code.

xlsynth_pir_record_trace^⚠

Records and formats one active trace occurrence from generated code.

xlsynth_pir_runtime_wide_binop^⚠

Computes a complex arbitrary-width binary operation over native limb storage.

xlsynth_pir_runtime_wide_bit_slice_update^⚠

Inserts a dynamically positioned low-to-high slice into native limb storage.

xlsynth_pir_runtime_wide_dynamic_bit_slice^⚠

Computes a zero-filled dynamic slice into native limb storage.

xlsynth_pir_runtime_wide_mulp^⚠

Computes the deterministic pair used for arbitrary-width umulp/smulp.

xlsynth_pir_runtime_wide_unary_op^⚠

Computes an arbitrary-width single-operand PIR transform.

Type Aliases

CompiledEntrypoint

Native compiled-function entrypoint shared by in-memory and AOT execution.