13.1. Work-Report Computation🔗

Off-chain, a guarantor runs the service's refine code to produce a work report from a work package. This combines authorization checking and refinement.

def

Jar.Services.computeWorkReport [JarConfig] (pkg : WorkPackage)
  (context : RefinementContext)
  (services : Dict ServiceId ServiceAccount)
  (resolveImport : Services.ImportResolver := fun x x_1 => none) :
  Option (WorkReport × Gas)
Jar.Services.computeWorkReport [JarConfig]
  (pkg : WorkPackage)
  (context : RefinementContext)
  (services :
    Dict ServiceId ServiceAccount)
  (resolveImport :
    Services.ImportResolver :=
    fun x x_1 => none) :
  Option (WorkReport × Gas)

Ξ(p, c) : Work-report computation. GP eq (14.12). Given a work-package p and context c, computes the work-report by running authorization and then refining each work-item. resolveImport provides segment data for work-item imports — requires guarantor-level DA infrastructure (not yet implemented).