📌 本原型基于《智教方案 V2》及配套评审材料制作：内置示例代码与班级数据用于演示闭环流程，判定与诊断为本地模拟，不连接真实模型、判题服务或学校系统。

提交代码 提交即录题 · 统一标签字典

语言检测：自动（C / C++ / Java / Python / JS）

按方案 V2 机制：未通过的提交自动进入错题库；期望输出由每题「参考解答」在沙箱内产出（回应评审 P0-2）。
🆓 自由代码提交：清空示例后粘贴/编写自己的 C / C++ / Java / Python / JavaScript 代码直接提交，内置静态规则引擎先做基本结构检查（括号配对、缺头文件、缺 main 入口、Python 块冒号），再逐行分析典型错误。
▶ 编译运行：C/C++ 由内置子集解释器真实执行并展示输出（覆盖常见教学语法；复杂特性会以「超出子集」明确拒绝，不假装能跑）；Python 首次运行联网加载 Pyodide 真运行时；JavaScript 浏览器真执行；Java 浏览器离线不可执行，改用「提交判定」。


            

          

          

        

        

          
沙箱判定结果 三态：编译失败 / 运行时异常 / 输出不符

          

            
🧪
选择示例或直接编辑代码后点击「提交判定」
模拟沙箱将返回三态判定与错误归因

          

        

      

    


    

      

        
我的错题库 错题标签 = 知识点 × 错误类型（与题库考点共用同一字典）

        

          
          
          
          
        

        

      

    


    

      

        

          
今日专项练习清单 由薄弱知识点生成

          

        

        

          
变式题推荐 同考点不同难度 / 同题型不同场景

          
在错题库点击某道错题的「练同考点」，这里会按统一标签字典筛出匹配变式题。

          

        

      

    


    

      

        

          
知识点掌握度 随练习完成情况更新

          

        

        

          
学习统计

          

          
注：认知偏差归因为探索性能力——原型仅展示与错误可一致对应的推断假设，不宣称已验证因果（方案 V2 口径）。

        

      

    

  


  
  








  
  
三级启发式辅导

  







  
  
数据边界声明（诚实口径）

  
继承方案 V2 第十一节并回应评审 P0-1：

  
本原型（参赛演示）
全部数据为页面内置示例与当前浏览器本地记录；「沙箱判定」「LLM 诊断」均为本地模拟规则，不执行真实代码、不调用任何外部服务。

  
正式系统规划口径
校内/本地部署开源推理模型（7B–14B 级单机可运行），作答数据脱敏后仅存储于校内环境，数据不出校、不用于商业目的；如使用外部 API 需改用「仅单次推理、不训练、不留存」的合规声明并更新知情同意。






  
  
评审问题 → 原型回应对照

  
评审发现原型中的回应

  
P0-2 期望输出循环论证判定卡片展示期望输出来源为「参考解答在沙箱产出」，模型生成用例仅作补充

  
P0-4 两套标签两张皮错题标签、题库考点、掌握度统计共用同一字典，推荐按标签精确匹配

  
P1-5 死循环判定口径死循环示例判定为「运行时异常（超时）」，与演示旁白一致

  
P2-11 分级辅导被架空教师端闸门（引导模式关闭三级）+ 三级使用计数上报看板

  
P2-9 RAG 口径诊断解释展示「知识点↔课程资料引用关联」，不宣称仅基于检索

  
P2-12 归因置信度归因卡片标注置信度与探索性假设，不宣称已验证因果

  
标签体系口径错误类型扩至 12 类：含基本结构族（结构性错误：括号不配对/缺头文件/缺 main 入口/Python 块冒号）与基础错误族（语法、未声明/未定义、未初始化、类型不匹配、运算符误用）及概念/边界/循环/指针/格式/算法；错题库筛选与教师热力图共用同一字典，扩类自动生效