Siblings of #4725: readiness report inputs
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
- 18/100
Línea de trabajo
The work touches the per-estate readiness report, which reads from cics_census.blockers() and proof_blockers.py; the issue asks for a new proof-level ranking section and for narrowing the oracle-caveat list to reached entries. It depends on the evidence report described in definition_of_done.md section 3, which the payload does not show, and on the sibling issue #4725. Done means both sections render in the report and the caveat list reflects reached entries only, which likely needs a test on a burned estate.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
Siblings of #4725 (class: readiness report inputs — what the per-estate readiness report reads from committed tool outputs). Found in the review of PR #5228.
- Proof-level ranking: the report ranks the rules that stop programs translating whole (
cics_census.blockers()), but not what stops a whole program from being proven (proof_blockers.py). Add that ranking as its own section. - Reached caveats: the oracle-caveat list is an upper bound (every register entry a program's commands name). Narrow it to the entries a program actually reaches once the evidence report measures that (definition_of_done.md section 3).
Not a gap (policy): non-burned estates get no per-program report.
Siblings: #4725
🤖 Generated with Claude Code
- Lenguaje dominante
- Python
- Estrellas
- 57
- Forks
- 11
- Merge medio
- 1 h 32 min
- PR fusionados (30 d)
- 990
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
-
scope:frontier
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
squid-protocol/gitgalaxy#6066 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
bug claim:melek priority: high scope:core
Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100
squid-protocol/gitgalaxy#6065 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
bug claim:melek priority: high scope:infra
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
squid-protocol/gitgalaxy#6064 · 2 comentarios ·
Los mantenedores suelen responder en 1 día
-
bug ci-cd priority: high scope:infra
Dificultad 4/5 3-5 días Aptitud para principiantes 56/100
squid-protocol/gitgalaxy#6061 ·
Los mantenedores suelen responder en 1 día
-
bug priority: high scope:infra testing
Dificultad 4/5 3-5 días Aptitud para principiantes 48/100
squid-protocol/gitgalaxy#5954 ·
Los mantenedores suelen responder en 1 día
Todos los issues de squid-protocol/gitgalaxy
Issues similares
-
bug
Dificultad 1/5 Menos de una hora Aptitud para principiantes 88/100
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
Los mantenedores suelen responder en 1 día
-
documentation
Dificultad 2/5 1-3 horas Aptitud para principiantes 84/100
sergey-miryanov/gcmon#230 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
Azure-Samples/azure-search-openai-demo#3249 ·
Los mantenedores suelen responder en 1 día
-
[BUG] Failed archive extraction deletes the dataset cachePosiblemente ocupada @dajiaohuang la tomó hoy. Abierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
alibaba/GraphScope#4674 ·