MPF 的验证体系分为八层：
- C++ 单元/集成测试验证公共 API、lexer/parser、AST/HIR/MIR/LIR verifier、pass/analysis、capability/legalization、extension conformance 和 emitter 结构；
- declarative differential corpus 验证可执行语言语义；
- javascript-only、cpp-only、core-only 隔离测试验证编译、链接、安装和外部消费边界；
- Debug、Release、ASan/UBSan 以及 GitHub 多平台矩阵验证构建模式与工具链；
- 固定 clang-format 18、零告警 clang-tidy、85% 生产代码行覆盖率，以及仓库能力可用时的 CodeQL 和依赖审查构成工程质量门禁；格式工具主版本和 executable identity 有独立正/负合同测试。
- corpus mutation smoke 与可选 Clang/libFuzzer 覆盖四种前端、两个目标、资源耗尽和确定性重放；
- 小文件延迟、吞吐、深 CFG、大 shape、跨函数图、区域访问、CFG memory dependence、Matlab 数组/tensor/matrix-solve/dynamic-broadcast/complex kernel、峰值 arena、产物大小和并发 session 进入发布性能门禁。
- Release 在标签提交上重新调用以上 canonical workflow；七类门禁全部成功后，三平台候选才可执行完整功能/差分测试、安装后外部消费、ZIP/许可证/版本/校验和验证、build-provenance attestation、发布及公开资产回读验证。
当前 CFG memory-dependence 单元/负向测试覆盖 revision/count/density/sentinel、强类型 access site、incoming/outgoing adjacency、RAW/flow、WAR/anti、WAW/output、分支多定义合流、自然/不可归约 loop-carried、自环、unknown-memory barrier、同根 disjoint region 消边、full-root hazard 后 frontier kill、确定性 dump、AnalysisManager 缓存和损坏 edge 拒绝；InstructionAttributes、copy/writeback、跨函数 actual region、alias/conflict 与优化重映射继续回归。生产 API 测试要求编译报告公开 mir-memory-dependence stage 和分类计数。Python fuzz seed 覆盖分支/循环/索引写入，第八个 memory-dependence 性能场景同时要求最低依赖规模和非零 loop-carried 事实。
输出赋值分析的 16 项专项回归覆盖真实 Matlab typed CFG、共享 raw/normalized input-output、
四态合流、零次/重复循环、逐 may-fail 指令的 pre-commit exception 状态、失败 indexed store、
不可达写入、pure query/discard/unknown-call 非初始化、revision cache、并发确定性、29 种
状态/来源污染及 alias/effect dependency 污染。128 张随机循环/异常 CFG 与独立 Boolean-path
verifier 对照；10,000-block 长链检查连续 byte-sized cells 和无 per-instruction state vector。
synthetic CFG fixture 只检验算法，不证明源条件输出已可转译；生产 API 回归明确要求当前
条件输出仍以 MPF2004 拒绝，同时公开 mir-output-assignment stage。完整运行语义仍见
输出语义的发布边界。
mutable CFG value join 的专项验证使用实际 Matlab if/loop/catch 生产路径，并用
128 张随机图的独立 reachable-anchor set oracle 检查 worklist 和 iterative SCC proof，
另覆盖 10,000 反向依赖链、循环、缺失 SSA definition、type/shape 缩窄、物理 strides、
layout 与正规化幂等性。算法图 fixture 不作为源语言接受或实际执行证明。
matlab-mutable-array-joins 与 matlab-matrix-expression-spacing 属于严格双目标
执行 corpus；mpf.capability.matlab-mutable-value-joins 另行检查实际 JS 输出、source
map 和 C++ 的 MPF2007 拒错，不能削弱双目标 corpus 的 C++ 执行要求。标准 verifier
仍拒绝 unknown type 携带伪造的 known array-storage 格式。
新 matlab-mutable-array-joins 性能场景固定 64 个真实循环/异常区域、最低 memory
dependence 数与 loop-carried 事实；原有 49 个场景和全部预算保持不变。
R2024b workflow 另执行上述三份原始源码，并逐份核验 snapshot bytes、完整 SHA、
runtime/source inventory 与目标 transcript；mixed-value case 明确记录 C++ 不支持，
不伪装为第三个执行目标。独立 synthetic control-join contract 只验证正向和七类损坏
拒绝，不能记成 native parity。新源码的原生验收以实际远程步骤和下载 artifact 为准。
0.4.8—0.5.6 依次覆盖 implicit expansion、索引/shape mutation、empty array、rank/condition/structure-aware real solve、logical/reduction 与 portable scalar division。0.5.7—0.5.9 又分别引入 NumericClass/NumericComplexity、complex square matrix domain 与 rank-revealing rectangular factorization；跨层损坏事实、双目标差分、source map、fuzz、warning 与第 22—24 项性能场景共同验证这些 contract。
0.6.0—0.6.9 按纵切面依次引入 canonical CSC storage、SparseConstructionPlan、SparseIndexPlan、SparseMutationPlan、SparseReshapePlan、sparse matrix/scalar product、独立 SparseElementwisePlan、静态零 extent shape ABI，以及 SparseValueDomain/SparseDuplicatePolicy。每个纵切面都要求 Semantic→MIR→双目标 LIR 的逐层 verifier、JavaScript/C++ 独立 runtime、source map、差分、生成代码拒错、fuzz、架构检查和独立或复用的 schema-v3 性能预算；0.6.9 对应 Semantic v22、MIR v28、LIR v35、第 99 项差分 case、第 19 项生成 runtime 拒绝和第 32 项性能场景。
当前开发分支先以 Semantic v23、MIR v29 和双目标 LIR v36 固化独立 SparseLogicalPlan：~/&/| 的 static compatible-size shape、operand/result storage 与 preserve-sparse/materialize-dense policy 进入逐层及目标 ABI 验证；随后以 Semantic v24、MIR v30 和双目标 LIR v37 为 ReductionPlan 增加 storage policy，并交付 static real/logical rank-2 CSC all/any；再以 Semantic v25、MIR v31 和双目标 LIR v38 增加独立 SparseArithmeticPlan，交付 static compatible-size sparse +/-、sparse-sparse CSC 保持与 mixed dense materialization；再以 Semantic v26、MIR v32 和双目标 LIR v39 为 MatrixOperationPlan 增加 sparse-power storage 与 nonnegative-safe-integer exponent policy，交付 static real/logical square CSC 的 repeated-squaring 方阵幂、zero-power identity 与 logical-to-double promotion；0.7.0 以 Semantic v27、MIR v33 和双目标 LIR v40 增加 finite-complex sparse value domain、复数 CSC storage lifecycle 和按需 complex-sparse 组合 runtime fragment；0.7.1 再以 Semantic v28、MIR v34 和双目标 LIR v41 为 SparseArithmeticPlan 增加 finite-real/finite-complex value-domain ABI，交付 complex sparse compatible-size +/-；0.7.2 以双目标 LIR v42 为 sparse matrix-product 增加 real/complex numeric-domain ABI，交付 complex CSC×CSC、CSC×dense 与 dense×CSC，并把 product kernel 拆为独立按需 fragment。当前差分、生成 runtime 拒绝、性能、fuzz、目标 LIR/dump、按需 runtime 和纯 Emitter 架构检查共同覆盖这些边界。MemorySSA/region-aware DCE/store forwarding 尚未启用，继续按 TODO 推进。
0.7.3 在不改变 Semantic v28/MIR v34 的前提下把双目标 LIR 提升到 v43：Matlab 裸 return 的函数结果 SymbolId、函数/脚本 return form，以及 JavaScript module-control prelude/body/declaration 拓扑均进入 representation verifier 与 deterministic dump；disp/display 单字符向量命令形式同时进入 lexer/parser、双目标差分、source map、fuzz 和独立性能场景。通用 command syntax、try/catch 与 arguments 仍保持失败关闭。
0.7.4 以 Semantic v30、MIR v36 和双目标 LIR v45 固化 Matlab command 的 ImplicitResultPolicy、ans SymbolId、value/discard、previous_assigned 和目标 statement form。独立 scanner 的多参数、单引号分组/双写引号、双引号保留、运算符空格消歧，以及 local/builtin 调用、多输出首值、无输出保持、分支确定赋值和 C++ 类型变化失败关闭进入单元/集成、逐层损坏、双目标差分、source map、fuzz 与独立性能预算。裸无参数/限定名/外部 command、try/catch 与 arguments 继续保持失败关闭。
0.7.5 以 Matlab AST v4、HIR v3、Semantic v31、MIR v37 和双目标 LIR v46 交付结构化异常纵切面：try/单一 catch [exception]、无 binding handler、正常跳过、运行时失败、嵌套最内层优先、error、rethrow、exception identifier/message 和确定赋值均进入 Analyzer。MIR ExceptionRegion、protected-block exceptional edge、catch_exception storage capture、alias/effect、CFG memory dependence、优化保留/重映射和损坏区域拒绝进入单元测试；JavaScript/C++ 独立 runtime、双目标执行、handler source map、负向语法/参数诊断、差分、fuzz seed 与独立性能预算进入发布门禁。完整 MException 对象模型与 arguments block 仍按当前边界失败关闭。
0.7.6 以 Semantic v32、MIR v38 和双目标 LIR v47 交付 Matlab indexed-replacement conformability 第一纵切面：逐层验证 scalar expansion、linear element count、nonsingleton shape、 static/runtime shape source 以及 selection/value shape；未知形状 local-function 参数使用 runtime dispatch，full-colon selector 必须保持 shape。门禁同时执行静态 row/column singleton 等价、单元素 数组扩展、matrix-shaped numeric selector 的线性 numel、动态线性/多维成功路径、两类动态不相容失败 路径、捕获失败后的目标值不变、双目标 source map、LIR 损坏拒绝、差分 example、fuzz seed 和独立 编译性能场景。一般非 full-colon 动态 assignment 与统一 NDArray owner/view ABI 仍按 P0-B 后续任务 推进。
0.7.7 在此基础上以 Semantic v33、MIR v39 和双目标 LIR v48 完成 P0-B 第二纵切面：
runtime selector 只用于类别未知的 Matlab 索引赋值目标，overwrite_or_grow 在运行时区分覆盖与
扩容。双目标差分覆盖动态 scalar/numeric/logical/range selector、线性与多维覆盖/间隙扩容、
动态列删除和三维页扩容；生成失败测试验证不相容 RHS 与损坏 mutation plan 均在提交前拒绝，
JavaScript copied-root 和 C++ staged-value 路径保持原目标值与 shape。普通动态标量读取的既有
selector contract 另有回归测试，防止赋值功能污染读取语义。
0.7.8 以 Semantic v34、MIR v40 和双目标 LIR v49 完成 Matlab exception object 与裸无参 local command 两个纵切面。异常 operation/message-form/stack-policy 的逐层损坏测试、JavaScript/C++17 独立运行时执行、formatted error、cause/report、throw policy、source map、三类生成失败、差分、 fuzz seed、按需 runtime 裁剪和独立性能场景共同验证该合同；bare command 测试同时固定零输入 local function 成功路径，以及赋值和参数遮蔽时仍按变量表达式解析的保守边界。
0.7.9 已发布纵切面以 Matlab AST v5、Semantic v35、MIR v41 和双目标 LIR v51 固化
arguments declaration、formal validated rank 与逐 call class/size boundary。parser/version gate、
Analyzer side table、MIR/LIR 损坏事实、ordered default、input/output validation、N 维 scalar
expansion、row/column reshape、23 个无参数 validator、source map、JavaScript/C++ 差分、生成 C++
编译、runtime rejection、fuzz seed 和独立性能 workload 共同覆盖当前纵切面。name-value、
Repeating、parameterized/custom validator 与动态 rank/class ABI 继续使用负向测试保持失败关闭。
后续开发分支的关系 validator 使用 Matlab AST v11、Semantic v42、MIR v52 与双目标 LIR v62。
定向测试覆盖四种比较、literal/前序 input/output reference、optional access、source map，以及
literal/ordinal/formal shape 和目标 opcode/token/symbol/access form 的独立损坏拒绝。双目标
执行覆盖 strict/非 strict 边界、complex-zero-imag storage、NaN threshold 和首错顺序；另以
leading-zero decimal、超宽 integer、binary64 rounding、subnormal、下溢、empty、logical 与
infinite bound corpus 固定跨目标行为。数值 normalization 同时验证非默认 locale 和极长 exponent；
fuzz seed 与既有 argument-validation 性能 workload 同步扩展。当前增量进一步覆盖标准 unary
显式调用与 scalar-bound mustBeInRange 的版本、arity、四种边界、双 flag normalization、输入/
输出、optional real-component access、source map、MIR/LIR/生成 ABI 损坏、NaN 和首错顺序。
新增 representation corpus 同时固定 JS scalar/default-array ABI 和两端 scalar/empty length/
numel；旧 empty/sparse-zero/sparse-indexing 的 oracle 按官方空数组 length=0 规则校正，不能
以两个目标一起输出错误作为通过理由。不宣称其余参数化/custom validator
或 name-value/Repeating 已被完成。
输出转换回归固定内部 workspace 与 caller signature 的分离、logical display、多输出、
scalar/N 维 expansion、column-major wildcard reshape、complex identity、同名 input/output
和 size-free validator。argument_output_tests.cpp 独立污染 semantic class/shape/rank，以及
两个目标的 materialization/opcode/dimensions/ordinal 与临时身份；污染前先验证完整私有计划。
matlab_argument_output_class_failure.m 要求 logical conversion 后 mustBeNumeric 失败，
不能让 raw numeric value 绕过验证。argument_exit_flow_tests.cpp 独立验证 shared-exit
normal/early path inventory、current-workspace read、normalized private store、input threshold
重新读取、typed tuple、alias/effect/memory-dependence、优化 remap、MIR/LIR dump、source map、
一次性输出序列及两个目标的控制/来源/资源损坏拒绝。argument_output_control_flow.m
执行循环返回、catch 返回、嵌套 try/catch、body 异常逃逸、正文 threshold 更新、首错顺序
与首个输出选择，并覆盖三取二、单接收/丢弃调用中的已赋值未请求输出失败；JS/严格
C++17 和声明式 oracle 分别验证，不宣称它是 Matlab 官方运行差分。前缀 type/shape、
完整 callee signature、优化保持、两个目标 assignment plan 与 source map 另有独立单元测试；
call inventory 脱离 resident instruction 的污染必须被 verifier 拒绝。
独立 matlab-output-exit 性能场景保持 32 个函数、256 条提前返回与 typed multi-output/
input threshold/body exception region，沿用 250 ms 的专项延迟上限、8 MiB arena 和
512 KiB 生成代码预算；其他性能阈值没有放宽，性能验收须在其他构建/测试结束后隔离执行。
output_demand_tests.cpp 独立验证源需求 cardinality/implicit receiver、default/validator context、
MIR call-site 与 selected-value arity、优化保持、两端私有 invocation/discard form、source map
与确定性输出；HIR/MIR 和两端 owned-source 的镜像污染即使 replanning 也必须拒绝。
output_demand.m 固定无 receiver 调用仍执行 IO、default 按需求值、命令 ans、正文异常
及已赋值未接收输出的验证，另进入严格 C++ 编译与 fuzz。
invocation_context_tests.cpp 验证独立 typed frame、logical signature/default ordinal 隔离、
0/1/N call immediate、纯 query、优化 remap、collision-safe identity、两端不同 ABI 类型、
source map/确定性和 query/frame/call/private-plan 的独立损坏拒绝（包括 replanning）。
matlab_bare_call_tests.cpp 验证 parser 延后、post-binding reindex、default input、跨 scope
同名参数、expression/callee 区分、required arity 和 fixed point。invocation_context.m
在 Node/严格 C++17 中执行 statement/bare/表达式/多接收、default、递归 frame 隔离与源
同名 formal；声明式 oracle 不等于 Matlab 官方运行差分。新增第 49 项性能场景覆盖
32 个函数的 0/1/2 需求、默认值 query 与输出验证，保留现有所有场景预算。
校验触发条件已有官方文档依据；条件缺失值、完整 ans 与 R2024 执行对照
仍须验收。
output_receiver_tests.cpp 专项验证 typed binding/discard、源坐标、重复忽略与非法
列表、NameTable ordinal、无假 symbol/storage/result、单次共享 RHS、纯 discard
effect、MIR/私有 LIR 来源损坏拒绝和 replanning、单槽 scalar/tuple type probe、
全忽略无无用 temporary 与确定性/source map。
接收 binding 的 source map 同时核对精确 original column，normalized HIR 保留
binding/discard 差异但消除源空白差异。扩展 invocation_context.m 实际执行
单槽、混合/重复/全忽略、nested actual count、参数相关 tuple、已赋值忽略/未请求
输出仍验证、失败后旧 ans 保留；使用相同 byte-identical 源码进行原生对照。
fuzz 增加合法 receiver seed；既有 32 函数 performance workload 按固定比例覆盖
bound/mixed/all-discard，没有缩减规模或放宽预算。条件未赋值输出不因此获得支持。
libFuzzer 模式将 production core、启用的 backend 和 facade 以
fuzzer-no-link,address,undefined 插桩，不能仅给 driver 加 coverage counters。
prepare_corpus.cmake 调用独立的 C++17 二进制 framing 工具，为每个文本 seed 生成两个
目标的两字节 framed payload，避免 Windows 文本模式改变换行字节。独立
mpf.fuzz.corpus-contract 逐字节复核，包括 CRLF/LF/UTF-8 fixture，并拒绝写入 source
corpus 或通过输出目录的符号链接逃出根 build/；具体构建/重放格式见
fuzz 指南。旧的未插桩库或未 framing 的 1,000 次 driver 运行
不能作为生产编译路径 fuzz 验收证据。
Memory Safety workflow 独立执行固定 seed 的 coverage-guided fuzz job；其 required
聚合同时要求 ASan/UBSan 与真实插桩的 libFuzzer 成功，Release 复用同一门禁。
Matlab Reference 是独立的手动/可复用 capability workflow，固定官方 MathWorks
action 的完整 SHA 和 R2024b。公开仓库通过官方 batch licensing 执行原始
invocation_context.m，再与 Node.js 和严格编译的 C++ 实际输出比较。记录保留实际
MATLAB 版本、完整提交 SHA、源文件快照、原始 transcript 和两端生成/执行产物。
另有 27 项原生观察采集条件输出、缺失/忽略接收位、验证与异常先后、默认值、
input/output 同名、ans 与 default/input-validator/output-validator 的直接 query
限制。首轮真实 R2024b 已拒绝 fixture 中的直接 nargout default，编译器同步增加
binding-aware 拒错；合法源码与独立非法定义观察分开。这是剩余功能的语义依据，不表示 MPF 已支持这些
源程序；当前 parity 覆盖 invocation-context 与独立标准 validator identity fixture。普通 CTest 的 verifier-contract
使用明确标记的 synthetic fixture 检验错误拒绝逻辑，不运行 MATLAB，也不能代替
原生执行证据。0.8.0 输出验收与发布门禁接入仍保持未完成。运行方式与证据范围见
原生对照指南。
原生用例使用保持原文件名的 byte-identical 隔离快照执行，避免 run 进入示例目录
而令邻近 transpose.m 遮蔽 MATLAB builtin；verifier 仍保留原始 transcript 并拒绝
任何额外警告文本。27 项真实观察已固定 values/class/size/exception identity 与首错
message fragment 的 R2024b 基线，新增损坏回归拒绝错误 ans、忽略槽异常身份、
验证/缺失顺序和伪造 isargout availability。synthetic fixtures 只检验这套 verifier，
并明确标记其非运行证据身份。
标准 validator 另有 129 项直接/输入/输出原生观察，冻结自 R2024b Update 10
run 37091387836，完整源码 SHA
153bce9eb0258c7c2adfa324008ced9402c50a3e。观察覆盖 28 个标准 validator、已核验的
类型前置 identity、文本接受与区间边界；该次 run 尚未包含随后新增的目标 identity fixture。
matlab_validator_exception_identity.m 的初始 82-token 版本执行 80 项输入/输出失败与两组文本接受，
由两个目标及官方 runner 独立执行；native verifier 复核该原始源码的独立 provenance、
快照 SHA-256、82 个输出 token 和冻结观察，不过滤警告。synthetic verifier 负向测试新增
缺失/错误来源、类型/库存、前置错误 identity、消息 context、snapshot、目标跳过/错序/重复字段拒绝。
argument_exception_tests.cpp 检查目标 runtime dependency closure 与去掉 exception feature
后 replanning 仍拒绝；fuzz 另覆盖复数/文本前置失败和输出区间验证。消息尾部仍是 MPF 诊断文本，
不冒称所有原生消息或 class/size/custom validator 异常已对齐。
run 37093296126 实际执行了原始
identity fixture，但 verifier 拒绝最后两个 token：R2024b 对空 char 的 mustBeNumeric
报错，两个目标与旧示例却把它当作 numeric 接受。保留该失败证据，修正两个 runtime 的
class 前置检查与旧 arguments.m（改用真正的空 double），不照搬最新 R2026b 页面中的
空值免检描述；普通差分 baseline 按原生 identity 校正。额外采集 28 个 validator 的
direct/input/output × empty-char/empty-double 共 168 项。run
37094163608 / 完整源码 SHA
8dce8ea5b21e63cc2c9a534858c13bad80a05062 的实际原生执行与全部验证步骤成功，
82 个 token 与两个执行目标一致；168 项空值观察现冻结于独立 contract 并由独立 helper
逐项检查。该矩阵发现空 char 被错误视为 1×0 的 row/vector，两个 runtime 已改为规范
0×0。当前 fixture 增加 112 项独立输入/输出执行，共 194 个 token；普通差分和严格 C++
检查已接入。新增源码由 run 37095935051
在完整 SHA 4b43f1112e5d42c2221fc3006297bfe43346ca54 实际执行，所有原生/两端执行与
验证步骤成功；已回读 artifact，194 个原生/JS/C++ token 一致，原始与 snapshot SHA-256
均为 deae270dd63614cb0f192e59be873c905f8fb61b8a0199f5b2bac7f5075fb7cf。
synthetic verifier 另拒绝缺失/错序矩阵、非 Boolean outcome、错误 validator/cause/context、
错误接受空值与成功记录残留 exception；这不是完整 logical/complex/sparse storage-class 审计。
core 与 empty-validator contract 作为独立 CTest、使用不同 build 子目录并保留各自 30 秒预算；
verifier 先提取 matrix/record，再检查字段，避免每个字段反复解析整份 native JSON。
Analyzer 生命周期回归测试主动收紧 expression side-table capacity，再通过 Matlab 默认参数的 嵌套 call、scalar/multi-axis selector、slice bound、indexed mutation、Python tuple/default cloning 和 Fortran optional actual 触发真实扩容；ASan/UBSan 与 fuzz 检查其引用和容器计划 不会跨递归 normalization 失效。
函数依赖回归覆盖 Matlab default 的 forward/transitive local call、Python definition scope 与
Matlab formal scope、相同 spelling 不同 SymbolId、variable-callee 非依赖、50,000 节点链与
SCC、重复分析以及 256 张有向图的独立 reachability oracle。名称 verifier 负向测试覆盖跨函数
rebinding、绕过最近 formal shadowing、builtin identity 污染、foreign symbol/node 与循环 scope
parent。C++ resource verifier 从 LIR 独立重建 graph，拒绝损坏 definition order 后才索引 ABI。
argument_default_functions.m 在两端执行 defaults 的按需调用和副作用顺序，并另进入严格生成
C++ 编译与 fuzz；matlab-default-functions 性能场景编译 128 个前向 default-call 函数。
MIR default-flow 回归检查 formal entry、presence guard、absence region、declaration order、
store/typed phi 和真实 call effect/memory-dependence。损坏用例分别破坏来源、inventory、
optional flag、raw formal、guard direction、region ownership、store 与 phi actual，并固定循环
expression 的有限拒绝；两端私有 plan 拒绝删除/错序/伪造 provenance 与 target form。
logical scalar disp/display 的 JavaScript 私有 PrintValueForm 采用数字显示，不能影响
Python 的 direct print；默认值执行 corpus 同时验证两端输出。
入口顺序回归以 argument_entry_order.m 同时执行两端产物，使用独立 oracle 固定首错、
actual IO 的先后、错误后的 default 抑制、supplied default 跳过及前序规范化结果。MIR
execution policy、C++ raw-input ABI/type/raw-name 临时身份、input form/rank/dimensions、
optional local access 和 ordered-call form 的损坏必须在发射前拒绝。纯实参调用与 Python ABI
保持 direct/native form；同一 fixture 另进入严格生成 C++ 编译，fuzz seed 覆盖早期失败与缺省路径。
argument_entry_flow_tests.cpp 另从 MIR 本体检查 raw borrowed storage 与 typed local formal
分离、逐声明 default→normalization→publication→validator CFG、binary64 threshold SSA、
前序 formal 引用与重复 bound 的精确去重 read、allocate/may-fail/control effect 和真实 memory
dependence。27 组 MIR mutation 独立破坏 inventory、storage、rank、SSA、memory access、顺序、
异常旁路、source owner、稀疏属性及阈值定义；两个目标再分别拒绝 stale private plan 和 replanned
corrupt source projection。优化测试固定 instruction/block/shape remap 与确定性 dump。
新 fuzz seed arguments_resident_entry_sequence 保留三阶段 default/threshold/range 组合；
编译期布局断言确保新增 operation ID 不产生可避免的属性行 padding，同时不假定所有 ABI
都具有 64 位平台的既有 padding。
validator source-call 回归逐项覆盖 28 个标准候选的上下文 builtin identity、bare/explicit 的
callee/formal/threshold/quoted-flag AST 所有权、输入/输出 declaration 顺序，以及 missing/reordered/
foreign/mismatched call、最近 scope 遮蔽、普通 intrinsic 泄漏、semantic marker/source ID、reindex、
MIR 独立 binding inventory 和双目标私有计划损坏。local function/formal/result/assignment 遮蔽
在两端都必须给出 MPF2062、不产生目标源码，也不能混入内部 MPF0005。两个新 fuzz seed
分别固定 source-call ownership 和同名 validator 遮蔽。尚未以原生 Matlab 执行 custom validator；
当前 source binding 合同阻止标准 spelling 误译；标准输入验证已驻留 MIR，custom/output 调用
CFG 仍未完成。
命名 validator grammar 回归另覆盖未知 callee、bare/explicit、零实参与任意已支持的嵌套参数 表达式、空实参/分隔符恢复，以及同名 local callee 在旧源版本或不同 arity 下不受标准 gate 误拒绝。标准 availability/arity/threshold ABI 在 binding 后检查；源版本和 source operand 改动 不能绕过 semantic verifier。错误 source call 与合法标准 plan 的间隙按旧强 ID reindex，四语言 source version 从 arena artifact 经 HIR profile 保留到 MIR，MIR 还从自己的版本独立复核标准 availability。catalog 的全部 28 项逆映射、未知 与大小写 spelling，以及无分配静态索引也进入回归。grammar 已解析不代表目标可执行。
生成代码的 compile-only、runtime rejection、plan corruption 与 differential 子构建共享
generated_toolchain.cmake，继承主构建的 compiler/generator/platform/toolset 与显式 macOS
deployment target。后者同时进入 CMake cache 和 compiler-identification 子进程环境；contract
测试验证带空格的 compiler/generator、完整参数与空参数不污染既有环境。GCC macOS 回归不依赖
测试调用方额外导出 deployment 环境变量。安装消费测试同样继承 compiler/generator/
deployment target，避免用 Clang/libc++ 链接 GCC/libstdc++ 包造成测试自身的 ABI 混用；
执行路径同时覆盖 single-config 和 multi-config generator。
| 指标 | 数量/结果 |
|---|---|
| C++ 单元与集成测试 | 492 项，零失败 |
| CTest | 当前 dev preset 为 219 项普通测试；包含 127 项 differential、1 项 C++ 单元/集成、64 项生成 runtime 拒绝、12 项生成 C++ 编译，以及 fuzz、架构、发布脚本、失败性能报告、格式工具/原生证据校验合同、CLI、后端隔离和安装消费测试；Release 流程另运行不计入普通测试数的独立性能发布目标 |
| Differential corpus | Python 22、Fortran 19、Matlab 82、TypeScript 4，共 127 个 case |
| 工具完整环境执行路径 | 299 条程序路径，另有每 case 一条 oracle |
| 生产代码行覆盖率 | 硬门槛 85%；当前结果以 coverage-report workflow artifact 为准 |
权威清单位于 tests/differential/corpus.cmake。当前包含：
- 22 个 Python case：CPython 3.14、Node.js、生成 C++17 与 oracle 四路比较；
- 19 个 Fortran case：gfortran 严格
-std=f2018reference mode、Node.js、生成 C++17 与 oracle 四路比较；MPF_FORTRAN_REFERENCE_STANDARD可在工具链支持后切换到f2023； - 83 个 Matlab case：Node.js、生成 C++17 与 oracle 三路比较；
- 4 个 TypeScript case：Node.js 24 直接执行可擦除类型的 source、生成 JavaScript、生成 C++17 与声明式 oracle 四路比较；覆盖 basic、typed array、lexical block 和 canonical
for，完整 type-check 仍待接入与 manifest 匹配的tsc。
在 Node.js、CPython 和 gfortran 均可用的工具完整环境中，这 128 个 case 共执行 301 条程序输出路径：128 条生成 JavaScript/Node.js、128 条生成 C++17、22 条 CPython、19 条 gfortran 和 4 条 Node.js source TypeScript 路径；此外每个 case 都有一条声明式 oracle 基线。Matlab arguments.m 固定 input/output、class/validator、ordered default、logical/char/empty validator 语义与 R2024b variable-name 成功路径，argument_conversion.m 固定 N 维 scalar expansion、column-to-row reshape，以及前序参数完成 logical conversion 后才求值的 default。argument_default_control_flow.m 固定 supplied/omitted/empty、默认值的 IO/异常/嵌套短路，以及 logical scalar/array 的 class conversion/validation；C++ runtime 需将 vector<bool> proxy 还原为实际 scalar 再转换/检查，不能依赖 libc++/libstdc++ 的 proxy 类型一致。matlab-validator-identities 固定已核验的标准异常 identity 与类型前置失败，区分 R2024b 的空 char 拒错与真正空 numeric。其余 matrix/sparse/control/exception/dynamic-assignment corpus 继续固定各自已记录合同；所有 case 均执行两个目标 runtime。64 项 runtime-rejection 测试另覆盖 complex-storage realness、非法/超长变量名和既有 shape/broadcast/division/mutation/sparse ABI 污染边界。
shape_mutation.m 额外固定 dense direct alias 与 local-function 参数在 growth/write 后仍保持 Matlab value semantics；complex_sparse_storage.m 同时固定 sparse copy 在 assignment/growth/zero erase 后通过 immutable root replacement 隔离旧 alias。
每个 case 在 build/<preset>/differential/<case>/ 保存：
generated.mjs；generated.cpp；- 使用顶层同一 compiler/generator 的嵌套严格 C++ 构建；
differential-result.txt，记录工具、归一化模式和各路径结果。
CI 固定 Python 3.14 和 Node.js 24，配置时启用 MPF_REQUIRE_DIFFERENTIAL_RUNTIME=ON，并在成功或失败时上传差分结果与生成源码。Linux job 还安装 gfortran。Matlab 源执行必须等待授权 Matlab runner 或明确批准的 Octave 兼容策略，不能用 Octave 结果冒充 Matlab 2024 语义。
后端隔离测试每次从清洁构建树验证完整构建、目标开关、安装和外部消费，保持 300 秒超时。
每个子构建显式限制为两个 worker，CTest 同时声明 PROCESSORS=2，使外层 --parallel 2
不会并发启动两套完整构建。mpf.infrastructure.nested-build-budget 从实际 CTest JSON 库存
验证三种隔离配置的预算、子脚本参数和原超时；不能用增大超时或跳过隔离测试掩盖资源争用。
调度合同见 CMake PROCESSORS。
cmake --preset dev
cmake --build --preset dev
ctest --test-dir build/dev -L differential --output-on-failure
ctest --preset dev
cmake --build build/dev --target mpf-performancempf-fuzz-smoke 在每次 CTest 中读取 tests/fuzz/corpus/，对输入执行截断、bit flip、超深括号和非法字节 mutation；每个输入都经过四种 frontend 与两个 target，并重复比较代码、source map 和诊断的确定性。公共 ResourceLimits 对 source bytes、token、parser depth、arena、AST/HIR/MIR/LIR 节点、生成代码和 source map 分阶段失败关闭。
Clang 环境可运行覆盖引导 fuzz：
cmake -S . -B build/fuzz -DMPF_BUILD_FUZZERS=ON -DCMAKE_CXX_COMPILER=clang++
cmake --build build/fuzz --target mpf-transpiler-fuzzer mpf-fuzz-corpus-preparer
cmake -DSOURCE_DIR="$PWD" -DCORPUS_DIR="$PWD/build/fuzz/framed-corpus" \
-DPREPARER="$PWD/build/fuzz/tests/mpf-fuzz-corpus-preparer" \
-P tests/fuzz/prepare_corpus.cmake
build/fuzz/tests/mpf-transpiler-fuzzer build/fuzz/framed-corpus \
-runs=1000 -seed=420800 -max_len=4096 -artifact_prefix=build/fuzz/framed libFuzzer 崩溃输入直接交给同一 driver 重放或用 -minimize_crash=1 最小化；
smoke runner 使用原始 language-directory 文本格式，不能混用。具体命令见
tests/fuzz/README.md。
copy_propagation_tests.cpp 检查独立 copy worklist 的多参数 edge 压缩、无 storage 合流保持、
10,000 参数长链、反向依赖唤醒、entry/default/shared-output provenance、锚定 self-merge、
循环终止、缺失/非法 incoming 和 128 张无环图的独立值方程 oracle；这些局部 pass fixture
不冒称完整 MIR artifact。其余生产源测试仍在每个变换后执行完整 MIR verifier，并执行
两个目标，保持 shared-output 专项的 32 个函数、256 条提前返回和所有原性能预算。
benchmark stdout 在门禁比较前保存到 performance-report.json，阈值或版本失败不能
使已经完成的测量证据丢失。mpf.performance.report-contract 使用明确隔离的固定数据
fixture 检查通过、延迟拒绝和版本拒绝均逐字节保存报告；fixture 从不进入实际 benchmark
或 Release 性能验收。生产门禁仍只执行 mpf-benchmark 与当前精确版本 baseline。
mpf.performance.release-gate 运行两个目标的四十九类编译场景和八路并发 session，重复编译还会逐字节比较代码与 source map。场景覆盖 small、吞吐、深 CFG、大 shape、函数图、TypeScript 吞吐、128 个同根交错 section 调用的 storage-region 分析、branch/loop/index-write memory-dependence fixed point，以及 Matlab return/command、数组、N 维 tensor、logical kernel、logical reduction kernel、矩阵 solve/power、rank-aware/秩亏 solve、condition-aware、diagonal/upper/lower/dense 与 pivoted-tridiagonal/Cholesky/对称不定回退结构感知方阵 solve、动态 end、runtime-shape broadcast、shape mutation、dynamic section assignment、empty-array、complex scalar/array、complex square matrix、complex rectangular CPQR、sparse CSC square-solve、sparse matrix-product、sparse scalar-product、sparse element-wise product、sparse arithmetic、sparse square-power、sparse-index、sparse-assignment、sparse-reshape、logical-sparse storage、complex sparse storage lifecycle、sparse-logical operator、argument-validation、前向 default-call 函数链及 exception-object kernel。sparse-product workload 同时覆盖三种 storage 组合；sparse-elementwise workload 覆盖五种 operand form 和双轴广播；sparse-arithmetic workload 覆盖 sparse-sparse +/-、两类 mixed dense 路径、双向 scalar、row/column/outer expansion 与重复 sparse result；complex-sparse-arithmetic workload 进一步覆盖 complex CSC、mixed real dense、双向 complex scalar、complex row/column expansion 与 value-domain promotion；complex-sparse-multiply workload 覆盖三种 CSC/dense storage 组合、real/logical promotion、零 extent、canonical complex CSC 与重复乘法；sparse-power workload 覆盖 real/logical CSC base、正整数/零次幂、identity、logical promotion 与重复乘法；sparse-logical workload 覆盖 NOT、sparse/dense AND、sparse-sparse/mixed OR、row-column broadcast、scalar 和 storage materialization；sparse-reduction workload 覆盖 numeric/logical CSC 的按列、按行、全维、高于 rank 与零 extent 归约；sparse-reshape workload 覆盖 size vector、推断维度、N 维请求折叠与反复 shape 恢复；sparse-solve workload 同时覆盖 zero/inferred/sized/reserved triplet construction、duplicate accumulation、full/sparse transpose、零维系数、dense/CSC RHS/LHS 与四种 shaped-empty 左右除；logical-sparse workload 覆盖 logical dense/triplet construction、duplicate any 及完整 storage lifecycle；dynamic-section-assignment workload 覆盖 runtime scalar/numeric/logical/range selector、线性/多维覆盖与增长、三维页扩容和失败回滚。Matlab 四十一个场景另有独立的最大延迟、最低吞吐和最大产物预算，避免被全局宽阈值掩盖。结果写入 build/<preset>/performance-report.json，并由 tests/performance/baseline.json 的精确当前版本上限/下限检查延迟、吞吐、峰值 arena 和最大生成大小；performance schema v3 还允许为已命名的重型场景设置独立覆盖值；当前 sparse-index/sparse-assignment/sparse-reshape/sparse-multiply/sparse-scale/sparse-elementwise/sparse-arithmetic/complex-sparse-arithmetic/complex-sparse-multiply/sparse-power/logical-sparse/complex-sparse/sparse-logical/sparse-reduction 覆盖不会放宽其余 Matlab 场景阈值，也不读取旧版本 baseline。性能 workflow 显式运行独立 mpf-performance 目标并归档机器可读报告；该非插桩门禁不在普通 CTest、coverage 或 ASan/UBSan 测试集中重复执行，避免重型测试争抢 CPU 后制造伪回归。
质量与覆盖率门禁：
cmake --preset quality
cmake --build build/quality --target mpf-format-check
cmake --build --preset quality
cmake --preset coverage
cmake --build --preset coveragecoverage preset 使用 Clang source-based coverage，将多进程 .profraw 合并后排除 build/、tests/、不贡献 profile 的子构建 isolation case 和已由独立 workflow 拥有的性能阈值，只统计生产源码；报告位于 build/coverage/coverage/。当前门槛为 85%，具体实测值只保留在 coverage-report workflow artifact，不写入面向用户的 changelog 或 Release 正文。独立 Security Analysis workflow 先探测仓库的 GitHub Advanced Security 能力；公共仓库或已授权 GHAS 的私有仓库对 C/C++ 运行 CodeQL security-extended，并在 pull request 上拒绝引入 moderate 及以上已知漏洞的依赖变更。未授权私有仓库明确记录 capability notice，并继续依赖始终执行的 clang-tidy/Clang analyzer、Memory Safety 和零告警构建门禁。
完整的 workflow 边界、稳定 required check 名称、Release 依赖图、超时和产物策略见
GitHub Actions 职责矩阵。主分支、pull request 与 merge queue 使用同一组七类 required workflow；Release 通过 workflow_call 在标签 SHA 上复用这些定义，任何门禁失败都会在打包前终止。
新增可执行语言能力时，必须在 manifest 增加 case；若输出中的空白属于语义，使用 lines 模式，否则数值/list-directed 输出可使用 tokens 模式。只有编译不执行的输入应保留为独立 compile-only gate。