Crate trellis_testing 

Companion testing helpers for Trellis.

This crate is intentionally narrow. It helps tests inspect transaction traces, resource lifecycle plans, materialized output frames, and conformance support levels without executing host resources or replacing Rust’s existing testing ecosystem.

The Cargo package is named trellis-testing to avoid the crates.io normalized-name collision with trellis_test.

Structs

ConformanceCheckReport

Executed conformance check summary.

ConformanceFailure

Failure returned by an executable conformance suite.

ConformanceReport

Report of supported and unsupported conformance levels.

ConformanceRunner

Executable opt-in conformance suite for application graphs.

ConformanceSuite

Opt-in set of conformance levels an application wants to exercise.

FakeHost

Deterministic fake host boundary for resource status simulations.

FakeHostEvent

Status event produced by the fake host boundary.

HarnessStep

Builder for one harness transaction step.

HostStatusRecord

Recorded classification for a host status event.

NoRedaction

Redactor that preserves all trace data.

OracleCheck

Successful oracle comparison.

OracleMismatch

Full-recompute oracle mismatch.

OutputAuditContext

Structural context for an audited output frame assertion.

OutputLedger

Fake output consumer ledger for materialized output frames.

OutputSnapshot

Current ledger view for one materialized output.

ResourceAuditContext

Structural context for an audited resource command assertion.

ResourceCommandContext

Structural context for a resource command observed by the ledger.

ResourceCommandRecord

Applied resource command with transaction and generation context.

ResourceLedger

Fake resource lifecycle ledger for applying Trellis resource plans.

ResourceSnapshot

Current or historical ledger view for one resource key.

ResourceStatusContext

Structural context for a host status classification.

Scenario

Deterministic scenario recorder for transaction scripts.

ScenarioStep

Named transaction trace captured by a scenario test.

TransactionScript

Deterministic transaction script that can be replayed against a fresh graph.

TransactionScriptStep

One named transaction in a replayable script.

TransactionScriptStepBuilder

Builder for one transaction script step.

TrellisHarness

Scenario runner for deterministic transaction scripts.

Enums

AuditAssertionError

Failure from an explainability assertion over transaction audit data.

ConformanceCheckResult

Result returned by one executable conformance check.

ConformanceLevel

Opt-in conformance levels for application graph tests.

HostStatusClass

Classification for host status delivery.

OutputLedgerError

Output ledger assertion failure.

ResourceLedgerError

Resource ledger assertion failure.

ScenarioError

Scenario assertion failure.

Traits

FullRecomputeOracle

Application-owned full-recompute oracle for a Trellis graph wrapper.

ScenarioTarget

Application target that exposes the Trellis graph under test.

TraceRedactor

Redaction hook for scenario debug and snapshot output.

Functions

assert_dependency_path_exists

Asserts that a deterministic dependency path exists in the graph.

assert_every_output_frame_has_revision

Asserts every output frame has a graph-visible revision explanation.

assert_every_output_frame_has_scope

Asserts every output frame has a graph-visible scope explanation.

assert_every_resource_command_has_cause

Asserts every resource command has a graph-visible cause.

assert_incremental_equals_full

Asserts that incremental observation equals application full recompute.

assert_no_unexplained_output_frame

Asserts every output frame in a result has matching audit explanation.

assert_no_unexplained_plan

Asserts every resource command in a result has matching audit explanation.

conformance

Creates an empty executable conformance runner.

Type Aliases

HostStatusEvent

Explicit host status event fed to tests after plan application.