Module builder 

Receipt builder — produces a cordance-cortex-receipt-v1-candidate from a compiled CordancePack.

Field mapping mirrors: pai-axiom/PAI/Fixtures/TrustExchange/ cortex-pai-axiom-execution-receipt-v1-candidate.json with cordance_* prefixes and pack-derived values substituted throughout.

All receipt structs in cordance_core::receipt are #[non_exhaustive], so this module must construct values via the typed new constructors rather than struct-literal syntax. See cordance_core::receipt for the rationale (ADR 0005 / BUILD_SPEC §11.2).

Functions

build_receipt

Build a CortexReceiptV1Candidate from a compiled pack.