asupersync-conformance 0.2.8

Conformance test suite for async runtime specifications
Documentation

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:

  • traceability for spec-to-test mappings
  • lean_coverage_matrix for Lean proof coverage ontology/matrix validation

License

MIT