asupersync-conformance-0.2.0 has been yanked.
asupersync-conformance
asupersync-conformance provides fixtures and checks for validating async
runtime behavior against the asupersync conformance expectations.
Purpose
This crate is intended for conformance testing and report generation used by the asupersync project and compatible runtime implementations.
It also exposes machine-readable coverage tooling for formal proof tracking:
traceabilityfor spec-to-test mappingslean_coverage_matrixfor Lean proof coverage ontology/matrix validation
License
MIT