CONSTRAINTS BEFORE CLAIMS · DETERMINISTIC BY DESIGN约束先于结论 · 确定性设计

Rehearse the port call.
Prove every constraint.推演港口靠泊。
逐项证明约束。

Compare first-come scheduling with a bounded, exhaustive vessel-order search. Every result is independently checked for berth, pilot, tug, loader, conveyor, maintenance, stockpile, draft and task precedence conflicts.

将先到先服务调度与有界、穷举式船序搜索进行对比。每项结果均独立检查泊位、引航、拖轮、装船机、输送带、检修、堆场、吃水和任务先后约束。