R2: measure exact integer utility of adding one production column

[sunpole]

Цель

Доказать, что ценность mixed column нельзя оценивать только paper reduced cost: новая column может оставить бумагу неизменной, но уменьшить layout forms и color plates. Oracle точно пересчитывает малый integer master после добавления каждой одной новой column.

Новый pure module

src/exact-integer-column-utility-oracle.js

Модель

baseline = exact master(existing columns)
for each non-existing candidate:
  alternative = exact master(existing + candidate)
  utility = lexicographic production-metric improvement

Поддерживаются simplex и separate-duplex complete small catalogs.

Важная граница сравнения

• production improvement определяется только фактическими метриками;
• planSignature используется лишь для deterministic tie ordering;
• метрически равный структурный вариант не называется улучшением;
• если baseline infeasible, candidate может получить improvement feasibility.

Метрики

По умолчанию:

1. physical sheets;
2. layout forms;
3. color plates;
4. press passes;
5. total overrun;
6. blank product positions.

Objective order задаётся явно.

Coverage

• перебираются все single-column additions из complete supplied small catalog;
• каждый baseline/alternative решается existing exact integer master;
• multiple new columns together не исследуются;
• on-demand generation не выполняется;
• global completeness не заявляется.

Proof fixtures

• simplex 8/8, capacity 4: mixed 2+2 сохраняет 4 листа, но уменьшает forms 2→1 и plates 2→1;
• separate duplex 4+1: mixed 2+2 сохраняет 4 листа, уменьшает forms 4→2 и plates 10→5;
• equal-metric plan не становится improving из-за подписи;
• missing dedicated column впервые создаёт feasible plan;
• custom objective order;
• all columns already present;
• input-order normalization;
• validation, limits, immutability and corruption detection.

Граница

Это exact small oracle, а не large-order pricing generator. Следующий этап должен научиться предлагать integer-useful columns без полного catalog и сравниваться с этим oracle.