WINDWAY DATA / DOCS / v1.0.0
评估
仅评估这些环境实际支持的结果。
技术参考 · 英语
Supported outcomes
GameNav: before/after reachability, optimal movement cost and witness legality. GameCoord: feasibility, optimal makespan, independent lower bound, coordination overhead and witness legality. These labels permit checking a solver output against exact computational ground truth.
Failure and invalid action
Supported violations include blocked/out-of-bounds cells, illegal path jumps, wrong cost, vertex collision, edge swap and incorrect makespan. The shipped negative tests demonstrate altered label rejection; not every invalid-action class has a separate negative test.
Recovery boundary
An obstacle edit may invalidate a previous path; an after-edit valid witness demonstrates a changed solution. The samples do not log diagnosis, an attempted recovery policy or recovery latency. Do not interpret these pairs as measured recovery success. Private failure/recovery evaluations must define their own action schema, reset, acceptance criteria and observer.
Executable quickstart · Independent checks · Schema reference