atomic-write no-op 증명은 inode 비교로
The English summary is being prepared. Showing the original description.
zzunkie/yardlet18Updated Oct 19, 2026
FreePublished on GitHub
contract-gate-parity-check
contract-gate-parity-check
The English summary is being prepared. Showing the original description.
See how to installFiles included (1)
- SKILL.md595 B
SKILL.md (original)
Review the instructions the agent will receive before you install.
계약 문서가 runnable/승인/안전 판정 조건 목록을 명시하면, fixture나 구현의 판정 predicate를 조건 단위로 1:1 대조하라. 각 조건의 좌변 필드명을 grep해 predicate 코드에서 실제로 읽히는지 확인하고, 읽히지 않는 필드는 변조 반례(기대: 판정 거부)로 재현 절차를 남겨라. digest가 저장 문자열인 fixture에서는 digest 검사가 linkage 변조를 잡지 못하므로 id 등가 조건을 생략하면 안 된다.
Reviews
No reviews yet. Tell others what you thought.
Comments
No login needed. Share how it worked for you, ask a question, or note where it did not run.
No comments yet. Be the first to write one.
More skills from this repository
availability
Freeavailability 표시 게이트는 실행 의미 공급자와 교차 대조
The English summary is being prepared. Showing the original description.
zzunkie/yardlet18Updated Oct 19, 2026
base 전진 시 retained worktree diff의 3-way 재이식
The English summary is being prepared. Showing the original description.
zzunkie/yardlet18Updated Oct 19, 2026
builtin-bundle-reverify
The English summary is being prepared. Showing the original description.
zzunkie/yardlet18Updated Oct 19, 2026
builtin-bundle-reverify에 CLI fixture leg 절차 추가
The English summary is being prepared. Showing the original description.
zzunkie/yardlet18Updated Oct 19, 2026
codex-cli-help
Freecodex CLI 플래그 실재는 설치된 바이너리 help로 검증
The English summary is being prepared. Showing the original description.
zzunkie/yardlet18Updated Oct 19, 2026