Module distribution 

Facts-to-contract checks for binary-distribution release surfaces.

A release contract is authoritative, but a repository can still contain distribution infrastructure it forgot to declare. These checks make that mismatch visible during validation and refuse an irreversible cut before the tag phase can collide with cargo-dist.

Enums

UndeclaredDistribution

One under-declared distribution surface found by find_undeclared_distribution.

Functions

delegated_publish_workflow_warnings

Warn when crates.io publication is delegated to CI but no credible workflow was detected to perform it after the coordinator pushes the release tag.

find_undeclared_distribution

Find distribution infrastructure that the contract’s targets omit.

undeclared_distribution_warnings

Render findings as validation/plan warnings.