软件工程、架构与新技术补充事实核查¶
核查日期：2026-11-04。本记录补充04模块登记与05模块登记。本轮仅改两模块的02/03/04主讲正文、两份05核查页、05模块08新技术页及本文件。04/01用户压缩后的四分支总览和解读保留；99速记原文、06/07旧练习、自测、历史归档不改，不扩题库。N10/N11及NT04/08中主代理已核实的数字人民币2021白皮书和财会〔2023〕11号结论保留。
“已取得全文”指文件可完整提取；“已核实”仅覆盖实际精读段落。官方摘要可支持算法用途或政策定位，不能冒充协议/算法全文审计。下表中的章节和页码属于对应外部资料，物理页与印刷页分列。
1. 已落实到正文的补核与修订¶
| 对应登记/正文 | 实际读取依据及章节 | 结论与实际处理 | 状态与边界 |
|---|---|---|---|
| AR01；05/02 §1 | Garlan/Shaw《An Introduction to Software Architecture》§3.1—3.8，印刷p6—15/物理p9—18 | 核对管道、对象调用、隐式调用、分层、仓库/黑板、解释器和混合架构；明确手册“五类”是归组，不是唯一标准分类 | 核实该论文所述机制，不认定五类穷尽一切架构 |
| AR02；05/02 §5 | Kruchten 1995《Architectural Blueprints—The “4+1” View Model》五视图定义及各视图/Scenarios段落 | 逻辑、进程、开发、物理与场景；场景既帮助发现也验证架构，原论文允许其他记法 | 已核所述关注点；没有强制UML图一一配对 |
| AR13；05/02 §5 | CMU/SEI-2000-TR-004，§2物理p15；§5.3物理p28—29；§7.2物理p34—35；§8.5—8.6物理p41起 | 补效用树、优先场景、风险与敏感/权衡点；同一参数影响多个质量响应且影响不同才可能是权衡点；ATAM不直接证明全部指标达标 | 原报告大学镜像已读；SAAM/CBAM不由此一并通过 |
| AR06；05/02 §6 | The Open Group可访问TOGAF 9 Core Concepts历史页面，Architecture Development Method | 核对预备、A—H、C含数据/应用、需求管理贯穿，补迭代说明 | URL为doc-review历史路径；正式9/9.1入口重定向登录，当前版完整框架未核 |
| AR08；05/03 §3 | Lamport 1979《How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs》定义段；维罗纳大学NoSQL讲义第14张 | 顺序一致性保留每个处理器/客户端自身顺序，不额外要求跨客户端实时顺序；BASE软状态不能只解释为业务“处理中”字段 | 顺序一致性有原论文；BASE仅高校教学补证，Pritchett原文仍403 |
| AR09；05/04 §1 | Microsoft Saga的Solution/Problems；Apache Seata v2.6 TCC Mode；AWS Transactional outbox的Issues/Implementation | Saga补偿失败需重试/处置、不自动有全局隔离；TCC为自定义准备/提交/回滚；outbox需幂等及按业务处理顺序 | 官方工程依据已核；未穷尽Saga原论文或TCC各实现细节 |
| AR11；05/04 §2 | Microsoft Cache-Aside的Consistency、Expiration、本地缓存注意事项 | 写库后失效仍不保证一致；TTL不等于强一致证明；并发及外部更新可形成旧读 | 缓存旁路已补；穿透/击穿/雪崩、布隆及分片逐项仍待补 |
| AR12；05/04 §3 | AWS块/文件/对象比较的组织及接口说明 | 分开DAS/NAS/SAN连接方式与块/文件/对象访问模型，直连磁盘仍能承载文件系统 | 访问模型已核；FC/iSCSI/NFS/SMB协议逐点未核 |
| SE02—04；04/02 §2 | ISTQB CTFL4.0.1 §2.1 p25—27；Boehm/Hansen螺旋论文；Fowler CI与CD正文 | 核顺序/迭代/增量归类、尽早测试、风险驱动螺旋；频繁集成、持续可部署与自动生产部署区分 | 部分完成；喷泉、RUP四阶段、V对应完整教材仍待补 |
| SE08；04/02 §4 | OMG UML2.5.1 Annex A图A.5，印刷p683/物理p727；§9.5.3印刷p112/物理p154；§11.5及图11.33 | 核结构/行为/交互包含关系；shared精确语义由领域/建模者定；组合整体删除时仍包含对象部分随之删除，允许提前移出 | 分类与聚合/组合已补；其他关系逐条未全部精读 |
| SE10—13；04/03 §1—3 | ISTQB CTFL4.0.1 §2.2 p28—31、§3.1.3 p34、§4.2 p40—41、§4.3 p42—43、§4.4.1 p43—44 | 传统四层与该版五层区分；核等价类/边界/判定表、语句/分支、错误推测、确认/回归、静态/动态；不再无条件把判定覆盖等同分支覆盖；补短路求值反例限制 | 已核列出部分；因果图/正交、桩/驱动、性能细分等仍未齐 |
| SE12；04/03 §2 | NIST SP500-235 §2.2印刷p10/物理p30，§4.1印刷p23—25/物理p43—45 | 直接核实E−N+2、二分支p+1、多出口贡献出度减1及短路布尔影响；多模块求和注明条件 | 核实公式及单分支算例；不凭圈复杂度证明程序正确 |
| SE19；04/04 §3 | 安卡拉大学Fazıl Gökgöz PERT讲义，三点公式、路径统计与Z值例子 | 核(O+4M+P)/6、(P−O)/6；强调传统近似、不独立时需协方差、路径变动限制；不照抄讲义符号提取异常及不一致舍入 | 高校教材补证完成；关键链仍未核，PERT概率不等于严格总工期保证 |
| NT02；05/08 §4 | Castro/Liskov PBFT1999 §2—3物理p2—3、§4正常流程物理p4—6 | 核3f+1副本与f故障；安全性不依赖同步，活性有弱同步/消息延迟最终受约束前提；正常pre-prepare/prepare/commit，不含客户端数 | 已核经典论文模型；不推导任意网络或实际产品能力 |
| NT03；05/08 §1 | 原NIST800-145定义及现有服务表 | 将“往下层抽象越多”改为IaaS→PaaS→SaaS用户管理细节减少、供应商管理增加 | 消除方向歧义，合同责任仍具体判断 |
| NT05；05/08 §6 | NIST FIPS203/204/205正式发布页摘要；NSA QKD限制第1—4项 | 2024-08-13发布；ML-KEM密钥封装，ML-DSA/SLH-DSA签名；QKD仍需源认证/专用设备；203/204页面存在潜在勘误提示 | 用途/日期已核，未审计算法实现；NSA旧“尚在选型”时态不采用 |
| NT05；05/08 §6 | McMahan等2017论文机构摘要；NIST PEC的MPC工具表；NIST SP800-226 §2.1—2.1.2物理p21—22；Intel SGX overview/attestation | 联邦学习聚合本地更新不等于DP；MPC联合计算私有输入；DP由相邻数据集/隐私预算/组合约束；TEE需可信边界与证明 | 核心机制补核；联邦更新泄露攻击证明、MPC安全模型及全部TEE侧信道未穷尽 |
| NT06；05/08 §3 | D2L §1、§5.3；Lewis等RAG原论文摘要；Ouyang等InstructGPT摘要 | 核学习类型、反向传播；RAG原论文可微调，不再把所有RAG定义成不改权重；补经典示范SFT→偏好奖励模型→RLHF流程 | 教材与论文摘要支持列出内容；数据切分、Agent和RAG工程权限等未一并核 |
| NT08；05/08 §7 | 国家数据局《可信数据空间发展行动计划（2024—2028年）》物理p1—2及附件1 p9—11 | 写入共识规则/多方联接/共享共用的基础设施及价值共创生态定义、三类能力、身份/合约/存证；空间不等于某单一技术，沙箱是受控计算技术 | 已核该计划；2028目标不是已完成事实，未冒称后续全部标准均查完 |
2. 原始来源入口¶
以下均为本轮实际读到正文或明确标注的官方摘要；不把搜索结果片段作为已读正文。
- 架构： Garlan/Shaw全文、Kruchten全文、SEI身份页与ATAM同报告大学镜像、Open Group历史Core Concepts。
- 一致性： Lamport原文、维罗纳大学BASE讲义、Microsoft Saga、Apache Seata TCC、AWS outbox、Microsoft Cache-Aside、AWS存储比较。
- 软件工程： OMG UML2.5.1全文、NIST SP500-235全文、ISTQB CTFL4.0.1官方全文及ASTQB存档、Boehm/Hansen螺旋论文、Fowler CI和CD、安卡拉大学PERT讲义。
- 共识及密码： PBFT原论文大学镜像、FIPS203、FIPS204、FIPS205、NSA QKD技术边界。
- 隐私及AI： 联邦学习作者机构摘要、NIST PEC工具表、NIST SP800-226全文、Intel SGX、D2L §1、D2L §5.3、RAG原论文摘要、InstructGPT原论文摘要。
- 数据空间： 国家数据局行动计划全文，已以内存提取15页，精读上述页码，不改原PDF。
3. 失败、替代及不应夸大的证据¶
| 入口/材料 | 实际结果 | 处理 |
|---|---|---|
| SEI官方ATAM PDF及insights替代域名 | 超时/网页提取空 | 用大学同编号报告镜像；身份页作者/编号吻合，不冒称已直读官方PDF |
| PBFT旧USENIX路径与MIT旧站 | 404/拒绝连接 | 使用伯克利课程所存Castro/Liskov原论文；不使用学生项目代替 |
| TOGAF 9/9.1正式出版目录 | 转Open Group登录 | 使用官方域历史Core Concepts核ADM基本阶段；不称当前版全文已验收 |
| Pritchett《BASE: An Acid Alternative》ACM Queue | 403/提取空 | 高校讲义仅补基础词义；原始论文仍列未决 |
| ISTQB最初错误的文件名及首次请求 | 站点错误；ASTQB可读但后来请求超时 | 末次正确下划线文件名官方入口恢复200，已内存提取78页并精读目标章节；保留ASTQB备用 |
| PMI估算论文 | 可读页面到3-Point标题截断，直接请求403 | 不把搜索所见标准差片段记成全文；换高校PERT讲义并独立算例核对 |
| D2L旧generalization路径 | 返回首页 | 不认定泛化章节已读；只引用成功的§1和§5.3 |
| IBM存储比较旧URL | 返回主题总目录 | 不当正文依据；改用AWS实际比较正文 |
| NIST某差分隐私博客旧URL | 404 | 改用SP800-226正式全文 |
4. 核心未决：没有删减范围，也没有最终全通过¶
- 软件工程基本内容仍未齐证：生命周期及需求全流程、DFD平衡、内聚耦合完整等级、SOLID/DI与全部模式、喷泉/RUP/V详细对应、UML其他关系逐条语义；桩/驱动、α/β和“有效性”教材口径、因果图/正交、组合覆盖与路径覆盖的完整教材、性能测试细分、维护四类、ISO旧版/2023完整清单、CMM/CMMI版本。
- 项目管理仍有关键公式/版本缺口：EAC/ETC变式及TCPI虽已独立验算，但标准逐项证据未补齐；PMBOK过程组/知识领域、关键链、FP/COCOMO计数版本、风险/配置/基线完整标准未齐。不因PERT已补就标SE19整个组合组完全通过。
- 企业架构与分布式仍有关键缺口：Zachman、SAAM、CBAM、当前版TOGAF完整框架；BASE原始论文；TCC空回滚/悬挂、缓存三标签/布隆/分片/副本一致性细节，DAS/NAS/SAN协议与流量/池化规范；MTBF稳态模型及灾备等级原文；虚拟化逐产品、K8s逐对象、服务网格、FaaS与ITIL历史完整术语。
- 新技术补证仍有限：PoW/PoS/DPoS全部协议变式、PQC算法实施与勘误细节、Shor原证明、隐私保护具体攻击模型/侧信道、AI数据切分/Agent/提示注入系统性定义尚未全部审读。官方摘要与工程说明足以支撑本轮核心术语，不能当数学证明或实现安全认证。
- 保留主代理结论：数字人民币2021设计、财会〔2023〕11号已核实对应段落；本轮不把其误列“仍不可访问”，也不据2021白皮书断言2026全部制度。监管后续变动及灾备标准主记录仍需与安全模块衔接。
5. 本轮实际文件检查¶
只读脚本检查两模块21份Markdown加本记录共22份文件：81处本地页面引用目标均存在，代码围栏均成对。两份99原文和四份06/07旧题解、自测分别与根备份ZIP逐字节相等（6/6）。EVM的CPI=0.888889、EAC=112.5、TCPI=1.090909，PERT算例期望5/标准差1、圈复杂度2已重新验算。该检查没有把外部网址成功率、锚点或事实核实率混入本地链接计数。
图表渲染、深浅主题、窄屏、全站构建和全站锚点由主代理验收。本轮只核查图中机制；不改04/01用户布局，不以本记录代替浏览器证据。