助手
它交出来的东西，
说得出用了哪些材料。
Soar 是装在电脑上的课堂软件。打开它，第一眼就是助手 —— 这一页讲它接住什么、到哪儿为止。
它说你有某样东西的时候，那样东西必须真在这次上下文里出现过。
它到哪儿为止
它先把问题答完。只有当你在找一样东西时，我们才许它多给一个跳转 —— 一次最多一个，指向你这门课里真有的那一节、那一条笔记，那是一颗能点的按钮。链接里的编号必须是这次上下文里真出现过的；拿不出，就不许写链接。
今天
打开就是助手
今天还没下课的那一节、到期的复习、收件箱里的碎片、你最后改过的那份文档 —— 有就摆出来，一按就到；没有就不摆。
文件拖进来，它先读完
文件直接拖进输入框，拖和点附件走的是同一条路。它自己去读，读完那枚芯片才允许发送。只丢文件不打字，也能发。
交接单
一句话，它就去做
先给它材料 —— 拖一份文件，或者上边几轮聊过的话。然后说一句「把这节课的重点整理成一份学生讲义」，它认出你要办的是哪件事，去生成文档或者幻灯，存进你的库。
空对话里第一句就这么说，它只会当聊天回你 —— 得先有料。
做完给你一张带名字的回执
指令明确它就不问，屏幕上只有一行「去生成…了」。做完给一张带名字的回执，一点就打开那一份。想改，点「改一下」，交接单才展开：形式、体裁、放到哪、材料。
要收进笔记本只有两挡：只收这一条回答，或者整段对话先蒸馏成一页。原始聊天不倒进笔记本。
拿不出编号，就说明它不存在。
出处
它说「你有」的时候
提议分两类。该学什么、怎么练，它可以放开讲；说到你的某样东西 —— 你标过的那一句、你做错的那道题 —— 那就是一句能被核实的事实，必须在这次上下文里真出现过，还得带着真编号。
「用人本主义视角重读你上周即兴治疗的录音片段」
上下文里只有课程字幕，而那段录音根本不存在。
软件能做什么，它不许猜
「Soar 目前不支持自动生成功能性 PDF 文件(如带格式/页眉/书签的 PDF),但你可以:全选复制 → 粘贴到 Word/Notion → 应用基础样式 → 导出为 PDF」
这是它自己说过的话 —— 而我们有导出 PDF，它不但不知道，还反过来劝人去 Word 里绕一圈。
现在它手里有一份「这个软件能做什么」的清单，逐条对着真代码核过；一条测试盯着：我们有的，清单里必须承认；清单里说没有的，现实里必须真没有。
这一问，检索在本机
错题、复习、术语、概念这几样，检索这一步在你自己机器上做。随这次提问上去的，是一份「你手上有哪些东西」的目录，加上命中的那几条正文。
你正开着的那份文档会当成一条来源进去；那颗芯片可以关掉，关了就完全不带。
它交出来的每一样，都说得出从哪儿来。
拿不出出处的，它不写。