Equivalence harness gaps that block the L1->L4 ladder: abend injection, SEND/RECEIVE/RETURN/SYNCPOINT/DELAY faults, CEEDAYS, X6 WRITEQ
Los mantenedores suelen responder en 1 día
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 5/5
- Tiempo estimado
- Más de una semana
- Aptitud para principiantes
- 24/100
Línea de trabajo
Read the equivalence harness and its fault/model assumptions, then inspect tests/equivalence/infeasible_outcomes.json and the #6072 programs cited for each gap. Start by choosing one checkbox-sized slice and tracing the relevant harness entry points and existing tests. Done means the harness records the fault or model, includes a test, and reports before/after coverage for the unblocked programs in the PR.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
Why
The L1->L4 ladder (#6072) keeps ending at the same equivalence-harness limits rather than at missing scenarios: about 8 of the 33 ladder worker runs on 2026-10-22/23 stopped on one of the gaps below, and each run rediscovered it. Until the harness can inject or model these, the branches behind them can only be stated infeasible (when truly unreachable) or stay open.
Gaps (one checkbox = one slice; each cites the runs that hit it)
- Abend injection: no way to make a called program / CICS command ABEND (incl. VSAM RLS abend) so
HANDLE ABEND/ abend paragraphs run (churn runs 6072-20261023T0128Z, 0354Z, 0448Z) - Failing SEND MAP / RECEIVE MAP / RETURN / SYNCPOINT: no RESP fault for these commands (0448Z)
- DELAY fault (CBSA CRDTAGY1-5: the paragraphs behind a failed DELAY; 0128Z)
- CEEDAYS model: CSUTLDPY date paragraphs in COACTUPC (90/95) need it (1553Z); stays within the CEEDAYS owner rulings (CRECUST stays refused)
- Judging past an X6-refused WRITEQ (1701Z)
- Paragraph-level infeasible outcomes in tests/equivalence/infeasible_outcomes.json (branch-level only today): CBPAUP0C
6000-EXITwas rediscovered in 5+ runs, CRDTAGY paragraphs stuck the same way (being added by the infeasible-outcomes tooling slice queued under #6072)
Acceptance
Each slice: the harness states the fault/model (oracle_assumptions entry where IBM documents the behaviour, refused by name where it does not), a test, and the #6072 programs it unblocks re-measured with before/after coverage in the PR body. Burned estates only; evidence levels, not "proven".
Part of #6072.
- Lenguaje dominante
- Python
- Estrellas
- 57
- Forks
- 11
- Merge medio
- 1 h 20 min
- PR fusionados (30 d)
- 985
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
-
claim:nyx enhancement priority: high scope:infra
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
squid-protocol/gitgalaxy#6278 · 3 comentarios ·
Los mantenedores suelen responder en 1 día
-
claim:nyx core-engine lane:nyx needs:doom-corpus priority: high scope:frontier
Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100
squid-protocol/gitgalaxy#6266 · 6 comentarios ·
Los mantenedores suelen responder en 1 día
-
claim:nyx enhancement scope:sweep testing
Dificultad 4/5 3-5 días Aptitud para principiantes 38/100
squid-protocol/gitgalaxy#6262 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
scope:infra security
Dificultad 4/5 3-5 días Aptitud para principiantes 25/100
squid-protocol/gitgalaxy#6239 ·
Los mantenedores suelen responder en 1 día
-
scope:sweep
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
squid-protocol/gitgalaxy#6166 · 2 comentarios ·
Los mantenedores suelen responder en 1 día
Todos los issues de squid-protocol/gitgalaxy
Issues similares
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 84/100
-
bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 77/100
AstrBotDevs/AstrBot#10720 ·
Los mantenedores suelen responder en 1 día
-
fix(xiaomi): curated picker list still offers six ids that return 400 (plan-limited vs retired)Abiertocause/upstream comp/cli P2 provider/other tool/file type/bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
NousResearch/hermes-agent#143900 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 1/5 1-3 horas Aptitud para principiantes 85/100
WLAN-Pi/wlanpi-profiler#341 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 77/100
Los mantenedores suelen responder en 1 día