alfworld-search-verifier

1# Instructions
2 
3**Trigger Condition:** Use this skill when an initial search for a target object (e.g., `cellphone`) has been performed but the required quantity has not been found, or when you need to verify that no viable location was missed before task failure.
4 
5## Core Procedure
6 
71.  **Initialize Tracking:** Maintain a mental or explicit list of all receptacles (`recep`) you have already visited during your initial search (e.g., `sidetable 1`, `shelf 1-8`, `drawer 1`, `drawer 2`, `desk 1`).
8 
92.  **Systematic Revisit:** Do not search new, unvisited locations. Instead, systematically return to each previously visited receptacle in a logical order (e.g., by proximity or by the original search sequence).
10    *   **Action:** Use `go to {recep}` to navigate.
11    *   **For Closed Receptacles:** If a receptacle was closed during the initial search and you opened it, it may be closed again. Re-open it to verify its contents.
12        *   **Action:** Use `open {recep}`.
13    *   **For Open/Empty Receptacles:** Observe the contents again. The state may have changed, or an item may have been overlooked.
14    *   **Action:** No action needed; read the `Observation`.
15 
163.  **Verification Logic:** For each revisited location:
17    *   If the target object is now present, retrieve it (`take {obj} from {recep}`) and proceed with the main task.
18    *   If the location is confirmed to lack the target object, note it as thoroughly checked and move to the next location on your list.
19…