evidence report: list the runtime rules each program exercises, with their calibration status
Los mantenedores suelen responder en 1 día
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 4/5
- Tiempo estimado
- 3-5 días
- Aptitud para principiantes
- 25/100
Línea de trabajo
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.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
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
- Lenguaje dominante
- Python
- Estrellas
- 57
- Forks
- 11
- Merge medio
- 1 h 35 min
- PR fusionados (30 d)
- 975
Preparar el entorno
- Sin Dockerfile ni archivo de Docker Compose
- Tiene una plantilla de pull request
- Leer la guía de contribución
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de squid-protocol/gitgalaxy
-
bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 76/100
squid-protocol/gitgalaxy#7827 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
scope:frontier
Dificultad 5/5 Más de una semana Aptitud para principiantes 18/100
squid-protocol/gitgalaxy#7900 ·
Los mantenedores suelen responder en 1 día
-
core-engine scope:infra testing
Dificultad 4/5 3-5 días Aptitud para principiantes 54/100
squid-protocol/gitgalaxy#7863 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
enhancement
Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100
squid-protocol/gitgalaxy#7834 ·
Los mantenedores suelen responder en 1 día
-
bug
Dificultad 4/5 3-5 días Aptitud para principiantes 56/100
squid-protocol/gitgalaxy#7828 · 1 comentario ·
Los mantenedores suelen responder en 1 día
Todos los issues de squid-protocol/gitgalaxy
Issues similares
-
bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
micropython/micropython#19906 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 82/100
FinanceFlash/unvibecode#597 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 65/100
TomAnthony/YourOwnWeigh#21 ·
Los mantenedores suelen responder en 1 día
-
[BUG]: Compliance rules never see Unity Catalog views as viewsPosiblemente ocupada @wagnercsantos la tomó hoy. Abierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
databrickslabs/ontos#1348 ·
Los mantenedores suelen responder en 3 días
-
Deprecated datetime.utcnow() is called on every log line (DeprecationWarning on Python 3.12+)Abierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
Los mantenedores suelen responder en 2 días