DefaultKernelCost.configuration: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/default_kernel_cost.bend as DefaultKernelCost
Lines 15-18 of stelliferous@0.0.2.0/default_kernel_cost.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/default_kernel_cost.bend&start_line=15&end_line=18

import Base
import stelliferous@0.0.2.0/kernel_cost.bend as Cost

def configuration() -> Cost.Configuration:
  # Prior task traces measured 40--180 us per wake round. Two rounds are
  # charged explicitly: the 250 us leaf grain alone cannot cover both maxima.
  Cost.Configuration{(4.0 / 32.0 * cycle_ns() : F32),0.100,cycle_ns(),250000.0,180000.0}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.div
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.mul
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/default_kernel_cost.bend&name=cycle_ns
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/kernel_cost.bend&name=Configuration