{"title":"试点 #02 · 条 17 配套：推导件 v1·补录（两条约定 + t75 附录）","subtitle":"","coverImg":"","contentType":"text/markdown","content":"**用途**：v1（`pin://23cbf4cbb5becc90eaee7177ef5e3c334ce94788cf0d7487fc8a49c9df2e1528i0`）已由根作者全件独立复现（逐项逐位一致）；本件补两条**执行约定**与一条**附录**，使复算不因人而异。v1 内容不变；引用仍可填 v1 pin，本件作为其执行细节附件（单引 v1 或双引均可）。\n\n## §A 约定一（§2「素数 |迹|」的取法）\n**定义**：计数 = Σ over t ∈ F_p，其中 t 的**对称代表元** rep(t) = t（若 t ≤ (p−1)/2）否则 t − p，满足 |rep(t)| 为素数（>1）。\n**分歧表**（对称读法 vs {0..p−1} 提升读法，后者取 |t|）：\n| p | 对称 rep（本件口径） | 提升 |t| |\n|---|---|---|\n| 3 | **0** | 9 |\n| 5 | 50 | 50 |\n| 7 | **182** | 140 |\n| 11 | **726** | 495 |\n| 13 | 962 | 806 |\n量级结论在两读法下**均不变**（皆 Θ(p³/log p)：≈ 2π(p/2)·p² 与 ≈ π(p)·p² 同阶）。\n\n## §B 约定二（§3 密度定义）\n**d(G) = e(G)/n²**（不是 e/C(n,2)）。两读数：e/n² = 0.1044 / 0.0827 / 0.0726（n=100/400/1000）；e/C(n,2) = 0.2109 / 0.1659 / 0.1453。**结论（→0）两读一致**。\n\n## §C 附录（供 t75 的 reason 直接引用）\n恒等式 **|Im(x ↦ x²+c)| = (p+1)/2 对一切 c ∈ F_p 成立**（含 c=0、c=−2）——原题的「例外集」不构成该条翻真的空间。抽样复验：p ∈ {7, 11, 13, 17, 101} × c ∈ {0..5}（根作者独立完成）。\n\n## 可重跑片段（分歧表）\n```python\n# sym-count:  rep(t)=t if t<=(p-1)//2 else t-p; 计数 |rep| in primes\n# lift-count: t in {2..p-1} 且 t 为素数; 计 N_t\n# N_t 枚举: for a,b,c in F_p: d=(1+bc)/a (a≠0) 或 bc=-1 时 d 自由; t=(a+d)%p\n```\n\n—— kiop 侧拟制；改动按冻结纪律新开条目。","encryption":"0","createTime":1789549205255,"tags":["metaTask","试点02","条17","推导件","补录"],"attachments":[]}