Files
wehub-resource-sync e4dcfc49aa
Tests / Import Check (Python 3.13) (push) Has been cancelled
Tests / Import Check (Python 3.14) (push) Has been cancelled
Tests / Python Tests (Python 3.11) (push) Has been cancelled
Tests / Python Tests (Python 3.12) (push) Has been cancelled
Tests / Python Tests (Python 3.14) (push) Has been cancelled
Tests / Test Summary (push) Has been cancelled
Tests / Lint and Format (push) Has been cancelled
Tests / Web Node Tests (push) Has been cancelled
Tests / Import Check (Python 3.11) (push) Has been cancelled
Tests / Import Check (Python 3.12) (push) Has been cancelled
Tests / Python Tests (Python 3.13) (push) Has been cancelled
chore: import upstream snapshot with attribution
2026-07-13 13:00:43 +08:00

60 lines
1.8 KiB
Python

"""
Per-session deferred-tool state.
Records which deferred tools the model has loaded (via ``load_tools``) in a
chat session, so subsequent turns include those schemas from the start
instead of forcing a re-load. File-backed JSON inside the session workspace
— multi-user-safe because the path service resolves per-user roots via the
runtime's ContextVars.
"""
from __future__ import annotations
import json
import logging
from deeptutor.services.path_service import get_path_service
logger = logging.getLogger(__name__)
_STATE_FILENAME = "loaded_tools.json"
def _state_file(session_id: str):
workspace = get_path_service().get_session_workspace("chat", session_id)
return workspace / _STATE_FILENAME
def load_loaded_tools(session_id: str) -> set[str]:
if not session_id:
return set()
try:
path = _state_file(session_id)
if not path.exists():
return set()
data = json.loads(path.read_text(encoding="utf-8"))
except Exception:
logger.debug("loaded-tools state unreadable for %s", session_id, exc_info=True)
return set()
names = data.get("loaded_tools") if isinstance(data, dict) else None
if not isinstance(names, list):
return set()
return {str(n) for n in names if str(n).strip()}
def record_loaded_tools(session_id: str, names: set[str]) -> None:
if not session_id:
return
try:
path = _state_file(session_id)
path.parent.mkdir(parents=True, exist_ok=True)
path.write_text(
json.dumps({"loaded_tools": sorted(names)}, ensure_ascii=False, indent=2),
encoding="utf-8",
)
except Exception:
logger.warning("failed to persist loaded-tools state for %s", session_id, exc_info=True)
__all__ = ["load_loaded_tools", "record_loaded_tools"]