pub fn write_section_effect_rows(rows: &[EffectRowEntry], buf: &mut Vec<u8>)Expand description
Write the T2-3 EffectRows section (no header framing): a one-byte
section-local version, then the DefinitionId → row table of factored
effect rows (docs/effects-spec.md §11). One entry per knot/stitch — the
host’s resume-scheduling estimate (§12.1). Entries are written in the order
given; callers sort by def for determinism.