Crate lenso_test

Expand description

A small App harness with deterministic Driver scheduling and virtual time.

TestApp keeps the immutable Plan and real Host-lowered Adapter catalog. Child processes, JavaScript timers and external I/O remain real.

Structs§

DurableFailure: A failure with explicit commit evidence, independent of its transport error.
DurableFaultFacade: A test-only facade around a finite operation owned by a Plugin’s private Store.
FaultInjector: Test-owned, FIFO fault queues indexed by a stable boundary label.
FaultPointError: Error returned when a caller names an unsafe or unstable scenario boundary.
ReceiptDifference: The first unequal event, or the first event missing from one receipt.
ScenarioReceipt: A test-owned receipt recorder attached to one TestSimulator.
ScenarioReceiptEvent: One sanitized, deterministic scenario receipt entry.
SimulatorGate: A named checkpoint that a test explicitly releases.
SimulatorResource: A named, cooperative resource owner that a test can freeze independently.
TestApp: A running App that exposes the real Kernel and virtual Driver to tests.
TestAppBuilder: Builder for one Test App using a deterministic Driver.
TestEntropy: A reproducible byte stream derived from an explicitly supplied test seed.
TestSimulator: A deterministic test-only execution environment around one Driver.
TestWallClock: An explicit wall-clock projection of one TestSimulator’s virtual time.

CommitKnowledge: Evidence available at a durable operation’s completion boundary.
DurableFailureCause: The source of a durable operation failure.
ScenarioBoundary: A small, target-neutral vocabulary for normal scenario fault boundaries.
ScenarioTerminal: A finite terminal classification for one scenario operation.
ScenarioTransition: A non-sensitive lifecycle transition that a scenario may record.
SimulatorFault: A bounded failure condition that a test may inject at an explicit boundary.

first_receipt_difference: Returns the first event difference, or None when both receipts are equal.