File size: 14,958 Bytes
afd13cb 8fb90d0 afd13cb 7badcff afd13cb 8fb90d0 afd13cb 8fb90d0 afd13cb 8fb90d0 afd13cb 7badcff afd13cb 0ba5932 8fb90d0 0ba5932 8fb90d0 0ba5932 8fb90d0 0ba5932 8fb90d0 0ba5932 afd13cb 0ba5932 afd13cb | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 | """The teacher's AI queue: a student never calls Claude. A teacher reviews each request and sends it.
A student's photographed problem (POST /api/math/photo) or the answer they want checked
(POST /api/math/answer-attempts/{id}/grade, which the student presses to send it to their teacher; a unit quiz's hand-in
sends all its answers) becomes a request in the
Supabase table `math_ai_requests`. The class's teacher (the account chosen in the class editor) sees the requests of
their class's students, and a manager sees every request. The teacher looks at the photo and either sends it to the
AI or declines it with an optional note. The student's page shows the request waiting, and then its result.
Who sends straight to the AI, with no queue: accounts with the teacher, admin or developer role, a class's
teacher, and everyone when sign-in is off (local development: there are no students to hold back).
"""
from __future__ import annotations
import base64
import logging
import urllib.parse
from datetime import datetime, timedelta, timezone
from fastapi import Depends
from fastapi.responses import JSONResponse, Response
from .access import has_permission, students_of
from .answer_scans import ScanError, uuid_text
from .auth import AuthUnavailable, ClassConflict
from .math_photo import PhotoUnavailable
from .teacher_ai import LIMIT_CODE as TEACHER_AI_LIMIT, LimitReached, NO_LIMIT
log = logging.getLogger("mathly.ai_queue")
MIGRATION = "supabase/migrations/20261104090000_math_ai_requests.sql"
TABLE = "/rest/v1/math_ai_requests"
FIELDS = ("id,created_at,user_id,email,kind,state,attempt_id,label,question,result,note,error,"
"reviewed_by,sent_at,finished_at,code")
OPEN = ("pending", "sending")
MAX_OPEN = 5 # a student's requests waiting at once
STALE_SEND = timedelta(minutes=5) # a send that never finished (a restart) may be sent again after this
RECENT = timedelta(hours=24) # handled requests stay on the teacher's list this long
DIRECT_ROLES = frozenset({"teacher", "admin", "developer"})
def may_send(user: dict | None) -> bool:
"""Whether this account calls the AI itself. Everyone else asks their teacher."""
if user is None:
return True # sign-in is off
if DIRECT_ROLES & set(user.get("roles", ())) or "*" in user.get("permissions", ()):
return True
email = str(user.get("email", "")).lower()
return any(email in row.get("teachers", ()) for row in user.get("classes", ()))
def now() -> str:
return datetime.now(timezone.utc).isoformat()
def stamp(when: datetime) -> str:
return urllib.parse.quote(when.isoformat())
class AiQueue:
def __init__(self, auth):
self.auth = auth
self._warned = False
@property
def configured(self) -> bool:
return bool(self.auth is not None and getattr(self.auth, "secret", None))
def _rest(self, query: str = "", method: str = "GET", body=None):
if not self.configured:
raise ScanError(503, "queue_unavailable")
try:
return self.auth._admin(TABLE + query, method, body)
except ClassConflict as exc:
raise ScanError(409, "already_queued") from exc
except AuthUnavailable as exc:
if "answered 404" in str(exc) and not self._warned:
log.warning("the math_ai_requests table is missing; apply %s", MIGRATION)
self._warned = True
else:
log.warning("AI queue: %s", exc)
raise ScanError(503, "queue_unavailable") from exc
# ---- the student's side
def add(self, row: dict) -> dict:
"""A new pending request. For an answer that already has one open, that one."""
try:
return self._rest("?select=" + FIELDS, "POST", row)[0]
except ScanError as exc:
if exc.code == "already_queued" and row.get("attempt_id"):
found = self.for_attempt(row["user_id"], row["attempt_id"])
if found:
return found
raise
def for_attempt(self, user_id: str, attempt_id: str) -> dict | None:
rows = self._rest(f"?select={FIELDS}&user_id=eq.{user_id}&attempt_id=eq.{attempt_id}"
"&order=created_at.desc&limit=1")
return rows[0] if rows else None
def open_count(self, user_id: str) -> int:
return len(self._rest(f"?select=id&user_id=eq.{user_id}&state=in.({','.join(OPEN)})&limit={MAX_OPEN + 1}"))
def mine(self, user_id: str, limit: int = 20) -> list[dict]:
return self._rest(f"?select={FIELDS}&user_id=eq.{user_id}&kind=eq.photo&order=created_at.desc&limit={limit}")
def cancel(self, user_id: str, request_id: str) -> dict | None:
rows = self._rest(f"?id=eq.{request_id}&user_id=eq.{user_id}&state=eq.pending&select={FIELDS}", "PATCH",
{"state": "cancelled", "image": None, "finished_at": now()})
return rows[0] if rows else None
def reopen(self, request_id: str) -> dict:
"""A failed request the student asks for again goes back to pending, instead of a second request."""
rows = self._rest(f"?id=eq.{request_id}&state=in.(failed,declined)&select={FIELDS}", "PATCH",
{"state": "pending", "error": "", "note": "", "finished_at": None})
if not rows:
raise ScanError(409, "request_taken")
return rows[0]
# ---- the teacher's side
def listing(self, emails: set[str] | None, limit: int = 100) -> list[dict]:
"""Open requests, and the ones handled in the last day. `emails`: only these students (None: all)."""
if emails is not None and not emails:
return []
who = ""
if emails is not None:
names = ",".join('"' + e.replace('"', "") + '"' for e in sorted(emails))
who = "&email=in." + urllib.parse.quote(f"({names})", safe="(),")
since = stamp(datetime.now(timezone.utc) - RECENT)
return self._rest(f"?select={FIELDS}{who}&or=(state.in.(pending,sending,failed),finished_at.gte.{since})"
f"&order=created_at.desc&limit={limit}")
def get(self, request_id: str, image: bool = False) -> dict | None:
rows = self._rest(f"?select={FIELDS}{',image' if image else ''}&id=eq.{request_id}")
return rows[0] if rows else None
def claim(self, request_id: str, reviewer: str) -> dict:
"""Takes the request for sending. Two teachers clicking at once: one gets it, the other 409."""
stale = stamp(datetime.now(timezone.utc) - STALE_SEND)
rows = self._rest(f"?id=eq.{request_id}&or=(state.in.(pending,failed),and(state.eq.sending,sent_at.lt.{stale}))"
f"&select={FIELDS},image", "PATCH",
{"state": "sending", "sent_at": now(), "reviewed_by": reviewer, "error": ""})
if not rows:
raise ScanError(409, "request_taken")
return rows[0]
def finish(self, request_id: str, state: str, **fields) -> dict:
rows = self._rest(f"?id=eq.{request_id}&select={FIELDS}", "PATCH",
{"state": state, "finished_at": now(), **fields})
return rows[0] if rows else {}
def decline(self, request_id: str, reviewer: str, note: str) -> dict:
rows = self._rest(f"?id=eq.{request_id}&state=in.(pending,failed)&select={FIELDS}", "PATCH",
{"state": "declined", "image": None, "note": note, "reviewed_by": reviewer,
"finished_at": now()})
if not rows:
raise ScanError(409, "request_taken")
return rows[0]
def for_student(row: dict | None) -> dict | None:
"""What the student's page reads of a request: no teacher email, no other student's data."""
if not row:
return None
return {k: row.get(k) for k in ("id", "created_at", "kind", "state", "label", "result", "note", "finished_at", "code")}
def install_ai_queue_routes(app, signed_in):
if not hasattr(app.state, "ai_queue"):
app.state.ai_queue = AiQueue(app.state.auth)
def queue() -> AiQueue:
return app.state.ai_queue
def account(user=Depends(signed_in)) -> dict:
if not user or not user.get("id"):
raise ScanError(401, "sign_in_required")
return user
def watched(user: dict) -> set[str] | None:
"""The students whose requests this account reviews; None: everyone's (a manager)."""
try:
return students_of(user, app.state.auth.classes())
except AuthUnavailable as exc:
raise ScanError(503, "queue_unavailable") from exc
def reviewer(user=Depends(account)) -> dict:
if not may_send(user) or watched(user) == set(): # a teacher with no class has no one to review
raise ScanError(403, "teacher_required")
return user
def reviewed(user: dict, request_id: str, image: bool = False) -> dict:
row = queue().get(uuid_text(request_id), image=image)
emails = watched(user)
if not row or (emails is not None and row["email"] not in emails):
raise ScanError(404, "not_found")
return row
def failure(code: str, reason: str = "", detail: str = "") -> str:
"""A failed send's `error`: "code|reason|detail", read by the teacher's error details (math.js)."""
return "|".join([code, reason or "", " ".join((detail or "").split())])[:300]
def reply(value, status=200):
return JSONResponse(value, status_code=status, headers={"Cache-Control": "no-store"})
def note(user, kind, row):
actions = getattr(app.state, "actions", None)
if actions is not None:
what = row.get("label") or ("转专讙讬诇 诪爪讜诇诐" if row.get("kind") == "photo" else "")
actions.record(user, kind, " 路 ".join(filter(None, [what, row.get("email", "")])))
# ---- the student
@app.get("/api/math/ai-requests")
def my_requests(user=Depends(account)):
return reply({"direct": may_send(user), "requests": [for_student(r) for r in queue().mine(user["id"])]})
@app.post("/api/math/ai-requests/{request_id}/cancel")
def cancel_request(request_id: str, user=Depends(account)):
row = queue().cancel(user["id"], uuid_text(request_id))
if row is None:
raise ScanError(409, "request_taken")
return reply(for_student(row))
# ---- the teacher
@app.get("/api/ai-queue")
def listing(user=Depends(reviewer)):
rows = queue().listing(watched(user))
return reply({"requests": rows, "all": has_permission(user, "management.access")})
@app.get("/api/ai-queue/{request_id}/image")
def request_image(request_id: str, user=Depends(reviewer)):
row = reviewed(user, request_id, image=True)
if row["kind"] == "photo":
if not row.get("image"):
raise ScanError(404, "not_found")
data = base64.b64decode(row["image"])
else:
answer = app.state.answers.action(row["user_id"], "get", attempt_id=row["attempt_id"])
if not answer.get("attachment"):
raise ScanError(404, "not_found")
data = app.state.answers.read(answer["attachment"]["object_key"])
return Response(data, media_type="image/jpeg",
headers={"Cache-Control": "no-store", "X-Content-Type-Options": "nosniff"})
@app.post("/api/ai-queue/{request_id}/send")
def send(request_id: str, user=Depends(reviewer)):
found = reviewed(user, request_id) # visibility first: another class's request is "not found"
quota = getattr(app.state, "teacher_ai", None) or NO_LIMIT
# a student's answer is checked from their class's daily budget (app/ai_batches.py); a photographed problem,
# or an answer with no class budget, is one of the teacher's 3 AI requests a day (app/teacher_ai.py)
cls = app.state.class_take_one(found["email"]) if found["kind"] == "grading" and hasattr(app.state, "class_take_one") else None
try:
taken = quota.take(user) if cls is None else None
except LimitReached as exc:
raise ScanError(429, TEACHER_AI_LIMIT) from exc
def give_back():
quota.give_back(taken)
if cls is not None:
app.state.class_give_one(cls)
try:
row = queue().claim(uuid_text(request_id), user.get("email", ""))
if row["kind"] == "photo":
row = send_photo(row)
else:
row = send_answer(row)
except Exception:
give_back()
raise
if row.get("state") != "done" or (row.get("result") or {}).get("verdict") == "unreadable":
give_back() # a failed check, or a photo the AI could not read, is not counted
note(user, "ai_sent" if row.get("state") == "done" else "ai_failed", row)
return reply(row)
def send_photo(row: dict) -> dict:
from . import ai_usage
try:
result = app.state.solve_photo(base64.b64decode(row.get("image") or ""), "image/jpeg")
except PhotoUnavailable as exc:
return queue().finish(row["id"], "failed", error=failure("photo_failed", exc.reason, exc.detail))
except Exception as exc:
log.error("AI queue photo failed: %s", type(exc).__name__)
return queue().finish(row["id"], "failed", error=failure(
"photo_failed", "server_error", f"{type(exc).__name__}: {str(exc)[:200]}"))
ai_usage.record(app.state.auth, row["user_id"], "photo", result.pop("usage", None))
return queue().finish(row["id"], "done", result=result, image=None)
def send_answer(row: dict) -> dict:
try:
result = app.state.grade_attempt(row["user_id"], row["attempt_id"])
except ScanError as exc:
return queue().finish(row["id"], "failed", error=failure(exc.code, exc.reason, exc.detail))
grading = (result or {}).get("grading") or {}
if grading.get("state") == "completed":
return queue().finish(row["id"], "done", result={"verdict": grading["result"].get("verdict"),
"score": grading["result"].get("score")})
return queue().finish(row["id"], "failed", error=failure(grading.get("error") or "grading_failed"))
app.state.queue_send_answer = send_answer # the class's batches send the same way (app/ai_batches.py)
@app.post("/api/ai-queue/{request_id}/decline")
def decline(request_id: str, body: dict | None = None, user=Depends(reviewer)):
reviewed(user, request_id)
text = " ".join(str((body or {}).get("note") or "").split())[:500]
row = queue().decline(uuid_text(request_id), user.get("email", ""), text)
note(user, "ai_declined", row)
return reply(row)
|