evidence report: list the runtime rules each program exercises, with their calibration status
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
- 25/100
Hướng nghiên cứu
Start with the coverage instrumentation in cobolrt and the det sweep, since the issue says rule usage should be recorded there, keyed by rule ID. Then find where the evidence report is generated per program and how evidence-record staleness is computed. Done means each program's report lists the rules it executes with their calibrated, assumed, or declared-difference status, and a change to the rule set marks existing evidence records stale.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
What. Record which catalogue rules a proof actually executes (coverage instrumentation in cobolrt, keyed by rule ID). Show per program: the rules used, and how many are z/OS-calibrated, assumed, or declared differences. For example: "uses 37 rules: 35 calibrated, 2 assumed (C11, C14)".
Why. This turns the oracle caveats into a per-program, buyer-readable statement. It's the core differentiator: a runtime that carries its own evidence.
Acceptance.
- Rule usage is recorded by the det sweep.
- The rule list is shown in the evidence report per program.
- Evidence-record staleness accounts for rule-set changes.
Part of the cobolrt-as-a-product epic (linked from the epic). Owner-approved direction, 2026-10-08.
🤖 Generated with Claude Code
- Ngôn ngữ chính
- Python
- Star
- 57
- Fork
- 11
- Merge trung bình
- 1 giờ 42 phút
- Pull request đã merge (30 ngày)
- 966
Chuẩn bị môi trường
- Không có Dockerfile hay tệp Docker Compose
- Có mẫu pull request
- Đọc hướng dẫn đóng góp
Bắt đầu từ đâu
- Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
- 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.
- Fork repository và làm thay đổi trên một nhánh.
- Mở pull request có tham chiếu số hiệu của issue.
Issue khác của squid-protocol/gitgalaxy
-
doc drift: wiki [1]Đang mởdocumentation
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 68/100
squid-protocol/gitgalaxy#8002 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
doc drift: skills [2]Đang mởdocumentation
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 78/100
squid-protocol/gitgalaxy#8000 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
doc drift: tests [1]Đang mởdocumentation
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 82/100
squid-protocol/gitgalaxy#8001 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
doc drift: rules and agents [1]Đang mởdocumentation
Độ khó 1/5 1-3 giờ Mức phù hợp với người mới 84/100
squid-protocol/gitgalaxy#7998 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
doc drift: skills [1]Đang mởdocumentation
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 78/100
squid-protocol/gitgalaxy#7999 ·
Maintainer thường phản hồi trong vòng 1 ngày
Tất cả issue của squid-protocol/gitgalaxy
Issue tương tự
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 77/100
-
needs-triage tooling
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 90/100
neilsh/stunt-reel#317 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 85/100
TandoorRecipes/recipes#4926 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 75/100
PyTomography/PyTomography#431 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
bug
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 74/100
igormcsouza/tether#278 ·
Maintainer thường phản hồi trong vòng 1 ngày