chore: update PRD and progress for US-007 completion

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: LoCoBench Bot

ralph-navprove/prd.json

@@ -119,7 +119,7 @@
         "test.sh is executable and passes bash -n syntax check"
       ],
       "priority": 7,
-      "passes": false,
+      "passes": true,
       "notes": "tutanota: f373ac38. TypeScript test uses npx jest for test runner."
     },
     {

ralph-navprove/progress.txt

@@ -129,3 +129,14 @@
   - Go tasks differ from Python only in: language field, AGENT_TEST_PATH extension (.go vs .py), TEST_COMMAND (go test vs python3 -m pytest)
   - Go test -timeout flag uses Go duration format (60s) not seconds integer
 ---
+
+## 2026-02-16 - US-007
+- Created 1 TypeScript task directory: navprove-tutanota-search-001
+- 6 files: task.toml (language=typescript), instruction.md, environment/Dockerfile, tests/test.sh, tests/reference_fix.patch, tests/find_and_prove_verifier.sh
+- test.sh: AGENT_TEST_PATH=/workspace/regression_test.test.ts, TEST_COMMAND='npx jest --timeout=60000'
+- Passes bash -n syntax check, executable bits set
+- Files changed: 6 new files
+- **Learnings for future iterations:**
+  - TypeScript tasks use `.test.ts` extension (Jest convention), timeout in ms (60000) not seconds
+  - npx jest --timeout flag sets per-test timeout in milliseconds
+---