Module core 

Runtime-neutral Lace interlace core.

Core owns interlace state and policy evaluation. When a machine needs store data or persistence, its one machine-owned StoreCall suspends progress until the runtime-owned Lace submits the matching result. Rust projects facts and Datalog bindings above store result data. Stores do not evaluate exchange policy and do not know what “advertisable” means.

Re-exports

pub use crate::logic::ExchangePlan;

pub use crate::logic::LocalExecutablePolicy;

pub use crate::records::Record;

pub use crate::records::RecordHash;

pub use crate::records::RecordKind;

Modules

listing_symbols

Rateless-IBLT listing symbols for first-round ILTP reconciliation.

Structs

ActiveRound

AdvertisementField

AdvertisementListing

One complete listing: the frozen local listing at its sender and the complete peer listing at its receiver, with the canonical byte size B of the listing rendered as an ::offers item: its label line, every entry’s lines, and the terminating LF.

AdvertisementRecord

One immutable listing entry with its canonical listing bytes, measured once when the entry is built.

ChannelBinding

Binding supplied by the owner of a completed encrypted channel. This value is public transcript data, not an independent authority credential.

ConnectedCarrier

One connected byte carrier above exactly one immutable logical session.

ConnectedConfig

Consuming inputs for one connected ILTP stream. Role assigns the operand slot.

DirectConfig

Same-runtime composition owns two slot-ordered modules and one operation limit.

DirectPair

FixedPointBoundary

FixedPointId

FixedPointState

FixedPointWakeBoundary

FoundRecord

InterlaceId

InterlaceMachine

The sole semantic owner of either a same-runtime pair or one connected carrier.

InterlaceResourceLimits

InterlaceRoundId

MachineError

NonceSeed

Zeroizing owner of one connected carrier’s 32-byte nonce seed. Each clone owns and erases an independent copy.

OperandCache

Peer operands received over connected sessions, most recently used first, at most capacity of them. Clones share one cache: a Lace hands its cache to every connected operation it runs. Entries are never persisted, admitted, observed, or exposed to policy.

PeerOutputRef

ProtocolPhaseToken

Opaque identity for one stable machine phase and its owning interlace.

ReadyEffectsRef

RequestListing

SessionAuthority

SessionMachine

One logical session on a connected carrier. The preface nonce pair stays with the session: proof validation reads it during establishment and listing reconciliation derives its session key from it.

SessionOperand

One logical session’s prepared local operand and optional expected peer By.

StoreCall

StorePosition

StoreReadOptions

StoreRecordId

StoreRecordLinkConstraint

StoreRecordQuery

StoreRequest

Enums

CarrierRole

CarrierState

CloseReason

ConnectedOperand

Where a connected carrier’s local operand comes from.

CoreError

A failure reported by the machine API without a terminal machine transition.

EndpointEffectRef

EndpointMessage

EndpointPoll

EndpointState

ErrorCategory

The Lace-100 error category shared by machine, core, and public errors.

EstablishmentPhase

InterlaceObservation

InterlaceSide

ListingChange

What a complete listing added and withdrew since the previous complete listing of its logical session.

LoadRecordOutcome

Exact-load outcomes are positional against the request retained by StoreCall.

LogicError

MachineErrorSource

MachinePoll

MachineProtocolPhase

PeerInput

One decoded peer input a connected host hands to the carrier.

PeerInputDisposition

Whether a decoded peer item can be handed to the carrier immediately.

PeerProofAssurance

PrefaceCause

RecordDestination

Where a record that RecordIngress::check_start accepts goes.

RecordIngress

How a connected host receives the next peer record, by the carrier’s current state. Checked once at the record’s start, when its canonical length is known and before any byte reaches memory, staging or the store.

RoundPhase

SessionState

One owning connected-session semantic state.

StoreError

StoreFieldConstraint

StoreOp

StorePositionAdvance

Result of applying a StorePosition notification to an exact fixed point.

StoreRecordOutcome

Store outcomes are positional and carry only newly learned disposition/id.

StoreResult

Functions

record_matches_store_query

Whether record satisfies every constraint of query.

Type Aliases

ListingEntries

Hash-ordered listing entries. Entries are shared between the listings and requests that contain them.