库尔皮舍夫 Artifact 图谱

摘要

本文对 Global RBD v2.2、RUN-016 命名登记表中的36个库尔皮舍夫 Artifact 进行可追溯的图谱式整理。Artifact 被视为一种已登记的 Reper 构造，包含标识符、R、I、U、D 角色分配、关系图、依据、证明阶段以及后续核验路线。全文保留36份档案，并将其与16个基础 Reper 节点及216条角色关系记录相联系。独立的分析层按照静态编码器 R3M-ENCODER-v1.0 重新计算，得到7种不同矩阵和2种谱档案：19个秩1对象、17个秩2对象。本文用关系族的占用数量解释这一结果。第1号与第18号对象表明，矩阵相同并不意味着充分依据角色或证明阶段相同。图谱还与完整签名阶段 R4-K 及来源准入阶段 R4-L 相联系，但不把36个对象与康德语料图混为一体。本文记录库尔皮舍夫的作者性架构，同时严格区分目录整理、编码的数学分析与尚未完成的经验预测验证。

关键词： 库尔皮舍夫 Artifact；Reper；KLT-RBD；RIUD；图谱；KASVD；证明档案；谱碰撞；完整签名；充分依据。

1. Artifact 作为科学记忆的单位

《专著5.0》以事件@状态作为项目的基本单位，并用 Reper 连接实际内容、内部不变量、可能性场与充分依据。这一构造随后被用于来源、公式、文献、程序和预测[2，§§1—3]。第十二卷进一步定义 Artifact：一种已记录的构造应具有来源、适用域、档案、状态和下一步行动[3，§§1—3、12—13]。

本文保留如下档案形式：

$$A_n=(\mathrm{id}_n,G_n,\operatorname{Rep}_n,\mathrm{Dom}_n,D_n,S_n,B_n,N_n),\qquad \operatorname{Rep}_n=(R_n,I_n,U_n;D_n). \tag{1}$$

其中 G 为图，S 为证明状态记录，B 为阻塞项清单或字段，N 为下一项可核验行动。这一式子组织档案结构，并不宣称存在普适的数值真理判据。

Artifact 与未登记思想的区别在于可定位性与历史。研究者能够通过标识符找到对象，与旧版本对照，并检查实际存在哪些依据。就认知人类学而言，研究过程的记忆由叙述转化为可复现对象；然而，保留某一主张的记忆不等于证明该主张。

本文研究范围是第1—36号命名登记表。 更广义的第十二卷讨论数学、物理、化学、生物和软件 Artifact；这种主题架构不能成为把36条具体 RUN-016 记录改称为上述所有学科中36项独立发现的理由。直接参与本目录的16个节点，其保存的节点域标签均为 KLT_RBD[1]。

2. 来源框架与身份保持规则

主要来源为 KLT-RBD Global Reper Database v2.2、Artifact Naming and Dossier RUN-016 数据包。它包括 JSON/CSV 命名表、36份单独的俄文档案、Reper 表、RUN-006 角色关系以及 SQLite 数据库。命名记录日期为2026年6月2日。“Artifact-n”中的编号与 RUN-015 队列的 rank 字段一致：它是候选项排序编号，不是 SVD 的秩，也不是发现日期[1，README；artifact_candidate_score_run_015 表]。

标识符的继承路线为

$$\text{RIUD/006}\to\text{PROOF/007}\to\text{FORMAL/009}\to\text{CAND/015}\to\text{NAME/016}. \tag{2}$$

这是文档形成与审查历史，并非独立图变化的时间序列。因此，不能用这一路线代替前瞻性预测所需的新观测。

本次图谱制作核对了原 SHA-256 清单中的286项，全部吻合；ZIP 的 CRC 检查通过。命名 JSON 表与 SQLite 表逐字段一致，角色关系表也与 CSV 导出一致。这些检查确认所用存档快照的完整性，不构成外部科学评审或独立 EXT-RUN。

基础节点对应四个来源族：预测规范、五类界限、接口目录和形式化骨架。四者保持分离。最后一类在来源中明确称为 formal skeleton；D 字段中的 proof stub 不能被当作已完成的形式证明[1，sources_v2_2_preserved]。

2.1. 如何阅读数值与状态

λ、δ_truth 和 CGI 数值均来自 RUN-016，在文中保留六位小数。它们没有从 R、I、U、D 的文字字段重新计算，也不被称为物理过程的测量值。δ_truth 名称与标量 CGI 被保留为历史登记字段。后续第五卷将 λ 限制为严格类型化的部分不变量，并区分相互独立的缺陷坐标[4，第1—2页]。

36条记录的 proof_status 均为 roadmap-only-not-proof，truth_layer_promotion 均为0。即便第1号对象处于 signature-ready，也仅表示准备接受下一轮受控审查，而非定理已证。第2号的 remaining_blockers = 0，但仍为 return-to-hold，因为来源另行要求 independent signature-witness。一个计数字段不能取代其他准入条件。

十张缺少 formal_card_id 的卡片在 remaining_blockers 中记为999。本文逐字保留该值并加星号，不将其解释为已经列出的999项独立障碍。同样，所有对象的 d_coverage = 4 是登记的覆盖特征，并不等于四项独立证明的充分依据。

中文正文使用原术语 Artifact。源登记表的旧中文别名“库尔皮舍夫第n号伪影”原样保留在机器可读档案中；本文不将这些构造解释为物理成像中的伪影。俄文与英文规范名及原始标识符均未改动。

3. 十六个基础节点与档案结构

每张卡把 R、I、U、D 角色赋给四个不同的 Reper 节点。节点自身内部的 R、I、U、D 字段，不应与节点在该 Artifact 中承担的角色混淆，这是两个描述层级。为便于阅读，本文使用 N001…N131 简写；它们不替代原 KRP-V20 标识符，完整对应关系保留在机器可读登记表中。

前五个节点描述界限，随后六个节点描述预测记录与重建，三个描述接口操作，最后两个为形式化骨架。右列是对原 concept/concept_ru 字段的简要说明。完整来源表述、内部 D 字段、source_id 和 work_id 保留在附带 JSON 中，原始字节则保存在未修改的压缩档案中。

每个 RIUD_TETRA 含六组角色对。这里的“四面体”仅指四个顶点的关系骨架，不表示来源给出了欧氏坐标、实测边长或几何体积。active_relation_signature 中可能包含多个有向关系，所以不能不加说明地把每张档案的六行当作全局 RBD 中六条唯一的边。

附录A按照原命名次序列出全部36张卡。RUN-006 对象、RUN-007 证明对象和 RUN-009 形式卡片标识符只在印刷版中缩写；完整展开规则见目录前说明。

4. 从 Reper 图到静态 SVD 档案

本文复现的编码器是 R3M-ENCODER-v1.0[5]。矩阵的行对应 RI、RU、IU，列对应三个关系族：

若某一角色对的签名中至少含有该族的一个关系，则对应矩阵元素为1：

$$M_{p,f}=\mathbf1\{\operatorname{signature}(p)\text{ contains a relation in family }f\},\quad p\in\{RI,RU,IU\}. \tag{3}$$

该矩阵使用不含 D 的三个角色对。另三个角色对、充分依据字段、阻塞项与 proof_status 并未从档案删除，而是作为独立的来源层与证明层保留。在这一特定二值投影中，同族的多条关系及方向没有被区分。这是明确选定的数据压缩方式，而不是来源自身的性质。

R3-M 矩阵不能与后续 R3-V 演示矩阵混用；后者的坐标轴为 R,I,U 与 D,P,G，属于另一个编码器。本文所有数值 SVD 结果仅针对前一种契约。

对 M 使用标准奇异值分解 M = UΣVᵀ；算法与术语的经典背景见 LAPACK 文档[9]。谱档案定义为

$$\sigma_1\ge\sigma_2\ge\sigma_3\ge0,\qquad \rho=\|M\|_F,\qquad s_2=\sigma_2/\sigma_1,\quad s_3=\sigma_3/\sigma_1 \quad(\sigma_1>0). \tag{4}$$

重算确认了七种不同矩阵。M1…M7 仅为本文的导航标签，不是新增的 Artifact 编号。

命题1：为什么本图谱只有两种谱

设二值矩阵的每行恰含一个1，n_F、n_E、n_L 为分别归入三个关系族的行数，则

$$M^TM=\operatorname{diag}(n_F,n_E,n_L),\qquad \{\sigma_i^2\}_{i=1}^3=\{n_F,n_E,n_L\}. \tag{5}$$

证明。 每行不会在两个不同列同时出现1，因此 MᵀM 的所有非对角元素均为0。对角元素等于对应列中1的数量。奇异值即 MᵀM 特征值的非负平方根。□

36个来源对象均通过该行条件检查。关系族数量仅出现 (3,0,0) 或 (2,1,0) 的排列。因此

$$19\times(\sqrt3,0,0),\qquad17\times(\sqrt2,1,0),\qquad \rho=\sqrt3\ \text{for every card}. \tag{6}$$

它们在 KASVD 三角形中分别为 (0,0) 与 (1/√2,0)，从而解释了19个 S1、17个 S2g 的分布。这并不证明对象只有一个或两个语义自由度；被测量的是固定投影中关系族的可区分性。

5. 两张卡片、一个矩阵：依据为何必须单独保留

第1号与第18号是一个明确例子。两者 R 均对应 forecast_fact_gap，I 均对应 nearest_rebuild_neighborhood。但第1号的 U = LimitOK、D = PredReperRecord；第18号的 U = PredReperRecord、D = predictive_health。RUN-016 的决策分别为 signature-ready 与 hold，remaining_blockers 分别为0与6[1，档案001、018]。

然而两者得到同一个矩阵：

$$M_1=M_{18}=\begin{pmatrix}0&1&0\\1&0&0\\1&0&0\end{pmatrix}. \tag{7}$$

选中的三个角色对进入相同关系族，而与 D 相关的三个关系不同。因此，矩阵相等只表示选定投影相等，并不表示档案、证明或内容相同，也不授权合并数据库卡片。

第2号与第3号提供另一例子：它们矩阵相同，但 U 分别指向 predictive_limits 与 predictive_forecast。静态谱并不一定区分“请求界限目录”和“请求预测”。正因如此，R4-J 将编码碰撞与矩阵轨道重合分开处理[6]。

6. 图谱与完整签名 R4-K/R4-L 的联系

后续数学路线不替换原始名称，而是改进对登记结构的比较。给定明确的有限复形、δ₁δ₀ = 0 及固定度量，可定义

$$H^1=\ker\delta_1/\text{im}\delta_0,\qquad h([z])=P_{\mathcal H}z. \tag{8}$$

经典的有限维 Hodge 框架见 L.-H. Lim[8]。R4-K 针对固定的有限允许等距群 Γ，用规范轨道代表建立完整比较：

$$c_\Gamma([z])=\min_{g\in\Gamma}^{\mathrm{lex}}Q_g h([z]). \tag{9}$$

这一定义不要求 SVD 是原始类的完整不变量，却要求明确复形、数值缺陷 z、度量和允许群。本文没有对全部36个 Artifact 执行这种语义上同调计算。 静态 R3-M 矩阵不被当作其替代品。

R4-L 研究的是另一个对象 KANT-SNAP-015：55个节点、59条独立边、6个连通分量，以及一维骨架的10个循环坐标。该报告保留了一个明确见证，说明合并端点相同的两条边会丢失信息。这是 Atlas/Analyzer 开发的方法例子，不是第37—91号 Artifact，也不是对1—36号目录的重新命名[6，R4-L]。同一报告仍未准入语义缺陷向量；缺失值没有被替换为0。

共同架构路线为

$$\text{source}\to\text{passport}\to\text{typed graph}\to\text{admissible class}\to\text{complete signature}. \tag{10}$$

KASVD 作为诊断性谱投影伴随这一路线；完整图与依据必须保持可恢复。

7. 对预测方法的意义与新颖性边界

本图谱从三个方面加强预测性 Reper 投影—调和方法。第一，把 Artifact 名称变为具有保留历史的可定位对象；第二，为图结构比较提供可核验层，并揭示压缩边界；第三，把每个状态联系到具体下一步行动，而非结果承诺：取得独立见证、澄清适用域、重建角色映射或重复审查。

对于 Analyzer，这有助于区分结构相似但证明依据不同的片段。对于 ARBD，它要求保留独立版本和类型化边，不能只因谱相同而合并。对于 KLT-MATDES，只有在明确领域角色、单位、适用域与 Evidence-D 后才可转移方法。本文不声称这些改动已部署到生产应用。

在这一范围内，库尔皮舍夫的作者性贡献是把 Artifact、Reper、来源、D/Dom、图、状态与核验组织为统一架构，建立编号化机器可读登记，并把谱分析及完整轨道分析纳入 KLT-RBD。SVD、图论、矩阵秩、Hodge 理论与标准群作用不被宣称为作者原创发现。目录整理也不等于为每一个结果确认外部科学优先权。

数值 λ 档案不能代替证明；D 角色已填写不等于依据充分；signature-ready 不等于定理已证；谱相同不等于 Artifact 相同。这些边界与 PILOT-01 及第五卷一致[4；7]。语义问题仍居核心：两条记录之间究竟传递了什么，凭什么允许这样的传递？

结论

RUN-016 快照中36个命名 Artifact 的统一图谱已经形成；目录未被缩减，科学状态未被提高。来源层包括36份档案、16个基础节点和216条角色记录；分析层包括7种矩阵、2种谱以及相同矩阵对应不同完整档案的明确例子。本文是 R4-L 之后的中间出版阶段。下一项内容研究仍为 R4-M：按来源分析两条平行的康德关系及其比较依据。

预测验证状态： SCIENCE = ABSTAIN；EXT_RUN = NOT_RUN；truth_layer_promotion = 0。目录的数学计算不改变这些字段。

参考文献与来源定位

[1] Kurpishev I. B. KLT-RBD Global Reper Database v2.2: Artifact Naming and Dossier RUN-016. 2026-06-02. README_RU.md; exports/json/artifact_kurpishev_name_registry_run_016.json; dossiers/artifacts/ARTIFACT_001…036_KURPISHEV_RU.md; exports/csv/repers_v2_2_preserved.csv; tetra_role_edges_run_006.csv. Archive: sources/RUN016_ORIGINAL.zip.

[2] Kurpishev I. B. Monograph 5.0: Kurpishev Logic. 2026. monograph5_0_ru.pdf, pp. 3-4, sections 1-3. Original Russian title: Monografiya 5.0: Logika Kurpisheva.

[3] Kurpishev I. B. Volume XII: Kurpishev Artifacts and the Architecture of Mathematics. mbp179, 2026, pp. 3-7, sections 1-3 and 12-13. Preserved within v32_v196cc.pdf, PDF pp. 1109-1113.

[4] Kurpishev I. B. Basic Project KLT-RBD. Volume V: Computational Architecture. T5-AUDIT-MATH-v0.4, 2026-08-02, pp. 1-2 and chapters 4-9. tom5_v0_4_0_1(1).pdf.

[5] Kurpishev I. B. R3-M: Real Artifact Encoder / Admission Audit v1.0. 2026. R3M-ENCODER-v1.0; R3M_ARTIFACT_SVD_ATLAS_v1_0.json; r3m_build_static_atlas.py. Static matrix/spectrum record, not a temporal trial.

[6] Kurpishev I. B. R4-J: Quotient Spectral Geometry; R4-K: Complete Obstruction Signature; R4-L: Source-bound Signature Admission. Project checkpoints, 2026. R4L_RESULTS.json; KANT-SNAP-015 is a separate source graph.

[7] Kurpishev I. B. Reper-Projective Architecture of Formula Chains: PILOT-01. 2026-05-03, pp. 3-5, Definitions 3.1-3.3 and Theorem 4.1. PILOT01_PREPRINT_RU_FINAL.pdf.

[8] Lim, Lek-Heng. Hodge Laplacians on graphs. arXiv:1507.05379. https://arxiv.org/abs/1507.05379. Classical background for finite cochain complexes and Hodge representatives.

[9] LAPACK Users’ Guide. Singular Value Decomposition (SVD). Netlib, section 2.2.4. https://www.netlib.org/lapack/lug/node32.html. Classical definition and computational background.

附录A：第1—36号 Artifact 完整目录

以下各记录均为 RIUD_TETRA，proof_status = roadmap-only-not-proof，internal_edge_count = 6，d_coverage = 4，truth_layer_promotion = 0。λ、δ、CGI 是 RUN-016 快照字段，印刷版采用四舍五入。B 保留 remaining_blockers 原值；999* 不被当作已核验的999项清单。缩写展开规则：对象 → RIUD-TETRA-RUN006-nnn；proof → PROOF-OBJ-RUN007-nnnn；formal → FORMAL-CARD-RUN009-nnn。破折号表示缺少 formal_card_id。完整标识符、俄英规范名及原中文别名均保留在 ATLAS_REGISTRY.json 与原始档案中[1]。

A.1. Artifact 1-6

01. Kurpishev Artifact-1

R = N017 (预测与事实的差距); I = N018 (最近重建邻域); U = N131 (LimitOK — 形式骨架); D = N130 (PredReperRecord — 形式骨架).

对象 029; proof 0029; formal 006. λ = -0.992737; δ = 0.007263; CGI = 0.140949; B = 0. M1 / S2g.

signature-ready. 下一步: 作为参照，编写文章并通过出版准入条件，不改变真值层。

02. Kurpishev Artifact-2

R = N018 (最近重建邻域); I = N019 (语义迷雾中的搜索); U = N123 (界限目录接口); D = N130 (PredReperRecord — 形式骨架).

对象 030; proof 0030; formal 002. λ = -0.977250; δ = 0.022750; CGI = 0.134613; B = 0. M2 / S1.

return-to-hold. 下一步: 取得独立 signature-witness，重复 signature review。

03. Kurpishev Artifact-3

R = N018 (最近重建邻域); I = N019 (语义迷雾中的搜索); U = N124 (预测性 Reper 接口); D = N130 (PredReperRecord — 形式骨架).

对象 031; proof 0031; formal 001. λ = -1.035478; δ = 0.035478; CGI = 0.134599; B = 1. M2 / S1.

return-to-hold. 下一步: 解决剩余阻塞项，重复 accept-review closure。

04. Kurpishev Artifact-4

R = N017 (预测与事实的差距); I = N123 (界限目录接口); U = N016 (允许的未来 Reper); D = N130 (PredReperRecord — 形式骨架).

对象 011; proof 0011; formal 019. λ = -1.028786; δ = 0.028786; CGI = 0.160747; B = 6. M2 / S1.

hold. 下一步: 补全 Dom、Evidence-D 和证明阻塞项，返回审查。

05. Kurpishev Artifact-5

R = N017 (预测与事实的差距); I = N124 (预测性 Reper 接口); U = N016 (允许的未来 Reper); D = N130 (PredReperRecord — 形式骨架).

对象 010; proof 0010; formal 015. λ = -1.035035; δ = 0.035035; CGI = 0.158355; B = 6. M2 / S1.

hold. 下一步: 补全 Dom、Evidence-D 和证明阻塞项，返回审查。

06. Kurpishev Artifact-6

R = N015 (事件–状态–界限包); I = N003 (空间界限); U = N016 (允许的未来 Reper); D = N002 (生态界限).

对象 028; proof 0028; formal 007. λ = -0.940909; δ = 0.059091; CGI = 0.141894; B = 4. M3 / S2g.

hold. 下一步: 补全 Dom、Evidence-D 和证明阻塞项，返回审查。

A.2. Artifact 7-12

07. Kurpishev Artifact-7

R = N015 (事件–状态–界限包); I = N002 (生态界限); U = N016 (允许的未来 Reper); D = N001 (政治界限).

对象 034; proof 0034; formal 003. λ = -0.929507; δ = 0.070493; CGI = 0.139731; B = 4. M3 / S2g.

hold. 下一步: 补全 Dom、Evidence-D 和证明阻塞项，返回审查。

08. Kurpishev Artifact-8

R = N015 (事件–状态–界限包); I = N123 (界限目录接口); U = N016 (允许的未来 Reper); D = N130 (PredReperRecord — 形式骨架).

对象 001; proof 0001; formal 023. λ = -1.075021; δ = 0.075021; CGI = 0.163651; B = 6. M2 / S1.

hold. 下一步: 补全 Dom、Evidence-D 和证明阻塞项，返回审查。

09. Kurpishev Artifact-9

R = N017 (预测与事实的差距); I = N018 (最近重建邻域); U = N123 (界限目录接口); D = N130 (PredReperRecord — 形式骨架).

对象 020; proof 0020; formal 005. λ = -1.070872; δ = 0.070872; CGI = 0.140114; B = 5. M2 / S1.

rebuild. 下一步: 重建角色映射 / 证明闭合，重复 λ/CGI 审核。

10. Kurpishev Artifact-10

R = N015 (事件–状态–界限包); I = N003 (空间界限); U = N016 (允许的未来 Reper); D = N004 (时间界限).

对象 027; proof 0027; formal 010. λ = -1.077951; δ = 0.077951; CGI = 0.155086; B = 5. M3 / S2g.

rebuild. 下一步: 重建角色映射 / 证明闭合，重复 λ/CGI 审核。

11. Kurpishev Artifact-11

R = N015 (事件–状态–界限包); I = N123 (界限目录接口); U = N124 (预测性 Reper 接口); D = N130 (PredReperRecord — 形式骨架).

对象 023; proof 0023; formal 027. λ = -1.115256; δ = 0.115256; CGI = 0.170376; B = 6. M4 / S2g.

hold. 下一步: 补全 Dom、Evidence-D 和证明阻塞项，返回审查。

12. Kurpishev Artifact-12

R = N015 (事件–状态–界限包); I = N130 (PredReperRecord — 形式骨架); U = N016 (允许的未来 Reper); D = N131 (LimitOK — 形式骨架).

对象 007; proof 0007; formal 022. λ = -1.124753; δ = 0.124753; CGI = 0.161702; B = 6. M5 / S2g.

hold. 下一步: 补全 Dom、Evidence-D 和证明阻塞项，返回审查。

A.3. Artifact 13-18

13. Kurpishev Artifact-13

R = N015 (事件–状态–界限包); I = N003 (空间界限); U = N014 (预测性 Reper 记录); D = N004 (时间界限).

对象 033; proof 0033; formal 018. λ = -1.136651; δ = 0.136651; CGI = 0.159899; B = 6. M3 / S2g.

hold. 下一步: 补全 Dom、Evidence-D 和证明阻塞项，返回审查。

14. Kurpishev Artifact-14

R = N015 (事件–状态–界限包); I = N004 (时间界限); U = N016 (允许的未来 Reper); D = N005 (本体论界限).

对象 035; proof 0035; formal 009. λ = -1.142339; δ = 0.142339; CGI = 0.150880; B = 6. M3 / S2g.

hold. 下一步: 补全 Dom、Evidence-D 和证明阻塞项，返回审查。

15. Kurpishev Artifact-15

R = N017 (预测与事实的差距); I = N018 (最近重建邻域); U = N124 (预测性 Reper 接口); D = N130 (PredReperRecord — 形式骨架).

对象 019; proof 0019; formal 004. λ = -1.162476; δ = 0.162476; CGI = 0.140025; B = 6. M2 / S1.

hold. 下一步: 补全 Dom、Evidence-D 和证明阻塞项，返回审查。

16. Kurpishev Artifact-16

R = N015 (事件–状态–界限包); I = N123 (界限目录接口); U = N016 (允许的未来 Reper); D = N122 (预测层可用性).

对象 012; proof 0012; formal —. λ = -1.117153; δ = 0.117153; CGI = 0.251555; B = 999*. M2 / S1.

cgi-hold. 下一步: 重建角色映射 / 证明闭合，重复 λ/CGI 审核。

17. Kurpishev Artifact-17

R = N015 (事件–状态–界限包); I = N130 (PredReperRecord — 形式骨架); U = N014 (预测性 Reper 记录); D = N131 (LimitOK — 形式骨架).

对象 008; proof 0008; formal 026. λ = -1.176892; δ = 0.176892; CGI = 0.169986; B = 6. M5 / S2g.

hold. 下一步: 补全 Dom、Evidence-D 和证明阻塞项，返回审查。

18. Kurpishev Artifact-18

R = N017 (预测与事实的差距); I = N018 (最近重建邻域); U = N130 (PredReperRecord — 形式骨架); D = N122 (预测层可用性).

对象 021; proof 0021; formal 017. λ = -1.198979; δ = 0.198979; CGI = 0.159793; B = 6. M1 / S2g.

hold. 下一步: 补全 Dom、Evidence-D 和证明阻塞项，返回审查。

A.4. Artifact 19-24

19. Kurpishev Artifact-19

R = N015 (事件–状态–界限包); I = N122 (预测层可用性); U = N014 (预测性 Reper 记录); D = N130 (PredReperRecord — 形式骨架).

对象 006; proof 0006; formal 030. λ = -1.198701; δ = 0.198701; CGI = 0.172854; B = 6. M2 / S1.

hold. 下一步: 补全 Dom、Evidence-D 和证明阻塞项，返回审查。

20. Kurpishev Artifact-20

R = N015 (事件–状态–界限包); I = N123 (界限目录接口); U = N014 (预测性 Reper 记录); D = N122 (预测层可用性).

对象 015; proof 0015; formal —. λ = -1.173009; δ = 0.173009; CGI = 0.261519; B = 999*. M2 / S1.

cgi-hold. 下一步: 重建角色映射 / 证明闭合，重复 λ/CGI 审核。

21. Kurpishev Artifact-21

R = N015 (事件–状态–界限包); I = N003 (空间界限); U = N014 (预测性 Reper 记录); D = N002 (生态界限).

对象 036; proof 0036; formal 008. λ = -1.203088; δ = 0.203088; CGI = 0.146018; B = 9. M3 / S2g.

rebuild. 下一步: 重建角色映射 / 证明闭合，重复 λ/CGI 审核。

22. Kurpishev Artifact-22

R = N017 (预测与事实的差距); I = N122 (预测层可用性); U = N016 (允许的未来 Reper); D = N130 (PredReperRecord — 形式骨架).

对象 014; proof 0014; formal 021. λ = -1.214280; δ = 0.214280; CGI = 0.161548; B = 9. M2 / S1.

rebuild. 下一步: 重建角色映射 / 证明闭合，重复 λ/CGI 审核。

23. Kurpishev Artifact-23

R = N015 (事件–状态–界限包); I = N122 (预测层可用性); U = N123 (界限目录接口); D = N130 (PredReperRecord — 形式骨架).

对象 024; proof 0024; formal —. λ = -1.224723; δ = 0.224723; CGI = 0.258421; B = 999*. M4 / S2g.

cgi-hold. 下一步: 重建角色映射 / 证明闭合，重复 λ/CGI 审核。

24. Kurpishev Artifact-24

R = N015 (事件–状态–界限包); I = N122 (预测层可用性); U = N016 (允许的未来 Reper); D = N130 (PredReperRecord — 形式骨架).

对象 005; proof 0005; formal 024. λ = -1.307519; δ = 0.307519; CGI = 0.164424; B = 10. M2 / S1.

reject. 下一步: 重建角色映射 / 证明闭合，重复 λ/CGI 审核。

A.5. Artifact 25-30

25. Kurpishev Artifact-25

R = N017 (预测与事实的差距); I = N123 (界限目录接口); U = N016 (允许的未来 Reper); D = N122 (预测层可用性).

对象 018; proof 0018; formal 028. λ = -1.346845; δ = 0.346845; CGI = 0.171850; B = 10. M2 / S1.

reject. 下一步: 重建角色映射 / 证明闭合，重复 λ/CGI 审核。

26. Kurpishev Artifact-26

R = N015 (事件–状态–界限包); I = N124 (预测性 Reper 接口); U = N014 (预测性 Reper 记录); D = N130 (PredReperRecord — 形式骨架).

对象 004; proof 0004; formal 025. λ = -1.241361; δ = 0.241361; CGI = 0.169605; B = 9. M2 / S1.

rebuild. 下一步: 重建角色映射 / 证明闭合，重复 λ/CGI 审核。

27. Kurpishev Artifact-27

R = N017 (预测与事实的差距); I = N130 (PredReperRecord — 形式骨架); U = N016 (允许的未来 Reper); D = N131 (LimitOK — 形式骨架).

对象 016; proof 0016; formal 016. λ = -1.258074; δ = 0.258074; CGI = 0.158730; B = 9. M5 / S2g.

rebuild. 下一步: 重建角色映射 / 证明闭合，重复 λ/CGI 审核。

28. Kurpishev Artifact-28

R = N015 (事件–状态–界限包); I = N124 (预测性 Reper 接口); U = N016 (允许的未来 Reper); D = N130 (PredReperRecord — 形式骨架).

对象 002; proof 0002; formal 020. λ = -1.280679; δ = 0.280679; CGI = 0.161340; B = 9. M2 / S1.

rebuild. 下一步: 重建角色映射 / 证明闭合，重复 λ/CGI 审核。

29. Kurpishev Artifact-29

R = N015 (事件–状态–界限包); I = N123 (界限目录接口); U = N014 (预测性 Reper 记录); D = N130 (PredReperRecord — 形式骨架).

对象 003; proof 0003; formal 029. λ = -1.262708; δ = 0.262708; CGI = 0.172038; B = 9. M2 / S1.

rebuild. 下一步: 重建角色映射 / 证明闭合，重复 λ/CGI 审核。

30. Kurpishev Artifact-30

R = N017 (预测与事实的差距); I = N124 (预测性 Reper 接口); U = N016 (允许的未来 Reper); D = N123 (界限目录接口).

对象 017; proof 0017; formal —. λ = -1.389975; δ = 0.389975; CGI = 0.255033; B = 999*. M2 / S1.

cgi-hold. 下一步: 重建角色映射 / 证明闭合，重复 λ/CGI 审核。

A.6. Artifact 31-36

31. Kurpishev Artifact-31

R = N015 (事件–状态–界限包); I = N124 (预测性 Reper 接口); U = N016 (允许的未来 Reper); D = N123 (界限目录接口).

对象 009; proof 0009; formal —. λ = -1.334002; δ = 0.334002; CGI = 0.257608; B = 999*. M2 / S1.

cgi-hold. 下一步: 重建角色映射 / 证明闭合，重复 λ/CGI 审核。

32. Kurpishev Artifact-32

R = N015 (事件–状态–界限包); I = N124 (预测性 Reper 接口); U = N014 (预测性 Reper 记录); D = N123 (界限目录接口).

对象 013; proof 0013; formal —. λ = -1.474022; δ = 0.474022; CGI = 0.267903; B = 999*. M2 / S1.

cgi-hold. 下一步: 重建角色映射 / 证明闭合，重复 λ/CGI 审核。

33. Kurpishev Artifact-33

R = N124 (预测性 Reper 接口); I = N123 (界限目录接口); U = N016 (允许的未来 Reper); D = N130 (PredReperRecord — 形式骨架).

对象 022; proof 0022; formal —. λ = -1.397060; δ = 0.397060; CGI = 0.273415; B = 999*. M6 / S2g.

cgi-hold. 下一步: 重建角色映射 / 证明闭合，重复 λ/CGI 审核。

34. Kurpishev Artifact-34

R = N130 (PredReperRecord — 形式骨架); I = N123 (界限目录接口); U = N016 (允许的未来 Reper); D = N122 (预测层可用性).

对象 025; proof 0025; formal —. λ = -1.409002; δ = 0.409002; CGI = 0.289066; B = 999*. M7 / S2g.

cgi-hold. 下一步: 重建角色映射 / 证明闭合，重复 λ/CGI 审核。

35. Kurpishev Artifact-35

R = N014 (预测性 Reper 记录); I = N123 (界限目录接口); U = N124 (预测性 Reper 接口); D = N130 (PredReperRecord — 形式骨架).

对象 026; proof 0026; formal —. λ = -1.697617; δ = 0.697617; CGI = 0.353280; B = 999*. M4 / S2g.

cgi-hold. 下一步: 重建角色映射 / 证明闭合，重复 λ/CGI 审核。

36. Kurpishev Artifact-36

R = N014 (预测性 Reper 记录); I = N122 (预测层可用性); U = N123 (界限目录接口); D = N130 (PredReperRecord — 形式骨架).

对象 032; proof 0032; formal —. λ = -2.053941; δ = 1.053941; CGI = 0.366055; B = 999*. M4 / S2g.

cgi-hold. 下一步: 重建角色映射 / 证明闭合，重复 λ/CGI 审核。