Function verify_transparent_statement 

pub fn verify_transparent_statement<'a>(
    bytes: &'a [u8],
    inputs: &'a StatementVerificationInputs<'a>,
    policy: &TransparentStatementPolicy,
) -> TransparentStatementReport<'a>

Coordinate exact transmitted bytes. A good Receipt never erases the findings for others. Only malformed outer structure/policy stops all dependent work. Passed origin/trust means conditional on explicit caller assertions, not an authenticated transport observed by this library. LocalSimulation cannot pass registration or application acceptance. No application policy means unestablished.