Conversation
* docs(governance): 仓库治理实施计划（本地配置/ruleset/签名/端到端验证 9 任务） * chore(governance): jj main bookmark 保护 * chore: .superpowers/ 加入 gitignore（SDD 工件目录） * chore(governance): jj SSH 提交签名（sign-all） * feat(governance): 铁律 #2 git 拦截 hook（.claude/settings.json + block-git.py） * chore(governance): settings.local.json 移除 Bash(git *) 允许项 * docs: CLAUDE.md 版本控制流程段（GitFlow 工作流命令） * chore(governance): 创建 develop 集成分支（GitFlow） * feat(governance): ruleset 配置脚本（main/develop，evaluate 模式，双路径） * feat(governance): ruleset 落地——main/develop 双 ruleset active + schema 修正 + 免费计划偏差记录（evaluate→active、merge_queue 降级） * fix(governance): 最终审查修复——merge queue 措辞降级为手动合入（CLAUDE.md/CONTRIBUTING/spec §7）+ §3.3/§12 补记 + plan Task 7 注 + ci.yml 注释 + run.sh 健壮性 * chore(diag): 最小工作流连通性测试 * fix(ci): 移除 merge_group 触发——merge_group 工作流仅限默认分支注册且 merge queue 已降级，恢复条件写入注释 * chore(diag): ci.yml 注释 ASCII 化测试 * chore(diag): ci.yml 最小骨架测试（pull_request 触发） * chore(diag): ci.yml 纯 push 触发测试 * chore(diag): 判别——工作流名 CI vs 文件名 ci.yml * fix(ci): 工作流文件改名为 core-ci.yml——ci.yml 文件名在 GitHub 侧注册异常（同内容同名不同文件名的对照实验证实），诊断文件清理 * chore(diag): core-ci 最小 pull_request 骨架 * chore(ci): 清理诊断残留与 opencode 工件（快照卷入）；core-ci.yml 恢复完整内容 * chore(ci): core-ci.yml 恢复完整内容（矩阵 + run.sh 分发） * chore(diag): ruleset 禁用测试（验证注册同步是否被规则阻塞）
* docs(governance): 收尾——自批表述修正为 B 流程 + §3.3 机制发现补记 + §12 状态更新 * chore(ci): checkout SHA pin（sha_pinning_required 已强制）+ Actions 策略收紧（select actions/只读 token）
- docs/crasm.md: 特权级安全模型改版——硬件描述表（标准表/厂商表/表外）自动验证，unsafe 只管表外入口 - docs/pointer-model.md: unsafe 表删类型双关行（图只认字节可推导）；新增类型双关节；2026-08-10 设计定论（不扩展 0x 直接指内部地址，YAGNI） - TODO.md: 预存 bug 7 类型双关验证缺口（DEREF 宽度检查 + asp 无主机制）
- docs/spec-design.md 改版：v1 语言层完整保留，新增 v2 验证器架构（翻译桥/CIC 双通道/函数类型归属/用户入口分层/规约的回报-证明驱动优化） - docs/verifier-kernel.md 新增：理论谱系对比 + 2025-2026 论文扫描 + 融合架构（CIC 内核 + HoTT 库层 + McTT 验证 + 证书形态） - 全仓库 .md 清理 emoji（✅⏸⚠ 等）
- float：字面量（IEEE754 位模式）/ 算术（SSE2）/ 比较 / 转换 / 参数（XMM0-7）/ 打印 - 修复越界检查链：ptr_analysis ADDR_INDEX offset 传播、alloc pts 独立位、 STORE 传播（d=-1 永不执行）、IR_DEREF 编码 3 错、provenance 诊断不拦截、 region_check 位号语义错（B11 误报） - 修复 alloc 死循环（jbe 偏移 +17）、栈帧 16 字节对齐（SysV） - 修复 .ccr s1 截断 32 位（大常量/float 位模式静默损坏）+ buf_read_i64 高位丢失 - 审查/实现记录：docs/compcert-reference.md、TODO.md、docs/coq/、coq/fmt_int.v
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
包含
验证