Review evidence and failure behavior

Review the implementation against this contract: Return all reachable finished lots from the supplied material lot. Traverse intermediate batches once.
Test this domain failure: Insert a cycle from a bad import. Terminate traversal and flag the cycle.
Check input citations, calculations, and actual tool logs.
Report unsupported claims and unexecuted tests. Do not approve external actions.