"""M01 수식 탭 서버 몫(PLAN 796-1 · 요구 655 · 657) — 수식 나무 읽기 · 고침 미리 셈 · 저장. 모델 = `scripts/master_equation.py`(나무 · 변수 표) · `master_equation_edit.py`(고침 · 검사) · 키보드 글 번역 · 상한 = M02 단가산출 식 칸과 한 벌(`M02_Sangeun_Formula` 불러 씀 · 고치지 않음) · 셈 = 엔진 한 벌(③ 서버 단독 · 브라우저 값 받아 적지 않음) · 저장 = 기존 M01 `/save`(개정확인) · M02 사본(795-1)은 `export_row` · `edit_row` 를 사본 줄로 부름 · 시험 `test_796_1_formula_model.py`. """ from __future__ import annotations from typing import Any from M01_MasterData import M01_MasterData_Store as store from M01_MasterData import M01_MasterData_Store_Make as make _ERR = (store.cm.mf.FormulaError, ArithmeticError, KeyError, TypeError, ValueError) import master_equation as meq # noqa: E402 — `store` 가 scripts 를 길에 둔 뒤 import master_equation_link as link # noqa: E402 import master_equation_edit as me # noqa: E402 def _fx() -> Any: from M02_MasterTemplete import M02_Sangeun_Formula as fx # M02 가 M01 을 부름 — 늦게 return fx def words(text: str, row: dict) -> tuple[str, list[str]]: """층 번역 — 상한(길이 · 괄호) · `[노임 …]` · `[별칭]` → 엔진 식.""" fx = _fx() if bad := fx.limits(text): return text, bad return fx.to_engine(text, row) def _given(inputs: dict | None) -> dict: return {k: store._dec(v) for k, v in (inputs or {}).items()} def _typed(eq: dict, row: dict) -> dict: """줄마다 `입력글` = 키보드 한 줄 식(이름 꼴 · 변수 글) — 식 칸 처음 글.""" fx = _fx() for line in eq.get("줄") or []: if line.get("식"): line["입력글"] = me.keyboard_of(fx.to_name(str(line["식"]), row), row) return eq def export_row(whole, row: dict, inputs: dict | None = None) -> dict: """로직 줄(정본 · 사본) → 수식 — 마스터에 그 줄을 얹어 셈.""" eq = meq.export(me.swap(whole, row), str(row.get("키")), _given(inputs)) return _typed(eq, row) def edit_row(whole, row: dict, edits: list) -> tuple[dict, list[str]]: """고침 → (새 줄, 까닭) — 까닭 있으면 저장 안 됨(M01 · M02 사본 같은 함수).""" new, why, _ = me.apply(whole, row, edits, words) return new, why def read(key: str, inputs: dict | None = None) -> dict: whole = store.loaded()[1] try: return {"ok": True, "수식": export_row(whole, whole.logic(key), inputs)} except _ERR as e: return {"ok": False, "reason": str(e) or type(e).__name__} def preview(key: str, edits: list, inputs: dict | None = None) -> dict: """고침 미리 셈(저장 없음) — {되나, 까닭, 줄, 수식, 전, 후}.""" whole = store.loaded()[1] row = whole.logic(key) new, why = edit_row(whole, row, edits) if why: return {"되나": False, "까닭": why} try: before = meq.export(whole, key, _given(inputs))["합계"] eq = export_row(whole, new, inputs) except _ERR as e: return {"되나": False, "까닭": [f"셈 막힘 — {e}"]} return {"되나": True, "까닭": [], "줄": new, "수식": eq, "전": before, "후": eq["합계"]} def links(ask: dict) -> dict: """새 기호 연결 후보(800-3) — {갈래: 표 | 요소 | 로직, 검색, 분류?} → {후보, 더있음} · 읽기만.""" return link.candidates(store.loaded()[1], ask) def save( key: str, edits: list, inputs: dict | None = None, version: str = "", confirmed: bool = False ) -> dict: """고침 저장 — 검사 통과 · 기존 M01 `/save`(정본 = 개정확인 · 판 다르면 409).""" got = store.logic(key) if version and version != got["version"]: raise store.StoreError(409, {"stale": [got["file"]]}) new, why = edit_row(store.loaded()[1], got["logic"], edits) if why: raise store.StoreError(400, {"까닭": why}) change = {"op": "edit", "key": key, "row": new} part = {"file": got["file"], "version": got["version"], "changes": [change]} out = make.save([part], confirmed) return {**out, **read(key, inputs)}