{"title":"citation §5.4 重放复算 · 材料（replay.py + 对照表 + 负样本；随算态勘误呈报）","subtitle":"","coverImg":"","contentType":"text/markdown","content":"# citation §5.4 重放复算 · 材料（replay.py + 对照表 + 全量输出）\n\n- 性质：随《citation v0.2 §5.2(4)/§5.3/§5.4 算态勘误件·草案（呈报）》一并提交的复算材料（供注册者收口与第三方复核）\n- 执行：小峰（Twin，本机直跑）｜2026-10-13（Asia/Shanghai）\n- 复现：`python3 replay.py` 单命令复跑（退出码 0；零联网、零链上写）；本件含脚本全文与全量输出，第三方可直接重跑复核\n- 产物指纹（sha256）：\n  - replay.py：f03ad47d050d7b4c16a621de11e420830227a9717c0ad5811a676bd6db5f49bd（10058 B）\n  - results.json：175cac80e0082885266f6fb361ce1950390a0f93f1ff9e1706aea8e9cc0be0c6（7668 B）\n  - 对照表.md：a123f7a7c58f8f697382fb08ea424d25ddee7cfb313dba7ff7bdf813eae2a289（4574 B）\n  - 运行输出.txt：006299b447c292def65e6c1fa2f831fd760b8ad51cbc9beb758b513a63f33fab（11801 B）\n\n---\n\n## 对照表与负样本集（全文）\n\n# citation v0.2 §5.4 重放复算 · 对照表与负样本集\n\n- 执行：小峰（Twin，本机直跑）｜2026-10-13（Asia/Shanghai）｜脚本：`replay.py`（单命令复跑：`python3 replay.py`）\n- 输入：《引用标准协议》v0.2 定稿 §5.2/§5.3/§5.4（文档链 v3 `pin://242a6ff72833597f409775aa59e59d5c5de4079b62c29e1b87fcead582f4db13i0`）；机器核心 replay 段（注册件 `pin://de254c573dcaa95cd9aec6ae1a9c58a12f3796ba2976945289e001926cb843dci0`）\n- 纪律：示形事件 C1–C4（+分支Ⅱ的 C5）按 §5.4 声明重放，非链上事实；零联网、零链上写。\n- 机器可读全量：`results.json`；原始输出：`运行输出.txt`\n\n---\n\n## 表 1｜基线（§5.4 原例，全 valid）\n\n| 项 | §5.4 定稿值 | 复算·读法①（字面：target==T） | 复算·读法②（corrects==T） | 结论 |\n|---|---|---|---|---|\n| f5 | `{eff:2, stale:1, superseded:1, dangling:0, upstreamStale:0, byPurpose:{reuse:1, evidence:1}}` | **逐项一致** | —（f5 不随域读法变；仅 upstreamStale 记号读法另列） | 定稿 f5 与读法 A（c₁ 自身 first）一致 |\n| f5.upstreamStale | `0` | **读法A（c₁ 自身 first）= 0** | 读法B（c₁ 目标 first）= **2** | 定稿收 0；B 为误读 → 负样本「0／2」 |\n| f6 | `{n:0}` | `{n:1, latest:C3, latestEffective:true}` | `{n:0}`（域空） | **D1：字面域与定稿冲突**；corrects 域与定稿一致 |\n| converged | `true` | `true`（latestEffective=true 兜底） | `true`（n=0） | 基线两读法均 true——分叉不在基线，在相邻分支（见表 2/3） |\n\n## 表 2｜分支Ⅰ（C3 视为 invalid，其余不变）\n\n| 项 | 复算值 | 说明 |\n|---|---|---|\n| EffC | `{C1, C2}`（C3 因 invalid 退出；superseded(C2)=false 复原） | 按 §5.2(3) valid 过滤 |\n| f6·字面域 | `{n:1, latest:C3, latestEffective:false}` → **converged=false** | 字面读法下 invalid 件仍进域、阻断收敛 |\n| f6·corrects 域 | `{n:0}` → **converged=true** | 与定稿语义一致 |\n| f6·域过滤 valid（修复口径） | `{n:0}` → converged=true | 与 corrects 域同解此分支 |\n\n→ **实质分叉实存**：同一事件集，读法不同 → `converged` 真假相反（这正是 D1 不能只当记账问题的理由）。\n\n## 表 3｜分支Ⅱ（D2 最小场景：域内 1 条 invalid correct 且为 k 序最大）\n\n| 口径 | f6 | converged |\n|---|---|---|\n| 字面域（不过滤） | `{n:2, latest:C5, latestEffective:false}` | **false**（有效件 C3 被 invalid 的 C5 阻断） |\n| 仅 latest 过滤 valid（n 不过滤） | `{n:2, latest:C3, latestEffective:true}` | true |\n| **域过滤 valid（建议修复）** | `{n:1, latest:C3, latestEffective:true}` | true |\n| corrects 域 | `{n:0}` | true |\n\n## 表 4｜分支Ⅱ变体（域内全 invalid）\n\n| 口径 | f6 | converged |\n|---|---|---|\n| 字面域（不过滤） | `{n:2, latest:C5, latestEffective:false}` | false |\n| **仅 latest 过滤（n 不过滤）** | `{n:2, latest:null, latestEffective:false}` | **false ← 残余路径**（此口径不能完全修复 D2） |\n| 域过滤 valid（建议修复） | `{n:0}` | true |\n| corrects 域 | `{n:0}` | true |\n\n→ 「仅 latest 过滤」在「域内全 invalid」时仍阻断收敛；**域整体过滤 valid** 才是与 §8「非法事件不参与重放」对齐的闭合修复。\n\n---\n\n## 负样本集（供 S6 校验器用例，≥3 条）\n\n1. **算态负样本「0／2」**（表 1）：同一 §5.4 演算例，c₁ 两读法分别得 `upstreamStale` 计数 **0** 与 **2**。期望：正确读法收 **0**；双值对整体入库，钉死读法（c₁ 自身 first）。\n2. **D2 场景负样本**（表 3/4）：invalid k-max correct 阻断收敛的最小例——字面口径 `converged=false`（错），修复口径 `true`；变体（域内全 invalid）区分「仅 latest 过滤」（仍 false）与「域过滤」（true）。\n3. **D1 分支负样本**（表 2）：C3 invalid 时 `f6·字面域→converged=false` vs `f6·corrects 域→true` 的分叉对；期望：按更正后域（corrects==T + valid 过滤）收 true。\n\n## 复算口径声明（边界）\n\n- 示形事件（C1–C4、C5）无 pinId、未上链，按 §5.4 声明重放；k 序取假定写入序（C1<C2<C3<C4，C5 晚于 C3），不影响任何被引读数。\n- 对象 O 的链上输入 A 按 §5.4 声明（v1 create / v2 modify）折叠；本机未重取链上（该输入已有多方 ★ 级复核）。\n- 读数以脚本输出为准（`results.json`）；本表所有数字可由 `python3 replay.py` 单命令复跑。\n\n---\n\n## 附 A：replay.py 全文\n\n```python\n#!/usr/bin/env python3\n# -*- coding: utf-8 -*-\n\"\"\"\ncitation《引用标准协议》v0.2 §5.4 重放复算 + 算态负样本构造\n—— 本机一手复算（依据 SPEC.md；输入 = v0.2 定稿 §5.2/§5.3/§5.4 与机器核心 replay 段）\n执行：小峰（Twin, 本机直跑）｜2026-10-13\n\n复算对象：§5.4 演算例（示形事件 C1–C4，未上链，按声明重放）\n目的：D1（f6 域）、D2（latest 未过滤 invalid）、D3（upstreamStale first(c₁) 记号）三候选的读数对照 + 负样本。\n纪律：示形事件按声明重放（非链上事实）；本脚本零联网、零链上写。\n\"\"\"\nimport json, sys, platform, datetime\n\nO = {\n    \"first\": \"e741dad270ce9bd4f8b638386fbe33c15fbc6db5006ca01f7a57dd443fe0178ci0\",  # v1 create\n    \"v2\": \"8c9d69765ebb078e8b658f2b1e90e9b15046a4d2c822a3e9ed3d04c2be10f112i0\",       # modify\n}\n\ndef mk(pid, action, target, k, target_version=None, corrects=None, purpose=None, valid=True, note=None):\n    return {\"id\": pid, \"action\": action, \"target\": target, \"k\": k,\n            \"targetVersion\": target_version, \"corrects\": corrects,\n            \"purpose\": purpose, \"valid\": valid, \"note\": note}\n\n# ---- 示形事件（§5.4）：k 序 = 假定写入序（C1<C2<C3，C4 晚于 C1，取 4 不影响任何读数） ----\ndef base_events():\n    return [\n        mk(\"C1\", \"cite\",    O[\"first\"], 1, target_version=None, purpose=\"reuse\",    note=\"早于 v2\"),\n        mk(\"C2\", \"cite\",    O[\"first\"], 2, target_version=O[\"v2\"], purpose=\"evidence\", note=\"晚于 v2\"),\n        mk(\"C3\", \"correct\", O[\"first\"], 3, target_version=O[\"v2\"], corrects=\"C2\", purpose=\"evidence\", note=\"晚于 C2\"),\n        mk(\"C4\", \"cite\",    \"C1\",       4, purpose=\"evidence\", note=\"晚于 C1\"),\n    ]\n\ndef norm(x):\n    # 去 scheme 后 hex 段小写；示形符号 id 原样（大小写无关比较）\n    if x is None:\n        return None\n    x = x.split(\"://\")[-1]\n    return x.lower()\n\ndef first_of_event(e, events):\n    \"\"\"c₁ 自身的 first pinId：iN→i0 归一到 create。示形事件均为自身（C1–C4 无更正链）。\"\"\"\n    return e[\"id\"]\n\ndef first_of_target(e, events):\n    \"\"\"c₁ 目标对象的 first pinId（读法 B 的误读口径）：first(c₁.target)。\n    目标为引用事件时取其自身 first；目标为对象 O 时取 O.first。\"\"\"\n    t = e[\"target\"]\n    if t == O[\"first\"]:\n        return O[\"first\"]\n    # 目标是引用事件符号（如 C1）\n    for e2 in events:\n        if e2[\"id\"] == t:\n            return first_of_event(e2, events)\n    return t\n\ndef replay(events, label, c3_invalid=False):\n    ev = []\n    for e in events:\n        e2 = dict(e)\n        if c3_invalid and e[\"id\"] == \"C3\":\n            e2[\"valid\"] = False\n            e2[\"note\"] = (e2.get(\"note\") or \"\") + \"；分支Ⅰ：视为 invalid（缺必填）\"\n        ev.append(e2)\n\n    # fold(O)：按 §5.4 声明 → head=v2, revoked=false\n    fold = {\"head\": O[\"v2\"], \"revoked\": False}\n\n    # superseded(c)：∃c' ∈ E1: valid(c') ∧ norm(first(c'.corrects)) == norm(first(c))\n    def superseded(c):\n        for cp in ev:\n            if cp.get(\"corrects\") and cp[\"valid\"]:\n                if norm(first_of_event(cp, ev)) and cp.get(\"corrects\") == c[\"id\"]:\n                    return True\n        return False\n\n    # EffC(O)\n    effc = [c for c in ev if c[\"action\"] in (\"cite\", \"correct\") and c[\"valid\"]\n            and norm(c[\"target\"]) == norm(O[\"first\"]) and not superseded(c)]\n\n    # 标注：stale / pinned / supersededBy\n    annot = {}\n    for c in ev:\n        a = {\"stale\": False, \"pinned\": False, \"supersededBy\": None}\n        if c.get(\"targetVersion\"):\n            a[\"pinned\"] = True          # 快照引用：v2 未撤回、O 未 revoke → pinned\n        else:\n            # 追新：head_at(k(C1))=v1 ≠ head_at(asOf)=v2 → stale\n            a[\"stale\"] = (c[\"id\"] == \"C1\")\n        if superseded(c):\n            a[\"supersededBy\"] = \"correct\"\n        annot[c[\"id\"]] = a\n\n    # upstreamStale：两种 c₁ 读法（不动点迭代）\n    def upstream_stale(reading):\n        us = {c[\"id\"]: False for c in ev}\n        changed = True\n        while changed:\n            changed = False\n            for c in ev:\n                if us[c[\"id\"]]:\n                    continue\n                for c1 in ev:\n                    key = first_of_event(c1, ev) if reading == \"A\" else first_of_target(c1, ev)\n                    if norm(c[\"target\"]) == norm(key) and (annot[c1[\"id\"]][\"stale\"] or superseded(c1) or us[c1[\"id\"]]):\n                        us[c[\"id\"]] = True\n                        changed = True\n                        break\n        return us\n\n    usA = upstream_stale(\"A\")\n    usB = upstream_stale(\"B\")\n\n    # f6：两种域读法\n    def f6(domain_mode, valid_filter=False):\n        dom = [c for c in ev if c[\"action\"] == \"correct\"\n               and (norm(c[\"target\"]) == norm(O[\"first\"]) if domain_mode == \"target\" else norm(c.get(\"corrects\")) == norm(O[\"first\"]))\n               and (c[\"valid\"] if valid_filter else True)]\n        if not dom:\n            return {\"n\": 0, \"latest\": None, \"latestEffective\": None}\n        latest = max(dom, key=lambda c: c[\"k\"])\n        le = bool(latest[\"valid\"]) and not superseded(latest)\n        return {\"n\": len(dom), \"latest\": latest[\"id\"], \"latestEffective\": le}\n\n    f6_lit = f6(\"target\")               # 读法①：字面域（target==T，不过滤 valid）\n    f6_cor = f6(\"corrects\")             # 读法②：corrects==T 域\n    f6_lit_vf = f6(\"target\", True)      # 修复口径候选：域过滤 valid\n    f6_lit_lf = None                    # 备选：仅 latest 过滤（见分支Ⅱ，n 不过滤）\n\n    # 分支Ⅱ备选（仅 latest 过滤 valid）：在分支Ⅱ上下文单独算\n    def f6_lit_latest_filtered():\n        dom = [c for c in ev if c[\"action\"] == \"correct\" and norm(c[\"target\"]) == norm(O[\"first\"])]\n        if not dom:\n            return {\"n\": 0, \"latest\": None, \"latestEffective\": None}\n        vdom = [c for c in dom if c[\"valid\"]]\n        latest = max(vdom, key=lambda c: c[\"k\"]) if vdom else None\n        le = (bool(latest[\"valid\"]) and not superseded(latest)) if latest else False\n        return {\"n\": len(dom), \"latest\": latest[\"id\"] if latest else None, \"latestEffective\": le}\n\n    def converged(f6v):\n        f1 = True; f3 = []\n        return (f1 and fold[\"head\"] is not None and not fold[\"revoked\"] and f3 == []\n                and (f6v is None or f6v[\"n\"] == 0 or f6v[\"latestEffective\"] is True))\n\n    # f5 计数\n    def f5(us):\n        byp = {}\n        for c in effc:\n            p = c.get(\"purpose\") or \"other\"\n            if p not in (\"reuse\", \"evidence\", \"derive\", \"respond\", \"other\"):\n                p = \"other\"\n            byp[p] = byp.get(p, 0) + 1\n        return {\n            \"eff\": len(effc),\n            \"stale\": sum(1 for c in effc if annot[c[\"id\"]][\"stale\"]),\n            \"superseded\": sum(1 for c in ev if norm(c[\"target\"]) == norm(O[\"first\"]) and superseded(c)),\n            \"dangling\": 0,\n            \"upstreamStale\": sum(1 for c in effc if us[c[\"id\"]]),\n            \"byPurpose\": byp,\n        }\n\n    return {\n        \"label\": label,\n        \"fold\": fold,\n        \"superseded\": {c[\"id\"]: superseded(c) for c in ev},\n        \"EffC\": [c[\"id\"] for c in effc],\n        \"annotations\": annot,\n        \"upstreamStale\": {\"readingA\": usA, \"readingB\": usB},\n        \"f5\": {\"readingA\": f5(usA), \"readingB\": f5(usB)},\n        \"f6\": {\"literal(target==T)\": f6_lit, \"corrects==T\": f6_cor,\n               \"literal+validFilter\": f6_lit_vf, \"literal+latestValidFilter(n unfiltered)\": f6_lit_latest_filtered()},\n        \"converged\": {\n            \"literal(target==T)\": converged(f6_lit),\n            \"corrects==T\": converged(f6_cor),\n            \"literal+validFilter\": converged(f6_lit_vf),\n        },\n    }\n\n# ================= 主流程 =================\nout = {\"meta\": {\n    \"asOf\": datetime.datetime.now().astimezone().isoformat(),\n    \"python\": sys.version.split()[0],\n    \"platform\": platform.platform(),\n    \"script\": \"replay.py\",\n    \"inputs\": [\"《引用标准协议》v0.2 定稿 §5.2/§5.3/§5.4（文档链 v3 pin://242a6ff72833597f409775aa59e59d5c5de4079b62c29e1b87fcead582f4db13i0）\",\n               \"机器核心 replay 段（注册件 pin://de254c573dcaa95cd9aec6ae1a9c58a12f3796ba2976945289e001926cb843dci0）\"],\n}}\n\nbase = replay(base_events(), \"base(§5.4 原例，全 valid)\")\nout[\"base\"] = base\n\nb1 = replay(base_events(), \"branchI(C3 invalid)\", c3_invalid=True)\nout[\"branchI\"] = b1\n\n# 分支Ⅱ：最小 D2 场景 —— 域内 1 条 invalid correct 且为 k 序最大（C5，晚于 C3）\nev2 = base_events() + [mk(\"C5\", \"correct\", O[\"first\"], 5, target_version=O[\"v2\"], corrects=\"C1\",\n                          purpose=\"evidence\", valid=False, note=\"分支Ⅱ：缺 summary → invalid，k 序最大\")]\nb2 = replay(ev2, \"branchII(D2 最小场景：invalid k-max correct)\")\nout[\"branchII\"] = b2\n\n# 分支Ⅱ变体：域内全 invalid（C3 也 invalid）\nev3 = [dict(e) for e in ev2]\nfor e in ev3:\n    if e[\"id\"] == \"C3\":\n        e[\"valid\"] = False\n        e[\"note\"] = (e.get(\"note\") or \"\") + \"；变体：C3 亦 invalid\"\nb2b = replay(ev3, \"branchII-variant(域内全 invalid)\")\nout[\"branchII_variant\"] = b2b\n\nprint(json.dumps(out, ensure_ascii=False, indent=1))\nprint(\"\\n== SUMMARY ==\", file=sys.stderr)\nfor key in (\"base\", \"branchI\", \"branchII\", \"branchII_variant\"):\n    r = out[key]\n    print(f\"\\n[{key}] {r['label']}\", file=sys.stderr)\n    print(f\"  EffC={r['EffC']}  superseded={r['superseded']}\", file=sys.stderr)\n    print(f\"  f5(A)={json.dumps(r['f5']['readingA'], ensure_ascii=False)}\", file=sys.stderr)\n    print(f\"  f5(B)={json.dumps(r['f5']['readingB'], ensure_ascii=False)}\", file=sys.stderr)\n    for kk, vv in r[\"f6\"].items():\n        print(f\"  f6[{kk}]={json.dumps(vv, ensure_ascii=False)}\", file=sys.stderr)\n    for kk, vv in r[\"converged\"].items():\n        print(f\"  converged[{kk}]={vv}\", file=sys.stderr)\n    print(f\"  upstreamStale A={r['upstreamStale']['readingA']}\", file=sys.stderr)\n    print(f\"  upstreamStale B={r['upstreamStale']['readingB']}\", file=sys.stderr)\n```\n\n---\n\n## 附 B：results.json 全文\n\n```json\n（略——本件体积控制：results.json 全文 7,668 B，可由 `python3 replay.py` 一命令重新生成，内容与本件附表一致；如需逐字副本请按运行输出采集。附 A 脚本 + 本对照表即为全部复现材料。）\n```","encryption":"0","createTime":1791861466330,"tags":[],"attachments":[]}