ThearchyHelios 7acee0faed 分析说法核对的说法表与绑定（engine/analysis_claims）：判断词分来源、分散、抵消、结构、异常、新高新低、正常、趋势、无趋势、差异、无差异、因果几类，一处定义、带版本（LEXICON_VERSION 1）；只收强判断词（「持续」要跟着涨跌、「异常」后面是订单数据这类名词或前面是数据系统的不算、「相当」只认句读前的，「大幅」按细案收进异常类、要跟着涨跌动词）；否定（前 4 个字以内、跳过「出现」「明显」这类填充词，「不但」「不少」「无论」不算）翻到反面类；来源与因果分界（因果词所在分句点名的是拆解的段或因子按来源核），推测说法、同句的知识库原话和运行输入豁免因果，说的是数据本身的原因不算；不扫判定语（a:）、知识库原话（q:）、别的引用渲染出来的字、标题、代码块、表头。绑定：一句的分析依据按这次重新解析的引用算，A 条目经 contract.catalog_result 读，核判定、点名的段（全半角归一）、拖累拉动的方向、新高新低、连续的期数，挂了算不了的结论算对不上；违规三种（analysis_claim_uncited / analysis_claim_mismatch / causal_unsupported），每条带判断词、句子、类、要的 op、这句挂的 A、给人看的和交回写作者的各一句，同一分句同一类只报一处。挂点：compose_doc 收 analysis_claims（check / strict）时文档顶层记下处置和说法表版本，verify_doc 只核记了这一项的文档（按记下的版本，认不出的记 bad_schema），老文档复核结果和统计一字不变；_DIRECTIONAL 补主要、集中、异常、偏离、持续、趋势、显著、明显高于 / 低于等预筛词（列提纲、建议、引出图表的写法除外），裁判优先判这类句子

2026-10-21 13:11:56 +08:00

..

analysis

分析能力骨架补跨包约定：写作目录里分析条目的读法（catalog_result：A{n} 条目 kind analysis、result 为整份结论）、口径卡指标上的可比性字段（MetricComparability）、报告文档里系统写的「分析范围」结构（ScopeBlock / ScopeItem）

2026-10-21 11:55:38 +08:00

api

数据剖析可以同时剖析几张表：剖析设置加「同时剖析的表数」（table_concurrency，1–3，缺省 1，即以前的一张做完再做下一张；上限 3 是给这个源上的分析留出连接池的临时连接），每张表的查询仍一条一条发，所以同一时刻对业务库最多这么多条查询。剖析任务的执行改成按设置开几个执行者，按任务里的顺序一张结束就开始下一张；进度、发过的查询各落在自己那张表上（不再记「正在做的那一张」）。每张表开始前照旧重读数据源：停用、关掉剖析或止损后不再开始新的表，正在做的几张照常做完（止损时剩下的项记止损的原因），都结束后再把没开始的记停下；止损的连续失败、超时比例按几张表的查询合起来算。停止、关停时正在做的几张各自收尾，做完的项照常写进目录，都收完才往上交（等的时候又被停止也等完）；一张表让任务整体出错（快照被改动、数据源没了、记结果写库出错）时，另几张按停止收尾、原因写这一句，本进程续不上租约的不写。同时要估同一张表的行数时只估一次（按表加锁，先来的没估成后来的自己估）。同源已有剖析时的 409 说法从「第 x / y 张表」改成「已完成 x / y 张表」。界面：设置表单多一格（单位「张」，提示写明业务库同时要应付几条查询、和分析共用连接），风险说明、卡片悬停、开始前的醒目一句在大于 1 时写明「同时剖析 N 张表、每张表的查询一条一条地发」，预算多一行，这次最多用时按几轮算。测试：同一时刻在途查询不超过设置、每张表仍一条一条发（1/2/3 三种）、几张一起显示进行中并按顺序开始、同时停止各自写进目录、止损后不再开始新表、停用时正在做的做完、一张出错另几张按停止收尾、共享行数只估一次；check-catalog-profile 加一节（预算、估算、说法、两行进行中、表清单）。验收：后端全量 14979 通过；止损那条并发测试单独跑 30 遍、整个剖析任务测试文件并行跑 15 遍都没有偶发；tsc；check-catalog-profile 217 项、check-copy 28 项全过

2026-10-21 09:08:10 +08:00

apps

应用实例页：成果没配出具契约时（印章上是「未声明出具契约」），本该降档的缺口照实写进印章的说明——口径卡里输入取自「查询区间里这张表没有数据」的列的指标、双盲复算的缺口（无法复算、审核人没采用原流程……）；配了契约的已经按缺口降档，不另写

2026-10-20 10:39:53 +08:00

auth

合入 W2-a 的复核修复（nr8/a：导入的 NOT NULL 补值与孤儿行、收尾 dispose、sslmode 换算、PostgreSQL 写入去 NUL、不分大小写搜索 contains_ci、json_eq 两库同语义、JSON 守卫、用户可见列表补决胜键、bubblewrap --clearenv、部署脚本与原子写的几处、README 连接数预算）

2026-10-19 12:21:38 +08:00

blueprints

合入 W2-a 的复核修复（nr8/a：导入的 NOT NULL 补值与孤儿行、收尾 dispose、sslmode 换算、PostgreSQL 写入去 NUL、不分大小写搜索 contains_ci、json_eq 两库同语义、JSON 守卫、用户可见列表补决胜键、bubblewrap --clearenv、部署脚本与原子写的几处、README 连接数预算）

2026-10-19 12:21:38 +08:00

bundle

查询区间里这张表没有数据时，查询结果里照实说（新增 data/coverage.py，接在数据源查询工具上）：结果里有整列是 0 或空的数值列时，把 SQL 收窄到算出这一列的那一项（去掉别的选择项、分组、HAVING、排序、取行数，只分析不执行），认出它用到的实表和时间谓词；界是字面量的直接解析，按运行当天现算的（不含列的表达式）用同一个数据源跑一条 SELECT 界1, 界2…（Oracle 加 FROM DUAL）算出来；这一列在表里的实际范围现查 SELECT MIN(列), MAX(列)（每条 10 秒），超时或失败退回剖析、取值观察记下的范围并照实标「按 X 日的剖析」，都没有就不判。日期按常见写法归一（DATE / DATETIME、'YYYY-MM-DD'、'YYYYMMDD'、8 位整数），文本列对文本界写法要一样，认不出就不判；区间和范围完全不重叠才算没有数据，一列用到几段区间时每段都不重叠才算。探查走同一道只读守卫，遮罩列不探查不报值，总耗时有上限，出错不影响查询本身。结果和快照多一项 no_data（columns、table、column、window、data_range、basis、message），运行事件记一条 query_no_data；没查出问题不加这个键，快照和以前一字不差。可验证报告认得这个键

2026-10-20 10:28:49 +08:00

capabilities

多进程协调（W2-b）第一步：新增 app/cluster——工作进程在库里登记、心跳续租约（属主随进程，进程没了它认领的行一起到期），调度当班的租约，发给属主进程的停止 / 记事件请求，PostgreSQL 的 LISTEN/NOTIFY 叫醒，跨进程的互斥锁（咨询锁），SQLite 单进程守卫（第二个进程拒绝启动）；运行、问数据一轮、起草 / 剖析 / 探查 / 评测 / 影子起草、文档、发布单记 owner，启动整理改成只接手属主不在了的行，当班进程隔一会儿再接手一次；运行的并发名额改成库里按交互 / 应用 / 定时 / 系统四类发（各有全站上限和优先级，设置里可调），替掉进程内的信号量；同源队记在库里；运行停止、记事件跨进程交给属主；运行事件、问数据事件跨进程转发（库里按 seq 追，不落库的流式增量和保活心跳只转给在看的进程）；每日花费账先占住那一行再读写；访问密钥限流、登录失败计数在 PostgreSQL 时记在库里；登录设置、对外地址、向量模型、能力快照、数据源连接池、应用页面缓存跨进程失效；上传版本库、记录表、按需探查、出具、召回、补算、按需视图、个人刷新、定时发起的锁换成跨进程的锁

2026-10-19 11:40:33 +08:00

chat

口径卡、报告、出具、复核认「查询区间里这张表没有数据」：口径卡按输入的快照 id + 列认（cell()、按位置取的格、Agent 经 cite_fields 交来的字段，按列，同一条查询里有数的列不受影响；转抄的指标照抄），给指标标 no_data 并写明原因，清单注明「这段时间表里没有数据：不要当成 0 解读」，发一条 metric_no_data；有出具契约的成果按缺口降档（契约收来的指标，和报告直接引用的这样的格）。写作目录里这样的指标、查询格子里这样的列都写清，写作规则加一句（目录里有这样的项才加）。证据面板的指标标「区间内无数据」并写明原因，查询步骤列出这几列。复核把 query_no_data、metric_no_data 记成缺口（DEGRADED），归进新的 REBUILD：是缺口、却值得换一张有这段数据的表重建一次，should_retry 和 chat/turn.retry_after_review 都认，问数据据此给出「按复核重来」的指示

2026-10-20 10:29:01 +08:00

cluster

文档重新梳理：README 精简成介绍和索引，细节按主题拆进 docs/zh-CN 与 docs/en（17 篇一一对应），英文文档不含中文

2026-10-21 10:23:26 +08:00

core

后台任务的 drain 不再空转：notify.service、eval.cleanup 的 drain 改用新增的 core/background.drain——做完了的任务直接从集合里摘掉，只等本事件循环上没做完的，别的循环上没做完的不等、循环关了的摘掉。以前 while _background: await gather(...) 碰上别的事件循环上做完、discard 回调永远不跑的任务，gather 立刻返回、不让出事件循环，在那里空转（CPU 打满、进程卡死）：PostgreSQL 全量里 test_personal_apps 的收尾两次卡在这里。单测在另一个线程里跑 drain、按线程等（空转时事件循环转不动，wait_for 救不了）

2026-10-19 15:29:00 +08:00

data

文档重新梳理：README 精简成介绍和索引，细节按主题拆进 docs/zh-CN 与 docs/en（17 篇一一对应），英文文档不含中文

2026-10-21 10:23:26 +08:00

db

文档重新梳理：README 精简成介绍和索引，细节按主题拆进 docs/zh-CN 与 docs/en（17 篇一一对应），英文文档不含中文

2026-10-21 10:23:26 +08:00

engine

分析说法核对的说法表与绑定（engine/analysis_claims）：判断词分来源、分散、抵消、结构、异常、新高新低、正常、趋势、无趋势、差异、无差异、因果几类，一处定义、带版本（LEXICON_VERSION 1）；只收强判断词（「持续」要跟着涨跌、「异常」后面是订单数据这类名词或前面是数据系统的不算、「相当」只认句读前的，「大幅」按细案收进异常类、要跟着涨跌动词）；否定（前 4 个字以内、跳过「出现」「明显」这类填充词，「不但」「不少」「无论」不算）翻到反面类；来源与因果分界（因果词所在分句点名的是拆解的段或因子按来源核），推测说法、同句的知识库原话和运行输入豁免因果，说的是数据本身的原因不算；不扫判定语（a:）、知识库原话（q:）、别的引用渲染出来的字、标题、代码块、表头。绑定：一句的分析依据按这次重新解析的引用算，A 条目经 contract.catalog_result 读，核判定、点名的段（全半角归一）、拖累拉动的方向、新高新低、连续的期数，挂了算不了的结论算对不上；违规三种（analysis_claim_uncited / analysis_claim_mismatch / causal_unsupported），每条带判断词、句子、类、要的 op、这句挂的 A、给人看的和交回写作者的各一句，同一分句同一类只报一处。挂点：compose_doc 收 analysis_claims（check / strict）时文档顶层记下处置和说法表版本，verify_doc 只核记了这一项的文档（按记下的版本，认不出的记 bad_schema），老文档复核结果和统计一字不变；_DIRECTIONAL 补主要、集中、异常、偏离、持续、趋势、显著、明显高于 / 低于等预筛词（列提纲、建议、引出图表的写法除外），裁判优先判这类句子

2026-10-21 13:11:56 +08:00

eval

后台任务的 drain 不再空转：notify.service、eval.cleanup 的 drain 改用新增的 core/background.drain——做完了的任务直接从集合里摘掉，只等本事件循环上没做完的，别的循环上没做完的不等、循环关了的摘掉。以前 while _background: await gather(...) 碰上别的事件循环上做完、discard 回调永远不跑的任务，gather 立刻返回、不让出事件循环，在那里空转（CPU 打满、进程卡死）：PostgreSQL 全量里 test_personal_apps 的收尾两次卡在这里。单测在另一个线程里跑 drain、按线程等（空转时事件循环转不动，wait_for 救不了）

2026-10-19 15:29:00 +08:00

files

数据目录里的文件一律先写临时文件再改名：新增 core/atomic（同目录、带随机后缀的临时文件，写完 os.replace；只该生成一次的用 os.link 建，已有就不动）

2026-10-19 10:01:20 +08:00

ledger

复核 R-b11（跨零点退回额度退到第二天那一行）：quota.take 交回占在了哪一天（本地日期），占不到交回 None；出具、按需视图发起失败时按这个日期退回——23:59:59 占、00:00:01 失败，退的是前一天那一份，第二天的不动。补测试：跨零点占了两份、退回前一天那一份，前一天归零、第二天那份不动

2026-10-19 14:40:11 +08:00

look

助手把操作写成工具调用格式时照操作读；一个能落地的操作都没有时当场纠正一次；报错按诊断照实说

2026-10-19 22:48:23 +08:00

memory

用户看得到的列表补决胜键（复核 R-a9）：按名称、时间等可能并列的排序后面补上同一个模型的 id，并列时两种库排出来一样

2026-10-19 12:07:06 +08:00

notify

后台任务的 drain 不再空转：notify.service、eval.cleanup 的 drain 改用新增的 core/background.drain——做完了的任务直接从集合里摘掉，只等本事件循环上没做完的，别的循环上没做完的不等、循环关了的摘掉。以前 while _background: await gather(...) 碰上别的事件循环上做完、discard 回调永远不跑的任务，gather 立刻返回、不让出事件循环，在那里空转（CPU 打满、进程卡死）：PostgreSQL 全量里 test_personal_apps 的收尾两次卡在这里。单测在另一个线程里跑 drain、按线程等（空转时事件循环转不动，wait_for 救不了）

2026-10-19 15:29:00 +08:00

process

复核 R-b2（单进程下周期整理退回判定中的待办）：当班进程隔一会儿的那一次接手（trust_mine）不论有没有别的进程，停在 resolving 的待办只收拾停了两个租约时长以上的，启动时又没有别的进程的那一次照旧全收拾；顺带把其余周期调用的整理过一遍——结果未知的写入只补停了两个租约时长以上的（收尾和安排核实之间的不碰），问数据没有任务行的老轮次只在启动时整理（老页面开的轮次建图时也是这个样子）。补测试：判定到一半当班进程来一次，待办照样记已处理、那一票不撤回（改前的写法这条不过）

2026-10-19 13:18:23 +08:00

providers

用户看得到的列表补决胜键（复核 R-a9）：按名称、时间等可能并列的排序后面补上同一个模型的 id，并列时两种库排出来一样

2026-10-19 12:07:06 +08:00

records

多进程协调（W2-b）第一步：新增 app/cluster——工作进程在库里登记、心跳续租约（属主随进程，进程没了它认领的行一起到期），调度当班的租约，发给属主进程的停止 / 记事件请求，PostgreSQL 的 LISTEN/NOTIFY 叫醒，跨进程的互斥锁（咨询锁），SQLite 单进程守卫（第二个进程拒绝启动）；运行、问数据一轮、起草 / 剖析 / 探查 / 评测 / 影子起草、文档、发布单记 owner，启动整理改成只接手属主不在了的行，当班进程隔一会儿再接手一次；运行的并发名额改成库里按交互 / 应用 / 定时 / 系统四类发（各有全站上限和优先级，设置里可调），替掉进程内的信号量；同源队记在库里；运行停止、记事件跨进程交给属主；运行事件、问数据事件跨进程转发（库里按 seq 追，不落库的流式增量和保活心跳只转给在看的进程）；每日花费账先占住那一行再读写；访问密钥限流、登录失败计数在 PostgreSQL 时记在库里；登录设置、对外地址、向量模型、能力快照、数据源连接池、应用页面缓存跨进程失效；上传版本库、记录表、按需探查、出具、召回、补算、按需视图、个人刷新、定时发起的锁换成跨进程的锁

2026-10-19 11:40:33 +08:00

report_export

…

sandbox

bubblewrap 沙箱不再继承后端的环境变量（复核 R-a5）：bwrap 参数最前面加 --clearenv，再按缺省（HOME、TMPDIR、PATH、LANG、PYTHONDONTWRITEBYTECODE）和调用方给的逐条 --setenv；bwrap 进程本身也只拿 PATH

2026-10-19 12:07:31 +08:00

scheduler

复核 R-b9（Fenced 打到不该打的地方）：check() 续晚了谁问到都隔离，但只对绑定了世代的执行（运行的一段执行、后台任务）抛 Fenced，HTTP 处理、调度那一拍、进程间请求问到时只隔离不抛；调度循环、心跳、办进程间请求也接住 Fenced；续租的任务不再因为一下出错就退出——续租、隔离之后重新登记都包住，照实记日志、退避着重试（最长一个租约时长）。隔离时马上换身份（之后新建的行记新身份），新身份登记上之前心跳不争当班、不接手，新开始的运行、后台任务在 fence.ready() 上等（最多一个租约时长，等不到就不开始，那几行由别的进程按属主不在了处理，这边同时放弃这个一直没登记上的身份、再换一个）。日志写出新旧完整身份。补测试：没绑定的调用者只隔离不抛、绑定在隔离之前的抛、新身份登记上之前 ready 等着；调度循环被 Fenced 打到一拍之后照常；重新登记先被版本守卫拦、再碰上库连不上，续租任务都不退出，登记上之后照常续租

2026-10-19 14:33:45 +08:00

tools

查询区间里这张表没有数据时，查询结果里照实说（新增 data/coverage.py，接在数据源查询工具上）：结果里有整列是 0 或空的数值列时，把 SQL 收窄到算出这一列的那一项（去掉别的选择项、分组、HAVING、排序、取行数，只分析不执行），认出它用到的实表和时间谓词；界是字面量的直接解析，按运行当天现算的（不含列的表达式）用同一个数据源跑一条 SELECT 界1, 界2…（Oracle 加 FROM DUAL）算出来；这一列在表里的实际范围现查 SELECT MIN(列), MAX(列)（每条 10 秒），超时或失败退回剖析、取值观察记下的范围并照实标「按 X 日的剖析」，都没有就不判。日期按常见写法归一（DATE / DATETIME、'YYYY-MM-DD'、'YYYYMMDD'、8 位整数），文本列对文本界写法要一样，认不出就不判；区间和范围完全不重叠才算没有数据，一列用到几段区间时每段都不重叠才算。探查走同一道只读守卫，遮罩列不探查不报值，总耗时有上限，出错不影响查询本身。结果和快照多一项 no_data（columns、table、column、window、data_range、basis、message），运行事件记一条 query_no_data；没查出问题不加这个键，快照和以前一字不差。可验证报告认得这个键

2026-10-20 10:28:49 +08:00

__init__.py

…

main.py

合入 nr8/b 之后的配合：启动时先等库再做版本检查（cluster/version.preflight 是第一次连库，放在等库之前的话库的容器晚一步起来服务就直接崩），单测核对先后；deploy/README 多进程一段写明内置 PostgreSQL 是直连、不用 AGENTLAB_DATABASE_DIRECT_URL，upgrade 先停掉旧容器（全部工作进程）、备份、再起新版本，正合不许新旧版本同时运行的拦截

2026-10-19 14:06:20 +08:00

ops.py

复核 R-d4（升级前的 SQLite 备份只拷了应用库和断点库）：填报的记录表 records/**/*.db 也用 SQLite 的备份接口拷进同一份备份，相对路径照旧，目录 0700、文件 0600；库在 PostgreSQL 时不做这份（记录表跟着整目录备份）。deploy/README 写清这份备份含什么、不含什么（上传原件和版本库、工件库、附件、知识库、沙箱工作区、.secret_key 要整目录备份），恢复步骤加上记录表

2026-10-19 16:12:07 +08:00

plain.py

…

seed.py

…

web_security.py

…

web.py

…