pub fn check_assembly_budget_honesty(journal: &Journal) -> CheckResultExpand description
assembly-budget-honesty — §B1/§B3 held at the point of assembly, where
the harness is the declaring party: the itemized frame costs must sum to
the total the harness declared, the sum must fit the budget it announced,
and a reference frame — which inlines nothing — must cost 0.