From 0080b3b6a28cc0f576b3d8d1dbb9391150afd61f Mon Sep 17 00:00:00 2001
From: river0525 <0525sotaro@gmail.com>
Date: Fri, 27 Mar 2026 09:01:45 +0900
Subject: [PATCH 1/6] feat: add EDIT_PROFILE_PAGE constant

---
 src/lib/constants/navbar-links.ts | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/lib/constants/navbar-links.ts b/src/lib/constants/navbar-links.ts
index fb896c22d..52034a109 100644
--- a/src/lib/constants/navbar-links.ts
+++ b/src/lib/constants/navbar-links.ts
@@ -6,6 +6,7 @@ export const FORGOT_PASSWORD_PAGE = `/forgot_password`;
 export const WORKBOOKS_PAGE = `/workbooks`;
 export const PROBLEMS_PAGE = `/problems`;
 export const VOTES_PAGE = `/votes`;
+export const EDIT_PROFILE_PAGE = `/users/edit`;
 
 // For Admin
 export const IMPORTING_PROBLEMS_PAGE = `/tasks`;

From e9ea7a0a080b4823b809ff7b42aae8aad924521d Mon Sep 17 00:00:00 2001
From: river0525 <0525sotaro@gmail.com>
Date: Fri, 27 Mar 2026 09:09:40 +0900
Subject: [PATCH 2/6] feat: re-enable AtCoder verification tab on /users/edit

---
 .../AtCoderUserValidationForm.svelte          | 37 ++++----
 src/routes/users/edit/+page.svelte            | 85 +++++++------------
 2 files changed, 48 insertions(+), 74 deletions(-)

diff --git a/src/lib/components/AtCoderUserValidationForm.svelte b/src/lib/components/AtCoderUserValidationForm.svelte
index 6fbcde91a..11fb993e0 100644
--- a/src/lib/components/AtCoderUserValidationForm.svelte
+++ b/src/lib/components/AtCoderUserValidationForm.svelte
@@ -1,4 +1,5 @@
 <script lang="ts">
+  import { untrack } from 'svelte';
   import { Label, Input, P } from 'flowbite-svelte';
   import ClipboardCopy from '@lucide/svelte/icons/clipboard-copy';
 
@@ -40,12 +41,11 @@
     status: string;
   }
 
-  let {
-    username = $bindable(),
-    atcoder_username = $bindable(),
-    atcoder_validationcode = $bindable(),
-    status,
-  }: Props = $props();
+  let { username, atcoder_username, atcoder_validationcode, status }: Props = $props();
+
+  // Editable only in 'nothing' step; server is authoritative after each action.
+  // untrack: prop is the initial seed only — intentional one-time capture.
+  let editableAtcoderId = $state(untrack(() => atcoder_username));
 
   // TODO: Add a "Copied!" message when clicking
   // WHY: To provide feedback when the copy operation succeeds
@@ -64,7 +64,7 @@
       <P size="base" class="mt-6">AtCoder IDを入力し、本人確認用の文字列を生成してください。</P>
 
       <!-- hiddenでusernameを持つのは共通-->
-      <Input size="md" type="hidden" name="username" bind:value={username} />
+      <Input size="md" type="hidden" name="username" value={username} />
       <LabelWrapper labelName="ユーザ名" inputValue={username} />
 
       <Label class="flex flex-col gap-2">
@@ -74,7 +74,7 @@
           size="md"
           name="atcoder_username"
           placeholder="chokudai"
-          bind:value={atcoder_username}
+          bind:value={editableAtcoderId}
         />
       </Label>
 
@@ -91,24 +91,19 @@
       </P>
 
       <!-- hiddenでusernameを持つのは共通-->
-      <Input size="md" type="hidden" name="username" bind:value={username} />
+      <Input size="md" type="hidden" name="username" value={username} />
       <LabelWrapper labelName="ユーザ名" inputValue={username} />
 
       <!-- atcoder_usernameとvalidation_code は編集不可-->
-      <Input size="md" type="hidden" name="atcoder_username" bind:value={atcoder_username} />
+      <Input size="md" type="hidden" name="atcoder_username" value={atcoder_username} />
       <LabelWrapper labelName="AtCoder ID" inputValue={atcoder_username} />
 
-      <Input
-        size="md"
-        type="hidden"
-        name="atcoder_validationcode"
-        bind:value={atcoder_validationcode}
-      />
+      <Input size="md" type="hidden" name="atcoder_validationcode" value={atcoder_validationcode} />
 
       <Label class="flex flex-col gap-2">
         <span>本人確認用の文字列</span>
         <div>
-          <Input size="md" bind:value={atcoder_validationcode}>
+          <Input size="md" value={atcoder_validationcode}>
             {#snippet right()}
               <ClipboardCopy class="w-5 h-5" onclick={handleClick} />
             {/snippet}
@@ -120,8 +115,8 @@
     </FormWrapper>
 
     <FormWrapper action="?/reset" marginTop="">
-      <Input size="md" type="hidden" name="username" bind:value={username} />
-      <Input size="md" type="hidden" name="atcoder_username" bind:value={atcoder_username} />
+      <Input size="md" type="hidden" name="username" value={username} />
+      <Input size="md" type="hidden" name="atcoder_username" value={atcoder_username} />
 
       <SubmissionButton labelName="リセット" />
     </FormWrapper>
@@ -132,11 +127,11 @@
       <h3 class="text-xl text-center font-medium text-gray-900 dark:text-white">本人確認済</h3>
 
       <!-- hiddenでusernameを持つのは共通-->
-      <Input size="md" type="hidden" name="username" bind:value={username} />
+      <Input size="md" type="hidden" name="username" value={username} />
       <LabelWrapper labelName="ユーザ名" inputValue={username} />
 
       <!-- atcoder_usernameを表示（変更不可）-->
-      <Input size="md" type="hidden" name="atcoder_username" bind:value={atcoder_username} />
+      <Input size="md" type="hidden" name="atcoder_username" value={atcoder_username} />
       <LabelWrapper labelName="AtCoder ID" inputValue={atcoder_username} />
 
       <SubmissionButton labelName="リセット" />
diff --git a/src/routes/users/edit/+page.svelte b/src/routes/users/edit/+page.svelte
index ee8dda122..2b47b8c3d 100644
--- a/src/routes/users/edit/+page.svelte
+++ b/src/routes/users/edit/+page.svelte
@@ -1,12 +1,11 @@
 <script lang="ts">
   import { Tabs, TabItem, Alert } from 'flowbite-svelte';
 
-  // import AtCoderUserValidationForm from '$lib/components/AtCoderUserValidationForm.svelte';
+  import AtCoderUserValidationForm from '$lib/components/AtCoderUserValidationForm.svelte';
   import UserAccountDeletionForm from '$lib/components/UserAccountDeletionForm.svelte';
   import ContainerWrapper from '$lib/components/ContainerWrapper.svelte';
   import FormWrapper from '$lib/components/FormWrapper.svelte';
   import LabelWrapper from '$lib/components/LabelWrapper.svelte';
-  // import SubmissionButton from '$lib/components/SubmissionButton.svelte';
 
   import { Roles } from '$lib/types/user';
 
@@ -22,28 +21,33 @@
       message_type: string;
       message: string;
     };
+    form: Record<string, unknown> | null;
   }
 
-  let { data }: Props = $props();
-  // TODO: Restore when AtCoderUserValidationForm is re-enabled (svelte/valid-prop-names-in-kit-pages requires $bindable props to be declared in Props):
-  //   interface Props { ...; status?: string; }
-  //   let { data, status = $bindable('nothing') }: Props = $props();
-  // let status = $state('nothing');
+  let { data, form }: Props = $props();
 
   let role = data.role;
   let username = data.username;
-  // let atcoder_username = data.atcoder_username;
-  // let atcoder_validationcode = data.atcoder_validationcode;
-  // let atcoder_is_validated = data.is_validated;
   let message = data.message;
   let message_type = data.message_type;
 
-  // if (data.is_validated) {
-  //   status = 'validated';
-  // }
-  // if (data.atcoder_username.length > 0 && data.atcoder_validationcode.length > 0) {
-  //   status = 'generated';
-  // }
+  // Status is derived exclusively from server-authoritative data.
+  // After each form action, SvelteKit re-runs load(), so data reflects the latest DB state.
+  const status = $derived(
+    data.is_validated
+      ? 'validated'
+      : data.atcoder_username.length > 0 && data.atcoder_validationcode.length > 0
+        ? 'generated'
+        : 'nothing',
+  );
+
+  // Open the AtCoder tab when the user is in any step of the verification flow.
+  // Also check form?.is_tab_atcoder as extra safety in case load() hasn't reflected the action yet.
+  const shouldOpenAtCoderTab = $derived(
+    data.is_validated ||
+      (data.atcoder_username.length > 0 && data.atcoder_validationcode.length > 0) ||
+      form?.is_tab_atcoder === true,
+  );
 
   const isGeneralUser = (userRole: Roles, userName: string) => {
     return userRole === Roles.USER && userName !== 'guest';
@@ -69,7 +73,7 @@
     ulClass="flex flex-wrap md:flex-nowrap md:gap-2 rtl:space-x-reverse items-start"
   >
     <!-- 基本情報 -->
-    <TabItem open>
+    <TabItem open={!shouldOpenAtCoderTab}>
       {#snippet titleSlot()}
         <span class="text-lg">基本情報</span>
       {/snippet}
@@ -77,48 +81,23 @@
       <ContainerWrapper>
         <FormWrapper action="update">
           <LabelWrapper labelName="ユーザ名" inputValue={username} />
-          <!-- <LabelWrapper labelName="AtCoder ID" inputValue={atcoder_username} /> -->
-
-          <!-- <SubmissionButton labelName="保存" /> -->
         </FormWrapper>
       </ContainerWrapper>
     </TabItem>
 
-    <!-- FIXME: フォーム送信時に、基本情報ページが表示されてしまう不具合が修正されるまでは非公開 -->
     <!-- AtCoder IDを利用した認証 -->
-    <!-- <TabItem>
-      <span slot="title" class="text-lg">AtCoder IDを設定</span>
-      <AtCoderUserValidationForm {username} {atcoder_username} {atcoder_validationcode} {status} />
-    </TabItem> -->
-
-    <!-- FIXME: 回答状況が正しく取得されないバグが修正されるまでは非公開 -->
-    <!-- 問題の回答状況をインポート (AtCoder ProblemsのAPIを使用) -->
-    <!-- {#if atcoder_is_validated === true}
-      <TabItem>
-        <span slot="title" class="text-lg text-gray-400 dark:text-gray-500">インポート</span>
-        <p class="text-sm text-gray-500 dark:text-gray-400">
-          <b>TODO:Taskのインポートボタンを作成する</b>
-        </p>
-      </TabItem>
-    {:else}
-      <TabItem disabled>
-        <span slot="title" class="text-lg text-gray-400 dark:text-gray-500">インポート</span>
-        <p class="text-sm text-gray-500 dark:text-gray-400">
-          <b>Disabled:</b>
-        </p>
-      </TabItem>
-    {/if} -->
+    <TabItem open={shouldOpenAtCoderTab}>
+      {#snippet titleSlot()}
+        <span class="text-lg">AtCoder IDを設定</span>
+      {/snippet}
 
-    <!-- TODO: 実装できるまで非公開 -->
-    <!-- ステータス -->
-    <!-- <TabItem disabled>
-      <span slot="title" class="text-lg text-gray-400 dark:text-gray-500">ステータス編集</span>
-      <p class="text-sm text-gray-500 dark:text-gray-400">
-        <b>Settings:</b>
-        Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut
-        labore et dolore magna aliqua.
-      </p>
-    </TabItem> -->
+      <AtCoderUserValidationForm
+        {username}
+        atcoder_username={data.atcoder_username}
+        atcoder_validationcode={data.atcoder_validationcode}
+        {status}
+      />
+    </TabItem>
 
     <!-- アカウント削除 (ゲストを除いた一般ユーザのみ) -->
     {#if isGeneralUser(role, username)}

From 833d92806cdc54b6ad43db5948ac99edc07d7b44 Mon Sep 17 00:00:00 2001
From: river0525 <0525sotaro@gmail.com>
Date: Fri, 27 Mar 2026 09:10:28 +0900
Subject: [PATCH 3/6] feat: require AtCoder verification to cast a grade vote

---
 src/features/votes/actions/vote_actions.ts | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/features/votes/actions/vote_actions.ts b/src/features/votes/actions/vote_actions.ts
index af9e206e0..41ebd438c 100644
--- a/src/features/votes/actions/vote_actions.ts
+++ b/src/features/votes/actions/vote_actions.ts
@@ -4,6 +4,7 @@ import { TaskGrade } from '@prisma/client';
 import { upsertVoteGradeTables } from '$features/votes/services/vote_grade';
 import {
   BAD_REQUEST,
+  FORBIDDEN,
   INTERNAL_SERVER_ERROR,
   UNAUTHORIZED,
 } from '$lib/constants/http-response-status-codes';
@@ -27,6 +28,12 @@ export const voteAbsoluteGrade = async ({
     });
   }
 
+  if (!locals.user?.is_validated) {
+    return fail(FORBIDDEN, {
+      message: 'AtCoderアカウントの認証が必要です。',
+    });
+  }
+
   const userId = session.user.userId;
   const taskIdRaw = formData.get('taskId');
   const gradeRaw = formData.get('grade');

From 0ad162ff6ad39ea05bb5a93870e67dd378c798c4 Mon Sep 17 00:00:00 2001
From: river0525 <0525sotaro@gmail.com>
Date: Fri, 27 Mar 2026 09:11:40 +0900
Subject: [PATCH 4/6] feat: show AtCoder verification prompt on vote detail
 page for unverified users

---
 src/routes/votes/[slug]/+page.server.ts |  1 +
 src/routes/votes/[slug]/+page.svelte    | 17 +++++++++++++++--
 2 files changed, 16 insertions(+), 2 deletions(-)

diff --git a/src/routes/votes/[slug]/+page.server.ts b/src/routes/votes/[slug]/+page.server.ts
index 27e6db013..181179028 100644
--- a/src/routes/votes/[slug]/+page.server.ts
+++ b/src/routes/votes/[slug]/+page.server.ts
@@ -38,6 +38,7 @@ export const load: PageServerLoad = async ({ locals, params }) => {
     counters,
     stats,
     isLoggedIn: session !== null,
+    isAtCoderVerified: locals.user?.is_validated === true,
   };
 };
 
diff --git a/src/routes/votes/[slug]/+page.svelte b/src/routes/votes/[slug]/+page.svelte
index 6d92afe52..aefebed95 100644
--- a/src/routes/votes/[slug]/+page.svelte
+++ b/src/routes/votes/[slug]/+page.svelte
@@ -16,10 +16,13 @@
     toChangeTextColorIfNeeds,
   } from '$lib/utils/task';
   import { nonPendingGrades } from '$features/votes/utils/grade_options';
-  import { SIGNUP_PAGE, LOGIN_PAGE } from '$lib/constants/navbar-links';
+  import { SIGNUP_PAGE, LOGIN_PAGE, EDIT_PROFILE_PAGE } from '$lib/constants/navbar-links';
 
   let { data } = $props();
 
+  // @ts-expect-error svelte-check TS2554: AppTypes declaration merging causes RouteId to resolve as string, requiring params. Runtime behavior is correct.
+  const editProfileHref = resolve(EDIT_PROFILE_PAGE);
+
   const totalVotes = $derived(
     data.counters ? data.counters.reduce((sum, c) => sum + c.count, 0) : 0,
   );
@@ -115,8 +118,18 @@
         {@render voteForm()}
       </div>
     </details>
+  {:else if data.isLoggedIn && !data.isAtCoderVerified}
+    <!-- ログイン済み・未認証 → 認証誘導 -->
+    <div
+      class="bg-yellow-50 dark:bg-yellow-900/20 border border-yellow-200 dark:border-yellow-700 rounded-lg p-4 mb-4"
+    >
+      <p class="text-yellow-800 dark:text-yellow-200 font-medium mb-2">
+        投票するにはAtCoderアカウントの認証が必要です。
+      </p>
+      <Button href={editProfileHref} color="yellow" size="sm">AtCoderアカウントを認証する</Button>
+    </div>
   {:else if data.isLoggedIn}
-    <!-- 未投票・ログイン済み → 投票フォーム -->
+    <!-- 未投票・ログイン済み・認証済み → 投票フォーム -->
     <p class="text-gray-600 dark:text-gray-300 mb-4">
       この問題のグレードを投票してください。投票後に集計結果を確認できます。
     </p>

From 1c5681e198a780842bcb460ac49b040dda28ac34 Mon Sep 17 00:00:00 2001
From: river0525 <0525sotaro@gmail.com>
Date: Fri, 27 Mar 2026 09:56:06 +0900
Subject: [PATCH 5/6] feat: propagate isAtCoderVerified to VotableGrade
 dropdown on problems page

---
 .../components/contest-table/TaskTable.svelte |  4 ++-
 .../contest-table/TaskTableBodyCell.svelte    |  4 ++-
 .../votes/components/VotableGrade.svelte      | 27 ++++++++++++++++---
 src/routes/problems/+page.server.ts           |  2 ++
 src/routes/problems/+page.svelte              |  3 ++-
 5 files changed, 33 insertions(+), 7 deletions(-)

diff --git a/src/features/tasks/components/contest-table/TaskTable.svelte b/src/features/tasks/components/contest-table/TaskTable.svelte
index 1276e11fd..821491b79 100644
--- a/src/features/tasks/components/contest-table/TaskTable.svelte
+++ b/src/features/tasks/components/contest-table/TaskTable.svelte
@@ -37,10 +37,11 @@
   interface Props {
     taskResults: TaskResults;
     isLoggedIn: boolean;
+    isAtCoderVerified: boolean;
     voteResults: VoteStatisticsMap;
   }
 
-  let { taskResults, isLoggedIn, voteResults }: Props = $props();
+  let { taskResults, isLoggedIn, isAtCoderVerified, voteResults }: Props = $props();
 
   // Prepare contest table provider based on the active contest type.
   let activeContestType: ContestTableProviderGroups = $derived(activeContestTypeStore.get());
@@ -283,6 +284,7 @@
                       <TaskTableBodyCell
                         {taskResult}
                         {isLoggedIn}
+                        {isAtCoderVerified}
                         {voteResults}
                         isShownTaskIndex={contestTable.displayConfig.isShownTaskIndex}
                         onupdate={(updatedTask: TaskResult) => handleUpdateTaskResult(updatedTask)}
diff --git a/src/features/tasks/components/contest-table/TaskTableBodyCell.svelte b/src/features/tasks/components/contest-table/TaskTableBodyCell.svelte
index 684ad5fc7..242d6e7b2 100644
--- a/src/features/tasks/components/contest-table/TaskTableBodyCell.svelte
+++ b/src/features/tasks/components/contest-table/TaskTableBodyCell.svelte
@@ -11,6 +11,7 @@
   interface Props {
     taskResult: TaskResult;
     isLoggedIn: boolean;
+    isAtCoderVerified: boolean;
     isShownTaskIndex: boolean;
     voteResults: VoteStatisticsMap;
     onupdate?: (updatedTask: TaskResult) => void; // Ensure to update task result in parent component.
@@ -19,6 +20,7 @@
   let {
     taskResult,
     isLoggedIn,
+    isAtCoderVerified,
     isShownTaskIndex,
     voteResults,
     onupdate = () => {},
@@ -39,7 +41,7 @@
 </div>
 
 {#snippet taskGradeLabel(taskResult: TaskResult)}
-  <VotableGrade {taskResult} {isLoggedIn} {estimatedGrade} />
+  <VotableGrade {taskResult} {isLoggedIn} {isAtCoderVerified} {estimatedGrade} />
 {/snippet}
 
 {#snippet taskTitleAndExternalLink(taskResult: TaskResult, isShownTaskIndex: boolean)}
diff --git a/src/features/votes/components/VotableGrade.svelte b/src/features/votes/components/VotableGrade.svelte
index 4f8757e6d..5c86848e1 100644
--- a/src/features/votes/components/VotableGrade.svelte
+++ b/src/features/votes/components/VotableGrade.svelte
@@ -9,7 +9,7 @@
   import { TaskGrade, getTaskGrade, type TaskResult } from '$lib/types/task';
   import { getTaskGradeLabel } from '$lib/utils/task';
   import { nonPendingGrades } from '$features/votes/utils/grade_options';
-  import { SIGNUP_PAGE, LOGIN_PAGE } from '$lib/constants/navbar-links';
+  import { SIGNUP_PAGE, LOGIN_PAGE, EDIT_PROFILE_PAGE } from '$lib/constants/navbar-links';
   import { errorMessageStore } from '$lib/stores/error_message';
 
   import GradeLabel from '$lib/components/GradeLabel.svelte';
@@ -18,10 +18,12 @@
   interface Props {
     taskResult: TaskResult;
     isLoggedIn: boolean;
+    // undefined means the prop was not passed — treat as verified to maintain backward compatibility.
+    isAtCoderVerified?: boolean;
     estimatedGrade?: string;
   }
 
-  let { taskResult, isLoggedIn, estimatedGrade }: Props = $props();
+  let { taskResult, isLoggedIn, isAtCoderVerified, estimatedGrade }: Props = $props();
 
   // 表示用のグレード（投票後に画面リロードなしで差し替えるためのローカル状態）
   // PENDING かつ estimatedGrade（集計済み中央値）があればそれを優先表示。
@@ -35,6 +37,9 @@
   // Use task_id as a deterministic component ID to avoid SSR/hydration mismatches.
   const componentId = taskResult.task_id;
 
+  // @ts-expect-error svelte-check TS2554: AppTypes declaration merging causes RouteId to resolve as string, requiring params. Runtime behavior is correct.
+  const editProfileHref = resolve(EDIT_PROFILE_PAGE);
+
   let selectedVoteGrade = $state<TaskGrade>();
   let showForm = $state(false);
   let formElement = $state<HTMLFormElement | undefined>(undefined);
@@ -43,7 +48,7 @@
   let votedGrade = $state<TaskGrade | null>(null);
 
   async function onTriggerClick() {
-    if (!isLoggedIn || isOpening) return;
+    if (!isLoggedIn || isAtCoderVerified === false || isOpening) return;
     isOpening = true;
     try {
       const res = await fetch(
@@ -151,7 +156,7 @@
 </button>
 
 <!-- Dropdown Menu -->
-{#if isLoggedIn}
+{#if isLoggedIn && isAtCoderVerified !== false}
   <Dropdown
     triggeredBy={`#update-grade-dropdown-trigger-${componentId}`}
     simple
@@ -174,6 +179,20 @@
       >詳細</DropdownItem
     >
   </Dropdown>
+{:else if isLoggedIn}
+  <!-- Logged in but not AtCoder-verified: prompt user to complete verification -->
+  <Dropdown
+    triggeredBy={`#update-grade-dropdown-trigger-${componentId}`}
+    simple
+    class="w-40 z-50 border border-gray-200 dark:border-gray-100"
+  >
+    <DropdownItem
+      href={editProfileHref}
+      class="rounded-md text-sm text-yellow-700 dark:text-yellow-300"
+    >
+      AtCoder認証が必要です
+    </DropdownItem>
+  </Dropdown>
 {:else}
   <Dropdown
     triggeredBy={`#update-grade-dropdown-trigger-${componentId}`}
diff --git a/src/routes/problems/+page.server.ts b/src/routes/problems/+page.server.ts
index 70924b383..e0fa882e0 100644
--- a/src/routes/problems/+page.server.ts
+++ b/src/routes/problems/+page.server.ts
@@ -34,6 +34,7 @@ export async function load({ locals, url }) {
       voteResults,
       isAdmin: isAdmin,
       isLoggedIn: isLoggedIn,
+      isAtCoderVerified: locals.user?.is_validated === true,
     };
   } else {
     return {
@@ -41,6 +42,7 @@ export async function load({ locals, url }) {
       voteResults,
       isAdmin: isAdmin,
       isLoggedIn: isLoggedIn,
+      isAtCoderVerified: locals.user?.is_validated === true,
     };
   }
 }
diff --git a/src/routes/problems/+page.svelte b/src/routes/problems/+page.svelte
index a3689daf8..47ae6a007 100644
--- a/src/routes/problems/+page.svelte
+++ b/src/routes/problems/+page.svelte
@@ -24,6 +24,7 @@
 
   let isAdmin: boolean = data.isAdmin;
   let isLoggedIn: boolean = data.isLoggedIn;
+  let isAtCoderVerified: boolean = data.isAtCoderVerified;
   let voteResults = data.voteResults;
 
   function isActiveTab(currentTab: ActiveProblemListTab): boolean {
@@ -60,7 +61,7 @@
 {/snippet}
 
 {#snippet contestTable()}
-  <TaskTable {taskResults} {isLoggedIn} {voteResults} />
+  <TaskTable {taskResults} {isLoggedIn} {isAtCoderVerified} {voteResults} />
 {/snippet}
 
 {#snippet listByGrade()}

From a8ca83cdfadf0d9fbcc91238f1b55501c157983b Mon Sep 17 00:00:00 2001
From: river0525 <0525sotaro@gmail.com>
Date: Fri, 27 Mar 2026 10:16:12 +0900
Subject: [PATCH 6/6] feat: open AtCoder tab when navigating from
 unverified-user prompt via ?tab=atcoder

---
 src/features/votes/components/VotableGrade.svelte |  4 ++--
 src/routes/users/edit/+page.server.ts             |  3 ++-
 src/routes/users/edit/+page.svelte                | 10 +++++++---
 src/routes/votes/[slug]/+page.svelte              |  2 +-
 4 files changed, 12 insertions(+), 7 deletions(-)

diff --git a/src/features/votes/components/VotableGrade.svelte b/src/features/votes/components/VotableGrade.svelte
index 5c86848e1..c3317cec5 100644
--- a/src/features/votes/components/VotableGrade.svelte
+++ b/src/features/votes/components/VotableGrade.svelte
@@ -38,7 +38,7 @@
   const componentId = taskResult.task_id;
 
   // @ts-expect-error svelte-check TS2554: AppTypes declaration merging causes RouteId to resolve as string, requiring params. Runtime behavior is correct.
-  const editProfileHref = resolve(EDIT_PROFILE_PAGE);
+  const editProfileHref = resolve(EDIT_PROFILE_PAGE + '?tab=atcoder');
 
   let selectedVoteGrade = $state<TaskGrade>();
   let showForm = $state(false);
@@ -184,7 +184,7 @@
   <Dropdown
     triggeredBy={`#update-grade-dropdown-trigger-${componentId}`}
     simple
-    class="w-40 z-50 border border-gray-200 dark:border-gray-100"
+    class="w-48 z-50 border border-gray-200 dark:border-gray-100"
   >
     <DropdownItem
       href={editProfileHref}
diff --git a/src/routes/users/edit/+page.server.ts b/src/routes/users/edit/+page.server.ts
index d68a3b86b..a506aaec8 100644
--- a/src/routes/users/edit/+page.server.ts
+++ b/src/routes/users/edit/+page.server.ts
@@ -7,7 +7,7 @@ import type { Actions } from './$types';
 
 import { redirect } from '@sveltejs/kit';
 
-export async function load({ locals }) {
+export async function load({ locals, url }) {
   const session = await locals.auth.validate();
   if (!session) {
     redirect(302, '/login');
@@ -26,6 +26,7 @@ export async function load({ locals }) {
       is_validated: user?.atcoder_validation_status as boolean,
       message_type: '',
       message: '',
+      openAtCoderTab: url.searchParams.get('tab') === 'atcoder',
     };
   } catch (error) {
     console.error('Not found username: ', session?.user.username, error);
diff --git a/src/routes/users/edit/+page.svelte b/src/routes/users/edit/+page.svelte
index 2b47b8c3d..67b22f103 100644
--- a/src/routes/users/edit/+page.svelte
+++ b/src/routes/users/edit/+page.svelte
@@ -20,6 +20,7 @@
       is_validated: boolean;
       message_type: string;
       message: string;
+      openAtCoderTab: boolean;
     };
     form: Record<string, unknown> | null;
   }
@@ -41,10 +42,13 @@
         : 'nothing',
   );
 
-  // Open the AtCoder tab when the user is in any step of the verification flow.
-  // Also check form?.is_tab_atcoder as extra safety in case load() hasn't reflected the action yet.
+  // Open the AtCoder tab when:
+  // - navigated here via ?tab=atcoder (e.g. from the unverified-user prompt)
+  // - the user is already in any step of the verification flow
+  // - form?.is_tab_atcoder is set (extra safety in case load() hasn't reflected the action yet)
   const shouldOpenAtCoderTab = $derived(
-    data.is_validated ||
+    data.openAtCoderTab ||
+      data.is_validated ||
       (data.atcoder_username.length > 0 && data.atcoder_validationcode.length > 0) ||
       form?.is_tab_atcoder === true,
   );
diff --git a/src/routes/votes/[slug]/+page.svelte b/src/routes/votes/[slug]/+page.svelte
index aefebed95..6b5a62d8b 100644
--- a/src/routes/votes/[slug]/+page.svelte
+++ b/src/routes/votes/[slug]/+page.svelte
@@ -21,7 +21,7 @@
   let { data } = $props();
 
   // @ts-expect-error svelte-check TS2554: AppTypes declaration merging causes RouteId to resolve as string, requiring params. Runtime behavior is correct.
-  const editProfileHref = resolve(EDIT_PROFILE_PAGE);
+  const editProfileHref = resolve(EDIT_PROFILE_PAGE + '?tab=atcoder');
 
   const totalVotes = $derived(
     data.counters ? data.counters.reduce((sum, c) => sum + c.count, 0) : 0,