Measured 2026-10-26: /trevato/forge/pulls/6168/files reports diff;dur=97.8 for a 172 KB page, against 9 ms for the same diff's summary on the pull page. Reviews, by people and by the crew, are read here.
Done when:
[ ] The diff phase names its stretches in Server-Timing (git, parse, highlight, comments or whatever it really does).
[ ] The slowest stretch is batched, cached by (base oid, head oid), or limited to the hunks drawn. Say which in the pull.
[ ] A test with a 20-file, 3,000-line diff asserts diff under 30 ms on the second request, and that review comments still anchor on their lines.
Files: the pull files page in src/web/pages/, src/web/diff-view.ts, a test.
Risk: outdated review anchors depend on the exact diff. Keep the line numbering identical.
Measured 2026-10-26:
/trevato/forge/pulls/6168/filesreportsdiff;dur=97.8for a 172 KB page, against 9 ms for the same diff's summary on the pull page. Reviews, by people and by the crew, are read here.Done when:
diffphase names its stretches in Server-Timing (git, parse, highlight, comments or whatever it really does).diffunder 30 ms on the second request, and that review comments still anchor on their lines.Files: the pull files page in src/web/pages/, src/web/diff-view.ts, a test. Risk: outdated review anchors depend on the exact diff. Keep the line numbering identical.