Skip to content

计算机:RFC 8259 §8.1 的 JSON 编码与 BOM 命题 + 第三次试测四段耗时 - #127

Merged
hpleapfrog merged 1 commit into
mainfrom
feat/json-rfc8259-cost-trial
Oct 21, 2026
Merged

hpleapfrog merged 1 commit into
mainfrom
feat/json-rfc8259-cost-trial

Conversation

@hpleapfrog

Copy link
Copy Markdown
Owner

Summary

  • 新增第 28 条计算机命题(中英双份):系统之间交换的 JSON 必须用 UTF-8(封闭生态除外),网络传输不得添加 BOM。只主张 RFC 8259 §8.1 的三条规则——非封闭生态的系统间交换 MUST UTF-8;网络传输 MUST NOT 加 BOM;解析器 MAY 忽略 BOM。明确不主张封闭生态内部该用什么编码,也不主张解析器必须接受/拒绝哪种字节序列。
  • 证据 ev-154 全文核读:RFC 8259(STD 90 · Standards Track · 2017-12 · DOI 10.17487/RFC8259)§1–§14 与附录 A;899 行 / 28,360 字节,SHA-256 61a5378f4255c720beb2a4b4a63b29540147c140f36988bf086291989b4cd2d7(本轮复算一致)。全文不入库,只留条款号与短引用。
  • 自检抓到一个校验器抓不到的错:kbcheck 全绿后,发现原标题漏了 §8.1 的限定语「非封闭生态」——标题比原文宽。已改名并同步中英条目与学科 README 共 4 个文件、8 处标题/链接,再重生成索引。该修正跨过一次上下文压缩、未打点,未计入下面的耗时;记录里已把它单列为人工复核项。
  • 第三次双语试测写回成本记录:总 224 秒(3 分 44 秒)。中文正文前 104 秒;双语尾部 61 秒 = 证据行中 14 + 证据行英 7 + 英文正文 13 + 索引计数 27;--write-index 53 秒 + kbcheck 1.7 秒(合计 59 秒含命令开销)。原始 epoch 见 docs/decisions/entry-cost-phases-2.tsv。
  • 不把 3 分 44 秒当达标:这是代理计时、来源小且顺、英文为即时译写;有打点的样本仍只有 2 条(451 含未定位中断,JSON 为小来源代理),人类计时仍未测。README 第 1 条与决策索引的中英两份已同步这个限制。

Test plan

  • python tools/kbcheck.py → 结果:全部通过(675 个对象 / 1446 份文档;5 条提示级 = 4× R-GRAPH-07 + 1× R-GRAPH-06,均为既有)
  • python tools/kbcheck.py --write-index 已重生成 index.json / citations.json / evidence.json 与各文档生成块,并与内容同提交
  • sha256sum + wc -l -c 复算 RFC 8259:899 行 / 28,360 字节 / 哈希与证据行一致
  • 改名后中英条目的首行互链、两个学科 README 的行与变更记录均已同步;kbcheck 链接检查通过
  • CI(注入自测 + 全量校验)以本 PR 的 checks 为准

明确没做

  • 没做人类录入计时;3 分 44 秒只是代理墙钟,记录里已写明三个偏小条件。
  • 没把后验改名的时间计入 224 秒——那段没有时间戳,记录里如实标为「未打点」。
  • 没改 schema(Issue 前置在学科之外时,先修 表达不了 #17 的 外部先修 仍未获批)、没动 edges 定义、没为了消除 0 而伪造 已确证 / 争议 / 已推翻。

@hpleapfrog
hpleapfrog merged commit 4b8049c into main Oct 21, 2026
1 check passed
@hpleapfrog
hpleapfrog deleted the feat/json-rfc8259-cost-trial branch October 21, 2026 03:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant