8.6. Auditing🔗

opaque

Jar.Services.auditWorkReport [Jar.JamConfig] (report : Jar.WorkReport)
  (pkg : Jar.WorkPackage) (context : Jar.RefinementContext) : Bool
Jar.Services.auditWorkReport
  [Jar.JamConfig]
  (report : Jar.WorkReport)
  (pkg : Jar.WorkPackage)
  (context : Jar.RefinementContext) : Bool

Check if a work-report is valid by re-executing the refinement. Used by auditors to verify guarantor claims. GP §17. Off-chain operation — deliberately left opaque.