docs: P8 vocabulary governance + WSL run tribal knowledgedev

- AGENTS.md §4 'Naming & vocabulary': wire to GLOSSARY.md (P8 — never coin a
  synonym for an existing concept; propose new terms, don't coin silently).
- AGENTS.md §8 'Tribal knowledge (notes/)': establish notes/<topic>.md as the
  non-inferable-knowledge store with the P6 test.
- Rename study_segment_seek_target -> study_portion_seek_target ('segment' was
  a glossary-proscribed synonym for 'speaking portion'); fix 'Section nav' /
  'jump to start' comments to canonical terms (portion nav / seek).
- notes/wsl-arch-razer-run.md: how to run the desktop app under WSLg on the
  Arch/Razer dev machine (the LIBGL_ALWAYS_INDIRECT segfault trap, required
  env vars, GPU driver options).

1 files changed, 4 insertions, 4 deletions

diff --git a/src/study.c b/src/study.c
index 7f402bd..f88ab18 100644
--- a/src/study.c
+++ b/src/study.c
@@ -130,7 +130,7 @@ int study_total_speaking_portions(const PlayerState *state)
     return state->silenceCount + 1;
 }
 
-float study_segment_seek_target(const PlayerState *state, int portion)
+float study_portion_seek_target(const PlayerState *state, int portion)
 {
     float pos = study_speaking_portion_start(state, portion);
     float target = pos * state->duration + (2.0f / 60.0f);
@@ -171,8 +171,8 @@ void study_auto_pause_check(PlayerState *state, bool smartPlayHeld, bool spaceHe
 
     if (nowInSilence && !state->wasInSilence)
     {
-        /* Entering silence: jump to start of next speaking portion */
-        float target = study_segment_seek_target(state, silIdx + 1);
+        /* Entering silence: seek to start of next speaking portion */
+        float target = study_portion_seek_target(state, silIdx + 1);
         PauseMusicStream(state->music);
         SeekMusicStream(state->music, target);
         state->currentTime = target;
@@ -183,7 +183,7 @@ void study_auto_pause_check(PlayerState *state, bool smartPlayHeld, bool spaceHe
     {
         /* Exiting silence: land at start of current speaking portion */
         int portion = study_current_speaking_portion(state, pos);
-        float target = study_segment_seek_target(state, portion);
+        float target = study_portion_seek_target(state, portion);
         PauseMusicStream(state->music);
         SeekMusicStream(state->music, target);
         state->currentTime = target;