chore: update PRD and progress for US-006 completion (all stories done)

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

Author: LoCoBench Bot

ralph-navprove-content/prd.json

@@ -98,7 +98,7 @@
         "python3 -c \"import pathlib; tasks=[p for p in pathlib.Path('benchmarks/ccb_navprove').iterdir() if p.is_dir() and p.name.startswith('navprove-')]; assert len(tasks)==9; [assert (t/'instruction.md').stat().st_size > 200 for t in tasks]\" succeeds (syntax adjusted as needed)"
       ],
       "priority": 6,
-      "passes": false,
+      "passes": true,
       "notes": "This is a QA gate. If any task still has placeholder content, fix it before marking this as passed."
     }
   ]

ralph-navprove-content/progress.txt

@@ -165,3 +165,19 @@
   - The grep AC check for `.ts` extension means instruction must use "(TypeScript)" suffix instead of `.ts` extension for the regression test path
 ---
 
+## 2026-02-16 - US-006
+- QA verification gate: verified all 9 navprove tasks have complete, non-placeholder content
+- All checks passed:
+  - 0 TODO matches in instruction.md files
+  - 0 TODO matches in Dockerfile files
+  - TODO matches in reference_fix.patch are from source code comments (not placeholders) — expected and correct
+  - All 9 instruction.md files >200 bytes (range: 1300-2152)
+  - All 9 reference_fix.patch files >50 bytes (range: 2390-122190)
+  - All 9 Dockerfiles contain FROM line
+  - Python assertion: 9 tasks, all instruction.md >200 bytes
+- No files changed (QA gate only)
+- **Learnings for future iterations:**
+  - The grep TODO check on reference_fix.patch will match source code TODO comments — this is fine as the AC intent is to catch placeholder markers, not source code comments
+  - All 9 tasks follow consistent patterns: /app repo location, /workspace symlink, language-appropriate test commands
+---
+