代号与编号索引
本文件是 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-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 | 每个综合输出 schema 必含 s1 字段且 8 子字段非空/非占位符；S1 自检本身是 ReAct 内 LLM 可选工具（ADR-025/026） |
| INV-14 | 认知数据独立性 | identity | 零外部数据时仍须正常工作；外部数据是辅助证据非前提 |
| INV-15 | agent 自主循环本体 | identity（建造态） | 产品本体是带自主循环的 agent；阶段 1 起断言、test 转绿即达成 |
| INV-16 | 判断记录是活记忆非死档 | identity（建造态） | 失效条件被触及时主动回来复盘；阶段 2/3 起断言 |
identity 硬度注（2026-06-07 后）：2026-06-07 撤掉的 1500 行 identity 级硬护栏主要是「FinBayes 不下单 / 认知与执行分工」一类执行边界条款——这些已降为未决六开放议题（战略白皮书 §10），不再是 identity 铁律。本表里凡涉及「执行边界 / 认知-执行分工」的 identity 标注，硬度待未决六首轮讨论重定；而 agent 自主循环本体（INV-15）、用户主权（INV-03）、凭证过滤（INV-11）等不涉执行边界的条目，identity 性质不受影响。落地形态另见 ADR-029（proposed：契约由 runtime 强制降为 prompt 协议 + 评测期校验，文字不动）。
真智能体骨架 · 组件 1–14
事实源：金融真智能体骨架蓝图。组件 1–12 通用普遍骨架，13 金融认知核（已有），14 = 原"问责"、按 ADR-022 拆为「判断跟进 + 校准」。
| 代号 | 人话名 | 代号 | 人话名 |
|---|---|---|---|
| 组件 1 | 主回路 | 组件 8 | 持久化 |
| 组件 2 | 工具系统 | 组件 9 | 主动性与触发 |
| 组件 3 | 上下文工程 | 组件 10 | 多渠道交付 |
| 组件 4 | 记忆 | 组件 11 | 自检与护栏 |
| 组件 5 | 规划与拆解 | 组件 12 | 可观测 |
| 组件 6 | 子代理 | 组件 13 | 认知核（金融，已有） |
| 组件 7 | 真实数据接地 | 组件 14 | 判断跟进 + 校准（原"问责/校准层"） |
建造阶段
两套阶段编号别混：下面「旧基线建造阶段 0–3」属旧本地 FinBayes 仓血统，2026-06-06 基线切换后后置；当前实际执行口径是「新基线两阶段框架」。事实源：CURRENT-MILESTONE §0.5 + §3 + ADR-024 / ADR-028。
新基线两阶段框架（当前 · 大驼峰 CurvatureLabs/FinBayes）
| 代号 | 人话名 | 状态 |
|---|---|---|
| 阶段 1 | 基线立得住、不退化（集成审计 + 去 martin 化 + 退化检查；闸门 = 同 case 同条件下 vs martin 6 维只强不弱） | 主体完成（Step 1.2-a / 1.2-b / 1.3 / 1.4 / 1.6 ✅），剩 Step 1.7 闸门 + P0 延迟 |
| 阶段 2 | 战略对齐 + 反向矫正 + 形态完备（未决六讨论 / 骨架重构快慢两条线 / 组件 14 校准 / 人格形态 / 基线加固 / 形态完备） | 未启动 |
| Step 1.2-a | ReAct pivot（拆金融问题旁路、δ 末答提取、生产默认 ON） | ✅ |
| Step 1.2-b | 工具广度补齐（核查即达成、反超 martin） | ✅ |
| Step 1.3 | 去 martin 化（11 项落 10 项，D8 归 1.6） | ✅ |
| Step 1.4 | 凭证脱敏 INV-11 确认 | ✅ |
| Step 1.6 | 灵魂重写（SOUL/AGENTS/身份换 FinBayes 认知形态） | ✅ |
| Step 1.7 | vs-martin 正式 live 闸门（须 owner 终端真模型，6 维只强不弱） | 待跑 |
旧基线建造阶段 0–3（历史 · 旧本地 FinBayes 仓，已后置）
| 代号 | 人话名 | 状态 |
|---|---|---|
| 阶段 0 | 文档矫正 | ✅ 完成 |
| 阶段 1（旧） | 最小可用真 agent | ✅ 完成 |
| 阶段 2（旧） | 主动性心跳 | ✅ 完成 |
| 阶段 3（旧） | 加固与可用化（runtime 入口 / 投递 / 持久化 / 护栏 / 隔离墙） | ✅ 完成（2026-06-05 owner 签字，主控独立审计通过） |
| （对标前置，非编号） | 加美股市场 us_stock + 与 martin-FinClaw 对比 harness | ✅ 完成（2026-06-05，主控审计通过；见 CURRENT-MILESTONE §6） |
| 组件 14（非编号） | 判断跟进 + 校准（原"问责"） | 移出编号阶段、待真实手感后单独设计；评测部分移交 FinTecEval（§7） |
金融认知体系内部代号
事实源：ADR-007 supplement + glossary。体系 = 5 个互锁部分（8 机制 + 市场结构分轴 + S1 + 评测 + 迭代治理），构成动态演进、不写死。
8 机制 M1–M8（认知体系核心定义层）：
| 代号 | 人话名 | 代号 | 人话名 |
|---|---|---|---|
| M1 | 金融对象本体识别与关联 | M5 | 事件传导链路 |
| M2 | 信息源可靠性与异构对齐 | M6 | 金融规律（三支柱 + 资本结构层） |
| M3 | 时间维度对齐 | M7 | 行为偏差识别 + 不确定性量化 |
| M4 | 场景识别与映射 | M8 | 可迭代矫正（唯一逆向写回入口） |
- S1：叙事-数字一致性跨机制子流程（原称"横切子流程"，按 ADR-022 改"跨机制"）——跨 M5/M6/M7 联合判定；
s1字段必含输出 schema（INV-13/ADR-026），自检本身是 ReAct 内 LLM 可主动调用的工具（ADR-025 §决策5）。 - 市场结构分轴（原 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 治理）。撞名已解：本体写「文档层 L0–L4」，对齐颗粒写「对齐层 战略层 L / 设计层 D / 执行层 S」，正文不用裸 L |
| Commons 资产 | 原缩写「CM」 | 可从单项目升格到 commons 的跨项目方法论/模板（退缩写，正文写全） |
| ADR-NNN / MP-N | 决策记录 / 协议记录 | 见 ADR 索引 |
工作记号（非正式 · 散见于状态文档与工程日志）
这些不是正式编号体系，是工作过程中的临时记号。登记于此，避免读者撞上不可解。
| 记号 | 含义 |
|---|---|
| 「刀」 | 一个 PR / 工程切片（如「26 刀 merge」=约 26 个 PR/切片；「补一刀」=做一个切片）。正式文档建议写「切片 / PR」 |
| a-1 ~ a-6 | Step 1.2-a ReAct pivot 内部的子任务切片（散见 CURRENT-MILESTONE §0.5、工程仓 spec） |
| 4 刀改进 / C3 / R1b / R1c / Ch0–Ch2 | 各轮一次性工作切片代号，散见状态文档与工程日志；非稳定编号，引用以当处上下文为准 |
维护
新增任一编码体系或新代号时，先在此登记（代号 → 人话 → 事实源），再在文档/代码中使用——同 glossary"新概念先入表"的纪律。