Module characterization 

Stable SDK surface for capturing behavior before a refactor and comparing it afterward.

Enable the standard-core feature, declare a bounded [ScenarioSpec], and record only canonical observations. Publish captures when a content-addressed evidence identity is required; use [compare_characterization_captures] for a strict comparison whose differences retain stable field paths and both canonical values.

Structs

CanonicalFailure

Canonical failure fields used by characterization captures.

CanonicalObservation

Every observable scenario lane after semantic projection.

CaptureComparison

Strict, located result of comparing two characterization captures.

CaptureComparisonProjection

A named, two-sided declaration of capture fields that are intentionally unstable.

CaptureDifference

One exact behavioral difference between two characterization captures.

CharacterizationCapture

A capture ready for validation and content-addressed publication.

FailureLocation

Stable source location attached to a failed outcome.

ScenarioInput

One ordered, semantic scenario input and the authority required to apply it.

ScenarioLimits

Hard bounds for one scenario execution.

ScenarioSpec

Complete metadata required before a repeatable scenario may execute.

Enums

BoundedLane

A bounded observation lane, retaining the distinction between no lane, an observed empty lane, and an observed prefix whose tail was omitted.

CanonicalOutcome

Canonical result of a scenario.

ScenarioObservationLane

A semantic observation lane selected by a characterization scenario.

Functions

characterization_capture_kind

Schema tag for the first characterization capture datum.

characterization_capture_predicate

Claim predicate relating a scenario to one immutable capture.

compare_characterization_captures

Compare two captures recursively after applying one declared two-sided projection.

publish_characterization_capture

Validate, intern, and publish an immutable capture for scenario.