hyungi
6a85087b83
전 로컬 LLM 관통 '이드' persona substrate 의 Document Server 측 빌드(W2~W4). 설계 = PKM eid-persona-substrate(r1~r3 수렴) / impl = eid-persona-impl. W2 — compose + 표면 배선: - app/eid/compose.py: persona→rules→overlay→task 단일 system 문자열 + 정적 ROUTE_MAP (런타임 sniffing 아님) + rules 부재 fail-loud · persona 부재 quiet · overflow fail-loud. - 자유-prose 3 표면(react_ask·study_subject_note·study_question_explanation) 중복 정체성· generic 정책 trim + compose 배선(AIClient 에 additive system 파라미터). 도메인 calibration 보존. - STRICT JSON 기계류(briefing_comparative·digest_topic)는 persona-ZERO 동결(불변식 #3). - app/prompts/substrate/: persona(외부 컴파일 산출물 vendor) + rules(생성 가드 서브셋) + overlay 5. W3 — migration + 워커 + study_diagnosis: - migration 301~305: eid_* append-only 원장(약점/복습초안/회고) + approval_requests(가변 큐) + 일정 파생뷰 2. - app/workers/study_weakness.py: study_question_progress.pattern_state 집계로 약점 derived 산출 (LLM 0) + bounded tier(watch/review/focus). nightly cron. - study_diagnosis 표면: 최신 스냅샷을 코치 언어로 번역(약점 판정은 코드, LLM 은 블록 값만 인용). W4-1 — egress 코드층 박탈: - app/eid/ai.py EidAIClient: 이드 표면 = call_primary(내부 MLX) only. 외부 LLM fallback 경로 구조적 봉쇄(call_fallback raise · 자동 fallback 제거 · 외부 endpoint 차단). egress 워커는 분리 유지. load-bearing 정정 3(환경 grounding 강제, 설계 회귀 아님): - rules = 운영 ruleset 전체 → 생성 가드 서브셋(HTML 산출물 룰이 study task 와 충돌). - append-only = REVOKE → CREATE RULE DO INSTEAD NOTHING(단일 owner role 은 REVOKE 무효 + migration 검증기가 plpgsql BEGIN 거부) + actor/source_* NOT NULL 스탬프. - 이드 LLM 봉쇄 = path discipline → EidAIClient 구조화. 검증: eid 순수 단위테스트 30 통과 + py_compile + migration 검증기 모사 + egress 적대감사 COMPLETE. DB/LLM/httpx 의존 테스트(append-only RULE·EidAIClient·E2E)는 staging(Docker) 가동. W4-2 네트워크 belt 은 조건부 보류(코드층 1차 충분, P0-3② 원격 실측 후 hard-gate 시 승격). Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
52 lines
2.1 KiB
Python
52 lines
2.1 KiB
Python
"""eid_study_weakness ORM — 이드 학습 약점 스냅샷 (append-only). migration 301.
|
|
|
|
워커(workers/study_weakness.py)가 INSERT, study_diagnosis 표면이 최신 active 행 SELECT.
|
|
UPDATE/DELETE 는 DB RULE(DO INSTEAD NOTHING)로 차단 — ORM mutate 시도도 no-op(행 불변).
|
|
스탬프 actor·source_generated_at 는 NOT NULL no-default → 워커가 명시 제공(누락 INSERT 거부).
|
|
"""
|
|
|
|
from __future__ import annotations
|
|
|
|
from datetime import datetime
|
|
|
|
from sqlalchemy import (
|
|
BigInteger,
|
|
Boolean,
|
|
DateTime,
|
|
ForeignKey,
|
|
Integer,
|
|
String,
|
|
func,
|
|
)
|
|
from sqlalchemy.dialects.postgresql import JSONB
|
|
from sqlalchemy.orm import Mapped, mapped_column
|
|
|
|
from core.database import Base
|
|
|
|
|
|
class EidStudyWeakness(Base):
|
|
__tablename__ = "eid_study_weakness"
|
|
|
|
id: Mapped[int] = mapped_column(BigInteger, primary_key=True)
|
|
user_id: Mapped[int] = mapped_column(
|
|
BigInteger, ForeignKey("users.id", ondelete="CASCADE"), nullable=False
|
|
)
|
|
# [{topic_id, topic, chronic, relapsed, unsure, coverage_gap, overdue, trend, tier}]
|
|
weaknesses: Mapped[list] = mapped_column(JSONB, nullable=False)
|
|
# {avoidance_topics, session_abandon_rate, stale_due_count, skew_topics}
|
|
habit_signals: Mapped[dict] = mapped_column(JSONB, nullable=False)
|
|
trend_label: Mapped[str] = mapped_column(String(20), nullable=False)
|
|
sample_attempts: Mapped[int] = mapped_column(Integer, nullable=False, default=0)
|
|
is_shallow_sample: Mapped[bool] = mapped_column(Boolean, nullable=False, default=False)
|
|
status: Mapped[str] = mapped_column(String(20), nullable=False, default="active")
|
|
supersedes_id: Mapped[int | None] = mapped_column(
|
|
BigInteger, ForeignKey("eid_study_weakness.id", ondelete="SET NULL")
|
|
)
|
|
actor: Mapped[str] = mapped_column(String(20), nullable=False) # 스탬프(no default)
|
|
source_generated_at: Mapped[datetime] = mapped_column(
|
|
DateTime(timezone=True), nullable=False
|
|
) # 스탬프(no default)
|
|
created_at: Mapped[datetime] = mapped_column(
|
|
DateTime(timezone=True), nullable=False, server_default=func.now()
|
|
)
|