# 研究进展归档

本目录集中保存 Codex 维护的阶段性研究进展，与项目总报告、单项技术档案和原始实验证据分开管理。
文档应明确记录时间范围、实现范围、技术贡献、验证方法、实验结果和结论边界，以支持后续项目同步、阶段汇报和论文写作。

## 归档约定

- 文件名使用 `<topic>_YYYY-MM-DD.md`，保留报告的截止日期。
- 结论必须区分“机制已实现”、“回归已通过”和“benchmark 已验证”，不以单元测试推导性能提升。
- 实验数据应指向 `../evidence/` 中的原始制品，并记录配置、重复次数、指标口径和统计方法。
- 新增或修订报告后，同步更新本索引、`../README.md`、入口 HTML 和 `../SHA256SUMS.txt`。

## 已归档进展

| 截止日期 | 范围 | 文档 |
| --- | --- | --- |
| 2026-08-25 | F449：认证分区的主服务执行、持久cube租约、SAT抢先取消、全叶UNSAT证明聚合、QueryStore二次裁决与生命周期闭环 | [`Proof_Aware_Certified_Partition_Execution_F449_2026-08-25.md`](Proof_Aware_Certified_Partition_Execution_F449_2026-08-25.md) |
| 2026-08-07 | F297-F319：语义正确性、AFL++ 原生协同、经验值域闭环、覆盖率 oracle、边级调度、跨主租约、事务派发、代次恢复、静默worker watchdog与共享有界生命周期 | [`Research_Progress_Since_Last_Sync_2026-08-07.md`](Research_Progress_Since_Last_Sync_2026-08-07.md) |
| 2026-08-07 | F309：跨调度 lane 在途 target group、完整性修复、状态机与实验边界 | [`In_Flight_Target_Leasing_F309_2026-08-07.md`](In_Flight_Target_Leasing_F309_2026-08-07.md) |
| 2026-08-07 | F310：无副作用 proposal、原子准入、接纳后提交与冲突回填 | [`Transactional_Target_Admission_F310_2026-08-07.md`](Transactional_Target_Admission_F310_2026-08-07.md) |
| 2026-08-07 | F311：跨 coordinator target-only group 表、current-token fencing、派发契约与全 proposal 回填 | [`Cross_Coordinator_Target_Fencing_F311_2026-08-07.md`](Cross_Coordinator_Target_Fencing_F311_2026-08-07.md) |
| 2026-08-07 | F312：target group 失败原子 heartbeat、逐租约 I/O 故障隔离与临时 record 清理 | [`Failure_Atomic_Lease_Heartbeat_F312_2026-08-07.md`](Failure_Atomic_Lease_Heartbeat_F312_2026-08-07.md) |
| 2026-08-07 | F313：MPI 派发资源事务、send 前撤销、stale-result 丢弃与结果提交门 | [`Transactional_MPI_Dispatch_Handoff_F313_2026-08-07.md`](Transactional_MPI_Dispatch_Handoff_F313_2026-08-07.md) |
| 2026-08-07 | F314：本地 work/state 单 owner、重启安全 clock domain 与 master 权威 result identity | [`Reboot_Safe_Local_Lease_Fencing_F314_2026-08-07.md`](Reboot_Safe_Local_Lease_Fencing_F314_2026-08-07.md) |
| 2026-08-07 | F315：per-dispatch generation token、全出口回显、状态消费前校验与 reasoned quarantine | [`Dispatch_Generation_Result_Fencing_F315_2026-08-07.md`](Dispatch_Generation_Result_Fencing_F315_2026-08-07.md) |
| 2026-08-07 | F316：generation-aware READY/RESULT join、exact-generation rollback、有界重排队与持久 deferred recovery | [`Generation_Aware_READY_Recovery_F316_2026-08-07.md`](Generation_Aware_READY_Recovery_F316_2026-08-07.md) |
| 2026-08-07 | F317：generation-fenced dispatch watchdog、静默任务迁移、parked rank 与 exact READY rehabilitation | [`Generation_Fenced_Dispatch_Watchdog_F317_2026-08-07.md`](Generation_Fenced_Dispatch_Watchdog_F317_2026-08-07.md) |
| 2026-08-07 | F318：READY/STOP/ACK关闭代次、有界shutdown与Ibarrier、pending显式Abort及真实三进程协议证据 | [`Acknowledged_Bounded_MPI_Shutdown_F318_2026-08-07.md`](Acknowledged_Bounded_MPI_Shutdown_F318_2026-08-07.md) |
| 2026-08-07 | F319：共享MPI lifecycle、READY/RESULT有序静止、晚到结果守恒、exact-token master stats与精确idle deadline | [`Shared_MPI_Lifecycle_and_Ordered_Quiescence_F319_2026-08-07.md`](Shared_MPI_Lifecycle_and_Ordered_Quiescence_F319_2026-08-07.md) |
| 2026-08-07 | F320：SHA-256全局任务身份、rendezvous放置、shared fencing lease、过期接管、内容回验与两阶段静止提交 | [`Lease_Fenced_Global_Work_Ownership_F320_2026-08-07.md`](Lease_Fenced_Global_Work_Ownership_F320_2026-08-07.md) |
| 2026-08-07 | F321：失败原子corpus准入、child隐藏暂存与fenced提升、不可偷取commit、record-aware恢复、exact-token失败重排、对称PREPARE与不可偷取短锁 | [`Failure_Atomic_Frontier_Prepare_F321_2026-08-07.md`](Failure_Atomic_Frontier_Prepare_F321_2026-08-07.md) |
| 2026-08-07 | F322：WAL-inspired持久结果manifest、部分corpus发布幂等redo、complete-once唯一记账、显式epoch即时租约接管与损坏日志fail-closed | [`Durable_Result_Manifest_Replay_F322_2026-08-07.md`](Durable_Result_Manifest_Replay_F322_2026-08-07.md) |
| 2026-08-07 | F323：file/目录双层屏障、跨目录public-first同步、耐久mkdir/link/unlink、错误传播及掉电边界证据 | [`Directory_Entry_Durability_Barriers_F323_2026-08-07.md`](Directory_Entry_Durability_Barriers_F323_2026-08-07.md) |
| 2026-08-07 | F324：分片heartbeat group commit、失败前缀闭合、standalone/hybrid/target接入、同步次数与真实MPI证据 | [`Shard_Level_Heartbeat_Group_Commit_F324_2026-08-07.md`](Shard_Level_Heartbeat_Group_Commit_F324_2026-08-07.md) |
| 2026-08-07 | F325：target-group全组预验证、部分释放修复、claim/release分片屏障、故障补偿、微基准与双进程竞争 | [`Prevalidated_Target_Group_Mutation_Batching_F325_2026-08-07.md`](Prevalidated_Target_Group_Mutation_Batching_F325_2026-08-07.md) |
| 2026-08-07 | F326：stable-inode kernel lock、SIGKILL自动释放、monotonic deadline、coverage权威状态失败关闭、系统调用/多进程证据 | [`Crash_Released_Kernel_Locks_and_Coverage_Integrity_F326_2026-08-07.md`](Crash_Released_Kernel_Locks_and_Coverage_Integrity_F326_2026-08-07.md) |
| 2026-08-07 | F327：真实共享根能力契约、state→corpus边界、隔离child锁litmus、hybrid启动前gate、并发/MPI证据 | [`Shared_Filesystem_Capability_Contract_F327_2026-08-07.md`](Shared_Filesystem_Capability_Contract_F327_2026-08-07.md) |
| 2026-08-07 | F328：standalone/lease/coverage按路径9/6/5项profile、v1/v2三态快照、同路径并集、40×3交错成本证据 | [`Path_Specific_Filesystem_Requirement_Profiles_F328_2026-08-07.md`](Path_Specific_Filesystem_Requirement_Profiles_F328_2026-08-07.md) |
| 2026-08-07 | F329：standalone master-only MPI跨client锁资格、H/H*(M-1)/H证据基数、同机反误报与有界自适应控制面 | [`MPI_Cross_Host_Shared_Lock_Qualification_F329_2026-08-07.md`](MPI_Cross_Host_Shared_Lock_Qualification_F329_2026-08-07.md) |
| 2026-08-07 | F330：运行期跨client锁资格续期、generation防重放、work-lease TTL预算、quiescence隔离与语义漂移失败关闭 | [`Runtime_Cross_Host_Lock_Qualification_Renewal_F330_2026-08-07.md`](Runtime_Cross_Host_Lock_Qualification_Renewal_F330_2026-08-07.md) |
| 2026-08-07 | F331：epoch/generation确定性有界续期抖动、root-only反惊群调度、热路径缓存、v2指标与同机资格门 | [`Deterministic_Bounded_Renewal_Jitter_F331_2026-08-07.md`](Deterministic_Bounded_Renewal_Jitter_F331_2026-08-07.md) |
| 2026-08-07 | F332：epoch绑定规范配置指纹、generation-0有界master共识、默认typestate门、request-v2 fencing、固定epoch双复跑、逐rank漂移失败关闭与ACK后rendezvous | [`Epoch_Bound_Renewal_Configuration_Consensus_F332_2026-08-07.md`](Epoch_Bound_Renewal_Configuration_Consensus_F332_2026-08-07.md) |
| 2026-08-07 | F333：F332 live共识的跨重启durable manifest、hard-link create-once、exact-read快路径、并发单赢家及真实MPI崩溃/错误/正确恢复 | [`Durable_Renewal_Configuration_Manifest_F333_2026-08-07.md`](Durable_Renewal_Configuration_Manifest_F333_2026-08-07.md) |
| 2026-08-07 | F334：完成epoch的durable rmtree、pre/post-cleanup门控、71/72/73失败分类及真实MPI清理故障恢复 | [`Durable_Completed_Epoch_Cleanup_F334_2026-08-07.md`](Durable_Completed_Epoch_Cleanup_F334_2026-08-07.md) |
| 2026-08-07 | F335：完成epoch原子名称退役、no-follow locked startup GC、post-rename不确定性收敛与分层成本 | [`Atomic_Completed_Epoch_Retirement_F335_2026-08-07.md`](Atomic_Completed_Epoch_Retirement_F335_2026-08-07.md) |
| 2026-08-07 | F336：Linux `RENAME_NOREPLACE`完成态提交、真实挂载点资格、EEXIST双名称保持、真实MPI冲突恢复与机制成本 | [`Kernel_Enforced_No_Clobber_Epoch_Retirement_F336_2026-08-07.md`](Kernel_Enforced_No_Clobber_Epoch_Retirement_F336_2026-08-07.md) |
| 2026-08-07 | F337：root/entry/time三预算可恢复retired-tree GC、descriptor-relative no-follow DFS、ENOTEMPTY重开、真实MPI跨启动收敛与机制成本 | [`Resumable_Budgeted_Retired_Tree_GC_F337_2026-08-07.md`](Resumable_Budgeted_Retired_Tree_GC_F337_2026-08-07.md) |
| 2026-08-07 | F338：完整reserved namespace预验证、流式有界Top-K、扫描遥测、真实MPI与tracemalloc/时间对照 | [`Streaming_Bounded_Memory_Retired_Discovery_F338_2026-08-07.md`](Streaming_Bounded_Memory_Retired_Discovery_F338_2026-08-07.md) |
| 2026-08-07 | F339：staged corpus流式expected-first准入、descriptor/no-follow regular-inode摘要、live/replay统一失败关闭、真实MPI与机制成本 | [`Streaming_Expected_First_NoFollow_Staging_F339_2026-08-07.md`](Streaming_Expected_First_NoFollow_Staging_F339_2026-08-07.md) |
| 2026-08-10 | F340：每parent对象/逻辑字节硬预算、worker固定块暂存、master独立重复展开复算、清理不确定时的stage identity交接、超限不截断与commit replay时间语义 | [`Bounded_Streaming_Result_Admission_F340_2026-08-10.md`](Bounded_Streaming_Result_Admission_F340_2026-08-10.md) |
| 2026-08-10 | F341：external seed稳定inode snapshot、两阶段owner流式发布、input/result预算不变量、同名replacement再准入、worker单遍copy/hash与late external provenance统计修正 | [`Stable_Streaming_Input_Admission_F341_2026-08-10.md`](Stable_Streaming_Input_Admission_F341_2026-08-10.md) |
| 2026-08-10 | F342：observed external与canonical public corpus同域交集、phantom provenance修正、真实7-rank MPI反例与4096对象机制成本 | [`Public_Provenance_Intersection_F342_2026-08-10.md`](Public_Provenance_Intersection_F342_2026-08-10.md) |
| 2026-08-10 | F343：模拟变异预算预检、稳定源、同RNG固定窗口扇出、失败原子发布、真实MPI与fresh-process内存/时间证据 | [`Bounded_Streaming_Simulation_Mutations_F343_2026-08-10.md`](Bounded_Streaming_Simulation_Mutations_F343_2026-08-10.md) |
| 2026-08-10 | F344：hybrid worker完整结果预算、stable no-follow两遍收集、whole-parent拒绝与fresh-process资源证据 | [`Bounded_Hybrid_Worker_Result_Admission_F344_2026-08-10.md`](Bounded_Hybrid_Worker_Result_Admission_F344_2026-08-10.md) |
| 2026-08-10 | F345：稳定queue snapshot、前副作用摘要栅栏、自校验CAS、确认式worker驻留、continuation身份与fresh-process资源证据 | [`Stable_Hybrid_Input_Admission_F345_2026-08-10.md`](Stable_Hybrid_Input_Admission_F345_2026-08-10.md) |
| 2026-08-10 | F346：写fd跨rename的CAS发布闭环、ctime语义、乐观竞争仲裁、零fast-path重哈希与故障注入证据 | [`Descriptor_Bound_CAS_Publication_Closure_F346_2026-08-10.md`](Descriptor_Bound_CAS_Publication_Closure_F346_2026-08-10.md) |
| 2026-08-10 | F347：后缀感知统一CAS、live continuation对象图、稳定no-follow读取、摘要/JSON同snapshot消费与cache状态机 | [`Unified_Live_State_CAS_F347_2026-08-10.md`](Unified_Live_State_CAS_F347_2026-08-10.md) |
| 2026-08-10 | F348：current+parent Merkle DAG传递闭包、restore-local digest memo、唯一对象/canonical-byte双预算、深层page/expression验证与精确边界证据 | [`Budgeted_Transitive_Live_State_Restore_F348_2026-08-10.md`](Budgeted_Transitive_Live_State_Restore_F348_2026-08-10.md) |
| 2026-08-10 | F349：CAS root/shard directory capability、descriptor-relative leaf I/O、使用后namespace identity closure、input/live-state统一读取与11-check目录替换证据 | [`Descriptor_Anchored_CAS_Namespace_F349_2026-08-10.md`](Descriptor_Anchored_CAS_Namespace_F349_2026-08-10.md) |
| 2026-08-10 | F350：从`/`开始逐组件open-first no-follow根能力链、仅ENOENT相对创建、使用后ancestry closure、跨chdir绝对路径与11-check祖先替换证据 | [`Component_Wise_Anchored_CAS_Root_F350_2026-08-10.md`](Component_Wise_Anchored_CAS_Root_F350_2026-08-10.md) |
| 2026-08-10 | F351：state/publication文件系统重绑定、root/lock descriptor锚点、全master namespace identity closure、v2 typestate与8-check故障注入证据 | [`Identity_Closed_Cluster_Lock_Qualification_F351_2026-08-10.md`](Identity_Closed_Cluster_Lock_Qualification_F351_2026-08-10.md) |
| 2026-08-10 | F352：generation challenge、规范化proof transcript、全master commit、expected ranks/client-local capability绑定及10-check重放/拼接证据 | [`Generation_Bound_Lock_Proof_Transcript_F352_2026-08-10.md`](Generation_Bound_Lock_Proof_Transcript_F352_2026-08-10.md) |
| 2026-08-10 | F353：结果准入总化、validate/derive/commit单提交点、精确代次/elapsed门、attempt守恒和异常零状态变更 | [`Failure_Atomic_Renewal_Result_Admission_F353_2026-08-10.md`](Failure_Atomic_Renewal_Result_Admission_F353_2026-08-10.md) |
| 2026-08-10 | F354：rank-local completion异常隔离、判别返回、bounded diagnostics、fatal-control接入和BaseException透传 | [`Rank_Contained_Renewal_Completion_F354_2026-08-10.md`](Rank_Contained_Renewal_Completion_F354_2026-08-10.md) |
| 2026-08-10 | F355：qualification生产者公共总化边界、communicator/clock异常值化、失败结果归一化、startup/runtime消费闭环与BaseException透传 | [`Total_Cluster_Lock_Qualification_Boundary_F355_2026-08-10.md`](Total_Cluster_Lock_Qualification_Boundary_F355_2026-08-10.md) |
| 2026-08-10 | F356：filesystem/processor输入统一观测、普通异常collective负证据、条件式membership schema、双rank失败收敛与BaseException透传 | [`Collective_Safe_Qualification_Observation_F356_2026-08-10.md`](Collective_Safe_Qualification_Observation_F356_2026-08-10.md) |
| 2026-08-10 | F357：work-lease heartbeat一次性观测、完整batch准入、资格前时钟复用、completion内置时钟与双rank负证据收敛 | [`Renewal_Heartbeat_and_Clock_Containment_F357_2026-08-10.md`](Renewal_Heartbeat_and_Clock_Containment_F357_2026-08-10.md) |
| 2026-08-10 | F358：post-begin generation/部分send保留、peer transport异常分类、completed/incomplete/uncertain一次性观测与4-rank partial-delivery证据 | [`Renewal_Control_Transport_Containment_F358_2026-08-10.md`](Renewal_Control_Transport_Containment_F358_2026-08-10.md) |
| 2026-08-10 | F359：根pytest默认发现隔离、显式QSYM入口保留、6-error反事实、12-check四路证据与无路径完整回归 | [`Hermetic_Pytest_Discovery_Boundary_F359_2026-08-10.md`](Hermetic_Pytest_Discovery_Boundary_F359_2026-08-10.md) |
| 2026-08-10 | F360：Python CI能力闭包、零退化pytest门、原子JSON、重复subtest统计修复、空venv重建与784项完整回归 | [`Capability_Closed_Python_CI_Gate_F360_2026-08-10.md`](Capability_Closed_Python_CI_Gate_F360_2026-08-10.md) |
| 2026-08-10 | F361：规范pytest nodeid清单、gate v2精确集合准入、插件隔离、等量替换反事实、空venv复核与787项完整回归 | [`Canonical_Pytest_Identity_Inventory_F361_2026-08-10.md`](Canonical_Pytest_Identity_Inventory_F361_2026-08-10.md) |
| 2026-08-11 | F362：单描述符MAX+1有界manifest快照、重复JSON member拒绝、空插件变量强制规范、三类反事实与787项完整回归 | [`Single_Snapshot_Pytest_Manifest_Admission_F362_2026-08-11.md`](Single_Snapshot_Pytest_Manifest_Admission_F362_2026-08-11.md) |
| 2026-08-11 | F363：异步Query IR单描述符MAX+1有界读取、重复member/非有限数拒绝、入库前失败关闭、五类生产反例与787项完整回归 | [`Bounded_Single_Snapshot_Query_IR_Admission_F363_2026-08-11.md`](Bounded_Single_Snapshot_Query_IR_Admission_F363_2026-08-11.md) |
| 2026-08-11 | F364：Query IR稳定regular-file读取、六字段身份闭包、crash-released单消费者flock、真实SIGKILL接管与787项完整回归 | [`Stable_Query_IR_and_Crash_Released_Spool_Admission_F364_2026-08-11.md`](Stable_Query_IR_and_Crash_Released_Spool_Admission_F364_2026-08-11.md) |
| 2026-08-11 | F365：显式QueryAdmissionError、validate/persist/publish结果隔离、reader/SQLite/publication故障传播、幂等恢复与787项完整回归 | [`Outcome_Separated_Query_Spool_Commit_F365_2026-08-11.md`](Outcome_Separated_Query_Spool_Commit_F365_2026-08-11.md) |
| 2026-08-11 | F366：descriptor-anchored SMT2 CAS、repair-before-index、digest-kind-path规范验证、pre-lease三artifact准入、损坏/路径/并发证据与787项完整回归 | [`Verified_Query_Artifact_CAS_F366_2026-08-11.md`](Verified_Query_Artifact_CAS_F366_2026-08-11.md) |
| 2026-08-11 | F367：三artifact sealed memfd、一次性pass_fds、query-id-bound SCM_RIGHTS、C++ descriptor准入、路径替换/回滚/真实helper证据与787项完整回归 | [`Sealed_Query_Artifact_FD_Handoff_F367_2026-08-11.md`](Sealed_Query_Artifact_FD_Handoff_F367_2026-08-11.md) |
| 2026-08-11 | F368：持久化solver双通道半提交反例、helper generation fencing、selector有界单响应、ID/超长/部分响应故障冷恢复与787项完整回归 | [`Failure_Atomic_Persistent_Solver_Generation_Reset_F368_2026-08-11.md`](Failure_Atomic_Persistent_Solver_Generation_Reset_F368_2026-08-11.md) |
| 2026-08-11 | F369：newline future-ID注入、延迟同ID stale-model反例、完整六字段commit image、descriptor envelope预检与787项完整回归 | [`Protocol_Complete_Persistent_Solver_Request_Preflight_F369_2026-08-11.md`](Protocol_Complete_Persistent_Solver_Request_Preflight_F369_2026-08-11.md) |
| 2026-08-11 | F370：真实pipe/SCM_RIGHTS背压反例、strict UTF-8有界frame、双通道共享绝对deadline、整代恢复与787项完整回归 | [`Deadline_Bounded_Dual_Channel_Request_Commit_F370_2026-08-11.md`](Deadline_Bounded_Dual_Channel_Request_Commit_F370_2026-08-11.md) |
| 2026-08-11 | F371：同ID迟到重复响应反例、generation内唯一逻辑请求准入、有界digest历史、协议兼容冷换代与787项完整回归 | [`Generation_Unique_Logical_Request_Admission_F371_2026-08-11.md`](Generation_Unique_Logical_Request_Admission_F371_2026-08-11.md) |
| 2026-08-11 | F372：并发同摘要CAS一次复核假失败、三值有界重验证、稳定损坏立即拒绝、32次封顶与20轮真实收敛 | [`Bounded_Content_Equivalent_CAS_Publication_Revalidation_F372_2026-08-11.md`](Bounded_Content_Equivalent_CAS_Publication_Revalidation_F372_2026-08-11.md) |
| 2026-08-11 | F373：Query artifact数据库/物理命名空间可达性审计、typed orphan join、descriptor-anchored有界扫描、partial/null语义与report-only publication fence | [`Report_Only_Query_Artifact_Reachability_Audit_F373_2026-08-11.md`](Report_Only_Query_Artifact_Reachability_Audit_F373_2026-08-11.md) |
| 2026-08-12 | F374：Agolic 式跨运行 BSE 规划、deterministic admission、并行执行/串行原生回放、四类证据与失败原子持久化 | [`Agolic_Run_Level_Planning_F374_2026-08-12.md`](Agolic_Run_Level_Planning_F374_2026-08-12.md) |
| 2026-08-12 | F375：LLVM cleanup-only 异常 lowering、capability 闭包、异常栈展开、CAS checkpoint 恢复与 handler-depth 清理 | [`Cleanup_Only_Exception_Unwind_F375_2026-08-12.md`](Cleanup_Only_Exception_Unwind_F375_2026-08-12.md) |
| 2026-08-12 | F376：稳定 exact-type selector、landingpad 前置匹配、typed throw、`eh.typeid.for`、错配续展开与 checkpoint 组合校验 | [`Exact_Typed_Exception_Matching_F376_2026-08-12.md`](Exact_Typed_Exception_Matching_F376_2026-08-12.md) |
| 2026-08-12 | F377：版本化纯函数 DSL、LLVM effect contract、compiler/runtime 双重准入、QF_BV/CAS 执行与 unknown-external 失败关闭 | [`Declarative_Pure_External_Models_F377_2026-08-12.md`](Declarative_Pure_External_Models_F377_2026-08-12.md) |
| 2026-08-12 | F378：受限 exception token、显式 begin/end/rethrow 状态机、checkpoint 能力绑定与 Clang 风格 lifecycle 控制流 | [`Scalar_Exception_Token_and_Catch_Lifecycle_F378_2026-08-12.md`](Scalar_Exception_Token_and_Catch_Lifecycle_F378_2026-08-12.md) |
| 2026-08-12 | F379：begin-catch 直接平凡整数 load、caught-phase 精确位宽投影、CAS 恢复与对象操作失败关闭 | [`Trivial_Scalar_Catch_Object_F379_2026-08-12.md`](Trivial_Scalar_Catch_Object_F379_2026-08-12.md) |
| 2026-08-12 | F380：固定异常对象 arena、generation/owner/lifetime 证书、跨 frame unwind、真实 catch memory 读取与 normal 销毁 | [`Bounded_Exception_Object_Arena_F380_2026-08-12.md`](Bounded_Exception_Object_Arena_F380_2026-08-12.md) |
| 2026-08-12 | F381：persistent solver pre-I/O 取消登记、query-scoped event、active process 精确中断、queued cancellation 与 cold recovery | [`Pre_IO_Persistent_Portfolio_Cancellation_F381_2026-08-12.md`](Pre_IO_Persistent_Portfolio_Cancellation_F381_2026-08-12.md) |
| 2026-08-12 | F382：constant-GEP异常对象字段、DataLayout偏移、throw/catch use-DAG provenance与真实Clang LLVM17/18对拍 | [`Constant_GEP_Exception_Object_Fields_F382_2026-08-12.md`](Constant_GEP_Exception_Object_Fields_F382_2026-08-12.md) |
| 2026-08-12 | F383：proof-carrying multi-cell alias graph、有限cell/guard/index重建、符号索引见证与PHI保守边界 | [`Proof_Carrying_Multicell_Alias_Graph_F383_2026-08-12.md`](Proof_Carrying_Multicell_Alias_Graph_F383_2026-08-12.md) |
| 2026-08-13 | F384：同PHI block共享predecessor discriminator、exact incoming-edge闭包与reordered-PHI复核 | [`Shared_PHI_Edge_Discriminator_F384_2026-08-13.md`](Shared_PHI_Edge_Discriminator_F384_2026-08-13.md) |
| 2026-08-13 | F385：地址闭合byte-lane last-writer graph、覆盖写/initial lane、poison transfer与跨函数namespace复核 | [`Proof_Carrying_Byte_Lane_Writer_Graph_F385_2026-08-13.md`](Proof_Carrying_Byte_Lane_Writer_Graph_F385_2026-08-13.md) |
| 2026-08-13 | F386：普通byte-lane PHI逐endpoint last-writer graph、initial闭合、poison transfer与跨合同作用域复核 | [`Proof_Carrying_Byte_Lane_PHI_Writer_Graph_F386_2026-08-13.md`](Proof_Carrying_Byte_Lane_PHI_Writer_Graph_F386_2026-08-13.md) |
| 2026-08-13 | F387：基础cyclic byte-lane seed/backedge last-writer graph、merge-load carry边界、poison闭包与条件循环保守隔离 | [`Proof_Carrying_Cyclic_Byte_Lane_Writer_Graph_F387_2026-08-13.md`](Proof_Carrying_Cyclic_Byte_Lane_Writer_Graph_F387_2026-08-13.md) |
| 2026-08-13 | F388：direct/forwarded条件循环leaf分区、三段last-writer重放、poison身份闭包与跨LLVM反例验证 | [`Proof_Carrying_Conditional_Cyclic_Byte_Lane_Writer_Graph_F388_2026-08-13.md`](Proof_Carrying_Conditional_Cyclic_Byte_Lane_Writer_Graph_F388_2026-08-13.md) |
| 2026-08-13 | F389：direct/forwarded三叶multi-arm逐arm边界、last-writer重放、poison身份闭包与跨LLVM反例验证 | [`Proof_Carrying_MultiArm_Cyclic_Byte_Lane_Writer_Graph_F389_2026-08-13.md`](Proof_Carrying_MultiArm_Cyclic_Byte_Lane_Writer_Graph_F389_2026-08-13.md) |
| 2026-08-13 | F390：direct/forwarded四叶recursive tree、验证器重建父分支、逐叶last-writer重放、poison闭包与specialized保守隔离 | [`Proof_Carrying_Recursive_Cyclic_Byte_Lane_Writer_Graph_F390_2026-08-13.md`](Proof_Carrying_Recursive_Cyclic_Byte_Lane_Writer_Graph_F390_2026-08-13.md) |
| 2026-08-13 | F391：持久live-state frontier、可恢复搜索快照、generation CAS、heartbeat/TTL、token栅栏与observation rebase | [`Lease_Fenced_Persistent_Live_State_Frontier_F391_2026-08-13.md`](Lease_Fenced_Persistent_Live_State_Frontier_F391_2026-08-13.md) |
| 2026-08-13 | F392：closed SC-QF_BV IR、interpreter-level ConDPOR、execution-graph重放、backward revisit控制重生成与双独立oracle | [`Bounded_Interpreter_Level_ConDPOR_F392_2026-08-13.md`](Bounded_Interpreter_Level_ConDPOR_F392_2026-08-13.md) |
| 2026-08-13 | F393：UCSan严格seed准入、有界JITI对象上下文、规范耐久快照、fresh-process重放与字节级闭环 | [`Recoverable_UCSan_Object_Context_F393_2026-08-13.md`](Recoverable_UCSan_Object_Context_F393_2026-08-13.md) |
| 2026-08-13 | F394：UCSan显式栈/堆对象、allocation-level OOB、alias UAF、realloc事务、C++ unwind与跨LLVM验证 | [`UCSan_Explicit_Object_Checkers_F394_2026-08-13.md`](UCSan_Explicit_Object_Checkers_F394_2026-08-13.md) |
| 2026-08-13 | F395：UCSan逐字节初始化、SSA/调用传播、sink-only UBI、realloc/atomic迁移与28模式机制矩阵 | [`UCSan_Byte_Initialization_and_UBI_F395_2026-08-13.md`](UCSan_Byte_Initialization_and_UBI_F395_2026-08-13.md) |
| 2026-08-13 | F396：可执行参数provider、严格原子registry、生命周期安全路由、schema-bound state与100轮机制开销 | [`Native_Parameter_Provider_and_Lifecycle_Routing_F396_2026-08-13.md`](Native_Parameter_Provider_and_Lifecycle_Routing_F396_2026-08-13.md) |
| 2026-08-13 | F397：程序绑定value history、成本校正MeanShift/silhouette gate、hash-bound state pair与竞态闭包 | [`Program_Bound_ParaSuit_Value_Space_F397_2026-08-13.md`](Program_Bound_ParaSuit_Value_Space_F397_2026-08-13.md) |
| 2026-08-13 | F398：assignment-local branch rarity、standalone/synergy参数选择、三策略消融与三文件一致恢复 | [`ParaSuit_Branch_Rarity_Parameter_Selection_F398_2026-08-13.md`](ParaSuit_Branch_Rarity_Parameter_Selection_F398_2026-08-13.md) |
| 2026-08-13 | F399：Query IR alpha-normalized constraint class、联合prefix-target alias、structural novelty-first与年龄恢复调度 | [`Cottontail_Alpha_Normalized_Constraint_Selection_F399_2026-08-13.md`](Cottontail_Alpha_Normalized_Constraint_Selection_F399_2026-08-13.md) |
| 2026-08-14 | F400：持久多目标live-state反馈、selection/outcome事务分离、generation rebase、失败原子归还与snapshot v2 | [`Persistent_Multi_Objective_Live_State_Feedback_F400_2026-08-14.md`](Persistent_Multi_Objective_Live_State_Feedback_F400_2026-08-14.md) |
| 2026-08-14 | F401：持久Empc式live-state multiple minimum path covers、函数内SCC、checkpoint-token兼容cover、snapshot v3与生产frontier接线 | [`Persistent_Empc_Live_State_Path_Cover_F401_2026-08-14.md`](Persistent_Empc_Live_State_Path_Cover_F401_2026-08-14.md) |
| 2026-08-14 | F402：Compatible Branch Coverage闭包、fork-time剪枝、snapshot v4、穷举oracle与synthetic机制实验 | [`Compatible_Branch_Coverage_Live_State_Pruning_F402_2026-08-14.md`](Compatible_Branch_Coverage_Live_State_Pruning_F402_2026-08-14.md) |
| 2026-08-15 | F403：Concrete Constraint Guided Scheduling、固定地址依赖、双FIFO、snapshot v5与10200次oracle | [`Concrete_Constraint_Guided_Scheduling_F403_2026-08-15.md`](Concrete_Constraint_Guided_Scheduling_F403_2026-08-15.md) |
| 2026-08-15 | F404：TopSeed式跨运行种子选择、AFL bucket group、事务反馈、恢复和11417次oracle | [`TopSeed_Persistent_Campaign_Seed_Selection_F404_2026-08-15.md`](TopSeed_Persistent_Campaign_Seed_Selection_F404_2026-08-15.md) |
| 2026-08-15 | F405：有限ordinary-heap points-to证书、条件lifetime、runtime live/size/init和POSE适配边界 | [`Certified_Finite_Heap_Lifetime_Union_F405_2026-08-15.md`](Certified_Finite_Heap_Lifetime_Union_F405_2026-08-15.md) |
| 2026-08-15 | F406：多支配store集合初始化证明、owner-base证书、符号free survivor和独立oracle | [`Collective_Heap_Union_Initialization_F406_2026-08-15.md`](Collective_Heap_Union_Initialization_F406_2026-08-15.md) |
| 2026-08-16 | F407：有界guard tree、select/PHI路径相关store witness、proof transcript和64路径边界 | [`Guard_Correlated_Heap_Union_Initialization_F407_2026-08-16.md`](Guard_Correlated_Heap_Union_Initialization_F407_2026-08-16.md) |
| 2026-08-16 | F408：真实LLVM MemorySSA/AA有界堆初始化证明、NoAlias/NoModRef消歧、proof transcript、双LLVM与独立graph oracle | [`MemorySSA_AA_Heap_Initialization_F408_2026-08-16.md`](MemorySSA_AA_Heap_Initialization_F408_2026-08-16.md) |
| 2026-08-16 | F409：调用点实例化的跨过程heap effect摘要、formal/actual绑定、wrapper/initializer证书、双LLVM和有限域oracle | [`Interprocedural_Heap_Effect_Summary_F409_2026-08-16.md`](Interprocedural_Heap_Effect_Summary_F409_2026-08-16.md) |
| 2026-08-16 | F410：符号长度有界region effect、动态索引byte-lane cover、条件初始化bitmap、双LLVM和有限域oracle | [`Symbolic_Length_Byte_Lane_Cover_F410_2026-08-16.md`](Symbolic_Length_Byte_Lane_Cover_F410_2026-08-16.md) |
| 2026-08-16 | F411：loop-carried MemoryPhi、规范标量归纳、byte-lane iteration witness、严格重放与runtime bitmap权威 | [`Loop_MemoryPhi_Byte_Lane_Induction_F411_2026-08-16.md`](Loop_MemoryPhi_Byte_Lane_Induction_F411_2026-08-16.md) |
| 2026-08-16 | F412：常量stride/affine scale、可达writer同余类、writer-lane证书、无回绕证明与runtime bitmap权威 | [`Strided_Loop_MemoryPhi_Residue_Cover_F412_2026-08-16.md`](Strided_Loop_MemoryPhi_Residue_Cover_F412_2026-08-16.md) |
| 2026-08-16 | F413：五块条件writer CFG、两层MemoryPhi、true/false polarity、逐lane guard-carry与runtime bitmap权威 | [`Conditional_Loop_MemoryPhi_Guard_Carry_F413_2026-08-16.md`](Conditional_Loop_MemoryPhi_Guard_Carry_F413_2026-08-16.md) |
| 2026-08-16 | F414：2--4 latch MemoryPhi SCC、互斥writer/carry transfer、有限byte-lane不动点与runtime bitmap权威 | [`Multi_Latch_MemoryPhi_Fixed_Point_F414_2026-08-16.md`](Multi_Latch_MemoryPhi_Fixed_Point_F414_2026-08-16.md) |
| 2026-08-16 | F415：每backedge有序multiwriter MemoryDef链、v5 writer ordinal、16-writer边界、last-writer oracle与runtime bitmap权威 | [`Ordered_MultiWriter_MemoryPhi_Transfer_F415_2026-08-16.md`](Ordered_MultiWriter_MemoryPhi_Transfer_F415_2026-08-16.md) |
| 2026-08-16 | F416：两层LoopInfo/MemorySSA、inner-to-outer v6摘要组合、双归纳严格重放与runtime bitmap权威 | [`Nested_Loop_MemoryPhi_Summary_Composition_F416_2026-08-16.md`](Nested_Loop_MemoryPhi_Summary_Composition_F416_2026-08-16.md) |
| 2026-08-16 | F417：常量store端序字节、inner/ordinal最后写者v7、first-match阈值证明、动态值v6回退、非整字节失败关闭与真实大端验证 | [`Nested_Loop_MemoryPhi_Last_Write_Value_Summary_F417_2026-08-16.md`](Nested_Loop_MemoryPhi_Last_Write_Value_Summary_F417_2026-08-16.md) |
| 2026-08-16 | F418：outer/inner二维affine地址v8、完整有限域实例、双bound最后写者、严格IR重建、真实大端与affine-stride验证 | [`Nested_Loop_MemoryPhi_Two_Dimensional_Affine_Summary_F418_2026-08-16.md`](Nested_Loop_MemoryPhi_Two_Dimensional_Affine_Summary_F418_2026-08-16.md) |
| 2026-08-17 | F419：affine symbolic writer value v9、入口ABI绑定、模位向量byte expression、严格双端重建与双LLVM验证 | [`Nested_Loop_MemoryPhi_Affine_Symbolic_Value_Summary_F419_2026-08-17.md`](Nested_Loop_MemoryPhi_Affine_Symbolic_Value_Summary_F419_2026-08-17.md) |
| 2026-08-17 | F420：直接induction guard、双affine arm、逐实例guard专门化、v10严格重建、模等价拒绝与双LLVM验证 | [`Nested_Loop_MemoryPhi_Piecewise_Affine_Value_Summary_F420_2026-08-17.md`](Nested_Loop_MemoryPhi_Piecewise_Affine_Value_Summary_F420_2026-08-17.md) |
| 2026-08-17 | F421：有界多guard共享Decision DAG、affine leaf、逐实例路径专门化、v11严格重建、混合writer与双LLVM验证 | [`Nested_Loop_MemoryPhi_Affine_Decision_DAG_Value_Summary_F421_2026-08-17.md`](Nested_Loop_MemoryPhi_Affine_Decision_DAG_Value_Summary_F421_2026-08-17.md) |
| 2026-08-17 | F421--F423：可执行循环摘要的refinement、effect/live-out、事务状态与coverage契约 | [`Executable_Loop_Summary_Refinement_Contract_F421_2026-08-17.md`](Executable_Loop_Summary_Refinement_Contract_F421_2026-08-17.md) |
| 2026-08-17 | F422：显式启用的loop-summary transfer、strict重建、ITE memory/initializedness、事务提交、coverage隔离与176配置差分 | [`Executable_Nested_Loop_Memory_Summary_Transfer_F422_2026-08-17.md`](Executable_Nested_Loop_Memory_Summary_Transfer_F422_2026-08-17.md) |
| 2026-08-17 | F423：可执行Agolic witness-guided BSE，release前单状态/零fork/零solver，release后普通探索，精确求模、私有staging、concrete replay与coverage入账 | [`Executable_Agolic_Witness_Guided_BSE_Runner_F423_2026-08-17.md`](Executable_Agolic_Witness_Guided_BSE_Runner_F423_2026-08-17.md) |
| 2026-08-17 | F424：关系图PC_c/PC_r两阶段求解、完整公式SAT裁决、Laplace分支转移与循环Prefix-DAG value iteration | [`Selective_Concolic_Relation_Graph_and_MDP_F424_2026-08-17.md`](Selective_Concolic_Relation_Graph_and_MDP_F424_2026-08-17.md) |
| 2026-08-17 | F425：native原子值/两阶段commit、SC/TSO/RA关系图证书、fresh-process再执行与双LLVM oracle | [`Native_ConDPOR_C11_Atomic_Reexecution_F425_2026-08-17.md`](Native_ConDPOR_C11_Atomic_Reexecution_F425_2026-08-17.md) |
| 2026-08-17 | F426：内容寻址QF_BV prefix delta、跨worker exact identity、本地parent extension、fenced物化与SAT双重复验 | [`Cross_Worker_Incremental_QFBV_Context_F426_2026-08-17.md`](Cross_Worker_Incremental_QFBV_Context_F426_2026-08-17.md) |
| 2026-08-17 | F427：cvc5 CPC/Ethos可检查QF_BV UNSAT回执、Query IR/reference/工具链联合身份、跨worker复用与QueryStore二次裁决 | [`Proof_Carrying_QFBV_UNSAT_Receipts_F427_2026-08-17.md`](Proof_Carrying_QFBV_UNSAT_Receipts_F427_2026-08-17.md) |
| 2026-08-17 | F428：ancestor-prefix限定的QF_BV learned literal、CPC/Ethos蕴含证明、跨worker注入与发布/消费双重QueryStore复证 | [`Verified_QFBV_Lemma_Exchange_F428_2026-08-17.md`](Verified_QFBV_Lemma_Exchange_F428_2026-08-17.md) |
| 2026-08-17 | F429：context/proof/receipt/lemma统一依赖图、generation-fenced job roots、grace roots、完整性先验与有预算dependent-first GC | [`Lease_Fenced_QFBV_Artifact_Lifecycle_F429_2026-08-17.md`](Lease_Fenced_QFBV_Artifact_Lifecycle_F429_2026-08-17.md) |
| 2026-08-17 | F430：Z3前缀预热、Linux COW per-target child、generation/query严格协议、target timeout隔离与同版本cold/native oracle | [`Native_QFBV_Solver_State_Fork_Reuse_F430_2026-08-17.md`](Native_QFBV_Solver_State_Fork_Reuse_F430_2026-08-17.md) |
| 2026-08-17 | F431：Cache-a-lot式QF_BV变量置换UNSAT-core复用、CPC/Ethos源core证明、精确自然连接、QueryStore二次裁决与冷/热机制实验 | [`Variable_Substitution_UNSAT_Core_Reuse_F431_2026-08-17.md`](Variable_Substitution_UNSAT_Core_Reuse_F431_2026-08-17.md) |
| 2026-08-17 | F432：38-operator bit-blasting、activation assumptions、CaDiCaL 3.0 exact context、LRAT/LRUP checked clause交换、持久proof DAG与QueryStore二次裁决 | [`Verified_Incremental_QFBV_SAT_and_Proof_DAG_F432_2026-08-17.md`](Verified_Incremental_QFBV_SAT_and_Proof_DAG_F432_2026-08-17.md) |
| 2026-08-18 | F433：ImpCheck/LIDRUP式求解中证明流、CaDiCaL IPASIR-UP checked import、native generation/ordinal ACK、learned RUP回写与QueryStore二次裁决 | [`Realtime_Checked_QFBV_Proof_Stream_F433_2026-08-18.md`](Realtime_Checked_QFBV_Proof_Stream_F433_2026-08-18.md) |
| 2026-08-18 | F434：多rank角色/身份/共享状态资格、native active门禁、并发publisher精确event归属、root独立ACK重放和本机MPI机制实验 | [`Qualified_Multirank_Realtime_Proof_Evaluation_F434_2026-08-18.md`](Qualified_Multirank_Realtime_Proof_Evaluation_F434_2026-08-18.md) |
| 2026-08-18 | F435：可回放自适应checked-proof准入、背压/过期反馈、确定性重试和真实CaDiCaL同步突发对照 | [`Adaptive_Checked_Proof_Admission_F435_2026-08-18.md`](Adaptive_Checked_Proof_Admission_F435_2026-08-18.md) |
| 2026-08-18 | F436：原生checked-clause unit/conflict activity、密封receipt、QueryStore复核和delivery/activation分离 | [`Native_Clause_Activity_and_Utility_Feedback_F436_2026-08-18.md`](Native_Clause_Activity_and_Utility_Feedback_F436_2026-08-18.md) |
| 2026-08-18 | F437：publisher/consumer/formula-family效用学习、探索保底、proof-first抑制、原子checkpoint与paired MPI机制实验 | [`Utility_Aware_Proof_Worker_Pairing_F437_2026-08-18.md`](Utility_Aware_Proof_Worker_Pairing_F437_2026-08-18.md) |
| 2026-08-18 | F437 后SOTA缺口审计：Mallob式malleability、PalRUP/ImpCheck互操作、多节点R级实验、proof-prefix partitioning及P1/P2语义缺口 | [`SOTA_Gap_Audit_After_F437_2026-08-18.md`](SOTA_Gap_Audit_After_F437_2026-08-18.md) |
| 2026-08-18 | F438：generation-fenced逻辑malleability、确定性效用分配、两阶段drain/commit、lease/proof守恒、QueryStore生产接线与物理MPI归属实验 | [`Generation_Fenced_Malleable_Worker_Pool_F438_2026-08-18.md`](Generation_Fenced_Malleable_Worker_Pool_F438_2026-08-18.md) |
| 2026-08-18 | F438 后SOTA缺口审计：proof wire互操作、动态运行时/故障恢复、8/32/128 worker R级实验、proof-prefix partitioning和形式化协议 | [`SOTA_Gap_Audit_After_F438_2026-08-18.md`](SOTA_Gap_Audit_After_F438_2026-08-18.md) |
| 2026-08-18 | F439：项目LRUP DAG与外部wire边界、canonical LIDRUP双文件、固定checker/sidecar/QueryStore双复验、真实PalRUP二进制codec与官方oracle | [`LIDRUP_PalRUP_Proof_Wire_Interoperability_F439_2026-08-18.md`](LIDRUP_PalRUP_Proof_Wire_Interoperability_F439_2026-08-18.md) |
| 2026-08-18 | F440：固定PalRUP官方三阶段checker、N/w²/N任务守恒、不可变输入、精确marker/witness门禁、全局receipt与12-fragment官方oracle | [`PalRUP_Global_Confirmation_Pipeline_F440_2026-08-18.md`](PalRUP_Global_Confirmation_Pipeline_F440_2026-08-18.md) |
| 2026-08-19 | F441：generation-fenced ULFM恢复、稳定endpoint身份、全在途租约重放、严格receipt、4-rank能力探测与4→3真实进程失效闭环 | [`Generation_Fenced_ULFM_Recovery_F441_2026-08-19.md`](Generation_Fenced_ULFM_Recovery_F441_2026-08-19.md) |
| 2026-08-20 | F442：并行规模模型、hybrid master瓶颈定位、result triage优化、Adaptive内部profile与Prefix-DAG/ColorGo MDP有界刷新 | [`Parallel_Scaling_Model_and_Bounded_Prefix_MDP_F442_2026-08-20.md`](Parallel_Scaling_Model_and_Bounded_Prefix_MDP_F442_2026-08-20.md) |
| 2026-08-25 | F443：F441生产热路径接线、QueryStore逐迁移持久化、主动失效探测、worker/master物理失效缩容接管与双场景oracle | [`Production_ULFM_Hot_Path_Recovery_F443_2026-08-25.md`](Production_ULFM_Hot_Path_Recovery_F443_2026-08-25.md) |
| 2026-08-25 | F446：全局multi-master communicator修复、代次重组、预启动warm spare补员、连续物理失效、跨代WAL统计与四场景oracle | [`Elastic_Multi_Master_ULFM_F446_2026-08-25.md`](Elastic_Multi_Master_ULFM_F446_2026-08-25.md) |
| 2026-08-25 | F447：shrink-first稳定身份发现、分代QueryStore、并发WAL replay事务、跨用户文件模式、受控双节点连续双故障，以及提前停止且如实降级的8/32/128-worker规模实验 | [`Cross_Node_Continuous_ULFM_and_Scale_Evidence_F447_2026-08-25.md`](Cross_Node_Continuous_ULFM_and_Scale_Evidence_F447_2026-08-25.md) |
| 2026-08-25 | F448：checked proof activity引导的任意K QF_BV cube分区、完整/互斥证书重放、内容寻址生命周期、malleable job catalog与生产CLI | [`Proof_Prefix_Guided_Certified_Partitioning_F448_2026-08-25.md`](Proof_Prefix_Guided_Certified_Partitioning_F448_2026-08-25.md) |
| 2026-08-18 | F433 后SOTA缺口审计：确认 GenSlv 已落地，新增 IFSE closed-box fuzz solving、WP suffix proof summary、Locus predicate proof 等严格缺口并重排 P0/P1/P2 | [`SOTA_Gap_Audit_After_F433_2026-08-18.md`](SOTA_Gap_Audit_After_F433_2026-08-18.md) |
| 2026-08-17 | F424 后SOTA缺口审计：按P0/P1/P2区分生产语义、论文完整复现与R级公开实验 | [`SOTA_Gap_Audit_After_F424_2026-08-17.md`](SOTA_Gap_Audit_After_F424_2026-08-17.md) |
| 2026-08-11 | 六轮深度审查：CAS、QueryStore、solver协议、MPI、算法资源界限与交付一致性的反例驱动整改总记录 | [`Six_Round_Deep_Review_2026-08-11.md`](Six_Round_Deep_Review_2026-08-11.md) |