atomic-write no-op 증명은 inode 비교로
中文简介正在准备中。当前显示原文说明。
zzunkie/yardlet182026年10月19日 更新
contract-gate-parity-check
中文简介正在准备中。当前显示原文说明。
查看安装方法安装前可以查看交给 AI 代理的指令内容。
계약 문서가 runnable/승인/안전 판정 조건 목록을 명시하면, fixture나 구현의 판정 predicate를 조건 단위로 1:1 대조하라. 각 조건의 좌변 필드명을 grep해 predicate 코드에서 실제로 읽히는지 확인하고, 읽히지 않는 필드는 변조 반례(기대: 판정 거부)로 재현 절차를 남겨라. digest가 저장 문자열인 fixture에서는 digest 검사가 linkage 변조를 잡지 못하므로 id 등가 조건을 생략하면 안 된다.
还没有评价。欢迎分享你的使用感受。
无需登录即可发表。欢迎分享使用感受、提问,或说明在哪些环境下无法运行。
还没有评论。来写第一条吧。
atomic-write no-op 증명은 inode 비교로
中文简介正在准备中。当前显示原文说明。
availability 표시 게이트는 실행 의미 공급자와 교차 대조
中文简介正在准备中。当前显示原文说明。
base 전진 시 retained worktree diff의 3-way 재이식
中文简介正在准备中。当前显示原文说明。
builtin-bundle-reverify
中文简介正在准备中。当前显示原文说明。
builtin-bundle-reverify에 CLI fixture leg 절차 추가
中文简介正在准备中。当前显示原文说明。
codex CLI 플래그 실재는 설치된 바이너리 help로 검증
中文简介正在准备中。当前显示原文说明。