Skip to content

feat(gre): back-to-Home nav — bump anki pin + docs (engine lane) - #72

Merged
f15cubing merged 2 commits into
mainfrom
agent/gre-home-nav-pin
Jul 5, 2026
Merged

f15cubing merged 2 commits into
mainfrom
agent/gre-home-nav-pin

Conversation

@f15cubing

Copy link
Copy Markdown
Owner

What & why

Bumps the anki submodule pin e4efa0f61f42b3d to bring in the GRE cross-surface "← Home" navigation (fork PR f15cubing/anki#5): a shared GreHomeLink.svelte + new gre:home webview bridge on the dashboard/method/exam surfaces so users can return to GRE Home, plus bigger Home "Your progress" numbers. Pure presentation UI.

Area(s) touched

anki (gitlink pin), docs/codebase/qt.md, docs/codebase/INDEX.md, docs/STATUS.md — engine/Rust PR? yes (submodule pin) — but UI-only, no engine code.

Docs updated

docs/codebase/qt.md (§ cross-surface navigation + Last-verified SHA → 1f42b3d), new INDEX.md row, STATUS.md entry.

Test evidence

Fork side: ./ninja check:svelte Build succeeded; svelte-check 0 errors/0 warnings; changed .py compile. No collection writes.

Engine/Rust extra gate

  • Undo / no collection corruption: N/A — no col writes, no OpChanges, read paths unchanged.
  • Read-only invariant / new RPC: N/A — no new RPC, no Rust.
  • DO NOT SELF-MERGE. Two gates remain and are owner-gated:
    1. Live GUI click-through of the ← Home button on dashboard/method/exam (offscreen QtWebEngine won't init headlessly).
    2. Second-agent review — the agent reviewer is currently billing-blocked; the repo precedent (feat(gre): re-bundle interactive-MCQ deck into both apps + bump GRE_DECK_VERSION (2026-07-03b) #40) is builder self-review + documented deviation if you choose to waive.

Made with Cursor

Felipe Caicedo added 2 commits July 5, 2026 18:51
Bumps the anki pin e4efa0f6 -> 1f42b3d (f15cubing/anki#5): a shared "<- Home"
control across the GRE dashboard/method/exam surfaces via a new gre:home webview
bridge, plus bigger Home progress numbers. Docs updated in the same change:
qt.md (cross-surface navigation section + Last-verified SHA), an INDEX row, and a
STATUS entry.

Pure presentation UI — no rslib/proto/scheduler/undo/collection-store change;
read paths unchanged. Engine lane (submodule); open for owner GUI smoke + merge.
@f15cubing
f15cubing merged commit 4decae1 into main Jul 5, 2026
@f15cubing
f15cubing deleted the agent/gre-home-nav-pin branch July 5, 2026 23:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant