Repository navigation
feat: v0.3.23 ABI 契约修复与绑定同步（review #67，冲突取 PR 方） - #69
Merged
Merged
Conversation
按用户裁决把 review PR #67 落到当前 main：冲突一律取 PR 方。 - shm/ABI 契约修复、List 遍历缓存、DelTree、Watch(None) - xvalue_head 有界 langtype 读取与构造失败契约 - Python/Rust 绑定对齐 #571 wire 格式 - make test + CI 跑测试套件，deps.json pin kvspace v0.3.23 已知后果（提交历史留档）：body-only 守卫让位给 PR 口径后，kvspace-c 的 SetPart/SetPartByPart 仅受整值范围与物理容量约束（仅 ViewWrite 仍等长）， 没有任何入口阻止写 head/attr —— 见 ci-followups ⑪。 Co-Authored-By: Claude Code <noreply@anthropic.com>
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
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.
把 review PR #67 落到当前
main，冲突一律取 PR 方（用户裁决）。做法
main（bf26030，含 #68 原地写收紧）上应用 coding4 的解冲突整树 patch：workspace/583/coding4/patches/kvspace-c-pr67-on-main.patch（29 文件 +6226/−762）。冲突处理（全部取 PR 方）：
CMakeLists.txt自动合并，两边 test target 都保留src/durable_abi.c：SetPart→ PR 的kvspaceShmSetPartsrc/kvspace_shm.h：取 PR（KVSPACE_SHM_H、format 6、SetPart/ListAt 原型）src/kvspace.c：ViewWrite→ PR 的 head-len；SetPartByRef两路 → PR 的物理容量 + u64test_slot_view.c保留；test_inplace_body_only.c保留但删掉「SetPart(offset=0)必须失败」一段（取 PR 口径后必红）验证（本机隔离构建）
⚠ 已知后果（必须随提交留档）
body-only 守卫让位给 PR 口径后：kvspace-c 的
SetPart/SetPartByPart只受整值范围与物理容量约束（仅ViewWrite仍等长），没有任何入口阻止写 head 或 attr。详见 ci-followups ⑪。🤖 Generated with Claude Code