Coppelius.ArenaPlan

---- placement ---- The buffers whose place the plan itself depends on, in the card's address space from the device origin (Compiler.Planning.VA) and in the process from the plan host's mapping origin (the arena itself is the UVM external range above): the channel's GPFIFO; the staging window the kernels read their input from and write their results to (Coppelius.TrainingRun lays it out); the program region the device images are placed in (Coppelius.Build.DeviceImages). The buffers the plan sizes follow them (Coppelius.Build.Placement). The host side of the arena certificate decides that all of them are disjoint and clear of the host's own mappings.

118def coppeliusDeviceOrigin : Nat = vaBaseNatural