Repository navigation
lab(drf-g): key a focus on its facet too - #1769
Conversation
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01G22yT6htkcdyXsihxxXdrg
FocusKey was (source, map, scope), but a focus caches ONE gathered facet column, so loading the same map with a second facet returned the first facet's column (measured: 36595 where -5 was gathered). The facet is now part of the key; two facets of one map are two foci. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01G22yT6htkcdyXsihxxXdrg
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01G22yT6htkcdyXsihxxXdrg
|
Important
This repository does not receive automatic reviews because it has fewer than 10 stars.
|
Codex Review SummaryThis comment shows the latest Codex review activity on this pull request.
ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings. |
This fixes a cache-key bug in
drf-focus-probethat I found while reading the focus manager for W8.Bug.
FocusKeywas(source, map, scope), but a focus caches one gathered facet column. Loading the same map a second time with a different facet returned the first facet's column: the test measured 36595 where the second facet holds -5.Fix.
facetis now aFocusKeyfield, andFacetderivesHash. Two facets of one map build two foci; loading the same facet again is still a cache hit.Tests. 24 pass (
--features handoff) on native and onx86-64-v3; clippy-D warningsis clean and the examples build.g_two_facets_of_one_map_are_two_foci_not_one_cached_columnwas committed first and failed on main.loadkeys every focus on a constant facet): the new test andl2_retire_*go red.Not affected: the W1–W7 writeback and handoff results, because writeback stages by an explicit facet and never reads the cached column. The
p2_breakeventimings are unaffected too, since each run loads one facet per key.Board:
.claude/board/entries/2026-10-25-drf-focuskey-facet.md.Generated by Claude Code