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

已关闭
#7,607 1 条评论 0 个 reaction 已指派 0 人 在 GitHub 查看

维护者通常 1 天内回复

还没有人认领这个 Issue。

评估

难度
5/5
预计耗时
一周以上
新手友好度
25/100
Issue 类型
功能
描述清晰度
基本清楚
活跃度
活跃
技术栈
python
领域
security, tooling

调研方向

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.

由索引模型根据 Issue 内容生成。

描述

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.

主要语言
Python
星标
57
派生
11
平均合并
1 小时 30 分钟
30 天内合并 PR
971

环境准备

从这里开始

  1. 先读完整个 Issue,再读项目的贡献指南。
  2. 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
  3. Fork 仓库,在一个分支上完成修改。
  4. 提交 Pull Request,并在描述里引用这个 Issue 编号。

squid-protocol/gitgalaxy 的其他 Issue

查看 squid-protocol/gitgalaxy 的全部 Issue

相似的 Issue

更多 Python Issue

把新 issue 发到你的邮箱

精选适合新手参与的 GitHub issue 摘要。