Expand description
Generative conformance support over the shared expression graph.
This crate owns deterministic Expr-space enumeration for language
conformance. The matrix runner and language rows stay in their existing
crates; this crate supplies the generated inputs they consume.
Re-exports§
pub use anchor::CoverageVerdict;pub use anchor::LandmarkCorpus;pub use anchor::common_lisp_lite_landmark_corpus;pub use anchor::r7rs_small_landmark_corpus;pub use coverage::GeneratedCoverageReport;pub use coverage::run_generated_row;pub use property::check_round_trip;pub use property::generated_expr_cases;pub use publish::coverage_card_fields;pub use publish::generated_coverage_profile_symbol;pub use publish::publish_coverage_claims;pub use registry::GenerativeRow;pub use registry::generative_registry;pub use registry::run_all_generated;pub use seed::r7rs_seed_corpus;pub use space::ExprSpace;
Modules§
- anchor
- Curated landmark anchors for generated coverage reports.
- coverage
- Measured coverage reports for generated expression conformance.
- property
- Generated expression round-trip properties.
- publish
- Publication helpers for generated coverage evidence.
- registry
- Registry for generated language-conformance rows.
- seed
- Seed expression corpus for generated language conformance.
- space
- Shape-backed expression spaces for generative conformance.