SymCC-Parallel 项目汇报

并行符号执行驱动的混合模糊测试框架：架构、关键技术、SOTA 落地边界与实验进展

下载

经审核的主要结果

LAVA-M base64 的 13-seed 机制描述显示：runtime-full 相对 strict-first-z3 的完整路径 Z3 调用减少 56.6%，候选增加 33.7%；但 solver queries 增加 190.5%、solver time 增加 82.6%、墙钟为 53.3 倍、候选吞吐下降 97.5%，listed bug 并集仍为 41/44。poly cache、cross-prefix 与 prefix context 命中均为 0。因此该结果不能表述为上下文复用收益、求解提速或漏洞数提升。

必须保留的边界

验证状态

F306 顺序全量复跑：Python 532/532，LLVM 18 221 passed + 1 unsupported，LLVM 17 220 passed + 2 unsupported； F306 定向 QA3 为 16/16、 MPI 编排为 26/26。F307 顺序全量复跑：Python 540/540， LLVM 18 221 passed + 1 unsupported，LLVM 17 220 passed + 2 unsupported；F307 定向 QA3 为 19/19、 MPI/AFL profile 编排为 31/31。F319 定向验证：Ruff 通过， lifecycle/AFL编排为 63 passed + 13 subtests，七个相关模块为 268 passed + 17 subtests；完整 Python 为 605 passed + 37 subtests。真实 Open MPI 单master完成2/2 ACK、双master 完成各3/3 ACK且exit 0，1秒idle均准确报1.000秒；静默stats peer在0.150484秒 进入pending并由框架Abort(70)。F320定向为100 passed + 9 subtests，完整 Python为611 passed + 37 subtests；真实双master单seed从2次分析降为1次， 24 seeds严格24次且12/12分布，12 seeds共享一个child时严格13次总分析。F321定向为 107 passed + 10 subtests，完整Python为618 passed + 38 subtests； 健康双master 12 seeds严格12次且6/6分布，双master暂存场景公开1个去重child并形成13次分析，单master暂存场景形成3次分析且2/2 ACK，摘要错配在worker前拒绝并Abort(70)。F322定向为 111 passed + 10 subtests，完整Python为622 passed + 38 subtests； future-clock lease得到recovered=1，部分publish恢复得到replayed_commits=1，缺manifest保留状态并exit 70。F323新增故障路径为7/7，定向为116 passed + 10 subtests，完整Python为627 passed + 38 subtests；strace确认file fsync、rename、public/staging目录fsync顺序，真实单/双master均exit 0；overlayfs 500样本的耐久replace中位新增成本为2880.331 us，不作为吞吐收益。F324定向为9/9，完整Python为636 passed + 38 subtests；64-record在1/8 shards时目录sync分别64→1/8，持久化热路径中位1.943×/1.951×；真实双master完成17批67次续租、41次sync、避免26次、failure=0及6/6 ACK。F325 target-table定向为13/13，完整Python为643 passed + 38 subtests；64-target claim+release目录sync由128降至2/16，中位2.815×/2.825×；双进程重叠竞争50/50单赢家且无部分发布、残留或hang。F326定向为12 passed + 3 subtests，完整warnings-as-errors Python为654 passed + 41 subtests；40个持锁进程SIGKILL后40/40重新取得，10轮8进程coverage OR均2048/2048 bits且无lost update；短锁中位9.932→5.349 us（1.857×），不外推DSE吞吐。F327定向为13/13，完整warnings-as-errors Python为668 passed + 41 subtests；60/60串行/并发探针无失败或残留，真实单/双master均exit 0且完整ACK；串行中位54.315 ms是启动成本，不是DSE加速。F328定向为17/17，完整warnings-as-errors Python为673 passed + 41 subtests；full/lease/coverage各40次交错中位为51.763/42.038/36.918 ms，操作计数匹配且0残留，仅作为启动资格成本。F329定向为8/8，完整warnings-as-errors Python为681 passed + 41 subtests；真实同机2-master保持cluster_lock_verified=false并完成5/5 ACK，合成2/3/4-master状态机20次零失败，自适应轮询中位较基线下降约89.3%，不作为真实跨机部署证据。F330定向为13 passed，相关回归为292 passed + 21 subtests，完整warnings-as-errors Python为688 passed + 41 subtests；真实Open MPI 7-rank合成拓扑中，2个master各完成3代续期并exit 0，第2代排他语义漂移使两个master均记录1次成功、1次失败并exit 70。2/3/4-master合成控制面续期中位为13.218/18.811/24.317 ms，相对直接资格状态机的最大中位增量为0.254%，属于协议成本观测，不作为真实跨机存储证据。F331定向为17 passed + 5 subtests，相关回归为296 passed + 26 subtests，完整warnings-as-errors Python为692 passed + 46 subtests；1024-job×12代合成计划在12288事件守恒下把100 ms峰值1024降至26，真实MPI合成拓扑双方完成5代一致计划并5/5 ACK，真实同机高频50% jitter保持cluster false且不启用monitor。97.4609375%只表示合成计划到达峰值下降，不作为真实存储、DSE或coverage提升。F332定向为24 passed + 8 subtests，相关回归为303 passed + 29 subtests，完整warnings-as-errors Python为699 passed + 49 subtests；默认共识typestate阻止绕过generation-0协议，固定epoch双复跑均使双方完成3代、exit 0且指纹2/2一致；逐rank jitter 0.1→0.25漂移两次均保持generation/attempts为0，在3/3加2/2 worker ACK后0.912403/0.875331秒exit 70。2/4/8-master规范记录验证相对裸exchange的中位增量为0.050506/0.104471/0.339265 ms，仅表示同机Python机制成本。F333定向为53 passed + 14 subtests，相关回归为306 passed + 29 subtests，完整warnings-as-errors Python为702 passed + 49 subtests；真实Open MPI在manifest后SIGKILL，统一错误jitter恢复使双方generation/attempts保持0/0、原SHA不变并exit 70，恢复原配置后双方各3次成功续期并exit 0。20轮不同配置竞争均单赢家；exact-read复用10.481 us与旧式I/O反事实2698.4085 us中位仅表示本机一次性控制成本。F334定向为191 passed + 24 subtests，相关回归为308 passed + 32 subtests，完整warnings-as-errors Python为704 passed + 52 subtests；真实Open MPI清理故障在3/3+2/2 ACK后exit 72并保留状态，同epoch恢复exit 0并删除状态；父目录fsync中位增加2686.8465 us仅表示完成边界可靠性成本。F335定向为195 passed + 30 subtests，相关回归为312 passed + 38 subtests，完整warnings-as-errors Python为708 passed + 58 subtests；真实MPI post-rename故障在3/3+2/2 ACK后exit 72，相同epoch GC1后exit 0；3/129/1025文件树完成边界比率0.990x/1.243x/3.133x，不外推DSE吞吐。F336定向为199 passed + 30 subtests，相关回归为316 passed + 38 subtests，完整warnings-as-errors Python为712 passed + 58 subtests；syscall记录成功NOREPLACE、parent fsync和EEXIST，真实MPI冲突在3/3+2/2 ACK后exit72并保留active/retired，相同epoch GC1后exit0；no-replace中位增量5.068 us（1.002x），启动资格中位11.944 ms，不外推DSE吞吐。F337定向为204 passed + 43 subtests，相关回归为321 passed + 51 subtests，完整warnings-as-errors Python为717 passed + 71 subtests；真实MPI三次启动按2-entry预算使旧根5→3→1 files→absent且每轮3/3+2/2 ACK、exit0；129/1025/4097文件固定64-entry单步中位3.089/3.579/3.648 ms，完整删除为3.372/7.365/28.521 ms，只表示单次启动工作封顶。F338定向为205 passed + 43 subtests，相关回归为322 passed + 51 subtests，完整warnings-as-errors Python为718 passed + 71 subtests；真实MPI扫描19/候选17/选择4且根守恒17-4+1=14、exit0；4096候选traced peak由1,995,370降至3,652 B（546.38×），但选择时间慢1.20%，不宣称speedup。F339定向为209 passed + 43 subtests，相关回归为326 passed + 51 subtests，完整warnings-as-errors Python为722 passed + 71 subtests；真实MPI发布1个child、2/2 public摘要正确、3/3 ACK且exit0；4096合法对象traced peak从1,532,256降至562,297 B但时间慢3.17%，16 MiB非manifest对象30次从30 hashes/480 MiB requested降至0/0。F340定向为45 passed + 35 subtests，相关回归为334 passed + 62 subtests，完整warnings-as-errors Python为727 passed + 82 subtests；真实MPI success/object/bytes分别exit0/70/70且失败仅公开seed、无stage residue；32 MiB traced peak从35,653,086降至2,099,636 B、RSS从70,600降至37,252 KiB，但时间慢10.16%，不外推campaign。F341定向为49 passed + 40 subtests，相关回归为338 passed + 67 subtests，完整warnings-as-errors Python为731 passed + 87 subtests；真实MPI同名replacement的2个内容各执行一次、external=2/new=0并exit0，17 B对16 B在target前exit70；32 MiB traced peak降低16.98×、RSS降低1.92×，时间慢11.04%，不外推campaign。F342定向为49 passed + 40 subtests，相关回归为338 passed + 67 subtests，完整warnings-as-errors Python为731 passed + 87 subtests；真实7-rank/2-master/5-worker MPI反例中phantom external未发布、唯一generated对象执行一次，external=0/new=1、5/5 ACK、exit0；4096对象旧公式错误报告0，新公式精确报告2048，终态扫描中位成本增加约1.77%，不外推campaign。当前398个功能 ID 连续、440 个 SYMCC_* 名称、287 个 test/ 一级文件、63 组成对汇报配图及 F299-F373 历史专题及 F374-F399 新增材料均纳入机械校验。F343定向为53 passed + 43 subtests， 相关回归为342 passed + 70 subtests，完整warnings-as-errors Python为 735 passed + 90 subtests；真实2-rank MPI公开1 external加5 generated对象且6/6各执行一次、 1/1 ACK、stage residue0、exit0。8/32 MiB模拟机制的traced peak降低7.985×/31.930×，本机耗时 加速2.146×/4.821×；synthetic target不调用solver，不外推coverage、campaign、bug或LAVA-M。

F344把hybrid worker从完整目录物化与全结果read-all改为完整预算预检、稳定摘要遍和内容遍。 定向为57 passed + 47 subtests，相关回归为346 passed + 74 subtests，完整 warnings-as-errors Python为739 passed + 94 subtests。32/128 MiB coverage-redundant机制实验中， traced Python peak降低30.787×/115.313×，RSS峰值降低1.594×/3.476×；稳定两遍读取使本地耗时增加 1.583×/1.649×。本地真实child经生产wrapper验证正常接收和对象/字节/hint整批拒绝；尚无真实MPI、 afl-showmap、solver或campaign证据，不外推coverage、吞吐、bug或LAVA-M提升。

F345把hybrid输入从可变路径读取改为稳定no-follow快照、master前副作用摘要栅栏、 自校验CAS物化与current RESULT精确ACK驻留；self-contained continuation使用checkpoint identity， 不再依赖原AFL queue路径。定向为205 passed + 58 subtests，相关回归为 349 passed + 74 subtests，完整warnings-as-errors Python为 742 passed + 94 subtests。32/128 MiB本地fresh-process机制实验中，稳定流式快照的 traced Python peak分别降低15.994x/63.968x，RSS峰值降低2.161x/5.694x，本机机制时间约加速 1.445x/1.440x；11/11本地生产原语集成检查通过。实验不执行真实MPI、solver、coverage、 campaign、漏洞或LAVA-M评测，不对这些指标外推。

F346修复CAS在durable replace与positive identity cache之间的发布竞态：写fd跨越 rename，rename前后只比较内容相关字段，再要求rename后fd与no-follow公开路径完整身份一致；合法 rename的ctime变化不会触发假竞争。定向为206 passed + 58 subtests，相关回归为 350 passed + 74 subtests，完整warnings-as-errors Python为 743 passed + 94 subtests。本地生产原语故障注入8/8通过：无竞争0次fallback hash， 错误同inode/错误竞争inode拒绝，同摘要竞争writer经一次稳定摘要后收敛，symlink不跟随且失败不入 cache。该证据不运行真实MPI、target、solver或campaign，不外推吞吐、coverage、bug或LAVA-M提升。

F347删除live-state CAS中follow-symlink的isfile存在捷径和独立弱writer， 以受控.json leaf suffix复用F346发布闭环，并让每次读取通过同一有界no-follow snapshot完成 fd/path身份闭合、SHA-256和JSON字节消费。定向为9 passed + 3 subtests，六模块相关为 352 passed + 77 subtests，完整warnings-as-errors Python为 745 passed + 97 subtests。六对象continuation图及精确symlink、损坏修复、同摘要竞争、 读取中path replacement共8/8机制检查通过；该本地证据不运行真实MPI、target、solver或campaign， 不外推吞吐、coverage、bug或LAVA-M提升。

F348把单对象可信边界扩展为current checkpoint和完整parent ancestry的可达 Merkle DAG恢复事务。restore-local digest memo让共享节点只稳定读取、解析和计费一次；唯一对象与 canonical-byte双预算在next first-seen对象JSON parse前失败关闭，并深度验证memory page、symbolic expression和重复逻辑键。定向为4 passed + 4 subtests，六模块相关为 356 passed + 81 subtests，完整warnings-as-errors Python为 749 passed + 101 subtests。两层共享DAG为8对象、2062 bytes和8次snapshot；精确预算通过， 少1对象/1字节拒绝，parent深层错误及语义cache失败关闭，共9/9机制检查。该本地证据不运行真实MPI、 target、solver或campaign，不外推吞吐、coverage、bug或LAVA-M提升。

F349把F346-F348的最终leaf证明扩展为CAS root、digest shard与leaf的命名空间事务。 root/shard逐层打开为directory capability，temporary、rename、stat、snapshot和cleanup都相对shard fd； 内部I/O结束后再次闭合公开root/shard identity，只有成功才登记positive cache。定向为 5 passed，六模块相关为360 passed + 81 subtests，完整warnings-as-errors Python为753 passed + 101 subtests。本地生产原语集成11/11：4个external目录均0 entry、 4个失败store均0 cache、detached bytes精确且无temporary残留。该overlayfs证据不是完整 openat2(RESOLVE_BENEATH)、真实MPI、solver或campaign证据，不外推性能与覆盖收益。

F350关闭F349仍保留的配置root祖先信任边界：从/目录fd开始逐组件 open-first no-follow，只有ENOENT才相对父fd创建并同步child/parent；对象I/O后重走完整ancestry， 要求公开root仍解析到本次I/O使用的inode，随后才提交positive cache。定向为8 passed， 六模块相关为366 passed + 81 subtests，完整warnings-as-errors Python为 759 passed + 101 subtests。本地生产原语集成11/11：4/4新建目录调用为leaf-only dirfd、 symlink祖先外部副作用0、发布/live read失败cache 0、detached bytes精确且temporary为0；F346-F349 历史drivers继续通过。该结果不是原子openat2、mount/NFS/Lustre、真实MPI或campaign收益证据。

F351把跨processor锁行为测试与公开命名空间身份合成一次资格提交。每个master先 复核state/publication的dev-fsid，保持root/lock descriptor跨越全部轮次，结束时重开公开root/leaf并 核对本地dev-ino与exact token；v3能力要求identity checks = M且scope为 cross-host-mpi-lock-v2。定向为4 passed（186 deselected），六模块相关为 369 passed + 81 subtests，完整warnings-as-errors Python为 762 passed + 101 subtests。本地生产协议机制集成8/8：同内容不同inode替换在完成行为 轮次后仍全体拒绝，过期state/publication绑定在round 0拒绝，same-processor不误报，legacy-v1续期记 failure。线程控制面与合成processor name不构成真实多机MPI/NFS/Lustre部署证据。

F352关闭renewal completion的旧代重放与字段拼接缺口。规范化SHA-256覆盖epoch、 generation、有序成员、processor代表和round/contention/release/identity计数；独立 qualification-transcript-commit要求全master摘要一致，controller再重跑结构gate并绑定 live ordered ranks与client-local startup capability。定向为4 passed + 13 subtests （27 deselected），六模块相关为373 passed + 94 subtests，完整warnings-as-errors Python为 766 passed + 114 subtests。本地生产机制集成10/10：generation-7三方摘要一致可重算， 单方变异全体失败，旧代重放、零轮次和foreign-root capability拼接均拒绝。unkeyed摘要不是签名、 MAC、真实多机MPI或Byzantine认证证据。

F353关闭renewal completion的半提交状态缺口。结果结构、F351/F352 proof gate、 有限elapsed、next-jitter与累计算术全部在唯一commit point前完成；畸形proof形成完整failure，内部 validator/scheduler异常保留原in-flight快照。定向为2 passed + 7 subtests（31 deselected），六模块相关为375 passed + 101 subtests，完整warnings-as-errors Python为 768 passed + 121 subtests。本地生产controller/capability机制集成10/10，覆盖1成功、 5畸形、2异常、布尔代次与attempts = successes + failures守恒。该证据不是数据库事务、 真实MPI atomic commit、性能或coverage提升。

F354关闭controller rollback与MPI caller之间的异常契约缺口。统一 complete_cluster_lock_renewal边界把普通Exception值化为最长512字符的 accounting error；有效proof、proof rejection和内部异常分别对应success提交、failure提交和完整 pre-state保留，BaseException进程控制语义不被吞掉。定向为1 passed （33 deselected），六模块相关为376 passed + 101 subtests，完整warnings-as-errors Python为 769 passed + 121 subtests。本地生产controller/capability/transcript机制集成9/9，覆盖真实 binary64累计溢出、注入异常、diagnostic上限、错误controller和KeyboardInterrupt分类。该证据不是 ULFM恢复、真实多机MPI、性能或coverage提升。

F355继续向前关闭qualification result生产端的异常契约缺口。公共 qualify_mpi_cluster_advisory_lock把普通Exception总化为proof字段归零、 诊断总长不超过512字符的失败结果；startup因此进入既有Abort(65)，runtime经F353/F354进入 fatal-control，BaseException仍传播。定向为1 passed（34 deselected）， 六模块相关为377 passed + 101 subtests，完整warnings-as-errors Python为 770 passed + 121 subtests。本地真实filesystem probe和生产公共API机制集成10/10， 覆盖communicator/clock LookupError、输入归一化、diagnostic清洗及KeyboardInterrupt分类。该证据 不是ULFM恢复、真实多机MPI、性能或coverage提升。

F356继续闭合qualification之前的filesystem/processor输入观测。统一 observe_cluster_lock_qualification_inputs把普通provider异常和非法返回转换为有界负证据， 失败rank仍进入membership；只有local_probe_ok=false的record可使用空processor，成功证明域 保持严格。定向为1 passed（35 deselected），六模块相关为 378 passed + 101 subtests，完整warnings-as-errors Python为 771 passed + 121 subtests（96.48秒）。本地真实filesystem probe和双rank合成生产API机制集成12/12， 两个rank零滞留、同错误、零proof收敛；BaseException继续传播。该证据不是实际MPI、ULFM恢复、 真实多机存储、性能或coverage提升。

F357继续闭合运行期qualification相邻的heartbeat与clock边界。一次性 observe_work_lease_heartbeat把普通异常和畸形batch转为有界负证据，coordinator在完整 partition准入后才提交本地metrics/token；续期复用event-loop时刻，completion API内部拥有完成时钟。 定向为3 passed + 4 subtests（94 deselected），六模块相关为 380 passed + 105 subtests，完整warnings-as-errors Python为 773 passed + 125 subtests（97.16秒）。真实本地filesystem probe和双rank 合成生产API机制集成14/14：两个rank同错误、零proof并各提交一次failure；clock错误保持controller pre-state，BaseException传播。该证据不是外部I/O rollback、实际MPI、ULFM、性能或coverage提升。

F358继续闭合renewal begin、peer poll与nonblocking send completion传输边界。 post-begin普通异常保留非零generation和已创建send句柄；peer区分malformed quarantine与local admission fatal-control；delivery逐唯一句柄一次性区分completed、incomplete和uncertain。定向为 5 passed（36 deselected），六模块相关为383 passed + 105 subtests， 完整warnings-as-errors test/为776 passed + 125 subtests（97.41秒）。 确定性4-rank点到点生产API机制集成15/15，partial send保留generation 1与2个句柄，三值计数 1/1/1且每个句柄只调用一次。该证据不是send rollback、实际MPI、ULFM、性能或coverage提升。

F359把仓库根pytest的默认发现域限定为父项目test/，但不使用 norecursedirs或--ignore隐藏vendored QSYM。默认根collect-only为 778 collected且exit 0；清空testpaths的反事实保留同778个项目测试并重现 6个QSYM收集错误；显式QSYM路径仍进入原生套件并透明报告当前前置条件缺失。四路机制集成 12/12，完整无路径warnings-as-errors根回归为778 passed + 125 subtests （97.27秒）。该证据不表示QSYM/PIN原生测试、LLVM lit、solver或benchmark已经执行，也不支持性能提升。

F360把F359的本地根测试入口接入独立capability-closed Python CI job。 生产gate前检10个命令、5个Python模块和1个动态库，要求collection不少于778且普通/subtest skip、 xfail、xpass、deselection和collection error全为0，并原子保存JSON artifact。深度审查修复重复 subtest标签把125折叠为121以及subtest skip漏门问题；6项契约、空Python 3.12 venv重建、Ruff、 py_compile和actionlint均通过，最终本地等价门禁为784 passed + 125 subtests （98.30秒），16项能力零缺失且JSON/终端计数一致。当前没有实际触发GitHub托管runner，也不支持 后端、性能、coverage或SOTA提升结论。

F361继续修复collection floor无法识别等量测试替换的完整性缺口。 版本化清单规范记录787个pytest nodeid，gate v2要求missing、unexpected和duplicate 均为0，并关闭隐式第三方插件自动加载。真实反事实保持expected/observed同为787，但删除一个历史身份、 加入一个replacement后以1 missing + 1 unexpected和exit 1被拒绝；原清单与空Python 3.12 venv均精确匹配。9项契约与完整本地等价门禁通过，最终为787 passed + 125 subtests （96.38秒）。nodeid证明身份集合，不证明测试体或oracle语义；当前也没有实际触发GitHub托管runner。

F362深审F361 manifest输入边界，修复先stat再read导致的对象分裂、重复JSON member 静默覆盖和空插件隔离变量绕过。reader现在从一个描述符最多读取MAX+1字节，随后UTF-8、严格pairs hook、 schema和摘要消费同一快照；两个入口无条件规范变量为1。226 B对32 B上限且伪造stat为1 B时 以0次stat调用拒绝，重复count在pytest前exit 2/collected 0，空变量下1/1 fixture通过。 清单仍为787项且字节一致，完整门禁为787 passed + 125 subtests（97.69秒），16项能力与 结果/身份退化均为零。该机制不是hostile-filesystem证明、签名或性能提升。

F363把同类审查推进到异步求解核心输入。Query IR入口不再先stat后重开路径， 而是从一个描述符读取至多MAX+1字节，在UTF-8/JSON构造前判定上限；pairs hook拒绝重复member， parse-constant拒绝NaN/Infinity。845 B envelope在845 B精确边界接受，在64 B上限且伪造stat为1 B时 以0次stat调用拒绝；good/duplicate/NaN同批spool为imported 1/failed 2，SQLite仅有1 query和1 witness。 定向20项、关联124项和完整787 passed + 125 subtests（98.41秒）通过，16项能力与 结果/身份退化均为零。该结果证明本地准入机制，不提供求解、coverage或性能提升结论。

F364继续闭合异步Query spool的并发和文件身份边界。旧双消费者算法确定复现 2次ingest、1次正常返回、1个未处理FileNotFoundError及误导错误文件；生产路径以 no-follow/nonblocking regular-file reader和固定regular lock inode建立稳定消费对象与协作式唯一提交者。 竞争持锁时返回(0,0)且store calls为0；真实持锁子进程被SIGKILL(-9)后， 下一服务恢复为(1,0)且query/witness严格1/1。symlink、FIFO、读后path替换和锁对象投毒 均失败关闭；完整门禁为787 passed + 127 subtests（98.85秒），16项能力及结果/身份 退化均为零。这是本机、协作式、flock语义一致文件系统上的可靠性证据，不是跨主机资格、全局 exactly-once或求解/覆盖/性能提升。

F365修复Query spool的结果误分类。旧控制流在有效查询已经入库后遇到accepted publication故障，会错误返回(0,1)、写.error并移入rejected。当前实现只捕获 显式QueryAdmissionError；reader、CAS/SQLite和publication异常保留incoming并传播原始类型。 production故障注入中，read/persist失败前query为0，publish失败前query/witness已为1/1；三者重试均为 (1,0)并收敛到1/1，invalid JSON仍保持数据库0/0的dead letter。完整门禁为 787 passed + 127 subtests（99.55秒），16项能力与结果/身份退化均为零。该结果不等于 自动重试、dead-letter持久原子性、CAS orphan GC、跨主机资格或性能/覆盖提升。

F366闭合QueryStore的SMT2内容身份与lease提交边界。旧存在即信任规则把 期望摘要614fe277…映射到实际摘要69b0c4d9…仍静默接纳；当前三个artifact namespace复用descriptor-anchored CAS，在索引前验证或修复regular/symlink/FIFO leaf，并拒绝 post-commit损坏和数据库路径重定向。artifact验证失败发生在lease更新前，查询保持 pending, attempts=0；8 writer收敛为1摘要、1数据库行、0临时残留。定向为 183 passed + 20 subtests，相关为253 passed + 67 subtests，完整门禁为 787 passed + 127 subtests（115.18秒），16项能力和测试身份零退化。该结果不等于 solver fd handoff、CAS orphan GC、跨主机文件系统资格或性能/覆盖提升。

F367关闭F366遗留的lease-to-solve pathname窗口。claim把三个摘要验证对象复制到 四seal memfd后才提交token；一次性helper继承full fd，持久化helper通过query-id-bound SCM_RIGHTS接收prefix/target，C++端再执行数量、regular/size、seal和稳定读取门。 三条CAS path替换后快照摘要保持不变、写入返回EPERM，第二次memfd分配失败关闭首fd且查询保持 pending, attempts=0；真实one-shot/persistent helper与prefix-cache miss/hit均通过。 定向为20 passed + 2 subtests，相关为227 passed + 20 subtests， query/string lit为10 passed，完整门禁为787 passed + 127 subtests （114.93秒）。该结果依赖Linux机制，不等于CAS orphan GC、跨主机资格、公开benchmark、LAVA-M 或性能/覆盖提升。

F368关闭F367持久化helper的双通道半提交窗口。反事实中A的sealed fd发送后、 文本提交前故障，旧generation被复用，使B文本稳定消费A的descriptor ID与摘要；当前实现把process、 stdio和socketpair统一fence，任一send/write/read/framing/UTF-8/JSON/ID异常都终止整代，下一请求 只能冷启动。字段在transport前验证，stdout使用selector、monotonic deadline、64 KiB块、16 MiB 单响应上限。定向为20 passed + 2 subtests，相关为 227 passed + 20 subtests，query/string lit为10 passed，完整门禁为 787 passed + 127 subtests（115.80秒）。该结果证明本地Linux机制正确性，不等于 高故障率性能、跨主机、公开benchmark、LAVA-M或coverage提升。

F369补齐F368字段预检集合与实际commit image不一致的问题。旧路径中， newline pathname生成带future ID的第二请求；延迟响应避开同read多frame门后，真实victim在 同一helper接受injected字段和assignment 66，即使response-ID完全匹配。当前实现先固定 pathname/sealed mode，构造最终六字段tuple，对全部字段拒绝empty/NUL/TAB/CR/LF，并将sealed request ID约束为ASCII且不超过256 B；artifact实际字段必须等于preview，pipe直接提交同一tuple。 纯拒绝保持健康generation，合法victim得到own request/assignment 99，后续sealed请求仍接收2 fd。 定向为20 passed + 8 subtests，相关为227 passed + 26 subtests， query/string lit为10 passed，完整门禁为787 passed + 133 subtests （115.29秒）。该结果证明本地协议正确性，不等于性能、公开benchmark、LAVA-M或coverage提升。

F370把持久solver的时间边界从response读取扩展到完整双通道事务。真实未读 pipe和写满SOCK_SEQPACKET证明旧write/flush与blocking sendmsg(SCM_RIGHTS)可在Z3看到timeout前停住。当前实现先生成strict UTF-8、 268500992 B有界frame，再让descriptor发送、stdin offset写入和response reader共享一个absolute monotonic deadline；任一部分提交超时都回收整代并冷启动，纯预检仍保持健康prefix cache。反事实/ production driver连续双跑字节一致；定向为20 passed + 12 subtests，相关为 227 passed + 30 subtests，query/string lit为10/10 passed，完整门禁为 787 passed + 137 subtests（115.36秒），16项能力与测试身份零退化。该结果证明本地 Linux机制有界性，不等于吞吐、coverage、公开benchmark或LAVA-M提升。

F371闭合同一逻辑query ID重试的响应关联。旧helper第一次返回11后迟到 输出同ID assignment 22，既有JSON与ID检查会让第二次调用在同generation接收22。当前实现 在transport前保存固定SHA-256指纹；同ID重复或65,536项容量边界先回收整代并冷启动，字段0、 descriptor绑定和native稳定求解种子保持不变。生产driver从两代得到11→11，纯预检不登记、 不同ID仍复用原代，容量换代可执行。定向为20 passed + 12 subtests（4.96秒）， 相关为227 passed + 30 subtests（31.69秒），query/string lit为 10/10 passed，完整门禁为787 passed + 137 subtests（115.91秒）， 16项能力与测试身份零退化。该结果证明本地generation内at-most-once机制，不等于全局 exactly-once、吞吐、coverage、公开benchmark或LAVA-M提升。

F372由全局证据重放发现并修复同摘要CAS writer的一次复核假失败。旧路径在 own descriptor与public inode分裂后只做一次stable snapshot；另一个精确replace落入窗口就误报 ESTALE。当前publication verifier区分exact、stable wrong和unstable：exact接纳，wrong一次即拒绝， unstable最多32次后拒绝。反事实1次错误失败，production第4次接纳；真实8-writer收敛且temporary 0， F366完整driver 20/20与历史JSON一致。定向为1 passed（0.21秒），关联为 183 passed + 30 subtests（24.92秒），完整门禁为 787 passed + 137 subtests（121.54秒），16项能力与测试身份零退化。该结果证明 本地有界并发收敛，不等于跨主机文件系统资格、吞吐、coverage、公开benchmark或LAVA-M提升。

F373把Query artifact审计从数据库row视图扩展为SQLite roots、artifact rows和 full/prefix/target三个物理CAS namespace的typed join。旧视图只发现1个indexed orphan；production完整 扫描还发现1个unindexed physical orphan和1个noncanonical entry，且保留全部对象。条目预算为1时报告 complete=false并把missing类结果置为null；完整/部分CLI分别exit 0/2。 并发证据证明协作publisher在audit期间阻塞、释放后完成。定向为1 passed + 4 subtests （0.86秒），QueryStore为20 passed + 16 subtests（5.35秒），关联为 183 passed + 34 subtests（20.14秒），完整门禁为 787 passed + 141 subtests（116.43秒），16项能力与测试身份零退化。当前固定为 report-only且sweep_authorized=false；结果不等于已实现GC、跨主机资格、 吞吐、coverage、公开benchmark或LAVA-M提升。

PPTX 压缩包完整，含 28 张 slide XML 和 27 张 notes XML。

历史的 symcc-report.tar.gz 和 Project_Report_Slides.html 保留用于追溯，不再作为当前统计结论入口。