HTTP

1.哑模型+硬校验的双循环引擎架构：大模型仅作为生成粗糙草稿的右脑，底层全量采用自研的Rust形式化逻辑验证器（左脑），基于布尔代数、时间戳单调性对齐与因果约束，在端侧就地拦截并物理熔断模型幻觉；2.绝对本地优先（Local-First）与零边际成本：系统设计为纯离线运行，数据与高维私有图谱100%

平台是本地优先、可离线安装的PWA应用，核心功能模块：1.单词书——覆盖四级/六级全量词库（10993词），按“真题词频降序+功能词穿插”智能排序，支持掌握阶段筛选与每词闪击次数台账；2.闪击闪卡——限时逼真回想，先自主回忆再看答案，支持音节拆分显示与美/英音朗读；3.验证练习——四选一与拼写验证，

可自由搜索教室、自由组合时间段、每天数据更新、楼栋平面图展示教室位置囊括所有校区所有含有教室的楼栋，可实时显示访问人数后台监控，搜索输入错误有清晰提示反馈，含楼层概览页面快速了解该楼层信息

本博客网站（https://kouqijin.pythonanywhere.com/）核心功能包括：文章发布与管理（支持Markdown排版）、分类标签检索、用户评论互动、简单的用户权限管理。技术上采用Flask框架搭建后端，SQLite存储数据，前端使用HTML+CSS实现响应式布局，适配电脑和手