Function documented_samples_with_bound_verbs 

pub fn documented_samples_with_bound_verbs(
    doc: &str,
    verbs: &[&str],
) -> Vec<(Value, Vec<String>)>

Every docs/json-schemas.md ```json sample that binds to at least one verb in verbs, paired with the subset of verbs it binds to (via section heading or inline heddle <verb> hint), in document order.

This is the same heading/inline binding heddle doctor schemas validates samples with, exposed so the output_kind discriminator invariant can assert — sample-by-sample — that every documented sample for a catalog-advertised discriminator verb carries the right discriminator. Returning the full bound-verb set (not one verb at a time) lets the invariant accept a grouped sample, e.g. the single heddle undo|undo --redo sample binds to both undo modes and may legitimately show either variant’s discriminator. Sharing the binding keeps the invariant and the production drift gate agreeing on which sample documents which verb.