coverage: Mark counter-less images as instrumented
Emit an empty coverage table when an instrumented image contains no counters.
Its presence distinguishes counter-less images from uninstrumented images and
keeps coverage trust intact when loading packages with no compiled code.
Assisted-by: Claude Code (Fable 5)
Assisted-by: Codex (GPT-5)
