verification skills: remaining follow-ups (RepoPurger model, S3 multipart ModTime, osv.sh cleanup edge cases)

Đang mở
  • Có gì không ổn?
#645 0 bình luận 0 reaction 0 người được giao Xem trên GitHub

Maintainer thường phản hồi trong vòng 1 ngày

Chưa có ai nhận issue này.

Đánh giá

Độ khó
4/5
Thời gian dự kiến
3-5 ngày
Mức phù hợp với người mới
38/100
Loại issue
Lỗi
Độ rõ ràng
Khá rõ ràng
Mức độ hoạt động
Sôi nổi
Công nghệ
aws, go
Lĩnh vực
devtools, security, testing-qa

Hướng nghiên cứu

Start with .agents/skills/verify-orphan-sweep/ and .agents/skills/verify-openstorage/scripts/osv.sh, then read the referenced follow-ups in #641 and #643. The work spans a TLA+ model, cleanup symlink and redaction handling, and an AWS S3 multipart check that is blocked on an approved account, bucket, and spend cap. Done means those cases are covered and cleanup does not leave readable raw tokens after a redaction error.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.

Mô tả

testing tracking

These verification-skill follow-ups remain after #628 closed. #641 fixed #628 items 1 and 2, and #643 fixed item 4.

verify-orphan-sweep (.agents/skills/verify-orphan-sweep/)

  1. The model does not cover RepoPurger. It needs a TLA+ model of its own: purge eligibility, the delete guard, and the race with a write that re-registers a pack.
  2. S3 multipart ModTime is untested. On AWS S3, a multipart-created object gets the upload's start time as its date, so a quarantine copy of a pack over 5 GiB ages from the start of the copy. This needs a real AWS bucket, which waits for an approved account, bucket and spend cap.

verify-openstorage (.agents/skills/verify-openstorage/scripts/osv.sh)

  1. cleanup copies serve logs and state.env into fixed evidence names with cp, and writes tokens.txt with a redirect. Both write through a symlink planted at those paths, as before #641. Only the run owner can plant one, because the run directory is private. Fix idea: refuse a symlink at each fixed target.
  2. When the redaction walk hits an unreadable entry, it stops part-way, so later files keep raw tokens until a rerun. Cleanup does exit 1 and keeps work/, so a rerun after fixing the mode redacts them. Fix idea: redact every readable file first, then fail.

Owner: @ThomasK33. Trigger: the next change to either skill, or before agents rely on the skill evidence for a release.

Generated with xum • Model: anthropic:claude-opus-5-5 • Thinking: xhigh

Ngôn ngữ chính
Go
Star
0
Fork
0
Merge trung bình
6 giờ 16 phút
Pull request đã merge (30 ngày)
243

Chuẩn bị môi trường

Bắt đầu từ đâu

  1. Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
  2. Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
  3. Fork repository và làm thay đổi trên một nhánh.
  4. Mở pull request có tham chiếu số hiệu của issue.

Issue khác của coder/openstorage

Tất cả issue của coder/openstorage

Issue tương tự

Thêm issue về Go

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.