uint and int refuse values past the JavaScript safe-integer ceiling
还没有人认领这个 Issue。
评估
调研方向
Start with src/compact_encoding/integer.py and read how MAX_SAFE_INTEGER is applied to integer codecs. Run the conformance cases int-past-range, int-past-range-min, uint-decode-ceiling, and uint56-decode-ceiling. Done means Python integers beyond the JavaScript safe-integer ceiling encode and decode according to the expected corpus results instead of being refused.
由索引模型根据 Issue 内容生成。
描述
Found by running the compact-encoding-test conformance corpus against this port.
uint, int and the fixed-width codecs refuse values above 9007199254740991, the largest integer a JavaScript double holds exactly:
import compact_encoding as c
c.encode(c.int, 4503599627370496) # ValueError: integer is greater than the maximum safe integer
c.uint.decode(c.State(bytes.fromhex('ff0000000000002000'))) # ValueError: uint is greater than the maximum safe integer
c.uint56.decode(c.State(bytes.fromhex('00000000000020'))) # ValueError: uint is greater than the maximum safe integer
The ceiling comes from MAX_SAFE_INTEGER in src/compact_encoding/integer.py, mirroring the reference. The corpus treats it as the reference's limit rather than the format's: per holepunchto/compact-encoding-test#120 and #128, int writes 4503599627370496 as ff0000000000002000 and -4503599627370497 as ff0100000000002000, and both decodes return 9007199254740992. An implementation may refuse a value its number type cannot hold (the unrepresentable outcome), but Python's int holds all of them, so the refusal is a divergence (holepunchto/compact-encoding-test#19).
The corpus cases are int-past-range and int-past-range-min (rule signed-range), and uint-decode-ceiling and uint56-decode-ceiling (rule decode-ceiling).
- 主要语言
- Python
- 星标
- 1
- 派生
- 1
- PR 合并指标
- 30 天内没有已合并 PR
环境准备
这个项目没有提供开发容器、Dockerfile 或贡献指南，环境需要你自己搭建：先看它的 README，通用步骤见我们的新手贡献指南。
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
holepunchto/compact-encoding-python 的其他 Issue
-
难度 2/5 1-3 小时 新手友好度 75/100
-
难度 2/5 1-3 小时 新手友好度 74/100
查看 holepunchto/compact-encoding-python 的全部 Issue
相似的 Issue
-
bot-triaged module: LrScheduler module: optimizer triaged
难度 2/5 1-3 小时 新手友好度 70/100
维护者通常 1 天内回复
-
documentation glm5 llm-model
难度 2/5 1-3 小时 新手友好度 78/100
vllm-project/vllm-ascend#19062 ·
维护者通常 1 天内回复
-
author-page correction
难度 2/5 1-3 小时 新手友好度 68/100
acl-org/acl-anthology#10496 · 1 条评论 ·
维护者通常 1 天内回复
-
Issue Type: Bug Report
难度 2/5 1-3 小时 新手友好度 82/100
维护者通常 1 天内回复
-
enhancement good first issue
难度 2/5 1-3 小时 新手友好度 76/100
SasanLabs/VulnerableApp#836 ·
维护者通常 1 天内回复