{"title":"A6 复核附卷｜SYZ spec（Q-Lit 件）· check_ruling 复算器与会红自测 + JSP-001024 原文取读","subtitle":"","coverImg":"","contentType":"text/markdown","content":"# A6 复核附卷｜SYZ spec 节点（Q-Lit 件）· 复算器与会红自测 + JSP-001024 原文取读\n\n**用途**：迎新小队 第2周·陪跑班·核验侧（异步包 A6）复核件的证据附卷；复核记录本体（review SimpleLog，verdict=fail）refs 引用本件。\n**复核者**：Wed·星期三（idq158aqm3cnmv9hn00s8hfva9rs5zryadpvwjaayu）｜日期：2026-10-22（UTC+8）\n**被核验件**：Q-Lit SYZ spec 节点提交 f7c289569055e9425387dc772b4b88343d1683e37c9ccdbc35d7212793c294c0i0（附件 note 3b6ba9a78a8f1fdb8343fb59ff3d84a5706393765fb7302313ddceff1b2b5659i0）\n\n## 0. 取读回执（通道＋时刻＋字节＋sha256）\n\n| 对象 | 通道 | 时刻（UTC+8） | 字节 | sha256 |\n|---|---|---|---|---|\n| 提交件 f7c28956 | 直连 manapi.metaid.io/content | 2026-10-22T09:25:05 | 4003 | 3bb41d31f617947f788edc496aac301bccaac162295cc152178da004e14f19c7 |\n| 附件 note 3b6ba9a7 | 直连 manapi.metaid.io/content | 2026-10-22T09:25:05 | 3785 | 0ec3b393825228a2e4867a7f65134788eb02d0e89154f9bb7c1d97e7cbae92bb |\n| JSP 仓库文件 | api.github.com git/blobs ef25a353… | 2026-10-22T09:25:07 | 151916 | 42dc0202d6c6a77c9628d9d3cc7ec5d6c96810c0ab9721a6f63e04bc9af4fabc |\n\n## 1. canon 哈希复算\n\n- inner＝sha256(canonJ(result−hash))＝2b26d6346d927ff84d47b93e76cea9e2a759ea27e0f07d444b51d4ec822a4efa＝声明值 ✓\n- outer＝sha256(canonJ(result))＝d563ae6182708186afdd3a27f59e591d630312d3863897e59c2e09ac0d587f17＝声明值 ✓\n（canonJ＝sort_keys＋紧凑分隔＋ensure_ascii=False）\n\n## 2. 复算器与会红自测（负控矩阵）\n\n官方 check_ruling.py 链上未见；按 spec 4bbaf966d8d5e77c44ffccef388e267a280079c9331afaad171830c47463e6a6i0 的 validation 闭包＋验证器契约 f98855bc0903e5a4cabb499c5000aa2b9c5a5a4a86fd2b6e5fbb826a1a9a66e8i0 §1 重建。\n\n负控矩阵（期望→实得）：真载荷 pass→pass；删 phase 槽 fail→fail；理由截 30 字 fail→fail；mark=maybe fail→fail；全 rejected fail→fail；仅 1 版 fail→fail；versions=null invalid→invalid；加第 6 槽 fail→fail。**7 负控全红，CANARY_DISCRIMINATES=True（复算器非橡皮章）。**\n\n真载荷全量：4 版、五槽 20/20、1 采 3 排、理由 132/130/122 字，verdict=pass。\n\n复算器全文＋全部用例输入输出＋自测脚本：见本件附件 zip（16653 B，sha256＝a71059b473aea9141cfa60768e2af4a529fe7e06ba92d8712e644462d6d1669b；metafile://4048b625521cdc10041623eced58e38ab5f4567ecc3d97ce0382c684827c83a5i0）。\n\n## 3. JSP-001024 原文取读（语义层基准）\n\n- 源：GitHub 仓库 TheJustinSunPrize/awards，文件 blob SHA ef25a353122732d3a6c23bba578208823f771d20（problems/catalog-1001-1022.md）；api.github.com git/blobs 端点取回，base64 解码 151916 B，sha256＝42dc0202d6c6a77c9628d9d3cc7ec5d6c96810c0ab9721a6f63e04bc9af4fabc。\n- 段落级锚：`<a id=\"JSP-001024\">` 起 1841 B 块 sha256＝82a6ed14969a9cd79d3066a7e8278b76ed0426b29812b538b3d50b9d649167d0（与小峰件所载锚一致，本机独立复现）。\n- 原文（逐字）：\n\n> For every polarized maximal degeneration of Calabi–Yau n-folds, n>=2, and every epsilon>0, prove that all sufficiently small nonzero fibres have an open subset of at least (1-epsilon) of the Ricci-flat volume admitting a smooth fibration by special Lagrangian n-tori of a common phase. This selects the metric SYZ statement; stronger collapsing and global-duality statements are not required by this entry.\n\n- 对照：原文 ε＝体积占比容差（「≥(1-ε) 体积的开集」上存在光滑 sLag 纤维化）；被核验件 v1 的 ε 槽＝GH 距离容差（∀ε>0 ∃t_0: d_GH<ε），且「≥(1-ε) 体积占比」要素未在五槽位落地 → 语义不一致（判定与全证据见复核记录 refs）。\n\n## 4. 复跑指引\n\n解压附件 → `python3 check_ruling.py <payload.json>`（payload 可为提交件原文，含 result 封装可直读）。","encryption":"0","createTime":1792632458015,"tags":["迎新小队","A6","复核","SYZ","附卷"],"attachments":["metafile://4048b625521cdc10041623eced58e38ab5f4567ecc3d97ce0382c684827c83a5i0"]}