代号与编号索引
本文件是 FinBayes 工程里一切编号/代号的单一解码处：代号 → 人话名 → 一句话 → 事实源。新人或新 Agent 撞上
INV-15、「组件 9」、M5、S1、「按市场结构分组」时，先查这里。依据 ADR-022 术语整顿与统一编号命名规范：① 去隐晦标点（撇号
'）；② 引用处首次出现必带展开名；③ 真改 ID 的只有不变量（见下，代码改归工程会话），其余编号不改 ID、靠"带名 + 本索引"读懂。
不变量 INV（原 I-NN'，撇号待去）
撇号
'原用来区分"建造态契约型(I-NN')"与早期"禁令型(I-NN)"——极隐晦，按 ADR-022 去掉，类型改放本表「类型」列。代码标识符I-NN'→INV-NN的实际改名排在工程会话（先定词、再改代码）。事实源：战略不变量 codify 文件。
| 代号 | 人话名 | 类型 | 一句话 |
|---|---|---|---|
| INV-01 | 执行边界 | identity | 主动产出认知材料，但不下单、不替决策、不碰金融执行凭证 |
| INV-02 | 条件化方向判断契约 | identity | 可给方向性结论，但必须带成立条件/失效条件/反方证据 |
| INV-03 | 用户主权三维 | identity | 候选→确认两步写入；用户对画像/记录有查看/修改/清空权 |
| INV-04 | runtime reasoning 完整性 | identity | 内部推理链对复盘完整（≠ 用户面要暴露，那是 INV-05 反向） |
| INV-05 | 用户面字段名收敛 | 工程约束 | 用户面不暴露内部字段名/完整推理链 |
| INV-06 | 已退役 | 2026-06-04 退役（ADR-021），kelly_cap 已从代码移除 | |
| INV-07 | 任务字段动态组合 | 当前立场 | 每个任务的必含字段按 task_type 动态组合（MP-4） |
| INV-08 | schema 顶层 task_type 显式 | 工程约束 | 输出 schema 顶层必须显式标 task_type |
| INV-09 | 市场结构 7 分轴名稳定 | 当前立场 | MCA 7 分轴的命名稳定（见下「市场结构分轴」） |
| INV-10 | 认知机制单一事实源 | 工程约束 | M1–M8 的定义只有一处权威 |
| INV-11 | 输出端凭证过滤双处 | identity | 输入端 + 输出端两处过滤金融执行凭证 |
| INV-12 | 画像不裁剪事实空间 | 当前立场 | 用户画像只调呈现，不删减事实/反方证据 |
| INV-13 | S1 每次综合输出必跑 | identity | 每个认知结论产出前必跑一次跨机制一致性校验 |
| INV-14 | 认知数据独立性 | identity | 零外部数据时仍须正常工作；外部数据是辅助证据非前提 |
| INV-15 | agent 自主循环本体 | identity（建造态） | 产品本体是带自主循环的 agent；阶段 1 起断言、test 转绿即达成 |
| INV-16 | 判断记录是活记忆非死档 | identity（建造态） | 失效条件被触及时主动回来复盘；阶段 2/3 起断言 |
真智能体骨架 · 组件 1–14
事实源：金融真智能体骨架蓝图。组件 1–12 通用普遍骨架，13 金融认知核（已有），14 = 原"问责"、按 ADR-022 拆为「判断跟进 + 校准」。
| 代号 | 人话名 | 代号 | 人话名 |
|---|---|---|---|
| 组件 1 | 主回路 | 组件 8 | 持久化 |
| 组件 2 | 工具系统 | 组件 9 | 主动性与触发 |
| 组件 3 | 上下文工程 | 组件 10 | 多渠道交付 |
| 组件 4 | 记忆 | 组件 11 | 自检与护栏 |
| 组件 5 | 规划与拆解 | 组件 12 | 可观测 |
| 组件 6 | 子代理 | 组件 13 | 认知核（金融，已有） |
| 组件 7 | 真实数据接地 | 组件 14 | 判断跟进 + 校准（原"问责/校准层"） |
建造阶段 0–4
事实源：CURRENT-MILESTONE §0/§4。阶段带描述名、不光数字。
| 代号 | 人话名 | 状态 |
|---|---|---|
| 阶段 0 | 文档矫正 | ✅ 完成 |
| 阶段 1 | 最小可用真 agent | ✅ 完成 |
| 阶段 2 | 主动性心跳 | ✅ 完成 |
| 阶段 3 | 加固与可用化（runtime 入口 / 投递 / 持久化 / 护栏 / 隔离墙） | 未开始 |
| （非编号） | 判断跟进 + 校准（原"问责"） | 移出编号阶段、待真实手感后单独设计 |
金融认知体系内部代号
事实源：ADR-007 supplement + glossary。体系 = 5 个互锁部分（8 机制 + 市场结构分轴 + S1 + 评测 + 迭代治理），构成动态演进、不写死。
8 机制 M1–M8（认知体系核心定义层）：
| 代号 | 人话名 | 代号 | 人话名 |
|---|---|---|---|
| M1 | 金融对象本体识别与关联 | M5 | 事件传导链路 |
| M2 | 信息源可靠性与异构对齐 | M6 | 金融规律（三支柱 + 资本结构层） |
| M3 | 时间维度对齐 | M7 | 行为偏差识别 + 不确定性量化 |
| M4 | 场景识别与映射 | M8 | 可迭代矫正（唯一逆向写回入口） |
- S1：叙事-数字一致性跨机制子流程（原称"横切子流程"，按 ADR-022 改"跨机制"）——跨 M5/M6/M7 联合判定，每次综合输出前必跑（见 INV-13）。
- 市场结构分轴（原 MCA「横切维度」
Market Context Axis，代码标识仍用MCA）：7 个共享输入分轴——投资者结构 / 衍生品成熟度 / 制度性摩擦 / 非市场参与者注入 / 信用环境与出清节奏 / 信息可得性等级 / 货币与跨境约束。决定 M1–M7 在不同市场结构下用什么参数运算；评测"按市场结构分组"分层抽样（原称"7 桶/MCA 桶"）。 - M7.uq 双峰后验（
BimodalPosterior）：高不确定性下的判断形态（双峰重尾贝叶斯后验）；原"凯利上限"已退役（ADR-021）。 - 评测维度 D1–D11：11 个即时可观测的代理指标（认知结构完整度类，刻意避开"预测对不对"）。逐维定义见 评测公式工程包（D6 不确定性量化、D11 风险预算与组合层等；原含
C_kelly项已随 ADR-021 标退役，权重重核待 FinTecEval/owner）。
治理 / 对齐代号
| 代号 | 人话名 | 一句话 / 事实源 |
|---|---|---|
| 对齐层级 战略层 L / 设计层 D / 执行层 S | 原「L/D/S 对齐颗粒」 | 三层对齐颗粒度；字母作简写、首次带词。见 governance/alignment-protocol.md |
| L0–L4 | 文档层级 | 文档层级（L0 生态 / L2 产品定义 / L3 架构 / L4 治理）。⚠ 与上面对齐层级的 L 是否撞名待核 |
| Commons 资产 | 原缩写「CM」 | 可从单项目升格到 commons 的跨项目方法论/模板（退缩写，正文写全） |
| ADR-NNN / MP-N | 决策记录 / 协议记录 | 见 ADR 索引 |
维护
新增任一编码体系或新代号时，先在此登记（代号 → 人话 → 事实源），再在文档/代码中使用——同 glossary"新概念先入表"的纪律。