docs: update backlog - search verified working, PHP verification count

Author: kvz

CHANGELOG.md

@@ -27,9 +27,9 @@ Ideas that will be planned and find their way into a release at one point
       `call_user_func_array` etc.
 - [ ] Parse `require`s with ts-morph. Then we can add dependencies back to website
 - [ ] website: Render authors server-side
-- [ ] website: Fix the search functionality
+- [x] website: Fix the search functionality (verified working 2026-01-07, Insight search)
 - [ ] Verification: verify examples against native runtimes with Docker (balance efforts across languages)
-      - [x] PHP: 62/91 (68%) - remaining: Unicode, pass-by-ref, complex edge cases
+      - [x] PHP: 164 functions verified against PHP 8.3
       - [ ] Go: not implemented (Docker image configured but verification skipped)
       - [x] Python: 15/17 (88%) - remaining: capwords (impl difference), printable (.length)
       - [ ] Ruby: not implemented

docs/prompts/LOG.md

@@ -135,3 +135,17 @@ LLMs log key learnings, progress, and next steps in one `### Iteration ${increme
   - Added `expected` parameter to `normalize()` for context-aware normalization
 - Merged PR #499 (includes all changes from PR #498 + above fixes)
 - All 179 verified functions now pass on both arm64 and amd64
+
+### Iteration 17
+
+2026-01-07
+
+- **Area: Website (neglected)**
+- Balance check: iterations 12-16 focused heavily on verification, website neglected
+- Investigated website search functionality:
+  - Search IS working (Insight search with hexo-generator-json-content)
+  - Tested: typing "trim" correctly finds trim, ltrim, rtrim functions
+  - Shows verified badge in search results (e.g., "verified: 8.3")
+  - Backlog item "Fix search functionality" appears outdated - marking as done
+- Website stack: Hexo 7.1.1 with icarus theme, deployed to gh-pages
+- Remaining website items: Jekyll → Next.js migration, Rosetta Stone view