逻辑状态双向四态定稿：四路证据、与候选卡正交的组合语义、合成规则、八步落地；台账 018 与 019

行业级方向源核实更正：不在事件层（客体类型受控集只有公司与实体）而在因果论断层（方向受控必填，三种粒度）。发现并记录必须先修的安全问题：卖出侧自动执行短路导致减持提议不会入队。

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

docs/主观量化系统方案_2026-09-03.md

@@ -334,6 +334,47 @@ PMS 解析多取五键后两条现有断言要同步改，回退是回滚一个
 
 **局限（写进设计不回避）。** 只覆盖"券商用行动说话"这一路，事实层反证要等公告更新恢复；可算票数 411 只，受制于两个窗口各要两家机构，覆盖面对候选票够用（候选必须有券商覆盖）但不是全市场；财年字段的对齐要按 quarter 精确匹配，跨财年比较无意义。
 
+### 四之五之二、用户补充：产业研判与催化事件也要进入判定，且要有"强化"这一维
+
+**用户 09-03 的第三点。** 数据基座里已有产业研判与催化事件，主题页还有系统旁批（例如锂电主题里对储能这个下游环节的旁批写"需求高增但国内价格战激烈，盈利兑现是主要不确定性"）。用户观察到这类分析目前通常只有风险，他要求：逻辑状态的判定中应当有一类证伪或强化来源于产业研判的风险或催化事件——某个事件解决了行业问题或打开了行业发展空间，那就是强化。
+
+**这指出了我原设计的一个真实缺陷：三态是单向的。** 逻辑成立、无法判断、逻辑存疑，只能往下判不能往上判。而"强化"这一维对第四步的交易层动作意义重大——它才应该是加仓的依据，而不是现在的按浮盈加仓。
+
+**根因核实：旁批只有风险，是提示词决定的。** 生成旁批的系统提示词原文要求"结合它在链中的位置与数据，说为什么值得关注、主要不确定性是什么"，不超过 60 字。所以每条旁批的后半句必定是风险。实际样本："锂离子电池涨幅负 6.4%，目标价空间 74%，市盈率 15 低于链均值，电池龙头具备配置价值；竞争加剧与原材料波动是风险。" 前半句虽然有正面理由，但那来自四条规则初筛（还没涨、还便宜、估值低于同链、传导指向），全是可交易口径，不是产业逻辑。
+
+**系统里其实已经有双向判断，只是没人读。** 产业研判的预期动向字段本身就是双向的，实际样本：光通信写"市场预期上修，多家公司上调目标价"；人形机器人写"持续涌现产业利好逻辑，市场预期整体呈上修态势"；商业航天写"市场预期分化，多空交织"。核心矛盾字段承载风险。这些字段 09-03 新建的研判视图已经暴露，但选股系统里没有任何文件读它。
+
+**催化事件这一路目前不可用，有两个硬问题。** 第一，方向缺失：全库 38 万条事件断言里 36.5 万条的方向字段为空，占 95%；有值的也是动作词（减持、增持、预增、预减、回购、授予）而不是利好利空的语义判断。第二，粒度错位：十类事件闭集全部是公司级的（回购、质押、增减持、业绩预告、发行上市、并购交割、重大合同中标、诉讼仲裁、行政处罚、股权激励），没有一类是行业级催化。用户说的"解决行业问题、打开发展空间"是行业级的，系统里目前没有承载对象；最接近的是产业研判多头论点里隐含的行业级理由（例如钨产业链的多头论点写"人工智能电路板微钻及高长径比钻针需求提升"）。
+
+**核实推翻了我的一个判断：行业级方向源是有的，我找错了地方。** 我先前查的是事件断言的方向字段（95% 为空），结论说"行业级催化没有承载对象"。实际上研报因果论断自带的方向字段是**受控必填**的（利好、利空、中性三选一，缺方向的断言在落库时直接丢弃），而且它的驱动方类型受控在概念、环节、产品、行业四类——所以同一个机制同时产出行业级、环节级、公司级的方向判断，钨产业链那条"人工智能电路板微钻需求提升"就是现成的行业级驱动。它随研报入库即时生成，环节级那一支已经投影进环节边表供选股系统消费。反过来，事件层的行业级催化在结构上不可能有：事件谓词的客体类型受控集只有公司与实体，抽取时主体也写死成公司类型。所以"行业级催化"要从因果论断走，不从事件走。
+
+**另外两处现成机制也被我漏掉。** 一是融合层已经在做方向冲突裁决：同期方向相反的两条论断落争议台账，跨期方向相反走封口接续。这正是"反向论断"的现成判据，且两者语义必须分开——争议是同期分歧，代表市场没有共识，更接近"无法判断"；封口接续是跨期改口，才是真正的方向翻转，属"逻辑存疑"。混成一类会把分歧误判成证伪。二是一致预期表主键含快照日，本身就是日频时间序列，还带一个零消费者的券商评级分布字段，所以券商行动信号可以在数据基座本地表上算，不必每次回代理库重算；评级迁移（买入档减少、中性或减持档出现）比预测下修更接近"券商终于开口"，稀有但强。
+
+**三个证据来源的可用性差别极大，这决定落地顺序。** 券商行动那一路数据库里现成，411 只票可算，每天更新。产业研判是人工点按钮触发，八个主题，停更在 08-19，不在定时表里。旁批同样是被动的——它只在有人打开主题页时按需生成并当日缓存，实测 09-03 只有 24 条覆盖一个主题，日期还不连续（09-03、08-27、08-25、08-24、08-18）。所以前两路在接进判定之前，必须先解决生成节奏，否则大部分环节根本没有材料。
+
+### 四之五之三、逻辑状态四态定稿（2026-09-03，两路核实加对抗验证）
+
+**四路证据，各有粒度与节奏。** 甲路是研报因果论断，方向受控必填，行业级环节级公司级三种粒度都有，随研报入库即时。乙路是产业研判，主题级，判据用采信倾向这个四选一的受控枚举的迁移，不用预期动向那段自由文本（自由文本判上修还是分化会退化成中文匹配）。丙路是券商行动，个股级周度，优先读数据基座本地的一致预期日频表。丁路是公司级事件，目前不可用（方向 95% 为空是提示词的结构性结果，只有业绩预告一类要求填）。
+
+| 状态 | 判据 | 系统动作 |
+|---|---|---|
+| 逻辑强化 | 至少两路向好且无一路为负，其中必须包含甲路或乙路，不能只靠券商预测上修单独成立 | **不产生任何自动动作，不改变候选卡判决**。只做两件事：卡内序提前，提议卡与评审账本多写一行带出处的说明 |
+| 逻辑成立 | 至少一路有效证据在且未超陈旧闸，无一路为负，且不满足强化条件。**必须靠实证得到不能靠缺省**——从来没有行业观点、券商也算不出来的票不属于本态 | 不打扰。不进清单、不改排序，只在入场时冻结存档 |
+| 无法判断 | 两个子因必须分开标注。证据不足：四路全缺、只剩一路慢信号、研判自我校验未通过、材料指纹长期未变超陈旧闸、环节对不上任何研判主题。证据矛盾：不同路方向相反，或同一路内部同期方向相反进了争议台账 | 两个子因动作不同。证据矛盾进人工复核清单，提示"需要裁决"并列出矛盾两路的日期与出处；证据不足不进清单，只在卡上标注缺哪一路、是无数据源还是读不到，提示"需要补材料"。都不改判决、不产生交易动作 |
+| 逻辑存疑 | 只有两条路径能单独触发：丙路双条件同现（同财年同预测期的每股收益预测中位数下修超阈值**且**覆盖机构收缩超阈值）；甲路跨期方向翻转（走封口接续，同期争议不算）。乙路采信倾向从偏多迁移到偏空且伴随材料指纹变化，作路径二的等价触发。**进入与退出门槛不对称**，进入即刻成立，退出要求触发那一路回稳并连续若干计划日同向 | 全部在 PMS 内部完成，选股系统只提供状态与出处。停掉该票增持侧的自主动作，出减持提议强制进人工队列，绝不自动卖 |
+
+**与候选卡三态的关系：正交两维，不合并成十二态。** 候选卡回答"今天要不要买"，是当日无状态重算的入场判决；逻辑四态回答"支撑它的研究证据还在不在"，是跨日的持有期跟踪。两者不能合并还有一个硬理由：持仓票在候选筛选里被整行剔掉且剔在判决检查之前，所以候选卡三态对持仓天然无效，而持仓恰恰是逻辑四态唯一真正有用的地方。收敛规则是单调的：逻辑强化只能改卡内序与文案，**永远不能把判决往上升一档**；逻辑存疑只能改分流通道，不能把仅展示变成可执行。真正需要新语义的只有一格——**候选加逻辑存疑，含义是可交易口径成立而研究证据在走弱，这正是杀逻辑与杀估值那条边界**，处置是强制人工确认，复用现有的强制确认字段与关注判决走同一条队列，页面文案区分来源。
+
+**合成规则四条。** 一，四路各自先归一成四值，每路必须带自己的截止日与覆盖计数，不允许无截止日。二，负向优先：任何一路为存疑，整体最多到无法判断；只有上表两条路径才允许整体落到逻辑存疑。三，缺失既不是负面也不是正面证据，缺失就从合成里剔除并记明缺哪一路，缺省态永远是"无法判断加证据不足"。四，慢信号定底色、中速定当前态、日度事件只作一次性复核触发不能单独定态；抖动不靠平滑系数，靠三件事——等长窗口本身就是低通、状态迁移要求连续若干计划日同向、退出负态比进入负态慢。所有阈值一次定死写进台账，每个写明与哪个既有口径同源，**绝不按复盘收益读数回调**。
+
+**一个实现约束的绕法。** 慢信号的迁移在数据基座里查不到，因为研判按簇键整行覆盖无版本史。绕法是选股系统每个计划日自留一行快照（主题、采信倾向、多空条数、自我校验、材料指纹、生成日期），只有材料指纹变化才算一次迁移，指纹没变而日期变老只累加陈旧天数。这样不必等数据基座改表就能建立版本史。
+
+**必须优先修的安全问题（排在任何逻辑存疑落地之前）。** PMS 的自动执行判据写作"方向是卖出，或者档位是全自动且未强制入队"，**卖出在或运算的左边直接短路了强制入队**；同时研判闸覆盖的动作集只有补足、加仓、补仓、新建仓四类，减仓与清仓不经闸。所以逻辑存疑若走现有通道产出减持提议，结果是自动卖出，正好违反"绝不自动卖"这条纪律。修法不是简单去掉卖出那一项——风控高置信卖出的自动执行是止损设计，要保留；应当按提议来源区分，逻辑存疑触发的减持强制入队。
+
+**对抗验证否决的条目（记下来避免重提）**：核心矛盾恶化推存疑（自由文本无可比状态）；预期动向文本判方向（改用采信倾向枚举）；行业级催化从事件层走（客体类型受控集只有公司与实体，结构上不可能）；旁批当证伪源（提示词的结构性偏置会让有旁批的环节恒为存疑）；机会标签当强化判据（四条初筛全是行情口径）；覆盖扩大当强化（无同等支撑且随研报季节起落，覆盖只作否决位不作强化位）；逻辑强化提示加仓（越界，加仓判据是交易层的事）；把逻辑状态加进新建仓送研判的键（越界，等于让择时决策系统读产业逻辑）；PMS 持仓主档加列存当前状态（与派生表不许只存当前态冲突，改为选股系统落日频表、PMS 每日只读）；吸筹档与计划判决纳入判据（混口径）；多头论点的出现消失当催化（无版本史，消失可能只是模型没归并出来）；按复盘读数回调阈值（在历史样本上挑参数）；改抽取层提示词补事件方向（只对新文档生效，而公告已停更）。
+
+**落地顺序（八步）**：一，选股系统落日频行业观点快照表，只写不判先攒版本史（无停机，无前置）。二，出一份只读覆盖率读数，决定乙路接多大面（无停机）。三，修 PMS 卖出侧的自动执行短路（需重启，必须排在任何逻辑存疑落地之前）。四，选股系统加四态合成的纯函数模块与离线断言脚本（脚本无停机，接口带新键需重启）。五，PMS 侧接入状态与出处两个键并按状态分流（需重启，与第三步合并到同一窗口）。六，数据基座接环节簇与概念簇评析、产业研判进定时表（接读无停机，加定时任务需重启）。七，让旁批说得出产业理由——把已算好的成员论断方向计数与主题研判拼进提示词输入，并把那句无条件的风险要求改成条件式（单文件两处，需重启接口容器）。八，台账与一致性检查表。
+
 ## 五、验证（命令标机器）
 
 选股系统（155，factor，~/project/akg-factor-bridge）：入池干跑的计划入选数与改前一致；复盘脚本名单表含机器通过、人批、人拒、择时看多四行；健康接口含 pool_top；快照目录每交易日一个 JSON；候选卡每票理由能看到因果论断出处；计划环境段含两市成交额、广度、融资、恐贪四项。

docs/复盘决定台账.md

@@ -126,3 +126,17 @@
 - 依据：用户 2026-09-03 指出跟踪报告是券商在持续跟踪逻辑，是判断逻辑是否仍成立的最直接材料。
 - 预期：候选卡上的因果论断不再只有几个月前的深度报告，能反映最近的跟踪意见。
 - 复核日期：随文档更新读数每周核对。
+
+## 018 · 2026-09-03 · 逻辑状态改为双向四态（016 的修订）
+
+- 改动：016 的三态是单向的，只能往下判。按用户 2026-09-03 的要求补上"逻辑强化"这一维，定稿为四态：逻辑强化、逻辑成立、无法判断、逻辑存疑。证据分四路——甲路研报因果论断（方向受控必填，行业环节公司三种粒度）、乙路产业研判（用采信倾向这个受控枚举的迁移，不用预期动向自由文本）、丙路券商行动（预测下修与覆盖收缩双条件）、丁路公司级事件（目前不可用）。四态与候选卡三态正交，不合并；收敛规则单调：强化只能改卡内序与文案不能升判决，存疑只能改分流通道不能把仅展示变成可执行。唯一新语义格子是"候选加逻辑存疑"，即可交易口径成立而研究证据走弱，处置为强制人工确认。完整定稿见方案第四之五之三节。
+- 依据：用户指出产业研判的风险与催化事件应当同时作为证伪与强化的来源。核实发现系统里已有双向判断（产业研判的采信倾向与预期动向），只是不进链路；行业级方向源不在事件层而在因果论断层（事件谓词客体类型受控集只有公司与实体，结构上不可能有行业级催化）。
+- 预期：能区分杀逻辑与杀估值；持仓期有跨日的研究证据跟踪；"无法判断"分证据不足与证据矛盾两个子因，动作不同。
+- 复核日期：一致性检查表新增第十四行（持仓期逻辑跟踪），每周五对表。
+
+## 019 · 2026-09-03 · 必须先修的安全问题：卖出侧自动执行短路
+
+- 改动（待实施，排在任何逻辑存疑落地之前）：PMS 的自动执行判据是"方向是卖出，或者档位全自动且未强制入队"，卖出在或运算左边直接短路了强制入队；研判闸覆盖的动作集也只有买入侧四类，减仓清仓不经闸。修法不是去掉卖出那一项（风控高置信卖出的自动执行是止损设计，要保留），而是按提议来源区分，逻辑存疑触发的减持强制入队。
+- 依据：设计里"逻辑存疑绝不自动卖"这条纪律，在现有通道下上线当天就会失效。
+- 预期：修完之后，逻辑存疑产出的减持提议一定进人工队列；风控卖出的自动执行不受影响。
+- 复核日期：实施时以单测钉住，随一致性检查表第十四行核对。