# AI 使用说明

2026-10-23：Codex在PR #3的bb11116d之上隔离接续，保留其README、fresh-clone CI与README测试。
复用已有独立URI/Cookie消费者，补JSON导入门禁、可区分失败的退出码、无部分成功导出及适用回归。
规范原例子与自制组合/边界分别归属，不冒充真实流量、用户采用、完整HTTP语义或性能优势。
本轮未改解析库/API/SDK、未改他人PR分支、未推送/合并/发版/代交比赛；验证结果单独绑定候选。

2026-10-22提交准备：Codex整理当前README、支持/阻塞矩阵、来源说明与参数化离线字段消费者，
复用已有58组/差分/鲁棒性证据，各回执保留原提交身份。用户随后明确批准公开独立开发分支，
未批准合并主分支、release/发包、部署或代交比赛；实际推送与CI结果单独留回执，不事先虚构成功。
技术材料为AI辅助，不冒充本人申报、人工审核、真实用户采用或性能优势。

2026-10-22：Codex补确定种子的有限畸形字节文法与随机预算鲁棒性回归，独立标明其无外部oracle，
不替代既有正则差分。新增测试的编译/覆盖断言开发失败和修正保留日志；未改变核心库或SDK。
后端阻塞仍可见，不重复无变化失败矩阵，不声称外部认证或绝对无bug。

2026-10-20演示复核：在9e03879e私有提交之上的独立开发分支补可见文法入口与输入树缩略图、
预期stdout及三分钟讲解节奏。只检查演示和基准记录，未重复工具链诊断或修改库算法。
基准计时与完整验收保留其原提交身份，本轮适用检查另存，不冒称四后端通过。

2026-10-20：Codex 从远端 review/moonbit-20261015-sync 的 97f5bb14… 独立核验并隔离接续，
补安全子树前序捕获查询、原输入/span契约、协议演示、标准向量与资源回归、可复现基准。
另一个Codex代理独立只读审阅并指出示例编译错误与子树查询整树初始化成本，均据实修正；
这不是人工审核。命令结果与工具链限制保留在本轮私有交付证据，不沿用历史通过记录。
未公开push/PR/发包/报名，不冒充本人申报或保证获奖。

本工程由 Codex 根据用户选题与边界要求，协助设计接口、阅读规范、生成和修改
MoonBit 实现、CLI、测试、Python 差分/验收脚本与文档，并在本机真实执行验证。
不宣称代码或文档为用户手写，不虚构人工 review、远端 CI 或发布状态。
2026-10-12云端补强由Codex协助，独立检出公开HEAD 323a3728…，设计实现输入派生树，
补规范ETag场景、预算/歧义/跨度回归及事实文档；另一个Codex代理独立只读审阅，
不是人类审核。新增API未发布未push，本轮未提交/修改表单或发送邮件。
工具链建立及新验证见docs/INPUT_TREE_REVIEW.zh-CN.md，不沿用历史通过记录。

独立 oracle 指不同算法与运行实现（Python 标准库正则引擎），不是独立人类或 AI reviewer。
代码与测试可能有共同盲点；差分范围与未测项已列出。

提交按实际工程阶段生成，未使用空提交、回填日期或机械拆分制造数量。
初始化与技术开发开始于 2026-09-30，当时尚未申报；用户随后反馈初审未过，剩余次数未知。
是否属于十月有效新增贡献由赛事组判断，
不能通过调整 commit 日期制造十月记录。用户须理解实现并完成本人最终申报书。

历史规则记录有“申报书务必人工撰写”要求，本轮没有重核章程全文。docs/TECHNICAL_FACTS.md 仅为 AI 辅助事实清单，
不属于可冒充人工的最终 Proposal。未填写表单、签署承诺或处理身份证/银行卡/学籍材料。

发现并修复：CLI 的 JS FFI 初版用 null 表示 Optional 失败，但锁定编译器实际用
undefined；真实进程测试的缺失文件分支暴露该问题，修复实现后保持原回归标准。
AST 预算从元素计数修正为实际节点计数，防止组合节点漏计。
10/1 续查发现 FIFO 可能在 fstat 检查前阻塞；改为 O_NONBLOCK 打开并补真实 FIFO 回归。
10/1 按已核 LogLens 退回原因补复用审查、独立候选包消费者与四后端断言；代码和审查文档均 AI 辅助。
消费脚本早期参数/消费者编译失败日志保留；修正后断言不变，没有用成功输出伪造测试。
用户随后条件批准 GitHub 公开及 Mooncakes 正式发布。发布准备、账号/同名核验、命名空间调整、
CI 验证和独立注册表消费者同样由 Codex 协助；不读取凭据文件、不生成 token，不冒充人工审核。