Следует руководствоваться ГОСТ Р 7.0.64-2018 (ИСО 8601:2004) "Представление дат и времени. Общие требования". Кроме того, правила обозначения интервала значений описаны в "Справочнике издателя и автора" А. Э. Мильчина и Л. К. Чельцовой, где сказано, что для обозначения интервала "ставят: а) многоточие; б) тире; в) знак ÷; г) предлог от перед первым числом и до — перед вторым. Напр.: Длиной 5... 10 метров; Длиной 5—10 метров; Длиной 5÷10 метров; Длиной от 5 до 10 метров. Предпочтительным для изданий техн. и науч. (в области точных и естественных наук) лит. является стандартный знак многоточие (...) между числами в цифровой форме. В техн. лит. по традиции допустимо применять знак ÷ между числами в цифровой форме. Тире и предлоги употребляются в изданиях гуманитарной и публицистической лит.

Тире в качестве знака интервала значений рекомендуется ставить:

1. При словесной форме чисел (прописью) в изданиях худож. лит., а также близких к ней. Напр.: ...длиной пять — десять метров. При этом, как и обычно между словами, тире, по техн. правилам набора, должно быть отбито от слов на 2 п., что и должно быть обозначено в оригинале.

2. В тексте изданий общественно-полит., гуманитарной и подобной лит. Напр.: План выполнялся на 110—115 процентов; 30—35 тыс. юношей и девушек. При этом, как и обычно, между числами в цифровой форме, тире, по техн. правилам набора, не должно отбиваться от цифр".

Если 12,5 м — это и есть расстояние между якорем и лебедкой, запятая требуется, так как в данном случае союз или будет употреблен в пояснительном значении ('то есть'). Если это разные сущности, то запятая не нужна: союз или здесь будет выполнять разделительную функцию.

Если учитывать нормы русской грамматики, то следует констатировать, что право на существование имеют те и другие словосочетания: цикл длины и цикл длиной, код длины и код длиной, вектор длины и вектор длиной. Эти пары не являются синонимичными, поскольку различаются по меньшей мере грамматическими значениями. В первом случае может обозначаться параметр, каким обладает длина, во втором случае названный параметр характеризуется по той длине, какой он обладает. Согласуются ли грамматические значения с лексическими значениями терминов — это вопрос специалистам, использующим эти термины.