Apply the 2026-11-03 L5 rulings that #7495/#7496 merged without (undefined-by-ibm mutants, ZC01FILE short record, SEND LENGERR, ZECSPLT)

Cerrado
  • ¿Algo no está bien?
#7,607 1 comentario 0 reacciones 0 asignados Ver en GitHub

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
25/100
Tipo de issue
Nueva funcionalidad
Claridad
Bastante claro
Estado de actividad
Activo
Stack tecnológico
python
Área
security, tooling

Línea de trabajo

Start by reading the rulings linked in #7495 and #7496, then follow #7496’s “To resume ZECSPLT” steps and inspect the affected estates, data, and ledgers. Apply the rulings in separate PRs, update mainframe-evidence-policy rule 7 and the det_mutation verdict where specified, then rerun affected ledgers and ladder_refresh.py. Done means each ruling is reflected with the required evidence and the refreshed ledgers pass.

Escrito por el modelo de indexación a partir del texto del issue.

Descripción

claim:melek scope:core

Why

#7495 (CBSA) and #7496 (zECS) L5 revalidation merged at 16:55Z on 2026-11-03, at heads from before the 2026-11-03 rulings posted on them. #4628 was closed, so churn dropped the queued fix items. The merged content is the audit result, and it is conservative: programs lose L5 and open gaps stay open. The rulings still need applying:

  • Non-digit data in a numeric DISPLAY item (CBSA): a det_mutation verdict undefined-by-ibm (accounted, reported by name with counts, each entry citing the item and the input) for ab6f13f763, 0e4d7d1e73, eb7aa72523, bee9666e07. Add the extension line to mainframe-evidence-policy rule 7. Ruling: https://github.com/squid-protocol/gitgalaxy/pull/7495#issuecomment-6608089534
  • ZC01FILE 100-byte record (short-record-stale-zk): a valid input under RECORDSIZE(100 32700). Add the scenario and drop ZECS003 3c8bee1dba / 5b478174de if it kills them.
  • send-fail-lengerr (ECS001 b3aecad802): include it only if IBM documents SEND TEXT LENGERR for ECS001's actual operands; otherwise keep equivalent and rewrite the reason, citing the operand and the IBM page. Rulings 1-2: https://github.com/squid-protocol/gitgalaxy/pull/7496#issuecomment-6608090025
  • ZECSPLT: finish from origin/l5-reval-zecs-plt (114d72d48) per #7496's "To resume ZECSPLT" steps.

One PR per estate, data and ledgers (plus the small det_mutation verdict change). Re-run the affected ledgers, ladder_refresh.py. Evidence levels, not "proven".

Follows #4628, #7495, #7496.

Lenguaje dominante
Python
Estrellas
57
Forks
11
Merge medio
1 h 30 min
PR fusionados (30 d)
971

Preparar el entorno

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Más de squid-protocol/gitgalaxy

Todos los issues de squid-protocol/gitgalaxy

Issues similares

Más issues de Python

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.